Showing 1–22 of 22 results for author: Wyman, E

Kuznecov remainders and generic metrics

Authors: Vadim Kaloshin, Emmett L. Wyman, Yakun Xi

Abstract: We obtain improved remainder estimates in the Kuznecov sum formula for period integrals of Laplace eigenfunctions on a Riemannian manifold $M$. Building upon the two-term asymptotic expansion established in [arXiv:2204.13525], we prove that for a Baire-generic class of metrics, the oscillatory second term in the Kuznecov formula can be eliminated, yielding an improved remainder estimate. We obtain improved remainder estimates in the Kuznecov sum formula for period integrals of Laplace eigenfunctions on a Riemannian manifold $M$. Building upon the two-term asymptotic expansion established in [arXiv:2204.13525], we prove that for a Baire-generic class of metrics, the oscillatory second term in the Kuznecov formula can be eliminated, yielding an improved remainder estimate. △ Less

Submitted 9 July, 2025; originally announced July 2025.

Comments: 25 pages, 3 figures. Comments are welcome

Fourier Uncertainty Principles on Riemannian Manifolds

Authors: Alex Iosevich, Azita Mayeli, Emmett Wyman

Abstract: The purpose of this paper is to develop a Fourier uncertainty principle on compact Riemannian manifolds and contrast the underlying ideas with those arising in the setting of locally compact abelian groups. The key obstacle is the growth of eigenfunctions, and connections to Bourgain's celebrated $Λ_q$ theorem are discussed in this context. The purpose of this paper is to develop a Fourier uncertainty principle on compact Riemannian manifolds and contrast the underlying ideas with those arising in the setting of locally compact abelian groups. The key obstacle is the growth of eigenfunctions, and connections to Bourgain's celebrated $Λ_q$ theorem are discussed in this context. △ Less

Submitted 13 November, 2024; originally announced November 2024.

MSC Class: 42B10

Hearing the shape of a drum by knocking around

Authors: Xing Wang, Emmett L. Wyman, Yakun Xi

Abstract: We study a variation of Kac's question, "Can one hear the shape of a drum?" if we allow ourselves access to some additional information. In particular, we allow ourselves to ``hear" the local Weyl counting function at each point on the manifold and ask if this is enough to uniquely recover the Riemannian metric. This is physically equivalent to asking whether one can determine the shape of a drum… ▽ More We study a variation of Kac's question, "Can one hear the shape of a drum?" if we allow ourselves access to some additional information. In particular, we allow ourselves to ``hear" the local Weyl counting function at each point on the manifold and ask if this is enough to uniquely recover the Riemannian metric. This is physically equivalent to asking whether one can determine the shape of a drum if one is allowed to knock at any place on the drum. We show that the answer to this question is ``yes" provided the Laplace-Beltrami spectrum of the drum is simple. We also provide a counterexample illustrating why this hypothesis is necessary. △ Less

Submitted 26 July, 2024; originally announced July 2024.

Comments: 7 pages

Multi-linear forms, structure of graphs and Lebesgue spaces

Authors: A. Iosevich, E. Palsson, Y. Zhai, E. Wyman

Abstract: Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ Λ^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i… ▽ More Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ Λ^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i.e $E(i,j)=1$ if and only if the $i$'th and $j$'th vertices are connected by an edge, $K$ is the aforementioned kernel, and $f_i: {\mathbb R}^d \to {\mathbb R}$, measurable. This paper establishes multi-linear inequalities of the form $$ Λ^K_G(f_1,f_2, \dots,f_n) \leq C {||f_1||}_{L^{p_1}({\mathbb R}^d)} {||f_2||}_{L^{p_2}({\mathbb R}^d)} \dots {||f_n||}_{L^{p_n}({\mathbb R}^d)}$$ and determines how the exponents depend on the structure of the kernel $K$ and the graph $G$. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Cospectral vertices, walk-regular planar graphs and the echolocation problem

Authors: Shi-Lei Kong, Emmett L. Wyman, Yakun Xi

