arXiv++ Combinatorics

Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this paper we present various formulas enumerating double cosets, and in particular self-inverse double cosets. We study double cosets in classical groups, especially the symmetric groups and the general linear groups, explaining how to obtain the informations on their conjugacy classes required to apply our formulas. We also consider double cosets of parabolic subgroups of Coxeter groups of type B.

For nonempty subsets $X$ and $Y$ of a group $G$, we say that $(X,Y)$ is a tiling of $G$ if every element of $G$ can be uniquely expressed as $xy$ for some $x\in X$ and $y\in Y$. In 1966, Rothaus and Thompson studied whether the symmetric group $S_n$ with $n\geq3$ admits a tiling $(T_n,Y)$, where $T_n$ consists of the identity and all the transpositions in $S_n$. They showed that no such tiling exists if $1+n(n-1)/2$ is divisible by a prime number at least $\sqrt{n}+2$. In this paper, we establish a new necessary condition for the existence of such a tiling: the subset $Y$ must be partition-transitive with respect to certain partitions of $n$. This generalizes the result of Rothaus and Thompson, as well as a result of Nomura in 1985. We also study whether $S_n$ can be tiled by the set $T_n^*$ of all the transpositions, which finally leads us to conjecture that neither $T_n$ nor $T_n^*$ tiles $S_n$ for any $n\geq4$.

The {\em superspace ring} of rank $n$ is the algebra $Ω_n$ of differential forms on affine $n$-space. The algebra $Ω_n$ is bigraded with respect to polynomial and exterior degree and carries a natural action of the symmetric group $\mathfrak{S}_n$. Modding out by $\mathfrak{S}_n$-invariants with vanishing constant term yields the {\em superspace coinvariant ring} $SR_n$. We prove that, as an ungraded $\mathfrak{S}_n$-module, the space $SR_n$ is isomorphic to the sign-twisted permutation action of $\mathfrak{S}_n$ on ordered set partitions of $\{1,\dots,n\}$. We refine this result by calculating the bigraded $\mathfrak{S}_n$-isomorphism type of $SR_n$. This proves the Fields Conjectures of N. Bergeron, L. Colmenarejo, S.-X. Li, J. Machacek, R. Sulzgruber, and M. Zabrocki as well as a related conjecture of V. Reiner.

We determine the range of the des statistic on every conjugacy class in the symmetric group $S_n$, prove that the minimum is $1$ (except for the identity class), and show that every intermediate value from $1$ to the maximum value is attained. We also demonstrate a constructive method to achieve every value in the range and discuss its combinatorial implications.

We study symmetric function analogues of the higher order Bell numbers. Their construction involves iterated plethystic exponential towers mimicking the single variable exponential generating functions for the higher order Bell numbers. We derive explicit recurrence relations for the expansion coefficients of the Bell functions into the monomial and power sum bases of the ring of symmetric functions. Using the machinery of combinatorial species, the Bell functions are proven to be the Frobenius characteristics of the permutation representations of symmetric groups on hyper-partitions of certain orders and sizes. In the order 1 case, we are able to give more details about the expansion coefficients of the Bell functions in terms of vector partitions and divisor sums as well as give a recurrence relation analogous to the well known recursion for the Bell numbers. Lastly, we use Littlewood's reciprocity theorem and the Hardy-Littlewood Tauberian theorem to prove that the Schur expansion coefficients of the order 1 Bell functions are certain asymptotic averages of restriction coefficients.

Let $p$ be any prime. We determine precisely those irreducible characters of symmetric groups which contain at most $p$ distinct linear constituents in their restriction to a Sylow $p$-subgroup, answering a question of Giannelli and Navarro. Moreover, we identify all of the linear constituents of such characters, and in the case $p = 2$ explicitly calculate a new class of Sylow branching coefficients for symmetric groups indexed by so-called almost hook partitions.

We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products associated to random pipe dreams, generalizing the Grothendieck permutons introduced by Morales, Panova, Petrov, and Yeliussizov by replacing staircase shapes with arbitrary order-convex shapes. Using the totally asymmetric simple exclusion process (TASEP) with geometric jumps, we prove precise scaling limit and fluctuation results for the associated height functions, showing that these models belong to the Kardar--Parisi--Zhang (KPZ) universality class. We then consider permutons obtained by applying deterministic sequences of bubble-sort operators to random initial permutations. We again provide precise descriptions of the limiting permutons. In a special case, we deduce the exact forms of the standard bubble-sort permutons, the supports of which were computed by DiFranco. A crucial tool in our analysis is a formulation, due to Chan and Pflueger, of the Demazure product as matrix multiplication in the min-plus tropical semiring. This allows us to define a Demazure product on the set of permutons. We discuss further applications of this product. For instance, we show that the number of inversions of the Demazure product of two independent uniformly random permutations of size $n$ is $\binom{n}{2}(1-o(1))$.

