arXiv++ Combinatorics

We prove that at every infinite cardinality, every group which is neither abelian of exponent greater than two nor generalized dicyclic admits a graphical regular representation, settling the infinite-group part of Watkins's conjecture. We also determine the Cayley index of every infinite group: it is $1$, $2$, or $8$, according to its algebraic type, and in every case the index is attained by a connected Cayley graph. For every infinite group $G$ of cardinality $κ$, we construct $2^κ$ pairwise nonisomorphic Cayley graphs with exactly the unavoidable inverse-pair symmetries, diameter two, and $κ$ common neighbors at every distinct pair. The principal tool recovers a continuous ordinal hierarchy from an alternating adjacency baseline with bounded-degree errors: robust finite patterns identify the initial classes, successive twin quotients recover the layers, and their finite exception packets determine the translation action. The reconstruction applies without a group action and is stable under additional layerwise bounded-degree edits. Further results give closed Cantor-cube families with prescribed finite data in the regular cases, sharp cofinality-dependent graph properties, and optimal three-valued shortest-path metrics.

For every fixed integer $d\geq2$, we prove that the finite graphs receiving a continuous homomorphism from the standard Schreier graph $F(2^{\mathbb Z^d})$ form a $Σ^0_1$-complete set. This extends a theorem of Gao, Jackson, Krohne and Seward when $d=2$. For the positive part of the reduction, we show that if a graph $H$ satisfies a certain property then there is a continuous graph homomorphism from $F(2^{\mathbb Z^d})$ to $H$, in particular, the complete graph $K_4$ satisfies this property. This extends a theorem of Gao and Jackson. We also prove that $\big (\mathcal H_d\big )$ is a strictly decreasing sequence.

Givental-Kim and Ciocan-Fontanine gave an explicit presentation of the quantum cohomology ring of the flag variety. The author and Shirato introduced an algebraic generalization of their presentation in the context of the coordinate rings of regular nilpotent Hessenberg varieties. In particular, they connect the coordinate ring of the lower unipotent group in a general linear group and the polynomial ring with quantum parameters. In this paper we consider the dual of the connection and we see that the Plücker coordinates correspond to the quantizations of Schur polynomials. As an application of the connection, we construct an action of the symmetric group on the polynomial ring with quantum parameters. Using the symmetric group action, one can define the divided difference operators on the polynomial ring with quantum parameters. We study the quantizations of Schubert polynomials in relation to the divided difference operators.

Skew-symmetric matrix Schubert varieties are determinantal varieties obtained by intersecting matrix Schubert varieties with the space of skew-symmetric matrices. They are closely related to the orbit closures of the symplectic group action on the flag variety, and their torus-equivariant K-classes are the symplectic Grothendieck polynomials. We compute the Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties by giving a combinatorial formula for the degree of symplectic Grothendieck polynomials. In addition, we characterize the highest-degree homogeneous component of a symplectic Grothendieck polynomial and compute the maximal Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties.

Motivated by the Morse--Seelinger conjecture on type C $k$-Schur functions, we develop a permutation model for type C strong marked tableaux. Using type C transpositions, we give an explicit correspondence with the symmetric-core model that preserves the marking data. We also describe the induced affine Weyl group action on bounded partitions.

Han, Jouhet and Zeng established $q$-analogues of the $γ$-expansion formulas for Eulerian polynomials of types $A$ and $B$. Combinatorial interpretations of the corresponding coefficients$a_{n,k}(q)$ and $b_{n,k}(q)$, however, remained open. In this paper, we provide combinatorial interpretations for thesecoefficients by using the model of increasing binary trees, thereby resolving a problem posed by Han, Jouhet and Zeng. Our combinatorial approach consists of three main steps: 1. construct a Carlitz-type insertion bijection for increasing binary trees and derive a new combinatorial interpretation ofCarlitz's $q$-Eulerian polynomials of type $A$ in terms of such trees; 2. introduce a generalized Foata--Strehl action on increasing binary trees to interpret the coefficients $a_{n,k}(q)$;3. derive a new combinatorial interpretation for the $q$-Eulerianpolynomials of type $B$ introduced by Chow and Gessel in terms of increasing binary trees of type $B$, and develop a generalizedFoata--Strehl action on these trees to interpret the coefficients $b_{n,k}(q)$. We further give combinatorial interpretations for the quotients ${a_{n,k}(q)/(-q;q)_{k-1}}$ and ${b_{n,k}(q)/(1+q)^k(-q;q^2)_k}$ in terms of André trees and a certain class of increasing binary trees of type $B$, respectively. As an application of the latter interpretation, we obtain a combinatorial interpretation for a $q$-analogue of the secant number and prove the positivity conjecture of Han, Jouhet and Zeng.

