Showing 1–29 of 29 results for author: Canzani, Y

Homology of spectral minimal partitions

Authors: Gregory Berkolaiko, Yaiza Canzani, Graham Cox, Jeremy L. Marzuola

Abstract: A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal… ▽ More A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal partitions of its Courant-sharp eigenfunctions are minimal within a certain topological class of partitions. This yields new results in the non-bipartite case and recovers the above known result in the bipartite case. Our approach is based on tools from algebraic topology, which we illustrate by a number of examples where the topological types of partitions are characterized by relative homology. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 24 pages, 8 figures

Uniform upper bounds on Courant sharp Neumann eigenvalues of chain domains

Authors: Thomas Beck, Yaiza Canzani, Jeremy L. Marzuola

Abstract: We obtain upper bounds on the number of nodal domains of Laplace eigenfunctions on chain domains with Neumann boundary conditions. The chain domains consist of a family of planar domains, with piecewise smooth boundary, that are joined by thin necks. Our work does not assume a lower bound on the width of the necks in the chain domain. As a consequence, we prove an upper bound on the number of Cour… ▽ More We obtain upper bounds on the number of nodal domains of Laplace eigenfunctions on chain domains with Neumann boundary conditions. The chain domains consist of a family of planar domains, with piecewise smooth boundary, that are joined by thin necks. Our work does not assume a lower bound on the width of the necks in the chain domain. As a consequence, we prove an upper bound on the number of Courant sharp eigenfunctions that is independent of the widths of the necks. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Comments: 33 pages, 3 figures, comments welcome!

MSC Class: 35P99; 58J50

Asymptotics for the spectral function on Zoll manifolds

Authors: Yaiza Canzani, Jeffrey Galkowski, Blake Keeler

Abstract: Let $(M,g)$ be a Zoll manifold, i.e., a smooth, compact, Riemannian manifold without boundary all of whose geodesics are closed with a minimal common period $T$. The positive definite Laplace-Beltrami operator has eigenvalues $\{λ_j^2\}_j$ which cluster around $ν^2_\ell$ for some sequence $ν_\ell\to \infty$. This article is concerned with the number of $λ_j$ in a window of fixed size $\mathrm{w}$… ▽ More Let $(M,g)$ be a Zoll manifold, i.e., a smooth, compact, Riemannian manifold without boundary all of whose geodesics are closed with a minimal common period $T$. The positive definite Laplace-Beltrami operator has eigenvalues $\{λ_j^2\}_j$ which cluster around $ν^2_\ell$ for some sequence $ν_\ell\to \infty$. This article is concerned with the number of $λ_j$ in a window of fixed size $\mathrm{w}$ around $ν_\ell$, denoted by $\mathbf{N}(ν_\ell,\mathrm{w}):=\#\{j\,:\, λ_j\in[ν_\ell-\mathrm{w},ν_\ell+\mathrm{w}]\}.$ When the set of trajectories with period smaller than $T$ has zero measure, there is $c_{n}>0$, depending only on $n=\operatorname{dim} M$, such that $$ \mathbf{N}(ν_\ell,\mathrm{w}) =c_n\operatorname{vol}_g(M)ν_{\ell}^{n-1}+o(ν_{\ell}^{n-1}), $$ as $\ell \to \infty$. However, for a general Zoll manifold this may not be the case. We show that, nevertheless, there is $N>0$, independent of $\ell$, such that $$ \sum_{j=0}^{N-1}\mathbf{N}(ν_{\ell+j},\mathrm{w})= c_nN\operatorname{vol}_g(M)ν_{\ell}^{n-1}+o(ν_{\ell}^{n-1}), $$ as $\ell \to \infty$. In addition to asymptotics for the counting function, we study the kernel of the spectral projector for the Laplacian, $Π_{\ell,\mathrm{w}}(x,y)$ onto the spectrum in ${\bigcup_{j=0}^{N-1}[ν_{\ell+j}-\mathrm{w},ν_{\ell+j}+\mathrm{w}]}$. We show that for $x$ and $y$ in a shrinking neighborhood of a point with few loops of length smaller than $T$, $Π_{\ell,\mathrm{w}}(x,y)$ and its derivatives have the same asymptotics as those on the round sphere and flat torus. △ Less

Submitted 10 July, 2024; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: The main results in the current version are novel. Theorem 1 in this version is new. Theorem 1 in the previous version was misstated; specifically missing the assumption that the Zoll manifold be SC_T. Theorem 2 in the current posting replaces this assumption with a weaker one

MSC Class: 35P20; 58J50

Lower bounds for eigenfunction restrictions in lacunary regions

Authors: Yaiza Canzani, John A. Toth

