Homogeneous $$$$-difference euations and generating functions for $$$$-hypergeometric polynomials

In this paper we show how to deduce several types of generating functions for \(q\)-hypergeometric polynomials by the method of homogeneous \(q\)-difference equations. In addition, we build relations between transformation formulas and homogeneous \(q\)-difference equations. Moreover, we generalize the Andrews–Askey integral from the perspective of \(q\)-integrals by the method of homogeneous \(q\)-difference equations.     

Gravitational Field Equations on Fefferman Space–Times

The total space \({\mathfrak M} \approx {\mathbb H}_1 \times S^1\) of the canonical circle bundle over the 3-dimensional Heisenberg group \({\mathbb H}_1\) is a space–time with the Lorentzian metric \(F_{\theta _0}\) (Fefferman’s metric) associated to the canonical Tanaka–Webster flat contact form \(\theta _0\) on \({\mathbb H}_1\). The matter and energy content of \(\mathfrak M\) is described by the energy-momentum tensor \({T}_{\mu \nu }\) (the trace-less Ricci tensor of \(F_{\theta _0}\)) as an effect of the non flat nature of Feferman’s metric \(F_{\theta _0}\). We study the gravitational field equations \(R_{\mu \nu } - (1/2) \, R \, g_{\mu \nu } = {T}_{\mu \nu }\) on \({\mathfrak M}\). We consider the first order perturbation \(g = F_{\theta _0} + \epsilon \, h\), \(\epsilon<< 1\), and linearize the field equations about \(F_{\theta _0}\). We determine a Lorentzian metric g on \({\mathfrak M}\) which solves the linearized field equations corresponding to a diagonal perturbation h.     

On the Analytic Structure of Commutative Nilmanifolds

In the classification theorems of Vinberg and Yakimova for commutative nilmanifolds, the relevant nilpotent groups have a very surprising analytic property. The manifolds are of the form \(G/K = N\rtimes K/K\) where, in all but three cases, the nilpotent group \(N\) has irreducible unitary representations whose coefficients are square integrable modulo the center \(Z\) of \(N\). Here we show that, in those three “exceptional” cases, the group \(N\) is a semidirect product \(N_{1}\rtimes \mathbb {R}\) or \(N_{1}\rtimes \mathbb {C}\) where the normal subgroup \(N_{1}\) contains the center \(Z\) of \(N\) and has irreducible unitary representations whose coefficients are square integrable modulo \(Z\). This leads directly to explicit harmonic analysis and Fourier inversion formulae for commutative nilmanifolds.     

Improved upper bounds for partial spreads

A partial \((k-1)\)-spread in \({\text {PG}}(n-1,q)\) is a collection of \((k-1)\)-dimensional subspaces with trivial intersection. So far, the maximum size of a partial \((k-1)\)-spread in \({\text {PG}}(n-1,q)\) was known for the cases \(n\equiv 0\pmod k\), \(n\equiv 1\pmod k\), and \(n\equiv 2\pmod k\) with the additional requirements \(q=2\) and \(k=3\). We completely resolve the case \(n\equiv 2\pmod k\) for the binary case \(q=2\).     

Nonuniform Multiresolution Analysis on Local Fields of Positive Characteristic

A generalization of Mallat’s classic theory of multiresolution analysis (MRA) on local fields of positive characteristic was considered by Jiang et al. (J Math Anal Appl 294:523–532, 2004). In this paper, we present a notion of nonuniform MRA on local field \(K\) of positive characteristic. The associated subspace \(V_0\) of \(L^2(K)\) has an orthonormal basis, a collection of translates of the scaling function \(\varphi \) of the form \(\{ \varphi (x-\lambda ) \}_{ \lambda \in \Lambda }\) where \(\Lambda = \{ 0,r/N \}+ \mathcal{Z}, \,N \ge 1\) is an integer and \(r\) is an odd integer such that \(r\) and \(N\) are relatively prime and \(\mathcal{Z}=\{u(n): n\in \mathbb {N}_{0}\}\). We obtain the necessary and sufficient condition for the existence of associated wavelets and present an algorithm for the construction of nonuniform MRA on local fields starting from a low-pass filter \(m_{0}\) with appropriate conditions.     

The first moment of central values of symmetric square <Emphasis Type="Italic">L</Emphasis>-functions in the weight aspect

