Eigenvalue Counting Function for Robin Laplacians on Conical Domains

We study the discrete spectrum of the Robin Laplacian \(Q^{\Omega }_\alpha \) in \(L^2(\Omega )\), \(u\mapsto -\Delta u, \quad D_n u=\alpha u \text { on }\partial \Omega \), where \(D_n\) is the outer unit normal derivative and \(\Omega \subset {\mathbb {R}}^{3}\) is a conical domain with a regular cross-section \(\Theta \subset {\mathbb {S}}^2\), n is the outer unit normal, and \(\alpha >0\) is a fixed constant. It is known from previous papers that the bottom of the essential spectrum of \(Q^{\Omega }_\alpha \) is \(-\alpha ^2\) and that the finiteness of the discrete spectrum depends on the geometry of the cross-section. We show that the accumulation of the discrete spectrum of \(Q^\Omega _\alpha \) is determined by the discrete spectrum of an effective Hamiltonian defined on the boundary and far from the origin. By studying this model operator, we prove that the number of eigenvalues of \(Q^{\Omega }_\alpha \) in \((-\infty ,-\alpha ^2-\lambda )\), with \(\lambda >0\), behaves for \(\lambda \rightarrow 0\) as

$$\begin{aligned} \dfrac{\alpha ^2}{8\pi \lambda } \int _{\partial \Theta } \kappa _+(s)^2\mathrm {d}s +o\left( \frac{1}{\lambda }\right) , \end{aligned}$$

where \(\kappa _+\) is the positive part of the geodesic curvature of the cross-section boundary.

     

Infra-nilmanifolds modeled on the group of uni-triangular matrices

Let \({\mathcal {N}}_m\) be the group of \(m\times m\) upper triangular real matrices with all the diagonal entries 1. Then it is an \((m-1)\)-step nilpotent Lie group, diffeomorphic to \({\mathbb {R}}^{\frac{1}{2} m(m-1)}\). It contains all the integer matrices as a lattice \(\Gamma _m\). The automorphism group of \({\mathcal {N}}_m \ (m\ge 4)\) turns out to be extremely small. In fact, \(\mathrm {Aut}({\mathcal {N}})=\mathcal {I} \rtimes \mathrm {Out}({\mathcal {N}})\), where \(\mathcal {I}\) is a connected, simply connected nilpotent Lie group, and \(\mathrm {Out}({\mathcal {N}})={{\tilde{K}}}={(\mathbb {R}^*)^{m-1}\rtimes \mathbb {Z}_2}\). With a nice left-invariant Riemannian metric on \({\mathcal {N}}\), the isometry group is \(\mathrm {Isom}({\mathcal {N}})= {\mathcal {N}} \rtimes K\), where \(K={(\mathbb {Z}_2)^{m-1}\rtimes \mathbb {Z}_2}\subset {{\tilde{K}}}\) is a maximal compact subgroup of \(\mathrm {Aut}({\mathcal {N}})\). We prove that, for odd \(m\ge 4\), there is no infra-nilmanifold which is essentially covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\). For \(m=2n\ge 4\) (even), there is a unique infra-nilmanifold which is essentially (and doubly) covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\).     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

On Summation of Nonharmonic Fourier Series

Let a sequence \(\Lambda \subset {\mathbb {C}}\) be such that the corresponding system of exponential functions \({\mathcal {E}}(\Lambda ):=\left\{ {\text {e}}^{i\lambda t}\right\} _{\lambda \in \Lambda }\) is complete and minimal in \(L^2(-\pi ,\pi )\), and thus each function \(f\in L^2(-\pi ,\pi )\) corresponds to a nonharmonic Fourier series in \({\mathcal {E}}(\Lambda )\). We prove that if the generating function \(G\) of \(\Lambda \) satisfies the Muckenhoupt \((A_2)\) condition on \({\mathbb {R}}\), then this series admits a linear summation method. Recent results show that the \((A_2)\) condition cannot be omitted.     

A new generalization of Hermite’s reciprocity law

