<p>We study two types of problems for polynomial Farey fractions. For a positive integer <i>Q</i>, and polynomial <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(P(x)\in \mathbb {Z}[X]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mi>X</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(P(0)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we define polynomial Farey fractions as <Equation ID="Equ82"> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {F}_{Q,P}:=\left\{ \frac{a}{q}: 1\leqslant a\leqslant q\leqslant Q,\ \gcd (P(a),q)=1\right\} . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">F</mi> <mrow> <mi>Q</mi> <mo>,</mo> <mi>P</mi> </mrow> </msub> <mo>:</mo> <mo>=</mo> <mfenced close="}" open="{"> <mfrac> <mi>a</mi> <mi>q</mi> </mfrac> <mo>:</mo> <mn>1</mn> <mo>⩽</mo> <mi>a</mi> <mo>⩽</mo> <mi>q</mi> <mo>⩽</mo> <mi>Q</mi> <mo>,</mo> <mspace width="4pt" /> <mo movablelimits="true">gcd</mo> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> </mfenced> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>The classical Farey fractions are obtained by considering <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(P(x)=x\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation>. In this article, we determine the global and local distribution of the sequence of polynomial Farey fractions via discrepancy and pair correlation measure, respectively. In particular, we establish that the sequence of polynomial Farey fractions is uniformly distributed modulo one and show that the limit superior of the pair correlation measure of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((\mathcal {F}_{Q,P})_{Q\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">F</mi> <mrow> <mi>Q</mi> <mo>,</mo> <mi>P</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>Q</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is bounded. For the specific polynomial <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(P(x)=x(x+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>x</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we show the existence of the limiting pair correlation measure of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((\mathcal {F}_{Q,P})_{Q\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">F</mi> <mrow> <mi>Q</mi> <mo>,</mo> <mi>P</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>Q</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> and also provide an explicit formula for the pair correlation function which is non-Poissonian. Further, restricting the polynomial Farey denominators to certain subsets of primes, we explicitly find the pair correlation measure and show it to be Poissonian. Finally, we study Chebyshev’s bias type of questions for the classical and polynomial Farey denominators along arithmetic progressions and obtain an <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>-result for the error term of its counting function.</p>

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

On the distribution of polynomial Farey points and Chebyshev’s bias phenomenon

  • Bittu Chahal,
  • Sneha Chaubey

摘要

We study two types of problems for polynomial Farey fractions. For a positive integer Q, and polynomial \(P(x)\in \mathbb {Z}[X]\) P ( x ) Z [ X ] with \(P(0)=0\) P ( 0 ) = 0 , we define polynomial Farey fractions as \(\begin{aligned} \mathcal {F}_{Q,P}:=\left\{ \frac{a}{q}: 1\leqslant a\leqslant q\leqslant Q,\ \gcd (P(a),q)=1\right\} . \end{aligned}\) F Q , P : = a q : 1 a q Q , gcd ( P ( a ) , q ) = 1 . The classical Farey fractions are obtained by considering \(P(x)=x\) P ( x ) = x . In this article, we determine the global and local distribution of the sequence of polynomial Farey fractions via discrepancy and pair correlation measure, respectively. In particular, we establish that the sequence of polynomial Farey fractions is uniformly distributed modulo one and show that the limit superior of the pair correlation measure of \((\mathcal {F}_{Q,P})_{Q\ge 1}\) ( F Q , P ) Q 1 is bounded. For the specific polynomial \(P(x)=x(x+1)\) P ( x ) = x ( x + 1 ) , we show the existence of the limiting pair correlation measure of \((\mathcal {F}_{Q,P})_{Q\ge 1}\) ( F Q , P ) Q 1 and also provide an explicit formula for the pair correlation function which is non-Poissonian. Further, restricting the polynomial Farey denominators to certain subsets of primes, we explicitly find the pair correlation measure and show it to be Poissonian. Finally, we study Chebyshev’s bias type of questions for the classical and polynomial Farey denominators along arithmetic progressions and obtain an \(\Omega \) Ω -result for the error term of its counting function.