{"id":"arxiv/2611.04020","url":"https://arxiv.org/abs/2611.04020","tags":["math.CO","math.QA"],"score":0,"title":"Automatic partition identities","domain":"math.CO","source":"arxiv","authors":["Laurent Bartholdi"],"reviews":0,"subject":"math.CO","summary":"We encode certain sets of partitions by regular languages of boundary words, so that their generating functions become rational series in the quantum plane $RU=qUR$. An equality between two partition counts is certified by writing the difference of their series as $(1-U)a+b(1-R)$, with $a,b$ converging $q$-adically. We show that $a,b$ may be chosen as solutions of finite holonomic systems of $q$-difference equations computed from the automata, and describe finite certificates of their convergence, together with bounded searches for such certificates; the searches need not succeed, but a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}