arXiv++ Combinatorics

We extend Friedman's theorem to show that, for any fixed $r>1$, a random $2r$--regular Schreier graph associated with the action of $r$ uniformly random permutations of $[n]$ on $k_{n}$--tuples of distinct elements in $[n]$ has a near--optimal spectral gap with high probability, provided $k_{n}\leq n^{\frac{1}{20}-ε}.$ Previously this was known only for $k$--tuples where $k$ is fixed. In fact, we prove the stronger result of strong convergence of random permutations in irreducible representations of quasi--exponential dimension. Along the way, we give a new bound for the expected stable irreducible character of a random permutation obtained via a word map, showing that $\mathbb{E}\left[χ^μ\left(w(σ_{1},\dots,σ_{r})\right)\right]=O\left(\frac{1}{\dimχ^μ}\right)=O\left(n^{-k}\right)$, where $k$ is the number of boxes outside the first row of the Young diagram $μ,$ solving one aspect of a conjecture of Hanany and Puder. We obtain this bound using an extension of Wise's $w$--cycle conjecture.

Weprovide an upper bound for generalized Littlewood-Richardson coefficients $c^w_{uv}$, where $u$ is a two-row Young diagram corresponding to a Grassmannian permutation. We end with a conjecture on the upper bounds for all such structure constants.

We establish new Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions. The classical Murnaghan--Nakayama rule expresses the product of a power sum symmetric function with a Schur function as a linear combination of Schur functions. Symplectic and orthogonal Schur functions correspond to characters of irreducible representations of symplectic and orthogonal groups. Orthosymplectic Schur functions arise as characters of orthosymplectic Lie superalgebras and are hybrids of symplectic and ordinary Schur functions. We derive explicit formulas for the product of the relevant power-sum function with each of these functions, which can partly be described combinatorially using border strip manipulations. Our Murnaghan--Nakayama rules each include three distinct terms: a classical term corresponding to the addition of border strips to the relevant Young diagram, a term involving the removal of border strips, and a third term, which we describe both algebraically and combinatorially.

Multi-matrix invariants, and in particular the scalar multi-trace operators of $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of $N$. Free-field two-point functions define an $N$-dependent inner product on the PCA, and bases of operators have been constructed which are orthogonal at finite $N$. Two such bases are well-known, the restricted Schur and covariant bases, and both definitions involve representation-theoretic quantities such as Young diagram labels, multiplicity labels, branching and Clebsch-Gordan coefficients for symmetric groups. The explicit computation of these coefficients grows rapidly in complexity as the operator length increases. We develop a new method for explicitly constructing all the operators with specified Young diagram labels, based on an $N$-independent integer eigensystem formulated in the PCA. The eigensystem construction naturally leads to orthogonal basis elements which are integer linear combinations of the multi-trace operators, and the $N$-dependence of their norms are simple known dimension factors. We provide examples and give computer codes in SageMath which efficiently implement the construction for operators of classical dimension up to 14. While the restricted Schur basis relies on the Artin-Wedderburn decomposition of symmetric group algebras, the covariant basis relies on a variant which we refer to as the Kronecker decomposition. Analogous decompositions exist for any finite group algebra and the eigenvalue construction of integer orthogonal bases extends to the group algebra of any finite group with rational characters.

A LAnKe (also known as a Lie algebra of the $n$th kind, or a Filippov algebra) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. The symmetric group $\mathfrak{S}_m$ acts on the multilinear part of the free LAnKe on $m=(n-1)k+1$ generators, where $k$ is the number of brackets, by permutation of the generators. The corresponding representation was studied by Friedmann, Hanlon, Stanley and Wachs, who asked whether for $n \ge k$, its irreducible decomposition contains no summand whose Young diagram has at most $k-1$ columns. The answer is affirmative if $k \le 3$. In this paper, we show that the answer is affirmative for all $k$. A proof has been given recently by Friedmann, Hanlon and Wachs. The two proofs are completely different.

