Dedekind–Mertens lemma and content formulas in power series rings

Let $R?X?$ be the power series ring over a commutative ring R with identity. For $f\in R?X?$, let $A_f$ denote the content ideal of f, i.e., the ideal of R generated by the coefficients of f. We show that if R is a Prüfer domain and if $g\in R?X?$ such that $A_g$ is locally finitely generated (or equivalently locally principal), then a Dedekind–Mertens type formula holds for g, namely $A_f^2{A}_g=A_f{A}_{fg}$ for all $f\in R?X?$. More generally for a Prüfer domain R, we prove the content formula ${(A_f{A}_g)}^2=(A_f{A}_g)A_{fg}$ for all $f,g\in R?X?$. As a consequence it is shown that an integral domain R is completely integrally closed if and only if ${(A_f{A}_g)}_v={(A_{fg})}_v$ for all nonzero $f,g\in R?X?$, which is a beautiful result corresponding to the well-known fact that an integral domain R is integrally closed if and only if ${(A_f{A}_g)}_v={(A_{fg})}_v$ for all nonzero $f,g\in R[X]$, where $R[X]$ is the polynomial ring over R.For a ring R and $g\in R?X?$, if $A_g$ is not locally finitely generated, then there may be no positive integer k such that $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. Assuming that the locally minimal number of generators of $A_g$ is $k+1$, Epstein and Shapiro posed a question about the validation of the formula $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. We give a negative answer to this question and show that the finiteness of the locally minimal number of special generators of $A_g$ is in fact a more suitable assumption. More precisely we prove that if the locally minimal number of special generators of $A_g$ is $k+1$, then $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. As a consequence we show that if $A_g$ is finitely generated (in particular if $g\in R[X]$), then there exists a nonnegative integer k such that $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$.     

Pointwise estimates for first passage times of perpetuity sequences

We consider first passage times ${\tau }_u=inf\{n:Y_n>u\}$ for the perpetuity sequence

$Y_n=B_1+A_1{B}_2+?+(A_1\dots A_{n?1})B_n,$

where $(A_n,B_n)$ are i.i.d. random variables with values in ${\mathbb{R}}^{+}\times \mathbb{R}$. Recently, a number of limit theorems related to ${\tau }_u$ were proved including the law of large numbers, the central limit theorem and large deviations theorems (see Buraczewski et al., in press). We obtain a precise asymptotics of the sequence $\mathbb{P}[{\tau }_u=logu∕\rho ]$, $\rho >0$, $u\to \infty$ which considerably improves the previous results of Buraczewski et al. (in press). There, probabilities $\mathbb{P}[{\tau }_u\in I_u]$ were identified, for some large intervals $I_u$ around $k_u$, with lengths growing at least as $loglogu$. Remarkable analogies and differences to random walks (Buraczewski and Ma?lanka, in press; Lalley, 1984) are discussed.     

Generating regular elements

Let R be a prime right Goldie ring. A useful fact is that, if $a,b\in R$ are such that $aR+bR$ contains a regular element, then there exists $\lambda \in R$ such that $a+b\lambda$ is regular. We show that the analogous result holds for $n?1$ pairs of elements: if R contains a field of cardinality at least $n+1$, and if $a_i,b_i\in R$ are such that $a_{i}R+b_{i}R$ contains a regular element for $1?i?n$, then there exists a single element $\lambda \in R$ such that $a_i+b_i\lambda$ is regular for each i.     

Approximation schemes satisfying Shapiro’s Theorem

An approximation scheme is a family of homogeneous subsets $\left(A_n\right)$ of a quasi-Banach space $X$, such that $A_1?A_2?\dots ?X$, $A_n+A_n?A_{K\left(n\right)}$, and $\overline{{\cup }_n{A}_n}=X$. Continuing the line of research originating at the classical paper [8] by Bernstein, we give several characterizations of the approximation schemes with the property that, for every sequence $\left\{{\epsilon }_n\right\}\searrow 0$, there exists $x\in X$ such that $\mathrm{dist}(x,A_n)\ne O\left({\epsilon }_n\right)$ (in this case we say that $(X,\left\{A_n\right\})$ satisfies Shapiro’s Theorem). If $X$ is a Banach space, $x\in X$ as above exists if and only if, for every sequence $\left\{{\delta }_n\right\}\searrow 0$, there exists $y\in X$ such that $\mathrm{dist}(y,A_n)\ge {\delta }_n$. We give numerous examples of approximation schemes satisfying Shapiro’s Theorem.     

Multivariate polynomial interpolation and sampling in Paley–Wiener spaces

In this paper, an equivalence between existence of particular exponential Riesz bases for spaces of multivariate bandlimited functions and existence of certain polynomial interpolants for functions in these spaces is given. Namely, polynomials are constructed which, in the limiting case, interpolate ${\left\{({\tau }_n,f\left({\tau }_n\right))\right\}}_n$ for certain classes of unequally spaced data nodes ${\left\{{\tau }_n\right\}}_n$ and corresponding ${?}_2$ sampled data ${\left\{f\left({\tau }_n\right)\right\}}_n$. Existence of these polynomials allows one to construct a simple sequence of approximants for an arbitrary multivariate bandlimited function $f$ which demonstrates $L_2$ and uniform convergence on ${\mathbb{R}}^d$ to $f$. A simpler computational version of this recovery formula is also given at the cost of replacing $L_2$ and uniform convergence on ${\mathbb{R}}^d$ with $L_2$ and uniform convergence on increasingly large subsets of ${\mathbb{R}}^d$. As a special case, the polynomial interpolants of given ${?}_2$ data converge in the same fashion to the multivariate bandlimited interpolant of that same data. Concrete examples of pertinent Riesz bases and unequally spaced data nodes are also given.     

On geometric convergence rate of Markov search towards the fat target

Let $f:A\to \mathbb{R}$ be a continuous function with the minimal value $f^{?}$, where $A$ is the compact metric space. Let ${\left\{X_t\right\}}_{t\in \mathbb{N}}$ be a Markov chain which represents the global optimization process on $A$. We present sufficient conditions for very strong, geometric convergence mode of the form $Ef\left(X_t\right)?f^1\le c^t?(Ef\left(X_0\right)?f^1)$, where $c\in (0,1)$ is some constant. This convergence mode is natural if the set of global minima is fat.