arXiv++ Combinatorics

We prove that any finite subgroup $G \subset Γ_{\boldsymbol{s}}$ of the cluster modular group has fixed points in the cluster manifolds $\mathcal{A}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ and $\mathcal{X}_{\boldsymbol{s}}(\mathbb{R}_{>0})$ under a certain condition. This generalizes Kerckhoff's Nielsen realization theorem [Ker83] for the mapping class group action on the Teichmüller space. The condition holds whenever $Γ_{\boldsymbol{s}}$ admits a cluster DT transformation, and it can be also verified for all finite mutation types except for $X_7$. Our proof closely follows Kerckhoff's argument, based on the convexity of log-cluster variables.

In this paper, we study properties and patterns on permutations of multisets whose multivariate generating functions are symmetric. We interpret this phenomenon through the lens of group actions and define such a property or pattern as stable. We provide a complete characterization of stable classical patterns, showing that the only such patterns are those of length one or two. For consecutive patterns, we establish the stability of all monotone patterns and also identify a large class of unstable patterns. We conjecture that monotone patterns are the only stable consecutive patterns. All stability results in this paper are proven via explicit bijections, which provide new combinatorial interpretations of the symmetry of the generating functions. As an application, we use stability to derive recurrence relations for the ascent distribution on permutations of multisets, resulting in a generalization of Eulerian numbers.

The thagomizer matroid, realized as the graphic matroid of the complete tripartite graph $K_{1,1,n}$, has full automorphism group isomorphic to the hyperoctahedral group whenever $n \ge 2$. In the equivariant setting for this action, we compute both the Kazhdan--Lusztig polynomial and the inverse Kazhdan--Lusztig polynomial in the sense of Proudfoot's Kazhdan--Lusztig--Stanley theory, and we show that each coefficient is an honest representation with a multiplicity-free irreducible decomposition. Our main idea is to exploit the palindromicity of the equivariant $Z$-polynomial, reducing the computation to the already established symmetric-group equivariant Kazhdan--Lusztig theory for the graphic matroids of cycle graphs, and then to apply Proudfoot's equivariant Kazhdan--Lusztig--Stanley inversion identity to obtain the inverse polynomial. Passing to dimensions recovers the previously known nonequivariant thagomizer polynomials, while the coefficient formulas admit a natural expression in terms of the wreath product Frobenius characteristic for the hyperoctahedral group.

We introduce a novel combinatorial structure called pointed building sets, which can be viewed as families of lattices equipped with compatibility relations. To each pointed building set $\mathsf{B}$, we associate a complete lattice $\mathcal{O}(\mathsf{B})$, called the ornamentation lattice of $\mathsf{B}$. Special cases of this construction have already proven useful in understanding the structure of three families of posets: operahedron lattices, the affine Tamari lattice, and hypergraphic posets of subhypergraphs of the path hypergraph of an increasing tree. The goal of this paper is to establish the theory of these generalized ornamentations. We examine several natural classes of pointed building sets which recover classical lattices such as the Tamari lattice, the lattice of topologies ordered by coarsening, and the lattice of naturally labeled partial orders. Furthermore, several theoretical directions are explored, including inverse limits and group actions. Notably, this leads to a straightforward construction of inverse limits of Tamari lattices, yielding infinite analogs of the Tamari lattice.

The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.

The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely related to the parameter $N(n,r)$, the maximum intersection size of two Hamming balls of radius $r$. While previous work has resolved \(N(n,r)\) for small radii (\(r \leq 4\)) and established asymptotic bounds for larger \(r\), we present new exact formulas for \(r \in \{5,6,7\}\) using group action techniques. In addition, we develop a formula for \(N(n,r)\) based on the irreducible characters of the symmetric group \(S_n\), along with an algorithm that enables computation of \(N(n,r)\) for larger parameters, including cases such as \(N(43,8)\) and \(N(24,14)\).

We prove cyclic sieving phenomena satisfied by corner-rooted plane trees (alias ordered trees). The sets of rooted plane trees that we consider are: (1) all trees with $n$ nodes; (2) all trees with $n$ nodes and $k$ leaves; (3) all trees with a given degree distribution of the nodes. Moreover, we consider four different cyclic group actions: (1) the root is moved to the next corner along a tour of the tree; (2) only trees in which the root is at a leaf are considered, and the action moves the root to the next leaf; (3) only trees in which the root is at a non-leaf are considered, and the action moves the root to the next non-leaf corner; (4) only trees in which the root is at a node of degree $δ$ are considered, for a fixed $δ$, and the action moves the root to the next corner of this type. We prove a cyclic sieving phenomenon for each meaningful combination of these sets and actions. As a bonus, we also establish corresponding cyclic sieving phenomena for tree-rooted planar maps.

Two fundamental ways to represent a group are as permutations and as matrices. In this paper, we study linear representations of groups that intertwine with a permutation representation. Recently, D'Alconzo and Di Scala investigated how small the matrices in such a linear representation can be. The minimal dimension of such a representation is the \emph{linear dimension of the group action} and this has applications in cryptography and cryptosystems. We develop the idea of linear dimension from an algebraic point of view by using the theory of permutation modules. We give structural results about representations of minimal dimension and investigate the implications of faithfulness, transitivity and primitivity on the linear dimension. Furthermore, we compute the linear dimension of several classes of finite primitive permutation groups. We also study wreath products, allowing us to determine the linear dimension of imprimitive group actions. Finally, we give the linear dimension of almost simple finite $2$-transitive groups, some of which may be used for further applications in cryptography. Our results also open up many new questions about linear representations of group actions.

