<p>We consider quadratic Weyl sums <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(S_N(x;\alpha ,\beta )=\sum _{n=1}^N \exp \!\left[ 2\pi i\left( \left( \tfrac{1}{2}n^2+\beta n\right) \!x\right. \right. \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>N</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>;</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>N</mi> </msubsup> <mo>exp</mo> <mspace width="-0.166667em" /> <mfenced open="["> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mfenced open="("> <mfenced close=")" open="("> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mstyle> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>+</mo> <mi>β</mi> <mi>n</mi> </mfenced> <mspace width="-0.166667em" /> <mi>x</mi> </mfenced> </mfenced> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\left. \left. +\alpha n\right) \right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close="]"> <mfenced close=")"> <mo>+</mo> <mi>α</mi> <mi>n</mi> </mfenced> </mfenced> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((\alpha ,\beta )\in \mathbb {Q}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Q</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(x\in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is randomly distributed according to a probability measure absolutely continuous with respect to the Lebesgue measure. We prove that the limiting distribution in the complex plane of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\frac{1}{\sqrt{N}}S_N(x;\alpha ,\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <msqrt> <mi>N</mi> </msqrt> </mfrac> <msub> <mi>S</mi> <mi>N</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>;</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(N\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> is either heavy tailed or compactly supported, depending solely on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\alpha ,\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation>. In the heavy tailed case, the probability (according to the limiting distribution) of landing outside a ball of radius <i>R</i> is shown to be asymptotic to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {T}(\alpha ,\beta )R^{-4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>R</mi> <mrow> <mo>-</mo> <mn>4</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, where the constant <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {T}(\alpha ,\beta )&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is explicit. The result follows from an analogous statement for products of generalized quadratic Weyl sums of the form <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(S_N^f(x;\alpha ,\beta )=\sum _{n\in \mathbb {Z}} f\left( \frac{n}{N}\right) \exp \!\left[ 2\pi i\left( \left( \tfrac{1}{2}n^2+\beta n\right) \!x+\alpha n\right) \right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>S</mi> <mi>N</mi> <mi>f</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>;</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∑</mo> <mrow> <mi>n</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </msub> <mi>f</mi> <mfenced close=")" open="("> <mfrac> <mi>n</mi> <mi>N</mi> </mfrac> </mfenced> <mo>exp</mo> <mspace width="-0.166667em" /> <mfenced close="]" open="["> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mfenced close=")" open="("> <mfenced close=")" open="("> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mstyle> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>+</mo> <mi>β</mi> <mi>n</mi> </mfenced> <mspace width="-0.166667em" /> <mi>x</mi> <mo>+</mo> <mi>α</mi> <mi>n</mi> </mfenced> </mfenced> </mrow> </math></EquationSource> </InlineEquation> where <i>f</i> is regular. The precise tails of the limiting distribution of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\frac{1}{N}S_N^{f_1}\overline{S_N^{f_2}}(x;\alpha ,\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mi>N</mi> </mfrac> <msubsup> <mi>S</mi> <mi>N</mi> <msub> <mi>f</mi> <mn>1</mn> </msub> </msubsup> <mover> <msubsup> <mi>S</mi> <mi>N</mi> <msub> <mi>f</mi> <mn>2</mn> </msub> </msubsup> <mo>¯</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>;</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(N\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> can be described in terms of a measure –which depends on <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\((\alpha ,\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>– of a super level set of a product of two Jacobi theta functions on a noncompact homogeneous space. Such measures are obtained by means of an equidistribution theorem for rational horocycle lifts to a torus bundle over the unit tangent bundle to a cover of the classical modular surface. The cardinality and the geometry of orbits of rational points of the torus under the affine action of the theta group play a crucial role in the computation of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathcal {T}(\alpha ,\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. This work complements and extends [<CitationRef CitationID="CR6">6</CitationRef>] and [<CitationRef CitationID="CR33">33</CitationRef>], in which the cases <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((\alpha ,\beta )\notin \mathbb {Q}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>∉</mo> <msup> <mrow> <mi mathvariant="double-struck">Q</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\alpha =\beta =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mi>β</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are considered.</p>

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

Heavy tailed and compactly supported distributions of quadratic Weyl sums with rational parameters

  • Francesco Cellarosi,
  • Tariq Osman

摘要

We consider quadratic Weyl sums \(S_N(x;\alpha ,\beta )=\sum _{n=1}^N \exp \!\left[ 2\pi i\left( \left( \tfrac{1}{2}n^2+\beta n\right) \!x\right. \right. \) S N ( x ; α , β ) = n = 1 N exp 2 π i 1 2 n 2 + β n x \(\left. \left. +\alpha n\right) \right] \) + α n for \((\alpha ,\beta )\in \mathbb {Q}^2\) ( α , β ) Q 2 , where \(x\in \mathbb {R}\) x R is randomly distributed according to a probability measure absolutely continuous with respect to the Lebesgue measure. We prove that the limiting distribution in the complex plane of \(\frac{1}{\sqrt{N}}S_N(x;\alpha ,\beta )\) 1 N S N ( x ; α , β ) as \(N\rightarrow \infty \) N is either heavy tailed or compactly supported, depending solely on \(\alpha ,\beta \) α , β . In the heavy tailed case, the probability (according to the limiting distribution) of landing outside a ball of radius R is shown to be asymptotic to \(\mathcal {T}(\alpha ,\beta )R^{-4}\) T ( α , β ) R - 4 , where the constant \(\mathcal {T}(\alpha ,\beta )>0\) T ( α , β ) > 0 is explicit. The result follows from an analogous statement for products of generalized quadratic Weyl sums of the form \(S_N^f(x;\alpha ,\beta )=\sum _{n\in \mathbb {Z}} f\left( \frac{n}{N}\right) \exp \!\left[ 2\pi i\left( \left( \tfrac{1}{2}n^2+\beta n\right) \!x+\alpha n\right) \right] \) S N f ( x ; α , β ) = n Z f n N exp 2 π i 1 2 n 2 + β n x + α n where f is regular. The precise tails of the limiting distribution of \(\frac{1}{N}S_N^{f_1}\overline{S_N^{f_2}}(x;\alpha ,\beta )\) 1 N S N f 1 S N f 2 ¯ ( x ; α , β ) as \(N\rightarrow \infty \) N can be described in terms of a measure –which depends on \((\alpha ,\beta )\) ( α , β ) – of a super level set of a product of two Jacobi theta functions on a noncompact homogeneous space. Such measures are obtained by means of an equidistribution theorem for rational horocycle lifts to a torus bundle over the unit tangent bundle to a cover of the classical modular surface. The cardinality and the geometry of orbits of rational points of the torus under the affine action of the theta group play a crucial role in the computation of \(\mathcal {T}(\alpha ,\beta )\) T ( α , β ) . This work complements and extends [6] and [33], in which the cases \((\alpha ,\beta )\notin \mathbb {Q}^2\) ( α , β ) Q 2 and \(\alpha =\beta =0\) α = β = 0 are considered.