We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $ \int_γ |ϕ_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $γ$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are always attained for certain exceptional subsequences of eigenfunctions.
For $2\leq p<4$, we study the $L^p$ norms of restrictions of eigenfunctions of the Laplace-Beltrami operator on smooth compact $2$-dimensional Riemannian manifolds. Burq, Gérard, and Tzvetkov \cite{BurqGerardTzvetkov2007restrictions}, and Hu \cite{Hu2009lp} found the eigenfunction estimates restricted to a curve with nonvanishing geodesic curvatures. We will explain how the proof of the known estimates helps us to consider the case where the given smooth compact Riemannian manifold has nonpositive sectional curvatures. For $p=4$, we will also obtain a logarithmic analogous estimate, by using a…
Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface $H \subset (M\setminus \text{supp} (π_* μ))$ sufficiently close to $ \text{supp}(π_* μ),$ and for all $δ>0,$ $$ \int_{H} |u_h|^2 dσ\geq C_δ\, e^{- [\, d(H, \text{supp}(π_* μ)) + \,δ] /h} $$ as $h \to 0^+$. We also show that the result holds…
We show that one can obtain improved $L^4$ geodesic restriction estimates for eigenfunctions on compact Riemannian surfaces with nonpositive curvature. We achieve this by adapting Sogge's strategy in proving improved critical $L^p$ estimates. We first combine the improved $L^2$ restriction estimate of Blair and Sogge and the classical improved $L^\infty$ estimate of Bérard to obtain an improved weak-type $L^4$ restriction estimate. We then upgrade this weak estimate to a strong one by using the improved Lorentz space estimate of Bak and Seeger. This estimate improves the $L^4$ restriction esti…
This article is about two types of restrictions of eigenfunctions $ϕ_j$ on a compact Riemannian manifold $(M,g)$: First, we restrict to a submanifold $H \subset M$, and expand the restriction $γ_H ϕ_j$ in eigenfunctions $e_k$ of $H$. We then Fourier restrict $γ_H ϕ_j$ to a short interval of eigenvalues of $H$. Laplace eigenvalues of $M$ are denoted $λ_j^2$ and those of $H$ are denoted $μ_k^2$. The Fourier coefficients are negligible unless the $H$- eigenvalues lie in the interval $μ_k \in [-λ_j, λ_j]$. The short windows have the form $|μ_k - c λ_j| < ε$. The goal is to obtain asymptotics and e…
Given a compact Riemannian manifold $(M, g)$ without boundary, we estimate the Lebesgue norm of Laplace-Beltrami eigenfunctions when restricted to a wide variety of subsets $Γ$ of $M$. The sets $Γ$ that we consider are Borel measurable, Lebesgue-null but otherwise arbitrary with positive Hausdorff dimension. Our estimates are based on Frostman-type ball growth conditions for measures supported on $Γ$. For large Lebesgue exponents $p$, these estimates provide a natural generalization of $L^p$ bounds for eigenfunctions restricted to submanifolds, previously obtained in \cite{Ho68, Ho71, Sog88, B…
We consider restrictions along closed geodesics and geodesic circles for eigenfunctions of the Laplace-Beltrami operator on a compact hyperbolic Riemann surface. We obtain a non-trivial bound on the L^2-norm of such restrictions as the eigenvalue tends to infinity. We use methods from the theory of automorphic functions and in particular the uniqueness of invariant functionals on irreducible unitary representations of PGL(2,R).
We give uniform upper and lower bounds for the L^2 norm of the restriction of eigenfunctions of the Laplacian on the three-dimensional standard flat torus to surfaces with non-vanishing curvature. We also present several related results concerning the nodal sets of eigenfunctions.
We give estimates for the $L^p$ norm ($2\leq p \leq +\infty$) of the restriction to a curve of the eigenfunctions of the Laplace Beltrami operator on a Riemannian surface. If the curve is a geodesic, we show that on the sphere these estimates are sharp. If the curve has non vanishing geodesic curvature, we can improve our results. We also show how our approach apply to higher dimensional manifolds.
Let X be an arithmetic hyperbolic surface, ψa Hecke-Maass form, and l a geodesic segment on X. We obtain a power saving over the local bound of Burq-Gérard-Tzvetkov for the L^2 norm of ψrestricted to l, by extending the technique of arithmetic amplification developed by Iwaniec and Sarnak. We also improve the local bounds for various Fourier coefficients of ψalong l.
Let $(M,g)$ be an $n$-dimensional compact boudaryless Riemannian manifold with nonpositive sectional curvature, then our conclusion is that we can give improved estimates for the $L^p$ norms of the restrictions of eigenfunctions to smooth submanifolds of dimension $k$, for $p>\dfrac{2n}{n-1}$ when $k=n-1$ and $p>2$ when $k\leq n-2$, compared to the general results of Burq, Gérard and Tzvetkov \cite{burq}. Earlier, Bérard \cite{Berard} gave the same improvement for the case when $p=\infty$, for compact Riemannian manifolds without conjugate points for $n=2$, or with nonpositive sectional curvat…
Let $(S^2,g)$ be a convex surface of revolution and $H \subset S^2$ the unique rotationally invariant geodesic. Let $φ^\ell_m$ be the orthonormal basis of joint eigenfunctions of $Δ_g$ and $\partial_θ$, the generator of the rotation action. The main result is an explicit formula for the weak-* limit of the normalized empirical measures, $Σ_{m = -\ell}^\ell ||φ^\ell_m||^2_{L^2(H)} δ_{\frac{m}{\ell}}(c)$ on $[-1,1]$. The explicit formula shows that, asymptotically, the $L^2$ norms of restricted eigenfunctions are minimal for the zonal eigenfunction $m = 0$, maximal for Gaussian beams $m = \pm 1$…
Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $ϕ_λ$ with eigenvalue $λ^2$ and $u_λ:= ϕ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $ϕ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary corner points) and any $δ\in [0,1),$ $$ \| ϕ_h \|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for…
This article concerns joint asymptotics of Fourier coefficients of restrictions of Laplace eigenfunctions $ϕ_j$ of a compact Riemannian manifold to a submanifold $H \subset M$. We fix a number $c \in (0,1)$ and study the asymptotics of the thin sums, $$ N^{c} _{ε, H }(λ): = \sum_{j, λ_j \leq λ} \sum_{k: |μ_k - c λ_j | < ε} \left| \int_{H} ϕ_j \overline{ψ_k}dV_H \right|^2 $$ where $\{λ_j\}$ are the eigenvalues of $\sqrt{-Δ}_M,$ and $\{(μ_k, ψ_k)\}$ are the eigenvalues, resp. eigenfunctions, of $\sqrt{-Δ}_H$. The inner sums represent the `jumps' of $ N^{c} _{ε, H }(λ)$ and reflect the geometry o…
This paper concerns the concentration of Dirichlet eigenfunctions of the Laplacian on a compact two-dimensional Riemannian manifold with strictly geodesically concave boundary. We link three inequalities which bound the concentration in different ways. We also prove one of these inequalities, which bounds the L^p norms of the restrictions of eigenfunctions to broken geodesics.
Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ ϕ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as $h \to 0^+$.
Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with $P_1u_h=E_1u_h+o(1)$. We first give polynomial improvements over the standard Hörmander bounds for typical points in $M$. In two and three dimensions, these estimates agree with the Hardy exponent $h^…
We estimate the $L^2$ norm of the restriction to a totally geodesic submanifold of the eigenfunctions of the Laplace-Beltrami operator on the standard flat torus $\mathbb{T}^d$, $d\ge2$. We reduce getting correct bounds to counting lattice points in the intersection of some $ν$-transverse bands on the sphere. Moreover, we prove the correct bounds for rational totally geodesic submanifolds of arbitrary codimension. In particular, we verify the conjecture of Bourgain-Rudnick on $L^2$-restriction estimates for rational hyperplanes. On $\mathbb{T}^2$, we prove the uniform $L^2$ restriction bounds …
We prove an analogue of Sogge's local $L^p$ estimates for $L^p$ norms of restrictions of eigenfunctions to submanifolds, and use it to show that for quantum ergodic eigenfunctions one can get improvements of the results of Burq-Gérard-Tzvetkov, Hu, and Chen-Sogge. The improvements are logarithmic on negatively curved manifolds (without boundary) and by $o(1)$ for manifolds (with or without boundary) with ergodic geodesic flows. In the case of ergodic billiards with piecewise smooth boundary, we get $o(1)$ improvements on $L^\infty$ estimates of Cauchy data away from a shrinking neighborhood of…
We show that one can obtain logarithmic improvements of $L^2$ geodesic restriction estimates for eigenfunctions on 3-dimensional compact Riemannian manifolds with constant negative curvature. We obtain a $(\logλ)^{-\frac12}$ gain for the $L^2$-restriction bounds, which improves the corresponding bounds of Burq, Gérard and Tzvetkov, Hu, Chen and Sogge. We achieve this by adapting the approaches developed by Chen and Sogge, Blair and Sogge, Xi and the author. We derive an explicit formula for the wave kernel on 3D hyperbolic space, which improves the kernel estimates from the Hadamard parametrix…
We prove a couple of new endpoint geodesic restriction estimates for eigenfunctions. In the case of general 3-dimensional compact manifolds, after a $TT^*$ argument, simply by using the $L^2$-boundedness of the Hilbert transform on $\R$, we are able to improve the corresponding $L^2$-restriction bounds of Burq, Gérard and Tzvetkov and Hu. Also, in the case of 2-dimensional compact manifolds with nonpositive curvature, we obtain improved $L^4$-estimates for restrictions to geodesics, which, by Hölder's inequality and interpolation, implies improved $L^p$-bounds for all exponents $p\ge 2$. We do…
We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $ϕ_h$, $(h^2 Δ- 1)ϕ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound for the Neumann data along $H.$ The estimate also applies to eigenfunctions of semiclassical Schrödinger operators.
Let $\{e_j\}$ be an orthonormal basis of Laplace eigenfunctions of a compact Riemannian manifold $(M,g)$. Let $H \subset M$ be a submanifold and let $\{ψ_k\}$ be an orthonormal basis of Laplace eigenfunctions of $H$ with the induced metric. We obtain joint asymptotics for the Fourier coefficients \[ \langle γ_H e_j, ψ_k \rangle_{L^2(H)} = \int_H e_j \overline ψ_k \, dV_H, \] of restrictions $γ_H e_j$ of $e_j$ to $H$. In particular, we obtain asymptotics for the sums of the norm-squares of the Fourier coefficients over the joint spectrum $\{(μ_k, λ_j)\}_{j,k - 0}^{\infty}$ of the (square roots …
Quantum ergodic restriction (QER) is the problem of finding conditions on a hypersurface $H$ so that restrictions $ϕ_j |_H$ to $H$ of $Δ$-eigenfunctions of Riemannian manifolds $(M, g)$ with ergodic geodesic flow are quantum ergodic on $H$. We prove two kinds of results: First (i) for any smooth hypersurface $H$, the Cauchy data $(ϕ_j|H, \partial ϕ_j|H)$ is quantum ergodic if the Dirichlet and Neumann data are weighted appropriately. Secondly (ii) we give conditions on $H$ so that the Dirichlet (or Neumann) data is individually quantum ergodic. The condition involves the almost nowhere equalit…
Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with nonpostive curvature, then we shall give improved estimates for the $L^2$-norms of the restrictions of eigenfunctions to unit-length geodesics, compared to the general results of Burq, Gérard and Tzvetkov \cite{burq}. By earlier results of Bourgain \cite{bourgainef} and the first author \cite{Sokakeya}, they are equivalent to improvements of the general $L^p$-estimates in \cite{soggeest} for $n=2$ and $2<p<6$. The proof uses the fact that the exponential map from any point in $x_0\in M$ is a universal covering map f…
We prove a quantum ergodic restriction theorem for the Cauchy data of a sequence of quantum ergodic eigenfunctions on a hypersurface $H$ of a Riemannian manifold $(M, g)$. The technique of proof is to use a Rellich type identity to relate quantum ergodicity of Cauchy data on $H$ to quantum ergodicity of eigenfunctions on the global manifold $M$. This has the interesting consequence that if the eigenfunctions are quantum unique ergodic on the global manifold $M$, then the Cauchy data is automatically quantum unique ergodic on $H$ with respect to operators whose symbols vanish to order one on th…
We obtain restrictions on the persistence barcodes of Laplace-Beltrami eigenfunctions and their linear combinations on compact surfaces with Riemannian metrics. Some applications to uniform approximation by linear combinations of Laplace eigenfunctions are also discussed.
We prove a new quantum variance estimate for toral eigenfunctions. As an application, we show that, given any orthonormal basis of toral eigenfunctions and any smooth embedded hypersurface with nonvanishing principal curvatures, there exists a density one subsequence of eigenfunctions that equidistribute along the hypersurface. This is an analogue of the Quantum Ergodic Restriction theorems in the case of the flat torus, which in particular verifies the Bourgain-Rudnick's conjecture on $L^2$-restriction estimates for a density one subsequence of eigenfunctions in any dimension. Using our quant…
Let $M$ be a compact manifold with or without boundary and $H\subset M$ be a smooth, interior hypersurface. We study the restriction of Laplace eigenfunctions solving $(-h^2Δ_g-1)u=0$ to $H$. In particular, we study the degeneration of $u|_H$ as one microlocally approaches the glancing set by finding the optimal power $s_0$ so that $(1+h^2Δ_H)_+^{s_0}u|_H$ remains uniformly bounded in $L^2(H)$ as $h\to 0$. Moreover, we show that this bound is saturated at every $h$-dependent scale near glancing using examples on the disk and sphere. We give an application of our estimates to quantum ergodic re…
Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author's previous work.
We study the number of intersections of the nodal lines of an eigenfunction of the Laplacian on the standard torus with a fixed reference curve, that is, the number of zeros of the eigenfunction restricted to the curve. An upper bound is the wave number k. When the curve has nowhere zero curvature, we conjecture that, up to a constant multiple, this should also be the correct a lower bound. We give a lower bound which differs from this by an arithmetic quantity, given in terms of the maximal number of lattice points in arcs of size square root of the wave number k on a circle of radius k. Acco…
This paper is part of a series concerning the isospectral problem for an ellipse. In this paper, we study Cauchy data of eigenfunctions of the ellipse with Dirichlet or Neumann boundary conditions. Using many classical results on ellipse eigenfunctions, we determine the microlocal defect measures of the Cauchy data of the eigenfunctions. The ellipse has integrable billiards, i.e. the boundary phase space is foliated by invariant curves of the billiard map. We prove that, for any invariant curve $C$, there exists a sequence of eigenfunctions whose Cauchy data concentrates on $C$. We use this re…
We consider the hyperbolic Casimir operator C defined on the tangent sphere bundle SY of a compact hyperbolic Riemann surface Y. We prove a nontrivial bound on the L^2-norm of the restriction of eigenfunctions of C to certain natural hypersurfaces in SY. The result that we obtain goes beyond known (sharp) local bounds of L. Hormander.
We study the nodal sets of eigenfunctions of the Laplacian on the standard d-dimensional flat torus. The question we address is: Can a fixed hypersurface lie on the nodal sets of eigenfunctions with arbitrarily large eigenvalue? In dimension two, we show that this happens only for segments of closed geodesics. In higher dimensions, certain cylindrical sets do lie on nodal sets corresponding to arbitrarily large eigenvalues. Our main result is that this cannot happen for hypersurfaces with nonzero Gauss-Kronecker curvature. In dimension two, the result follows from a uniform lower bound for the…
We prove almost sharp upper bounds for the $L^p$ norms of eigenfunctions of the full ring of invariant differential operators on a compact locally symmetric space, as well as their restrictions to maximal flat subspaces. Our proof combines techniques from semiclassical analysis with harmonic theory on reductive groups, and makes use of new asymptotic bounds for spherical functions that are of independent interest.
Burq-Gérard-Tzvetkov and Hu established $L^p$ estimates ($2\le p\le \infty$) for the restriction of eigenfunctions to submanifolds. The estimates are sharp, except for the log loss at the endpoint $L^2$ estimates for submanifolds of codimension 2. It has long been believed that the log loss at the endpoint can be removed in general, while the problem is still open. So this paper is devoted to the study of sharp endpoint restriction estimates for eigenfunctions in this case. Chen and Sogge removed the log loss for the geodesics on 3-dimensional manifolds. In this paper, we generalize their resu…
Quantum systems whose classical counterpart have ergodic dynamics are quantum ergodic in the sense that almost all eigenstates are uniformly distributed in phase space. In contrast, when the classical dynamics is integrable, there is concentration of eigenfunctions on invariant structures in phase space. In this paper we study eigenfunction statistics for the Laplacian perturbed by a delta-potential (also known as a point scatterer) on a flat torus, a popular model used to study the transition between integrability and chaos in quantum mechanics. The eigenfunctions of this operator consist of …
Let (M,g) be a n-dimensional compact Riemannian manifold. We consider the magnetic deformations of semiclassical Schrodinger operators on M for a family of magnetic potentials that depends smoothly on $k$ parameters $u$, for $k \geq n$, and satisfies a generic admissibility condition. Define the deformed Schrodinger eigenfunctions to be the $u$-parametrized semiclassical family of functions on M that is equal to the unitary magnetic Schrodinger propagator applied to the Schrodinger eigenfunctions. The main result of this article states that the $L^2$ norms in $u$ of the deformed Schrodinger ei…
We consider upper bounds on the growth of $L^p$ norms of restrictions of eigenfunctions and quasimodes to geodesic segments in a nonpositively curved manifold in the high frequency limit. This sharpens results of Chen and Sogge as well as Xi and Zhang, which showed that the crux of the problem is to establish bounds on the mixed partials of the distance function on the covering manifold restricted to geodesic segments. The innovation in this work is the development of a formula for the third variation of arc length on the covering manifold, which allows for a coordinate free expressions of the…
