<p>We investigate the low moments <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {E}[|A_N|^{2q}],\, 0&lt;q\leqslant 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">[</mo> <mo stretchy="false">|</mo> <msub> <mi>A</mi> <mi>N</mi> </msub> <msup> <mo stretchy="false">|</mo> <mrow> <mn>2</mn> <mi>q</mi> </mrow> </msup> <mo stretchy="false">]</mo> <mo>,</mo> <mspace width="0.166667em" /> <mn>0</mn> <mo>&lt;</mo> <mi>q</mi> <mo>⩽</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> of secular coefficients <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A_N\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>N</mi> </msub> </math></EquationSource> </InlineEquation> of the critical non-Gaussian holomorphic multiplicative chaos, i.e.&#xa0;coefficients of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(z^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>z</mi> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> in the power series expansion of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\exp (\sum _{k=1}^\infty X_kz^k/\sqrt{k})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>exp</mo> <mo stretchy="false">(</mo> <msubsup> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>X</mi> <mi>k</mi> </msub> <msup> <mi>z</mi> <mi>k</mi> </msup> <mo stretchy="false">/</mo> <msqrt> <mi>k</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\{X_k\}_{k\geqslant 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>X</mi> <mi>k</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>k</mi> <mo>⩾</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> are i.i.d.&#xa0;rotationally invariant unit variance complex random variables. Inspired by Harper’s remarkable result on random multiplicative functions, Soundararajan and Zaman recently showed that if each <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(X_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> is standard complex Gaussian, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(A_N\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>N</mi> </msub> </math></EquationSource> </InlineEquation> features better-than-square-root cancellation: <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {E}[|A_N|^2]=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">[</mo> <mo stretchy="false">|</mo> <msub> <mi>A</mi> <mi>N</mi> </msub> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo stretchy="false">]</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {E}[|A_N|^{2q}]\asymp (\log N)^{-q/2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">[</mo> <mo stretchy="false">|</mo> </mrow> <msub> <mi>A</mi> <mi>N</mi> </msub> <mrow> <msup> <mo stretchy="false">|</mo> <mrow> <mn>2</mn> <mi>q</mi> </mrow> </msup> <mo stretchy="false">]</mo> </mrow> <mo>≍</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mi>q</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for fixed <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(q\in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq11"> <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>. We show that this asymptotics holds universally if <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {E}[e^{\gamma |X_k|}]&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">[</mo> <msup> <mi>e</mi> <mrow> <mrow> <mi>γ</mi> <mo stretchy="false">|</mo> </mrow> <msub> <mi>X</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </msup> <mo stretchy="false">]</mo> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\gamma &gt;2q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>2</mn> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, we establish the universality for the tightness of the normalized secular coefficients <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(A_N(\log (1+N))^{1/4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mi>N</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, generalizing a result of Najnudel, Paquette, and Simm. Another corollary is the almost sure regularity of some critical non-Gaussian holomorphic chaos in appropriate Sobolev spaces. Moreover, we characterize the asymptotics of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathbb {E}[|A_N|^{2q}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">E</mi> <mo stretchy="false">[</mo> <mo stretchy="false">|</mo> <msub> <mi>A</mi> <mi>N</mi> </msub> <msup> <mo stretchy="false">|</mo> <mrow> <mn>2</mn> <mi>q</mi> </mrow> </msup> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(|X_k|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>X</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> following a stretched exponential distribution with an arbitrary scale parameter, which exhibits a completely different behavior and underlying mechanism from the Gaussian universality regime. As a result, we unveil a double-layer phase transition around the critical case of exponential tails. Our proofs combine Harper’s robust approach with a careful analysis of the (possibly random) leading terms in the monomial decomposition of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(A_N\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>N</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

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

Universality and phase transitions in low moments of secular coefficients of critical holomorphic multiplicative chaos

  • Haotian Gu,
  • Zhenyuan Zhang

摘要

We investigate the low moments \(\mathbb {E}[|A_N|^{2q}],\, 0<q\leqslant 1\) E [ | A N | 2 q ] , 0 < q 1 of secular coefficients \(A_N\) A N of the critical non-Gaussian holomorphic multiplicative chaos, i.e. coefficients of \(z^N\) z N in the power series expansion of \(\exp (\sum _{k=1}^\infty X_kz^k/\sqrt{k})\) exp ( k = 1 X k z k / k ) , where \(\{X_k\}_{k\geqslant 1}\) { X k } k 1 are i.i.d. rotationally invariant unit variance complex random variables. Inspired by Harper’s remarkable result on random multiplicative functions, Soundararajan and Zaman recently showed that if each \(X_k\) X k is standard complex Gaussian, \(A_N\) A N features better-than-square-root cancellation: \(\mathbb {E}[|A_N|^2]=1\) E [ | A N | 2 ] = 1 and \(\mathbb {E}[|A_N|^{2q}]\asymp (\log N)^{-q/2}\) E [ | A N | 2 q ] ( log N ) - q / 2 for fixed \(q\in (0,1)\) q ( 0 , 1 ) as \(N\rightarrow \infty \) N . We show that this asymptotics holds universally if \(\mathbb {E}[e^{\gamma |X_k|}]<\infty \) E [ e γ | X k | ] < for some \(\gamma >2q\) γ > 2 q . As a consequence, we establish the universality for the tightness of the normalized secular coefficients \(A_N(\log (1+N))^{1/4}\) A N ( log ( 1 + N ) ) 1 / 4 , generalizing a result of Najnudel, Paquette, and Simm. Another corollary is the almost sure regularity of some critical non-Gaussian holomorphic chaos in appropriate Sobolev spaces. Moreover, we characterize the asymptotics of \(\mathbb {E}[|A_N|^{2q}]\) E [ | A N | 2 q ] for \(|X_k|\) | X k | following a stretched exponential distribution with an arbitrary scale parameter, which exhibits a completely different behavior and underlying mechanism from the Gaussian universality regime. As a result, we unveil a double-layer phase transition around the critical case of exponential tails. Our proofs combine Harper’s robust approach with a careful analysis of the (possibly random) leading terms in the monomial decomposition of \(A_N\) A N .