Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. Anti-power $j$-fixes ...
Article

Anti-power $j$-fixes of the Thue-Morse word

Marisa Gaetz ORCID
Download article
Open on arXiv
Submitted on
May 20, 2019
Accepted on
February 18, 2021
Published on
February 25, 2021
Last modified on
March 31, 2025
Volume 23
vol. 23:1
Analysis of Algorithms
DOI
10.46298/dmtcs.5483
License
arXiv.org - Non-exclusive license to distribute
Indicators
1175
Views
658
Downloads

Anti-power $j$-fixes of the Thue-Morse word

Marisa Gaetz ORCID
Abstract
Recently, Fici, Restivo, Silva, and Zamboni introduced the notion of a $k$-anti-power, which is defined as a word of the form $w^{(1)} w^{(2)} \cdots w^{(k)}$, where $w^{(1)}, w^{(2)}, \ldots, w^{(k)}$ are distinct words of the same length. For an infinite word $w$ and a positive integer $k$, define $AP_j(w,k)$ to be the set of all integers $m$ such that $w_{j+1} w_{j+2} \cdots w_{j+km}$ is a $k$-anti-power, where $w_i$ denotes the $i$-th letter of $w$. Define also $\mathcal{F}_j(k) = (2 \mathbb{Z}^+ - 1) \cap AP_j(\mathbf{t},k)$, where $\mathbf{t}$ denotes the Thue-Morse word. For all $k \in \mathbb{Z}^+$, $\gamma_j(k) = \min (AP_j(\mathbf{t},k))$ is a well-defined positive integer, and for $k \in \mathbb{Z}^+$ sufficiently large, $\Gamma_j(k) = \sup ((2 \mathbb{Z}^+ -1) \setminus \mathcal{F}_j(k))$ is a well-defined odd positive integer. In his 2018 paper, Defant shows that $\gamma_0(k)$ and $\Gamma_0(k)$ grow linearly in $k$. We generalize Defant's methods to prove that $\gamma_j(k)$ and $\Gamma_j(k)$ grow linearly in $k$ for any nonnegative integer $j$. In particular, we show that $\displaystyle 1/10 \leq \liminf_{k \rightarrow \infty} (\gamma_j(k)/k) \leq 9/10$ and $\displaystyle 1/5 \leq \limsup_{k \rightarrow \infty} (\gamma_j(k)/k) \leq 3/2$. Additionally, we show that $\displaystyle \liminf_{k \rightarrow \infty} (\Gamma_j(k)/k) = 3/2$ and $\displaystyle \limsup_{k \rightarrow \infty} (\Gamma_j(k)/k) = 3$. Comment: 21 pages
Keywords
  • Mathematics - Combinatorics
  • 05A05, 68R15
Mathematics Subject Classification 2020
  • 68R15 - Combinatorics on words
Linked publications - datasets - software
  • Has review

    Review available on zbMATH Open, by Anna Frid (Marseille) (English)

Cited by

Source: OpenCitations

  • Local Maximal Equality-Free Periodicities

    Authors : Mai Alzamel ORCID, Jacqueline W. Daykin ORCID, Christopher Hampson ORCID, Costas S. Iliopoulos ORCID, Zara Lim ORCID, W. F. Smyth

    Journal reference : Volume , 2023, pp. 359-368

    DOI : 10.1007/978-3-031-34171-7_29
  • Antipowers in Uniform Morphic Words and the Fibonacci Word

    Discrete Mathematics & Theoretical Computer Science

    Authors : Swapnil Garg

    Journal reference : Volume vol. 23, no. 3, 2021, pp.

    DOI : 10.46298/dmtcs.7134
Preview
Loading PDF preview...