Abstract: We study cospectral vertices on finite graphs in relation to the echolocation problem on Riemannian manifolds. First, We prove a computationally simple criterion to determine whether two vertices are cospectral. Then, we use this criterion in conjunction with a computer search to find minimal examples of various types of graphs on which cospectral but non-similar vertices exist, including minimal… ▽ More We study cospectral vertices on finite graphs in relation to the echolocation problem on Riemannian manifolds. First, We prove a computationally simple criterion to determine whether two vertices are cospectral. Then, we use this criterion in conjunction with a computer search to find minimal examples of various types of graphs on which cospectral but non-similar vertices exist, including minimal walk-regular non-vertex-transitive graphs, which turn out to be non-planar. Moreover, as our main result, we classify all finite 3-connected walk-regular planar graphs, proving that such graphs must be vertex-transitive. △ Less

Submitted 18 July, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 25 pages, 23 figures. Fixed a gap in the argument, added a toroidal graph example

Surfaces in which every point sounds the same

Authors: Feng Wang, Emmett L. Wyman, Yakun Xi

Abstract: We address a maximally structured case of the question, "Can you hear your location on a manifold," posed in arXiv:2304.04659 for dimension $2$. In short, we show that if a compact surface without boundary sounds the same at every point, then the surface has a transitive action by the isometry group. In the process, we show that you can hear your location on Klein bottles and that you can hear the… ▽ More We address a maximally structured case of the question, "Can you hear your location on a manifold," posed in arXiv:2304.04659 for dimension $2$. In short, we show that if a compact surface without boundary sounds the same at every point, then the surface has a transitive action by the isometry group. In the process, we show that you can hear your location on Klein bottles and that you can hear the lengths and multiplicities of looping geodesics on compact hyperbolic quotients. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 9 pages, 1 figure

Can you hear your location on a manifold?

Authors: Emmett L. Wyman, Yakun Xi

Abstract: We introduce a variation on Kac's question, "Can one hear the shape of a drum?" Instead of trying to identify a compact manifold and its metric via its Laplace--Beltrami spectrum, we ask if it is possible to uniquely identify a point $x$ on the manifold, up to symmetry, from its pointwise counting function \[ N_x(λ) = \sum_{λ_j \leq λ} |e_j(x)|^2, \] where here $Δ_g e_j = -λ_j^2 e_j$ and… ▽ More We introduce a variation on Kac's question, "Can one hear the shape of a drum?" Instead of trying to identify a compact manifold and its metric via its Laplace--Beltrami spectrum, we ask if it is possible to uniquely identify a point $x$ on the manifold, up to symmetry, from its pointwise counting function \[ N_x(λ) = \sum_{λ_j \leq λ} |e_j(x)|^2, \] where here $Δ_g e_j = -λ_j^2 e_j$ and $e_j$ form an orthonormal basis for $L^2(M)$. This problem has several natural physical interpretations, two of which are acoustic: 1. You are placed at an arbitrary location in a familiar room with your eyes closed. Can you identify your location in the room by clapping your hands once and listening to the resulting echoes and reverberations? 2. If a drum of a known shape is struck at some unknown point, can you determine this point by listening to the quality of the sound the drum produces? The main result of this paper provides an affirmative answer to this question for a generic class of metrics. We also probe the problem with a variety of simple examples, highlighting along the way helpful geometric invariants that can be pulled out of the pointwise counting function $N_x$. △ Less

Submitted 18 August, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: 31 pages, 1 figure. We add a section introducing a few more physical interpretations, including "Can you hear at which point a drum is struck?"

The VC-dimension of quadratic residues in finite fields

Authors: Brian McDonald, Anurag Sahay, Emmett L. Wyman

Abstract: We study the Vapnik-Chervonenkis (VC) dimension of the set of quadratic residues (i.e. squares) in finite fields, $\mathbb F_q$, when considered as a subset of the additive group. We conjecture that as $q \to \infty$, the squares have the maximum possible VC-dimension, viz. $(1+o(1))\log_2 q$. We prove, using the Weil bound for multiplicative character sums, that the VC-dimension is… ▽ More We study the Vapnik-Chervonenkis (VC) dimension of the set of quadratic residues (i.e. squares) in finite fields, $\mathbb F_q$, when considered as a subset of the additive group. We conjecture that as $q \to \infty$, the squares have the maximum possible VC-dimension, viz. $(1+o(1))\log_2 q$. We prove, using the Weil bound for multiplicative character sums, that the VC-dimension is $\geq (\frac{1}{2} + o(1))\log_2 q$. We also provide numerical evidence for our conjectures. The results generalize to multiplicative subgroups $Γ\subseteq \mathbb F_q^\times$ of bounded index. △ Less

Submitted 31 July, 2024; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: 22 pages, 3 figures. Accepted incorporating referee comments

