Pith. sign in

REVIEW 2 major objections 3 minor 52 references

Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read Flagged LLT polynomials and a nonsymmetric plethysm convert signed tableaux sums into unsigned ones, proving that modified nonsymmetric Macdonald polynomials are positive sums and conjecturing an atom-level refinement of Macdonald…

desk verdict Genuinely new structural machinery for nonsymmetric Macdonald polynomials, with the marquee atom-positivity claim honestly left as a conjecture; the one bridge to check is whether the flagged LLT summands in the stable limit are all ordinary and standard. read the letter →

arxiv 2506.09015 v2 pith:VX5KGALR submitted 2025-06-10 math.CO

classification math.CO MSC 05E0505E1033D52
keywords flaggedLLTpolynomialsnonsymmetricplethysmMacdonaldDemazureatomspositivityconjecturesymmetricfunctionstableauxformulas
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to complete the missing corner of a familiar square in Macdonald theory: a nonsymmetric analogue of the modified Macdonald polynomials $H_\mu$, together with a nonsymmetric plethysm operator $\Pi_{t,x}$ that plays the role of the symmetric transformation $f[X]\mapsto f[X/(1-t)]$. The two new tools are flagged LLT polynomials $G_{\nu,\sigma}$, which generalize LLT polynomials the way flagged Schur functions generalize Schur functions and admit both an algebraic definition and a flagged-tableaux formula, and the nonsymmetric plethysm, a linear operator on polynomials that converges to ordinary plethysm as the number of variables grows. The key identity is $\Pi_{t,x}(G^-_{\nu,\sigma}) = G_{\nu,\sigma}$: the operator sends a signed flagged LLT polynomial to the unsigned one with the same indexing data. Using it, the paper rewrites the Haglund–Haiman–Loehr formula for nonsymmetric Macdonald integral forms as positive sums of signed flagged LLT polynomials, and proves that the modified r-nonsymmetric Macdonald polynomials $H_{\eta|\lambda}$ obtained from stable limits are positive sums of unsigned flagged LLT polynomials. The paper conjectures that these polynomials, and their flagged-LLT building blocks in the ordinary-skew case, expand positively in Demazure atoms; since atom positivity implies Schur positivity and $H_{\eta|\lambda}$ Weyl-symmetrizes to $H_\mu$, the conjecture would strengthen the Macdonald positivity conjecture.

What carries the argument

The load-bearing mechanism is the nonsymmetric plethysm $\Pi_{t,x}$, a $\mathbb{K}$-linear operator on the polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ that mimics in finitely many variables the plethystic map $f[X]\mapsto f[X/(1-t)]$; it is defined by sending the basis $h_a[x_1, x_2 - t x_1,\dots, x_n - t x_{n-1}]$ to $h_a[x_1,\dots,x_n]$, and it admits alternative descriptions through an inner product, a polynomial-part truncation, and recursion formulas. The construction is transported from the space FL of flagged symmetric functions, spanned by $h_a(X_1,\dots,X_l)=h_{a_1}[X_1]h_{a_2}[X_1+X_2]\cdots$; Lemma 3.1.5 identifies FL with $\mathbb{K}[x_1,\dots,x_l]$ by specializing each $X_i$ to a single variable $x_i$, so plethystic substitutions become operations on ordinary polynomials. The central objects are the flagged LLT polynomials $G_{\nu,\sigma}$: algebraically, a Hecke-symmetrized coefficient extraction from a Cauchy-type series in nonsymmetric Hall-Littlewood polynomials; combinatorially, a $t$-weighted sum over flagged super tableaux whose flag boxes encode the permutation $\sigma$, with attacking-pair inversions as the weight statistic (Theorem 6.4.10). The identity carrying the applications is $\Pi_{t,x}(G^-_{\nu,\sigma}) = G_{\nu,\sigma}$: the plethysm erases the signs of a signed-alphabet specialization and returns the unsigned flagged LLT polynomial with the same indexing data, turning the flagged-LLT rewriting of $\mathcal{E}_\mu$ into the positive flagged-LLT expansion of $H_{\eta|\lambda}$.

What would settle it

