Related papers: Formal Languages and TQFTs with Defects

For logarithmic conformal field theories whose monodromy data is given by a not necessarily semisimple modular category, we solve the problem of constructing and classifying the consistent systems of correlators. The correlator construction…

We construct non-semisimple $2+1$-TQFTs yielding mapping class group representations in Lyubashenko's spaces. In order to do this, we first generalize Beliakova, Blanchet and Geer's logarithmic Hennings invariants based on quantum…

The structure of integrable field theories in the presence of defects is discussed in terms of boundary functions under the Lagrangian formalism. Explicit examples of bosonic and fermionic theories are considered. In particular, the…

We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). We show that this class enjoys good complexity properties while preserving the succinctness of nondeterministic…

Cohen and Godin constructed positive boundary topological quantum field theory (TQFT) structure on the homology of free loop spaces of oriented closed smooth manifolds by associating a certain operations called string operations to…

We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms. Inspired by work of Segal and Stolz-Teichner,…

We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms…

We construct maps on hat Heegaard Floer homology for cobordisms decorated with graphs. The graph TQFT allows for cobordisms with disconnected ends. Our construction uses Juh\'{a}sz's sutured Floer TQFT. We compute the maps for several…

Given two two-dimensional conformal field theories, a domain wall -- or defect line -- between them is called invertible if there is another defect with which it fuses to the identity defect. A defect is called topological if it is…

Recently, Baltag and van Benthem introduced a decidable logic of functional dependence (LFD) that extends the logic of Cylindrical Relativized Set Algebras (CRS) with atomic local dependence statements. Its semantics can be given in terms…

A classical result in quantum topology is that oriented 2-dimensional topological quantum field theories (2-TQFTs) are fully classified by commutative Frobenius algebras. In 2006, Turaev and Turner introduced additional structure on…

A mathematical construction of the conformal field theory (CFT) associated to a compact torus, also called the "nonlinear Sigma-model" or "lattice-CFT", is given. Underlying this approach to CFT is a unitary modular functor, the…

This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally…

We use a special kind of 2-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, in order to extend Khovanov homology from links to arbitrary tangles, not necessarily even. For every plane diagram of…

This work is a survey of the main results reported for the degree of extension of two models defining non-regular languages, namely the context-free grammar and the extended automaton over groups. More precisely, we recall the main results…

We explore higher-dimensional conformal field theories (CFTs) in the presence of a conformal defect that itself hosts another sub-dimensional defect. We refer to this new kind of conformal defect as the composite defect. We elaborate on the…

Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge. It has been recently shown that reasoning in most FDLs using truth values from the interval [0,1] becomes undecidable…

Teichm\"uller TQFT is a unitary 3d topological theory whose Hilbert spaces are spanned by Liouville conformal blocks. It is related but not identical to PSL(2,R) Chern-Simons theory. To physicists, it is known in particular in the context…

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type…

We construct Narain conformal field theories (CFTs) from quantum subsystem codes, a more comprehensive class of quantum error-correcting codes than quantum stabilizer codes, for qudit systems of prime dimensions. The resulting code CFTs…