Given a partition \(\lambda \) of n, the Schur functor \({\mathbb {S}}_\lambda \) associates to any complex vector space V, a subspace \({\mathbb {S}}_\lambda (V)\) of \(V^{\otimes n}\). Hermite’s reciprocity law, in terms of the Schur functor, states that \({\mathbb {S}}_{(p)}\left( {\mathbb {S}}_{(q)}({\mathbb {C}}^2)\right) \simeq {\mathbb {S}}_{(q)}\left( {\mathbb {S}}_{(p)}({\mathbb {C}}^2)\right) . \) We extend this identity to many other identities of the type \({\mathbb {S}}_{\lambda }\left( {\mathbb {S}}_{\delta }({\mathbb {C}}^2)\right) \simeq {\mathbb {S}}_{\mu }\left( {\mathbb {S}}_{\epsilon }({\mathbb {C}}^2)\right) \).     

Multiplicity Results for the Fractional Laplacian in Expanding Domains

In this paper, we establish a multiplicity result of nontrivial weak solutions for the problem \((-\Delta )^{\alpha } u +u= h(u)\)    in \(\Omega _{\lambda }\), \(u=0\)    on \(\partial \Omega _{\lambda }\), where \(\Omega _{\lambda }=\lambda \Omega \), \(\Omega \) is a smooth and bounded domain in \({\mathbb {R}}^N, N>2\alpha \), \(\lambda \) is a positive parameter, \(\alpha \in (0,1)\), \((-\Delta )^{\alpha }\) is the fractional Laplacian and the nonlinear term h(u) has subcritical growth. We use minimax methods, the Ljusternick–Schnirelmann and Morse theories to get multiplicity results depending on the topology of \(\Omega \).     

On the Chaoticity of Some Tensor Product Weighted Backward Shift Operators Acting on Some Tensor Product Fock–Bargmann Spaces

In Advances in Mathematical Physics (2011) we showed that the weighted shift \(z^{p}\frac{d^{p+1}}{dz^{p+1}} (p=0, 1, 2,\ldots )\) acting on classical Bargmann space \(\mathbb {B}_{p}\) is chaotic operator. In Journal of Mathematical physics (2014), we constructed an chaotic weighted shift \(\mathbb {M}^{*^{p}}\mathbb {M}^{p+1} (p=0, 1, 2,\ldots )\) on some lattice Fock–Bargmann \(\mathbb {E}_{p}^{\alpha }\) generated by the orthonormal basis \( {e_{m}^{(\alpha ,p)}(z) = e_{m}^{\alpha } ; m=p, p+1,\ldots }\) where \( {e_{m}^{\alpha }(z) = (\frac{2\nu }{\pi })^{1/4}e^{\frac{\nu }{2}z^{2}}e^{-\frac{\pi ^{2}}{\nu }(m +\alpha )^{2} +2i\pi (m +\alpha )z}; m \in \mathbb {N}}\) with \(\nu , \alpha \) are real numbers; \(\nu > 0\), \(\mathbb {M}\) is an weighted shift and \(\mathbb {M^{*}}\) is the adjoint of the \(\mathbb {M}\). In this paper we study the chaoticity of tensor product \(\mathbb {M}^{*^{p}}\mathbb {M}^{p+1}\otimes z^{p}\frac{d^{p}}{dz^{p+1}} (p=0, 1, 2, \ldots )\) acting on \(\mathbb {E}_{p}^{\alpha }\otimes \mathbb {B}_{p}\).     

Dimensions of fibers of generic continuous maps

In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to \({\mathbb {R}}^n\). The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by \(C(K,{\mathbb {R}}^n)\) the set of continuous maps from K to \({\mathbb {R}}^n\) endowed with the maximum norm. Let \(\dim _{*}\) be one of the topological dimension \(\dim _T\), the Hausdorff dimension \(\dim _H\), or the packing dimension \(\dim _P\). Define

$$\begin{aligned} d_{*}^n(K)=\inf \left\{ \dim _{*}(K{\setminus } F): F\subset K \text { is } \sigma \text {-compact with } \dim _T F<n\right\} . \end{aligned}$$

