arXiv++ Combinatorics

The relative fixity of a permutation group is the maximum proportion of the points fixed by a non-trivial element of the group and the relative fixity of a graph is the relative fixity of its automorphism group, viewed as a permutation group on the vertex-set of the graph. We prove in this paper that the relative fixity of connected $2$-arc-transitive graphs of a fixed valence tends to $0$ as the number of vertices grows to infinity. We prove the same result for the class of arc-transitive graphs of a fixed prime valence, and more generally, for any class of arc-transitive locally-$L$ graphs, where $L$ is a fixed quasiprimitive graph-restrictive permutation group.

Recently, Huang gave a very elegant proof of the Sensitivity Conjecture by proving that hypercube graphs have the following property: every induced subgraph on a set of more than half its vertices has maximum degree at least $\sqrt{d}$, where $d$ is the valency of the hypercube. This was generalised by Alon and Zheng who proved that every Cayley graph on an elementary abelian $2$-group has the same property. Very recently, Potechin and Tsang proved an analogous results for Cayley graphs on abelian groups. They also conjectured that all Cayley graphs have the analogous property. We disprove this conjecture by constructing various counterexamples, including an infinite family of Cayley graphs of unbounded valency which admit an induced subgraph of maximum valency $1$ on a set of more than half its vertices.

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.

A vertex colouring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Tucker conjectured that if every automorphism of a connected, locally finite graph moves infinitely many vertices, then there is an asymmetric colouring with $2$ colours. We make progress on this conjecture in the special case of graphs with bounded maximal degree. More precisely, we prove that if every automorphism of a connected graph with maximal degree $Δ$ moves infinitely many vertices, then there is an asymmetric colouring using $\mathcal O(\sqrt Δ\log Δ)$ colours. This is the first improvement over the trivial bound of $\mathcal O(Δ)$.

An edge-colouring of a graph is distinguishing, if the only automorphism which preserves the colouring is the identity. It has been conjectured that all but finitely many connected, finite, regular graphs admit a distinguishing edge-colouring with two colours. We show that all such graphs except $K_2$ admit a distinguishing edge-colouring with three colours. This result also extends to infinite, locally finite graphs. Furthermore, we are able to show that there are arbitrary large infinite cardinals $κ$ such that every connected $κ$-regular graph has distinguishing edge-colouring with two colours.

It is known that the cop number $c(G)$ of a connected graph $G$ can be bounded as a function of the genus of the graph $g(G)$. The best known bound, that $c(G) \leq \left\lfloor \frac{3 g(G)}{2}\right\rfloor + 3$, was given by Schröder, who conjectured that in fact $c(G) \leq g(G) + 3$. We give the first improvement to Schröder's bound, showing that $c(G) \leq \frac{4g(G)}{3} + \frac{10}{3}$.

We show that the cop number of toroidal graphs is at most 3. This resolves a conjecture by Schroeder from 2001 which is implicit in a question by Andreae from 1986.

We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms of tree amalgamations. We obtain applications of our results for hyperbolic graphs, planar graphs and graphs without any thick end. The application for planar graphs answers a question of Mohar in the affirmative.

A well-known result of Benjamini, Lyons, Peres, and Schramm states that if $G$ is a finitely generated Cayley graph of a group $Γ$, then $Γ$ is amenable if and only if $G$ admits a $Γ$-invariant random spanning tree with at most two ends. We show that this is equivalent to the existence of a $Γ$-invariant random spanning double ray in a power of $G$.

Call a colouring of a graph distinguishing, if the only colour preserving automorphism is the identity. A conjecture of Tucker states that if every automorphism of a graph $G$ moves infinitely many vertices, then there is a distinguishing $2$-colouring. We confirm this conjecture for graphs with maximum degree $Δ\leq 5$. Furthermore, using similar techniques we show that if an infinite graph has maximum degree $Δ\geq 3$, then it admits a distinguishing colouring with $Δ- 1$ colours. This bound is sharp.

The distinguishing number of a graph $G$ is the smallest $k$ such that $G$ admits a $k$-colouring for which the only colour-preserving automorphism of $G$ is the identity. We determine the distinguishing number of finite $4$-valent vertex-transitive graphs. We show that, apart from one infinite family and finitely many examples, they all have distinguishing number $2$.

