arXiv++ Combinatorics

We review the problem of finding paths in Cayley graphs of groups and group actions, using the Rubik's cube as an example, and we list several more examples of significant mathematical interest. We then show how to formulate these problems in the framework of diffusion models. The exploration of the graph is carried out by the forward process, while finding the target nodes is done by the inverse backward process. This systematizes the discussion and suggests many generalizations. To improve exploration, we propose a ``reversed score'' ansatz which substantially improves over previous comparable algorithms.

The Lights Out Puzzle, played on a graph $Γ$, has been studied using linear algebra over $\mathbb{F}_2$ and more generally over $\mathbb{Z}/k\mathbb{Z}$. We generalize the setting by allowing the states of vertices to be the elements of a group $G$, where a \textit{click} in vertex $v$ multiplies the state of $v$ and its neighbors by an element $g \in G$ on the right. Starting with the identity element $e \in G$ for all vertices, the totality of all achievable state configurations forms a group $G^Γ$. This group generalizes parallel products of group actions and provides a rich structure for analysis. For many graphs, which we term ``RA'' (reducible to abelian), the problem reduces -- regardless of $G$ -- to a linear algebra question over $\mathbb{Z}$. We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that families of graphs are RA using each. In particular, using Heisenberg groups, we establish that a graph is RA precisely when a certain lattice spans $\mathbb{Z}^{|Γ|}$. While most graphs appear to be RA, we show the odd-dimensional cube graphs $Q_{2n+1}$ and folded cube graphs $\square_d$, for $d$ odd or 2, are not.

The (right) $q$-deformed rational numbers was introduced by Morier-Genoud and Ovsienko, and its left variant, whose numerators and denominators are essentially the normalized Jones polynomials of rational links, by Bapat, Becker and Licata. These notions are based on continued fractions and the $q$-deformed modular group $\operatorname{PSL}_q(2,\mathbb{Z})$-actions. In this paper, we introduce the \textit{$q$-transpose} for matrices in $\operatorname{PSL}_q(2,\mathbb{Z})$ to refine the basic perspective of the theory. For example, we present a new proof and a refinement of a theorem of Leclere and Morier-Genoud stating that the trace of $A \in \operatorname{PSL}(2,\mathbb{Z})$ is always palindromic and sign coherent. We also show arithmetic/combinatorial results on left $q$-deformed rationals (e.g., the criterion for their palindromicity). Finally, we discuss the connection to the conjecture of Kantarcı Oğuz on circular fence posets.

This paper introduces a novel and general algorithm for approximately counting the number of orbits under group actions. The method is based on combining the Burnside process and importance sampling. Specializing to unitriangular groups yields an efficient algorithm for estimating the number of conjugacy classes of such groups.

A code ${\mathcal C}$ is a subset of the vertex set of a Hamming graph $H(n,q)$, and ${\mathcal C}$ is $2$-neighbour-transitive if the automorphism group $G={\rm Aut}({\mathcal C})$ acts transitively on each of the sets ${\mathcal C}$, ${\mathcal C}_1$ and ${\mathcal C}_2$, where ${\mathcal C}_1$ and ${\mathcal C}_2$ are the (non-empty) sets of vertices that are distances $1$ and $2$, respectively, (but no closer) to some element of ${\mathcal C}$. Suppose that ${\mathcal C}$ is a $2$-neighbour-transitive code with minimum distance at least $5$. For $q=2$, all `minimal' such ${\mathcal C}$ have been classified. Moreover, it has previously been shown that a subgroup of the automorphism group of the code induces an affine $2$-transitive group action on the alphabet of the Hamming graph. The main results of this paper are to show that this affine $2$-transitive group must be a subgroup of ${\rm A}Γ{\rm L}_1(q)$ and to provide a number of infinite families of examples of such codes. These examples are described via polynomial algebras related to representations of certain classical groups.

Let $G$ be a finite group acting on a vector space $V = \mathbb{F}_p^n$ over a prime field. Given finite sets $S \subset G$ and $E \subset V$, we study the restricted orbit union $S(E) = \bigcup_{g\in S} g(E)$ and establish quantitative lower bounds for $|S(E)|$ in terms of $|S|$, $|E|$, and natural structural conditions. This finite field packing problem has connections to distance geometry, configuration counting, and expanding graphs. For $G = SL_2(\mathbb{F}_p)$ acting on $\mathbb{F}_p^2$, we prove that $$|S(E)| \gg \min\left\lbrace p^2, \frac{|S||E|}{p^2}\right\rbrace,$$ which is sharp. Under geometric non-concentration conditions on $E$ and subgroup-avoidance hypotheses on $S$, we obtain a power-saving improvement of the form $$|S(E)|\gg \min \left\lbrace p^2, ~\max\left\lbrace\frac{|S||E|}{pk}, ~\frac{|S|^{\frac{1}{2}}|E|}{p^{\frac{1-ε}{2}}k^{\frac{1}{2}}}\right\rbrace \right\rbrace,$$ where $k$ bounds the radial multiplicity of $E$. For small sets $|E| \leq p$, we establish optimal bounds using weighted incidence theory. Analogous results are proved for the first Heisenberg group $\mathbb{H}_1(\mathbb{F}_p)$ acting on $\mathbb{F}_p^3$. Our approach reformulates the problem as an incidence question in a bipartite action graph. The proofs combine Fourier analytic techniques, energy estimates, point-line incidence bounds, and area-energy inequalities for skew dot products. The methods extend classical sum-product type problems and incidence theory to noncommutative group actions.

There is strong evidence for the belief that `almost all' finite semigroups, whether we consider multiplication operations on a fixed set or their isomorphism classes, are nilpotent of index 3 (3-nilpotent for short). The only known method for counting all semigroups of given order is exhaustive testing, but formulae exist for the numbers of 3-nilpotent ones, and it is also known that `almost all' of these are rigid (have only trivial automorphism). Here we express the number of distinct 3-nilpotent semigroup operations on a fixed set of cardinality $n$ as a sum of Stirling numbers, and provide a new expression for the number of isomorphism classes of 3-nilpotent semigroups of cardinality $n$. We introduce a notion of semirigidity for semigroups (as a generalization of rigidity) and find computationally tractable formulae giving an upper bound for the number of pairwise non-isomorphic semirigid 3-nilpotent semigroups, and thus an improved lower bound for the number of all 3-nilpotent semigroups up to isomorphism. Analogous formulae are also developed for isomorphism classes such as commutative and self-dual semigroups, and for equivalence classes (isomorphic or anti-isomorphic). The method relies on an application of the theory of orbit counting in permutation group actions. Our main results are accompanied by tables containing values of these numbers and bounds up to $n=10$ with computations carried out in GAP (but perfectly feasible well beyond this value of $n$).

