Search

Given a compact segment, $\beta$, of a cuspidal geodesic on the modular surface, we study the number of sign changes of cusp forms and Eisenstein series along $\beta$. We prove unconditionally a sharp lower bound for Eisenstein series along a full density set of spectral parameters. Conditioned on certain moment bounds, we extend this to all spectral parameters, and prove similar theorems for cusp forms. The arguments rely in part on the authors' mean square bounds [KKL24], and on removing the assumption of the Lindel\"of hypothesis from recent work of Ki [Ki23]., Comment: 16 Pages

Given an inhomogeneous quadratic form $Q_\xi(v)=Q(v+\xi)$ with $Q$ an indefinite $\mathbb{Q}$-isotropic rational ternary form and $\xi\in \mathbb{R}^3$ irrational, we prove an effective lower bound for the number of integer vectors $v\in \mathbb{Z}^n$ with $\|v\| \leq T$ such that $|Q_\xi(v)-t|<\delta$ that is valid for any $t\in \mathbb{R}$ and all $\delta\geq T^{-\nu}$, with $\nu>0$ depending explicitly on the Diophantine properties of $\xi$. In particular, for $\xi$ with algebraic entries we can take any $\nu<\frac{1}{8}$., Comment: 8 pages

We give an optimal bound for the remainder when counting the number of rational points on the $n$-dimensional sphere with bounded denominator for any $n\geq 2$., Comment: 13 pages. Added a bound for the $2$-sphere

We study the sup-norm and mean-square-norm problems for Eisenstein series on certain arithmetic hyperbolic orbifolds, producing sharp exponents for the modular surface and Picard 3-fold. The methods involve bounds for Epstein zeta functions, and counting restricted values of indefinite quadratic forms at integer points., Comment: 13 pages; minor changes

We study the light-cone Siegel transform, transforming functions on the light cone of a rational indefinite quadratic form $Q$ to a function on the homogenous space $\text{SO}^+_Q(\mathbb{Z})\backslash \text{SO}^+_Q(\mathbb{R})$. In particular, we prove a second moment formula for this transform for forms of signature $(n+1,1)$, and show how it can be used for various applications for counting integer points on the light cone. In particular, we prove some new results on intrinsic Diophantine approximations on ellipsoids as well as on the distribution of values of random linear and quadratic forms on the light cone., Comment: 50 pages

We answer in the affirmative a question of Sarnak's from 2007, confirming that the Patterson-Sullivan base eigenfunction is the unique square-integrable eigenfunction of the hyperbolic Laplacian invariant under the group of symmetries of the Apollonian packing. Thus the latter has a maximal spectral gap. We prove further restrictions on the spectrum of the Laplacian on a wide class of manifolds coming from Kleinian sphere packings., Comment: 8 pages, 4 figures

In this work we give an explicit formula for the Fourier coefficients of Eisenstein series corresponding to certain arithmetic lattices acting on hyperbolic n+1-space. As a consequence we obtain results on location of all poles of these Eisenstein series as well as their supremum norms. We use this information to get new results on counting rational points on spheres., Comment: 61 pages; corrected a mistake in Theorem 1.5 and various other small improvements in presentation

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed quadratic forms and generic shifts. Our results complement our companion paper where we considered generic forms and fixed shifts. In this paper, we use ergodic theorems and in particular we establish a strong spectral gap with effective bounds for some representations of orthogonal groups which do not possess Kazhdan's property (T)., Comment: Improved estimates for strong spectral gap which are now sharp for groups without property (T)

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which implies the optimal density for values of generic inhomogeneous forms. We also obtain a similar density result for fixed irrational shifts satisfying an explicit Diophantine condition. The main technical tool is a formula for the second moment of Siegel transforms on certain congruence quotients of $\operatorname{SL}_n(\mathbb{R})$ which we believe to be of independent interest. In a sequel, we use different techniques to treat the companion problem concerning generic shifts and fixed quadratic forms., Comment: 28 pages; corrected an error in the second moment formula in Theorem 2.1 and simplified the proof; added an alternative proof to the second moment formula in Theorem 3.2 following suggestions of a referee

