From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions

Mee Seong Im,Mikhail Khovanov
2023-09-18
Abstract:This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up.
Quantum Algebra,Formal Languages and Automata Theory,Mathematical Physics,Category Theory,Representation Theory
What problem does this paper attempt to address?