We prove that \(d^n_{*}(K)\) is the right notion to describe the dimensions of the fibers of a generic continuous map \(f\in C(K,{\mathbb {R}}^n)\). In particular, we show that \(\sup \{\dim _{*}f^{-1}(y): y\in {\mathbb {R}}^n\} =d^n_{*}(K)\) provided that \(\dim _T K\ge n\), otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume \(\dim _T K\ge n\). If K is sufficiently homogeneous, then we can say much more. For example, we prove that \(\dim _{*}f^{-1}(y)=d^n_{*}(K)\) for a generic \(f\in C(K,{\mathbb {R}}^n)\) for all \(y\in {{\mathrm{int}}}f(K)\) if and only if \(d^n_{*}(U)=d^n_{*}(K)\) or \(\dim _T U<n\) for all open sets \(U\subset K\). This is new even if \(n=1\) and \(\dim _{*}=\dim _H\). It is known that for a generic \(f\in C(K,{\mathbb {R}}^n)\) the interior of f(K) is not empty. We augment the above characterization by showing that \(\dim _T \partial f(K)=\dim _H \partial f(K)=n-1\) for a generic \(f\in C(K,{\mathbb {R}}^n)\). In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.

     

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.

     

The effect of the domain topology on the number of solutions of fractional Laplace problems

In this paper we are concerned with the multiplicity of solutions for the following fractional Laplace problem

$$\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s}u= \mu |u|^{q-2}u + |u|^{2^*_s-2}u &{}\quad \text{ in } \Omega \\ u=0 &{}\quad \text{ in } {\mathbb {R}}^n{\setminus } \Omega , \end{array}\right. \end{aligned}$$

where \(\Omega \subset {\mathbb {R}}^n\) is an open bounded set with continuous boundary, \(n>2s\) with \(s\in (0,1),(-\Delta )^{s}\) is the fractional Laplacian operator, \(\mu \) is a positive real parameter, \(q\in [2, 2^*_s)\) and \(2^*_s=2n/(n-2s)\) is the fractional critical Sobolev exponent. Using the Lusternik–Schnirelman theory, we relate the number of nontrivial solutions of the problem under consideration with the topology of \(\Omega \). Precisely, we show that the problem has at least \(cat_{\Omega }(\Omega )\) nontrivial solutions, provided that \(q=2\) and \(n\geqslant 4s\) or \(q\in (2, 2^*_s)\) and \(n>2s(q+2)/q\), extending the validity of well-known results for the classical Laplace equation to the fractional nonlocal setting.

     

On the <Emphasis Type="Italic">p</Emphasis>-Laplacian with Robin boundary conditions and boundary trace theorems

Let \(\Omega \subset \mathbb {R}^\nu \), \(\nu \ge 2\), be a \(C^{1,1}\) domain whose boundary \(\partial \Omega \) is either compact or behaves suitably at infinity. For \(p\in (1,\infty )\) and \(\alpha >0\), define

$$\begin{aligned} \Lambda (\Omega ,p,\alpha ):=\inf _{\begin{array}{c} u\in W^{1,p}(\Omega )\\ u\not \equiv 0 \end{array}}\dfrac{\displaystyle \int _\Omega |\nabla u|^p \mathrm {d} x - \alpha \displaystyle \int _{\partial \Omega } |u|^p\mathrm {d}\sigma }{\displaystyle \int _\Omega |u|^p\mathrm {d} x}, \end{aligned}$$

where \(\mathrm {d}\sigma \) is the surface measure on \(\partial \Omega \). We show the asymptotics

$$\begin{aligned} \Lambda (\Omega ,p,\alpha )=-(p-1)\alpha ^{\frac{p}{p-1}} - (\nu -1)H_\mathrm {max}\, \alpha + o(\alpha ), \quad \alpha \rightarrow +\infty , \end{aligned}$$

where \(H_\mathrm {max}\) is the maximum mean curvature of \(\partial \Omega \). The asymptotic behavior of the associated minimizers is discussed as well. The estimate is then applied to the study of the best constant in a boundary trace theorem for expanding domains, to the norm estimate for extension operators and to related isoperimetric inequalities.

     

