arXiv++ Combinatorics

We formulate a version of Schur--Weyl duality for the current Lie algebra $\mathfrak{gl}_V[x,y]=\mathfrak{gl}_V\otimes\mathbb{C}[x,y]$. Under this duality, the Garsia--Haiman modules of the $N!$-conjecture become cyclic and cocyclic $\mathfrak{gl}_V[x,y]$-modules, and we describe them as iterated fusion and cofusion products of tautological $\mathfrak{gl}_V$-modules. We show that Haiman's $N!$-theorem for a diagram is equivalent to the coincidence of the fusion and the cofusion filtrations on the tensor product of the local Weyl modules attached to its rows, and that the fusion and cofusion products of Garsia--Haiman modules are associative. Let $λ$ and $μ$ be Young diagrams obtained by removing two different corners from the same diagram. We construct an iterated fusion product of $S^2V$ with local Weyl modules, which is a quotient of the common quotient of the Garsia--Haiman modules of $λ$ and $μ$, fits into short exact sequences with each of them, and has Butler's intersection polynomial as its character. This gives a representation-theoretic proof of Butler's conjecture. The same construction gives lower bounds for the dimensions in the $N!/k$-conjecture.

The classical Murnaghan-Nakayama rule is a recursive formula for computing the values of complex irreducible characters of the symmetric group $S_n$. Alun Morris proved a recursive formula for evaluating the values of irreducible spin characters of $\widetilde{S}_n$, where $\widetilde{S}_n$ is one of the Schur covers of $S_n$ defined by $\widetilde{S}_n:=\langle t_1,t_2,\cdots,t_{n-1},z\ |\ z^2=1,\ t_i^2=z,\ (t_it_{i+1})^3=z, \ t_it_j=zt_jt_i\ \text{if}\ |i-j|>1\rangle$. A recursive formula for evaluating the values of complex irreducible characters of the wreath product $G\wr S_n$, where $G$ is a finite group, was proved by J. Stembridge. In this article, we state and prove a recursive formula to compute the values of the irreducible spin characters of the wreath product $G\wr \widetilde{S}_n$. For the convenience of implementing these recursive formulas, we extend the notion of 0-1 boundary sequence of a Young diagram to shifted Young diagrams.

We extend the partition pairing theory of Andrews and Dastidar by replacing pairs with groups of $k$ equal parts. Two weight-preserving bijections give combinatorial interpretations of the joint pairing index--width distribution and the negative-rank enumerations. The first combines conjugation with the Stockhofe--Keith correspondence and sends the $k$-pairing index and width to the number of parts and the largest part, respectively. Consequently, their joint distribution is independent of $k$ and is given by a Gaussian polynomial. We also obtain finite refinements that record the residual statistics. The second bijection sends simply $k$-paired partitions of negative $k$-pairing rank to $k$-regular partitions with marked internal gaps. In a fixed nonzero residue class, sign cancellation leaves rectangular partitions, while gap markings correspond to overlining choices with the smallest part not overlined. This gives direct combinatorial explanations of the divisor counts and the factor $1/2$ in the overpartition enumeration, extending the odd-divisor and odd-overpartition results of Andrews and Dastidar. Finally, motivated by the diagonal pairing of Andrews and Dastidar, we extend the construction to ordered tuples of $k$ Young diagrams. Applying the two-wing transfer operation to pairs of component diagrams defines an equivalence relation on these tuples. We show that two tuples are equivalent if and only if they have the same cell-multiplicity function, and that every equivalence class contains a unique representative whose component diagrams are nested. We also determine the cardinalities of the equivalence classes and identify the nested representatives with plane partitions of rectangular shape.

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.

We discuss dominant representations (or Young diagrams), in thermal matrix models with gauge symmetry from the perspective of partial deconfinement. We propose a prescription for defining the dominant representations for thermal matrix models with interaction terms. As an explicit example, we consider the large-$N$ Gaussian matrix model. We obtain the Vershik--Kerov--Logan--Shepp (VKLS) shape of the dominant Young diagrams through a new analytic saddle-point analysis based on a mapping of the representation theory of U($\infty$) to free fermions in two spacetime dimensions. This computation provides a direct derivation of the previously observed functional relation between the shape of the dominant Young diagrams and the eigenvalue distribution of the thermal holonomy: the position of the complex saddle point is naturally identified with the eigenvalue. The dominant Young diagrams admit a natural interpretation in terms of partial deconfinement: the number of rows in the dominant Young diagrams matches the size of the submatrix corresponding to the deconfined subsector.

