Mass Distribution for holomorphic cusp forms on the vertical geodesic

Qingfeng Sun,Qizhi Zhang

2024-08-10

Abstract:We compute the quantum variance of holomorphic cusp forms on the vertical geodesic for smooth compactly supported test functions. As an application we show that almost all holomorphic Hecke cusp forms, whose weights are in a short interval, satisfy QUE conjecture on the vertical geodesic.

Number Theory

What problem does this paper attempt to address?

Equidistribution of cusp forms in the level aspect

Paul D. Nelson

DOI: https://doi.org/10.1215/00127094-144287

2012-02-29

Abstract:Let f traverse a sequence of classical holomorphic newforms of fixed weight and increasing squarefree level q tending to infinity. We prove that the pushforward of the mass of f to the modular curve of level 1 equidistributes with respect to the Poincaré measure. Our result answers affirmatively the squarefree level case of a conjecture spelled out by Kowalski, Michel and Vanderkam (2002) in the spirit of a conjecture of Rudnick and Sarnak (1994). Our proof follows the strategy of Holowinsky and Soundararajan (2008) who show that newforms of level 1 and large weight have equidistributed mass. The new ingredients required to treat forms of fixed weight and large level are an adaptation of Holowinsky's reduction of the problem to one of bounding shifted sums of Fourier coefficients (which on the surface makes sense only in the large weight limit), an evaluation of the p-adic integral needed to extend Watson's formula to the case of three newforms where the level of one divides but need not equal the common squarefree level of the other two, and some additional technical work in the problematic case that the level has many small prime factors.

Number Theory
On the Real Zeroes of Half-integral Weight Hecke Cusp Forms

Jesse Jääsaari

2024-09-24

Abstract:We examine the distribution of zeroes of half-integral weight Hecke cusp forms on the manifold $\Gamma_0(4)\backslash\mathbb H$ near a cusp at infinity. In analogue of the Ghosh-Sarnak conjecture for classical holomorphic Hecke cusp forms, one expects that almost all of the zeroes sufficiently close to this cusp lie on two vertical geodesics $\Re(s)=-1/2$ and $\Re(s)=0$ as the weight tends to infinity. We show that for $\gg K^2/(\log K)^{3/2}$ of the half-integral weight Hecke cusp forms in the Kohnen plus subspace with weight bounded by a large constant $K$, the number of such "real" zeroes grows almost at the expected rate. We also obtain a weaker lower bound for the number of real zeroes that holds for a positive proportion of forms. One of the key ingredients is the asymptotic evaluation of averaged first and second moments of quadratic twists of modular $L$-functions.

Number Theory
A zero-density estimate for $L$-functions associated with $\rm GL(3)$ Hecke--Maass cusp forms

Qingfeng Sun,Hui Wang

2024-12-03

Abstract:In this paper, we establish an asymptotic formula for the twisted second moment of $L$-functions associated with Hecke--Maass cusp forms for $\rm SL(3,\mathbb{Z})$, and further deduce a weighted zero-density estimate for these $L$-functions in the spectral aspect which may have important applications in other problems.

Number Theory
Joint value distribution of Hecke--Maass forms

Shenghao Hua,Bingrong Huang,Liangxun Li

2024-05-02

Abstract:In this paper, we formulate a conjecture on joint distribution of Hecke--Maass cusp forms. To support our conjecture, we prove two conditional results on joint moments of two Hecke--Maass cusp forms, which confirms statistical independence of orthogonal cusp forms.

Number Theory
Subconvexity Implies Effective Quantum Unique Ergodicity for Hecke-Maaß Cusp Forms on $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathrm{SL}_2(\mathbb{R})$

Ankit Bisain,Peter Humphries,Andrei Mandelshtam,Noah Walsh,Xun Wang

2024-09-06

Abstract:It is a folklore result in arithmetic quantum chaos that quantum unique ergodicity on the modular surface with an effective rate of convergence follows from subconvex bounds for certain triple product $L$-functions. The physical space manifestation of this result, namely the equidistribution of mass of Hecke-Maass cusp forms, was proven to follow from subconvexity by Watson, whereas the phase space manifestation of quantum unique ergodicity has only previously appeared in the literature for Eisenstein series via work of Jakobson. We detail the analogous phase space result for Hecke-Maass cusp forms. The proof relies on the Watson-Ichino triple product formula together with a careful analysis of certain archimedean integrals of Whittaker functions.

Number Theory
The cubic moment of Hecke--Maass cusp forms and moments of $L$-functions

Bingrong Huang

