arXiv++ Combinatorics

A classical notion of a factor complexity of an infinite word is defined as a function $p(n)$ counting, for each $n$, the number of distinct factors (or blocks of consecutive letters) of the word of length $n$. The notion has various generalizations and variants. For example, the abelian complexity $p_{ab}(n)$ counts the number of distinct factors of each length $n$ up to abelian equivalence, i.e., only the numbers of occurrences of letters are taken into account, and not their order. The notion of a group complexity generalizes both notions of a factor and an abelian complexities. Namely, given a sequence $ω=(G_n)_{n=1}^{\infty}$ of subgroups of the symmetric group $S_n$, the group complexity $p_ω(n)$ of a word counts the number of classes of factors of each length $n$ of the word, where words obtained from one another by permutations from $G_n$ are put in the same class. Taking $G_n=S_n$, we obtain the abelian complexity, and taking $G_n=Id$, we recover the factor complexity. Clearly, the group complexity value is between the abelian and the factor complexities. In this paper, we are interested in the following property of words. We say that an infinite word has universal group complexity if for each length $n$ and for each $k$ satisfying $p_s^{ab}(n) \leqslant k \leqslant p_s(n)$, there exists a group $G \in S_n$ such that $p_s^G(n) = k$. In other words, all ``intermediate'' values of complexity can be obtained. We show that Sturmian words satisfy the universal group complexity property, while they are not the only ones. We also study the universal group complexity property for aperiodic ternary words of minimal complexity and for eventually periodic words.

Schubert calculus on complex Grassmannians can be played by means of differential operators acting on Schur polynomials or Vertex Operators acting on exterior algebras. In this paper we develop this point of view systematically and complement it with a parallel exterior-algebra formalism, leading to what we call, respectively, the \emph{bosonic} and the \emph{fermionic} Schubert calculus. The two alluded realizations are related by (a finite type version of) the boson--fermion correspondence, thereby providing a unified framework connecting Schubert calculus and integrals on the Grassmannian, symmetric functions, exterior algebras and the representation theory of symmetric groups.

In a previous work, we defined the complex of cluster parking functions. On one side, they encode the type-refined enumeration of faces of the cluster complex, and on the other side, they have a reduced homology which is isomorphic to (ungraded) diagonal coinvariants. The goal of this work is to take into account the underlying dihedral symmetry. We thus have a product of a dihedral group and a symmetric group (there is a precise conjecture in the case of other finite Coxeter groups, but we focus on symmetric groups because of technicalities about diagonal coinvariants beyond this case). Under the action of the product group, the reduced homology of cluster parking functions is conjecturally isomorphic to diagonal coinvariants up to tensoring by a sign character of the dihedral group. This isomorphism can be reformulated as a dihedral sieving phenomenon. The main technical contribution is the definition of the dihedral automorphism group of cluster parking functions, and we discuss various features of the reduced homology character and its conjectural connection with diagonal coinvariants.

We show that the submonoids of the tied-symmetric monoid containing the symmetric group form a distributive lattice. Furthermore, we determine a minimal generating set for any such submonoid.

We study the Sylow permutation character of the symmetric group at the prime 2 and prove some new bounds on the number of parts of partitions corresponding to its constituents.

A multiset of $n$ unordered points in $\mathbb{R}^r$ -- a point cloud, or, for $r=2$, a persistence barcode of birth-death pairs -- is a point of the orbit space $\mathbb{R}^{nr}/S_n$ for the symmetric group $S_n$ permuting the rows of an $n \times r$ matrix; a separating family of invariants on this space is exactly a complete set of permutation-independent coordinates. We provide one that is explicit, small, and stable, in the max-plus (tropical) setting: for all $n \geq 1$ and $r \geq 1$, the $\binom{n+r}{r}$ basic $r$-symmetric tropical polynomials, of degree at most $n$, separate the orbits of $S_n$ on $\mathbb{R}^{nr}$. This settles in full a problem left open in [Kubo, J. Pure Appl. Algebra 223 (2019) 72-85], where separation was known only for $r=2$ and special cases of $r \geq 3$, and yields a family far smaller and of lower degree than the general separating sets from Derksen's recent theory of tropical invariants for permutation actions ($nr + (nr)!/n!$ invariants of degree $O(n^2 r^2)$). The proof is elementary and constructive: the basic values are identified with a transportation problem, and the multiset is recovered from the dual by an explicit algorithm. We further show the coordinate map is a bi-Lipschitz embedding for all $n$ and $r$, being an injective max filter bank (via the bi-Lipschitz theory of max filtering), with an explicit Lipschitz constant for the forward bound and a fully explicit, dimension-free distortion when $r=1$. Finally we determine when the pairwise values suffice (exactly $n \leq 3$) and show that invariants on at least three columns and of degree less than $n$ are necessary in general, the obstruction being a standard non-uniqueness configuration from discrete tomography.

Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\B_{n}$ be its flag variety. A Borel subgroup $B$ of $G$ acts on $\B_{n}\times \mathbb{P}^{n-1}$ diagonally with finitely many orbits. In this paper, we give an embedding of the $B$-orbits on $\B_{n}\times \mathbb{P}^{n-1}$ into the $B$-orbits on the flag variety $\B_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closure relations and preserves monoid actions. As a consequence both closure relations and monoid actions on the set of all $B$-orbits on $\B_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order on the symmetric group on $n+1$ letters by using our results in \cite{Shpairs}. This amplifies work of Magyar \cite{Magyar} by making the closure relation more transparent and allows us to compute the monoid action using Demazure products. If $S_i$ is the stabilizer in $B$ of the line through the ith standard basis vector, we give an embedding of the $S_i$-orbits on $\B_n$ into the $B$-orbits in a single $G$-orbit in $\B_{n+1},$ and this embedding plays an essential role in the above results. We extend results from our papers \cite{CE21I}, \cite{CE21II}, and \cite{Shpairs}, and in particular show that for $S_i$-orbits on $\B_n,$ the closure ordering is given by the Richardson-Springer standard order.