We study avoidance of patterns of length $3$ with three distinct letters in canon permutations. We reduce the problem to studying pattern avoidance in lattice words and show that there are $6$ such pattern avoiding classes. This shows that there are $12$ classes for the original Canon permutation pattern avoidance problem. We also give descent refinements for these classes and classify the patterns for which the descent enumeration gives palindromic and $γ$-positive polynomials. When the polynomials are $γ$-positive, we explain the $γ$-positivity through a group action analogous to Foata-Strehl valley hopping. Additionally, we study the avoidance of patterns in the relabelling orbit of $1213, 12112, 1231$ after a conjecture about their cardinalities by Laudone and give bijective proofs for the results.

We investigate manifestations of the Nilpotent Heuristic, which posits that recurrence and convergence phenomena known for measure-preserving $\mathbb{Z}^D$-systems extend to nilpotent group actions. Our main results establish seminorm estimates and limiting formulas for multiple ergodic averages arising from actions of 2-step nilpotent groups. In particular, if $T_1,\ldots,T_\ell$ are totally ergodic and generate a 2-step nilpotent group, then \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T_1^n f_1 \cdots T_\ell^{n^\ell}f_\ell = \prod_{j=1}^{\ell}\int f_j\,dμ\] in the $L^{2}$ norm for all bounded functions $f_{1},\dots,f_{\ell}$; the same holds for any distinct-degree polynomial iterates. We also obtain popular-common-difference versions of the polynomial Szemeédi theorem in the same setting. In a different direction, our approach allows us to completely resolve the joint ergodicity conjecture for multidimensional polynomials and $\mathbb Z^D$-systems; we also present an example showing that, surprisingly enough, the 2-step nilpotent analog fails. We conclude with many open problems concerning joint ergodicity, seminorm estimates, and the structure theory of nilpotent systems.

In this paper we introduce the group action-stabilizer graph $GAS(G)$ of a group $G$ on a set $X$ with vertex set as the collection of all the group actions of $G$ on $X$, and any two vertices $φ$ and $ψ$ are adjacent if and only if the non-trivial subgroups $\cap G_x^φ$ and $\cap G_x^ψ$ of $G$ intersect non-trivially, where $G_x^φ$ and $G_x^ψ$ are two stabilizers of $x$ with respect to the actions $φ$ and $ψ$, respectively. We characterize a special subgraph $gas(G)$ of $GAS(G)$ in which the vertex set contains the actions $φ$ of $G$ on $X$ such that $\cap G_x^φ$'s are distinct. We determine the number of group actions within some specific groups and find certain conditions under which $GAS(G)$ is equal to $gas(G)$. We also examine the conditions under which $gas(G)$ and its complement are derived graph for a finite nilpotent group $G$.

The Vietoris-Rips complex of a metric space is the simplicial complex whose faces are the subsets of points with pairwise distance bounded above by a given scale $r$. In this paper, we study Vietoris-Rips complexes on the vertex set of the $n$-dimensional hypercube equipped with the Hamming distance. These complexes are stable under the action of the automorphism group of the hypercube graph, also known as the hyperoctahedral group, which therefore acts on their homology groups. Our results completely describe the decomposition of these homology groups into irreducible representations of the hyperoctahedral group at scales $r\leqslant 3$ and $r=n-1$.

Configuration spaces of graphs frequently grow factorially in complexity with the number of particles they parametrize. However, for suitable families of nested graphs $G_\bullet$ with compatible symmetric group actions, Ramos and White prove that, for fixed $k$, the rational homology of the $k$\textsuperscript{th} configuration spaces of $G_\bullet$ has multiplicity stability. In the current work, we derive the stable range and use computer algebra to determine the stable representations on homology for $k=2$ and $G_\bullet$ several families of graphs, including the complete graphs, the complete bipartite graphs on $2n$ vertices, the crown graphs on $2n$ vertices, and the complete tripartite graphs on $2n+1$ vertices. We determine the stable multiplicities for certain irreducible components in the case $k=3$ and $G_\bullet$ the complete graphs.