We define an algorithm on fermionic and bosonic twisted multiline queues that projects to the multispecies totally asymmetric simple exclusion process (TASEP) and the totally asymmetric zero range process (TAZRP) on a ring, respectively. Our algorithm on fermionic multiline queues generalizes the Ferrari-Martin algorithm for TASEP, and we show it is equivalent to the algorithm of Arita-Ayyer-Mallick-Prolhac (2011). Our algorithm on bosonic multiline queues is novel and generalizes the corresponding algorithm of Kuniba-Maruyama-Okado (2016) for the TAZRP. We also define a Markov process on bosonic twisted multiline queues that projects to the TAZRP and intertwines with the symmetric group action on the rows of the multiline queues.

One method to generate random permutations involves using Gaussian elimination with partial pivoting (GEPP) on a random matrix $A$ and storing the permutation matrix factor $P$ from the resulting GEPP factorization $PA=LU$. We are interested in exploring properties of random butterfly permutations, which are generated using GEPP on specific random butterfly matrices. Our paper highlights new connections among random matrix theory, numerical linear algebra, group actions of rooted trees, and random permutations. We address the questions of the longest increasing subsequence (LIS) and number of cycles for particular uniform butterfly permutations, with full distributional descriptions and limit theorems for simple butterfly permutations. We also establish scaling limit results and limit theorems for nonsimple butterfly permutations, which include certain $p$-Sylow subgroups of the symmetric group of $N=p^n$ elements for prime $p$. For the LIS, we establish power law bounds on the expected LIS of the form $N^{α_p}$ and $N^{β_p}$ where $\frac12 < α_p < β_p < 1$ for each $p$ with $α_p = 1 - o_p(1)$, showing distinction from the typical $O(N^{1/2})$ expected LIS frequently encountered in the study of random permutations (e.g., uniform permutations). For the number of cycles scaled by $(2-1/p)^n$, we establish a full CLT to a new limiting distribution depending on $p$ with positive support we introduce that is uniquely determined by its positive moments that satisfy explicit recursive formulas; this thus determines a CLT for the number of cycles for any uniform $p$-Sylow subgroup of $S_{p^n}$.

We introduce a new family of oriented manifolds with boundaries called the forest biassociahedra and forest bimultiplihedra, generalizing the standard biassociahedra. They are defined as moduli spaces of ascending-descending biforests and are expected to act as parameter spaces for operations defined on Morse and Floer chains in the context of compact Lie group actions. We study the structure of their boundary, and derive some algebraic notions of ``$f$-bialgebras'', as well as related notions of bimodules, morphisms and categories. This allows us to state some conjectures describing compact Lie group actions on Morse and Floer chains, and on Fukaya categories.

The cyclic sieving phenomenon provides a link between a polynomial analogue of Gauss congruence known as $q$-Gauss congruence, and a combinatorial analogue of Gauss congruence based on sequences of cyclic group actions. We strengthen this link in two major ways: by characterising $q$-Gauss congruence via explicit formulae, and by developing a universal model for the combinatorics based on necklaces which allow beads to vary in both colour and length. This gives many novel examples of cyclic sieving involving necklaces, path walks, tubings and more. We extend the definition of Gauss congruence to sequences indexed by an arbitrary ranked semigroup, and synthesise known results into this theory.