Let $\mathcal{M}$ be a geometrically finite hyperbolic manifold. We present a very general theorem on the shrinking target problem for the geodesic flow, using its exponential mixing. This includes a strengthening of Sullivan's logarithm law for the excursion rate of the geodesic flow. More generally, we prove logarithm laws for the first hitting time for shrinking cusp neighborhoods, shrinking tubular neighborhoods of a closed geodesic, and shrinking metric balls, as well as give quantitative estimates for the time a generic geodesic spends in such shrinking targets., Comment: Removed condition on critical exponent

Relying on the classical second moment formula of Rogers we give an effective asymptotic formula for the number of integer vectors $v$ in a ball of radius $t$, with value $Q(v)$ in a shrinking interval of size $t^{-\kappa}$, that is valid for almost all indefinite quadratic forms in $n$ variables for any $\kappa

Using results from spectral theory of Eisenstein series, we prove a formula for the second moment of the Siegel transform when averaged over the subspace of symplectic lattices. This generalizes the classical formula of Rogers for the second moment in the full space of unimodular lattices. Using this new formula we give very strong bounds for the discrepancy of the number of lattice points in an Borel set, which hold for generic symplectic lattices., Comment: 26 pages

In previous work, the authors introduced "soft" methods to prove the effective (i.e. with power savings error) equidistribution of "shears" in cusped hyperbolic surfaces. In this paper, we study the same problem but now allow full use of the spectral theory of automorphic forms to produce explicit exponents, and uniformity in parameters. We give applications to counting square values of quadratic forms., Comment: 41 pages, one figure

We study shrinking targets problems for discrete time flows on a homogenous space $\Gamma\backslash G$ with $G$ a semisimple group and $\Gamma$ an irreducible lattice. Our results apply to both diagonalizable and unipotent flows, and apply to very general families of shrinking targets. As a special case, we establish logarithm laws for cusp excursions of unipotent flows answering a question of Athreya and Margulis., Comment: 31 pages; Corollary 1.2 is now proved in full generality; removed the assumption that $\{\mu(B_m)\}$ is non-increasing in Proposition 5.4; typos corrected

We prove dynamical Borel Canteli Lemmas for discrete time homogenous flows hitting a sequence of shrinking targets in a hyperbolic manifold. These results apply to both diagonalizable and unipotent flows, and any family of measurable shrinking targets. As a special case, we establish logarithm laws for the first hitting times to shrinking balls and shrinking cusp neighborhoods, refining and improving on perviously known results.

We give upper and lower bounds for Diophantine exponents measuring how well a point in the plane can be approximated by points in the orbit of a lattice $\Gamma<\mathrm{SL}_2(\mathbb{R})$ acting linearly on $\mathbb{R}^2$. Our method gives bounds that are uniform for almost all orbits.

We prove a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms. Our results are inspired by and analogous to recent results for diagonal quadratic forms due to Bourgain.

We give mean square bounds for the remainder in the lattice point counting problem, counting the number of lattice points in a large ball in $\mathbb{R}^d$, when averaged over families of shears of the lattice., Comment: 19 pages

We study the shrinking target problem for actions of semisimple groups on homogeneous spaces, with applications to logarithm laws and Diophantine approximation., Comment: We correct a mistake in the upper bound for the critical exponent and sharpen the lower bound

Given a unimodular lattice $\Lambda\subseteq \mathbb{R}^2$ consider the counting function $\mathcal{N}_\Lambda(T)$ counting the number of lattice points of norm less than $T$, and the remainder $\mathcal{R}_\Lambda(T)=\mathcal{N}(T)-\pi T^2$. We give an elementary proof that the mean square of the remainder over the set of all shears of a unimodular lattice is bounded by $O(T\log^2(T))$., Comment: 8 pages

A "shear" is a unipotent translate of a cuspidal geodesic ray in the quotient of the hyperbolic plane by a non-uniform discrete subgroup of PSL(2,R), possibly of infinite co-volume. We prove the regularized equidistribution of shears under large translates with effective (that is, power saving) rates. We also give applications to weighted second moments of GL(2) automorphic L-functions, and to counting lattice points on locally affine symmetric spaces., Comment: 41 pages, 4 figures

We extend results of Bhagwat and Rajan on a strong multiplicity one property for length spectrum to hyperbolic manifolds with cusps, showing that for two even dimensional hyperbolic manifolds of finite volume, if all but finitely many closed geodesics have the same length, then all closed geodesics have the same length. When the set of exceptional lengths is infinite, but sufficiently sparse, we can show that the two manifolds must have the same volume, and in low dimensions also the same number of cusps. A main ingredient in our proof is a generalization of a result of Selberg on the distribution of poles of Eisenstein series to hyperbolic manifolds., Comment: 26 pages, some errors corrected, accepted for publication