Abstract: 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… ▽ More 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 for eigenfunctions of Schrödinger operators and give applications to eigenfunctions on warped products and joint eigenfunctions of quantum completely integrable (QCI) systems. △ Less

Submitted 12 July, 2022; originally announced July 2022.

Logarithmic improvements in the Weyl law and exponential bounds on the number of closed geodesics are predominant

Authors: Yaiza Canzani, Jeffrey Galkowski

Abstract: Let $M$ be a smooth compact manifold of dimension $d$ without boundary. We introduce the concept of predominance for Riemannian metrics on $M$, a notion analogous to full Lebesgue measure which, in particular, implies density. We show that for a predominant metric, the number of closed geodesics of length smaller than $T$ has a stretched exponential upper bound in $T$. In addition, we study rema… ▽ More Let $M$ be a smooth compact manifold of dimension $d$ without boundary. We introduce the concept of predominance for Riemannian metrics on $M$, a notion analogous to full Lebesgue measure which, in particular, implies density. We show that for a predominant metric, the number of closed geodesics of length smaller than $T$ has a stretched exponential upper bound in $T$. In addition, we study remainders in the Weyl law for predominant metrics. The Weyl law states that the number of Laplace-Beltrami eigenvalues smaller than $λ^2$ is asymptotic to $Cλ^d$ with an $O(λ^{d-1})$ error. We show that, for a predominant metric, the estimate on the error can by improved by a power of $\log λ$. After an application of recent results of the authors in the case of the Weyl law, these estimates follow from a study of the non-degeneracy properties of nearly closed orbits for predominant sets of metrics. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Stability of spectral partitions and the Dirichlet-to-Neumann map

Authors: Gregory Berkolaiko, Yaiza Canzani, Graham Cox, Jeremy L. Marzuola

Abstract: The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipart… ▽ More The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipartitions of the manifold, and the other in terms of a two-sided Dirichlet-to-Neumann map defined on the nodal set. We relate these two approaches by giving an explicit formula for the Hessian of the equipartition energy in terms of the Dirichlet-to-Neumann map. This allows us to compute Hessian eigenfunctions, and hence directions of steepest descent, for the equipartition energy in terms of the corresponding Dirichlet-to-Neumann eigenfunctions. Our results do not assume bipartiteness, and hence are relevant to the study of spectral minimal partitions. △ Less

Submitted 18 July, 2022; v1 submitted 3 January, 2022; originally announced January 2022.

Comments: 18 pages, comments welcome; references updated in v2; title changed in v3

Journal ref: Calc. Var. PDE <b>61</b> 203 (2022)

Quantitative bounds on Impedance-to-Impedance operators with applications to fast direct solvers for PDEs

Authors: Thomas Beck, Yaiza Canzani, Jeremy L. Marzuola

Abstract: We prove quantitative norm bounds for a family of operators involving impedance boundary conditions on convex, polygonal domains. A robust numerical construction of Helmholtz scattering solutions in variable media via the Dirichlet-to-Neumann operator involves a decomposition of the domain into a sequence of rectangles of varying scales and constructing impedance-to-impedance boundary operators on… ▽ More We prove quantitative norm bounds for a family of operators involving impedance boundary conditions on convex, polygonal domains. A robust numerical construction of Helmholtz scattering solutions in variable media via the Dirichlet-to-Neumann operator involves a decomposition of the domain into a sequence of rectangles of varying scales and constructing impedance-to-impedance boundary operators on each subdomain. Our estimates in particular ensure the invertibility, with quantitative bounds in the frequency, of the merge operators required to reconstruct the original Dirichlet-to-Neumann operator in terms of these impedance-to-impedance operators of the sub-domains. A key step in our proof is to obtain Neumann and Dirichlet boundary trace estimates on solutions of the impedance problem, which are of independent interest. In addition to the variable media setting, we also construct bounds for similar merge operators in the obstacle scattering problem. △ Less

Submitted 26 March, 2021; originally announced March 2021.

Comments: 27 pages, 4 figures, comments welcome!

MSC Class: 35J05; 65N55

Journal ref: Pure Appl. Analysis 4 (2022) 225-256

Weyl remainders: an application of geodesic beams

Authors: Yaiza Canzani, Jeffrey Galkowski