We present a type-independent Landau-Ginzburg (LG) model $(X_\mathrm{can}, \mathcal{W}_\mathrm{can})$ for any cominuscule homogeneous space $X=G/P$. We give a fully combinatorial construction for our superpotential $\mathcal{W}_\mathrm{can}$ as a sum of $n+1$ rational functions in the (generalized) Plücker coordinates on the "Langlands dual" minuscule homogeneous space $\mathbb{X}=P^\vee\backslash G^\vee$. Explicitly, we define the denominators $\mathcal{D}_{i_*}$ of these rational functions using the combinatorics of order ideals of the corresponding minuscule poset, which can be interpreted as (generalized) Young diagrams, by a process that can be described by "moving boxes" and hence is easily implemented. To construct the corresponding numerators, we define derivations $δ_{i_1}$ on $\mathbb{C}[\mathbb{X}]$ that act by "adding an appropriate box if possible" and then we apply each $δ_{i_1}$ to the corresponding $\mathcal{D}_{i_*}$. By studying certain Weyl orbits in the fundamental representations of $\widetilde{G}^\vee$ and exploiting the existence of a certain dense algebraic torus in $\mathbb{X}$, we show that the polynomials $\mathcal{D}_{i_*}$ coincide with the generalized minors $φ_{i_*}$ appearing in the cluster structures for homogeneous spaces studied by Geiß-Leclerc-Schröer in arXiv:math/0609138. We then define the mirror variety $X_\mathrm{can}=\mathbb{X}\setminus D_\mathrm{ac}$ to be the complement of the anticanonical divisor $D_\mathrm{ac} = \sum_{i_*}\{\mathcal{D}_{i_*}=0\}$ formed by the $\mathcal{D}_{i_*}$. Moreover, we show that the LG models $(X_\mathrm{can},\mathcal{W}_\mathrm{can})$ are isomorphic to the Lie-theoretic LG-models $(X_\mathrm{Lie},\mathcal{W}_\mathrm{Lie})$ constructed by Rietsch in arXiv:math/0511124 and our models naturally generalize the type-dependent Plücker coordinate LG-models previously studied by various authors.

We derive an explicit formula for the quasi--shuffle product satisfied by Schlesinger--Zudilin Multiple~$q$-Zeta Values, expressed in terms of partition data. To achieve this, we interpret Schlesinger--Zudilin Multiple~$q$-Zeta Values as generating series of distinguished marked partitions, which are partitions whose Young diagrams have certain rows and columns marked. Together with the description of duality using marked partitions in~\cite{Br2}, and Bachmanns conjecture~(\cite{BaTalk}) that all linear relations among Multiple~$q$-Zeta Values are implied by duality and the stuffle product, this paper completes the description of the conjectural structure of Multiple~$q$-Zeta Values using marked partitions.

We consider the probability measures on Young diagrams in the $n \times k$ rectangle obtained by piecewise-continuously differentiable specializations of Schur polynomials in the dual Cauchy identity. We use a free fermionic representation of the correlation kernel to study its asymptotic behavior and derive the uniform convergence to a limit shape of Young diagrams in the limit $n,k \to \infty$. More specifically, we show the bulk is the discrete sine kernel with boundary fluctuations generically given by the Tracy-Widom distribution with the Airy kernel. When our limit shape touches the boundary corner of the rectangle, the fluctuations with a second order correction are given by the discrete Hermite kernel, and we recover the discrete distribution of Gravner-Tracy-Widom (2001) [arXiv:math/0005133] restricting to the leading order. Finally, we demonstrate our limit shapes can have sections with no or full density of particles, where the Pearcey kernel appears when such a section is infinitely small.

In the article, two implementations of the representation of the complex Lie algebra $\mathfrak{sl}_2$ on the algebra of symmetric polynomials $Λ_n$ by differential operators are proposed. The realizations of irreducible subrepresentations, both finite-dimensional and infinite-dimensional, are described, and the decomposition of $Λ_n$ is found. The actions on the Schur polynomials is also determined. By using an isomorphism between $Λ_n$ and the vector space of Young diagrams $\mathbb{Q}\mathcal{Y}_n$ with no more than $n$ rows, these representations are transferred to $\mathbb{Q}\mathcal{Y}_n$.

