Related papers: Formal Languages and TQFTs with Defects
We review a class of integrable, supersymmetric defect conformal field theories which have holographic duals in the form of probe brane models. Our main examples are defect versions of N=4 SYM and ABJM theory, both involving a domain wall…
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…
A quantum finite-state automaton (QFA) is a theoretical model designed to simulate the evolution of a quantum system with finite memory in response to sequential input strings. We define the language of a QFA as the set of strings that lead…
We define a once extended non-compact 3-dimensional TQFT $\mathcal{Z}$ from the data of a (potentially) non-semisimple modular tensor category. This is in the framework of generators and relations of [Bartlett et al., arxiv:1509.06811…
We discuss a variety of codimension-one, non-invertible topological defects in general 3+1d QFTs with a discrete one-form global symmetry. These include condensation defects from higher gauging of the one-form symmetries on a…
A TQFT in terms of general gauge fixing functions is discussed. In a covariant gauge it yields the Donaldson-Witten TQFT. The theory is formulated on a generalized phase space where a simplectic structure is introduced. The Hamiltonian is…
Fractional supersymmetric quantum mechanics of order $\lambda$ is realized in terms of the generators of a generalized deformed oscillator algebra and a Z$_{\lambda}$-grading structure is imposed on the Fock space of the latter. This…
We propose a unifying mathematical framework describing the higher categorical structures formed by topological defects in quantum field theory equipped with tangential structures, such as orientations, framings, or…
We present commuting projector Hamiltonian realizations of a large class of (3+1)D topological models based on mathematical objects called unitary G-crossed braided fusion categories. This construction comes with a wealth of examples from…
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in…
In this paper a theory of Hecke operators for higher order modular forms is established. The definition of cusp forms and attached L-functions is extended beyond the realm of parabolic invariants. The role of representation theoretic…
We give in this paper a logical characterization for unambiguous Context Free Languages, in the vein of descriptive complexity. A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18]…
Let us consider a Lie (super)algebra $G$ spanned by $T_{\alpha}$ where $T_{\alpha}$ are quantum observables in BV-formalism. It is proved that for every tensor $c^{\alpha_1...\alpha_k}$ that determines a homology class of the Lie algebra…
We give an overview over several constructions of TQFT's over finite fields and cyclotomic integers and their applications to characterizing 3-manifolds and their fundamental groups.
We develop the general theory for the construction of Extended Topological Quantum Field Theories (ETQFTs) associated with the Costantino-Geer-Patureau quantum invariants of closed 3-manifolds. In order to do so, we introduce relative…
We consider three-dimensional topological field theories on manifolds with boundary defects and identify explicit boundary locality conditions. These conditions imply a state sum construction of the given TQFT. As a consistency check, we…
Two formalisms, both based on context-free grammars, have recently been proposed as a basis for a non-uniform random generation of combinatorial objects. The former, introduced by Denise et al, associates weights with letters, while the…
We consider a cobordism category whose morphisms are punctured connect sums of $S^1 \times S^2$'s (wormhole spaces) with embedded admissibly colored banded trivalent graphs. We define a TQFT on this cobordism category over the field of…
We construct a family of 3d quantum field theories $\mathcal T_{n,k}^A$ that conjecturally provide a physical realization -- and derived generalization -- of non-semisimple mathematical TQFT's based on the modules for the quantum group…
We offer a streamlined and computationally powerful characterization of higher representations (higher charges) for defect operators under generalized symmetries, employing the powerful framework of Symmetry TFT $\mathcal{Z}(\mathcal{C})$.…