A sound and complete equational theory of string diagrams is developed for finite-state transducers, covering both finite and bi-infinite words, with a new canonical normal form for sofic subshifts.
Aperiodicity in Quantum Wang Tilings
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
By reformulating Wang tiles with tensors, we propose a natural generalization to the probabilistic and quantum setting. In this new framework, we introduce notions of tilings and periodicity directly extending their classical counterparts. In the one dimensional case, we recover the decidability of the generalized domino problem by linking it to the trace characterization of nilpotent matrices. In the two-dimensional case, we provide extension of weak and strong aperiodicity respectively and show the equivalence of those generalized notions, extending the well known equivalence in the classical case. We also exhibit a quantum tile set being aperiodic while its underlying classical tile set is not, proving that quantum interference can suppress periodic patterns and paving the way to the investigation of a new kind of aperiodicity. Finally, we highlight the many new research directions opened by this generalization of Wang tiles, related to (quantum) cellular automata, condensed matter physics, symbolic dynamics and more.
fields
cs.LO 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
A sound and complete equational theory of string diagrams is developed for finite-state transducers, covering both finite and bi-infinite words, with a new canonical normal form for sofic subshifts.