Let $c$ and $c'$ be edge or vertex colourings of a graph $G$. We say that $c'$ is less symmetric than $c$ if the stabiliser (in $\operatorname{Aut} G$) of $c'$ is contained in the stabiliser of $c$. We show that if $G$ is not a bicentred tree, then for every vertex colouring of $G$ there is a less symmetric edge colouring with the same number of colours. On the other hand, if $T$ is a tree, then for every edge colouring there is a less symmetric vertex colouring with the same number of edges. Our results can be used to characterise those graphs whose distinguishing index is larger than their distinguishing number.

If a graph $G$ has distinguishing number 2, then there exists a partition of its vertex set into two parts, such that no nontrivial automorphism of $G$ fixes setwise the two parts. Such a partition is called a 2-distinguishing coloring of $G$, and the parts are called its color classes. If $G$ admits such a coloring, it is often possible to find another in which one of the color classes is sparse in a certain sense. In this case we say that $G$ has 2-distinguishing density zero. An extreme example of this would be an infinite graph admitting a 2-distinguishing coloring in which one of the color classes is finite. If a graph $G$ contains a vertex $v$ such that, for all $n \in \mathbb N$, any two distinct vertices equidistant from $v$ have nonequal $n$-spheres, then we say that $G$ satisfies the Distinct Spheres Condition. In this paper we prove a general result: any countable connected graph that satisfies the Distinct Spheres Condition is 2-distinguishable with density zero. We present two proofs of this, one that uses a deterministic coloring, and another (that applies only to locally finite graphs) using a random coloring. From this result, we deduce that several important families of countably infinite and connected graphs are 2-distinguishable with density zero, including those that are locally finite and primitive. Furthermore, we prove that any connected graph with infinite motion and subquadratic growth is 2-distinguishable with density zero.

We prove that any one-ended, locally finite Cayley graph with non-torsion generators admits a decomposition into edge-disjoint Hamiltonian (i.e. spanning) double-rays. In particular, the $n$-dimensional grid $\mathbb{Z}^n$ admits a decomposition into $n$ edge-disjoint Hamiltonian double-rays for all $n \in \mathbb{N}$.

We study Hartnell's firefighter problem on infinite trees and characterise the branching number in terms of the firefighting game. Using our results about trees, we give a partial answer to a question of Martínez-Pedroza concerning firefighting on Cayley graphs.

A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended graph contains no ray which is dominated by a vertex and no infinite family of pairwise disjoint rays, then it has a tree-decomposition such that the decomposition tree is one-ended and the tree-decomposition is invariant under the group of automorphisms. This can be applied to prove a conjecture of Halin from 2000 that the automorphism group of such a graph cannot be countably infinite and solves a recent problem of Boutin and Imrich. Furthermore, it implies that every transitive one-ended graph contains an infinite family of pairwise disjoint rays.

A \emph{dynamic colouring} of a graph is a proper colouring in which no neighbourhood of a non-leaf vertex is monochromatic. The \emph{dynamic colouring number} $χ_2(G)$ of a graph $G$ is the least number of colours needed for a dynamic colouring of $G$. Montgomery conjectured that $χ_2(G) \leq χ(G) + 2$ for all regular graphs $G$, which would significantly improve the best current upper bound $χ_2(G) \leq 2χ(G)$. In this note, however, we show that this last upper bound is sharp by constructing, for every integer $n \geq 2$, a regular graph $G$ with $χ(G) = n$ but $χ_2(G) = 2n$. In particular, this disproves Montgomery's conjecture.

Two graphs $G$ and $H$ are \emph{hypomorphic} if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is \emph{reconstructible} if $H \cong G$ for all $H$ hypomorphic to $G$. Nash-Williams proved that all locally finite graphs with a finite number $\geq 2$ of ends are reconstructible, and asked whether locally finite graphs with one end or countably many ends are also reconstructible. In this paper we construct non-reconstructible graphs of bounded maximum degree with one and countably many ends respectively, answering the two questions of Nash-Williams about the reconstruction of locally finite graphs in the negative.

The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. In this note we characterize trees for which this inequality is sharp. We also show that if $G$ is a connected unicyclic graph, then $D'(G) = D(G)$.

Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$. It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally finite trees are reconstructible. In this paper, we construct a counterexample to the Harary-Schwenk-Scott Conjecture. Our example also answers four other questions of Nash-Williams, Halin and Andreae on the reconstruction of infinite graphs.