# Functions on Antipower Prefix Lengths of the Thue-Morse Word

## TL;DR

This paper investigates the lengths of antipowers in prefixes of the Thue-Morse word, providing bounds that confirm conjectures about their linear growth and the difference between certain length functions.

## Contribution

It establishes strong bounds on antipower prefix lengths in the Thue-Morse word, confirming conjectures and advancing understanding of their asymptotic behavior.

## Key findings

- Bounds on $eta(k)$ and $eta(k)-eta(k)$ grow linearly in $k$
- Affirmative answer to one of Defant's conjectures
- Progress towards resolving a second conjecture

## Abstract

We say that a word $w$ of length $kn$ is a $k$-\textit{antipower} if it can be written in the form $w_1 \cdots w_k$, where each $w_i$ is a distinct word of length $n$. We analyze prefixes of the Thue-Morse word $\textbf{t}$ and lengths of antipowers occurring in them. Define $\Gamma(k)$ to be the largest odd $n$ such that the prefix of $\textbf{t}$ of length $kn$ is not a $k$-antipower, and $\gamma(k)$ to be the smallest odd $n$ such that the corresponding prefix is a $k$-antipower. We provide strong bounds on the asymptotic values of $\gamma(k)$ and $\Gamma(k)-\gamma(k)$. Our bounds on $\gamma(k)$ affirmatively answer one conjecture of Defant and make substantial progress towards answering a second conjecture of Defant. It was previously known that $\Gamma(k)$ and $\gamma(k)$ grow linearly in $k$, but our bounds on $\Gamma(k)-\gamma(k)$ prove that $\Gamma(k)-\gamma(k)$ also grows linearly in $k$.