Fractal dimension, approximation and data sets

Authors: L. Betti, I. Chio, J. Fleischman, A. Iosevich, F. Iulianelli, S. Kirila, M. Martino, A. Mayeli, S. Pack, Z. Sheng, C. Taliancic, A. Thomas, N. Whybra, E. Wyman, U. Yildirim, K. Zhao

Abstract: The purpose of this paper is to study the fractal phenomena in large data sets and the associated questions of dimension reduction. We examine situations where the classical Principal Component Analysis is not effective in identifying the salient underlying fractal features of the data set. Instead, we employ the discrete energy, a technique borrowed from geometric measure theory, to limit the num… ▽ More The purpose of this paper is to study the fractal phenomena in large data sets and the associated questions of dimension reduction. We examine situations where the classical Principal Component Analysis is not effective in identifying the salient underlying fractal features of the data set. Instead, we employ the discrete energy, a technique borrowed from geometric measure theory, to limit the number of points of a given data set that lie near a $k$-dimensional hyperplane, or, more generally, near a set of a given upper Minkowski dimension. Concrete motivations stemming from naturally arising data sets are described and future directions outlined. △ Less

Submitted 24 September, 2022; originally announced September 2022.

MSC Class: 28A75; 62R07

A two term Kuznecov sum formula

Authors: Emmett L. Wyman, Yakun Xi

Abstract: The Kuznecov sum formula, proved by Zelditch in the Riemannian setting, is an asymptotic sum formula $$N(λ) := \sum_{λ_j \leq λ} \left| \int_H e_j \, dV_H \right|^2 = C_{H,M} λ^{\operatorname{codim} H} + O(λ^{\operatorname{codim} H - 1})$$ where $e_j$ constitute a Hilbert basis of Laplace-Beltrami eigenfunctions on a Riemannian manifold $M$ with $Δ_g e_j = -λ_j^2 e_j$, and $H$ is an embedded subma… ▽ More The Kuznecov sum formula, proved by Zelditch in the Riemannian setting, is an asymptotic sum formula $$N(λ) := \sum_{λ_j \leq λ} \left| \int_H e_j \, dV_H \right|^2 = C_{H,M} λ^{\operatorname{codim} H} + O(λ^{\operatorname{codim} H - 1})$$ where $e_j$ constitute a Hilbert basis of Laplace-Beltrami eigenfunctions on a Riemannian manifold $M$ with $Δ_g e_j = -λ_j^2 e_j$, and $H$ is an embedded submanifold. We show for some suitable definition of `$\sim$', $$ N(λ) \sim C_{H,M} λ^{\operatorname{codim} H} + Q(λ) λ^{\operatorname{codim} H - 1} + o(λ^{\operatorname{codim} H - 1}) $$ where $Q$ is a bounded oscillating term and is expressed in terms of the geodesics which depart and arrive $H$ in the normal directions. In work by Canzani, Galkowski, and Toth, they establish (as a corollary to a stronger result involving defect measures) that if the set of recurrent directions of geodesics normal to $H$ has measure zero, then we obtain improved bounds on the individual terms in the sum -- the period integrals. We are able to give a dynamical condition such that $Q$ is uniformly continuous and `$\sim$' can be replaced with `$=$'. This implies improved bounds on period integrals, and this condition is weaker than the recurrent directions having measure zero. Moreover, our result implies improved bounds for period integrals if there is no $L^1$ measure on $SN^*H$ that is invariant under the first return map. This generalizes a theorem of Sogge and Zelditch and of Galkowski. △ Less

Submitted 24 January, 2023; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 36 pages, 1 figure

Journal ref: A revised version with corrections published online in Comm. Math. Phys. 2023

Uniform distribution and geometric incidence theory

Authors: A. Gafni, A. Iosevich, E. Wyman

Abstract: A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, i… ▽ More A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, in its general formulation, loses meaning because the Lens example shows that one can construct a set of $n$ points in dimension $4$ and higher where the unit distance arises $\approx n^2$ times (see e.g. \cite{B97}). However, the Lens example is one-dimension in nature, which raises the possibility that the unit distance conjecture is still quite interesting in higher dimensions under additional structural assumptions on the point set. This point of view was explored in \cite{I19}, \cite{IS16}, \cite{IMT12}, \cite{IRU14}, \cite{OO15} and has led to some interesting connections between the unit distance problem and its continuous counterparts, especially the Falconer distance conjecture (\cite{Falc85}). In this paper, we study the unit distance problem and its variants under the assumption that the underlying family of point sets is uniformly distributed. We prove several incidence bounds in this setting and clarify some key properties of uniformly distributed sequences in the context of incidence problems in combinatorial geometry. △ Less

