Related papers: Formal Languages and TQFTs with Defects
We define a (3+1)-TQFT associated with possibly non-semisimple finite unimodular ribbon tensor categories using skein theory. This gives an explicit realization of a TQFT predicted by the cobordism hypothesis, based on recent results on…
The existence of stationary finitely dependent processes on combinatorial models like $\mathbb Z^d$ subshifts can be quite mysterious. For instance, Holroyd and Liggett constructed such processes on proper $4$-colorings of $\mathbb Z^d$ for…
We present a categorical formalism for context-free languages with morphisms given by correspondences obtained from rational transductions. We show that D0L-systems are a special case of the correspondences that define morphisms in this…
Starting from an abelian group $G$ and a factorizable ribbon Hopf $G$-bialgebra $H$, we construct a TQFT $J_H$ for connected framed cobordisms between connected surfaces with connected boundary decorated with cohomology classes with…
We consider a generalization of the axioms of a TQFT, so called half-projective TQFT's, with an anomaly, $x^{\mu}$, in the composition law. $\mu$ is a coboundary on the cobordism categories with non-negative, integer values. The element $x$…
We study boundary conditions for extended topological quantum field theories (TQFTs) and their relation to topological anomalies. We introduce the notion of TQFTs with moduli level $m$, and describe extended anomalous theories as natural…
We give a presentation of the $n$-dimensional oriented cobordism category $\text{Cob}_n$ with generators corresponding to diffeomorphisms and surgeries along framed spheres, and a complete set of relations. Hence, given a functor $F$ from…
A mathematical framework of cohomological field theories (CohFTs) is formulated in the language of bigraded manifolds. Algebraic properties of operators in CohFTs are studied. Methods of constructing CohFTs, with or without gauge…
Within the framework of relative and absolute quantum field theories (QFTs), we present a general formalism for understanding polarizations of the intermediate defect group and constructing non-invertible duality defects in theories in $2k$…
The interpretation of D-branes in terms of open strings has lead to much interest in boundary conditions of two-dimensional conformal field theories (CFTs). These studies have deepened our understanding of CFT and allowed us to develop new…
We consider topological defect lines (TDLs) in two-dimensional fermionic conformal field theories (CFTs). Besides inheriting all the properties of TDLs in bosonic CFTs, TDLs in fermionic CFTs could host fermionic defect operators at their…
We present a general framework for TQFT and related constructions using the language of monoidal categories. We construct a topological category C and an algebraic category D, both monoidal, and a TQFT functor is then defined as a certain…
First-order linear temporal logic (FOLTL) is a flexible and expressive formalism capable of naturally describing complex behaviors and properties. Although the logic is in general highly undecidable, the idea of using it as a specification…
We develop a systematic framework for constructing (3+1)-dimensional topological orders or topological quantum field theories (TQFTs) that realize specified anomalies of finite symmetries, as encountered in gauge theories with fermions or…
We construct families of TQFT's over the finite field Z/pZ starting from an integral TQFT obtained by Frohman and Nicas. These TQFT's are likely to describe the constant order contributions of the cyclotomic integer expansions of the…
We provide a description of adequate categorical data to give a Turaev-Viro type state-sum construct of invariants of 3-manifolds with a system of defects, generalizing the Dijkgraaf-Witten type invariants of our earlier work. We term the…
We show that a vector space valued TQFT constructed in work of De Renzi et al. [DGGPR23] extends naturally to a topological field theory which takes values in the symmetric monoidal category of linear cochains. Specifically, we consider a…
For a commutative Frobenius algebra $A$, we construct a $(2,3,3+\varepsilon)$-dimensional TQFT $\mathsf{AFK}_A$ that assigns to a 3-manifold a skein module of embedded $A$-decorated surfaces. These surface skein modules have been first…
Topological quantum field theories (TQFTs) are symmetric monoidal functors out of cobordism categories. In dimension two, oriented TQFTs are famously classified by commutative Frobenius algebras. In the unoriented setting, the…
In this paper we give automata-based representation of LTL-FO$^+$ properties. LTL-FO$^+$ is an extension of LTL that includes first-order quantification over bounded variable, thus greatly increasing the expressivity of the language. An…