DOI: https://doi.org/10.1007/s00208-023-02668-w

2023-07-21

Abstract:In this paper, we prove the smooth cubic moments vanish for the Hecke--Maass cusp forms, which gives a new case of the random wave conjecture. In fact, we can prove a polynomial decay for the smooth cubic moments, while for the smooth second moment (i.e. QUE) no rate of decay is known unconditionally for general Hecke--Maass cusp forms. The proof bases on various estimates of moments of central $L$-values. We prove the Lindelöf on average bound for the first moment of $\rm GL(3)\times GL(2)$ $L$-functions in short intervals of the subconvexity strength length, and the convexity strength upper bound for the mixed moment of $\rm GL(2)$ and the triple product $L$-functions. In particular, we prove new subconvexity bounds of certain $\rm GL(3)\times GL(2)$ $L$-functions.

Number Theory,Mathematical Physics
Quantum ergodicity for Eisenstein series on hyperbolic surfaces of large genus

Etienne Le Masson,Tuomas Sahlsten

2023-06-27

Abstract:We give a quantitative estimate for the quantum mean absolute deviation on hyperbolic surfaces of finite area in terms of geometric parameters such as the genus, number of cusps and injectivity radius. It implies a delocalisation result of quantum ergodicity type for eigenfunctions of the Laplacian on hyperbolic surfaces of finite area that Benjamini-Schramm converge to the hyperbolic plane. We show that this is generic for Mirzakhani's model of random surfaces chosen uniformly with respect to the Weil-Petersson volume. Depending on the particular sequence of surfaces considered this gives a result of delocalisation of most cusp forms or of Eisenstein series.

Spectral Theory,Mathematical Physics,Dynamical Systems,Number Theory
Space of Kähler Metrics (V)– Kähler Quantization

Xiuxiong Chen,Song Sun

DOI: https://doi.org/10.1007/978-3-0348-0257-4_2

2012-01-01

Abstract:We prove the convergence of geodesic distance during the quantization of thespace of Kähler potentials. As applications, this provides alternative proofsof certain inequalities about the K-energy functional in the projective case.
Mass equidistribution for Saito-Kurokawa lifts

Jesse Jääsaari,Stephen Lester,Abhishek Saha

2024-07-03

Abstract:Let $F$ be a holomorphic cuspidal Hecke eigenform for $\mathrm{Sp}_4(\mathbb{Z})$ of weight $k$ that is a Saito--Kurokawa lift. Assuming the Generalized Riemann Hypothesis (GRH), we prove that the mass of $F$ equidistributes on the Siegel modular variety as $k\longrightarrow \infty$. As a corollary, we show under GRH that the zero divisors of Saito--Kurokawa lifts equidistribute as their weights tend to infinity.

Number Theory,Analysis of PDEs
Joint cubic moment of Eisenstein series and Hecke-Maass cusp forms

Chengliang Guo

2024-10-16

Abstract:Let $F(z), G(z)$ be Hecke-Maass cusp forms or Eisenstein series and $\psi$ is a smooth compactly supported function on X = SL(2,Z)\H. In this paper, we are interested in the asymptotic behavior of joint moment like $\int_{X}\psi(z) F(z)^{a_1}G(z)^{a_2}d\mu z $ when the spectral parameters go to infinity with nonnegative integers $a_{1}+a_{2} = 3$. We show that the diagonal case $\int_{X}\psi(z)E_{t}(z)^{3} d\mu z = O_{\psi}(t^{-1/3+\varepsilon})$. In nondiagonal case we show $\int_{\mathbb{X}}\psi(z)f^{2}(z)g(z)d\mu z = o(1)$ in the range $|t_{f} - t_{g}| \leq t_{f}^{2/3-\omega}$, a power saving upper bound of $\frac{1}{2\log t}\int_{X}\psi(z)|E_{t}(z)|^{2}g(z)d\mu z$ in the range $t_{g} \geq 2t^{\varepsilon^{\prime}}$ for any $\varepsilon^{\prime} >0 $ and an explicit formula when $t_{g} \leq 2t^{\varepsilon^{\prime}}$ which will asymptotically vanish under GRH and GRC.

Number Theory
Semiclassical Analysis, Geometric Representation and Quantum Ergodicity

Minghui Ma,Qiaochu Ma

DOI: https://doi.org/10.1007/s00220-024-05125-0

IF: 2.361

2024-10-14

Communications in Mathematical Physics

Abstract:In this paper, we prove the equidistribution property of high-frequency eigensections of the Laplacian on a certain series of unitary flat bundles, using the mixture of semiclassical and geometric quantizations.