Let $G$ be a locally finite multigraph that is bipartite and "unbalanced," meaning that it has a nontrivial bipartition $(A,B)$ with $°(x) > °(y)$ for all $x \in A$ and $y \in B$. We explore matchings in such graphs through the lens of descriptive set theory. In particular, we show that when $G$ is Borel and $μ$ is a Borel probability measure on its vertex set, there is a Borel matching in $G$ that covers $μ$-almost every vertex in $A$. This was previously known only under the assumption that $μ$ is $G$-invariant, which we eliminate using a novel probabilistic approach. We also describe various extra conditions that imply the existence of a Borel matching covering every vertex in $A$. Along the way, we confirm a conjecture of the first and third named authors concerning the existence of Borel independent complete sections in Borel graphs of finite asymptotic separation index. In addition to their intrinsic interest, our results have applications to various other topics, such as edge-colorings, balanced orientations, and equidecomposition theory for group actions. For example, we show that the measurable edge-chromatic number of every Borel multigraph with finite maximum degree $Δ$ is at most $\lfloor\frac{3Δ}{2}\rfloor$, matching Shannon's optimal bound for finite multigraphs. Another example is that paradoxical Borel group actions with finite asymptotic separation index admit paradoxical decompositions with Borel pieces. This refines a result of Marks and Unger.

Let $G$ be a finite group acting on a finite set $X$. This group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is projected to orbits. We initiate the study of the Burnside process on Catalan structures. We consider two special cases: the first where the state space is the set of parking functions of length $n$ and $G = S_n$ is the symmetric group on $[n]$, such that $G$ acts by permuting coordinates, and the second where the state space is the set of labeled Dyck paths of length $2n$ and $G = S_n$ acts by permuting labels. The resulting Burnside processes give novel algorithms for sampling, respectively, an increasing parking function and a Dyck path approximately uniformly at random. Our main result shows that both processes are rapidly mixing, with mixing times upper bounded by $O(n \log n)$. As an application, we show how our Burnside process can be used to sample triangulations of an $(n+2)$-gon approximately uniformly at random.

We derive a graded character formula for the action of any finite group on the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan, which is given by an equivariant version of the classical h-polynomial. This gives the graded character formula for the representation of the group on the cohomology of the associated toric variety when the fan is rational. As an application, we use a navel tool, which we called hybrid fan, to compute the Poincaré polynomial of the invariants of the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan under a finite reflection group action. This implies that the Poincaré polynomial of the quotient of a compact toric orbifold by any finite reflection group is equal to the Poincaré polynomial of the compact toric orbifold associated to the hybrid fan.

We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions. The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation. We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries. The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4. The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented. Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.

In this paper, we define dual codes over arbitrary finite rings with respect to arbitrary bilinear forms and provide a generalization of Hayden's theorem (Bridges, Hall, and Hayden, 1981). Building on this foundation, we introduce the concept of $G$-dual codes for codes invariant under a permutation group $G$, referred to as $G$-codes. We then present several generalizations of Atsumi's MacWilliams identity (Atsumi, 1995; Chakraborty and Miezaki, 2023) for $G$-codes over finite rings with respect to general bilinear forms. Furthermore, we establish a $G$-analogue of the MacWilliams identity for $G$-full weight enumerators and introduce the notions of $G$-quadratic maps and $G$-representations for twisted modules, twisted rings, quadratic pairs, and form rings. By defining transformation groups for $G$-full weight enumerators, we extend the theory of Clifford--Weil groups (Nebe, Rains, and Sloane, 2004, 2006). Finally, we provide generalizations of Gleason-type theorems for these weight enumerators, demonstrating that the $G$-full weight enumerators of $G$-self-dual and $G$-isotropic codes are invariant under the Clifford--Weil groups and span the invariant subspaces of these groups.

We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.

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.

Based on the Reid-Shepherd-Barron-Tai criterion for canonical and terminal quotient singularities, we characterize canonicity and terminality of a toric variety in terms of its local class group actions. Specializing it to the Picard number one setting, we arrive at a classification algorithm for canonical and terminal fake weighted projective spaces in any dimension. In dimension four it gives, up to isomorphism, 710450 canonical fake weighted projective spaces. We take a look at the corresponding Calabi-Yau hypersurfaces, compute the Fine interior of the associated canonical simplices, and discuss the results.

The deep locus of a cluster variety is defined to be the set of its points that do not belong to any cluster torus. We show that, if the cluster variety has a seed whose mutable part is a tree without multiple edges, then the deep locus can be characterized as the set of points whose stabilizer under a certain group action is nontrivial. Deep points without a stabilizer are called mysterious. We establish that many other classes of acyclic quivers (including keys) often have mysterious points. This refutes Conjecture 1.1 of arXiv:2402.16970, but establishes it in many important cases.