-
Equidistribution of polynomially bounded o-minimal curves in homogeneous spaces
Authors:
Michael Bersudsky,
Nimish A. Shah,
Hao Xing
Abstract:
We extend Ratner's theorem on equidistribution of individual orbits of unipotent flows on finite volume homogeneous spaces of Lie groups to trajectories of non-contracting curves definable in polynomially bounded o-minimal structures.
To be precise, let $\varphi:[0,\infty)\to \text{SL}(n,\mathbb R)$ be a continuous map whose coordinate functions are definable in a polynomially bounded o-minimal…
▽ More
We extend Ratner's theorem on equidistribution of individual orbits of unipotent flows on finite volume homogeneous spaces of Lie groups to trajectories of non-contracting curves definable in polynomially bounded o-minimal structures.
To be precise, let $\varphi:[0,\infty)\to \text{SL}(n,\mathbb R)$ be a continuous map whose coordinate functions are definable in a polynomially bounded o-minimal structure; for example, rational functions. Suppose that $\varphi$ is non-contracting; that is, for any linearly independent vectors $v_1,\ldots,v_k$ in $\mathbb R^n$, $\varphi(t).(v_1\wedge\cdots\wedge v_k)\not\to0$ as $t\to\infty$. Then, there exists a unique smallest subgroup $H_\varphi$ of $\text{SL}(n,\mathbb R)$ generated by unipotent one-parameter subgroups such that $\varphi(t)H_\varphi\to g_0H_\varphi$ in $\text{SL}(n,\mathbb R)/H_\varphi$ as $t\to\infty$ for some $g_0\in \text{SL}(n,\mathbb R)$.
Let $G$ be a closed subgroup of $\text{SL}(n,\mathbb R)$ and $Γ$ be a lattice in $G$. Suppose that $\varphi([0,\infty))\subset G$. Then $H_\varphi\subset G$, and for any $x\in G/Γ$, the trajectory $\{\varphi(t)x:t\in [0,T]\}$ gets equidistributed with respect to the measure $g_0μ_{Lx}$ as $T\to\infty$, where $L$ is a closed subgroup of $G$ such that $\overline{Hx}=Lx$ and $Lx$ admits a unique $L$-invariant probability measure, denoted by $μ_{Lx}$.
A crucial new ingredient in this work is proving that for any finite-dimensional representation $V$ of $\text{SL}(n,\mathbb R)$, there exist $T_0>0$, $C>0$, and $α>0$ such that for any $v\in G$, the map $t\mapsto \|\varphi(t)v\|$ is $(C,α)$-good on $[T_0,\infty)$.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Limiting distribution of dense orbits in a moduli space of rank $m$ discrete subgroups in $(m+1)$-space
Authors:
Michael Bersudsky,
Hao Xing
Abstract:
We study the limiting distribution of dense orbits of a lattice subgroup $Γ\le \text{SL}(m+1,\mathbb{R})$ acting on $H\backslash\text{SL}(m+1,\mathbb{R})$, with respect to a filtration of growing norm balls. The novelty of our work is that the groups $H$ we consider have infinitely many non-trivial connected components. For a specific such $H$, the homogeneous space $H\backslash G$ identifies with…
▽ More
We study the limiting distribution of dense orbits of a lattice subgroup $Γ\le \text{SL}(m+1,\mathbb{R})$ acting on $H\backslash\text{SL}(m+1,\mathbb{R})$, with respect to a filtration of growing norm balls. The novelty of our work is that the groups $H$ we consider have infinitely many non-trivial connected components. For a specific such $H$, the homogeneous space $H\backslash G$ identifies with $X_{m,m+1}$, a moduli space of rank $m$-discrete subgroups in $\mathbb{R}^{m+1}$. This study is motivated by the work of Shapira-Sargent who studied random walks on $X_{2,3}$.
△ Less
Submitted 10 December, 2023; v1 submitted 22 July, 2023;
originally announced July 2023.
-
Equidistribution of lattice orbits in the space of homothety classes of rank $2$ sublattices in $\mathbb R^3$
Authors:
Michael Bersudsky,
Hao Xing
Abstract:
We study the distribution of orbits of a lattice $Γ\leq\text{SL}(3,\mathbb R)$ in the moduli space $X_{2,3}$ of covolume one rank-two discrete subgroups in $\mathbb R^3$. Each orbit is dense, and our main result is the limiting distribution of these orbits with respect to norm balls, where the norm is given by the sum of squares. Specifically, we consider $Γ_T=\{γ\inΓ:\|γ\|\leq T\}$ and show that,…
▽ More
We study the distribution of orbits of a lattice $Γ\leq\text{SL}(3,\mathbb R)$ in the moduli space $X_{2,3}$ of covolume one rank-two discrete subgroups in $\mathbb R^3$. Each orbit is dense, and our main result is the limiting distribution of these orbits with respect to norm balls, where the norm is given by the sum of squares. Specifically, we consider $Γ_T=\{γ\inΓ:\|γ\|\leq T\}$ and show that, for any fixed $x_0\in X_{2,3}$ and $\varphi\in C_c(X_{2,3})$, $$\lim_{T\to\infty}\frac{1}{\#Γ_T}\sum_{γ\inΓ_T}\varphi(x_0\cdotγ)=\int_{X_{2,3}}\varphi(x)d \tildeν_{x_0}(x),$$ where $\tildeν_{x_0}$ is an explicit probability measure on $X_{2,3}$ depending on $x_0$. To prove our result, we use the duality principle developed by Gorodnik and Weiss which recasts the above problem into the problem of computation of certain volume estimates of growing skewed balls in $H$ and proving ergodic theorems of the left action of the skewed balls on $\text{SL}(3,\mathbb{R})/Γ$. The ergodic theorems are proven by applying theorems of Shah building on the linearisation technique. The main contribution of the paper is the application of the duality principle in the case where $H$ has infinitely many non-compact connected components.
△ Less
Submitted 11 October, 2023; v1 submitted 6 May, 2023;
originally announced May 2023.
-
Linnik's problem in fiber bundles over quadratic homogeneous varieties
Authors:
Michael Bersudsky,
Uri Shapira
Abstract:
We compute the statistics of $SL_{d}(\mathbb{Z})$ matrices lying on level sets of an integral polynomial defined on $SL_{d}(\mathbb{R})$, a result that is a variant of the well known theorem proved by Linnik about the equidistribution of radially projected integral vectors from a large sphere into the unit sphere. Using the above result we generalize the work of Aka, Einsiedler and Shapira in vari…
▽ More
We compute the statistics of $SL_{d}(\mathbb{Z})$ matrices lying on level sets of an integral polynomial defined on $SL_{d}(\mathbb{R})$, a result that is a variant of the well known theorem proved by Linnik about the equidistribution of radially projected integral vectors from a large sphere into the unit sphere. Using the above result we generalize the work of Aka, Einsiedler and Shapira in various directions. For example, we compute the joint distribution of the residue classes modulo $q$ and the properly normalized orthogonal lattices of primitive integral vectors lying on the level set $-(x_{1}^{2}+x_{2}^{2}+x_{3}^{2})+x_{4}^{2}=N$ as $N\to\infty$, where the normalized orthogonal lattices sit in a submanifold of the moduli space of rank-$3$ discrete subgroups of $\mathbb{R}^{4}$.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
On the image in the torus of sparse points on dilating analytic curves
Authors:
Michael Bersudsky
Abstract:
It is known that the image in $\mathbb{R}^{2}/\mathbb{Z}^{2}$ of a circle of radius $ρ$ in the plane becomes equidistributed as $ρ\to\infty$. We consider the following sparse version of this phenomenon. Starting from a sequence of radii $\left\{ ρ_{n}\right\} _{n=1}^{\infty}$ which diverges to $\infty$ and an angle $ω\in\mathbb{R}/\mathbb{Z},$ we consider the projection to…
▽ More
It is known that the image in $\mathbb{R}^{2}/\mathbb{Z}^{2}$ of a circle of radius $ρ$ in the plane becomes equidistributed as $ρ\to\infty$. We consider the following sparse version of this phenomenon. Starting from a sequence of radii $\left\{ ρ_{n}\right\} _{n=1}^{\infty}$ which diverges to $\infty$ and an angle $ω\in\mathbb{R}/\mathbb{Z},$ we consider the projection to $\mathbb{R}^{2}/\mathbb{Z}^{2}$ of the $n$'th roots of unity rotated by angle $ω$ and dilated by a factor of $ρ_{n}$. We prove that if $ρ_{n}$ is bounded polynomially in $n$, then the image of these sparse collections becomes equidistributed, and moreover, if $ρ_{n}$ grows arbitrarily fast, then we show that equidistribution holds for almost all $ω$. Interestingly, we found that for any angle there is a sequence of radii growing to $\infty$ faster then any polynomial for which equidistribution fails dramatically. In greater generality, we prove this type of results for dilations of varying analytic curves in $\mathbb{R}^{d}$. A novel component of the proof is the use of the theory of o-minimal structures to control exponential sums.
△ Less
Submitted 19 June, 2021; v1 submitted 9 March, 2020;
originally announced March 2020.
-
On the distribution of primitive subgroups of $\mathbb{Z}^{d}$ of large covolume
Authors:
Michael Bersudsky
Abstract:
We prove existence and compute the limiting distribution of the image of rank-$\left(d-1\right)$ primitive subgroups of $\mathbb{Z}^{d}$ of large covolume in the space $X_{d-1,d}$ of homothety classes of rank-$\left(d-1\right)$ discrete subgroups of $\mathbb{R}^{d}$. This extends a theorem of Aka, Einsiedler and Shapira.
We prove existence and compute the limiting distribution of the image of rank-$\left(d-1\right)$ primitive subgroups of $\mathbb{Z}^{d}$ of large covolume in the space $X_{d-1,d}$ of homothety classes of rank-$\left(d-1\right)$ discrete subgroups of $\mathbb{R}^{d}$. This extends a theorem of Aka, Einsiedler and Shapira.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Neumann Domains on Graphs and Manifolds
Authors:
Lior Alon,
Ram Band,
Michael Bersudsky,
Sebastian Egger
Abstract:
The nodal set of a Laplacian eigenfunction forms a partition of the underlying manifold or graph. Another natural partition is based on the gradient vector field of the eigenfunction (on a manifold) or on the extremal points of the eigenfunction (on a graph). The submanifolds (or subgraphs) of this partition are called Neumann domains. This paper reviews the subject, as appears in a few recent wor…
▽ More
The nodal set of a Laplacian eigenfunction forms a partition of the underlying manifold or graph. Another natural partition is based on the gradient vector field of the eigenfunction (on a manifold) or on the extremal points of the eigenfunction (on a graph). The submanifolds (or subgraphs) of this partition are called Neumann domains. This paper reviews the subject, as appears in a few recent works and points out some open questions and conjectures. The paper concerns both manifolds and metric graphs and the exposition allows for a comparison between the results obtained for each of them.
△ Less
Submitted 19 May, 2018;
originally announced May 2018.
-
Courant-sharp eigenvalues of Neumann 2-rep-tiles
Authors:
Ram Band,
Michael Bersudsky,
David Fajman
Abstract:
We find the Courant-sharp Neumann eigenvalues of the Laplacian on some 2-rep-tile domains. In $\R^{2}$ the domains we consider are the isosceles right triangle and the rectangle with edge ratio $\sqrt{2}$ (also known as the A4 paper). In $\R^{n}$ the domains are boxes which generalize the mentioned planar rectangle. The symmetries of those domains reveal a special structure of their eigenfunctions…
▽ More
We find the Courant-sharp Neumann eigenvalues of the Laplacian on some 2-rep-tile domains. In $\R^{2}$ the domains we consider are the isosceles right triangle and the rectangle with edge ratio $\sqrt{2}$ (also known as the A4 paper). In $\R^{n}$ the domains are boxes which generalize the mentioned planar rectangle. The symmetries of those domains reveal a special structure of their eigenfunctions, which we call folding\textbackslash{}unfolding. This structure affects the nodal set of the eigenfunctions, which in turn allows to derive necessary conditions for Courant-sharpness. In addition, the eigenvalues of these domains are arranged as a lattice which allows for a comparison between the nodal count and the spectral position. The Courant-sharpness of most eigenvalues is ruled out using those methods. In addition, this analysis allows to estimate the nodal deficiency - the difference between the spectral position and the nodal count.
△ Less
Submitted 2 November, 2016; v1 submitted 13 July, 2015;
originally announced July 2015.