<p>We investigate the following problem: what is the smallest possible distance between a cubic irrational <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation> and a rational number <i>p</i>/<i>q</i> in terms of the height <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H(\xi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>q</i>? More precisely, we consider the set <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(D_{3,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mn>3</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> consisting of all pairs (<i>u</i>,&#xa0;<i>v</i>) of positive real numbers such that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(|\xi - p/q| &gt; cH^{-u}(\xi )q^{-v}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>ξ</mi> <mo>-</mo> <mi>p</mi> <mo stretchy="false">/</mo> <mi>q</mi> <mo stretchy="false">|</mo> <mo>&gt;</mo> <mi>c</mi> </mrow> <msup> <mi>H</mi> <mrow> <mo>-</mo> <mi>u</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>q</mi> <mrow> <mo>-</mo> <mi>v</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for all cubic irrationals <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation> and rationals <i>p</i>/<i>q</i>. First, we transform this problem into one about the root separation of cubic polynomials. Second, under the assumption of the famous abc-conjecture, we give an almost complete description of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(D_{3,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mn>3</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>. Namely, the points (<i>u</i>,&#xa0;<i>v</i>) with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(2\leqslant v\leqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>⩽</mo> <mi>v</mi> <mo>⩽</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> that lie in the interior of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(D_{3,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mn>3</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> are characterised by the inequality <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(u&gt; 10-3v\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>&gt;</mo> <mn>10</mn> <mo>-</mo> <mn>3</mn> <mi>v</mi> </mrow> </math></EquationSource> </InlineEquation>. Assuming only the weaker Hall conjecture, we also obtain nontrivial results about the shape of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(D_{3,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mn>3</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>, although these are not as strong as those derived from the abc-conjecture. Finally, we discuss an analogue of the set <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(D_{3,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mn>3</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> in function fields where we are able to give an almost complete description unconditionally.</p>

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

Distance Between Cubics and Rationals

  • Dmitry Badziahin

摘要

We investigate the following problem: what is the smallest possible distance between a cubic irrational \(\xi \) ξ and a rational number p/q in terms of the height \(H(\xi )\) H ( ξ ) and q? More precisely, we consider the set \(D_{3,1}\) D 3 , 1 consisting of all pairs (uv) of positive real numbers such that \(|\xi - p/q| > cH^{-u}(\xi )q^{-v}\) | ξ - p / q | > c H - u ( ξ ) q - v for all cubic irrationals \(\xi \) ξ and rationals p/q. First, we transform this problem into one about the root separation of cubic polynomials. Second, under the assumption of the famous abc-conjecture, we give an almost complete description of \(D_{3,1}\) D 3 , 1 . Namely, the points (uv) with \(2\leqslant v\leqslant 3\) 2 v 3 that lie in the interior of \(D_{3,1}\) D 3 , 1 are characterised by the inequality \(u> 10-3v\) u > 10 - 3 v . Assuming only the weaker Hall conjecture, we also obtain nontrivial results about the shape of \(D_{3,1}\) D 3 , 1 , although these are not as strong as those derived from the abc-conjecture. Finally, we discuss an analogue of the set \(D_{3,1}\) D 3 , 1 in function fields where we are able to give an almost complete description unconditionally.