Fix a tuple $\nu$ of ordinary skew diagrams and its standard compatible permutation $\sigma$, and compute the Demazure-atom expansion of $G_{\nu,\sigma}[x_1,\dots,x_l;t]$: a single atom with a negative coefficient disproves Conjecture 6.6.1 and, through Theorem 7.6.6(b), removes the claimed strengthening of Macdonald positivity. The paper's own examples exhibit exactly such negative atoms once the permutation is non-standard or the shape is ragged-right, so the ordinary-skew/standard case is the sharp place to search; Proposition 6.6.7 reduces the check for each weight to a finite expansion of a Hecke-transformed opposite Demazure character, and the reported computer evidence has so far reached only degree 8 in ranks 4 through 6.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is the completion of the commutative diagram whose bottom-right corner was missing: the r-nonsymmetric integral forms $J_{\eta|\lambda}$, obtained by rescaling right-stable nonsymmetric Macdonald polynomials, are carried by a stable limit of the nonsymmetric plethysm to the modified r-nonsymmetric Macdonald polynomials $H_{\eta|\lambda}$, and Weyl symmetrization (the $GL_n$ character projection) of either side recovers the symmetric pair $J_\mu, H_\mu$ (diagram (6)). The route passes through two objects. Flagged LLT polynomials $G_{\nu,\sigma}$, indexed by a tuple of (possibly ragged-right) skew diagrams and a compatible permutation, are defined algebraically via nonsymmetric Hall-Littlewood polynomials and a Hecke-algebra sum, computed combinatorially as $t$-weighted sums over flagged super tableaux with attacking-pair inversions, and Weyl-symmetrized to ordinary LLT polynomials; the nonsymmetric plethysm $\Pi_{t,x}$, defined on a triangular basis of the polynomial ring, satisfies the sign-erasing identity $\Pi_{t,x}(G^-_{\nu,\sigma}) = G_{\nu,\sigma}$. Theorem 7.2.1 rewrites the Haglund–Haiman–Loehr formula for the integral forms $\mathcal{E}_\mu(x;q,t)$ as a positive sum of signed flagged LLT polynomials over tuples of augmented ribbons, with arm-and-leg weights $q^{a(u)+1}t^{l(u)}$ attached to vertical dominoes, and Theorem 7.6.6(b) shows that the stable plethystic image $H_{\eta|\lambda}$ is a positive sum of unsigned flagged LLT polynomials $G_{\nu,\sigma}$. The paper conjectures that $H_{\eta|\lambda}$ is Demazure-atom positive, a conclusion that would follow from atom positivity of the ordinary-skew flagged LLT polynomials, and that this would strengthen, not merely reprove, Macdonald positivity.

Load-bearing premise

The load-bearing premise is Conjecture 6.6.1, the unproven assertion that a flagged LLT polynomial built from ordinary skew diagrams with the standard compatible permutation expands into Demazure atoms with nonnegative coefficients; the theorems proven here establish positivity only in the coarser flagged-LLT basis, so if that conjecture fails, the advertised strengthening of Macdonald positivity does not follow.

Editorial extensions

