arXiv++ Combinatorics

Bass-Serre theory provides a powerful framework for studying group actions on trees. While extremely effective for structural questions in group theory, it is less suited to the systematic construction of group actions with prescribed local behaviour. Motivated by local-to-global constructions such as the Burger-Mozes universal groups and local action diagrams, we develop an analogue of Bass-Serre theory for group actions. The central object of study in our are graphs of group actions, combinatorial structures similar to graphs of groups from Bass-Serre theory, encoding compatible local permutation actions on a base graph. From these we can construct groups which act on tree-like graphs called scaffoldings and hence also on trees. We prove uniqueness and universality results for the resulting groups and show that our framework unifies and generalises (among other known constructions) both graphs of groups and local action diagrams. Remarkably, we are able to encapsulate the full generality of the former while still allowing for efficient construction of groups with certain local properties like in the latter.

We prove that on any transitive graph $G$ with infinitely many ends, a self-avoiding walk of length $n$ is ballistic with extremely high probability, in the sense that there exist constants $c,t>0$ such that $\mathbb{P}_n(d_G(w_0,w_n)\geq cn)\geq 1-e^{-tn}$ for every $n\geq 1$. Furthermore, we show that the number of self-avoiding walks of length $n$ grows asymptotically like $μ_w^n$, in the sense that there exists $C>0$ such that $μ_w^n\leq c_n\leq Cμ_w^n$ for every $n\geq 1$. Our results extend more generally to quasi-transitive graphs with infinitely many ends, satisfying the additional technical property that there is a quasi-transitive group of automorphisms of $G$ which does not fix an end of $G$.

Which polyominoes can be folded into a cube, using only creases along edges of the square lattice underlying the polyomino, with fold angles of $\pm 90^\circ$ and $\pm 180^\circ$, and allowing faces of the cube to be covered multiple times? Prior results studied tree-shaped polyominoes and polyominoes with holes and gave partial classifications for these cases. We show that there is an algorithm deciding whether a given polyomino can be folded into a cube. This algorithm essentially amounts to trying all possible ways of mapping faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a mapping corresponds to a valid folding is equivalent to the unlink recognition problem from topology. We also give further results on classes of polyominoes which can or cannot be folded into cubes. Our results include (1) a full characterisation of all tree-shaped polyominoes that can be folded into the cube (2) that any rectangular polyomino which contains only one simple hole (out of five different types) does not fold into a cube, (3) a complete characterisation when a rectangular polyomino with two or more unit square holes (but no other holes) can be folded into a cube, and (4) a sufficient condition when a simply-connected polyomino can be folded to a cube. These results answer several open problems of previous work and close the cases of tree-shaped polyominoes and rectangular polyominoes with just one simple hole.

Let $G$ be a quasi-transitive, locally finite, connected graph rooted at a vertex $o$, and let $c_n(o)$ be the number of self-avoiding walks of length $n$ on $G$ starting at $o$. We show that if $G$ has only thin ends, then the generating function $F_{\mathrm{SAW},o}(z)=\sum_{n \geq 0} c_n(o) z^n$ is an algebraic function. In particular, the connective constant of such a graph is an algebraic number. If $G$ is deterministically edge labelled, that is, every (directed) edge carries a label such that any two edges starting at the same vertex have different labels, then the set of all words which can be read along the edges of self-avoiding walks starting at $o$ forms a language denoted by $L_{\mathrm{SAW},o}$. Assume that the group of label-preserving graph automorphisms acts quasi-transitively. We show that $L_{\mathrm{SAW},o}$ is a $k$-multiple context-free language if and only if the size of all ends of $G$ is at most $2k$. Applied to Cayley graphs of finitely generated groups this says that $L_{\mathrm{SAW},o}$ is multiple context-free if and only if the group is virtually free.

Context-free grammars are not able to model cross-serial dependencies in natural languages. To overcome this issue, Seki et al. introduced a generalization called $m$-multiple context-free grammars ($m$-MCFGs), which deal with $m$-tuples of strings. We show that $m$-MCFGs are capable of comparing the number of consecutive occurrences of at most $2m$ different letters. In particular, the language $\{a_1^{n_1} a_2^{n_2} \dots a_{k}^{n_{2m+1}} \mid n_1 \geq n_2 \geq \dots \geq n_{2m+1} \geq 0\}$ is $(m+1)$-multiple context-free, but not $m$-multiple context-free.

Let $X=(V\!X,E\!X)$ be an infinite, locally finite, connected graph without loops or multiple edges. We consider the edges to be oriented, and $E\!X$ is equipped with an involution which inverts the orientation. Each oriented edge is labelled by an element of a finite alphabet $\mathbfΣ$. The labelling is assumed to be deterministic: edges with the same initial (resp. terminal) vertex have distinct labels. Furthermore it is assumed that the group of label-preserving automorphisms of $X$ acts quasi-transitively. For any vertex $o$ of $X$, consider the language of all words over $\mathbfΣ$ which can be read along self-avoiding walks starting at $o$. We characterize under which conditions on the graph structure this language is regular or context-free. This is the case if and only if the graph has more than one end, and the size of all ends is $1$, or at most $2$, respectively.

Let $X$ be an infinite, locally finite, connected, quasi-transitive graph without loops or multiple edges. A graph height function on $X$ is a map adapted to the graph structure, assigning to every vertex an integer, called height. Bridges are self-avoiding walks such that heights of interior vertices are bounded by the heights of the start- and end-vertex. The number of self-avoiding walks and the number of bridges of length $n$ starting at a vertex $o$ of $X$ grow exponentially in $n$ and the bases of these growth rates are called connective constant and bridge constant, respectively. We show that for any graph height function $h$ the connective constant of the graph is equal to the maximum of the two bridge constants given by increasing and decreasing bridges with respect to $h$. As a concrete example, we apply this result to calculate the connective constant of the Grandparent graph.