Bad approximability, bounded ratios and Diophantine exponents

Abstract For a real $$n\times m$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>×</mml:mo> <mml:mi>m</mml:mi> </mml:mrow> </mml:math> matrix $$\pmb {\xi }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> </mml:math> , we consider its sequence of best Diophantine approximation vectors $$ \pmb {x}_i \in \mathbb {Z}^{{m}}, \, i =1,2,3,... $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>x</mml:mi> </mml:mrow> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>∈</mml:mo> <mml:msup> <mml:mrow> <mml:mi>Z</mml:mi> </mml:mrow> <mml:mi>m</mml:mi> </mml:msup> <mml:mo>,</mml:mo> <mml:mspace/> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> <mml:mo>,</mml:mo> <mml:mo>.</mml:mo> <mml:mo>.</mml:mo> <mml:mo>.</mml:mo> </mml:mrow> </mml:math> , the sequences of its norms $$X_i = \Vert \pmb {x}_i\Vert $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>X</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>=</mml:mo> <mml:mrow> <mml:mo>‖</mml:mo> <mml:msub> <mml:mrow> <mml:mi>x</mml:mi> </mml:mrow> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>‖</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and the norms of remainders $$L_i = \Vert \pmb {\xi }\pmb {x}_i\Vert $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>=</mml:mo> <mml:mrow> <mml:mo>‖</mml:mo> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi>x</mml:mi> </mml:mrow> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>‖</mml:mo> </mml:mrow> </mml:mrow> </mml:math> . It is known that, in the cases $$m=1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> , bad approximability of $$\pmb {\xi }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> </mml:math> is equivalent to the boundedness of ratios $$\frac{X_{i+1}}{X_i}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mfrac> <mml:msub> <mml:mi>X</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:msub> <mml:mi>X</mml:mi> <mml:mi>i</mml:mi> </mml:msub> </mml:mfrac> </mml:math> , while for $$n=1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> bad approximability of $$\pmb {\xi }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> </mml:math> is equivalent to the boundedness of ratios $$ \frac{L_i}{L_{i+1}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mfrac> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mfrac> </mml:math> . Moreover, carefully constructed example show that in the cases $$m=1$$</jats:tex-m

Authors

Institutions

Publication Details

Journal
Selecta Mathematica
Published
2026-07-23
DOI
https://doi.org/10.1007/s00029-026-01168-4
Primary Topic
Mathematical Dynamics and Fractals
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Bad approximability, bounded ratios and Diophantine exponents

Nikolay Moshchevitin, Antoine Marnat, Johannes Schleischitz
Selecta Mathematica
Mathematical Dynamics and Fractals
article

Bad approximability, bounded ratios and Diophantine exponents

Nikolay Moshchevitin, Antoine Marnat, Johannes Schleischitz
article en

Abstract

Abstract For a real $$n\times m$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>×</mml:mo> <mml:mi>m</mml:mi> </mml:mrow> </mml:math> matrix $$\pmb {\xi }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> </mml:math> , we consider its sequence of best Diophantine approximation vectors $$ \pmb {x}_i \in \mathbb {Z}^{{m}}, \, i =1,2,3,... $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>x</mml:mi> </mml:mrow> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>∈</mml:mo> <mml:msup> <mml:mrow> <mml:mi>Z</mml:mi> </mml:mrow> <mml:mi>m</mml:mi> </mml:msup> <mml:mo>,</mml:mo> <mml:mspace/> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> <mml:mo>,</mml:mo> <mml:mo>.</mml:mo> <mml:mo>.</mml:mo> <mml:mo>.</mml:mo> </mml:mrow> </mml:math> , the sequences of its norms $$X_i = \Vert \pmb {x}_i\Vert $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>X</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>=</mml:mo> <mml:mrow> <mml:mo>‖</mml:mo> <mml:msub> <mml:mrow> <mml:mi>x</mml:mi> </mml:mrow> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>‖</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and the norms of remainders $$L_i = \Vert \pmb {\xi }\pmb {x}_i\Vert $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>=</mml:mo> <mml:mrow> <mml:mo>‖</mml:mo> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> <mml:msub> <mml:mrow> <mml:mi>x</mml:mi> </mml:mrow> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>‖</mml:mo> </mml:mrow> </mml:mrow> </mml:math> . It is known that, in the cases $$m=1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> , bad approximability of $$\pmb {\xi }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> </mml:math> is equivalent to the boundedness of ratios $$\frac{X_{i+1}}{X_i}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mfrac> <mml:msub> <mml:mi>X</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:msub> <mml:mi>X</mml:mi> <mml:mi>i</mml:mi> </mml:msub> </mml:mfrac> </mml:math> , while for $$n=1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> bad approximability of $$\pmb {\xi }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ξ</mml:mi> </mml:mrow> </mml:math> is equivalent to the boundedness of ratios $$ \frac{L_i}{L_{i+1}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mfrac> <mml:msub> <mml:mi>L</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mfrac> </mml:math> . Moreover, carefully constructed example show that in the cases $$m=1$$</jats:tex-m

Selecta MathematicaVol. 32(4)
Centre National de la Recherche Scientifique (FR), TU Wien (AT), Université Paris-Est Créteil (FR), Laboratoire d’Analyse et de Mathématiques Appliquées (FR), Université Gustave Eiffel (FR), Western Sydney University (AU)
Agence Nationale de la Recherche, Austrian Science Fund, Université Paris-Est Créteil Val-de-Marne
Openalex Percentile: Top 89%
Mathematical Dynamics and Fractals
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.