Submitted 10 February, 2022; originally announced February 2022.

MSC Class: 14N10

The VC-dimension and point configurations in ${\Bbb F}_q^2$

Authors: D. Fitzpatrick, A. Iosevich, B. McDonald, E. Wyman

Abstract: Let $X$ be a set and ${\mathcal H}$ a collection of functions from $X$ to $\{0,1\}$. We say that ${\mathcal H}$ shatters a finite set $C \subset X$ if the restriction of ${\mathcal H}$ yields every possible function from $C$ to $\{0,1\}$. The VC-dimension of ${\mathcal H}$ is the largest number $d$ such that there exists a set of size $d$ shattered by ${\mathcal H}$, and no set of size $d+1$ is sh… ▽ More Let $X$ be a set and ${\mathcal H}$ a collection of functions from $X$ to $\{0,1\}$. We say that ${\mathcal H}$ shatters a finite set $C \subset X$ if the restriction of ${\mathcal H}$ yields every possible function from $C$ to $\{0,1\}$. The VC-dimension of ${\mathcal H}$ is the largest number $d$ such that there exists a set of size $d$ shattered by ${\mathcal H}$, and no set of size $d+1$ is shattered by ${\mathcal H}$. Vapnik and Chervonenkis introduced this idea in the early 70s in the context of learning theory, and this idea has also had a significant impact on other areas of mathematics. In this paper we study the VC-dimension of a class of functions ${\mathcal H}$ defined on ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements. Define $$ {\mathcal H}^d_t=\{h_y(x): y \in {\Bbb F}_q^d \},$$ where for $x \in {\Bbb F}_q^d$, $h_y(x)=1$ if $||x-y||=t$, and $0$ otherwise, where here, and throughout, $||x||=x_1^2+x_2^2+\dots+x_d^2$. Here $t \in {\Bbb F}_q$, $t \not=0$. Define ${\mathcal H}_t^d(E)$ the same way with respect to $E \subset {\Bbb F}_q^d$. The learning task here is to find a sphere of radius $t$ centered at some point $y \in E$ unknown to the learner. The learning process consists of taking random samples of elements of $E$ of sufficiently large size. We are going to prove that when $d=2$, and $|E| \ge Cq^{\frac{15}{8}}$, the VC-dimension of ${\mathcal H}^2_t(E)$ is equal to $3$. This leads to an intricate configuration problem which is interesting in its own right and requires a new approach. △ Less

Submitted 30 August, 2021; originally announced August 2021.

Comments: 10 pages, 2 figures

MSC Class: 14N10; 42B10; 11L40; 68Q32

Geodesic bi-angles and Fourier coefficients of restrictions of eigenfunctions

Authors: Emmett Wyman, Yakun Xi, Steve Zelditch

Abstract: 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… ▽ More 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 of geodesic c-bi-angles with one leg on $H$ and a second leg on $M$ with the same endpoints and compatible initial tangent vectors $ξ\in S^c_H M, π_H ξ\in B^* H$, where $π_H ξ$ is the orthogonal projection of $ξ$ to $H$. A c-bi-angle occurs when $\frac{|π_H ξ|}{|ξ|} = c$. Smoothed sums in $μ_k$ are also studied, and give sharp estimates on the jumps. The jumps themselves may jump as $ε$ varies, at certain values of $ε$ related to periodicities in the c-bi-angle geometry. Subspheres of spheres and certain subtori of tori illustrate these jumps. The results refine those of the previous article (arXiv:2011.11571) where the inner sums run over $k: | \frac{μ_k}{λ_j} - c| \leq ε$ and where geodesic bi-angles do not play a role. △ Less

Submitted 20 January, 2023; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: 51 pages. Referee's comments incorporated. To appear in Pure and Applied Analysis

Journal ref: Pure Appl. Analysis 4 (2022) 675-725

Triangles and triple products of Laplace eigenfunctions

Authors: Emmett L. Wyman

