arXiv++ Combinatorics

Motivated by the notion of the inverse $Z$-polynomial introduced by Ferroni, Matherne, Stevens, and Vecchi, we study the equivariant inverse $Z$-polynomial of a matroid equipped with a finite group. We prove that the coefficients of the equivariant inverse $Z$-polynomials are honest representations and that these polynomials are palindromic. Explicit formulas are obtained for uniform matroids equipped with the symmetric group. The corresponding formulas for $q$-niform matroids are derived using the Comparison Theorem for unipotent representations. For arbitrary equivariant paving matroids, explicit expressions are obtained by relating the polynomials of a matroid to those of its relaxation. We show that these polynomials are equivariantly unimodal and strongly inductively log-concave for both uniform and $q$-niform matroids. Motivated by the properties of equivariant $Z$-polynomials, we conjecture that the coefficients of the equivariant inverse $Z$-polynomials are equivariantly unimodal and strongly equivariantly log-concave.

In earlier papers, we showed a decomposition of the arcs of 2-diregular digraphs (2-dds) and used it to prove some conditions for these graphs to be non-Hamiltonian; we then extended this decomposition to a larger class of digraphs and used it to construct infinite families of (strongly) connected non-Hamiltonian 2-dds and provided techniques to establish non-Hamiltonicity in special cases. In the present paper, for a subclass of these graphs, we show connections between non-Hamiltonicity and sets of permutations in the full symmetric group S(n) by introducing the concepts of biconjugates, excluded sets and residues; we then use these concepts to prove a necessary and sufficient condition for non-Hamiltonicity.

The distinguishing number of a permutation group $G\leqslant\Sym(Ω)$ is the minimum number of colours needed to colour $Ω$ in such a way that the only colour preserving element of $G$ is the identity. The distinguishing number of a graph is the distinguishing number of its automorphism group (as a permutation group on vertices). We determine the distinguishing number of the complete bipartite graphs $K_{n,n}$ and the crown graphs $K_{n,n}-nK_2$, as well as the distinguishing number of some `large' subgroups of their automorphism groups, that is, the subgroups that are vertex- and edge-transitive and such that the induced action on each bipart is $\Alt(n)$ or $\Sym(n)$. We show that, if $G$ is a `large' group of automorphisms of $K_{n,n}$, then $n-1\leqslant D(G) \leqslant n+1$. Similarly, if $G$ is a `large' group of automorphisms of a crown graph, then $\lceil \sqrt{n-1}\rceil \leqslant D(G)\leqslant \lfloor \sqrt{n}\rfloor+1$. \smallskip \textit{Keywords:} complete bipartite graph; crown graph; distinguishing number; symmetric group; alternating group

In \cite{[CZ]}, Cohen and Zemel showed that for a partition $λ\vdash k$, the dimension of the irreducible representation of $S_{n}$ corresponding to the partition $(n-k,λ) \vdash n$ is a polynomial of degree $k$ in $n$, whose coefficients in the binomial basis count standard Young tableaux of shape $λ$ with special restrictions. In this paper, we generalize their results on the representation's dimension to character values on arbitrary cycles.

We establish a ring isomorphism between the derived Hall algebra of the Jordan quiver and the ring of double symmetric functions (i.e., the ring of symmetric polynomials in two sets of countably many variables, invariant under the respective actions of their symmetric groups) with a parameter $t$. This isomorphism maps the derived Hall basis (the natural basis of the derived Hall algebra) to a class of double Hall-Littlewood (HL) symmetric functions, which are formulated via raising and lowering operators. These double HL functions are parameterized by bipartitions; they reduce to the classical HL functions when one of the partitions is empty, and specialize to Schur Laurent symmetric functions at $t = 0$. We also derive the Pieri rules for these double HL functions. Additionally, we obtain several natural generating functions for the derived Hall algebra as well as their transition relations, which can be transferred to the ring of double symmetric functions via the established ring isomorphism.

We develop some tools, of an algebraic and combinatorial nature, which enable us to obtain a detailed description of certain quadratic subgroups of the (outer) reduced Weyl group of the Cuntz algebra ${\mathcal O}_n$. In particular, for $n=4$ our findings give a self-contained theoretical interpretation of the groups tabulated in [AJS18], which were obtained with the help of a computer. For each of these groups we provide a set of generators. A prominent role in our analysis is played by a certain family of subgroups of the symmetric group of a discrete square which we call bicompatible.