If this is right

  • The nonsymmetric Macdonald integral forms $\mathcal{E}_\mu(x;q,t)$ have a positive combinatorial rewriting as sums of signed flagged LLT polynomials indexed by tuples of augmented ribbons, with the arm-and-leg weights $q^{a(u)+1}t^{l(u)}$ carried by the vertical dominoes (Theorem 7.2.1).
  • The modified r-nonsymmetric Macdonald polynomials $H_{\eta|\lambda}$ are positive sums of unsigned flagged LLT polynomials and are monomial positive; Weyl symmetrization sends $H_{\eta|\lambda}$ to the modified symmetric Macdonald polynomial $H_\mu$, so the nonsymmetric family refines the symmetric one (Theorem 7.6.6(b) and diagram (6)).
  • Stable limits of the flagged-LLT formula recover and unify the earlier left- and right-stable positivity conjectures for nonsymmetric Macdonald polynomials, placing those separate conjectures under one LLT-based framework.
  • In the stable limit, the nonsymmetric plethysm reproduces the classical plethystic transformation $f[X]\mapsto f[X/(1-t)]$, so the symmetric consequences of the machinery are consistent with the established symmetric theory.
  • If Conjecture 6.6.1 holds, $H_{\eta|\lambda}$ is Demazure-atom positive, and because atom positivity implies Schur positivity, this yields the Macdonald positivity conjecture with finer atom-level coefficients.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The sign-erasing mechanism suggests a general recipe beyond this paper: any family of signed specializations that is form-stable under $\Pi_{t,x}$ and positive in its own variables would yield an unsigned positivity statement, and the LLT-rich settings of $\nabla$ and of k-Schur functions are natural places to look for such families.
  • If the atom-positivity conjecture is true, the atom coefficients of $H_{\eta|\lambda}$ would be a new invariant finer than the usual Schur-coefficient data of $H_\mu$; one could ask whether these coefficients stabilize as $r$ grows with $\lambda$ fixed, producing a Demazure-atom description of $H_\mu$ with a purely combinatorial statistic for its Schur coefficients.
  • The boundary of Conjecture 6.6.1 appears sharp: the paper's own examples show negative atom coefficients appear as soon as the permutation is non-standard or the shape is ragged-right, which suggests any proof of the strengthening must use the order structure of standard flagged tableaux rather than general Hall-Littlewood positivity alone.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper introduces flagged LLT polynomials G_{\nu,\sigma}, defined algebraically via nonsymmetric Hall-Littlewood polynomials and proven to have a flagged-tableau generating-function formula (Theorem 6.4.10). It develops a nonsymmetric plethysm operator \Pi_{t,x} on polynomials, proves that it sends signed flagged LLT polynomials to unsigned ones (Proposition 6.7.3), and uses a sign-reversing involution to give non-attacking tableau formulas (Proposition 6.7.9). The main application is to nonsymmetric Macdonald theory: the Haglund-Haiman-Loehr formula for integral forms \mathcal{E}_\mu is recast as a sum of signed flagged LLT polynomials over augmented ribbons (Theorem 7.2.1), and after a stable limit of \Pi one obtains modified r-nonsymmetric Macdonald polynomials H_{\eta|\lambda} as positive sums of unsigned flagged LLT polynomials (Theorem 7.6.6(b)). The authors conjecture that these H_{\eta|\lambda}, and the relevant flagged LLT summands, are Demazure-atom positive, which would strengthen the Macdonald positivity conjecture. Conjectural status is clearly labeled, with computational evidence reported in §6.6.

Significance. If the results are correct, the paper provides a genuinely new bridge between LLT polynomials and nonsymmetric Macdonald polynomials, introducing a concrete nonsymmetric analogue of the plethysm f[X]\mapsto f[X/(1-t)] and a new family of flagged LLT polynomials with both algebraic and combinatorial characterizations. The paper's strengths include the detailed proof of the combinatorial formula for G_{\nu,\sigma}, the explicit signed-to-unsigned transfer under \Pi_{t,x}, the sign-reversing involution in Proposition 6.7.9, and the honest separation of proven results (flagged LLT-basis expansions of H_{\eta|\lambda}) from the conjectural Demazure-atom positivity. The potential significance is high: the atom-positivity conjecture for H_{\eta|\lambda} would unify and strengthen existing positivity conjectures of Knop and Lapointe in the nonsymmetric Macdonald setting. The main caveat is that the final advertised implication relies on a verification of indexing-data hypotheses that is not explicit in the reviewed text; once that bridge is clarified, the paper should be a substantial contribution.

major comments (2)
  1. [§7.6, Theorem 7.6.6(b); Conjecture 6.6.1; Lemma 6.1.7(b)] The claim that the positive flagged LLT expansion of H_{\eta|\lambda} implies Demazure-atom positivity of H_{\eta|\lambda} (and hence strengthens Macdonald positivity) depends on Conjecture 6.6.1, which is stated only for data (\nu,\sigma) with \nu a tuple of ordinary skew diagrams and \sigma the standard compatible permutation. The summands entering through the stable limit of formula (5)/(287) originate from augmented ribbons that may be strictly ragged-right (see §7.2), and the text before §7.6 does not verify that, after stabilization, every summand in Theorem 7.6.6(b) has ordinary \nu and standard \sigma. This verification is load-bearing: without it, the implication from the proven LLT-basis expansion to the conjectural atom expansion is not established. Please state and prove the indexing-data check in §7.6, or explicitly restrict the claimed implication to the summands for which it holds.
  2. [§1.3 and (6)] The introductory summary says that the formula for H_{\eta|\lambda} 'shows that the atom positivity conjecture for modified r-nonsymmetric Macdonald polynomials is implied by our atom positivity conjecture for flagged LLT polynomials,' but the reviewed text does not provide a precise statement of which indexing data (\nu,\sigma) occur in the expansion of H_{\eta|\lambda}. Since Conjecture 6.6.2 only covers unimodal and anti-unimodal atom indices, it cannot substitute for Conjecture 6.6.1 in this implication. The authors should either make the reduction fully explicit or weaken the wording to describe the implication as conditional on a check of the indexing data.