We establish an asymptotic formula with arbitrary power saving for the first moment of the symmetric square L-functions \(L(s,\mathrm{sym}^2f)\) at \(s=\frac{1}{2}\) for \(f\in \mathcal {H}_k\) as even \(k\rightarrow \infty \), where \(\mathcal {H}_k\) is an orthogonal basis of weight-k Hecke eigen cusp forms for \(SL(2,\mathbb {Z})\). The approach taken allows us to extract two secondary main terms from the best-known error term \(O(k^{-\frac{1}{2}})\). Moreover, our result exhibits a connection between the symmetric square L-functions and quadratic fields, which is the main theme of Zagier’s work Modular forms whose coefficients involve zeta-functions of quadratic fields in 1977.     

Locally compact covergece groups ad $$$$-trasitive actios

All \(\sigma \)-compact, locally compact groups acting sharply \(n\)-transitively and continuously on compact spaces \(M\) have been classified, except for \(n=2,3\) when \(M\) is infinite and disconnected. We show that no such actions exist for \(n=2\) and that these actions for \(n=3\) coincide with the action of a hyperbolic group on a space equivariantly homeomorphic to its hyperbolic boundary. We further characterize non-compact groups acting 3-properly and transitively on infinite compact sets as non-elementary boundary-transitive hyperbolic groups, which in turn were recently studied by Caprace, de Cornulier, Monod and Tessera. As an important tool, we generalize Bowditch’s topological characterization of discrete hyperbolic groups to locally compact hyperbolic groups. Finally, we show that if a locally compact group acts continuously, 4-properly and 4-cocompactly on a locally connected metrizable compactum M, then M has a global cut point, which is in sharp contrast to the \(3\)-proper, \(3\)-cocompact case due to the solution of Bowditch’s cut-point conjecture.     

On generalized Ramanujan primes

Let \(\Delta = \sum _{m=0}^\infty q^{(2m+1)^2} \in \mathbf {F}_2[[q]]\) be the reduction mod 2 of the \(\Delta \) series. A modular form of level 1, \(f=\sum _{n\geqslant 0} c(n) \,q^n\), with integer coefficients, is congruent modulo \(2\) to a polynomial in \(\Delta \). Let us set \(W_f(x)=\sum _{n\leqslant x,\ c(n)\text { odd }} 1\), the number of odd Fourier coefficients of \(f\) of index \(\leqslant x\). The order of magnitude of \(W_f(x)\) (for \(x\rightarrow \infty \)) has been determined by Serre in the seventies. Here, we give an asymptotic equivalent for \(W_f(x)\). Let \(p(n)\) be the partition function and \(A_0(x)\) (resp. \(A_1(x)\)) be the number of \(n\leqslant x\) such that \(p(n)\) is even (resp. odd). In the preceding papers, the second-named author has shown that \(A_0(x)\geqslant 0.28 \sqrt{x\;\log \log x}\) for \(x\geqslant 3\) and \(A_1(x)>\frac{4.57 \sqrt{x}}{\log x}\) for \(x\geqslant 7\). Here, it is proved that \(A_0(x)\geqslant 0.069 \sqrt{x}\;\log \log x\) holds for \(x>1\) and that \(A_1(x) \geqslant \frac{0.037 \sqrt{x}}{(\log x)^{7/8}}\) holds for \(x\geqslant 2\). The main tools used to prove these results are the determination of the order of nilpotence of a modular form of level-\(1\) modulo \(2\), and of the structure of the space of those modular forms as a module over the Hecke algebra, which have been given in a recent work of Serre and the second-named author.     

A note on signs of Fourier coefficients of two cusp forms