A family of permutations $\mathcal{F} \subseteq S_n$ is even-cycle-intersecting if $σπ^{-1}$ has an even cycle for all $σ,π\in \mathcal{F}$. We show that if $\mathcal{F} \subseteq S_n$ is an even-cycle-intersecting family of permutations, then $|\mathcal{F}| \leq 2^{n-1}$, and that equality holds when $n$ is a power of 2 and $\mathcal{F}$ is a double-translate of a Sylow 2-subgroup of $S_n$. This result can be seen as an analogue of the classical eventown problem for subsets and it confirms a conjecture of János Körner on maximum reversing families of the symmetric group. Along the way, we show that the canonically intersecting families of $S_n$ are also the extremal odd-cycle-intersecting families of $S_n$ for all even $n$. While the latter result has less combinatorial significance, its proof uses an interesting new character-theoretic identity that might be of independent interest in algebraic combinatorics.

We show that the (non-Noetherian) Stanley-Reisner ring of the order complex of certain intervals in the Bruhat order on the infinite symmetric group $S_\infty$ of all auto-bijections of $\mathbb{N}$ is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. This gives an infinite-dimensional version of results due to Edelman, Björner, and Kind and Kleinschmidt for finite symmetric groups $S_n$.

Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.

Let us denote elements of the symmetric group $S_n$ using square brackets for the one-line notation. Cycles will be represented using parentheses, following the standard cycle notation. Under this convention, the full reversal of the identity element $()$ is the element $s = [n\ n-1 \dots 1]$. In the present work, we obtain a lower bound on the decomposition complexity of elements $s(1n \dots 2)^{i}$ into the generators $(12), (12 \dots n), (1n \dots 2)$, where $i$ ranges over the set $\{1,2,\dots,n\}$. As a consequence, we derive the lower bound $n(n-1)/2$ for the diameter of Cayley graph of the group $S_n$ generated by $(12), (12 \dots n), (1n \dots 2)$.

The Schur multiple zeta function was defined as a multivariable function by Nakasuji-Phuksuwan-Yamasaki. Inspired by the product formula of Schur functions, the products of Schur multiple zeta functions have been studied. While the product of two Schur functions expands as a linear combination of Schur functions, it is known that a similar expansion for the product of Schur multiple zeta functions can be obtained by symmetrizing, i.e., by taking the summation over all permutations of the variables. In this paper, we present a more refined formula by restricting the summation from the full symmetric group to its specific subgroup.

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 introduce a new basis of the group algebra of the symmetric group, built using the left-to-right minima sets of permutations. We show that on this basis, the descent algebra acts by triangular operators, thus making it an analogue of a cellular basis. The proof involves Dynkin elements (nested commutators) of the free algebra and their interactions with the $\mathbf B$-basis.

We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and which we show works well for general $n$. When $n$ is a power of 2 we exhibit a hypercube of dimension $O(n\log n)$, matching the largest possible dimension up to a constant multiple. Furthermore, we give an exact characterization of the vertices of this hypercube: they are precisely the \emph{dyadically well-distributed} permutations -- a simple digitwise property that already appeared in connection with Monte Carlo integration and mathematical finance. The maximal dimension of a Bruhat interval that is an hypercube in $S_n$ gives a lower bound (and possibly is equal to) the maximal possible coefficient of the second-highest degree term in the Kazhdan--Lusztig $R$-polynomial in $S_n$. As a surprising consequence, we obtain a new lower bound of order $n\log n$ for the maximal number of frozen variables appearing in the cluster algebras attached to the open Richardson varieties in $S_n$, and a similar result for moduli spaces of embeddings of Bruhat graphs.

Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within this setting, we establish results parallel to the classical theories of Pólya--Szegő, Schoenberg, Rudin, Loewner, and Horn in the context of entrywise calculus. The structure of our transform is governed by a Cayley--Hamilton-type theory valid in commutative rings of characteristic zero, together with a novel polynomial-matrix identity specific to convolution. Beyond these analytic aspects, we uncover an intrinsic connection between convolution and the Bruhat order on the symmetric group, illuminating the combinatorial aspect of this functional operation. This work extends the classical theory of entrywise positivity preservers and operator monotone functions into the convolutional setting.