Abstract: Consider an $L^2$-normalized Laplace-Beltrami eigenfunction $e_λ$ on a compact, boundary-less Riemannian manifold with $Δe_λ= -λ^2 e_λ$. We study eigenfunction triple products \[ \langle e_λe_μ, e_ν\rangle = \int e_λe_μ\overline{e_ν} \, dV. \] We show the overall $\ell^2$-concentration of these triple products is determined by the measure of some set of configurations of triangles with side leng… ▽ More Consider an $L^2$-normalized Laplace-Beltrami eigenfunction $e_λ$ on a compact, boundary-less Riemannian manifold with $Δe_λ= -λ^2 e_λ$. We study eigenfunction triple products \[ \langle e_λe_μ, e_ν\rangle = \int e_λe_μ\overline{e_ν} \, dV. \] We show the overall $\ell^2$-concentration of these triple products is determined by the measure of some set of configurations of triangles with side lengths equal to the frequencies $λ,μ,$ and $ν$. A rapidly vanishing proportion of this mass lies in the `classically forbidden' regime where $λ, μ,$ and $ν$ fail to satisfy the triangle inequality. As a consequence, we improve a result by Lu, Sogge, and Steinerberger. △ Less

Submitted 8 September, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 29 pages, 1 figure

MSC Class: 58J40; 35S30; 35Pxx

Fourier coefficients of restrictions of eigenfunctions

Authors: Emmett L. Wyman, Yakun Xi, Steve Zelditch

Abstract: 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… ▽ More 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 of the) Laplacian $Δ_M$ on $M$ and the Laplacian $Δ_H$ on $H$ in a family of suitably `thick' regions in $\mathbb R^2$. Thick regions include (1) the truncated cone $μ_k/λ_j \in [a,b] \subset (0,1)$ and $λ_j \leq λ$, and (2) the slowly thickening strip $|μ_k - cλ_j| \leq w(λ)$ and $λ_j \leq λ$, where $w(λ)$ is monotonic and $1 \ll w(λ) \lesssim λ^{1 - 1/n}$. Key tools for obtaining these asymptotics include the composition calculus of Fourier integral operators and a new multidimensional Tauberian theorem. △ Less

Submitted 20 January, 2023; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: 36 pages. Referees' suggestions incorporated. To appear in Sci. China Math

MSC Class: 35P20; 35S30; 58J40

Weyl Law Improvement for Products of Spheres

Authors: Alex Iosevich, Emmett Wyman

Abstract: The classical Weyl Law says that if $N_M(λ)$ denotes the number of eigenvalues of the Laplace operator on a $d$-dimensional compact manifold $M$ without a boundary that are less than or equal to $λ$, then $$ N_M(λ)=cλ^d+O(λ^{d-1}).$$ In this paper, we show Duistermaat and Guillemin's result allows us to replace the $O(λ^{d-1})$ error with $o(λ^{d-1})$ if $M$ is a product manifold. We quantify th… ▽ More The classical Weyl Law says that if $N_M(λ)$ denotes the number of eigenvalues of the Laplace operator on a $d$-dimensional compact manifold $M$ without a boundary that are less than or equal to $λ$, then $$ N_M(λ)=cλ^d+O(λ^{d-1}).$$ In this paper, we show Duistermaat and Guillemin's result allows us to replace the $O(λ^{d-1})$ error with $o(λ^{d-1})$ if $M$ is a product manifold. We quantify this bound in the case of Cartesian product of spheres by reducing the problem to the study of the distribution of weighted integer lattice points in Euclidean space and formulate a conjecture in the general case reminiscent of the sum-product phenomenon in additive combinatorics. △ Less

Submitted 25 September, 2019; originally announced September 2019.

MSC Class: 35P20 11P21

Fourier frames for surface-carried measures

Authors: Alex Iosevich, Chun-Kit Lai, Bochen Liu, Emmett Wyman

Abstract: In this paper we show that the surface measure on the boundary of a convex body of everywhere positive Gaussian curvature does not admit a Fourier frame. This answers a question proposed by Lev and provides the first example of a uniformly distributed measure supported on a set of Lebesgue measure zero that does not admit a Fourier frame. In contrast, we show that the surface measure on the bounda… ▽ More In this paper we show that the surface measure on the boundary of a convex body of everywhere positive Gaussian curvature does not admit a Fourier frame. This answers a question proposed by Lev and provides the first example of a uniformly distributed measure supported on a set of Lebesgue measure zero that does not admit a Fourier frame. In contrast, we show that the surface measure on the boundary of a polytope always admits a Fourier frame. We also explore orthogonal bases and frames adopted to sets under consideration. More precisely, given a compact manifold $M$ without a boundary and $D \subset M$, we ask whether $L^2(D)$ possesses an orthogonal basis of eigenfunctions. The non-abelian nature of this problem, in general, puts it outside the realm of the previously explored questions about the existence of bases of characters for subsets of locally compact abelian groups. △ Less

Submitted 20 May, 2019; v1 submitted 16 May, 2019; originally announced May 2019.

Improved Generalized Periods Estimates Over Curves on Riemannian Surfaces with Nonpositive Curvature

Authors: Emmett L. Wyman, Yakun Xi

Abstract: We show that on compact Riemann surfaces of nonpositive curvature, the generalized periods, i.e. the $ν$-th order Fourier coefficients of eigenfunctions $e_λ$ over a closed smooth curve $γ$ which satisfies a natural curvature condition, go to 0 at the rate of $O((\logλ)^{-1/2})$, if $0<|ν|/λ<1-δ$, for any fixed $0<δ<1$. Our result implies, for instance, the generalized periods over geodesic circle… ▽ More We show that on compact Riemann surfaces of nonpositive curvature, the generalized periods, i.e. the $ν$-th order Fourier coefficients of eigenfunctions $e_λ$ over a closed smooth curve $γ$ which satisfies a natural curvature condition, go to 0 at the rate of $O((\logλ)^{-1/2})$, if $0<|ν|/λ<1-δ$, for any fixed $0<δ<1$. Our result implies, for instance, the generalized periods over geodesic circles on any surfaces with nonpositive curvature would converge to zero at the rate of $O((\logλ)^{-1/2})$. A direct corollary of our results and the QER theorem of Toth and Zelditch is that for a geodesic circle $γ$ on a compact hyperbolic surface, the restriction $e_{λ_j}|_γ$ of an orthonormal basis $\{e_{λ_j}\}$ has a full density subsequence that goes to zero in weak-$L^2(γ)$. One key step of our proof is a microlocal decomposition of the measure over $γ$ into tangential and transversal parts. △ Less

Submitted 6 August, 2018; v1 submitted 29 June, 2018; originally announced July 2018.

Comments: 26 pages, 3 figures, 2 corollaries on weak $L^2$ convergence added. These results should be compared with arXiv:1711.09864 by the second author on the closed geodesic case

MSC Class: 35P20; 58J51; 42B37

Period integrals in nonpositively curved manifolds

Authors: Emmett L. Wyman

Abstract: We provide an improvement of a half power of log to standard bounds on integrals of Laplace eigenfunctions over submanifolds of codimension 2 or more, where the ambient space is a compact Riemannian manifold with negative sectional curvature. We provide the same improvement for hypersurfaces whose second fundamental form differs sufficiently from that of spheres of infinite radius. This result ext… ▽ More We provide an improvement of a half power of log to standard bounds on integrals of Laplace eigenfunctions over submanifolds of codimension 2 or more, where the ambient space is a compact Riemannian manifold with negative sectional curvature. We provide the same improvement for hypersurfaces whose second fundamental form differs sufficiently from that of spheres of infinite radius. This result extends previous ones obtained in the 2-dimensional setting by Chen and Sogge; Sogge, Xi, and Zhang; and the author. △ Less

Submitted 2 August, 2018; v1 submitted 4 June, 2018; originally announced June 2018.

Comments: 33 pages

Looping directions and integrals of eigenfunctions over submanifolds

Authors: Emmett L. Wyman