The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph. The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules. It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.

Let $q$ range over odd prime powers and let $G_q=\mathrm{GL}_2(\mathbb{F}_q)$. Fix a prime number $\ell$. Motivated by work of Peluse and Soundararajan on Miller's conjecture for character tables of symmetric groups, we study the proportion of entries in the character table of $G_q$ which are not divisible by $\ell$, in the sense of divisibility in the ring of algebraic integers. We prove that $N_\ell(q)=\frac{q^4}{2}+O_ε(q^{3+ε})$ for every $ε>0$, where $N_\ell(q)$ denotes the number of entries which are not divisible by $\ell$. We also show that the number of zero entries is $\frac{q^4}{2}+O_ε(q^{3+ε})$. Consequently, the proportion of all entries not divisible by $\ell$ tends to $1/2$, while the proportion of nonzero entries not divisible by $\ell$ tends to $1$. This differs significantly from the symmetric-group case, where almost every character-table entry is divisible by any fixed prime. We also prove an angular equidistribution result for the nonzero character values as $q\to\infty$. We show that the arguments become equidistributed in $[0,2π]$. This proves an analogue of Miller's question on the distribution of signs among the nonzero entries in character tables of symmetric groups.

We introduce an approach to distinguishing isomorphism types of graphs based on vector spaces of polynomials that are set-wise invariant under permutations ("separating modules," which are representations of the symmetric group), inspired by the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001). We characterize the power of this method for distinguishing non-isomorphic graphs under several different complexity measures: - We show that separating modules of "support-degree" $k$ (each monomial touches at most $k$ vertices) are equivalent to the counts of $O(k)$-vertex subgraphs. This is strictly weaker than $O(k)$-dimensional Weisfeiler--Leman (Fürer, ICALP '01). - We show that separating modules of symmetric circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-WL. This generalizes and strengthens a result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025): they proved one direction of this equivalence for invariant polynomials; we generalize to separating modules and prove both directions. - When considering only the multiplicities of separating modules (as was proposed in GCT by Mulmuley & Sohoni, ibid., rather than the polynomials themselves), we show that two graphs are separated by multiplicities if and only if their automorphism groups have different cycle indices. The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We use this to show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect invariant polynomials to the Graph Reconstruction Conjectures and Forman's "invariants of finite type" (Adv. Math., 2004).

Given a positive integer $n$, define a function on the symmetric group $S_n$ by $$F(τ) = \sum_{k=1}^{n}k^2τ(k)^2.$$ Motivated by a conjecture of Zhi-Wei Sun, we investigate the residue classes attained by $F(τ)$ modulo $2n+1$. We prove that for every integer $n>4$, the set $\{F(τ):τ\in S_n\}$ contains a complete residue system modulo $2n+1$. The proof is based on a family of involutions whose values are controlled by subset sums of squares.

We study monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result establishes a local--global principle characterizing equivariant finite generation for arbitrary Sym-invariant monoids, extending earlier results that required additional assumptions. We further analyze local--global phenomena for other fundamental properties, including positivity, normality, seminormality, and simplicity. In addition, we obtain structural results for symmetric monoids, including characterizations of positivity and non-positivity, a description of their groups of units, and explicit formulas for the ranks of local symmetric monoids and stabilizing Sym-invariant chains.

We study duality for monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result is an equivariant Minkowski--Weyl theorem for monoids. More precisely, we analyze the evolution of dual monoids along stabilizing Sym-invariant chains and describe the eventual behavior of their equivariant Hilbert bases. In addition, we develop a systematic study of structural properties of dual symmetric monoids, including a characterization of the duals of positive and non-positive monoids.

Sidorenko's conjecture asserts that for every bipartite graph $H$ and every graph $G$, \[ t(H,G)\geq t(K_2,G)^{e(H)}. \] A result of Szegedy shows that, in order to prove the conjecture, it suffices to verify the corresponding inequality on a special family of highly symmetric bipartite Cayley type hosts arising from symmetric groups. Motivated by this reduction, we study Cayley type bipartite kernels associated with functions on finite groups and their conjugacy class averages. Our first result gives a reduction through conjugacy averaging: for a fixed bipartite graph $H$, if the $H$-density of each Cayley type host is at least the $H$-density of its conjugacy class average, then $H$ is strong Sidorenko, and hence Sidorenko. Our second result proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups.

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.

In 2018, Hamaker and Reiner introduced weak order for monotone triangles, which extended the usual notion of weak order on the symmetric group. Monotone triangles on $\{1, \ldots, n\}$ are well-known to be in bijection with the set ASM$(n)$ of $n \times n$ alternating sign matrices. Hamaker and Reiner defined weak order on ASM$(n)$ to be induced from weak order on monotone triangles via the standard bijection. Recently, the present authors used an a priori different definition of weak order on ASM$(n)$ to give a combinatorial characterization of the codimension of ASM varieties and to show that the natural K-theoretic representatives of these varieties satisfy a divided difference recurrence. In the present work, we establish compatibility of these definitions of weak order on ASM$(n)$. Additionally, we give three different explicit means of computing weak order covering relations on ASM$(n)$: on ASMs themselves, on monotone triangles in a manner different from that given by Hamaker and Reiner, and on bumpless pipe dreams, which are a newer family of combinatorial objects also in correspondence with ASMs. Finally, using the language of bumpless pipe dreams, we characterize the fibers of the weak order operators, each of which forms a sublattice of the strong Bruhat order on ASM$(n)$.

We introduce a censored version of the stochastic six-vertex model. We show that for parameters $b_1 < b_2$, this model started from the initial condition ${1}_{x>0}$ is stochastically dominated at any time by the blocking measure. This is a partial analog of the censoring inequality for monotone spin systems. In particular, this result allows us to control the behavior of second-class particles. The proof uses parabolic Kazhdan--Lusztig $R$-polynomials, whose appearance is explained using a connection between the stochastic six-vertex model and the Iwahori--Hecke algebras of symmetric groups. Furthermore, we find an intertwining relation for this process using normalized parabolic Kazhdan--Lusztig $R$-polynomials as an intertwining kernel.

There are up to isomorphism exactly three strongly regular graphs with parameters $(120,56,28,24)$ whose automorphism group acts primitively on the vertices. Two of these graphs belong to classical families: one is the non-orthogonality graph on anisotropic points of the hyperbolic quadric $\mathcal Q^+(7,2)$, and the other one belongs to the Johnson scheme. The third one is not well understood. In this paper, we give a description of this graph in terms of ovoids and spreads of $\mathcal Q^+(7,2)$, or equivalently in terms of overlarge sets of Steiner systems with parameters $(3,4,8)$.

We consider the $SO(d)$ and $O(d)$ invariant sectors of the bosonic $d$-matrix harmonic oscillator with $U(N)$ gauge symmetry. The micro-canonical degeneracy $\mathcal{Z}( N , d , k )$ for fixed energy $k$ is expressed as a pairing between an $N$-dependent vector and a $d$-dependent vector in the space of partitions of the integer $k$. This pairing formula is derived by counting invariant words in multi-matrix variables $X^i_{j,a}$, using properties of Clebsch-Gordan multiplicities (Kronecker coefficients) for the symmetric group $S_k$, Schur-Weyl duality and harmonic analysis on the homogeneous space $U(d)/SO(d)$. Analytic formulae for large $N$ and $k$ with $ k \le N $ are obtained using group integrals over $U(N)$ and $SO(d)$ (or $ O(d)$). The micro-canonical heat capacity in this regime is negative and turns positive, at a critical value $k_{\rm crit}$, due to finite $N$ modifications to the counting, thus forming what we denote as a characteristic caloric fold in the $ E $ versus $T$ curve. Data from the pairing formula is well fitted by $k_{\rm crit} \sim { N^2 \over 4 }$ for small values of $d$. A derivation of this large $N$ formula is given using a matrix model approximation and semi-classical analysis of the eigenvalue density. The large $N,d$ limit of the degeneracies reveals a key role for ribbon graph combinatorics. The caloric fold is also notably a property of black hole thermodynamics in anti-de-Sitter spaces. We propose the spherically symmetric \(SO(d)\) and \(O(d)\) invariant sectors of \(d\)-matrix quantum mechanics as tractable matrix systems for capturing key features of dual descriptions of black-hole thermodynamics.

We prove a conjecture of Glasby, Praeger, and Unger concerning the symmetric group $S_{n}$. Let $π_{n}$ denote the proportion of elements of $S_{n}$ that are pre-$p$-cycles for some prime $p\in[2, n-3]$. We prove that $π_{n} > 1/3$ for all $n\geq 8$.