We derive new exact formulae for elliptic genera in two spacetime dimensions with $\mathcal{N}\ge 2$ supercharges, as well as their one- and zero-dimensional counterparts (for Witten indices and matrix-model partition functions). Our results are written as a discrete sum over geometric/combinatorial structures of crystals introduced previously by the authors. The contribution from each crystal may be expressed in terms of the boundary data of a finite substructure of the crystal called the molecules. Our results provide vast generalisations of the celebrated Nekrasov partition function enumerated by the Young diagrams, and uncover new combinatorics underlying the crystal melting. We also analyse the thermodynamic limit of crystals arising from two-dimensional $\mathcal{N}=(0,2)$ theories associated with toric Calabi-Yau fourfolds, where a projection of the Calabi-Yau geometry emerges in the limit.

We introduce a new decomposition of Young diagrams into thick hooks. These thick hook decompositions enable having a better control over hook products for excited diagrams in the Naruse hook length formula, which leads to improved bounds on the number of standard tableaux of skew shapes. Combining this with elementary counting arguments in the Murnaghan--Nakayama rule, we establish a uniform bound on characters of symmetric groups $\mathfrak{S}_n$. In the case of balanced representations, this improves on the character bounds of Féray and Śniady for permutations with support size at least $n^{2/3}$, and is sharp for permutations with support size of order $n$. Finally, we recover some bounds of Pak and Panova on Kronecker coefficients with very short proofs that rely on characters.

We study diagonal billiard trajectories inside the Young diagram of an integer partition $λ$. A trajectory has slope $\pm 1$, passes straight through sides shared by adjacent cells, and reflects from the exterior boundary until it closes. Let $σ(λ)$ be the number of closed orbits. This extends the mirror-curve model of Chokwe sona sand drawings studied by Gerdes from rectangular grids to arbitrary Young diagrams. Let $G_λ$ be the cell-adjacency graph of $λ$, with its natural planar embedding. We identify the billiard orbits with the components of the medial link of $G_λ$, and deduce that $σ(λ) = 1 + \dim \mathcal{B}(G_λ) = \mathrm{nullity}\, L(G_λ)$ over $\mathbb{F}_2$, where $\mathcal{B}$ is the binary bicycle space and $L$ the mod-2 Laplacian. Writing $λ^\square$ for the diagram obtained by deleting the first row and column of $λ$, we further prove $σ(λ) = 1 + \mathrm{nullity}_{\mathbb{F}_2} A(G_{λ^\square})$. For rectangles this recovers Gerdes' formula $σ(n^m) = \gcd(m,n)$ via identities for Fibonacci polynomials over $\mathbb{F}_2$, and in general it gives the characterization: $σ(λ) = 1$ if and only if $λ^\square$ has an odd number of domino tilings. Using the checkerboard bipartition of $λ^\square$, we decompose $σ(λ) - 1$ into a color-imbalance term, related to the BG-rank of Berkovich-Garvan, and an even rank-deficiency term. This yields parity restrictions and lower bounds for the orbit number, and shows that for any fixed $d$, asymptotically all partitions have more than $d$ orbits. We also prove that $σ(λ)$ is at most the Durfee length of $λ$, determine $σ(n, n-1, \ldots, 1) = \lceil n/2 \rceil$ for staircase partitions, and show that the adjacency-nullity formula is independent of the ground field.

We resolve a conjecture on the law of large numbers for coherent measures on Young diagrams associated with Macdonald-nonnegative specializations of the algebra of symmetric functions for all $0\le q,t<1$. We prove that row and column lengths divided by the diagram size converge to the corresponding specialization parameters. The proof combines a monomial estimate for skew Macdonald polynomials with exponential tilting and binomial decompositions obtained from the branching rule for the polynomials.