Kohnen and Sengupta (Proc. Am. Math. Soc. 137(11) (2009) 3563–3567) showed that if two Hecke eigencusp forms of weight \(k_1\) and \(k_2\) respectively, with \(1<k_1<k_2\) over \(\Gamma _0({N})\), have totally real algebraic Fourier coefficients \(\lbrace a(n) \rbrace \) and \(\lbrace b(n) \rbrace \) respectively for \(n \ge 1\) with \(a(1)=1=b(1)\), then there exists an element \(\sigma \) of the absolute Galois group \(\mathrm{Gal}({\bar{\mathbb {Q}}}/{\mathbb {Q}})\) such that \(a(n)^{\sigma } b(n)^{\sigma } < 0\) for infinitely many n. Later Gun et al. (Arch. Math. (Basel) 105(5) (2015) 413–424) extended their result by showing that if two Hecke eigen cusp forms, with \(1<k_1<k_2\), have real Fourier-coefficients \(\lbrace a(n)\rbrace \) and \(\lbrace b(n)\rbrace \) for \(n \ge 1\) and \(a(1)b(1) \ne 0\), then there exists infinitely many n such that \(a(n)b(n) > 0\) and infinitely many n such that \(a(n)b(n) < 0\). When \(k_1=k_2\), the simultaneous sign changes of Fourier coefficients of two normalized Hecke eigen cusp forms follow from an earlier work of Ram Murty (Math. Ann. 262 (1983) 431–446). In this note, we compare the signs of the Fourier coefficients of two cusp forms simultaneously for the congruence subgroup \(\Gamma _0({N})\) where the coefficients lie in an arithmetic progression. Next, we consider an analogous question for the particular sparse sequences of Fourier coefficients of normalized Hecke eigencusp forms for the full modular group.     

Newforms with rational coefficients

We consider the set of classical newforms with rational coefficients and no complex multiplication. We study the distribution of quadratic twist-classes of these forms with respect to weight k and minimal level N. We conjecture that for each weight \(k \ge 6\), there are only finitely many classes. In large weights, we make this conjecture effective: in weights \(18 \le k \le 24\), all classes have \(N \le 30\); in weights \(26 \le k \le 50\), all classes have \(N \in \{2,6\}\); and in weights \(k \ge 52\), there are no classes at all. We study some of the newforms appearing on our conjecturally complete list in more detail, especially in the cases \(N=2\), 3, 4, 6, and 8, where formulas can be kept nearly as simple as those for the classical case \(N=1\).     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

On $$L^p$$-Boundedness of Pseudo-Differential Operators of Sjöstrand’s Class

We extended the known result that symbols from modulation spaces \(M^{\infty ,1}(\mathbb {R}^{2n})\), also known as the Sjöstrand’s class, produce bounded operators in \(L^2(\mathbb {R}^n)\), to general \(L^p\) boundedness at the cost of loss of derivatives. Indeed, we showed that pseudo-differential operators acting from \(L^p\)-Sobolev spaces \(L^p_s(\mathbb {R}^n)\) to \(L^p(\mathbb {R}^n)\) spaces with symbols from the modulation space \(M^{\infty ,1}(\mathbb {R}^{2n})\) are bounded, whenever \(s\ge n|1/p-1/2|.\) This estimate is sharp for all \(1< p<\infty \).     

Hadwiger’s conjecture for uncountable graphs

We consider the infinite form of Hadwiger’s conjecture. We give a(n apparently novel) proof of Halin’s 1967 theorem stating that every graph X with coloring number \(>\kappa \) (specifically with chromatic number \(>\kappa \)) contains a subdivision of \(K_\kappa \). We also prove that there is a graph of cardinality \(2^\kappa \) and chromatic number \(\kappa ^+\) which does not contain \(K_{\kappa ^+}\) as a minor. Further, it is consistent that every graph of size and chromatic number \(\aleph _1\) contains a subdivision of \(K_{\aleph _1}\).     

On the coefficients of asymptotic expansion for the harmonic number by Ramanujan

Let \(H_n=\sum _{k=1}^{n}\frac{1}{k}\) be the \(n\)th harmonic number. In this paper, we establish a new asymptotic expansion of \(H_n\). By using the result obtained, we derive a recurrence relation for determining the coefficients of Ramanujan’s asymptotic expansion for the harmonic number. Also, we establish asymptotic expansion of \(H_n\) in terms of \(n(n+1)+1/3\).     

Elimination of extremal index zeroes from generic paths of closed $$$$-forms

Let \( \alpha \) be a Morse closed \( 1 \)-form of a smooth \( n \)-dimensional manifold \( M \). The zeroes of \( \alpha \) of index \( 0 \) or \( n \) are called centers. It is known that every non-vanishing de Rham cohomology class \( u \) contains a Morse representative without centers. The result of this paper is the one-parameter analogue of the last statement: every generic path \( (\alpha _t)_{ t\in [0,1] }\) of closed \( 1 \)-forms in a fixed class \( u\ne 0 \) such that \( \alpha _0,\alpha _1 \) have no centers, can be modified relatively to its extremities to another such path \( (\beta _t)_{t \in [0,1]} \) having no center at all.     

