Approximation of entire functions of exponential type by exponential sums<Superscript>*</Superscript>

Let K be a compact set in \( {{\mathbb R}^n} \). For \( 1 \leqslant p \leqslant \infty \), the Bernstein space \( B_K^p \) is the Banach space of all functions \( f \in {L^p}\left( {{{\mathbb R}^n}} \right) \)such that their Fourier transform in a distributional sense is supported on K. If \( f \in B_K^p \), then f is continuous on \( {{\mathbb R}^n} \) and has an extension onto the complex space \( {{\mathbb C}^n} \) to an entire function of exponential type K. We study the approximation of functions in \( B_K^p \) by finite τ -periodic exponential sums of the form

$ \sum\limits_m {{c_m}{e^{2\pi {\text{i}}\left( {x,m} \right)/\tau }}} $

in the \( {L^p}\left( {\tau {{\left[ { - 1/2,1/2} \right]}^n}} \right) \)-norm as τ → ∞ when K is a polytope in \( {{\mathbb R}^n} \).

     

Eldan’s Stochastic Localization and Tubular Neighborhoods of Complex-Analytic Sets

Let \(f: \mathbb {C}^n \rightarrow \mathbb {C}^k\) be a holomorphic function and set \(Z = f^{-1}(0)\). Assume that Z is non-empty. We prove that for any \(r > 0\),

$$\begin{aligned} \gamma _n(Z + r) \ge \gamma _n(E + r), \end{aligned}$$

where \(Z + r\) is the Euclidean r-neighborhood of Z; \(\gamma _n\) is the standard Gaussian measure in \(\mathbb {C}^n\), and \(E \subseteq \mathbb {C}^n\) is an \((n-k)\)-dimensional, affine, complex subspace whose distance from the origin is the same as the distance of Z from the origin.

     

On the sumsets of exceptional units in $$\mathbb {Z}_n$$

Let R be a commutative ring with \(1\in R\) and \(R^{*}\) be the multiplicative group of its units. In 1969, Nagell introduced the concept of an exceptional unit, namely a unit u such that \(1-u\) is also a unit. Let \({\mathbb {Z}}_n\) be the ring of residue classes modulo n. In this paper, given an integer \(k\ge 2\), we obtain an exact formula for the number of ways to represent each element of \( \mathbb {Z}_n\) as the sum of k exceptional units. This generalizes a recent result of J. W. Sander for the case \(k=2\).     

Hyers–Ulam Stability of Differential Operators on Reproducing Kernel Function Spaces

In this paper, we investigate the Hyers–Ulam stability of the differential operators \(T_\lambda \) and D on the weighted Hardy spaces \(H_\beta ^2\) with the reproducing property. We obtain a necessary and sufficient condition in order that D is stable on \(H_\beta ^2\), and construct an example concerning the stability of \(T_\lambda \) on \(H_\beta ^2\). Moreover, we also investigate the Hyers–Ulam stability of the partial differential operators \(D_i\) on the several variables reproducing kernel space \(H_f^2(\mathbb {B}_d)\).     

One-sided invertibility of discrete operators and their applications

For \(p\in [1,\infty ]\), we establish criteria for the one-sided invertibility of binomial discrete difference operators \({{\mathcal {A}}}=aI-bV\) on the space \(l^p=l^p(\mathbb {Z})\), where \(a,b\in l^\infty \), I is the identity operator and the isometric shift operator V is given on functions \(f\in l^p\) by \((Vf)(n)=f(n+1)\) for all \(n\in \mathbb {Z}\). Applying these criteria, we obtain criteria for the one-sided invertibility of binomial functional operators \(A=aI-bU_\alpha \) on the Lebesgue space \(L^p(\mathbb {R}_+)\) for every \(p\in [1,\infty ]\), where \(a,b\in L^\infty (\mathbb {R}_+)\), \(\alpha \) is an orientation-preserving bi-Lipschitz homeomorphism of \([0,+\infty ]\) onto itself with only two fixed points 0 and \(\infty \), and \(U_\alpha \) is the isometric weighted shift operator on \(L^p(\mathbb {R}_+)\) given by \(U_\alpha f= (\alpha ^\prime )^{1/p}(f\circ \alpha )\). Applications of binomial discrete operators to interpolation theory are given.     