Let $\Gamma< \mathrm{PSL}_2(\mathbb{R})$ be a lattice and $\omega\in \mathbb{H}$ a point in the upper half plane. We prove the existence and give an explicit formula for the pair correlation density function for the set of angles between geodesic rays of the lattice $\Gamma \omega$ intersected with increasingly large balls centered at $\omega$, thus proving a conjecture of Boca-Popa-Zaharescu., Comment: 35 pages, 5 figures

In a series of lectures Selberg introduced a trace formula on the space of hybrid Maass-modular forms of an irreducible uniform lattice in $\PSL_2(\bbR)^n$. In this paper we derive the analogous formula for a non-uniform lattice and use it to study the distribution of elliptic-hyperbolic conjugacy classes. In particular, for Hilbert modular groups there is a nice interpretation of these results in terms of class numbers and fundamental units of quadratic forms over totally real number fields.

A closed geodesic on the modular surface gives rise to a knot on the 3-sphere with a trefoil knot removed, and one can compute the linking number of such a knot with the trefoil knot. We show that, when ordered by their length, the set of closed geodesics having a prescribed linking number become equidistributed on average with respect to the Liouville measure. We show this by using the thermodynamic formalism to prove an equidistribution result for a corresponding set of quadratic irrationals on the unit interval.

Let $\calM_1$ and $\calM_2$ denote two compact hyperbolic manifolds. Assume that the multiplicities of eigenvalues of the Laplacian acting on $L^2(\calM_1)$ and $L^2(\calM_2)$ (respectively, multiplicities of lengths of closed geodesics in $\calM_1$ and $\calM_2$) are the same, except for a possibly infinite exceptional set of eigenvalues (respectively lengths). We define a notion of density for the exceptional set and show that if it is below a certain threshold, the two manifolds must be iso-spectral., Comment: 45 pages, added references, added last subsection

We prove logarithm laws and shrinking target properties for unipotent flows on the homogenous space $\Gamma\bs G$ with $G=\SL_2(\bbR)^{r_1}\times\SL_2(\bbC)^{r_2}$ and $\Gamma\subseteq G$ an irreducible non-uniform lattice. Our method relies on certain estimates for the norms of (incomplete) theta series in this setting., Comment: This version corrects a mistake appearing in previous versions of this paper. Explicitly, Lemma 2.8 in the previous version is false as stated, and consequently so is the proof of Lemma 2.9 and Theorem 3. In this version we removed the false statement and proved a modified version of Lemma 2.8 which is sufficient for the proof of Theorem 3

Let $G$ be $\SO(n,1)$ or $\SU(n,1)$ and let $\Gamma\subset G$ denote an arithmetic lattice. The hyperbolic manifold $\Gamma\backslash \calH$ comes with a natural family of covers, coming from the congruence subgroups of $\Gamma$. In many applications, it is useful to have a bound for the spectral gap that is uniform for this family. When $\Gamma$ is itself a congruence lattice, there are very good bounds coming from known results towards the Ramanujan conjectures. In this paper, we establish an effective bound that is uniform for congruence subgroups of a non-congruence lattice., Comment: 15 pages

The existence of a strong spectral gap for lattices in semi-simple Lie groups is crucial in many applications. In particular, for arithmetic lattices it is useful to have bounds for the strong spectral gap that are uniform in the family of congruence covers. When the lattice is itself a congruence group, there are uniform and very good bounds for the spectral gap coming from the known bounds toward the Ramanujan-Selberg conjectures. In this note, we establish a uniform bound for the strong spectral gap for congruence covers of an irreducible co-compact lattice $\Gamma$ in $PSL(2,R)^d$ with $d\geq 2$, which is the simplest and most basic case where the congruence subgroup property is not known., Comment: 22 pages, Order and numbering of theorems has changed. Final version, to appear in IMRN