minor comments (3)
  1. [Abstract and §1.1] The abstract's phrase 'they Weyl symmetrize to the usual symmetric LLT polynomials' would be easier to verify with a forward pointer to Corollary 6.4.16, which is the precise statement.
  2. [§6.6, computational evidence] The reported computational verification of the reduction in Proposition 6.6.7 and of Conjecture 6.6.2 would be more reproducible if the code or data files were included with the arXiv submission; the current text only lists ranges of cases checked.
  3. [§6.5, Theorem 6.4.10 proof] The proof of Theorem 6.4.10 is long and intricate; a short structural outline before the recurrence, for instance a sentence explaining that the goal is to prove (227) by induction on l using the recurrence (235) as the inductive step, would greatly improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: central derivation chains are anchored in external theorems and independent prior results; self-citations are background, not load-bearing reductions.

full rationale

The paper's central claims are derived from external benchmarks rather than from restatements of their own targets. The flagged LLT polynomials G_{ν,σ} are introduced by an algebraic definition (Definition 6.3.1) using nonsymmetric Hall-Littlewood polynomials, and their combinatorial formula (Theorem 6.4.10) is proved by induction using Proposition 6.5.7, which is formulated from the authors' prior [6, Theorem 5.5.4], plus the external attacking-pair argument of [20, Lemma 5.1]. That cited theorem is an independent published result about symmetric LLT polynomials, not equivalent to the paper's new positivity claims, so citing it is not a circular reduction. The key application chain is also non-circular: formula (5)/(287) recasts the external Haglund--Haiman--Loehr formula [21] for nonsymmetric Macdonald integral forms as a positive sum of signed flagged LLT polynomials by an explicit bijection between non-attacking signed fillings and flagged tableaux; this is a real theorem, not a definitional relabeling. The later stable-limit result for H_{η|λ} (Theorem 7.6.6(b)) is obtained by applying the independently derived nonsymmetric plethysm stable limits (Theorem 4.7.2, Corollary 4.7.3) to formula (287) and to Proposition 6.7.3, which relates signed and unsigned flagged LLT polynomials through Π_{t,x}; again the positivity in the coarse LLT basis is proved, not imposed. The advertised Demazure-atom positivity is explicitly conditional on Conjecture 6.6.1, an unproven but clearly stated conjecture; relying on a conjecture for a stronger statement is not circularity. The dominant-atom case is justified by the known Schur positivity of symmetric LLT polynomials [19], an external result. No fitted parameter is renamed as a prediction, no uniqueness theorem from the authors' prior work is used to forbid alternatives, and no central equation reduces to its own input by construction. The self-citations in §5.2 and the proof of Theorem 6.4.10 supply background lemmas and a symmetric-LLT algebraic formula from prior papers; these are load-bearing in the sense of being used, but they are independent mathematical results and do not smuggle in the targets of the present paper. Therefore the paper is self-contained with respect to the circularity concern, and the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

The central results rest on well-established external theorems rather than fitted parameters; the new objects are rigorously defined and anchored to known constructions.