For finite groups $G$, we show that bosonic-fermionic coinvariant rings have a natural $U(\mathfrak{gl}(k|j)) \otimes \mathbb{C}[G]$-module structure. In particular, we show that their character series are a sum of super Schur functions $s_λ(\mathbf{q}/\mathbf{u})$ times irreducible characters of $G$ with universal coefficients, which do not depend on $k,j$. In the case where $G$ is the symmetric group with diagonal action, this proves the "Diagonal Supersymmetry" conjecture of Bergeron (2020).

We investigate equivariant analogues of the Minkowski--Weyl theorem and Gordan's lemma in an infinite-dimensional setting, where cones and monoids are invariant under the action of the infinite symmetric group. Building upon the framework developed earlier, we extend the theory beyond the nonnegative case. Our main contributions include a local equivariant Minkowski--Weyl theorem, local-global principles for equivariant finite generation and stabilization of symmetric cones, and a full proof of the equivariant Gordan's lemma. We also classify non-pointed symmetric cones and non-positive symmetric normal monoids, addressing new challenges in the general setting.

Combinatorial transition matrices arise frequently in the theory of symmetric functions and their generalizations. The entries of such matrices often count signed, weighted combinatorial structures such as semistandard tableaux, rim-hook tableaux, or brick tabloids. Bijective proofs that two such matrices are inverses of each other may be difficult to find. This paper presents a general framework for proving such inversion results in the case where the combinatorial objects are built up recursively by successively adding some incremental structure such as a single horizontal strip or rim-hook. In this setting, we show that a sequence of matrix inversion results $A_nB_n=I$ can be reduced to a certain ``local'' identity involving the incremental structures. Here, $A_n$ and $B_n$ are matrices that might be non-square, and the columns of $A_n$ and the rows of $B_n$ indexed by compositions of $n$. We illustrate the general theory with four classical applications involving the Kostka matrices, the character tables of the symmetric group, incidence matrices for composition posets, and matrices counting brick tabloids. We obtain a new, canonical bijective proof of an inversion result for rectangular Kostka matrices, which complements the proof for the square case due to Eğecioğlu and Remmel. We also give a new bijective proof of the orthogonality result for the irreducible $S_n$-characters that is shorter than the original version due to White.

We construct generalized regular representations of the wreath product of a compact group with the infinite symmetric group. The characters of these representations are determined by probability measures on families of partitions called the $z$-measures for the wreath product of a compact group with the symmetric group in the present paper. Our main result is an explicit formula for these $z$-measures which holds true for an arbitrary compact group. The result enables us to describe the spectral measures of the generalized regular representations of big wreath products.

Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Mančinska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Mančinska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.

We consider actions, similar to those of Haglund, Rhoades, and Shimozono on ordered partitions, and their basis in terms of the higher Specht polynomials of Ariki, Terasoma, and Yamada, as carried out by Gillespie and Rhoades. By allowing empty sets and working with multi-sets and weak partitions as indices, we obtain a decomposition of the action of $S_{n}$ on homogeneous polynomials of degree $d$ into irreducible representations, in a way that lifts a formula of Stanley. By considering generalized higher Specht polynomials, we obtain yet another such decomposition, lifting another formula involving Kostka numbers. We also investigate several operations on both types of representations, which are based on normalizations of the generalized higher Specht polynomials that allow for defining their stable versions.

Trades are important objects in combinatorial design theory that may be realized as certain elements of kernels of inclusion matrices. Total trades were introduced recently by Ghorbani, Kamali and Khosravshahi, who showed that over a field of characteristic zero the vector space of trades decomposes into a direct sum of spaces of total trades. In this paper, we show that the vector space spanned by the permutations of a total trade is an irreducible representation of the symmetric group. As a corollary, the previous decomposition theorem is recovered. Also, a basis is obtained for the module of total trades in the spirit of Specht polynomials. More generally, in the second part of the paper we consider intersection matrices and determine the irreducible decompositions of their images. This generalizes previously known results concerning ranks of special cases.