Abstract: Let $(M,g)$ be a compact $n$-dimensional Riemannian manifold without boundary and $e_λ$ be an $L^2$-normalized eigenfunction of the Laplace-Beltrami operator with respect to the metric $g$, i.e \[ -Δ_g e_λ= λ^2 e_λ\qquad \text{ and } \qquad \| e_λ\|_{L^2(M)} = 1. \] Let $Σ$ be a $d$-dimensional submanifold and $dμ$ a smooth, compactly supported measure on $Σ$. It is well-known (e.g. proved by Ze… ▽ More Let $(M,g)$ be a compact $n$-dimensional Riemannian manifold without boundary and $e_λ$ be an $L^2$-normalized eigenfunction of the Laplace-Beltrami operator with respect to the metric $g$, i.e \[ -Δ_g e_λ= λ^2 e_λ\qquad \text{ and } \qquad \| e_λ\|_{L^2(M)} = 1. \] Let $Σ$ be a $d$-dimensional submanifold and $dμ$ a smooth, compactly supported measure on $Σ$. It is well-known (e.g. proved by Zelditch in far greater generality) that \[ \int_Σe_λ\, dμ= O(λ^\frac{n-d-1}{2}). \] We show this bound improves to $o(λ^\frac{n-d-1}{2})$ provided the set of looping directions, \[ \mathcal{L}_Σ = \{ (x,ξ) \in SN^*Σ: Φ_t(x,ξ) \in SN^*Σ\text{ for some } t > 0 \} \] has measure zero as a subset of $SN^*Σ$, where here $Φ_t$ is the geodesic flow on the cosphere bundle $S^*M$ and $SN^*Σ$ is the unit conormal bundle over $Σ$. △ Less

Submitted 2 October, 2017; v1 submitted 20 June, 2017; originally announced June 2017.

Explicit bounds on integrals of eigenfunctions over curves in surfaces of nonpositive curvature

Authors: Emmett L. Wyman

Abstract: Let $(M,g)$ be a compact Riemannian surface with nonpositive sectional curvature and let $γ$ be a closed geodesic in $M$. And let $e_λ$ be an $L^2$-normalized eigenfunction of the Laplace-Beltrami operator $Δ_g$ with $-Δ_g e_λ= λ^2 e_λ$. Sogge, Xi, and Zhang showed using the Gauss-Bonnet theorem that $$ \int_γe_λ\, ds = O((\logλ)^{-1/2}),$$ an improvement over the general $O(1)$ bound. We show thi… ▽ More Let $(M,g)$ be a compact Riemannian surface with nonpositive sectional curvature and let $γ$ be a closed geodesic in $M$. And let $e_λ$ be an $L^2$-normalized eigenfunction of the Laplace-Beltrami operator $Δ_g$ with $-Δ_g e_λ= λ^2 e_λ$. Sogge, Xi, and Zhang showed using the Gauss-Bonnet theorem that $$ \int_γe_λ\, ds = O((\logλ)^{-1/2}),$$ an improvement over the general $O(1)$ bound. We show this integral enjoys the same decay for a wide variety of curves, where $M$ has nonpositive sectional curvature. These are the curves $γ$ whose geodesic curvature avoids, pointwise, the geodesic curvature of circles of infinite radius tangent to $γ$. △ Less

Submitted 29 May, 2018; v1 submitted 3 May, 2017; originally announced May 2017.

Comments: 23 pages, 3 figures, arXiv admin note: text overlap with arXiv:1702.03552

Integrals of eigenfunctions over curves in surfaces of nonpositive curvature

Authors: Emmett L. Wyman

Abstract: Let $(M,g)$ be a compact, 2-dimensional Riemannian manifold with nonpositive sectional curvature. Let $Δ_g$ be the Laplace-Beltrami operator corresponding to the metric $g$ on $M$, and let $e_λ$ be $L^2$-normalized eigenfunctions of $Δ_g$ with eigenvalue $λ$, i.e. \[ -Δ_g e_λ= λ^2 e_λ. \] We prove \[ \left| \int_{\mathbb R} b(t) e_λ(γ(t)) \, dt \right| = o(1) \quad \text{ as } λ\to \infty \] where… ▽ More Let $(M,g)$ be a compact, 2-dimensional Riemannian manifold with nonpositive sectional curvature. Let $Δ_g$ be the Laplace-Beltrami operator corresponding to the metric $g$ on $M$, and let $e_λ$ be $L^2$-normalized eigenfunctions of $Δ_g$ with eigenvalue $λ$, i.e. \[ -Δ_g e_λ= λ^2 e_λ. \] We prove \[ \left| \int_{\mathbb R} b(t) e_λ(γ(t)) \, dt \right| = o(1) \quad \text{ as } λ\to \infty \] where $b$ is a smooth, compactly supported function on $\mathbb R$ and $γ$ is a curve parametrized by arc-length whose geodesic curvature $κ(γ(t))$ avoids two critical curvatures $\mathbf k(γ'^\perp(t))$ and $\mathbf k(-γ'^{\perp}(t))$ for each $t \in \operatorname{supp} b$. $\mathbf k(v)$ denotes the curvature of a circle with center taken to infinity along the geodesic ray in direction $-v$. △ Less

Submitted 25 April, 2017; v1 submitted 12 February, 2017; originally announced February 2017.