We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by $2$-cycles. There do exist finitely many separating invariants of degree at most $\max\{n,{n\choose 2}\}$. Separating tropical invariants can be used to construct bi-Lipschitz embeddings of the orbit space ${\mathbb R}^n/G$ into Euclidean space. We also show that the invariant polynomials of degree $\leq n p_1p_2\cdots p_k$ generate the semifield of invariant rational tropical functions, where $p_1,p_2,\dots,p_k$ are the first $k$ prime numbers. Most results are also true over arbitrary semirings that are additively idempotent and multiplicatively cancellative.

The generating polynomial of permutations of size $n$, counted by the number of alternating runs, has a root at $-1$ of multiplicity $\lfloor (n-2)/2 \rfloor$ for all $n \ge 2$. This result can be derived by combining the David--Barton formula for Eulerian polynomials with the Foata--Schützenberger $γ$--decomposition. More recently, Bóna gave a group--action proof of this phenomenon. In this paper, we present an alternative approach based on the Hetyei--Reiner action on binary trees, which leads to a new combinatorial interpretation of Bóna's quotient polynomial. Moreover, we extend our analysis to analogous results for permutations of types~$B$ and~$D$. As a by--product of our bijective framework, we also obtain combinatorial proofs of David--Barton--type identities for permutations of types~$A$ and~$B$.

We consider the spherical variety of quadratic forms over a quadratically closed field of characteristic 2, and determine its orbits for the action of the Borel subgroup of upper triangular matrices. We exhibit a connection between these orbits and the Catalan triangle numbers. In addition, we describe explicitly a natural Weyl group action on the set of Borel orbit double covers

We survey the known group properties that a sequence of finite groups or group actions needs to satisfy to admit subsets of bounded cardinality producing expander Cayley or Schreier graphs. We prove that an infinite amenable group and solvable groups of bounded derived length do not produce expander Schreier graphs, generalizing with easier proofs results of Lubotzky and Weiss for Cayley graphs. In particular, the poor expansion properties of a group action cannot in general be detected by looking at the abelian sections or at the representations above the stabilizer of a point.

We introduce the AdditiveToricVarieties package for Macaulay2, a software system for algebraic geometry and commutative algebra, with methods for working with additive group actions on complete toric varieties. More precisely, we implement algorithms, based on results by Arzhantsev, Dzhunusov and Romaskevich, to determine whether a complete toric variety admits an action of the commutative unipotent group and whether it is unique or not. We also observe that every smooth complete toric variety of Picard rank two is additive. We apply our methods to the class of smooth Fano toric varieties and notably determine all such varieties of dimension up to 6 admitting an additive action.

An association scheme on triples (AST) is a three-dimensional analogue of a classical association scheme. Similar to how a transitive group action produces a Schurian classical association scheme, a two-transitive group action produces an AST. This paper describes the relations and intersection numbers of ASTs from the finite unitary groups acting on the respective isotropic lines.

We introduce a new group action on set systems, constructed as a semidirect product of a permutation group and a group generated by twist and loop complementation operations on a single element. This action extends the ribbon group framework of Abrams and Ellis-Monaghan from ribbon graphs to set systems, facilitating a systematic investigation of self-twuality. We prove that different forms of self-twuality propagate through orbits under the group action and establish a characterization of the orbit of a vf-safe delta-matroid via multimatroids. As an application, we analyze orbits of ribbon-graphic delta-matroids. Our work answers a question posed by Abrams and Ellis-Monaghan and provides a unified algebraic framework for studying self-twuality in combinatorial structures.

We introduce generalizations of powers and factor complexity via orbits of group actions. These generalizations include concepts like abelian powers and abelian complexity. It is shown that this notion of factor complexity cannot be used to recognize Sturmian words in general. Within our framework, we establish square avoidance results for the ternary squarefree Thue--Morse word $\mathbf{vtm}$. These results go beyond the usual squarefreeness of $\mathbf{vtm}$ and are proved using Walnut. Lastly, we establish a group action factor complexity formula for $\mathbf{vtm}$ that is expressed in terms of the abelian complexity of the period doubling word $\mathbf{pd}$.

We provide a general abstract statement of the Massicot-Wagner method: our main result is an assymetric version (i.e. a version for group actions) of the recursive Massicot-Wagner argument.

We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract) simplicial complex $\mathbf{K}$ can be rigidified -- meaning it can be perturbed in a way that reduces the full automorphism group to any subgroup -- while preserving the homotopy type of the geometric realization $| \mathbf{K} |$. We also obtain that every action of a finite group on a finitely generated abelian group is the action of the group of self-homotopy equivalences of a space on one of its higher homotopy groups.

We provide a combinatorial description of morphisms in the coherent sheaf category ${\rm coh}\mbox{-}\mathbb{X}(p,q)$ over weighted projective line of type $(p,q)$ via a marked annulus. This leads to a geometric realization of exceptional sequences in ${\rm coh}\mbox{-}\mathbb{X}(p,q)$. As applications, we present a classification of complete exceptional sequences, an effective method for enlarging exceptional sequences, and a new proof of the transitivity of the braid group action on complete exceptional sequences. Besides, we offer a combinatorial description of tilting bundles via lattice paths and count the number of tilting sheaves in ${\rm coh}\mbox{-}\mathbb{X}(p,q)$, up to the Auslander-Reiten translation.

We classify all spherical 2-designs that arise as orbits of finite group actions on real inner product spaces. Although it is well known that such designs can occur in representations without trivial components, we give a complete characterization of the orbits that satisfy the second-moment condition. In particular, we show that these orbits correspond to projections of compact group orbits within the regular representation, and we provide an explicit classification via isotypic decomposition and moment conditions. This approach unifies geometric and representation-theoretic viewpoints on highly symmetric point configurations.