Dual equivalence graphs revisited and the explicit Schur expansion of a family of LLT polynomials

Abstract

In 2007 Sami Assaf introduced dual equivalence graphs as a method for demonstrating that a quasisymmetric function is Schur positive. The method involves the creation of a graph whose vertices are weighted by Ira Gessel's fundamental quasisymmetric functions so that the sum of the weights of a connected component is a single Schur function. In this paper, we improve on Assaf's axiomatization of such graphs, giving locally testable criteria that are more easily verified by computers. We further advance the theory of dual equivalence graphs by describing a broader class of graphs that correspond to an explicit Schur expansion in terms of Yamanouchi words. Along the way, we demonstrate several symmetries in the structure of dual equivalence graphs. We then apply these techniques to give explicit Schur expansions for a family of Lascoux-Leclerc-Thibon polynomials. This family properly contains the previously known case of polynomials indexed by two skew shapes, as was described in a 1995 paper by Christophe Carré and Bernard Leclerc. As an immediate corollary, we gain an explicit Schur expansion for a family of modified Macdonald polynomials in terms of Yamanouchi words. This family includes all polynomials indexed by shapes with at most three cells in the first row and at most two cells in the second row, providing an extension to the combinatorial description of the two column case described in 2005 by James Haglund, Mark Haiman, and Nick Loehr.

Haglund’s conjecture on 3-column Macdonald polynomials

“…Assaf [1] gave another interpretation of these coefficients. Roberts [20] extended the work of Assaf to give an explicit formula for c λ β (q) in the case that the diameter of β is ≤ 3, where the diameter of a k-tuple β of skew shapes is max C ∩ {i, i + 1, . .…”

Dual Equivalence Graphs I: A New Paradigm for Schur Positivity

“…In practice, the characterization of dual equivalence being local makes it far better than the axioms for a dual equivalence graph for establishing Schur positivity. The equivalence of axiom 6 to a local condition was first observed and proved by Roberts [12]. Then c λ µ,ν is the number of standard tableaux of shape µ appended to ν that rectify by jeu de taquin to a chosen standard Young tableau of shape λ.…”

“…Since T is standard, let us abuse notation by representing a cell of T by the entry it contains. Then the set of diagonal inversions is dInv(T) = (9, 7), (9,8), (7,3), (8,3), (8,2), (3, 2), (3, 1), (2, 1), (11, 1), (11,5), (6,4), (12,4), (12,10) and so dinv(T) = 13. The diagonal descents describe the shape of T. In this case, dDes(T) = {(7, 2), (11,6), (8, 1), (9, 3), (5, 4)}.…”

Noncommutative Schur functions, switchboards, and Schur positivity

“…Hence Conjecture 4.21 holds for k ∈ {1, 2}. Roberts [29,Theorem 4.11] extended the work of Assaf to a setting that contains the k = 2 case, by proving that the symmetric function of any connected Assaf switchboard contained in Γ k (β, t) is a Schur function whenever max i∈Z |C(β) To state the main result of [5], we will need a couple of auxiliary notions. For a partition λ, let RSST(λ; N) denote the set of semistandard Young tableaux T of shape λ and entries in {1, .…”