Search arXivSearch

arXiv · 2503.18749

Escape of mass of the Thue-Morse sequence

Abstract

Every Laurent series in $\mathbb{F}_q\left(\left(t^{-1}\right)\right)$ has a continued fraction expansion whose partial quotients are polynomials. De Mathan and Teulié proved that the degrees of the partial quotients of the left-shifts of every quadratic Laurent series are unbounded. Shapira and Paulin and Kemarsky improved this by showing that certain sequences of probability measures on the space of lattices in the plane $\mathbb{F}_q\left(\left(t^{-1}\right)\right)^2$ exhibit positive escape of mass and conjectured that this escape is full -- that is, that these probability measures converge to zero. We disprove this conjecture by analysing in detail the case of the Laurent series over $\mathbb{F}_2$ whose sequence of coefficients is the Thue-Morse sequence. The proof relies on the discovery of explicit symmetries in its number wall.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Erez Nesharim, Uri Shapira, Noy Soffer Aranov. 2025-03-24. Escape of mass of the Thue-Morse sequence. https://arxiv.org/abs/2503.18749

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT