-
Directional $p$-Adic Littlewood Conjecture for Algebraic Vectors
Authors:
Yuval Yifrach
Abstract:
For every vector $\overline α\in \RR^n$ and for every rational approximation $(\overline p,q)\in \RR^n\times\RR$ we can associate the displacement vector $qα-\overline p$. We focus on algebraic vectors, namely $\overline α=(α_1,\dots,α_n)$ such that $1, α_1, \dots, α_n$ span a rank $n$ number field. For these vectors, we investigate the size of their displacements as well as the distribution of th…
▽ More
For every vector $\overline α\in \RR^n$ and for every rational approximation $(\overline p,q)\in \RR^n\times\RR$ we can associate the displacement vector $qα-\overline p$. We focus on algebraic vectors, namely $\overline α=(α_1,\dots,α_n)$ such that $1, α_1, \dots, α_n$ span a rank $n$ number field. For these vectors, we investigate the size of their displacements as well as the distribution of their directions. We give a new proof to the result of Bugeaud in \cite{YannPAdic} saying that algebraic vectors $\overline α$ satisfy the $p$-adic Littlewood Conjecture. Namely, we prove that \begin{equation}
\liminf_{k \to \infty} \left( k \abs{k}_p \right)^{1/n} \| k (α_1, \dots, α_n) \|_\infty = 0. \end{equation} Our new proof lets us classify all limiting distributions, with a special weighting, of the sequence of directions of the defects in the $\varepsilon$-approximations of $(α_1, \dots, α_n)$. Each such limiting measure is expressed as the pushforward of an algebraic measure on $X_n$ to the sphere.
△ Less
Submitted 28 May, 2025; v1 submitted 8 January, 2025;
originally announced January 2025.
-
K-divergent lattices
Authors:
Guy Lachman,
Anurag Rao,
Uri Shapira,
Yuval Yifrach
Abstract:
We introduce a novel concept in topological dynamics, referred to as $k$-divergence, which extends the notion of divergent orbits. Motivated by questions in the theory of inhomogeneous Diophantine approximations, we investigate this notion in the dynamical system given by a certain flow on the space of unimodular lattices in $\mathbb{R}^d$. Our main result is the existence of $k$-divergent lattice…
▽ More
We introduce a novel concept in topological dynamics, referred to as $k$-divergence, which extends the notion of divergent orbits. Motivated by questions in the theory of inhomogeneous Diophantine approximations, we investigate this notion in the dynamical system given by a certain flow on the space of unimodular lattices in $\mathbb{R}^d$. Our main result is the existence of $k$-divergent lattices for any $k\geq 0$. In fact, we utilize the emerging theory of parametric geometry of numbers and calculate the Hausdorff dimension of the set of $k$-divergent lattices.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Tori Approximation of Families of Diagonally Invariant Measures
Authors:
Omri Nisan Solan,
Yuval Yifrach
Abstract:
We approximate any portion of any orbit of the full diagonal group $A$ in the space of unimodular lattices in $\RR^n$ using a fixed proportion of a compact $A$-orbit. Using those approximations for the appropriate sequence of orbits, we prove the existence of non-ergodic measures which are also weak limits of compactly supported $A$-invariant measures. In fact, given any countably many $A$-invaria…
▽ More
We approximate any portion of any orbit of the full diagonal group $A$ in the space of unimodular lattices in $\RR^n$ using a fixed proportion of a compact $A$-orbit. Using those approximations for the appropriate sequence of orbits, we prove the existence of non-ergodic measures which are also weak limits of compactly supported $A$-invariant measures. In fact, given any countably many $A$-invariant ergodic measures, our methods show that there exists a sequence of compactly supported periodic $A$-invariant measures such that the ergodic decomposition of its weak limit has these measures as factors with positive weight. Using the same methods, we prove that any compactly supported $A$-invariant and ergodic measure is the weak limit of the restriction of different compactly supported periodic measures to a fixed proportion of the time. In addition, for any $c\in (0,1]$ we find a sequence of compactly supported periodic $A$-invariant measures that converge weakly to $cm_{X_n}$ where $m_{X_n}$ denotes the Haar measure on $X_n$. In particular, we prove the existence of partial escape of mass for compact $A$-orbits. These results give affirmative answers to questions posed by Shapira in ~\cite{ShapiraEscape}. Our proofs are based on a modification of Shapira's proof in ~\cite{ShapiraEscape} and on a generalization of a construction of Cassels, as well as on effective equidistribution estimates of Hecke neighbors by Clozel, Oh and Ullmo, and a number theoretic construction of a special number field.
△ Less
Submitted 29 January, 2025; v1 submitted 2 January, 2023;
originally announced January 2023.
-
The Equidistribution of Grids of Rings of Integers in Number Fields of Degrees 3,4 and 5
Authors:
Yuval Yifrach
Abstract:
It was shown by M. Bhargava and P. Harron that for $n=3,4,5$, the shapes of rings of integers of $S_n$-number fields of degree $n$ become equidistributed in the space of shapes when the fields are ordered by discriminant. Instead of shapes, we correspond grids to each number field, which preserve more of the number fields' data. The space of grids is a fiber bundle over the space of shapes. We str…
▽ More
It was shown by M. Bhargava and P. Harron that for $n=3,4,5$, the shapes of rings of integers of $S_n$-number fields of degree $n$ become equidistributed in the space of shapes when the fields are ordered by discriminant. Instead of shapes, we correspond grids to each number field, which preserve more of the number fields' data. The space of grids is a fiber bundle over the space of shapes. We strengthen Bhargava-Harron's result by proving that the grids of rings of integers of $S_n$-number fields become equidistributed in the space of grids.
△ Less
Submitted 21 August, 2022; v1 submitted 26 January, 2022;
originally announced January 2022.
-
A Note about Weyl Equidistribution Theorem
Authors:
Yuval Yifrach
Abstract:
H. Weyl proved in \cite{Weyl} that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. We use Weyl's result to prove a higher dimensional analogue of this fact. Namely, we prove that evaluations of polynomials on lattice points are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. This…
▽ More
H. Weyl proved in \cite{Weyl} that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. We use Weyl's result to prove a higher dimensional analogue of this fact. Namely, we prove that evaluations of polynomials on lattice points are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. This result strengths the main result of Arhipov-Karacuba-Čubarikov in \cite{PolWeyl}. We prove this analogue as a Corollary of a Theorem that guarantees equidistribution of lattice evaluations mod 1 for all functions which satisfy some restrains on their derivatives. Another Corollary we prove is that for $p\in(1,\infty)$ the $\ell^p$ norms of integer vectors are equidistributed mod 1.
△ Less
Submitted 6 July, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Regular Random Sections of Convex Bodies and the Random Quotient-of-Subspace Theorem
Authors:
Emanuel Milman,
Yuval Yifrach
Abstract:
It was shown by G. Pisier that any finite-dimensional normed space admits an $α$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball and its dual. We revisit Pisier's argument and show the existence of a \emph{different} position, which guarantees the same estimates for \emph{randomly sampled} se…
▽ More
It was shown by G. Pisier that any finite-dimensional normed space admits an $α$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball and its dual. We revisit Pisier's argument and show the existence of a \emph{different} position, which guarantees the same estimates for \emph{randomly sampled} sections \emph{with high-probability}. As an application, we obtain a \emph{random} version of V. Milman's Quotient-of-Subspace Theorem, asserting that in the above position, \emph{typical} quotients of subspaces are isomorphic to Euclidean, with a distance estimate which matches the best-known deterministic one (and beating all prior estimates which hold with high-probability). Our main novel ingredient is a new position of convex bodies, whose existence we establish by using topological arguments and a fixed-point theorem.
△ Less
Submitted 26 May, 2021; v1 submitted 14 October, 2019;
originally announced October 2019.
