Related papers: Trees are nilrigid

Let $T$ be a locally finite tree all of whose vertices have valency at least $6$. We classify, up to isomorphism, the closed subgroups of $\mathrm{Aut}(T)$ acting $2$-transitively on the set of ends of $T$ and whose local action at each…

Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular…

Neural cellular automata (Neural CA) are a recent framework used to model biological phenomena emerging from multicellular organisms. In these systems, artificial neural networks are used as update rules for cellular automata. Neural CA are…

We show that conjugacy of reversible cellular automata is undecidable, whether the conjugacy is to be performed by another reversible cellular automaton or by a general homeomorphism. This gives rise to a new family of finitely-generated…

Let M be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of M has the automatic continuity property: any homomorphism from Homeo(M) to any separable group is necessarily continuous. This answers a…

Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ of adjoint type defined over $\mathbb C.$ Let ${\overline T}\subset \overline G$ be the closure of a maximal torus $T\subset G.$ We prove that the…

We extend Cellular Automata to time-varying discrete geometries. In other words we formalize, and prove theorems about, the intuitive idea of a discrete manifold which evolves in time, subject to two natural constraints: the evolution does…

We establish a structure theorem for the connected automorphism groups of smooth complete toroidal horospherical varieties, that is, toric fibrations over rational homogeneous spaces. The key ingredient is a characterization of the Demazure…

Let $G$ be a finite group admitting a coprime automorphism $\alpha$. Let $J_G(\alpha)$ denote the set of all commutators $[x,\alpha]$, where $x$ belongs to an $\alpha$-invariant Sylow subgroup of $G$. We show that $[G,\alpha]$ is soluble or…

We consider actions of completely metrisable groups on simplicial trees in the context of the Bass--Serre theory. Our main result characterises continuity of the amplitude function corresponding to a given action. Under fairly mild…

We show that group actions on many treelike compact spaces are not too complicated dynamically. We first observe that an old argument of Seidler implies that every action of a topological group $G$ on a regular continuum is null and…

Motivated by the problem of reconstructing evolutionary history, Nishimura et al. defined $k$-leaf powers as the class of graphs $G=(V,E)$ which has a $k$-leaf root $T$, i.e., $T$ is a tree such that the vertices of $G$ are exactly the…

Cellular automata (CA) are a class of computational models that exhibit rich dynamics emerging from the local interaction of cells arranged in a regular lattice. In this work we focus on a generalised version of typical CA, called graph…

Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its…

We study the automorphisms of a function field of genus $g\geq 2$ over an algebraically closed field of characteristic $p>0$. More precisely, we show that the order of a nilpotent subgroup $G$ of its automorphism group is bounded by $16…

For a rational map $\phi$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $\sigma$ of $\varGamma$ induces a permutation of…

We show that the semidirect product of a group $C$ by $A*_D B$ is isomorphic to the free product of $A\rtimes C$ and $B\rtimes C$ amalgamated at $D\rtimes C$, where $A$, $B$ and $C$ are arbitrary groups. Moreover, we apply this theorem to…

A normal subgroup of the (extended) mapping class group of a surface is said to be geometric if its automorphism group is the mapping class group. We prove that in the case of the Cantor tree surface, every normal subgroup is geometric. We…

We define and study a few properties of a class of random automata networks. While regular finite one-dimensional cellular automata are defined on periodic lattices, these automata networks, called randomized cellular automata, are defined…

In this paper, we study certain dynamical properties of dill maps, a class of functions introduced in~\cite{salo2015block} that generalizes both cellular automata and substitutions. In particular, we prove that surjective uniform dill maps…