Full Mealy automata, complete square complexes, and anti-tori
To a full $m\times n$ Mealy automaton $A$ we associate a bijection $θ_A$, a one-vertex rank-two graph $F_{θ_A}$, and a one-vertex $VH$-square complex $Y_A$ tiled by $mn$ Wang tiles. We prove that $Y_A$ contains an anti-torus if and only if $A$ is bi-reversible and $F_{θ_A}$ is aperiodic. The two hypotheses are independent and play disjoint roles: bi-reversibility is exactly what makes $Y_A$ a complete square complex, so that its universal cover splits as a product of two trees and anti-tori can be discussed at all; and, within that setting, an anti-torus is precisely a period-free…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.11899
curl -X POST /api/v1/records/arxiv/2606.11899/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.11899/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'