Related papers: The lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$ …
The degree of commutativity of a group $G$ measures the probability of choosing two elements in $G$ which commute. There are many results studying this for finite groups. In [AMV17], this was generalised to infinite groups. In this note, we…
For any synchronizing $n$-state deterministic automaton, \v{C}ern\'{y} conjectures the existence of a synchronizing word of length at most $(n-1)^2$. We prove that there exists a synchronizing word of length at most $2n^2 - 7n + 7$ for…
We define the triple Riordan group, whose elements consist of $4$-tuples of power series $(g, f_1, f_2, f_3)$ with $g\in \mathbf{R}[[x^3]]$, and $f_1, f_2, f_3 \in x\mathbf{R}[[x^3]]$, for an appropriate ring $\mathbf{R}$. The construction…
We construct recursively-presented finitely-generated torsion groups which have bounded torsion and whose word problem is conjunctive equivalent (in particular positive and Turing equivalent) to a given recursively enumerable set. These…
The three-algebras used by Bagger and Lambert in N=6 theories of ABJM type are in one-to-one correspondence with a certain type of Lie superalgebras. We show that the description of three-algebras as generalized Jordan triple systems…
It is examined finite state automorphisms of regular rooted trees constructed to represent groups $GL(n,\mathbb{Z})$. The number of states of automorphisms that correspond to elementary matrices is computed. Using the representation of…
A set is called recurrent if its minimal automaton is strongly connected and birecurrent if it is recurrent as well as its reversal. We prove a series of results concerning birecurrent sets. It is already known that any birecurrent set is…
The palindromic automorphism group is a subgroup of the automorphism group $Aut(F_3).$ We establish a necessary and sufficient condition for a matrix in $GL_n(\mathbb{Z})$ representing a palindromic automorphism of $F_n.$ We prove that the…
We compute an explicit representation of the (topological) automorphism group or a particular Toeplitz subshift. The automorphism group is a (non-finitely generated) subgroup of rational numbers under addition and the shift map corresponds…
It has recently been understood that the complete global symmetry of finite group topological gauge theories contains the structure of a higher-group. Here we study the higher-group structure in (3+1)D $\mathbb{Z}_2$ gauge theory with an…
It is shown that any finite group $A$ is realizable as the automizer in a finite perfect group $G$ of an abelian subgroup whose conjugates generate $G$. The construction uses techniques from fusion systems on arbitrary finite groups, most…
Bartholdi, Neuhauser and Woess proved that a family of metabelian groups including lamplighters have a striking geometric manifestation as 1-skeleta of horocyclic products of trees. The purpose of this article is to give an elementary…
We construct a nontrivial three-dimensional subshift of finite type whose projective $\Z$-subdynamics, or $\Z$-trace, is 2-sparse, meaning that there are at most two nonzero symbols in any vertical column. The subshift is deterministic in…
The minimal number of inputs in the local function of a non-trivial cellular automaton is two. Such a function can be viewed as as a kind of binary operation. If this operation is associative, it forms, together with the set of states, a…
The paper shows that there is a deep structure on certain sets of bisimilar Probabilistic Automata (PA). The key prerequisite for these structures is a notion of compactness of PA. It is shown that compact bisimilar PA form lattices. These…
We propose an extension of the 3-3-1 model with an additional symmetry group $Z_{2}\times Z_{4} \times U(1)_{L_g}$ and an extended scalar sector. To our best knowledge this is the first example of a renormalizable 3-3-1 model, which allows…
Left braces, introduced by Rump, have turned out to provide an important tool in the study of set theoretic solutions of the quantum Yang-Baxter equation. In particular, they have allowed to construct several new families of solutions. A…
Robertson intelligent states which minimize the Schr\" odinger-Robertson uncertainty relation are constructed as eigenstates of a linear combination of Weyl generators of the $su(3)$ algebra. The construction is based on the analytic…
The balanced superelliptic mapping class group is the normalizer of the transformation group of the balanced superelliptic covering in the mapping class group of the total surface. We prove that the balanced superelliptic mapping class…
We give a method to construct new self-adjoint representations of the braid group. In particular, we give a family of irreducible self-adjoint representations of dimension arbitrarily large. Moreover we give sufficient conditions for a…