On discrete universality of the Riemann zeta-function with respect to uniformly distributed shifts

The Voronin universality theorem asserts that a wide class of analytic functions can be approximated by shifts \(\zeta (s+i\tau )\), \(\tau \in \mathbb {R}\), of the Riemann zeta-function. In the paper, we obtain a universality theorem on the approximation of analytic functions by discrete shifts \(\zeta (s+ix_kh)\), \(k\in \mathbb {N}\), \(h>0\), where \(\{x_k\}\subset \mathbb {R}\) is such that the sequence \(\{ax_k\}\) with every real \(a\ne 0\) is uniformly distributed modulo 1, \(1\le x_k\le k\) for all \(k\in \mathbb {N}\) and, for \(1\le k\), \(m\le N\), \(k\ne m\), the inequality \(|x_k-x_m| \ge y^{-1}_N\) holds with \(y_N> 0\) satisfying \(y_Nx_N\ll N\).     

Left annihilator of generalized derivations on Lie ideals in prime rings

Let \(R\) be a prime ring, \(L\) a noncentral Lie ideal of \(R\), \(F\) a generalized derivation with associated nonzero derivation \(d\) of \(R\). If \(a\in R\) such that \(a(d(u)^{l_1} F(u)^{l_2} d(u)^{l_3} F(u)^{l_4} \ldots F(u)^{l_k})^{n}=0\) for all \(u\in L\), where \(l_1,l_2,\ldots ,l_k\) are fixed non negative integers not all are zero and \(n\) is a fixed integer, then either \(a=0\) or \(R\) satisfies \(s_4\), the standard identity in four variables.     

Generalized Drazin invertibility and local spectral theory

If \(A\in B(\mathcal{X})\) is an upper triangular Banach space operator with diagonal \((A_1,A_2)\), \(A_1\) invertible and \(A_2\) quasinilpotent, then \(A_1^{-1}\oplus A_2\) satisfies either of the single-valued extension property, Dunford’s condition (C), Bishop’s property \((\beta )\), decomposition property \((\delta )\) or is decomposable if and only if \(A_1\) has the property. The operator \(A^{-1}_1\oplus 0\) is subscalar (resp., left polaroid, right polaroid) if and only if \(A_1\) is subscalar (resp., left polaroid, right polaroid). For Drazin invertible operators A, with Drazin inverse B, this implies that B satisfies any one of these properties if and only if A satisfies the property.     

New nonbinary code bounds based on divisibility arguments

For \(q,n,d \in \mathbb {N}\), let \(A_q(n,d)\) be the maximum size of a code \(C \subseteq [q]^n\) with minimum distance at least d. We give a divisibility argument resulting in the new upper bounds \(A_5(8,6) \le 65\), \(A_4(11,8)\le 60\) and \(A_3(16,11) \le 29\). These in turn imply the new upper bounds \(A_5(9,6) \le 325\), \(A_5(10,6) \le 1625\), \(A_5(11,6) \le 8125\) and \(A_4(12,8) \le 240\). Furthermore, we prove that for \(\mu ,q \in \mathbb {N}\), there is a 1–1-correspondence between symmetric \((\mu ,q)\)-nets (which are certain designs) and codes \(C \subseteq [q]^{\mu q}\) of size \(\mu q^2\) with minimum distance at least \(\mu q - \mu \). We derive the new upper bounds \(A_4(9,6) \le 120\) and \(A_4(10,6) \le 480\) from these ‘symmetric net’ codes.     

Defect Distributions Related to Weakly Convergent Sequences in Bessel-Type Spaces $${H_{\Lambda }^{-s,p}}$$

We consider microlocal defect distributions associated to a weakly convergent sequences \(u_n\) in \(H^{-s,p}_{\Lambda }\) and \(v_n\) in \(H^{s+m,q}_{\Lambda }\) through the space of pseudo-differential operators with the symbols in \((s^{m,N+1}_\Lambda )_0\). Symbols correspond to a weight function \(\Lambda \) determining a quasi-elliptic symbol. Results are applied to partial differential equations with symbols related to weights of the type \(\Lambda \).