We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$ of the partial transformation monoid on an $n$-element set that contains the symmetric group. To achieve this, we introduce and study a functor from the category of rational representations of the monoid of $n \times n$ matrices to the category of finite dimensional representations of $\mathcal{M}(n)$. We establish two branching rules. Our main results describe graded module structures of orbit harmonics quotients for the rook, partial transformation, and full transformation monoids. This yields analogs of the Cauchy decomposition for polynomial rings in $n\times n$ variables.

The anti-concentration phenomenon in probability theory has been intensively studied in recent years, with applications across many areas of mathematics. In most existing works, the ambient probability space is a product space generated by independent random variables. In this paper, we initiate a systematic study of anti-concentration when the ambient space is the symmetric group, equipped with the uniform measure. Concretely, we focus on the random sum $S_π = \sum_{i=1}^{n} w_i\, v_{π(i)}$, where $w=(w_1,\dots,w_n)$ and $v=(v_1,\dots,v_n)$ are fixed vectors and $π$ is a uniformly random permutation. The paper contains several new results, addressing both discrete and continuous anti-concentration phenomena. On the discrete side, we establish a near-optimal structural characterization of the vectors $w$ and $v$ under the assumption that the concentration probability $\sup_x P(S_π=x)$ is polynomially large. As applications, we derive and strengthen a number of previous results. In particular, we show that if both $w$ and $v$ have distinct entries, then $\sup_x P(S_π=x) \le n^{-5/2+o(1)}$. This bound serves as a permutation-space analogue of the classical Erdős--Moser bound in the product-space setting and answers a question posed by Alon--Pohoata--Zhu. From the continuous perspective, we study the small-ball event $|S_π-L|\le δ$. We establish sharp bounds in various settings, including results exhibiting sub-gaussian decay in $L$. With additional effort, we are also able to treat the joint distribution of these events. Moreover, we provide a characterization of the vectors $w$ and $v$ for which these small-ball probabilities are large. As an application, we prove that the number of extremal points of random permutation polynomials is bounded by $O(\log n)$, extending results of S{ö}ze on the number of real roots.

In 2020, Bloom and Sagan defined subsets of the symmetric group $\mathfrak{S}_n$ called partial shuffles, and proved a formula for the Schur expansion of the pattern quasisymmetric function associated with a partial shuffle. In their proof, they establish that any two partial shuffles of the same size are Wilf-equivalent. We give an alternative proof of this fact, using an iterative approach. We also show that Wilf-equivalence is preserved on including a decreasing pattern in partial shuffles, and we provide some enumerative results for avoidance classes whose bases consist of a partial shuffle and a decreasing permutation.

This paper focuses on an integer-valued function $f_A(σ) := \operatorname{tr}(A P_σ)$ defined uniformly from a specific square matrix $A$ of order $n$ and a permutation $σ$ on the symmetric group $S_n$. The main objective of this study is to investigate in detail the algebraic behavior of the Alternating Power Difference (APD), denoted as $APD_m(f_A)$, and its first appearance degree $m_1(f_A)$ for this function $f_A$ across various matrix classes. Specifically, we address special matrices such as shifted $r$-th power lattices, Vandermonde matrices, and circulant matrices, analyzing the phenomenon where the value of $APD_m(A)$ remains zero as $m$ increases until a specific degree (the first appearance phenomenon). In particular, we explore closed-form formulas for the first appearance degree $m_1(A)$ and the first appearance value $APD_{m_1}(A)$, presenting Conjectures that hold across multiple matrix classes. These results suggest a deep relationship between the structure of matrices and the analytical properties of functions on the symmetric group, providing new perspectives in matrix theory and combinatorics.

Saxl's conjecture (2012) asserts that for the staircase partition $ρ_k = (k, k-1, \ldots, 1)$, the tensor square of the corresponding irreducible representation of the symmetric group $S_{T_k}$ contains every irreducible representation as a constituent, where $T_k = k(k+1)/2$ is the $k$th triangular number. We prove this conjecture unconditionally. Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of $T_k$, the staircase $ρ_k$ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries $d_{μμ} = 1$ of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof. We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.