{"id":"arxiv/2609.05005","url":"https://arxiv.org/abs/2609.05005","tags":["math.CO","cs.CC","cs.FL","cs.LO"],"score":0,"title":"A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the $q,t$-Catalan Symmetry","domain":"math.CO","source":"arxiv","authors":["Jineon Baek","Byung-Hak Hwang","Joonhyun La","Hongseok Yang"],"reviews":0,"subject":"math.CO","summary":"Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study such a bijection as a word-to-word computation and measure its memory, input access, and control of output order. This refines existence questions by asking which computational mechanisms a bijection requires. We develop this viewpoint for Dyck paths. Our motivating example is the $q,t$-Catalan polynomial. Let $D_n$ be the set of Dyck paths of semilength $n$, let $D=\\bigcup_{n\\ge 0}D_n$, and let $area, dinv, bounce…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}