Unitary Equivalence of Composition C$$^*$$-Algebras on the Hardy and Weighted Bergman Spaces

Let \(\varphi \) be an arbitrary linear-fractional self-map of the unit disk \({\mathbb {D}}\) and consider the composition operator \(C_{-1, \varphi }\) and the Toeplitz operator \(T_{-1,z}\) on the Hardy space \(H^2\) and the corresponding operators \(C_{\alpha , \varphi }\) and \(T_{\alpha , z}\) on the weighted Bergman spaces \(A^2_{\alpha }\) for \(\alpha >-1\). We prove that the unital C\(^*\)-algebra \(C^*(T_{\alpha , z}, C_{\alpha , \varphi })\) generated by \(T_{\alpha , z}\) and \(C_{\alpha , \varphi }\) is unitarily equivalent to \(C^*(T_{-1, z}, C_{-1, \varphi }),\) which extends a known result for automorphism-induced composition operators. For maps \(\varphi \) that are not automorphisms of \({\mathbb {D}}\), we show that \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })\) is unitarily equivalent to \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})\), where \({\mathcal {K}}_{\alpha }\) and \({\mathcal {K}}_{-1}\) denote the ideals of compact operators on \(A^2_{\alpha }\) and \(H^2\), respectively, and apply existing structure theorems for \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})/{\mathcal {K}}_{-1}\) to describe the structure of \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })/\mathcal {K_{\alpha }}\), up to isomorphism. We also establish a unitary equivalence between related weighted composition operators induced by maps \(\varphi \) that fix a point on the unit circle.     

Extremal Problems for Mappings with Generalized Parametric Representation in $${{\mathbb {C}}}^{n}$$

In this paper we are concerned with the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) (\(t\ge 0\)) of normalized biholomorphic mappings on the Euclidean unit ball \(\mathbb {B}^n\) in \({\mathbb {C}}^n\) that can be embedded in normal Loewner chains whose normalizations are given by time-dependent operators \(A\in \widetilde{\mathcal {A}}\), where \(\widetilde{\mathcal {A}}\) is a family of measurable mappings from \([0,\infty )\) into \(L({\mathbb {C}}^n)\) which satisfy certain natural assumptions. In particular, we consider extreme points and support points associated with the compact family \(\widetilde{S}^t_A(\mathbb {B}^n)\), where \(A\in \widetilde{\mathcal {A}}\). We prove that if \(f(z,t)=V(t)^{-1}z+\cdots \) is a normal Loewner chain such that \(V(s)f(\cdot ,s)\in \mathrm{ex}\,\widetilde{S}^s_A(\mathbb {B}^n)\) (resp. \(V(s)f(\cdot ,s)\in \mathrm{supp}\,\widetilde{S}^s_A(\mathbb {B}^n)\)), then \(V(t)f(\cdot ,t)\in \mathrm{ex}\, \widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\) (resp. \(V(t)f(\cdot ,t)\in \mathrm{supp}\,\widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\)), where V(t) is the unique solution on \([0,\infty )\) of the initial value problem: \(\frac{d V}{d t}(t)=-A(t)V(t)\), a.e. \(t\ge 0\), \(V(0)=I_n\). Also, we obtain an example of a bounded support point for the family \(\widetilde{S}_A^t(\mathbb {B}^2)\), where \(A\in \widetilde{\mathcal {A}}\) is a certain time-dependent operator. We also consider the notion of a reachable family with respect to time-dependent linear operators \(A\in \widetilde{\mathcal {A}}\), and obtain characterizations of extreme/support points associated with these families of bounded biholomorphic mappings on \(\mathbb {B}^n\). Useful examples and applications yield that the study of the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) for time-dependent operators \(A\in \widetilde{\mathcal {A}}\) is basically different from that in the case of constant time-dependent linear operators.     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

Sampling and Cubature on Sparse Grids Based on a B-spline Quasi-Interpolation

