Repetition Avoidance in Curling-Number Transforms

Geoffrey Caveney, Haoxuan, Dong, Jeffrey Shallit

Abstract

We study repetition avoidance in a word ${\bf w}$ and its curling-number transform $C({\bf w})$. For alphabets of sizes $2$, $3$, and $4$, we use Thue-Morse-based morphic constructions and exhaustive finite searches. A ternary word for which both ${\bf w}$ and $C({\bf w})$ are overlap-free has length at most $84$, whereas over four letters an infinite example exists. Hence $4$ is the smallest alphabet size admitting simultaneous infinite overlap-freeness. The infinite constructions are verified in Walnut; the finite maxima are obtained by exhaustive breadth-first search and checked independently.

Disclosure

“rify The supplementary archive also contains the consolidated Walnut input file walnut_final. txt, a README describing the reproducibility files, and SHA-256 checksums for the archived components. Declaration of AI usage GPT-5.6 Sol and GPT-5.6 Sol Pro, including runs using Ultra mode, assisted in the search for the positive constructions in Sections 3–5, in reviewing and debugging Walnut predicates and scripts, in editing and checking proof explanations, and in preparing the sup”

PDF page 11
Classification
Computational experiments or data processing
Multiplier
3
Verified

Structural counts

Pages 12 pdf
Theorems 11 source
Lemmas 0 source
Propositions 0 source
Corollaries 1 source
Definitions 0 source
Displayed equations 17 source
Bibliography entries 6 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file main.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.