Generalized Bernstein Operators on the Classical Polynomial Spaces

We study generalizations of the classical Bernstein operators on the polynomial spaces \(\mathbb {P}_{n}[a,b]\), where instead of fixing \(\mathbf {1}\) and x, we reproduce exactly \(\mathbf {1}\) and a polynomial \(f_1\), strictly increasing on [a, b]. We prove that for sufficiently large n, there always exist generalized Bernstein operators fixing \(\mathbf {1}\) and \(f_1\). These operators are defined by non-decreasing sequences of nodes precisely when \(f_1^\prime > 0\) on (a, b), but even if \(f_1^\prime \) vanishes somewhere inside (a, b), they converge to the identity.     

On Filtered Polynomial Approximation on the Sphere

This paper considers filtered polynomial approximations on the unit sphere \(\mathbb {S}^d\subset \mathbb {R}^{d+1}\), obtained by truncating smoothly the Fourier series of an integrable function f with the help of a “filter” h, which is a real-valued continuous function on \([0,\infty )\) such that \(h(t)=1\) for \(t\in [0,1]\) and \(h(t)=0\) for \(t\ge 2\). The resulting “filtered polynomial approximation” (a spherical polynomial of degree \(2L-1\)) is then made fully discrete by approximating the inner product integrals by an N-point cubature rule of suitably high polynomial degree of precision, giving an approximation called “filtered hyperinterpolation”. In this paper we require that the filter h and all its derivatives up to \(\lfloor \tfrac{d-1}{2}\rfloor \) are absolutely continuous, while its right and left derivatives of order \(\lfloor \tfrac{d+1}{2}\rfloor \) exist everywhere and are of bounded variation. Under this assumption we show that for a function f in the Sobolev space \(W^s_p(\mathbb {S}^d),\ 1\le p\le \infty \), both approximations are of the optimal order \( L^{-s}\), in the first case for \(s>0\) and in the second fully discrete case for \(s>d/p\), conditions which in both cases cannot be weakened.     

Fourier Multiplier Theorems Involving Type and Cotype

In this paper we develop the theory of Fourier multiplier operators \(T_{m}:L^{p}({\mathbb R}^{d};X)\rightarrow L^{q}({\mathbb R}^{d};Y)\), for Banach spaces X and Y, \(1\le p\le q\le \infty \) and \(m:{\mathbb R}^d\rightarrow \mathcal {L}(X,Y)\) an operator-valued symbol. The case \(p=q\) has been studied extensively since the 1980s, but far less is known for \(p<q\). In the scalar setting one can deduce results for \(p<q\) from the case \(p=q\). However, in the vector-valued setting this leads to restrictions both on the smoothness of the multiplier and on the class of Banach spaces. For example, one often needs that X and Y are UMD spaces and that m satisfies a smoothness condition. We show that for \(p<q\) other geometric conditions on X and Y, such as the notions of type and cotype, can be used to study Fourier multipliers. Moreover, we obtain boundedness results for \(T_m\) without any smoothness properties of m. Under smoothness conditions the boundedness results can be extrapolated to other values of p and q as long as \(\tfrac{1}{p}-\tfrac{1}{q}\) remains constant.     

A generalization of sumset and its applications

Let A be a nonempty finite subset of an additive abelian group G and let r and h be positive integers. The generalized h-fold sumset of A, denoted by \(h^{(r)}A\), is the set of all sums of h elements of A, where each element appears in a sum at most r times. The direct problem for \(h^{(r)}A\) is to find a lower bound for \(|h^{(r)}A|\) in terms of |A|. The inverse problem for \(h^{(r)}A\) is to determine the structure of the finite set A for which \(|h^{(r)}A|\) is minimal with respect to some fixed value of |A|. If \(G = \mathbb {Z}\), the direct and inverse problems are well studied. In case of \(G = \mathbb {Z}/p\mathbb {Z}\), p a prime, the direct problem has been studied very recently by Monopoli (J. Number Theory, 157 (2015) 271–279). In this paper, we express the generalized sumset \(h^{(r)}A\) in terms of the regular and restricted sumsets. As an application of this result, we give a new proof of the theorem of Monopoli and as the second application, we present new proofs of direct and inverse theorems for the case \(G = \mathbb {Z}\).     

