{"id":"arxiv/2605.01577","url":"https://arxiv.org/abs/2605.01577","tags":["math.CO","math.DS"],"score":0,"title":"A proof of Rauzy's conjecture on abelian complexity","domain":"math.CO","source":"arxiv","authors":["Mélodie Andrieu","Léo Vivion"],"reviews":0,"subject":"math.CO","summary":"We resolve a conjecture posed by Rauzy in 1983 concerning the $d$-ary generalizations of Sturmian words. A classical theorem by Coven and Hedlund from 1973 states that Sturmian words, which are classically defined by their subword complexity (a combinatorial refinement of topological entropy), or as the natural codings of irrational rotations on the circle, are also characterized by their abelian complexity (a combinatorial refinement of the notion of discrepancy). More precisely, Sturmian words are exactly the binary infinite words with rationally independent letter frequencies and minimal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-02","reactions":{}}