Weak commutativity of quantum automata and weak commutativity of generalized quantum automata are defined. Weak commutativity of (generalized) quantum automata is discussed, and weak commutativity of general direct product, full direct product, restricted direct product, cascade product and wreath product of (generalized) quantum automata are studied, and several necessary and sufficient conditions of weak commutativity of some products of (generalized) quantum automata are obtained.
Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted models such as quantum versions of finite automata have been studied. In this paper, we survey various models of quantum finite automata and their properties. We also provide some open questions and new directions for researchers.
Keywords: quantum finite automata, probabilistic finite automata, nondeterminism, bounded error, unbounded error, state complexity, decidability and undecidability, computational complexity
Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted models such as quantum versions of finite automata have been studied. In this paper, we survey various models of quantum finite automata and their properties. We also provide some open questions and new directions for researchers. Keywords: quantum finite automata, probabilistic finite automata, nondeterminism, bounded error, unbounded error, state complexity, decidability and undecidability, computational complexity
Quantum cellular automata (QCAs) describe locality-preserving quantum dynamics and link quantum information, many-body physics, and topological quantum field theory (TQFT). Constructing a QCA from a TQFT, however, remains challenging: although a topological action yields a Hamiltonian with commuting terms that realizes the desired ground state, it does not by itself specify an automorphism of the full operator algebra. We develop a unified algebraic construction that extends such Hamiltonians to complete separator-flipper algebras on the full tensor-product Hilbert space, thereby defining the corresponding QCAs microscopically. In 3 spatial dimensions, our framework unifies all previously known QCA constructions associated with the
Z8×Z2 subgroup of the Witt group, including the
U(1)2 and
U(1)4 QCAs. The same algebraic structure yields new infinite families of generalized
U(1)2 and
U(1)4 non-Clifford QCAs in spatial dimensions
d=4k−1. We also reformulate the 4-dimensional
w2w3 QCA and use it to construct QCAs from TQFTs associated with arbitrary products of Stiefel--Whitney classes. For example, we explicitly construct two infinite families:
w2nw3m QCAs in dimension
d=2n+3m−1 and
w2w4k−1 QCAs in dimension
d=4k. For the 5-dimensional
w32 and
w23 QCAs, our construction gives finite-depth quantum circuits, consistent with the cobordism classification. More generally, we show that our construction yields a finite-depth quantum circuit whenever the corresponding Stiefel-Whitney number vanishes on every closed oriented manifold. Overall, these results convert invertible TQFTs into microscopic QCAs, provide higher-dimensional constructions beyond the Clifford setting, and open a systematic route to characterizing their stable structures and boundary anomalies.