Abstract: We obtain new quantitative estimates on Weyl Law remainders under dynamical assumptions on the geodesic flow. On a smooth compact Riemannian manifold $(M,g)$ of dimension $n$, let $Π_λ$ denote the kernel of the spectral projector for the Laplacian, $\mathbb{1}_{[0,λ^2]}(-Δ_g)$. Assuming only that the set of near periodic geodesics over $W\subset M$ has small measure, we prove that as… ▽ More We obtain new quantitative estimates on Weyl Law remainders under dynamical assumptions on the geodesic flow. On a smooth compact Riemannian manifold $(M,g)$ of dimension $n$, let $Π_λ$ denote the kernel of the spectral projector for the Laplacian, $\mathbb{1}_{[0,λ^2]}(-Δ_g)$. Assuming only that the set of near periodic geodesics over $W\subset M$ has small measure, we prove that as $λ\to \infty$ $$ \int_{W} Π_λ(x,x)dx=(2π)^{-n}\text{vol}_{\mathbb{R}^n}(B)\text{vol}_g(W)\,λ^n+O\Big(\frac{λ^{n-1}}{\log λ}\Big),$$ where $B$ is the unit ball. One consequence of this result is that the improved remainder holds on all product manifolds, in particular giving improved estimates for the eigenvalue counting function in the product setup. Our results also include logarithmic gains on asymptotics for the off-diagonal spectral projector $Π_λ(x,y)$ under the assumption that the set of geodesics that pass near both $x$ and $y$ has small measure, and quantitative improvements for Kuznecov sums under non-loo** type assumptions. The key technique used in our study of the spectral projector is that of geodesic beams. △ Less

Submitted 2 May, 2022; v1 submitted 8 October, 2020; originally announced October 2020.

Comments: Updated references

A local test for global extrema in the dispersion relation of a periodic graph

Authors: Gregory Berkolaiko, Yaiza Canzani, Graham Cox, Jeremy L. Marzuola

Abstract: We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we sho… ▽ More We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we show that any local extremum of a dispersion band is in fact its global extremum if the dimension of the periodicity group is three or less, or (in any dimension) if the critical point in question is a symmetry point of the Floquet--Bloch family with respect to complex conjugation. We demonstrate that our results are nearly optimal with a number of examples. △ Less

Submitted 5 January, 2022; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: 30 pages, 7 figures; incorporated corrections from Lior Alon and anonymous referees; expanded explanation of the proof ideas in the introduction

MSC Class: 81Q10; 81Q35; 35Q40

Journal ref: Pure Appl. Analysis 4 (2022) 257-286

Growth of high $L^p$ norms for eigenfunctions: an application of geodesic beams

Authors: Yaiza Canzani, Jeffrey Galkowski

Abstract: This work concerns $L^p$ norms of high energy Laplace eigenfunctions, $(-Δ_g-λ^2)φ_λ=0$, $\|φ_λ\|_{L^2}=1$. In 1988, Sogge gave optimal estimates on the growth of $\|φ_λ\|_{L^p}$ for a general compact Riemannian manifold. The goal of this article is to give general dynamical conditions guaranteeing quantitative improvements in $L^p$ estimates for $p>p_c$, where $p_c$ is the critical exponent. We a… ▽ More This work concerns $L^p$ norms of high energy Laplace eigenfunctions, $(-Δ_g-λ^2)φ_λ=0$, $\|φ_λ\|_{L^2}=1$. In 1988, Sogge gave optimal estimates on the growth of $\|φ_λ\|_{L^p}$ for a general compact Riemannian manifold. The goal of this article is to give general dynamical conditions guaranteeing quantitative improvements in $L^p$ estimates for $p>p_c$, where $p_c$ is the critical exponent. We also apply previous results of the authors to obtain quantitative improvements in concrete geometric settings including all product manifolds. These are the first results improving estimates for the $L^p$ growth of eigenfunctions that only require dynamical assumptions. In contrast with previous improvements, our assumptions are local in the sense that they depend only on the geodesics passing through a shrinking neighborhood of a given set in $M$. Moreover, the article gives a structure theorem for eigenfunctions which saturate the quantitatively improved $L^p$ bound. Modulo an error, the theorem describes these eigenfunctions as finite sums of quasimodes which, roughly, approximate zonal harmonics on the sphere scaled by $1/\sqrt{\log λ}$. △ Less

Submitted 18 March, 2021; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 51 pages, 2 figures, added Theorem 2 describing the structure of near extremal eigenfunctions has been added

Journal ref: Analysis & PDE 16 (2023) 2267-2325

Nodal line estimates for the second Dirichlet eigenfunction

Authors: Thomas Beck, Yaiza Canzani, Jeremy L. Marzuola