Frenkel and Wang obtained a representation of the Virasoro algebra by commuting Goulden's cut-and-join operator with the Heisenberg generators. A vertex-operator construction by Lascoux and the author extends this representation to $\mathcal W_{1+\infty}$ by means of differential operators whose eigenvalues are the power sums of the contents of a Young diagram. We develop a Jack deformation in the spherical degenerate double affine Hecke algebra and its stable limit. Starting from the Heckman--Polychronakos integrals, we isolate operators whose eigenvalues are the power sums of the $α$-contents. Because the Goulden--Jackson product is defined in the convention dual to the usual Calogero--Sutherland Hamiltonians, the multiplication operators $Δ_μ(α)$ are obtained by taking Hall adjoints. This gives conceptual derivations of the Jack cut-and-join operator and of the stable $3$-cycle operator. A normal-ordering construction due to Sergeev and Veselov makes the latter calculation explicit and suggests an integral form over $\mathbb Z[α]$. The commutators of the cut-and-join operator contain one half of the usual Feigin--Fuchs realization, but this Virasoro completion is not the deformation of the Frenkel--Wang construction. The latter takes place in the deformed $\mathcal W_{1+\infty}$ algebra $\mathbf{SH}^c$, equivalently in the affine Yangian of $\mathfrak{gl}_1$: in our normalization its first nontrivial Cartan mode is $ψ_3=3Δ_2(α)+2(α-1)E$, and its commutators with the first raising and lowering modes recursively generate the remaining currents. At $α=1$ these relations specialize to the central-charge-one $\mathcal W_{1+\infty}$ representation used by Lascoux and the author.

This paper studies the longest increasing subsequence (LIS) problem for sequences generated by dyadic-type chaotic interval maps. Starting from a single point $x\in[0,1)$ chosen uniformly at random, we form the order pattern of the first $N$ points of its orbit, with the doubling map as the basic model. Let $λ_1^{(N)}$ be the LIS length, equivalently the length of the first row of the Young diagram obtained by Schensted's insertion. We show that $\mathbb E[λ_1^{(N)}]/\sqrt N\to 2$, matching the leading asymptotics in the classical Ulam--Hammersley problem for uniform random permutations.

Immanants are a class of generalized matrix functions associated with the irreducible characters of the symmetric group. Bürgisser [SIAM J. Comput., 30 (2000), pp. 1023--1040] proved that the computation of hook immanants and immanants corresponding to rectangular Young diagrams of polynomially growing width is VNP-complete under $p$-projections. And he posed an open problem: whether the family of immanants corresponding to rectangular Young diagrams of width $2$ is VNP-complete under $p$-projections. This paper gives a solution to this problem. We prove that, over any field of characteristic zero, the immanant families associated with rectangular Young diagrams of width $2$ and of length $2$ are both VNP-complete under $p$-projections.

For positive integers $n$ and $M$, Sundaram defined $ F_{n,M}=\sum_{\substack{d\mid n\\d\le M}} Lie_{n/d}[p_d] $ and conjectured that every coefficient in its Schur expansion is a nonnegative integer. We prove the conjecture. The power-sum expansion isolates the contribution of the identity class, and the proof divides Young diagrams at the intrinsic majority threshold. If the first row or first column contains more than half of the boxes, the Bernstein creation formula separates each rectangular-cycle character value into a hook constant and a remainder supported only on short cycles. The restrictions of the trivial and sign characters to the cyclic subgroup evaluate the constants exactly, whereas a uniform binomial contraction controls every distance from the boundary at once. If neither a row nor a column has a majority, Swanson's opposite-hook estimate gives a Catalan-scale lower bound for the dimension. The Fomin--Lulov rectangular-character estimate, together with uniform bounds for the truncated Möbius weights, then shows that the identity class dominates. Sundaram's plethystic identity consequently implies that $\prod_{r=1}^M(1-p_r)^{-1}$ is Schur-positive for every fixed $M$. We also record a degree-$12$ counterexample to a separate congruence-class product conjecture attributed to Richard Stanley.

We study the number $\Nu(\Per(G_λ))$ of distinct monomials with nonzero coefficients in the group permanent of an abelian $p$-group $G_λ$ associated with a partition $λ$ of a positive integer $N$. First, we derive an explicit formula for $\Nu(\Per(G_λ))$ in terms of the partial column sums of the Young diagram of $λ$. Next, we show that the relative order of the values $\Nu(\Per(G_λ))$ is determined by a lexicographic comparison of the conjugate Young diagrams. Finally, we investigate congruence properties of $\Nu(\Per(G_λ))$ for abelian $p$-groups and establish a criterion involving Wolstenholme primes.

