{"id":"arxiv/2609.22406","url":"https://arxiv.org/abs/2609.22406","tags":["math.CO","cs.FL","math.RT"],"score":0,"title":"Tree Bricks and Finite Tree Automata","domain":"math.CO","source":"arxiv","authors":["Annoy Sengupta"],"reviews":0,"subject":"math.CO","summary":"Let $Λ=KQ/I$ be a finite-dimensional zero-relation algebra. We encode Crawley--Boevey tree modules over $Λ$ by finite rooted trees labelled by arrows of $Q$ and their formal inverses, and construct a deterministic finite bottom-up tree automaton recognizing exactly these encodings. We define an accepted tree to be an automata-induced tree brick when it has no non-trivial factor--image self-overlap, and use Crawley--Boevey's graph-map basis to prove that this is equivalent to brickness of the associated tree module. We also introduce local colourings of $Q_1$ and show that the arrow alphabet…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}