{"id":"arxiv/2610.02262","url":"https://arxiv.org/abs/2610.02262","tags":["math.CO","cs.FL"],"score":0,"title":"Shuffle squares in smooth binary words and the Kolakoski sequence","domain":"math.CO","source":"arxiv","authors":["Kory Kilpatrick"],"reviews":0,"subject":"math.CO","summary":"A binary word is a shuffle square if its positions can be partitioned into two identical subsequences. A finite word over $\\{1,2\\}$ is smooth if repeated finite run-length differentiation remains binary until the empty word is reached. This paper proves that every smooth binary word in which both letters have even multiplicity is a shuffle square once its length is at least $18$. There are exactly $34$ exceptions, all of length at most $16$. The infinite part of the proof is a parity-return atom induction: a smooth even-Parikh word factors uniquely into smooth parity atoms, and every such…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}