The $(p,q)$-deformed generalized Weyl algebra is generated by variables $X, Y$ and $Z_p$ which satisfy the commutation relations $XY-qYX=h Y^sZ_{p}, XZ_p=pZ_pX$, and $Z_pY=pYZ_p$, with $s\in \mathbb{N}_0$. We investigate the problem of normal ordering arbitrary words in these letters with the help of Young diagrams, and we treat certain special cases explicitly. In particular, the connection to generalized Stirling numbers is considered in detail.

We analyze Column-Row Impartial Merge (CRIM), an impartial combinatorial game played on integer partitions. A move in CRIM consists of removing an arbitrary row or column from the corresponding Young diagram, with the remaining parts reattaching to form a single partition. We define rectairs -- a common generalization of rectangles and staircases -- and characterize their $\mathcal{P}/\mathcal{N}$-status. We define the meld operation on partitions and show that the meld of losing rectairs is losing. We introduce Odds-Are-Even (OAE) and Evens-Are-Odd (EAO) partitions, proving that all OAE partitions are $\mathcal{P}$-positions and characterizing the losing positions within EAO partitions. We determine the $\mathcal{P}/\mathcal{N}$-status for staircases and for $2$- and $3$-part partitions. We evaluate CRIM and its restrictions to certain partition families within the Conway-Gurvich-Ho classification scheme, establishing that CRIM is neither returnable nor domestic. We conjecture that every losing partition has even rank.

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur positivity of symmetric functions naturally associated with set partitions, with respect to two different notions of descent. In the first case, the Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings. In the second case, the Schur functions correspond to two-rows Young diagrams, and the coefficients are partial sums of associated Bell numbers. A key ingredient of our approach in the second case is the notion of a removable singleton, defined algebraically and shown to admit an equivalent combinatorial interpretation via jeu-de-taquin rectification of skew tableaux. As an application, we establish Schur positivity for various classes of symmetric functions indexed by non-crossing partitions and partitions with a given number of parts. We provide an explicit combinatorial description of the tableaux that contribute to the Schur expansion, and we connects the obtained coefficients to some known integer sequences.

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur-positivity of symmetric functions naturally associated with set partitions, with respect to a descent set function that considers i as descent, if i and i+1 share a block in the partition. The Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings.

We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $μ$ is dominated by $ν$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $ν-μ$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.

In this thesis, we study the nested Hilbert scheme ((\mathbb{A}^2)^{[n,n+1]}=\mathrm{Hilb}^{n,n+1}(\mathbb{A}^2)) from a combination of deformation theory, torus actions, and Young diagram combinatorics. We first recall the scheme theory and functor basics needed to define Hilbert schemes. We then use a classic result on first-order deformations to identify (T_I(\mathbb{A}^2)^{[n]}\cong \mathrm{Hom}*{\mathbb{C}[x,y]}(I,\mathbb{C}[x,y]/I)). For a nested pair (I\subset J), with (\dim*{\mathbb{C}}\mathbb{C}[x,y]/I=n+1) and (\dim_{\mathbb{C}}\mathbb{C}[x,y]/J=n), the tangent space becomes a compatibility kernel (T_{(I,J)}(\mathbb{A}^2)^{[n,n+1]}\cong \ker(\mathrm{Hom}(I,R/I)\oplus \mathrm{Hom}(J,R/J)\to \mathrm{Hom}(I,R/J))). The torus-fixed points are indexed by a partition (λ\vdash n+1) together with a removable corner (c) of its Young diagram. This corner is not only combinatorial, but also the monomial form of a one dimensional socle direction in (R/I_λ). The blow-up map to ((\mathbb{A}^2)^{[n]}\times \mathbb{A}^2) has fibres given by projective spaces of one-dimensional quotients of (J/\mathfrak m_pJ), whose torus-fixed points are addable boxes of the smaller diagram. These two local fibres explain how the universal family, the blow-up geometry, and Young diagram combinatorics come together in the study of the local geometry of the nested Hilbert scheme of points. Finally, we derive the tangent weight formula at a fixed point ((I_λ,I_{λ\setminus c})) in the torus convention used in the thesis. Using the standard arrow basis, we show in the proof how the arm-leg weights are modified by the compatibility kernel through a shortening rule determined by (c). A Macaulay2 verification computes the compatibility kernel from monomial syzygies and checks the weight formula for all partitions of size at most (16).