arXiv++ Combinatorics

We consider codes of length $m$ over an alphabet of size $q$ as subsets of the vertex set of the Hamming graph $Γ=H(m,q)$. A code for which there exists an automorphism group $X\leq Aut(Γ)$ that acts transitively on the code and on its set of neighbours is said to be neighbour transitive, and were introduced by the authors as a group theoretic analogue to the assumption that single errors are equally likely over a noisy channel. Examples of neighbour transitive codes include the Hamming codes, various Golay codes, certain Hadamard codes, the Nordstrom Robinson codes, certain permutation codes and frequency permutation arrays, which have connections with powerline communication, and also completely transitive codes, a subfamily of completely regular codes, which themselves have attracted a lot of interest. It is known that for any neighbour transitive code with minimum distance at least 3 there exists a subgroup of $X$ that has a $2$-transitive action on the alphabet over which the code is defined. Therefore, by Burnside's theorem, this action is of almost simple or affine type. If the action is of almost simple type, we say the code is alphabet almost simple neighbour transitive. In this paper we characterise a family of neighbour transitive codes, in particular, the alphabet almost simple neighbour transitive codes with minimum distance at least $3$, and for which the group $X$ has a non-trivial intersection with the base group of $Aut(Γ)$. If $C$ is such a code, we show that, up to equivalence, there exists a subcode $Δ$ that can be completely described, and that either $C=Δ$, or $Δ$ is a neighbour transitive frequency permutation array and $C$ is the disjoint union of $X$-translates of $Δ$. We also prove that any finite group can be identified in a natural way with a neighbour transitive code.

A simple undirected graph is weakly $G$-locally projective, for a group of automorphisms $G$, if for each vertex $x$, the stabiliser $G(x)$ induces on the set of vertices adjacent to $x$ a doubly transitive action with socle the projective group $L_{n_x}(q_x)$ for an integer $n_x$ and a prime power $q_x$. It is $G$-locally projective if in addition $G$ is vertex transitive. A theorem of Trofimov reduces the classification of the $G$-locally projective graphs to the case where the distance factors are as in one of the known examples. Although an analogue of Trofimov's result is not yet available for weakly locally projective graphs, we would like to begin a program of characterising some of the remarkable examples. We show that if a graph is weakly locally projective with each $q_x =2$ and $n_x = 2$ or $3$, and if the distance factors are as in the examples arising from the rank 3 tilde geometries of the groups $M_{24}$ and $He$, then up to isomorphism there are exactly two possible amalgams. Moreover, we consider an infinite family of amalgams of type $\mathcal{U}_n$ (where each $q_x=2$ and $n=n_x+1\geq 4$) and prove that if $n\geq 5$ there is a unique amalgam of type $\mathcal{U}_n$ and it is unfaithful, whereas if $n=4$ then there are exactly four amalgams of type $\mathcal{U}_4$, precisely two of which are faithful, namely the ones related to $M_{24}$ and $He$, and one other which has faithful completion $A_{16}$.

Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order.

Let a finite group $G$ act transitively on a finite set $X$. A subset $S\subseteq G$ is said to be {\it intersecting} if for any $s_1,s_2\in S$, the element $s_1^{-1}s_2$ has a fixed point. The action is said to have the {\it weak Erdős-Ko-Rado} property, if the cardinality of any intersecting set is at most $|G|/|X|$. If, moreover, any maximal intersecting set is a coset of a point stabilizer, the action is said to have the {\it strong Erdős-Ko-Rado} property. In this paper we will investigate the weak and strong Erdős-Ko-Rado property and attempt to classify the groups whose all transitive actions have these properties. In particular, we show that a group with the weak Erdős-Ko-Rado property is solvable and that a nilpotent group with the strong Erdős-Ko-Rado property is product of a $2$-group and an abelian group of odd order.

The sandpile group Pic^0(G) of a finite graph G is a discrete analogue of the Jacobian of a Riemann surface which was rediscovered several times in the contexts of arithmetic geometry, self-organized criticality, random walks, and algorithms. Given a ribbon graph G, Holroyd et al. used the "rotor-routing" model to define a free and transitive action of Pic^0(G) on the set of spanning trees of G. However, their construction depends a priori on a choice of basepoint vertex. Ellenberg asked whether this action does in fact depend on the choice of basepoint. We answer this question by proving that the action of Pic^0(G) is independent of the basepoint if and only if G is a planar ribbon graph.

This is the third in a series of papers in which we prove a conjecture of Boston and Shalev that the proportion of derangements (fixed point free elements) is bounded away from zero for transitive actions of finite simple groups on a set of size greater than one. This paper treats the case of primitive subspace actions. It is also shown that if the dimension and codimension of the subspace go to infinity, then the proportion of derangements goes to one. Similar results are proved for elements in finite classical groups in cosets of the simple group. The results in this paper have applications to probabilistic generation of finite simple groups and maps between varieties over finite fields.

A key fact in the theory of Boolean functions $f : \{0,1\}^n \to \{0,1\}$ is that they often undergo sharp thresholds. For example: if the function $f : \{0,1\}^n \to \{0,1\}$ is monotone and symmetric under a transitive action with $\E_p[f] = \eps$ and $\E_q[f] = 1-\eps$ then $q-p \to 0$ as $n \to \infty$. Here $\E_p$ denotes the product probability measure on $\{0,1\}^n$ where each coordinate takes the value $1$ independently with probability $p$. The fact that symmetric functions undergo sharp thresholds is important in the study of random graphs and constraint satisfaction problems as well as in social choice.In this paper we prove sharp thresholds for monotone functions taking values in an arbitrary finite sets. We also provide examples of applications of the results to social choice and to random graph problems. Among the applications is an analog for Condorcet's jury theorem and an indeterminacy result for a large class of social choice functions.

We present a constructive proof that there exists a decomposition of the 2-skeleton of the k-dimensional cross polytope $β^k$ into closed surfaces of genus $g \leq 1$, each with a transitive automorphism group given by the vertex transitive $\mathbb{Z}_{2k}$-action on $β^k$. Furthermore we show that for each $k \equiv 1,5(6)$ the 2-skeleton of the (k-1)-simplex is a union of highly symmetric tori and Möbius strips.

We show that every countable non-abelian free group $Γ$ admits a spherically transitive action on a rooted tree $T$ such that the action of $Γ$ on the boundary of $T$ is not essentially free. This reproves a result of Bergeron and Gaboriau. The existence of such an action answers a question of Grigorchuk, Nekrashevich and Sushchanskii.

Let $Γ=(V,E)$ be a point-symmetric reflexive relation and let $v\in V$ such that $|Γ(v)|$ is finite (and hence $|Γ(x)|$ is finite for all $x$, by the transitive action of the group of automorphisms). Let $j\in \N$ be an integer such that $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Our main result states that $$ |Γ^{j} (v)|\ge | Γ^{j-1} (v)| + |Γ(v)|-1.$$ As an application we have $ |Γ^{j} (v)| \ge 1+(|Γ(v)|-1)j.$ The last result confirms a recent conjecture of Seymour in the case of vertex-symmetric graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvist conjecture for vertex-symmetric graphs and generalizes an additive result of Shepherdson.