Dispersion and Limit Theorems for Random Walks Associated with Hypergeometric Functions of Type <Emphasis Type="Italic">BC</Emphasis>

The spherical functions of the non-compact Grassmann manifolds \(G_{p,q}({\mathbb {F}})=G/K\) over the (skew-)fields \({\mathbb {F}}={\mathbb {R}}, {\mathbb {C}}, {\mathbb {H}}\) with rank \(q\ge 1\) and dimension parameter \(p>q\) can be described as Heckman–Opdam hypergeometric functions of type BC, where the double coset space G /  / K is identified with the Weyl chamber \( C_q^B\subset {\mathbb {R}}^q\) of type B. The corresponding product formulas and Harish-Chandra integral representations were recently written down by M. Rösler and the author in an explicit way such that both formulas can be extended analytically to all real parameters \(p\in [2q-1,\infty [\), and that associated commutative convolution structures \(*_p\) on \(C_q^B\) exist. In this paper, we study the associated moment functions and the dispersion of probability measures on \(C_q^B\) with the aid of this generalized integral representation. This leads to strong laws of large numbers and central limit theorems for associated time-homogeneous random walks on \((C_q^B, *_p)\) where the moment functions and the dispersion appear in order to determine drift vectors and covariance matrices of these limit laws explicitly. For integers p, all results have interpretations for G-invariant random walks on the Grassmannians G / K. Besides the BC-cases, we also study the spaces \(GL(q,{\mathbb {F}})/U(q,{\mathbb {F}})\), which are related to Weyl chambers of type A, and for which corresponding results hold. For the rank-one-case \(q=1\), the results of this paper are well known in the context of Jacobi-type hypergroups on \([0,\infty [\).     

Determination of cusp forms by central values of Rankin–Selberg <Emphasis Type="BoldItalic">L</Emphasis>-functions<Superscript>*</Superscript>

Let f be a fixed holomorphic Hecke eigen cusp form of weight k for \( SL\left( {2,{\mathbb Z}} \right) \), and let \( {\mathcal U} = \left\{ {{u_j}:j \geqslant 1} \right\} \) be an orthonormal basis of Hecke–Maass cusp forms for \( SL\left( {2,{\mathbb Z}} \right) \). We prove an asymptotic formula for the twisted first moment of the Rankin–Selberg L-functions \( L\left( {s,f \otimes {u_j}} \right) \) at \( s = \frac{1}{2} \) as u _j runs over \( {\mathcal U} \). It follows that f is uniquely determined by the central values of the family of Rankin–Selberg L-functions \( \left\{ {L\left( {s,f \otimes {u_j}} \right):{u_j} \in {\mathcal U}} \right\} \).     

Rational Approximation of Functions in Hardy Spaces

Subsequent to our recent work on Fourier spectrum characterization of Hardy spaces \(H^p({\mathbb {R}})\) for the index range \(1\le p\le \infty ,\) in this paper we prove further results on rational Approximation, integral representation and Fourier spectrum characterization of functions for the Hardy spaces \(H^p({\mathbb {R}}), 0 < p\le \infty ,\) with particular interest in the index range \( 0< p \le 1.\) We show that the set of rational functions in \( H^p({\mathbb {C}}_{+1}) \) with the single pole \(-i\) is dense in \( H^p({\mathbb {C}}_{+1}) \) for \(0<p<\infty .\) Secondly, for \(0<p<1\), through rational function approximation we show that any function f in \(L^p({\mathbb {R}})\) can be decomposed into a sum \(g+h\), where g and h are, in the \(L^p({\mathbb {R}})\) convergence sense, the non-tangential boundary limits of functions in, respectively, \( H^p({\mathbb {C}}_{+1})\) and \(H^{p}({\mathbb {C}}_{-1}),\) where \(H^p({\mathbb {C}}_k)\ (k=\pm 1) \) are the Hardy spaces in the half plane \( {\mathbb {C}}_k=\{z=x+iy: ky>0\}\). We give Laplace integral representation formulas for functions in the Hardy spaces \(H^p,\) \(0<p\le 2.\) Besides one in the integral representation formula we give an alternative version of Fourier spectrum characterization for functions in the boundary Hardy spaces \(H^p\) for \(0<p\le 1\).     

An <Emphasis Type="Italic">A</Emphasis>-invariant subspace for bipartite distance-regular graphs with exactly two irreducible <Emphasis Type="Italic">T</Emphasis>-modules with endpoint 2, both thin

Let \(\Gamma \) denote a bipartite distance-regular graph with vertex set X, diameter \(D \ge 4\), and valency \(k \ge 3\). Let \({{\mathbb {C}}}^X\) denote the vector space over \({{\mathbb {C}}}\) consisting of column vectors with entries in \({{\mathbb {C}}}\) and rows indexed by X. For \(z \in X\), let \({{\widehat{z}}}\) denote the vector in \({{\mathbb {C}}}^X\) with a 1 in the z-coordinate, and 0 in all other coordinates. Fix a vertex x of \(\Gamma \) and let \(T = T(x)\) denote the corresponding Terwilliger algebra. Assume that up to isomorphism there exist exactly two irreducible T-modules with endpoint 2, and they both are thin. Fix \(y \in X\) such that \(\partial (x,y)=2\), where \(\partial \) denotes path-length distance. For \(0 \le i,j \le D\) define \(w_{ij}=\sum {{\widehat{z}}}\), where the sum is over all \(z \in X\) such that \(\partial (x,z)=i\) and \(\partial (y,z)=j\). We define \(W=\mathrm{span}\{w_{ij} \mid 0 \le i,j \le D\}\). In this paper we consider the space \(MW=\mathrm{span}\{mw \mid m \in M, w \in W\}\), where M is the Bose–Mesner algebra of \(\Gamma \). We observe that MW is the minimal A-invariant subspace of \({{\mathbb {C}}}^X\) which contains W, where A is the adjacency matrix of \(\Gamma \). We show that \(4D-6 \le \mathrm{dim}(MW) \le 4D-2\). We display a basis for MW for each of these five cases, and we give the action of A on these bases.     

Fourier Spectrum Characterizations of $$H^{p}$$ Spaces on Tubes Over Cones for $$1\le p \le \infty $$1≤p≤∞

We give Fourier spectrum characterizations of functions in the Hardy \(H^p\) spaces on tubes for \(1\le p \le \infty .\) For \(F\in L^p(\mathbb {R}^n), \) we show that F is the non-tangential boundary limit of a function in a Hardy space, \(H^{p}(T_\Gamma ),\) where \(\Gamma \) is an open cone of \(\mathbb {R}^n\) and \(T_\Gamma \) is the related tube in \(\mathbb {C}^n,\) if and only if the classical or the distributional Fourier transform of F is supported in \(\Gamma ^*,\) where \(\Gamma ^*\) is the dual cone of \(\Gamma .\) This generalizes the results of Stein and Weiss for \(p=2\) in the same context, as well as those of Qian et al. in one complex variable for \(1\le p\le \infty .\) Furthermore, we extend the Poisson and Cauchy integral representation formulas to the \(H^p\) spaces on tubes for \(p\in [1, \infty ]\) and \(p\in [1,\infty ),\) with, respectively, the two types of representations.     

On the family of elliptic curves $$\varvec{y^2=x^3-m^2x+p^2}$$

In this paper, we study the torsion subgroup and rank of elliptic curves for the subfamilies of \(E_{m,p} : y^2=x^3-m^2x+p^2\), where m is a positive integer and p is a prime. We prove that for any prime p, the torsion subgroup of \(E_{m,p}(\mathbb {Q})\) is trivial for both the cases {\(m\ge 1\), \(m\not \equiv 0\pmod 3\)} and {\(m\ge 1\), \(m \equiv 0 \pmod 3\), with \(gcd(m,p)=1\)}. We also show that given any odd prime p and for any positive integer m with \(m\not \equiv 0\pmod 3\) and \(m\equiv 2\pmod {32}\), the lower bound for the rank of \(E_{m,p}(\mathbb {Q})\) is 2. Finally, we find curves of rank 9 in this family.     

Tightness and Convergence of Trimmed Lévy Processes to Normality at Small Times

For nonnegative integers r, s, let \(^{(r,s)}X_t\) be the Lévy process \(X_t\) with the r largest positive jumps and the s smallest negative jumps up till time t deleted, and let \(^{(r)}\widetilde{X}_t\) be \(X_t\) with the r largest jumps in modulus up till time t deleted. Let \(a_t \in \mathbb {R}\) and \(b_t>0\) be non-stochastic functions in t. We show that the tightness of \(({}^{(r,s)}X_t - a_t)/b_t\) or \(({}^{(r)}{\widetilde{X}}_t - a_t)/b_t\) as \(t\downarrow 0\) implies the tightness of all normed ordered jumps, and hence the tightness of the untrimmed process \((X_t -a_t)/b_t\) at 0. We use this to deduce that the trimmed process \(({}^{(r,s)}X_t - a_t)/b_t\) or \(({}^{(r)}{\widetilde{X}}_t - a_t)/b_t\) converges to N(0, 1) or to a degenerate distribution as \(t\downarrow 0\) if and only if \((X_t-a_t)/b_t \) converges to N(0, 1) or to the same degenerate distribution, as \(t \downarrow 0\).     

Parity check matrices and product representations of squares

Let \(N_{\mathbb{F}} \)(n,k,r) denote the maximum number of columns in an n-row matrix with entries in a finite field \(\mathbb{F}\) in which each column has at most r nonzero entries and every k columns are linearly independent over \(\mathbb{F}\). We obtain near-optimal upper bounds for \(N_{\mathbb{F}} \)(n,k,r) in the case k > r. Namely, we show that \(N_\mathbb{F} (n,k,r) \ll n^{\frac{r}{2} + \frac{{cr}}{k}} \) where \(c \approx \frac{4}{3}\) for large k. Our method is based on a novel reduction of the problem to the extremal problem for cycles in graphs, and yields a fast algorithm for finding short linear dependencies. We present additional applications of this method to a problem on hypergraphs and a problem in combinatorial number theory.     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Hyperinvariant Subspace Problem for Some Classes of Operators

An n-normal operator may be defined as an \(n \times n\) operator matrix with entries that are mutually commuting normal operators and an operator \(T \in \mathcal {B(H)}\) is quasi-nM-hyponormal (for \(n \in \mathbb {N}\)) if it is unitarily equivalent to an \(n \times n\) upper triangular operator matrix \((T_{ij})\) acting on \(\mathcal {K}^{(n)}\), where \(\mathcal {K}\) is a separable complex Hilbert space and the diagonal entries \(T_{jj}\) \((j = 1,2,\ldots , n)\) are M-hyponormal operators in \(\mathcal {B(K)}\). This is an extended notion of n-normal operators. We prove a necessary and sufficient condition for an \(n \times n\) triangular operator matrix to have Bishop’s property \((\beta )\). This leads us to study the hyperinvariant subspace problem for an \(n \times n\) triangular operator matrix.     

Complexities of normal bases constructed from Gauss periods

Let q be a power of a prime p, and let \(r=nk+1\) be a prime such that \(r\not \mid q\), where n and k are positive integers. Under a simple condition on q, r and k, a Gauss period of type (n, k) is a normal element of \({\mathbb {F}}_{q}^{n}\) over \({\mathbb {F}}_q\); the complexity of the resulting normal basis of \({\mathbb {F}}_{q}^{n}\) over \({\mathbb {F}}_q\) is denoted by C(n, k; p). Recent works determined C(n, k; p) for \(k\le 7\) and all qualified n and q. In this paper, we show that for any given \(k>0\), C(n, k; p) is given by an explicit formula except for finitely many primes \(r=nk+1\) and the exceptional primes are easily determined. Moreover, we describe an algorithm that allows one to compute C(n, k; p) for the exceptional primes \(r=nk+1\). Our numerical results cover C(n, k; p) for \(k\le 20\) and all qualified n and q.