Abstract: We study the nodal curves of low energy Dirichlet eigenfunctions in generalized curvilinear quadrilaterals. The techniques can be seen as a generalization of the tools developed by Grieser-Jerison in a series of works on convex planar domains and rectangles with one curved edge and a large aspect ratio. Here, we study the structure of the nodal curve in greater detail, in that we find precise boun… ▽ More We study the nodal curves of low energy Dirichlet eigenfunctions in generalized curvilinear quadrilaterals. The techniques can be seen as a generalization of the tools developed by Grieser-Jerison in a series of works on convex planar domains and rectangles with one curved edge and a large aspect ratio. Here, we study the structure of the nodal curve in greater detail, in that we find precise bounds on its curvature, with uniform estimates up to the two points where it meets the domain at right angles, and show that many of our results hold for relatively small aspect ratios of the side lengths. We also discuss applications of our results to Courant-sharp eigenfunctions and spectral partitioning. △ Less

Submitted 2 May, 2019; v1 submitted 25 April, 2019; originally announced April 2019.

Comments: 18 pages, 1 figure, comments welcome!! References updated

Eigenfunction concentration via geodesic beams

Authors: Yaiza Canzani, Jeffrey Galkowski

Abstract: In this article we develop new techniques for studying concentration of Laplace eigenfunctions $φ_λ$ as their frequency, $λ$, grows. The method consists of controlling $φ_λ(x)$ by decomposing $φ_λ$ into a superposition of geodesic beams that run through the point $x$. Each beam is localized in phase-space on a tube centered around a geodesic whose radius shrinks slightly slower than… ▽ More In this article we develop new techniques for studying concentration of Laplace eigenfunctions $φ_λ$ as their frequency, $λ$, grows. The method consists of controlling $φ_λ(x)$ by decomposing $φ_λ$ into a superposition of geodesic beams that run through the point $x$. Each beam is localized in phase-space on a tube centered around a geodesic whose radius shrinks slightly slower than $λ^{-\frac{1}{2}}$. We control $φ_λ(x)$ by the $L^2$-mass of $φ_λ$ on each geodesic tube and derive a purely dynamical statement through which $φ_λ(x)$ can be studied. In particular, we obtain estimates on $φ_λ(x)$ by decomposing the set of geodesic tubes into those that are non self-loo** for time $T$ and those that are. This approach allows for quantitative improvements, in terms of $T$, on the available bounds for $L^\infty$ norms, $L^p$ norms, pointwise Weyl laws, and averages over submanifolds. △ Less

Submitted 21 September, 2020; v1 submitted 20 March, 2019; originally announced March 2019.

Comments: 61 pages, 2 figures. Improved exposition and includes new explanatory material in the introduction as well as an examples section (1.5) and a full section on comparison with previous work (1.6). Appendices A.1 (Index of notation) and B were also added

Improvements for eigenfunction averages: An application of geodesic beams

Authors: Yaiza Canzani, Jeffrey Galkowski