physics, mathematical
Subconvex equidistribution of cusp forms: reduction to Eisenstein observables

Paul D. Nelson

DOI: https://doi.org/10.1215/00127094-2019-0005

2018-12-12

Abstract:Let $\pi$ traverse a sequence of cuspidal automorphic representations of GL(2) with large prime level, unramified central character and bounded infinity type. For G either of the groups GL(1) or PGL(2), let H(G) denote the assertion that subconvexity holds for G-twists of the adjoint $L$-function of $\pi$, with polynomial dependence upon the conductor of the twist. We show that H(GL(1)) implies H(PGL(2)). In geometric terms, H(PGL(2)) corresponds roughly to an instance of arithmetic quantum unique ergodicity with a power savings in the error term, H(GL(1)) to the special case in which the relevant sequence of measures is tested against an Eisenstein series.

Number Theory
Some Analytic Aspects of Automorphic Forms on GL(2) of Minimal Type

Yueke Hu,Paul D. Nelson,Abhishek Saha

DOI: https://doi.org/10.4171/cmh/473

2019-01-01

Commentarii Mathematici Helvetici

Abstract:Let pi be a cuspidal automorphic representation of PGL(2)(A(Q)) of arithmetic conductor C and archimedean parameter T, and let phi be an L-2-normalized automorphic form in the space of m. The sup-norm problem asks for bounds on parallel to phi parallel to(infinity) in terms of C and T. The quantum unique ergodicity (QUE) problem concerns the limiting behavior of the L-2-mass vertical bar phi vertical bar(2)(g) dg of phi. Previous work on these problems in the conductor-aspect has focused on the case that is a newform. In this work, we study these problems for a class of automorphic forms that are not newforms. Precisely, we assume that for each prime divisor p of C, the local component pi(p) is supercuspidal (and satisfies some additional technical hypotheses), and consider automorphic forms phi for which the local components phi(p) is an element of pi(p) are "minimal" vectors. Such vectors may be understood as non-archimedean analogues of lowest weight vectors in holomorphic discrete series representations of PGL(2) (R). For automorphic forms as above, we prove a sup -norm bound that is sharper than what is known in the newform case. In particular, if pi(infinity) is a holomorphic discrete series of lowest weight k, we obtain the optimal bound C(1/8-is an element of)k(1/-is an element of) <<(is an element of) vertical bar phi vertical bar(infinity) <<(is an element of) C(1/8 +is an element of)k(1/4+is an element of). We prove also that these forms give analytic test vectors for the QUE period, thereby demonstrating the equivalence between the strong QUE and the subconvexity problems for this class of vectors. This finding contrasts the known failure of this equivalence [3 1] for newforms of powerful level.
Non-escape of mass for arithmetic quantum limits on hyperbolic $4$-manifolds

Alexandre de Faveri,Zvi Shem-Tov

2024-05-07

Abstract:We make progress on the quantum unique ergodicity (QUE) conjecture for Hecke-Maass forms on a congruence quotient of hyperbolic $4$-space, eliminating the possibility of "escape of mass" for these forms.

Number Theory,Dynamical Systems
Actions of Cusp Forms on Holomorphic Discrete Series and Von Neumann Algebras

Jun Yang

DOI: https://doi.org/10.48550/arXiv.2010.00759

2021-07-06

Abstract:A holomorphic discrete series representation $(L_\pi,H_\pi)$ of a connected semi-simple real Lie group $G$ is associated with an irreducible representation $(\pi,V_{\pi})$ of its maximal compact subgroup $K$. The underlying space $H_\pi$ can be realized as certain holomorphic $V_{\pi}$-valued functions on the bounded symmetric domain $\mathcal{D}\cong G/K$. By the Berezin quantization, we transfer $B(H_{\pi})$ into End$(V_{\pi})$-valued functions on $\mathcal{D}$. For a lattice $\Gamma$ of $G$, we give the formula of a faithful normal tracial state on the commutant $L_\pi(\Gamma)'$ of the group von Neumann algebra $L_{\pi}(\Gamma)''$. We find the Toeplitz operators $T_f$'s associated with essentially bounded End$(V_\pi)$-valued functions $f$'s on $\Gamma\backslash\mathcal{D}$ generate the entire commutant $L_\pi(\Gamma)'$: $$\overline{\{T_f|f\in L^\infty(\Gamma\backslash\mathcal{D},{\rm End}(V_\pi))\}}^{\text{w.o.}}=L_\pi(\Gamma)'.$$ For any cuspidal automorphic form $f$ defined on $G$ (or $\mathcal{D}$) for $\Gamma$, we find the associated Toeplitz-type operator $T_f$ intertwines the actions of $\Gamma$ on these square-integrable representations. Hence the composite operator of the form $T_g^{*}T_f$ belongs to $L_\pi(\Gamma)'$. We prove these operators span $L^{\infty}(\Gamma\backslash\mathcal{D})$ and $$\overline{\langle\{\text{span}_{f,g} T_g^{*}T_f\}\otimes {\rm End}(V_\pi)\rangle}^{\text{w.o.}}=L_\pi(\Gamma)',$$ where $f,g$ run through holomorphic cusp forms for $\Gamma$ of same types. If $\Gamma$ is an infinite conjugacy classes group, we obtain a $\text{II}_1$ factor from cusp forms.