assumptions (5)
  • standard math Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials (Prop 7.1.3, from [21, Cor 3.5.2])
    Used to express E_mu as a positive sum over fillings, then recast as signed flagged LLT sum in Theorem 7.2.1.
  • standard math Duality of nonsymmetric Hall-Littlewood polynomials (Lemma 5.2.1, from [7, Prop 4.3.2])
    Used in the algebraic definition of flagged LLT polynomials and in the inner-product formula (187).
  • standard math Schur positivity of symmetric LLT polynomials [19]
    Used to prove the dominant-weight case of Conjecture 6.6.2 (Prop 6.6.10) and to frame Conjecture 6.6.1 as a generalization.
  • standard math Knop's Theorem 9.10 on setting x1=0 in E_mu (Lemma 5.4.1)
    Used for stabilization properties of nonsymmetric Macdonald polynomials.
  • domain assumption Existence and properties of right stable nonsymmetric Macdonald polynomials of Bechtloff Weising [4], used to define J_{eta|lambda}
    The modified polynomials H_{eta|lambda} are defined as Pi_r images of these cited objects; the central construction inherits from [4].
invented entities (3)
  • Flagged LLT polynomials G_{nu,sigma} independent evidence
    purpose: Nonsymmetric generalization of LLT polynomials; used as building blocks for H_{eta|lambda}.
    They have a closed algebraic formula (Def 6.3.1), a tableau formula (Thm 6.4.10), and Weyl-symmetrize to ordinary LLT polynomials (Cor 6.4.16), giving independent checkable handles.
  • Nonsymmetric plethysm operator Pi_{t,x} independent evidence
    purpose: Finite-variable analogue of f[X] maps to f[X/(1-t)]; maps signed flagged LLT to unsigned.
    Its action is defined on an explicit basis, has inverse formulas, and provably converges to the classical plethysm in the limit (Thms 4.6.3, 4.7.2).
  • Modified r-nonsymmetric Macdonald polynomials H_{eta|lambda} independent evidence
    purpose: Completes the nonsymmetric analogue of the modified symmetric Macdonald polynomials; conjecturally atom positive.
    Weyl-symmetrizes to H_mu and is provably a positive sum of flagged LLT polynomials, so it can be checked against known symmetric Macdonald data.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials." pith.science (2026). https://pith.science/paper/VX5KGALR

@misc{pith2026250609015,
  author       = {Pith},
  title        = {Pith review of: Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VX5KGALR}},
  note         = {Machine review of arXiv:2506.09015}
}
abstract

The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $\Pi_{t,x}$ on $\mathfrak{K}[x_1,\ldots,x_n]$, which serves as an analogue of $f[X] \mapsto f[X/(1-t)]$. We prove that $\Pi_{t,x}$ remarkably maps flagged LLT polynomials defined over a signed alphabet to ones over an unsigned alphabet. Our main application of this theory is to formulate a nonsymmetric version of Macdonald positivity, similar in spirit to conjectures of Knop and Lapointe, but with several new features. To do this, we recast the Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials $\mathcal{E}_{\mu }(x;q,t)$ as a positive sum of signed flagged LLT polynomials. Then, after applying a suitable stable limit of $\Pi_{t,x}$ to a stable version of $\mathcal{E}_{\mu }(x;q,t)$, we obtain modified nonsymmetric Macdonald polynomials which are positive sums of flagged LLT polynomials and thus are conjecturally atom positive, strengthening the Macdonald positivity conjecture.

Figures

Figures reproduced from arXiv: 2506.09015 by the authors.