Abstract: Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{φ_λ\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-Δ_gφ_λ=λ^2 φ_λ$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(M,H)$, even when $H=\{x\}$, for which… ▽ More Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{φ_λ\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-Δ_gφ_λ=λ^2 φ_λ$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(M,H)$, even when $H=\{x\}$, for which $$ \Big|\int_Hφ_λdσ_H\Big|=O\Big(\frac{λ^{\frac{k-1}{2}}}{\sqrt{\log λ}}\Big)\qquad \text{or}\qquad |φ_λ(x)|=O\Big(\frac{λ^{\frac{n-1}{2}}}{\sqrt{\log λ}}\Big), $$ as $λ\to \infty$. These conditions require no global assumption on the manifold $M$ and instead relate to the structure of the set of recurrent directions in the unit normal bundle to $H$. Our results extend all previously known conditions guaranteeing improvements on averages, including those on sup-norms. For example, we show that if $(M,g)$ is a surface with Anosov geodesic flow, then there are logarithmically improved averages for any $H\subset M$. We also find weaker conditions than having no conjugate points which guarantee $\sqrt{\log λ}$ improvements for the $L^\infty$ norm of eigenfunctions. Our results are obtained using geodesic beam techniques, which yield a mechanism for obtaining general quantitative improvements for averages and sup-norms. △ Less

Submitted 10 September, 2021; v1 submitted 17 September, 2018; originally announced September 2018.

Comments: 70 pages, 4 figures. The new version includes a small revision to the arguments in section 6

On the growth of eigenfunction averages: microlocalization and geometry

Authors: Yaiza Canzani, Jeffrey Galkowski

Abstract: Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{φ_h\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-h^2Δ_gφ_h=φ_h$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(\{φ_h\},H)$ for which $$ \Big|\int_Hφ_hdσ_H\Big|=o(h^{\frac{1-k}{2}}),\qquad h\to 0^+. $$ One such condition is that the set of conormal directions to $H$ that… ▽ More Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{φ_h\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-h^2Δ_gφ_h=φ_h$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(\{φ_h\},H)$ for which $$ \Big|\int_Hφ_hdσ_H\Big|=o(h^{\frac{1-k}{2}}),\qquad h\to 0^+. $$ One such condition is that the set of conormal directions to $H$ that are recurrent has measure $0$. In particular, we show that the upper bound holds for any $H$ if $(M,g)$ is surface with Anosov geodesic flow or a manifold of constant negative curvature. The results are obtained by characterizing the behavior of the defect measures of eigenfunctions with maximal averages. △ Less

Submitted 22 October, 2017; originally announced October 2017.

Comments: 47 pages, 1 figure

Journal ref: Duke Math. J. 168, no. 16 (2019), 2991-3055

Averages of eigenfunctions over hypersurfaces

Authors: Yaiza Canzani, Jeffrey Galkowski, John A. Toth

Abstract: 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… ▽ More 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^+$. △ Less

Submitted 22 January, 2018; v1 submitted 26 May, 2017; originally announced May 2017.

Comments: 18 pages, 1 figure

Topology and nesting of the zero set components of monochromatic random waves

Authors: Yaiza Canzani, Peter Sarnak

Abstract: 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 i… ▽ More 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. △ Less

Submitted 30 December, 2016; originally announced January 2017.

Local Universality for Zeros and Critical Points of Monochromatic Random Waves

Authors: Yaiza Canzani, Boris Hanin

Abstract: This paper concerns the asymptotic behavior of zeros and critical points for monochromatic random waves $φ_λ$ of frequency $λ$ on a compact, smooth, Riemannian manifold $(M,g)$ as $λ\rightarrow \infty$. We prove that the measure of integration over the zero set of $φ_λ$ restricted to balls of radius $\approx λ^{-1}$ converges in distribution to the measure of integration over the zero set of a fre… ▽ More This paper concerns the asymptotic behavior of zeros and critical points for monochromatic random waves $φ_λ$ of frequency $λ$ on a compact, smooth, Riemannian manifold $(M,g)$ as $λ\rightarrow \infty$. We prove that the measure of integration over the zero set of $φ_λ$ restricted to balls of radius $\approx λ^{-1}$ converges in distribution to the measure of integration over the zero set of a frequency $1$ random wave on $\mathbb R^n$, where $n$ is the dimension of $M$. We also prove convergence of finite moments for the counting measure of the critical points of φλ, again restricted to balls of radius $\approx λ^{-1}$, to the corresponding moments for frequency $1$ random waves. We then patch together these local results to obtain new global variance estimates on the volume of the zero set and numbers of critical points of $φ_λ$ on all of $M.$ Our local results hold under conditions about the structure of geodesics on $M$ that are generic in the space of all metrics on $M$, while our global results hold whenever $(M,g)$ has no conjugate points (e.g is negatively curved). △ Less

Submitted 9 May, 2020; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: v3. Accepted Comm. Math. Phys

C-infinity Scaling Asymptotics for the Spectral Function of the Laplacian

Authors: Yaiza Canzani, Boris Hanin

Abstract: This article concerns new off-diagonal estimates on the remainder and its derivatives in the pointwise Weyl law on a compact n-dimensional Riemannian manifold. As an application, we prove that near any non self-focal point, the scaling limit of the spectral projector of the Laplacian onto frequency windows of constant size is a normalized Bessel function depending only on n. This article concerns new off-diagonal estimates on the remainder and its derivatives in the pointwise Weyl law on a compact n-dimensional Riemannian manifold. As an application, we prove that near any non self-focal point, the scaling limit of the spectral projector of the Laplacian onto frequency windows of constant size is a normalized Bessel function depending only on n. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Nodal sets of Schrödinger eigenfunctions in forbidden regions

Authors: Yaiza Canzani, John Toth

Abstract: This note concerns the nodal sets of eigenfunctions of semiclassical Schrödinger operators acting on compact, smooth, Riemannian manifolds, with no boundary. We prove that if H is a separating hypersurface that lies inside the classically forbidden region, then H cannot persist as a component of the zero set of infinitely many eigenfunctions. In addition, on real analytic surfaces, we obtain sharp… ▽ More This note concerns the nodal sets of eigenfunctions of semiclassical Schrödinger operators acting on compact, smooth, Riemannian manifolds, with no boundary. We prove that if H is a separating hypersurface that lies inside the classically forbidden region, then H cannot persist as a component of the zero set of infinitely many eigenfunctions. In addition, on real analytic surfaces, we obtain sharp upper bounds for the number of intersections of the zero sets of the Schrödinger eigenfunctions with a fixed curve that lies inside the classically forbidden region. △ Less

Submitted 2 February, 2015; originally announced February 2015.

On the topology of the zero sets of monochromatic random waves

Authors: Yaiza Canzani, Peter Sarnak

Abstract: This note concerns the topology of the connected components of the zero sets of monochromatic random waves on compact Riemannian manifolds without boundary. In [SW] it is shown that these are distributed according to a universal measure on the space of smooth topological types. Our goal is to determine the support of this measure. This note concerns the topology of the connected components of the zero sets of monochromatic random waves on compact Riemannian manifolds without boundary. In [SW] it is shown that these are distributed according to a universal measure on the space of smooth topological types. Our goal is to determine the support of this measure. △ Less

Submitted 14 December, 2014; originally announced December 2014.

Scaling Limit for the Kernel of the Spectral Projector and Remainder Estimates in the Pointwise Weyl Law

Authors: Yaiza Canzani, Boris Hanin

Abstract: Let (M, g) be a compact smooth Riemannian manifold. We obtain new off-diagonal estimates as λ tend to infinity for the remainder in the pointwise Weyl Law for the kernel of the spectral projector of the Laplacian onto functions with frequency at most λ. A corollary is that, when rescaled around a non self-focal point, the kernel of the spectral projector onto the frequency interval (λ, λ+ 1] has a… ▽ More Let (M, g) be a compact smooth Riemannian manifold. We obtain new off-diagonal estimates as λ tend to infinity for the remainder in the pointwise Weyl Law for the kernel of the spectral projector of the Laplacian onto functions with frequency at most λ. A corollary is that, when rescaled around a non self-focal point, the kernel of the spectral projector onto the frequency interval (λ, λ+ 1] has a universal scaling limit as λ goes to infinity (depending only on the dimension of M). Our results also imply that if M has no conjugate points, then immersions of M into Euclidean space by an orthonormal basis of eigenfunctions with frequencies in (λ, λ+ 1] are embeddings for all λ sufficiently large. △ Less

Submitted 27 December, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: Published version. Modified parametrix construction in Section 3. References added and typos corrected

Journal ref: Analysis and PDE Vol 8 (2015) No 7 1707-1731

High Frequency Eigenfunction Immersions and Supremum Norms of Random Waves

Authors: Yaiza Canzani, Boris Hanin

Abstract: A compact Riemannian manifold may be immersed into Euclidean space by using high frequency Laplace eigenfunctions. We study the geometry of the manifold viewed as a metric space endowed with the distance function from the ambient Euclidean space. As an application we give a new proof of a result of Burq-Lebeau and others on upper bounds for the sup-norms of random linear combinations of high frequ… ▽ More A compact Riemannian manifold may be immersed into Euclidean space by using high frequency Laplace eigenfunctions. We study the geometry of the manifold viewed as a metric space endowed with the distance function from the ambient Euclidean space. As an application we give a new proof of a result of Burq-Lebeau and others on upper bounds for the sup-norms of random linear combinations of high frequency eigenfunctions. △ Less

Submitted 7 June, 2014; originally announced June 2014.

Comments: This article supersedes arXiv:1310.1361, which has now been withdrawn

MSC Class: 35P20; 58J51; 58J37; 58J40; 58J50

Journal ref: ERA - MS 22 no 0 January 2015 76 - 86

Mean of the $L^\infty$-norm for $L^2$-normalized random waves on compact aperiodic Riemannian manifolds

Authors: Yaiza Canzani, Boris Hanin

Abstract: This article concerns upper bounds for $L^\infty$-norms of random approximate eigenfunctions of the Laplace operator on a compact aperiodic Riemannian manifold $(M,g).$ We study $f_λ$ chosen uniformly at random from the space of $L^2$-normalized linear combinations of Laplace eigenfunctions with eigenvalues in the interval $(λ^2, \lr{λ+1}^2].$ Our main result is that the expected value of… ▽ More This article concerns upper bounds for $L^\infty$-norms of random approximate eigenfunctions of the Laplace operator on a compact aperiodic Riemannian manifold $(M,g).$ We study $f_λ$ chosen uniformly at random from the space of $L^2$-normalized linear combinations of Laplace eigenfunctions with eigenvalues in the interval $(λ^2, \lr{λ+1}^2].$ Our main result is that the expected value of $\norm{f_λ}_\infty$ grows at most like $C \sqrt{\log λ}$ as $λ\to \infty$, where $C$ is an explicit constant depending only on the dimension and volume of $(M,g).$ In addition, we obtain concentration of the $L^\infty$-norm around its mean and median and study the analogous problems for Gaussian random waves on $(M,g).$ △ Less

Submitted 7 June, 2014; v1 submitted 4 October, 2013; originally announced October 2013.

Comments: Withdrawn due to significant overlap with the work of Burq-Lebeau (arXiv:1111.7310). The authors have uploaded a new version of the withdrawn paper, "Fixed Frequency Eigenfunction Immersions and Supremum Norms of Random Waves," which acknowledges the preceding work and gives a significantly simper argument that is more geometric and substantively different from the technique of Burq-Lebeau

MSC Class: 35P20 (Primary); 58J51 (Secondary); 58J37; 58J40; 58J50

Gaussian measures on the of space of Riemannian metrics

Authors: Brian Clarke, Dmitry Jakobson, Niky Kamran, Lior Silberman, Jonathan Taylor, Yaiza Canzani

Abstract: We introduce Gaussian-type measures on the manifold of all metrics with a fixed volume form on a compact Riemannian manifold of dimension $\geq 3$. For this random model we compute the characteristic function for the $L^2$ (Ebin) distance to the reference metric. In the Appendix, we study Lipschitz-type distance between Riemannian metrics and give applications to the diameter, eigenvalue and volum… ▽ More We introduce Gaussian-type measures on the manifold of all metrics with a fixed volume form on a compact Riemannian manifold of dimension $\geq 3$. For this random model we compute the characteristic function for the $L^2$ (Ebin) distance to the reference metric. In the Appendix, we study Lipschitz-type distance between Riemannian metrics and give applications to the diameter, eigenvalue and volume entropy functionals. △ Less

Submitted 6 September, 2015; v1 submitted 5 September, 2013; originally announced September 2013.

Comments: 16 pages; Final version submitted to journal per NSERC open access policy

MSC Class: 57R25; 58B20; 58D17; 58D20; 58J50; 60G60; 53C21

On the distribution of perturbations of propagated Schrödinger eigenfunctions

Authors: Yaiza Canzani, Dmitry Jakobson, John Toth

Abstract: Let $(M,g_0)$ be a compact Riemmanian manifold of dimension $n$. Let $P_0 (\h) := -\h^2Δ_{g}+V$ be the semiclassical Schrödinger operator for $\h \in (0,\h_0]$, and let $E$ be a regular value of its principal symbol $p_0(x,ξ)=|ξ|^2_{g_0(x)} +V(x)$. Write $\varphi_\h$ for an $L^2$-normalized eigenfunction of $P(\h)$, $P_0(\h)\varphi_\h =E(\h)\varphi_\h$ and $E(\h) \in [E-o(1),E+ o(1)]$. Consider a… ▽ More Let $(M,g_0)$ be a compact Riemmanian manifold of dimension $n$. Let $P_0 (\h) := -\h^2Δ_{g}+V$ be the semiclassical Schrödinger operator for $\h \in (0,\h_0]$, and let $E$ be a regular value of its principal symbol $p_0(x,ξ)=|ξ|^2_{g_0(x)} +V(x)$. Write $\varphi_\h$ for an $L^2$-normalized eigenfunction of $P(\h)$, $P_0(\h)\varphi_\h =E(\h)\varphi_\h$ and $E(\h) \in [E-o(1),E+ o(1)]$. Consider a smooth family of perturbations $g_u$ of $g_0$ with $u$ in the ball $\mathcal B^k(\varepsilon) \subset \mathbb R^k$ of radius $\varepsilon>0$. For $P_{u}(\h) := -\h^2 Δ_{g_u} +V$ and small $|t|$, we define the propagated perturbed eigenfunctions $$\varphi_\h^{(u)}:=e^{-\frac{i}{\h}t P_u(\h)} \varphi_\h.$$ We study the distribution of the real part of the perturbed eigenfunctions regarded as random variables $$\Re (\varphi^{(\cdot)}_\h(x)):\mathcal B^{k}(\varepsilon) \to \mathbb R \quad \quad \text{for}\;\, x\in M.$$ In particular, when $(M,g)$ is ergodic, we compute the $h \to 0^+$ asymptotics of the variance $\text{Var} [\Re (\varphi^{(\cdot)}_\h(x))] $ and show that all odd moments vanish as $h \to 0^+.$ △ Less

Submitted 15 June, 2013; v1 submitted 16 October, 2012; originally announced October 2012.

Comments: To appear in Journal of Spectral Theory

MSC Class: 35P20; 58J37; 58J40; 58J50; 58J51; 81Q50

Conformal invariants from nodal sets. I. Negative Eigenvalues and Curvature Prescription

Authors: Yaiza Canzani, Rod Gover, Dmitry Jakobson, Raphael Ponge

Abstract: In this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators; more specifically, the GJMS operators, which include the Yamabe and Paneitz operators. We give several applications to curvature prescription problems. We establish a version in conformal geometry of Courant's Nodal Domain Theorem. We also show that on any manifold o… ▽ More In this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators; more specifically, the GJMS operators, which include the Yamabe and Paneitz operators. We give several applications to curvature prescription problems. We establish a version in conformal geometry of Courant's Nodal Domain Theorem. We also show that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We prove that the Yamabe operator can have an arbitrarily large number of negative eigenvalues on any manifold of dimension $n\geq 3$. We obtain similar results for some higher order GJMS operators on some Einstein and Heisenberg manifolds. We describe the invariants arising from the Yamabe and Paneitz operators associated to left-invariant metrics on Heisenberg manifolds. Finally, in the appendix, the 2nd named author and Andrea Malchiodi study the $Q$-curvature prescription problems for non-critical $Q$-curvatures. △ Less

Submitted 18 December, 2012; v1 submitted 15 August, 2012; originally announced August 2012.

Comments: v3: final version. To appear in IMRN. 31 pages

MSC Class: 58J50; 53A30; 53A55; 53C21

Journal ref: Int. Math. Res. Notices 2014 (2014), 2356-2400

On the multiplicity of eigenvalues of conformally covariant operators

Authors: Yaiza Canzani

Abstract: Let $(M,g)$ be a compact Riemannian manifold and $P_g$ an elliptic, formally self-adjoint, conformally covariant operator of order $m$ acting on smooth sections of a bundle over $M$. We prove that if $P_g$ has no rigid eigenspaces (see Definition 2.2), the set of functions $f \in C^\infty(M, R)$ for which $P_{e^fg}$ has only simple non-zero eigenvalues is a residual set in $C^\infty(M,R)$. As a co… ▽ More Let $(M,g)$ be a compact Riemannian manifold and $P_g$ an elliptic, formally self-adjoint, conformally covariant operator of order $m$ acting on smooth sections of a bundle over $M$. We prove that if $P_g$ has no rigid eigenspaces (see Definition 2.2), the set of functions $f \in C^\infty(M, R)$ for which $P_{e^fg}$ has only simple non-zero eigenvalues is a residual set in $C^\infty(M,R)$. As a consequence we prove that if $P_g$ has no rigid eigenspaces for a dense set of metrics, then all non-zero eigenvalues are simple for a residual set of metrics in the $C^m$-topology. We also prove that the eigenvalues of $P_g$ depend continuously on $g$ in the $C^m$-topology, provided $P_g$ is strongly elliptic. As an application of our work, we show that if $P_g$ acts on $C^\infty(M)$ (e.g. GJMS operators), its non-zero eigenvalues are generically simple. △ Less

Submitted 15 June, 2013; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: To appear in Annales de l'Institut Fourier

MSC Class: 53A30; 58C40; 58J50; 47J10

Nullspaces of Conformally Invariant Operators. Applications to $Q_{k}$-curvature

Authors: Yaiza Canzani, A. Rod Gover, Dmitry Jakobson, Raphaël Ponge

Abstract: We study conformal invariants that arise from functions in the nullspace of conformally covariant differential operators. The invariants include nodal sets and the topology of nodal domains of eigenfunctions in the kernel of GJMS operators. We establish that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We discuss new applications to curv… ▽ More We study conformal invariants that arise from functions in the nullspace of conformally covariant differential operators. The invariants include nodal sets and the topology of nodal domains of eigenfunctions in the kernel of GJMS operators. We establish that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We discuss new applications to curvature prescription problems. △ Less

Submitted 4 June, 2012; originally announced June 2012.

Comments: 7 pages

MSC Class: 58J50; 53A30; 53A55; 53C21

Scalar curvature and $Q$-curvature of random metrics

Authors: Yaiza Canzani, Dmitry Jakobson, Igor Wigman

Abstract: We study Gauss curvature for random Riemannian metrics on a compact surface, lying in a fixed conformal class; our questions are motivated by comparison geometry. Next, analogous questions are considered for the scalar curvature in dimension $n>2$, and for the $Q$-curvature of random Riemannian metrics. We study Gauss curvature for random Riemannian metrics on a compact surface, lying in a fixed conformal class; our questions are motivated by comparison geometry. Next, analogous questions are considered for the scalar curvature in dimension $n>2$, and for the $Q$-curvature of random Riemannian metrics. △ Less

Submitted 31 December, 2010; v1 submitted 29 January, 2010; originally announced February 2010.

Comments: The proof of Proposition 3.10 has been corrected

MSC Class: 60G60; 53A30; 53C21; 58J50;