arXiv subjects

Daniel Pezzi

Publications and source records attributed to Daniel Pezzi.

4 recordsLinked to original sources

arXiv2026

Sharp Eigenfunction Bounds on the Torus for large $p$

We prove the discrete restriction conjecture holds with no loss when $p>\frac{2d}{d-4}$ and $d\geq 5$. That is, we show optimal $L^p$ bounds for eigenfunctions of the Laplacian on the square torus for large values of $p$. This improves the results of Bourgain and Demeter. Our proof method is a refinement of the circle method approach previously used to establish results with a subpolynomial loss. This represents the first sharp $L^p$ bounds for eigenfunctions on the torus since the work of Cooke and Zygmund. We present applications to bounds for spectral projectors and the additive energy of integer lattice points on higher dimensional spheres. These results are similarly sharp. We also prove results with a logarithmic loss that hold in a wider range of $p$.

math.CA↗

arXiv2025

Bounds for spectral projectors on the three-dimensional torus

We study $L^2$ to $L^p$ operator norms of spectral projectors for the Euclidean Laplacian on the torus in the case where the spectral window is narrow. With a window of constant size this is a classical result of Sogge; in the small-window limit we are left with $L^p$ norms of eigenfunctions of the Laplacian, as considered for instance by Bourgain. For the three-dimensional torus we prove new cases of a previous conjecture of the first two authors concerning the size of these norms; we also refine certain prior results to remove $\epsilon$-losses in all dimensions. We use methods from number theory: the geometry of numbers, the circle method and exponential sum bounds due to Guo. We complement these techniques with height splitting and a bilinear argument to prove sharp results. We exposit on the various techniques used and their limitations.

math.AP↗

arXiv2024

Sharp Spectral Projection Estimates for the Torus at $p_c=\frac{2(n+1)}{n-1}$

We prove sharp spectral projection estimates for tori in all dimensions at the exponent $p_c=\frac{2(n+1)}{n-1}$ for shrinking windows of width $1$ down to windows of length $\lambda^{-1+\kappa}$ for fixed $\kappa>0$. This improves and slightly generalizes the work of Blair-Huang-Sogge who proved sharp results for windows of width $\lambda^{-\frac{1}{n+3}}$, and the work of Hickman, Germain-Myerson, and Demeter-Germain who proved results for windows of all widths but incurred a sub-polynomial loss. Our work uses the approaches of these two groups of authors, combining the bilinear decomposition and microlocal techniques of Blair-Huang-Sogge with the decoupling theory and explicit lattice point lemmas used by Hickman, Germain-Myerson, and Demeter-Germain to remove these losses.

math.AP↗

arXiv2023

Energy Distribution for Dirichlet Eigenfunctions on Right Triangles

In this paper, we continue the study of eigenfunctions on triangles initiated by the first author in \cite{Chr-tri} and \cite{Chr-simp}. The Neumann data of Dirichlet eigenfunctions on triangles enjoys an equidistribution law, being equidistributed on each side. The proof of this result is remarkably simple, using only the radial vector field and a Rellich type integrations by parts. The equidistribution law, including on higher dimensional simplices, agrees with what Quantum Ergodic Restriction would predict. However, distribution of the Neumann data on subsets of a side is not well understood, and elementary methods do not appear to give enough information to draw conclusions. In the present note, we first show that an "obvious" conjecture fails even for the simplest right isosceles triangle using only Fourier series. We then use a result of Marklof-Rudnick \cite{Marklof-Rudnick} in which the authors show an interior {\it spatial} equidistribution law for a density-one subsequence of eigenfunctions to give an estimate on energy distribution of eigenfunctions on the interior. Finally we present some numerical computations suggesting the behaviour of eigenfunctions on almost isosceles triangles is quite complicated.

math.AP↗