A Latin tableau of shape $λ$ and type $μ$ is a Young diagram of shape $λ$ in which each box contains a single positive integer, with no repeated integers in any row or column, and the $i$th most common integer appearing $μ_i$ times. Over twenty years ago, Chow et al., in their study of a generalization of Rota's basis conjecture that they called the wide partition conjecture, conjectured a necessary and sufficient condition for the existence of a Latin tableau of shape $λ$ and type $μ$. We report some computational evidence for this conjecture, and prove that the conjecture correctly characterizes, for any given $λ$, at least the first four parts of $μ$.

The Haglund--Haiman--Loehr theorem provides the following combinatorial formula for the modified Macdonald polynomials: $$\tilde{H}_μ(X;q,t)=\sum_{σ: μ\rightarrow \mathbb{P}}x^σt^{maj(σ)}q^{inv(σ)}.$$ Inspired by Martin's multiline-queue formula for the stationary distribution of multitype asymmetric simple exclusion processes, Corteel, Haglund, Mandelshtam, Mason and Williams recently introduced the queue inversion statistic $quinv$ and conjectured that the tableaux formula for $\tilde{H}_μ(X;q,t)$ is invariant if the inversion statistic $inv$ is replaced by $quinv$. This was subsequently resolved by Ayyer, Mandelshtam and Martin, who proposed a stronger conjecture on the equivalence of the two refined formulas for $\tilde{H}_μ(X;q,t)$. Our main result confirms this Ayyer--Mandelshtam--Martin conjecture. We establish an equidistribution between the pairs $(inv,maj)$ and $(quinv,maj)$ of $μ$-Mahonian statistics on any row-equivalency class $[τ]$, where $τ$ is a filling of the Young diagram of $μ$. As a byproduct of our approach, we show that if $τ$ is a rectangular filling, the triples $(inv,quinv,maj)$ and $(quinv,inv,maj)$ have the same distribution over $[τ]$.

In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynomials form a representation of a super-algebra analog $\mathsf{T}(\widehat{\mathfrak{gl}}_{1|1})$ of Ding-Ioahara-Miki (quantum toroidal) algebra, emerging as a BPS algebra of D-branes on a conifold. A supersymmetric modification for Young tableaux and Kostka numbers are also discussed.

We construct a new family of graded representations $\widetilde{W}_λ$ for the positive elliptic Hall algebra $\mathcal{E}^{+}$ indexed by Young diagrams $λ$ which generalize the standard $\mathcal{E}^{+}$ action on symmetric functions. These representations have homogeneous bases of eigenvectors for the action of the Macdonald element $P_{0,1} \in \mathcal{E}^{+}$ with distinct $\mathbb{Q}(q,t)$-rational spectrum generalizing the symmetric Macdonald functions. The analysis of the structure of these representations exhibits interesting combinatorics arising from the stable limits of periodic standard Young tableaux. We find an explicit combinatorial rule for the action of the multiplication operators $e_r[X]^{\bullet}$ generalizing the Pieri rule for symmetric Macdonald functions. We will also naturally obtain a family of interesting $(q,t)$ product-series identities which come from keeping track of certain combinatorial statistics associated to periodic standard Young tableaux.

