Amenability,critical exponents of subgroups and growth of closed geodesics

Let \(\Gamma \) be a (non-elementary) convex co-compact group of isometries of a pinched Hadamard manifold X. We show that a normal subgroup \(\Gamma _0\) has critical exponent equal to the critical exponent of \(\Gamma \) if and only if \(\Gamma /\Gamma _0\) is amenable. We prove a similar result for the exponential growth rate of closed geodesics on \(X/\Gamma \). These statements are analogues of classical results of Kesten for random walks on groups and Brooks for the spectrum of the Laplacian on covers of Riemannian manifolds.     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.     

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 a class of maximality principles

We study various classes of maximality principles, \(\mathrm {MP}(\kappa ,\Gamma )\), introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where \(\Gamma \) defines a class of forcing posets and \(\kappa \) is an infinite cardinal. We explore the consistency strength and the relationship of \(\textsf {MP}(\kappa ,\Gamma )\) with various forcing axioms when \(\kappa \in \{\omega ,\omega _1\}\). In particular, we give a characterization of bounded forcing axioms for a class of forcings \(\Gamma \) in terms of maximality principles MP\((\omega _1,\Gamma )\) for \(\Sigma _1\) formulas. A significant part of the paper is devoted to studying the principle MP\((\kappa ,\Gamma )\) where \(\kappa \in \{\omega ,\omega _1\}\) and \(\Gamma \) defines the class of stationary set preserving forcings. We show that MP\((\kappa ,\Gamma )\) has high consistency strength; on the other hand, if \(\Gamma \) defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP\((\kappa ,\Gamma )\) is consistent relative to \(V=L\).     

The deformation of symplectic critical surfaces in a Kähler surface-II—compactness

