Related papers: Automata and one-dimensional TQFTs with defects

We construct the moduli spaces associated to the solutions of equations of motion (modulo gauge transformations) of the Poisson sigma model with target being an integrable Poisson manifold. The construction can be easily extended to a case…

We propose the Symmetry TFT for theories with a $U(1)$ symmetry in arbitrary dimension. The Symmetry TFT describes the structure of the symmetry, its anomalies, and the possible topological manipulations. It is constructed as a BF theory of…

For a positive integer r, an r-spin topological quantum field theory is a 2-dimensional TQFT with tangential structure given by the r-fold cover of SO_2 . In particular, such a TQFT assigns a scalar invariant to every closed r-spin surface…

Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under…

We use shifted symplectic geometry to construct the Moore-Tachikawa topological quantum field theories (TQFTs) in a category of Hamiltonian schemes. Our new and overarching insight is an algebraic explanation for the existence of these…

We introduce the notions of topological entropy of a formal language and of a topological automaton. We show that the entropy function is surjective and bound the entropy of languages accepted by deterministic {\epsilon}-free push-down…

This PhD Thesis is devoted to the study of Hodge structures on a special type of complex algebraic varieties, the so-called character varieties. For this purpose, we propose to use a powerful algebro-geometric tool coming from theoretical…

We study the path integral quantization of the topological 3BF theory, whose gauge symmetry is described by a 3-group. This theory is relevant for the quantization of general relativity coupled to Standard Model of elementary particles. We…

Exploiting the path integral approach al la Batalin and Vilkovisky, we show that any anomaly-free Quantum Field Theory (QFT) comes with a family parametrized by certain moduli space M, which tangent space at the point corresponding to the…

We apply the idea of a topological quantum field theory (TQFT) to maps from manifolds into topological spaces. This leads to a notion of a (d+1)-dimensional homotopy quantum field theory (HQFT) which may be described as a TQFT for closed…

This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics. We give an overview of 3-dimensional topological quantum field theories (TQFTs) and the corresponding quantum invariants of 3-manifolds. We…

The 2-way quantum finite automaton introduced by Kondacs and Watrous can accept non-regular languages with bounded error in polynomial time. If we restrict the head of the automaton to moving classically and to moving only in one direction,…

Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of…

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

We introduce a class of generalized tube algebras which describe how finite, non-invertible global symmetries of bosonic 1+1d QFTs act on operators which sit at the intersection point of a collection of boundaries and interfaces. We develop…

We propose a novel procedure of assigning a pair of non-unitary topological quantum field theories (TQFTs), TFT$_\pm [\mathcal{T}_{\rm rank \;0}]$, to a (2+1)D interacting $\mathcal{N}=4$ superconformal field theory (SCFT) $\mathcal{T}_{\rm…

We study the following decision problem: is the language recognized by a quantum finite automaton empty or non-empty? We prove that this problem is decidable or undecidable depending on whether recognition is defined by strict or non-strict…

We show that unrolled quantum groups at odd roots of unity give rise to relative modular categories. These are the main building blocks for the construction of 1+1+1-TQFTs extending CGP invariants, which are non-semisimple quantum…

An automata network is a finite graph where each node holds a state from some finite alphabet and is equipped with an update function that changes its state according to the configuration of neighboring states. More concisely, it is given…

The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…