Number Theory,Operator Algebras,Representation Theory
Deterministic comparison of cusp form coefficients over certain sequences

Guodong Hua

DOI: https://doi.org/10.1007/s11139-023-00805-2

2024-01-06

The Ramanujan Journal

Abstract:Let f and g be two distinct primitive holomorphic cusp forms of even integral weights and for the full modular group , respectively. Denote by and the n th normalized Fourier coefficients of f and g , respectively. And set a primitive integral positive-definite binary quadratic form of fixed discriminant with the class number . In this paper, we establish a lower bound for the analytic density of the set

mathematics
Comments on "Vortex phase diagram of HgBa$_2$Ca$_2$Cu$_3$O$_{8+δ}$ thin films from magnetoresistance measurements"

Y. Z. Zhang,Z. Wang

DOI: https://doi.org/10.48550/arXiv.cond-mat/0502493

2005-02-21

Abstract:We make comments on the paper presented by Kim \textit{et al.} [Phys. Rev. B \textbf{61}, 11317 (2000)]. The authors analyzed activation energies of HgBa$_2$Ca$_2$Cu$_3$O$_{8+\delta}$ thin films with a scaling relation, and defined four vortex regions for thin films. We find that the definitions of four vortex regions and the scaling relation are questionable when studying their definition of the resistivity range for thermally activated flux flow. Using the empirical activation energy form suggested by Zhang \textit{et al.} [Phys. Rev. B \textbf{71}, 052502 (2005)] for lower resistivity data, we find that the form is not only in good agreement with the resistivity $\rho(T,H)$, but also with the apparent activation energy $-\partial \ln \rho(T,H)/\partial T^{-1}$.

Superconductivity
A bound for twists of L-functions with composite modulus

Qingfeng Sun,Yanxue Yu

DOI: https://doi.org/10.1007/s11139-023-00819-w

2024-01-21

The Ramanujan Journal

Abstract:Let be a Hecke-Maass cusp form for and let g be a holomorphic or Maass cusp form for . Let be a primitive Dirichlet character of modulus with prime, . Suppose that $M^{1/2+2\eta }<m_1<m^{1-2\eta span="" }$ with . Then we have</m_1

mathematics

Mass Distribution for holomorphic cusp forms on the vertical geodesic

Equidistribution of cusp forms in the level aspect

On the Real Zeroes of Half-integral Weight Hecke Cusp Forms

A zero-density estimate for $L$-functions associated with $\rm GL(3)$ Hecke--Maass cusp forms

Joint value distribution of Hecke--Maass forms

Subconvexity Implies Effective Quantum Unique Ergodicity for Hecke-Maaß Cusp Forms on $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathrm{SL}_2(\mathbb{R})$

The cubic moment of Hecke--Maass cusp forms and moments of $L$-functions

Quantum ergodicity for Eisenstein series on hyperbolic surfaces of large genus

Space of Kähler Metrics (V)– Kähler Quantization

Mass equidistribution for Saito-Kurokawa lifts

Joint cubic moment of Eisenstein series and Hecke-Maass cusp forms

Semiclassical Analysis, Geometric Representation and Quantum Ergodicity

Subconvex equidistribution of cusp forms: reduction to Eisenstein observables

Some Analytic Aspects of Automorphic Forms on GL(2) of Minimal Type

Non-escape of mass for arithmetic quantum limits on hyperbolic $4$-manifolds

Actions of Cusp Forms on Holomorphic Discrete Series and Von Neumann Algebras

Deterministic comparison of cusp form coefficients over certain sequences

Comments on "Vortex phase diagram of HgBa$_2$Ca$_2$Cu$_3$O$_{8+δ}$ thin films from magnetoresistance measurements"

A bound for twists of L-functions with composite modulus