In this paper we consider the compactness of \(\beta \)-symplectic critical surfaces in a Kähler surface. Let M be a compact Kähler surface and \(\Sigma _i\subset M\) be a sequence of closed \(\beta _i\)-symplectic critical surfaces with \(\beta _i\rightarrow \beta _0\in (0,\infty )\). Suppose the quantity \(\int _{\Sigma _i}\frac{1}{\cos ^q\alpha _i}d\mu _i\) (for some \(q>4\)) and the genus of \(\Sigma _{i}\) are bounded, then there exists a finite set of points \({{\mathcal {S}}}\subset M\) and a subsequence \(\Sigma _{i'}\) which converges uniformly in the \(C^l\) topology (for any \(l<\infty \)) on compact subsets of \(M\backslash {{\mathcal {S}}}\) to a \(\beta _0\)-symplectic critical surface \(\Sigma \subset M\), each connected component of \(\Sigma \setminus {{\mathcal {S}}}\) can be extended smoothly across \({{\mathcal {S}}}\).     

The Signless Laplacian Spectral Radius of Some Strongly Connected Digraphs

Let \(\vec G\) be a strongly connected digraph and Q( \(\vec G\)) be the signless Laplacian matrix of \(\vec G\). The spectral radius of Q(\(\vec G\)) is called the signless Lapliacian spectral radius of \(\vec G\). Let \({\tilde \infty _1}\)-digraph and \({\tilde \infty _2}\)-digraph be two kinds of generalized strongly connected 1-digraphs and let \({\tilde \theta _1}\)-digraph and \({\tilde \theta _2}\)-digraph be two kinds of generalized strongly connected µ-digraphs. In this paper, we determine the unique digraph which attains the maximum(or minimum) signless Laplacian spectral radius among all \({\tilde \infty _1}\)-digraphs and \({\tilde \theta _1}\)-digraphs. Furthermore, we characterize the extremal digraph which achieves the maximum signless Laplacian spectral radius among \({\tilde \infty _2}\)-digraphs and \({\tilde \theta _2}\)-digraphs, respectively.     

Finite 2-Geodesic Transitive Abelian Cayley Graphs

In this paper, we first give a classification of the family of 2-geodesic transitive abelian Cayley graphs. Let \(\Gamma \) be such a graph which is not 2-arc transitive. It is shown that one of the following holds: (1) \(\Gamma \cong \mathrm{K}_{m[b]}\) for some \(m\ge 3\) and \(b\ge 2\); (2) \(\Gamma \) is a normal Cayley graph of an elementary abelian group; (3) \(\Gamma \) is a cover of Cayley graph \(\Gamma _K\) of an abelian group T / K, where either \(\Gamma _K\) is complete arc transitive or \(\Gamma _K\) is 2-geodesic transitive of girth 3, and A / K acts primitively on \(V(\Gamma _K)\) of type Affine or Product Action. Second, we completely determine the family of 2-geodesic transitive circulants.     

Corona problem with data in ideal spaces of sequences

Let E be a Banach lattice on \({\mathbb {Z}}\) with order continuous norm. We show that for any function \(f = \{f_j\}_{j \in {\mathbb {Z}}}\) from the Hardy space \(\mathrm H_{\infty }\left( E \right) \) such that \(\delta \leqslant \Vert f (z)\Vert _E \leqslant 1\) for all z from the unit disk \({\mathbb {D}}\) there exists some solution \(g = \{g_j\}_{j \in {\mathbb {Z}}} \in \mathrm H_{\infty }\left( E' \right) \), \(\Vert g\Vert _{\mathrm H_{\infty }\left( E' \right) } \leqslant C_\delta \) of the Bézout equation \(\sum _j f_j g_j = 1\), also known as the vector-valued corona problem with data in \(\mathrm H_{\infty }\left( E \right) \).     

New congruences for $$\ell $$-regular partitions for $$\ell \in \{5,6,7,49\}$$∈{5,6,7,49}

We find several new congruences for \(\ell \)-regular partitions for \(\ell \in \{5,6,7,49\}\) and also find alternative proofs of the congruences for 10- and 20-regular partitions which were proved earlier by Carlson and Webb (Ramanujan J 33:329–337, 2014) by using the theory of modular forms. We use certain p-dissections of \((q;q)_{\infty }\), \(\psi (q)\), \((q;q)_{\infty }^3\) and \(\psi (q^2)(q;q)_{\infty }^2\).     

Tauberian conditions for the $$(C, \alpha )$$ integrability of functions

For a real-valued continuous function f(x) on \([0,\infty )\), we define

$$\begin{aligned} s(x)=\int _{0}^{x} f(u)du\quad \text {and}\quad \sigma _{\alpha } (x)= \int _{0}^{x}\left( 1-\frac{u}{x}\right) ^{\alpha }f(u)du \end{aligned}$$

for \(x>0\). We say that \(\int _{0}^{\infty } f(u)du\) is \((C, \alpha )\) integrable to L for some \(\alpha >-1\) if the limit \(\lim _{x \rightarrow \infty } \sigma _{\alpha } (x)=L\) exists. It is known that \(\lim _{x \rightarrow \infty } s(x) =L\) implies \(\lim _{x \rightarrow \infty }\sigma _{\alpha } (x) =L\) for all \(\alpha >-1\). The aim of this paper is twofold. First, we introduce some new Tauberian conditions for the \((C, \alpha )\) integrability method under which the converse implication is satisfied, and improve classical Tauberian theorems for the \((C,\alpha )\) integrability method. Next we give short proofs of some classical Tauberian theorems as special cases of some of our results.

     

On a Weighted Singular Integral Operator with Shifts and Slowly Oscillating Data

Let \(\alpha ,\beta \) be orientation-preserving diffeomorphism (shifts) of \(\mathbb {R}_+=(0,\infty )\) onto itself with the only fixed points \(0\) and \(\infty \) and \(U_\alpha ,U_\beta \) be the isometric shift operators on \(L^p(\mathbb {R}_+)\) given by \(U_\alpha f=(\alpha ')^{1/p}(f\circ \alpha )\), \(U_\beta f=(\beta ')^{1/p}(f\circ \beta )\), and \(P_2^\pm =(I\pm S_2)/2\) where

$$\begin{aligned} (S_2 f)(t):=\frac{1}{\pi i}\int \limits _0^\infty \left( \frac{t}{\tau }\right) ^{1/2-1/p}\frac{f(\tau )}{\tau -t}\,d\tau , \quad t\in \mathbb {R}_+, \end{aligned}$$

is the weighted Cauchy singular integral operator. We prove that if \(\alpha ',\beta '\) and \(c,d\) are continuous on \(\mathbb {R}_+\) and slowly oscillating at \(0\) and \(\infty \), and

$$\begin{aligned} \limsup _{t\rightarrow s}|c(t)|<1, \quad \limsup _{t\rightarrow s}|d(t)|<1, \quad s\in \{0,\infty \}, \end{aligned}$$

then the operator \((I-cU_\alpha )P_2^++(I-dU_\beta )P_2^-\) is Fredholm on \(L^p(\mathbb {R}_+)\) and its index is equal to zero. Moreover, its regularizers are described.

     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Flatness implies smoothness for solutions of the porous medium equation

One of the major problems in the theory of the porous medium equation \(\partial _t\rho =\Delta _x\rho ^m,\,m > 1\), is the regularity of the solutions \(\rho (t,x)\ge 0\) and the free boundaries \(\Gamma =\partial \{(t,x): \rho >0\}\). Here we assume flatness of the solution and derive \(C^\infty \) regularity of the interface after a small time, as well as \(C^\infty \) regularity of the solution in the positivity set and up to the free boundary for some time interval. The proof starts from Caffarelli’s blueprint of an improvement of flatness by rescaling, and combines it with the Carleson measure approach applied to the degenerate subelliptic equation satisfied by the pressure of the porous medium equation in transformed coordinates. The improvement of flatness finally hinges on Gaussian estimates for the subelliptic problem. We use these facts to prove the following eventual regularity result: solutions defined in the whole space with compactly supported initial data are smooth after a finite time \(T_r\) that depends on \(\rho _0\). More precisely, we prove that for \(t \ge T_r\) the pressure \(\rho ^{m-1}\) is \(C^\infty \) in the positivity set and up to the free boundary, which is a \(C^\infty \) hypersurface. Moreover, \(T_r\) can be estimated in terms of only the initial mass and the initial support radius. This regularity result eliminates the assumption of non-degeneracy on the initial data that has been carried on for decades in the literature. Let us recall that regularization for small times is false, and that as \(t\rightarrow \infty \) the solution increasingly resembles a Barenblatt function and the support looks like a ball.     

An Erdös–Révész Type Law of the Iterated Logarithm for Order Statistics of a Stationary Gaussian Process

Let \(\{X(t):t\in \mathbb R_+\}\) be a stationary Gaussian process with almost surely (a.s.) continuous sample paths, \(\mathbb E X(t) = 0, \mathbb E X^2(t) = 1\) and correlation function satisfying (i) \(r(t) = 1 - C|t|^{\alpha } + o(|t|^{\alpha })\) as \(t\rightarrow 0\) for some \(0\le \alpha \le 2\) and \(C>0\); (ii) \(\sup _{t\ge s}|r(t)|<1\) for each \(s>0\) and (iii) \(r(t) = O(t^{-\lambda })\) as \(t\rightarrow \infty \) for some \(\lambda >0\). For any \(n\ge 1\), consider n mutually independent copies of X and denote by \(\{X_{r:n}(t):t\ge 0\}\) the rth smallest order statistics process, \(1\le r\le n\). We provide a tractable criterion for assessing whether, for any positive, non-decreasing function \(f, \mathbb P(\mathscr {E}_f)=\mathbb P(X_{r:n}(t) > f(t)\, \text { i.o.})\) equals 0 or 1. Using this criterion we find, for a family of functions \(f_p(t)\) such that \(z_p(t)=\mathbb P(\sup _{s\in [0,1]}X_{r:n}(s)>f_p(t))=O((t\log ^{1-p} t)^{-1})\), that \(\mathbb P(\mathscr {E}_{f_p})= 1_{\{p\ge 0\}}\). Consequently, with \(\xi _p (t) = \sup \{s:0\le s\le t, X_{r:n}(s)\ge f_p(s)\}\), for \(p\ge 0\) we have \(\lim _{t\rightarrow \infty }\xi _p(t)=\infty \) and \(\limsup _{t\rightarrow \infty }(\xi _p(t)-t)=0\) a.s. Complementarily, we prove an Erdös–Révész type law of the iterated logarithm lower bound on \(\xi _p(t)\), namely, that \(\liminf _{t\rightarrow \infty }(\xi _p(t)-t)/h_p(t) = -1\) a.s. for \(p>1\) and \(\liminf _{t\rightarrow \infty }\log (\xi _p(t)/t)/(h_p(t)/t) = -1\) a.s. for \(p\in (0,1]\), where \(h_p(t)=(1/z_p(t))p\log \log t\).     

Spectral multiplier theorems and averaged <Emphasis Type="Italic">R</Emphasis>-boundedness

Let A be a 0-sectorial operator with a bounded \(H^\infty (\Sigma _\sigma )\)-calculus for some \(\sigma \in (0,\pi ),\) e.g. a Laplace type operator on \(L^p(\Omega ),\, 1< p < \infty ,\) where \(\Omega \) is a manifold or a graph. We show that A has a \(\mathcal {H}^\alpha _2(\mathbb {R}_+)\) Hörmander functional calculus if and only if certain operator families derived from the resolvent \((\lambda - A)^{-1},\) the semigroup \(e^{-zA},\) the wave operators \(e^{itA}\) or the imaginary powers \(A^{it}\) of A are R-bounded in an \(L^2\)-averaged sense. If X is an \(L^p(\Omega )\) space with \(1 \le p < \infty \), R-boundedness reduces to well-known estimates of square sums.     

On Hecke groups,Schwarzian triangle functions and a class of hyper-elliptic functions

Let m be a positive integer \(\ge \)3 and \(\lambda =2\cos \frac{\pi }{m}\). The Hecke group \(\mathfrak {G}(\lambda )\) is generated by the fractional linear transformations \(\tau + \lambda \) and \(-\frac{1}{\tau }\) for \(\tau \) in the upper half plane \(\mathbb H\) of the complex plane \(\mathbb C\). We consider a set of functions \(\mathfrak {f}_0, \mathfrak {f}_i\) and \(\mathfrak {f}_{\infty }\) automorphic with respect to \(\mathfrak {G}(\lambda )\), constructed from the conformal mapping of the fundamental domain of \(\mathfrak {G}(\lambda )\) to the upper half plane \(\mathbb H\), and establish their connection with the Legendre functions and a class of hyper-elliptic functions. Many well-known classical identities associated with the cases of \(\lambda =1\) and 2 are preserved. As an application, we will establish a set of identities expressing the reciprocal of \(\pi \) in terms of the hypergeometric series.     

Closures of Hardy and Hardy–Sobolev Spaces in the Bloch Type Space on the Unit Ball

For \(0<\alpha <\infty \), \(0<p<\infty \) and \(0<s<\infty \), we characterize the closures in the \(\alpha \)-Bloch norm of \(\alpha \)-Bloch functions that are in a Hardy space \(H^p\) and in a Hardy–Sobolev space \(H^p_s\) on the unit ball of \(\mathbb {C}^n\).     

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.     

On some constacyclic codes over $$\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle $$, their $$\mathbb {Z}_4$$Z4 images,and new codes

In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).