Related papers: Boolean TQFTs with accumulating defects, sofic sys…
We deal with countable alphabet locally compact random subshifts of finite type (the latter merely meaning that the symbol space is generated by an incidence matrix) under the absence of Big Images Property and under the absence of uniform…
We extend the algebra of local observables in topological conformal field theories by nonlocal operators. This allows to construct parameter-dependent operations realized via certain integrals over the compactified moduli spaces, satisfying…
We study centralisers of finite order automorphisms of generalisations of Thompson's group F and conjugacy classes of finite subgroups in finite extensions of these groups. In particular, we show that centralisers of finite automorphisms in…
Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…
We characterize discrete (anti-)unitary symmetries and their non-invertible generalizations in $2+1$d topological quantum field theories (TQFTs) through their actions on line operators and fusion spaces. We explain all possible sources of…
It is believed that most (perhaps all) gapped phases of matter can be described at long distances by Topological Quantum Field Theory (TQFT). On the other hand, it has been rigorously established that in 1+1d ground states of gapped…
Quantum cellular automata (QCAs) are automorphisms of tensor product algebras that preserve locality, with local quantum circuits as a simple example. We study approximate QCAs, where the locality condition is only satisfied up to a small…
Automata over infinite objects are a well-established model with applications in logic and formal verification. Traditionally, acceptance in such automata is defined based on the set of states visited infinitely often during a run. However,…
We apply the theory of directed topology developed by Grandis [9, 10] to the study of stratified spaces by describing several ways in which a stratification or a stratification with orientations on the strata can be used to produce a…
We establish a relation between fully extended $2$-dimensional TQFTs and recognisable weighted formal languages, rational biprefix codes and lattice TFTs. We show the equivalence of $2D$ closed TFTs and rational exchangeable series and we…
It is known that there exist an infinite number of inequivalent quantizations on a topologically nontrivial manifold even if it is a finite-dimensional manifold. In this paper we consider the abelian sigma model in (1+1) dimensions to…
In this article, we study classes of multidimensional subshifts defined by multihead finite automata, in particular the hierarchy of classes of subshifts defined as the number of heads grows. The hierarchy collapses on the third level,…
Right and left thick, syndetic, piecewise syndetic, and fat sets in groups are studied. The main concern is the interplay between such sets in Boolean groups. Natural topologies closely related to fat sets are also considered, which leads…
We study boundary conditions of topological sigma models with the goal of generalizing the concepts of anomalous symmetry and symmetry protected topological order. We find a version of 't Hooft's anomaly matching conditions on the…
We introduce topological invariants for gapless systems and study the associated boundary phenomena. More generally, the symmetry properties of the low-energy conformal field theory (CFT) provide discrete invariants, establishing the notion…
We find bases for naturally defined lattices over certain rings of integers in the SU(2)-TQFT-theory modules of surfaces. We consider the TQFT where the Kauffman's A variable is a root of unity of order four times an odd prime. As an…
In this paper, we continue our investigation on sub-additive pressures for $C^1$-smooth partially hyperbolic diffeomorphisms. Under the assumption of unstable almost product property, we show that the unstable Bowen topological pressure on…
The axioms of iteration theories, or iteration categories, capture the equational properties of fixed point operations in several computationally significant categories. Iteration categories may be axiomatized by the Conway identities and…
Boson condensation in topological quantum field theories (TQFT) has been previously investigated through the formalism of Frobenius algebras and the use of vertex lifting coefficients. While general, this formalism is physically opaque and…
Fungal automata are a variation of the two-dimensional sandpile automaton of Bak, Tang, and Wiesenfeld (Phys. Rev. Lett. 1987). In each step toppling cells emit grains only to some of their neighbors chosen according to a specific update…