Figure 1
Figure 1. Flagged LLT indexing data (r, γ, η, σ) of length l = 7 and the corresponding (ν, σ), where ν = (ν (1), ν(2)) is the diagram of (r, γ, η), and σ is encoded by writing the flag number w0 σ −1 (i) = l + 1 − σ −1 (i) in the flag box in row i. Since σ −1 (η) = η− and each r-block of w0 σ −1 is increasing, σ is compatible. flag box in row j with the flag number w0 σ −1 (j) = l + 1 − σ −1 (j). In other words, since row σ(i… view at source ↗
Figure 2
Figure 2. Admissible regions for the indexing data ν, σ in [PITH_FULL_IMAGE:figures/full_fig_p047_2.png] view at source ↗
Figure 3
Figure 3. Recursive description of a flagged tableau T ∈ FST(ν, σ, A). En￾tries of T in A1 form a super tableau T1 on a tuple of ordinary skew di￾agrams λ, left-justified in ν and containing all of row m = σ(l) with flag number 1. After deleting row m, entries of T in A2 ∪ · · · ∪ Al−1 form a flagged tableau T2 ∈ FST(µb, σ, b Ab) on µb = ν/λ, where Ab has distinguished subsets A2 < · · · < Al , and σb changes flag numbers 2, … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

52 extracted references · 50 canonical work pages

  1. [1]

    Amol Aggarwal, Alexei Borodin, and Michael Wheeler, Colored fermionic vertex models and symmetric functions, Commun. Am. Math. Soc. 3 (2023), 400–630

  2. [2]

    Milo Bechtloff Weising, Multi-Symmetric Schur Functions , arXiv:2502.08738 [math.CO], 2025

  3. [3]

    Milo Bechtloff Weising and Daniel Orr, Stable-limit partially symmetric Macdonald functions and para- bolic flag Hilbert schemes , arXiv:2410.13642 [math.CO], 2024

  4. [4]

    Bechtloff Weising, Stable-limit non-symmetric Macdonald functions , Algebr

    Milo J. Bechtloff Weising, Stable-limit non-symmetric Macdonald functions , Algebr. Comb. 7 (2024), no. 6, 1845–1878. MR 4858857

  5. [5]

    Anders Bj¨ orner and Francesco Brenti, Affine permutations of type A, Electron. J. Combin. 3 (1996), no. 2, Research Paper 18, approx. 35, The Foata Festschrift. FLAGGED LLT POLYNOMIALS AND NONSYMMETRIC PLETHYSM 95

  6. [6]

    Blasiak, M

    J. Blasiak, M. Haiman, J. Morse, A. Pun, and G. Seelinger, Dens, nests and the Loehr-Warrington conjecture, J. Amer. Math. Soc. 38 (2025), no. 4, 1049–1106

  7. [7]

    Seelinger, A shuffle theorem for paths under any line , Forum of Mathematics, Pi 11 (2023), e5

    Jonah Blasiak, Mark Haiman, Jennifer Morse, Anna Pun, and George H. Seelinger, A shuffle theorem for paths under any line , Forum of Mathematics, Pi 11 (2023), e5

  8. [8]

    Olivier Blondeau-Fournier, Patrick Desrosiers, Luc Lapointe, and Pierre Mathieu, Macdonald poly- nomials in superspace as eigenfunctions of commuting operators , J. Comb. 3 (2012), no. 3, 495–561. MR 3029444

Show all 52 references
  1. [9]

    , Macdonald polynomials in superspace: conjectural definition and positivity conjectures , Lett. Math. Phys. 101 (2012), no. 1, 27–47. MR 2935476

  2. [10]

    Erik Carlsson and Anton Mellit, A proof of the shuffle conjecture , J. Amer. Math. Soc. 31 (2018), no. 3, 661–697

  3. [11]

    Ivan Cherednik, Nonsymmetric Macdonald polynomials , Internat. Math. Res. Notices (1995), no. 10, 483–515

  4. [12]

    Sergey Fomin, Sergei Gelfand, and Alexander Postnikov, Quantum Schubert polynomials, J. Amer. Math. Soc. 10 (1997), no. 3, 565–596

  5. [13]

    Fu and Alain Lascoux, Non-symmetric Cauchy kernels for the classical groups , Journal of Combinatorial Theory, Series A 116 (2009), no

    Amy M. Fu and Alain Lascoux, Non-symmetric Cauchy kernels for the classical groups , Journal of Combinatorial Theory, Series A 116 (2009), no. 4, 903–917

  6. [14]

    Garsia and Mark Haiman, A graded representation model for Macdonald’s polynomials, Proc

    Adriano M. Garsia and Mark Haiman, A graded representation model for Macdonald’s polynomials, Proc. Nat. Acad. Sci. U.S.A. 90 (1993), no. 8, 3607–3610

  7. [15]

    Ira M. Gessel and Xavier Viennot, Determinants, paths, and plane partitions , Available on- line at https://www.researchgate.net/publication/2802126_Determinants_Paths_and_Plane_ Partitions, 1989

  8. [16]

    thesis, Virginia Tech, 2022

    Ben Goodberry, Partially-symmetric macdonald polynomials , Ph.D. thesis, Virginia Tech, 2022

  9. [17]

    , Type A partially-symmetric Macdonald polynomials , Algebr. Comb. 7 (2024), no. 6, 1647–1694

  10. [18]

    Ben Goodberry and Daniel Orr, A geometric realization of partially-symmetric Macdonald polynomials , arXiv:2312.11657 [math.CO], 2023

  11. [19]

    Grojnowski and M

    I. Grojnowski and M. Haiman, Affine Hecke algebras and positivity of LLT and Macdonald polyno- mials, Available online at https://web.archive.org/web/20250223191322/http://math.berkeley. edu:80/~mhaiman/ftp/llt-positivity/new-version.pdf, 2007

  12. [20]

    Haglund, M

    J. Haglund, M. Haiman, and N. Loehr, A combinatorial formula for Macdonald polynomials , J. Amer. Math. Soc. 18 (2005), no. 3, 735–761

  13. [21]

    2, 359–383

    , A combinatorial formula for nonsymmetric Macdonald polynomials , American Journal of Math- ematics 130 (2008), no. 2, 359–383

  14. [22]

    Haglund, M

    J. Haglund, M. Haiman, N. Loehr, J. B. Remmel, and A. Ulyanov, A combinatorial formula for the character of the diagonal coinvariants , Duke Math. J. 126 (2005), no. 2, 195–232

  15. [23]

    Haglund, J

    J. Haglund, J. B. Remmel, and A. T. Wilson, The delta conjecture, Trans. Amer. Math. Soc. 370 (2018), no. 6, 4029–4057

  16. [24]

    Mark Haiman, Hilbert schemes, polygraphs and the Macdonald positivity conjecture, J. Amer. Math. Soc. 14 (2001), no. 4, 941–1006 (electronic)

  17. [25]

    Algebra 319 (2008), no

    Bogdan Ion, Standard bases for affine parabolic modules and nonsymmetric Macdonald polynomials , J. Algebra 319 (2008), no. 8, 3480–3517

  18. [26]

    Donghyun Kim, Seung Jin Lee, and Jaeseong Oh, Toward Butler’s conjecture , arXiv:2212.09419 [math.CO], 2022

  19. [27]

    Reine Angew

    Friedrich Knop, Integrality of two variable Kostka functions, J. Reine Angew. Math. 482 (1997), 177–189

  20. [28]

    , Composition Kostka functions, Algebraic groups and homogeneous spaces, Tata Inst. Fund. Res. Stud. Math., vol. 19, Tata Inst. Fund. Res., Mumbai, 2007, pp. 321–352

  21. [29]

    Friedrich Knop and Siddhartha Sahi, A recursion and a combinatorial formula for Jack polynomials , Invent. Math. 128 (1997), no. 1, 9–22

  22. [30]

    96 BLASIAK, HAIMAN, MORSE, PUN, AND SEELINGER

    Luc Lapointe, m-Symmetric functions, non-symmetric Macdonald polynomials and positivity conjectures, arXiv:2206.05177 [math.CO], 2022. 96 BLASIAK, HAIMAN, MORSE, PUN, AND SEELINGER

  23. [31]

    Math., vol

    Alain Lascoux, Double crystal graphs , Studies in memory of Issai Schur (Chevaleret/Rehovot, 2000), Progr. Math., vol. 210, Birkh¨ auser Boston, Boston, MA, 2003, pp. 95–114

  24. [32]

    , Polynomials, Available online at https://web.archive.org/web/20170312164301/http:// phalanstere.univ-mlv.fr/~al//ARTICLES/CoursYGKM.pdf, September 2012

  25. [33]

    Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon, Ribbon tableaux, Hall-Littlewood functions, quantum affine algebras, and unipotent varieties , J. Math. Phys. 38 (1997), no. 2, 1041–1068

  26. [34]

    Japan Acad

    Alain Lascoux and Hiroshi Naruse, Finite sum Cauchy identity for dual Grothendieck polynomials , Proc. Japan Acad. Ser. A Math. Sci. 90 (2014), no. 7, 87–91

  27. [35]

    Alain Lascoux and Marcel-Paul Sch¨ utzenberger, Polynˆ omes de Schubert, C. R. Acad. Sci. Paris S´ er. I Math. 294 (1982), no. 13, 447–450

  28. [36]

    346 (2023), no

    Seung Jin Lee, Jaeseong Oh, and Brendon Rhoades, Haglund’s conjecture for multi- t Macdonald poly- nomials, Discrete Math. 346 (2023), no. 6, Paper No. 113360, 12

  29. [37]

    Loehr and Gregory S

    Nicholas A. Loehr and Gregory S. Warrington, Nested quantum Dyck paths and ∇(sλ), Int. Math. Res. Not. IMRN (2008), no. 5, Art. ID rnm 157, 29. MR 2418288

  30. [38]

    101-102, Soci´ et´ e math´ ematique de France, 1983, pp

    George Lusztig, Singularities, character formulas, and a q-analog of weight multiplicities , Analyse et topologie sur les espaces singuliers (II-III) - 6 - 10 juillet 1981, Ast´ erisque, no. 101-102, Soci´ et´ e math´ ematique de France, 1983, pp. 208–229. MR 737932

  31. [39]

    , Affine Hecke algebras and their graded version , J. Amer. Math. Soc. 2 (1989), no. 3, 599–635

  32. [40]

    I. G. Macdonald, A new class of symmetric functions , Publ. I.R.M.A. Strasbourg, 372/S20, Actes 20 S’eminaire Lotharingien, 1988, pp. 131–171

  33. [41]

    I. G. Macdonald, Symmetric functions and Hall polynomials , second ed., Oxford Mathematical Mono- graphs, The Clarendon Press, Oxford University Press, New York, 1995, With contributions by A. Zelevinsky, Oxford Science Publications

  34. [42]

    157, Cambridge University Press, Cambridge, 2003

    , Affine Hecke algebras and orthogonal polynomials , Cambridge Tracts in Mathematics, vol. 157, Cambridge University Press, Cambridge, 2003

  35. [43]

    Ian Grant Macdonald, Notes on Schubert polynomials, Department de math´ ematiques et d’informatique, Universit´ e du Qu´ ebec ` a Montr´ eal, 1991

  36. [44]

    Olivier Mathieu, Filtrations of B-modules, Duke Math. J. 59 (1989), no. 2, 421–442

  37. [45]

    Pure Appl

    , Positivity of some intersections in K0(G/B), J. Pure Appl. Algebra152 (2000), no. 1-3, 231–243, Commutative algebra, homological algebra and representation theory (Catania/Genoa/Rome, 1998)

  38. [46]

    18, 4123–4169

    Anton Mellit, Toric braids and (m, n)-parking functions, Duke Mathematical Journal 170 (2021), no. 18, 4123–4169

  39. [47]

    Opdam, Harmonic analysis for certain representations of graded Hecke algebras , Acta Math

    Eric M. Opdam, Harmonic analysis for certain representations of graded Hecke algebras , Acta Math. 175 (1995), no. 1, 75–121

  40. [48]

    173-174, 10–11, 281– 311, Orbites unipotentes et repr´ esentations, III

    Patrick Polo, Vari´ et´ es de Schubert et excellentes filtrations, Ast´ erisque (1989), no. 173-174, 10–11, 281– 311, Orbites unipotentes et repr´ esentations, III

  41. [49]

    Com- bin

    Victor Reiner and Mark Shimozono, Key polynomials and a flagged Littlewood-Richardson rule , J. Com- bin. Theory Ser. A 70 (1995), no. 1, 107–143

  42. [50]

    Siddhartha Sahi, Interpolation, integrality, and a generalization of Macdonald’s polynomials , Internat. Math. Res. Notices (1996), no. 10, 457–471

  43. [51]

    Wilberd van der Kallen, Lectures on Frobenius splittings and B-modules, Published for the Tata Institute of Fundamental Research, Bombay; by Springer-Verlag, Berlin, 1993, Notes by S. P. Inamdar

  44. [52]

    Wachs, Flagged Schur functions, Schubert polynomials, and symmetrizing operators , J

    Michelle L. Wachs, Flagged Schur functions, Schubert polynomials, and symmetrizing operators , J. Com- bin. Theory Ser. A 40 (1985), no. 2, 276–289. FLAGGED LLT POLYNOMIALS AND NONSYMMETRIC PLETHYSM 97 (Blasiak) Dept. of Mathematics, Drexel University, Philadelphia, PA Email a...

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.