In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be defined for any finite subset $S$ of a group, and we refer to such a process as simply ``solitaire''. We develop a general theory of solitaire, and then concentrate on the simplest possible example, solitaire for the plane $\mathbb{Z}^2$, and $S$ the triangle shape (equivalently, any three-element set in general position). In this case, we give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a so-called fill matrix. We show that the diameter of the line orbit, as a graph with edges the solitaire moves, is cubic. We show that analogous results hold for the square shape, but indicate some shapes (still on the group $\mathbb{Z}^2$) where this is less immediate. We then explain in detail the connection of the solitaire to TEP and more generally permutive subshifts. Namely, the solitaire is a closure property of various sets of subsets of the group that can be associated to such a subshift, such as the independence, spanning and filling sets.

The enumeration of weighted walks in the quarter plane reduces to studying a functional equation with two catalytic variables. When the steps of the walk are small, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be crucial in the classification of the small steps models. In particular, its action on the catalytic variables provides a convenient set of changes of variables in the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer (BBMM). However, the orbit had till now no underlying group. In this article, we endow the orbit with the action of a Galois group, which extends the notion of the group of the walk to models with large steps. As an application, we look into a general strategy to prove the algebraicity of models with small backwards steps, which uses the fundamental objects that are invariants and decoupling. The group action on the orbit allows us to develop a Galoisian approach to these two notions. Up to the knowledge of the finiteness of the orbit, this gives systematic procedures to test their existence and construct them. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of BBMM, and allowing to find new algebraic models with large steps.

For given linear action of a finite group on a lattice and a positive integer q, we prove that the mod q permutation representation is a quasi-polynomial in q. Additionally, we establish several results that can be considered as mod q-analogues of results by Stapledon for equivariant Ehrhart quasi-polynomials. We also prove a reciprocity-type result for multiplicities of irreducible decompositions.

We consider when finite families $F \subseteq \mathbb{C}[t]$ of bounded degree polynomials, or more generally of bounded complexity finite-to-finite correspondences on $\mathbb{C}$, can exhibit non-expansion of the form $|F(A)| = O(|A|^{1+η})$ in their actions on finite sets $A \subseteq \mathbb{C}$ with $|F| \gg |A|^\eps \gg 1$, for a fixed $\eps>0$ and arbitrarily small $η>0$. Our conclusions generalise the Elekes-Rónyai and Elekes-Szabó theorems, which correspond to the case that $F$ is parametrised by a single complex variable and $|F|=|A|$. Our result also applies to families of correspondences between varieties of arbitrary dimension if we impose a general position assumption on $A$. In all cases, the conclusion is that a commutative algebraic group structure is responsible. As a special case, we obtain asymmetric versions of Elekes-Rónyai and Elekes-Szabó, with explicit bounds on exponents. Our methods originate in model theory.

The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic group action on the decorated square paths which we call cutting and pasting, we show that $\left.\left\langle \frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n), h_1^n\right\rangle\right|_{q=-1}$ is $0$ whenever $n-k$ is even, and is a positive polynomial related to the Euler numbers when $n-k$ is odd. We also show that the combinatorics of this enumerator is closely connected to that of the Dyck path enumerator for $\langleΔ_{e_{n-k-1}}'e_n,h_1^n\rangle$ considered by Corteel-Josuat Vergès-Vanden Wyngaerd.

We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs. Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.

Weight enumerators are important tools for deciphering the algebraic structure of the related code spaces and for understanding group actions on these spaces. Our study focuses on symmetrized weight enumerators of pairs of Type II codes over the finite field $\mathbb{F}_{2}$ and the ring $\mathbb{Z}_{4}$. These pairs have been examined as invariants for a specified group. In particular, we concentrate on the scenarios where the space of the invariant ring is of degree 8 and 16. Our findings show that in certain situations, the ring produced by the symmetrized weight enumerators precisely matches with the invariant ring of the designated group. This coincidence points to a profound relationship between the invariant ring's structure and the algebraic characteristics of the weight enumerators.

We construct a ternary [49,25,7] code from the row span of a Jacobsthal matrix. It is equivalent to a Generalized Quadratic Residue (GQR) code in the sense of van Lint and MacWilliams (1978). These codes are the abelian generalizations of the quadratic residue (QR) codes which are cyclic. The union of the [50,25,8] extension of the said code and its dual supports a 3-(50,14,1248) design. The automorphism group of the latter design is a double cover of the permutation part of the automorphism group of the [50,25,8] code, which is isomorphic to $PΣL(2,49).$ Other weights in this code, other GQR codes, and other QR codes yield other 3-designs by the same process. A simple group action argument is provided to explain this behaviour of isodual codes.

For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then use these generalised orbit rigidity matrices to provide necessary conditions for infinitesimal rigidity for frameworks that are symmetric with a cyclic group that acts freely or non-freely on the vertices. Moreover, for the reflection, the half-turn, and the three-fold rotational group in the plane, we establish complete combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks. This extends well-known characterisations for these groups to the case when the group action is not necessarily free on the vertices. The presence of vertices that are fixed by non-trivial group elements requires the introduction of generalised versions of group-labelled quotient graphs leads to more refined types of combinatorial sparsity counts for characterising symmetry-generic infinitesimal rigidity.