We assign to each Young diagram $λ$ a subset $\mathcal{B}_{λ'}$ of the collection of Garsia-Stanton descent monomials, and prove that it determines a basis of the Garsia-Procesi module $R_λ$, whose graded character is the Hall-Littlewood polynomial $\tilde{H}_λ[X;t]$. This basis is a major index analogue of the basis $\mathcal{B}_λ\subset R_λ$ defined by certain recursions in due to Garsia and Procesi, in the same way that the descent basis is related to the Artin basis of the coinvariant algebra $R_n$, which in fact corresponds to the case when $λ=1^n$. By anti-symmetrizing a subset of this basis with respect to the corresponding Young subgroup under the Springer action, we obtain a basis in the parabolic case, as well as a corresponding formula for the expansion of $\tilde{H}_λ[X;t]$. Despite a similar appearance, it does not appear obvious how to connect these formulas appear to the specialization of the modified Macdonald formula of Haglund, Haiman and Loehr at $q=0$.

PySymmPol is a Python package designed for efficient manipulation of symmetric polynomials. It provides functionalities for working with various types of symmetric polynomials, including elementary, homogeneous, monomial symmetric, (skew-) Schur, and Hall-Littlewood polynomials. In addition to polynomial operations, PySymmPol offers tools to explore key properties of integer partitions and Young diagrams, such as transposition, Frobenius coordinates, characters of symmetric groups and others.

We consider random matrices whose shape is the dilation $Nλ$ of a self-conjugate Young diagram $λ$. In the large-$N$ limit, the empirical distribution of the squared singular values converges almost surely to a probability distribution $F^λ$. The moments of $F^λ$ enumerate two combinatorial objects: $λ$-plane trees and $λ$-Dyck paths, which we introduce and show to be in bijection. We also prove that the distribution $F^λ$ is algebraic, in the sense of Rao and Edelman. In the case of fat hook shapes we provide explicit formulae for $F^λ$ and we express it as a free convolution of two measures involving a Marchenko-Pastur and a Bernoulli distribution.

It is known that for the Young diagram of any partition of an integer $n$, the sum of squares of the hook lengths of its cells is exactly $n^2$ more than that of the contents of its cells. That is, for any partition $λ$ of an integer $n$, \begin{equation*} \sum_{u \in λ} h(u)^2 = n^2 + \sum_{u \in λ} c(u)^2. \end{equation*} We provide a bijective proof of this fact, thus solving a problem posed by Stanley. Along the way, we obtain a formula for the number of rectangles in the Young diagram of a partition. We also mention a result for sums of other powers of hook lengths and contents.

We give some special values of Grothendieck polynomials and an explicit formula for the number of set-valued tableaux. For Young diagrams consisting of a single row or a single column, both the value and number are written by the Gauss' hypergeometric function ${}_2F_1$. For general Young diagrams, the Holman hypergeometric function $F^{(n)}$ is used to represent both the value and count. As an application, we derive a summation formula for $F^{(n)}$.

Recently, Blecher and Knopfmacher applied the notion of fixed points to integer partitions. This has already been generalized and refined in various ways such as $h$-fixed points for an integer parameter $h$ by Hopkins and Sellers. Here, we consider the sequence of first column hook lengths in the Young diagram of a partition and corresponding fixed hooks. We enumerate these, using both generating function and combinatorial proofs, and find that they match occurrences of part sizes equal to their multiplicity. We establish connections to work of Andrews and Merca on truncations of the pentagonal number theorem and classes of partitions partially characterized by certain minimal excluded parts (mex).

A triangular partition is a partition whose Ferrers diagram can be separated from its complement (as a subset of $\mathbb{N}^2$) by a straight line. Having their origins in combinatorial number theory and computer vision, triangular partitions have been studied from a combinatorial perspective by Onn and Sturmfels, and by Corteel et al. under the name plane corner cuts, and more recently by Bergeron and Mazin. In this paper we derive new enumerative, geometric and algorithmic properties of such partitions. We give a new characterization of triangular partitions and the cells that can be added or removed while preserving the triangular condition, and use it to describe the Möbius function of the restriction of Young's lattice to triangular partitions. We obtain a formula for the number of triangular partitions whose Young diagram fits inside a square, deriving, as a byproduct, a new proof of Lipatov's enumeration theorem for balanced words. Finally, we present an algorithm that generates all the triangular partitions of a given size, which is significantly more efficient than previous ones and allows us to compute the number of triangular partitions of size up to $10^5$.