Related papers: Automata and one-dimensional TQFTs with defects
We consider Abelian topological quantum field theories (TQFTs) in 3d and show that gaugings of invertible global symmetries naturally give rise to additive codes. These codes emerge as nonanomalous subgroups of the 1-form symmetry group,…
We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs) which we call open-closed TQFTs. These are defined on open-closed cobordisms by which we mean smooth compact oriented 2-manifolds with corners that…
We lay down a general framework for how to construct a Topological Quantum Field Theory $Z_A$ defined on shaped triangulations of orientable 3-manifolds from any Pontryagin self-dual locally compact abelian group $A$. The partition function…
Reversible weighted automata are introduced and considered in a specific setting where the weights are taken from a nontrivial locally finite commutative ring such as a finite field. It is shown that the supports of series realised by such…
We construct a cohomology theory for oriented links using singular cobordisms and a special type of 2-dimensional Topological Quantum Field Theory (TQFT), categorifying the quantum sl(2) invariant. In particular, we give a description of…
Traditionally, finite automata theory has been used as a framework for the representation of possibly infinite sets of strings. In this work, we introduce the notion of second-order finite automata, a formalism that combines finite automata…
We introduce the category of dependency automata. A dependency automaton consists of two nondeterministic finite automata, with a relation between their states satisfying conditions. This category is equivalent to deterministic finite…
Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of…
Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…
We consider $\omega^n$-automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length $\omega^n$ for some integer $n\geq 1$. We show that all these structures are…
Entanglement entropy provides a powerful characterization of two-dimensional gapped topological phases of quantum matter, intimately tied to their description by topological quantum field theories (TQFTs). Fracton topological orders are…
Quantum field theories can exhibit various generalized symmetry structures, among which higher-group symmetries and non-invertible symmetry defects are particularly prominent. In this work, we explore a new general scenario in which these…
Let A be a finite or countable alphabet and let $\theta$ be a literal (anti-)automorphism onto A * (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…
In [arXiv:1912.02063], we constructed 3-dimensional Topological Quantum Field Theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by…
Take a cellular automaton, consider that each configuration is a basis vector in some vector space, and linearize the global evolution function. If lucky, the r esult could actually make sense physically, as a valid quantum evolution; but…
Topology enters in quantum field theory (qft) in multiple forms: one of the most important, in non-abelian gauge theories, being in the identification of the $\theta$ vacuum in QCD. A very relevant aspect of this connection is through the…
Abelian topologically massive gauge theories (TMGT) provide a topological mechanism to generate mass for any p-tensor boson in any dimension. Within the Hamiltonian formulation, the embedded topological field theory (TFT) is not made…
Quantum cellular automata (QCAs) are automorphisms of tensor product algebras that preserve locality, with local quantum circuits as a simple example. We study approximate QCAs, where the locality condition is only satisfied up to a small…
We revisit the possibility of constructing non-invertible topological defects for the axial symmetry of massless QED, despite its ABJ anomaly. Dressing the defects with a topological quantum field theory with mixed $U(1)$ and…
We characterize discrete (anti-)unitary symmetries and their non-invertible generalizations in $2+1$d topological quantum field theories (TQFTs) through their actions on line operators and fusion spaces. We explain all possible sources of…