Let \(X_n = \{x^j\}_{j=1}^n\) be a set of n points in the d-cube \({\mathbb {I}}^d:=[0,1]^d\), and \(\Phi _n = \{\varphi _j\}_{j =1}^n\) a family of n functions on \({\mathbb {I}}^d\). We consider the approximate recovery of functions f on \({{\mathbb {I}}}^d\) from the sampled values \(f(x^1), \ldots , f(x^n)\), by the linear sampling algorithm \( L_n(X_n,\Phi _n,f) := \sum _{j=1}^n f(x^j)\varphi _j. \) The error of sampling recovery is measured in the norm of the space \(L_q({\mathbb {I}}^d)\)-norm or the energy quasi-norm of the isotropic Sobolev space \(W^\gamma _q({\mathbb {I}}^d)\) for \(1 < q < \infty \) and \(\gamma > 0\). Functions f to be recovered are from the unit ball in Besov-type spaces of an anisotropic smoothness, in particular, spaces \(B^{\alpha ,\beta }_{p,\theta }\) of a “hybrid” of mixed smoothness \(\alpha > 0\) and isotropic smoothness \(\beta \in {\mathbb {R}}\), and spaces \(B^a_{p,\theta }\) of a nonuniform mixed smoothness \(a \in {\mathbb {R}}^d_+\). We constructed asymptotically optimal linear sampling algorithms \(L_n(X_n^*,\Phi _n^*,\cdot )\) on special sparse grids \(X_n^*\) and a family \(\Phi _n^*\) of linear combinations of integer or half integer translated dilations of tensor products of B-splines. We computed the asymptotic order of the error of the optimal recovery. This construction is based on B-spline quasi-interpolation representations of functions in \(B^{\alpha ,\beta }_{p,\theta }\) and \(B^a_{p,\theta }\). As consequences, we obtained the asymptotic order of optimal cubature formulas for numerical integration of functions from the unit ball of these Besov-type spaces.     

On Weak Invariance Principles for Partial Sums

Given a sequence of random functionals \(\bigl \{X_k(u)\bigr \}_{k \in \mathbb {Z}}\), \(u \in \mathbf{I}^d\), \(d \ge 1\), the normalized partial sums \(\check{S}_{nt}(u) = n^{-1/2}\bigl (X_1(u) + \cdots + X_{\lfloor n t \rfloor }(u)\bigr )\), \(t \in [0,1]\) and its polygonal version \({S}_{nt}(u)\) are considered under a weak dependence assumption and \(p > 2\) moments. Weak invariance principles in the space of continuous functions and càdlàg functions are established. A particular emphasis is put on the process \(\check{S}_{nt}(\widehat{\theta })\), where \(\widehat{\theta } \xrightarrow {\mathbb {P}} \theta \), and weaker moment conditions (\(p = 2\) if \(d = 1\)) are assumed.     

On the Almost Sure Location of the Singular Values of Certain Gaussian Block-Hankel Large Random Matrices

This paper studies the almost sure location of the eigenvalues of matrices \({\mathbf{W}}_N {\mathbf{W}}_N^{*}\), where \({\mathbf{W}}_N = ({\mathbf{W}}_N^{(1)T}, \ldots , {\mathbf{W}}_N^{(M)T})^{T}\) is a \({\textit{ML}} \times N\) block-line matrix whose block-lines \(({\mathbf{W}}_N^{(m)})_{m=1, \ldots , M}\) are independent identically distributed \(L \times N\) Hankel matrices built from i.i.d. standard complex Gaussian sequences. It is shown that if \(M \rightarrow +\infty \) and \(\frac{{\textit{ML}}}{N} \rightarrow c_* (c_* \in (0, \infty ))\), then the empirical eigenvalue distribution of \({\mathbf{W}}_N {\mathbf{W}}_N^{*}\) converges almost surely towards the Marcenko–Pastur distribution. More importantly, it is established using the Haagerup–Schultz–Thorbjornsen ideas that if \(L = O(N^{\alpha })\) with \(\alpha < 2/3\), then, almost surely, for \(N\) large enough, the eigenvalues of \({\mathbf{W}}_N {\mathbf{W}}_N^{*}\) are located in the neighbourhood of the Marcenko–Pastur distribution. It is conjectured that the condition \(\alpha < 2/3\) is optimal.     

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.