Topological theories and automata

Mee Seong Im; Mikhail Khovanov

Home/Archive/arXiv

arXiv · 2202.13398

Topological theories and automata

Mee Seong Im·Mikhail Khovanov

View original source ↗Read source document ↗Export metadata ↓

Abstract

The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labelled by letters of the language. This theory takes values in the Boolean semiring. Universal construction of topological theories gives rise in this case to a monoidal category of Boolean semilinear combinations of one-dimensional cobordisms with defects modulo skein relations. The latter category can be interpreted as a semilinear rigid monoidal closure of standard structures associated to a regular language, including minimal deterministic and nondeterministic finite state automata for the language and the syntactic monoid. The circular language plays the role of a regularizer, allowing to define the rigid closure of these structures. When the state space of a single point for a regular language describes a distributive lattice, there is a unique associated circular language such that the resulting theory is a Boolean TQFT.

Explore related subjects

math.QA cs.FL math-ph math.CT math.MP

Keep this discovery

BibTeX RIS

Mee Seong Im, Mikhail Khovanov. 2022-02-27. Topological theories and automata. https://arxiv.org/abs/2202.13398

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Diagrammatic Categorification of Verma Modules I: Braiding

In this paper, we study the extensions of KLRW algebras to tensor products of Verma module representations of $\mathfrak{sl}_2$. Our motivation is to construct a theory of Khovanov homology for knot complements in $S^3$ (and which also categorifies the Gukov-Manolescu two-variable series for knot complements), which will be done in the second part of this work. We construct the categorification of R-matrices for Verma modules as functors given by derived tensor products with diagrammatic bimodules and explicitly compute their projective resolutions. We also prove these braiding functors induce an action of the braid group on the relevant categories. Then, we describe how to incorporate strands in finite-dimensional representations of $\mathfrak{sl}_2$, thereby establishing functors that serve as the Khovanov homology on a braid complement. In the case of the unknot, this gives knot homologies in $S^1\times D^2$, which we compare to Annular Khovanov Homology through several examples and show they are very closely related, conjecturing they are of the same dimension. We conclude with a proposal for the categorification of the cups and caps of Verma module colored strands, which we build upon in the next paper.

math.QA↗

arXiv2026

Some finite dimensional representations of shifted quantum affine algebras of type A

In this paper, we study finite dimensional representations of shifted quantum affine algebras of type A. We give an explicit description of the tensor product of simple evaluation modules of the quantum loop algebra and a one-dimensional representation of the shifted quantum affine algebra under the separation condition. As a consequence, we give the q-characters of some finite dimensional simple modules of the shifted quantum affine algebra.

math.QA↗

arXiv2026

Gelfand--Tsetlin bases for representations of $\mathrm U_{q}(\mathfrak{gl}_n)$ at roots of unity

In this paper, we construct Gelfand--Tsetlin bases for representations of $\mathrm U_q(\mathfrak{gl}_n)$ at roots of unity. As an application, we obtain explicit bases for certain baby Verma modules of $\mathrm U_q(\mathfrak{gl}_3)$ and determine their composition series.

math.QA↗