Let $π$ be a cyclic permutation that can be expressed in its one-line form as $π= π_1π_2 \cdot\cdot\cdot π_n$ and in its standard cycle form as $π= (c_1,c_2, ..., c_n)$ where $c_1=1$. Archer et al. introduced the notion of pattern avoidance of one-line and the standard cycle form for a cyclic permutation $π$, defined as both $π_1π_2 \cdot\cdot\cdot π_n$ and its standard cycle form $c_1c_2\cdot\cdot\cdot c_{n}$ avoiding a given pattern. Let $\mathcal{A}_n(σ_1,...,σ_k; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid each pattern of $\{σ_1,...,σ_k\}$ in their one-line forms and avoid $τ$ in their standard cycle forms. In this paper, we obtain some results about the cyclic permutations avoiding patterns in both one-line and cycle forms. In particular, we resolve two conjectures of Archer et al.

Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.

Arslan, Altoum, and Zaarour introduced an inversion statistic for generalized symmetric groups. In this work, we study the distribution of this statistic over colored permutations, including derangements and involutions. By establishing a bijective correspondence between colored permutations and colored Lehmer codes, we develop a unified framework for enumerating colored Mahonian numbers and analyzing their combinatorial properties. We derive explicit formulas, recurrence relations, and generating functions for the number of inversions in these families, extending classical results to the colored setting. We conclude with explicit expressions for inversions in colored derangements and involutions.

In the 1940s Littlewood formulated three fundamental correspondences for the immanants and Schur symmetric functions on the general linear group, which establish deep connections between representation theory of the symmetric group and the general linear group parallel to the Schur-Weyl duality. In this paper, we introduce the notion of quantum immanants in the quantum coordinate algebra using primitive idempotents of the Hecke algebra. By employing $R$-matrix techniques, we establish the quantum analog of Littlewood correspondences between quantum immanants and Schur functions for the quantum coordinate algebra. In the setting of the Schur-Weyl-Jimbo duality, we construct an exact correspondence between the Gelfand-Tsetlin bases of the irreducible representations of the quantum enveloping algebra $U_q(\mathfrak{gl}(n))$ and Young's orthonormal basis of an irreducible representation of the Hecke algebra $\mathcal H_m$. This isomorphism leads to our trace formula for the quantum immanants, which settled the generalization problem of $q$-analog of Kostant's formular for $λ$-immanants. As applications, we also derive general $q$-Littlewood-Merris-Watkins identities and $q$-Goulden-Jackson identities as special cases of the quantum Littlewood correspondence III.

We introduce the notion of "color rules" for computing class functions of $Z_k \wr S_n$, where $Z_k$ is the cyclic group of order $k$ and $S_n$ is the symmetric group on $n$ letters. Using a general sign-reversing involution and a map of order $k$, we give a combinatorial proof that the irreducible decomposition of these class functions is given by a weighted sum over semistandard tableaux in the colors. Since using two colors at once is also a color rule, we are consequently able to decompose arbitrary tensor products of representations whose characters can be computed via color rules. This method extends to class functions of $G \wr S_n$ where $G$ is a finite abelian group. We give a number of applications, including decomposing tensor powers of the defining representation, along with a combinatorial proof of the Murnaghan-Nakayama rule for $Z_k \wr S_n$. Our main application is to the study of the linear action of $Z_k \wr S_n$ on bigraded affine semigroup algebras arising from the product of projective toric varieties. In the case of the product of projective spaces, our methods give the decomposition of these bigraded characters into irreducible characters, thus deriving equivariant generalizations of Euler-Mahonian identities.

The study of string C-group representations of rank at least $n/2$ for the symmetric group $S_n$ has gained a lot of attention in the last fifteen years. In a recent paper, Cameron et al. gave a list of permutation representation graphs of rank $r\geq n/2$ for $S_n$, having a fracture graph and a non-perfect split. They conjecture that these graphs are permutation representation graphs of string C-groups. In trying to prove this conjecture, we discovered two new techniques to glue two CPR graphs for symmetric groups together. We discuss the cases in which they yield new CPR graphs. By doing so, we invalidate the conjecture of Cameron et al. We believe our gluing techniques will be useful in the study of string C-group representations of high ranks for the symmetric groups.