<p>For a real <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(n\times m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation> matrix <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\pmb {\xi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> </math></EquationSource> </InlineEquation>, we consider its sequence of best Diophantine approximation vectors <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( \pmb {x}_i \in \mathbb {Z}^{{m}}, \, i =1,2,3,... \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mi>i</mi> </msub> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>m</mi> </msup> <mo>,</mo> <mspace width="0.166667em" /> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation>, the sequences of its norms <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(X_i = \Vert \pmb {x}_i\Vert \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>X</mi> <mi>i</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">‖</mo> <msub> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mi>i</mi> </msub> <mo stretchy="false">‖</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the norms of remainders <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(L_i = \Vert \pmb {\xi }\pmb {x}_i\Vert \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>i</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">‖</mo> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> <msub> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mi>i</mi> </msub> <mo stretchy="false">‖</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. It is known that, in the cases <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(m=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, bad approximability of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\pmb {\xi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> </math></EquationSource> </InlineEquation> is equivalent to the boundedness of ratios <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\frac{X_{i+1}}{X_i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <msub> <mi>X</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <msub> <mi>X</mi> <mi>i</mi> </msub> </mfrac> </math></EquationSource> </InlineEquation>, while for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> bad approximability of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\pmb {\xi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> </math></EquationSource> </InlineEquation> is equivalent to the boundedness of ratios <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( \frac{L_i}{L_{i+1}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <msub> <mi>L</mi> <mi>i</mi> </msub> <msub> <mi>L</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mfrac> </math></EquationSource> </InlineEquation>. Moreover, carefully constructed example show that in the cases <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(m=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(n=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> boundedness of ratios <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\( \frac{L_i}{L_{i+1}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <msub> <mi>L</mi> <mi>i</mi> </msub> <msub> <mi>L</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mfrac> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\frac{X_{i+1}}{X_i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <msub> <mi>X</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <msub> <mi>X</mi> <mi>i</mi> </msub> </mfrac> </math></EquationSource> </InlineEquation> respectively (the order of ratios changed), does not imply bad approximability of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\pmb {\xi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> </math></EquationSource> </InlineEquation>. In the present paper, we study the impact of the boundedness of ratios on Diophantine properties of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\pmb {\xi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> </math></EquationSource> </InlineEquation>, in particular, what restrictions it gives for Diophantine exponents <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\omega (\pmb {\xi })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\hat{\omega }(\pmb {\xi })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>ω</mi> <mo stretchy="false">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. One of our particular results deals with the case <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(m=n=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. We prove that for <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(2\times 2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>×</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> matrices <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\pmb {\xi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> </math></EquationSource> </InlineEquation> boundedness of both ratios <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\( \frac{X_{i+1}}{X_i}, \frac{L_i}{L_{i+1}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <msub> <mi>X</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <msub> <mi>X</mi> <mi>i</mi> </msub> </mfrac> <mo>,</mo> <mfrac> <msub> <mi>L</mi> <mi>i</mi> </msub> <msub> <mi>L</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mfrac> </mrow> </math></EquationSource> </InlineEquation> implies inequality <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\hat{\omega }(\pmb {\xi })\leqslant \frac{4}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>ω</mi> <mo stretchy="false">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">ξ</mi> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>⩽</mo> <mfrac> <mn>4</mn> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and that this result is optimal. Our methods combine parametric geometry of numbers as well as more classical tools.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Bad approximability, bounded ratios and Diophantine exponents

  • Antoine Marnat,
  • Nikolay Moshchevitin,
  • Johannes Schleichitz

摘要

For a real \(n\times m\) n × m matrix \(\pmb {\xi }\) ξ , we consider its sequence of best Diophantine approximation vectors \( \pmb {x}_i \in \mathbb {Z}^{{m}}, \, i =1,2,3,... \) x i Z m , i = 1 , 2 , 3 , . . . , the sequences of its norms \(X_i = \Vert \pmb {x}_i\Vert \) X i = x i and the norms of remainders \(L_i = \Vert \pmb {\xi }\pmb {x}_i\Vert \) L i = ξ x i . It is known that, in the cases \(m=1\) m = 1 , bad approximability of \(\pmb {\xi }\) ξ is equivalent to the boundedness of ratios \(\frac{X_{i+1}}{X_i}\) X i + 1 X i , while for \(n=1\) n = 1 bad approximability of \(\pmb {\xi }\) ξ is equivalent to the boundedness of ratios \( \frac{L_i}{L_{i+1}}\) L i L i + 1 . Moreover, carefully constructed example show that in the cases \(m=1\) m = 1 and \(n=1\) n = 1 boundedness of ratios \( \frac{L_i}{L_{i+1}}\) L i L i + 1 and \(\frac{X_{i+1}}{X_i}\) X i + 1 X i respectively (the order of ratios changed), does not imply bad approximability of \(\pmb {\xi }\) ξ . In the present paper, we study the impact of the boundedness of ratios on Diophantine properties of \(\pmb {\xi }\) ξ , in particular, what restrictions it gives for Diophantine exponents \(\omega (\pmb {\xi })\) ω ( ξ ) and \(\hat{\omega }(\pmb {\xi })\) ω ^ ( ξ ) . One of our particular results deals with the case \(m=n=2\) m = n = 2 . We prove that for \(2\times 2 \) 2 × 2 matrices \(\pmb {\xi }\) ξ boundedness of both ratios \( \frac{X_{i+1}}{X_i}, \frac{L_i}{L_{i+1}} \) X i + 1 X i , L i L i + 1 implies inequality \(\hat{\omega }(\pmb {\xi })\leqslant \frac{4}{3}\) ω ^ ( ξ ) 4 3 and that this result is optimal. Our methods combine parametric geometry of numbers as well as more classical tools.