<p>This work is devoted to solving some closely related open problems on the average and asymptotic behavior of the 2-adic complexity of binary sequences. First, for fixed <i>N</i>, we prove that the expected value&#xa0;<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(E^{\text {2-adic}}_N\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>E</mi> <mi>N</mi> <mtext>2-adic</mtext> </msubsup> </math></EquationSource> </InlineEquation> of the 2-adic complexity over all binary sequences of length <i>N</i> is close to <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_IEq2.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{N}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>N</mi> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation> and the deviation from <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_IEq2.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{N}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>N</mi> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation> is at most of order of magnitude <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\log (N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>log</mo> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. More precisely, we show that <Equation ID="Equ8"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_Equ8.gif" Format="GIF" Height="37" Rendition="HTML" Resolution="72" Type="Linedraw" Width="253" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \frac{N}{2}-1 \le E^{\text {2-adic}}_N= \frac{N}{2}+O(\log (N)). \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfrac> <mi>N</mi> <mn>2</mn> </mfrac> <mo>-</mo> <mn>1</mn> <mo>≤</mo> <msubsup> <mi>E</mi> <mi>N</mi> <mtext>2-adic</mtext> </msubsup> <mo>=</mo> <mfrac> <mi>N</mi> <mn>2</mn> </mfrac> <mo>+</mo> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We also prove bounds on the expected value of the <i>N</i>th rational complexity. Our second contribution is to prove for a random binary sequence <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">S</mi> </math></EquationSource> </InlineEquation> that the <i>N</i>th 2-adic complexity satisfies with probability&#xa0;1 <Equation ID="Equ9"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1592_Article_Equ9.gif" Format="GIF" Height="37" Rendition="HTML" Resolution="72" Type="Linedraw" Width="256" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \lambda _{\mathcal {S}}(N)=\frac{N}{2}+O(\log (N)) \, \hbox { for all}\ N. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>λ</mi> <mi mathvariant="script">S</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mi>N</mi> <mn>2</mn> </mfrac> <mo>+</mo> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mspace width="0.333333em" /> <mtext>for all</mtext> <mspace width="4pt" /> <mi>N</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation></p>

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

Probabilistic results on the 2-adic complexity

  • Zhixiong Chen,
  • Arne Winterhof

摘要

This work is devoted to solving some closely related open problems on the average and asymptotic behavior of the 2-adic complexity of binary sequences. First, for fixed N, we prove that the expected value  \(E^{\text {2-adic}}_N\) E N 2-adic of the 2-adic complexity over all binary sequences of length N is close to \(\frac{N}{2}\) N 2 and the deviation from \(\frac{N}{2}\) N 2 is at most of order of magnitude \(\log (N)\) log ( N ) . More precisely, we show that \(\begin{aligned} \frac{N}{2}-1 \le E^{\text {2-adic}}_N= \frac{N}{2}+O(\log (N)). \end{aligned}\) N 2 - 1 E N 2-adic = N 2 + O ( log ( N ) ) . We also prove bounds on the expected value of the Nth rational complexity. Our second contribution is to prove for a random binary sequence \(\mathcal {S}\) S that the Nth 2-adic complexity satisfies with probability 1 \(\begin{aligned} \lambda _{\mathcal {S}}(N)=\frac{N}{2}+O(\log (N)) \, \hbox { for all}\ N. \end{aligned}\) λ S ( N ) = N 2 + O ( log ( N ) ) for all N .