Let $\calM=\Gamma\bs \calH^{(n)}$, where $\calH^{(n)}$ is a product of $n+1$ hyperbolic planes and $\Gamma\subset\PSL(2,\bbR)^{n+1}$ is an irreducible cocompact lattice. We consider closed geodesics on $\calM$ that propagate locally only in one factor. We show that, as the length tends to infinity, the holonomy rotations attached to these geodesics become equidistributed in $\PSO(2)^n$ with respect to a certain measure. For the special case of lattices derived from quaternion algebras, we can give another interpretation of the holonomy angles under which this measure arises naturally., Comment: 42 pages. Revised title. Theorem 3 is strengthened. To appear in Amer. J. Math

The existence of a strong spectral gap for quotients $\Gamma\bs G$ of noncompact connected semisimple Lie groups is crucial in many applications. For congruence lattices there are uniform and very good bounds for the spectral gap coming from the known bounds towards the Ramanujan-Selberg Conjectures. If $G$ has no compact factors then for general lattices a strong spectral gap can still be established, however, there is no uniformity and no effective bounds are known. This note is concerned with the strong spectral gap for an irreducible co-compact lattice $\Gamma$ in $G=\PSL(2,\bbR)^d$ for $d\geq 2$ which is the simplest and most basic case where the congruence subgroup property is not known. The method used here gives effective bounds for the spectral gap in this setting., Comment: 35 pages. Final version (to appear in JEMS)

The quantum cat map is a model for a quantum system with underlying chaotic dynamics. In this paper we study the matrix elements of smooth observables in this model, when taking arithmetic symmetries into account. We give explicit formulas for the matrix elements as certain exponential sums. With these formulas we can show that there are sequences of eigenfunctions for which the matrix elements decay significantly slower then was previously conjectured. We also prove a limiting distribution for the fluctuation of the normalized matrix elements around their average., Comment: 26 pages, final version, to appear in AHP

In this note we study Kloosterman sums twisted by a multiplicative characters modulo a prime power. We show, by an elementary calculation, that these sums become equidistributed on the real line with respect to a suitable measure., Comment: 8 pages. Two remarks added to the introduction

We previously introduced a family of symplectic maps of the torus whose quantization exhibits scarring on invariant co-isotropic submanifolds. The purpose of this note is to show that in contrast to other examples, where failure of Quantum Unique Ergodicity is attributed to high multiplicities in the spectrum, for these examples the spectrum is (generically) simple., Comment: 5 pages

For manifolds with geodesic flow that is ergodic on the unit tangent bundle, the quantum ergodicity theorem implies that almost all Laplacian eigenfunctions become equidistributed as the eigenvalue goes to infinity. For a locally symmetric space with a universal cover that is a product of several upper half planes, the geodesic flow has constants of motion so it can not be ergodic. It is, however, ergodic when restricted to the submanifolds defined by these constants. In accordance, we show that almost all eigenfunctions become equidistributed on these submanifolds., Comment: 32 pages

Any non-degenerate quadratic form over a Hilbertian field (e.g., a number field) is isomorphic to a scaled trace form. In this work we extend this result to more general fields. In particular, prosolvable and prime-to-p extensions of a Hilbertian field. The proofs are based on the theory of PAC extensions., Comment: 10 pages; added results on prime-to-p extensions, removed the condition on the countability of the fields

We exhibit scarring for certain nonlinear ergodic toral automorphisms. There are perturbed quantized hyperbolic toral automorphisms preserving certain co-isotropic submanifolds. The classical dynamics is ergodic, hence in the semiclassical limit almost all eigenstates converge to the volume measure of the torus. Nevertheless, we show that for each of the invariant submanifolds, there are also eigenstates which localize and converge to the volume measure of the corresponding submanifold., Comment: 17 pages

We look at the expectation values for quantized linear symplectic maps on the multidimensional torus and their distribution in the semiclassical limit. We construct super-scars that are stable under the arithmetic symmetries of the system and localize around invariant manifolds. We show that these super-scars exist only when there are isotropic rational subspaces, invariant under the linear map. In the case where there are no such scars, we compute the variance of the fluctuations of the matrix elements for the desymmetrized system, and present a conjecture for their limiting distributions., Comment: 68 pages

For many classically chaotic systems, it is believed that in the semiclassical limit, the matrix elements of smooth observables approach the phase space average of the observable. In the approach to the limit the matrix elements can fluctuate around this average. Here we study the variance of these fluctuations, for the quantum cat map on $\mathbb{T}^4$. We show that for certain maps and observables, the variance has a different rate of decay, than is expected for generic chaotic systems., Comment: 12 pages, 2 figures, Corrected typos, added section