arXiv subjects
Publications and source records attributed to Peter Sarnak.
We resolve two problems pertaining to indefinite integral ternary quadratic forms, one highlighted by Margulis and the other initiated by Serre, both from 1990. To do so we develop tools for dealing with high ramification in problems involving sums over classes of such forms weighted by their diophantine invariants.
We obtain uniform lower bounds, true for all automorphic L-functions L(s) associated to cuspidal representations of GL(m,A) where A denotes the adeles of the rationals Q, of the integral on the vertical line (Re(s)=1/2) of the absolute value squared of L(s)/s; and also of L(s)/(s-s_0) when s_0 is a zero of the L-function on the critical line. Several variants are also obtained in small degrees m, for the vertical integrals at different abscissas in the critical strip. For the estimates required to prove convergence, we are led to generalise a result of Friedlander-Iwaniec (Can. J. Math. 57,2005). We obtain new results on the abscissa of convergence of the L-series. Finally, a problem is posed about the behaviour of the quadratic integral when s_0 tends to infinity, in particular for the Riemann zeta function.
We show that the commutator equation over $\mathrm{SL}_2(\mathbb{Z})$ satisfies a profinite local to global principle, while it can fail with infinitely many exceptions for $ \mathrm{SL}_2(\mathbb{Z}[\frac{1}{p}])$. The source of the failure is a reciprocity obstruction to the Hasse Principle for cubic Markoff surfaces.
We give improved uniform estimates for the rate of convergence to Plancherel measure of Hecke eigenvalues of holomorphic forms of weight 2 and level N. These are applied to determine the sharp cutoff for the non-backtracking random walk on arithmetic Ramanujan graphs and to Serre's problem of bounding the multiplicities of modular forms whose coefficients lie in number fields of degree d.
We prove that the non-backtracking random walk on Ramanujan graphs with large girth exhibits the fastest possible cutoff with a bounded window.
We study gaps in the spectra of the adjacency matrices of large finite cubic graphs. It is known that the gap intervals $(2 \sqrt{2},3)$ and $[-3,-2)$ achieved in cubic Ramanujan graphs and line graphs are maximal. We give constraints on spectra in [-3,3] which are maximally gapped and construct examples which achieve these bounds. These graphs yield new instances of maximally gapped intervals. We also show that every point in $[-3,3)$ can be gapped by cubic graphs, even by planar ones. Our results show that the study of spectra of cubic, and even planar cubic, graphs is subtle and very rich.
Explicit examples of {\bf positive} crystalline measures and Fourier quasicrystals are constructed using pairs of stable of polynomials, answering several open questions in the area.
Materials science and the study of the electronic properties of solids are a major field of interest in both physics and engineering. The starting point for all such calculations is single-electron, or non-interacting, band structure calculations, and in the limit of strong on-site confinement this can be reduced to graph-like tight-binding models. In this context, both mathematicians and physicists have developed largely independent methods for solving these models. In this paper we will combine and present results from both fields. In particular, we will discuss a class of lattices which can be realized as line graphs of other lattices, both in Euclidean and hyperbolic space. These lattices display highly unusual features including flat bands and localized eigenstates of compact support. We will use the methods of both fields to show how these properties arise and systems for classifying the phenomenology of these lattices, as well as criteria for maximizing the gaps. Furthermore, we will present a particular hardware implementation using superconducting coplanar waveguide resonators that can realize a wide variety of these lattices in both non-interacting and interacting form.
It is shown that the topologies and nestings of the zero and nodal sets of random (Gaussian) band limited functions have universal laws of distribution. Qualitative features of the supports of these distributions are determined. In particular the results apply to random monochromatic waves and to random real algebraic hyper-surfaces in projective space.
The variance of observables of quantum states of the Laplacian on the modular surface is calculated in the semiclassical limit. It is shown that this hermitian form is diagonalized by the irreducible representations of the modular quotient and on each of these it is equal to the classical variance of the geodesic flow after the insertion of a subtle arithmetical special value of the corresponding $L$-function.
For integers $k$, we consider the affine cubic surface $V_{k}$ given by $M({\bf x})=x_{1}^2 + x_{2}^2 +x_{3}^2 -x_{1}x_{2}x_{3}=k$. We show that for almost all $k$ the Hasse Principle holds, namely that $V_{k}(\mathbb{Z})$ is non-empty if $V_{k}(\mathbb{Z}_p)$ is non-empty for all primes $p$, and that there are infinitely many $k$'s for which it fails. The Markoff morphisms act on $V_{k}(\mathbb{Z})$ with finitely many orbits and a numerical study points to some basic conjectures about these "class numbers" and Hasse failures. Some of the analysis may be extended to less special affine cubic surfaces.
To each of the symmetry groups of the Platonic solids we adjoin a carefully designed involution yielding topological generators of PU(2) which have optimal covering properties as well as efficient navigation. These are a consequence of optimal strong approximation for integral quadratic forms associated with certain special quaternion algebras and their arithmetic groups. The generators give super efficient 1-qubit quantum gates and are natural building blocks for the design of universal quantum gates.
This paper is dedicated to the study of the topologies and nesting configurations of the components of the zero set of monochromatic random waves. We prove that the probability of observing any diffeomorphism type, and any nesting arrangement, among the zero set components is strictly positive for waves of large enough frequencies. Our results are a consequence of building Laplace eigenfunctions in Euclidean space whose zero sets have a component with prescribed topological type, or an arrangement of components with prescribed nesting configuration.
We study the spatial distribution of point sets on the sphere obtained from the representation of a large integer as a sum of three integer squares. We examine several statistics of these point sets, such as the electrostatic potential, Ripley's function, the variance of the number of points in random spherical caps, and the covering radius. Some of the results are conditional on the Generalized Riemann Hypothesis.
We prove results pertaining to strong approximation for Markoff triples in the case of prime moduli.
We investigate the transitivity properties of the group of morphisms generated by Vieta involutions on the solutions in congruences to the Markoff equation as well as to other Markoff type affine cubic surfaces. These are dictated by the finite $\bar{\mathbb Q}$ orbits of these actions and these can be determined effectively. The results are applied to give forms of strong approximation for integer points, and to sieving, on these surfaces
In Part I we gave a polynomial growth lower-bound for the number of nodal domains of a Hecke-Maass cuspform in a compact part of the modular surface, assuming a Lindelöf hypothesis. That was a consequence of a topological argument and known subconvexity estimates, together with new sharp lower-bound restriction theorems for the Maass forms. This paper deals with the same question for general (compact or not) arithmetic surfaces which have a reflective symmetry. The topological argument is extended and representation theoretic methods are needed for the restriction theorems, together with results of Waldspurger. Various explicit examples are given and studied.
In [90] the first-named author gave a working definition of a family of automorphic L-functions. Since then there have been a number of works [33], [107], [67] [47], [66] and especially [98] by the second and third-named authors which make it possible to give a conjectural answer for the symmetry type of a family and in particular the universality class predicted in [64] for the distribution of the zeros near s=1/2. In this note we carry this out after introducing some basic invariants associated to a family.