<p>In combinatorics on words, the well-studied factor complexity function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _{\textbf{x}}\)</EquationSource> </InlineEquation> of a sequence <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{x}\)</EquationSource> </InlineEquation> over a finite alphabet counts, for every nonnegative integer <i>n</i>, the number of distinct length-<i>n</i> factors of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{x}\)</EquationSource> </InlineEquation>. In this paper, we introduce the <i>reflection complexity</i> function <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(r_{\textbf{x}}\)</EquationSource> </InlineEquation> to enumerate the factors occurring in a sequence <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{x}\)</EquationSource> </InlineEquation>, up to reversing the order of symbols in a word. We prove a number of results about the growth properties of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(r_{\textbf{x}}\)</EquationSource> </InlineEquation> and its relationship with other complexity functions. We also prove a Morse–Hedlund-type result characterizing eventually periodic sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate the reflection complexity of quasi-Sturmian, episturmian, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((s+1)\)</EquationSource> </InlineEquation>-dimensional billiard, complementation-symmetric Rote, and rich sequences. Furthermore, we prove that if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{x}\)</EquationSource> </InlineEquation> is <i>k</i>-automatic, then <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10234_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(r_{\textbf{x}}\)</EquationSource> </InlineEquation> is computably <i>k</i>-regular, and we use the software Walnut to evaluate the reflection complexity of some automatic sequences, such as the Thue–Morse sequence. We note that there are still many unanswered questions about this reflection measure.</p>

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

The Reflection Complexity of Sequences Over Finite Alphabets

  • Jean-Paul Allouche,
  • John M. Campbell,
  • Shuo Li,
  • Jeffrey Shallit,
  • Manon Stipulanti

摘要

In combinatorics on words, the well-studied factor complexity function \(\rho _{\textbf{x}}\) of a sequence \(\textbf{x}\) over a finite alphabet counts, for every nonnegative integer n, the number of distinct length-n factors of \(\textbf{x}\) . In this paper, we introduce the reflection complexity function \(r_{\textbf{x}}\) to enumerate the factors occurring in a sequence \(\textbf{x}\) , up to reversing the order of symbols in a word. We prove a number of results about the growth properties of \(r_{\textbf{x}}\) and its relationship with other complexity functions. We also prove a Morse–Hedlund-type result characterizing eventually periodic sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate the reflection complexity of quasi-Sturmian, episturmian, \((s+1)\) -dimensional billiard, complementation-symmetric Rote, and rich sequences. Furthermore, we prove that if \(\textbf{x}\) is k-automatic, then \(r_{\textbf{x}}\) is computably k-regular, and we use the software Walnut to evaluate the reflection complexity of some automatic sequences, such as the Thue–Morse sequence. We note that there are still many unanswered questions about this reflection measure.