pith. sign in

arxiv: 2605.20954 · v1 · pith:GX7JC2PUnew · submitted 2026-05-20 · 🧮 math.CO

Schur positivity of the nabla operator on two-column modified Hall--Littlewood polynomials

Menghao Qu This is my paper

Pith reviewed 2026-05-21 03:47 UTC · model grok-4.3

classification 🧮 math.CO MSC 05E05
keywords Schur positivitynabla operatormodified Hall-Littlewood polynomialstwo-column partitionssymmetric functionscombinatorial conjecturesMacdonald polynomials
0
0 comments X

The pith

The nabla operator maps modified Hall-Littlewood polynomials of two-column partitions to positive combinations of Schur functions, resolving two conjectures and extending to all positive powers of nabla.

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

The paper establishes that modified Hall-Littlewood polynomials indexed by two-column partitions stay Schur positive after the nabla operator acts on them. This settles two specific conjectures from earlier work for the restricted setting of two-column shapes. The same methods further show that the positivity property survives when nabla is iterated any positive integer number of times. A reader would care because Schur positivity supplies a concrete link between algebraic operators and combinatorial bases that often unlocks explicit formulas or interpretations. The extension to powers indicates the result is stable under repeated application rather than a one-off phenomenon.

Core claim

For partitions with at most two columns, the modified Hall-Littlewood polynomial is Schur positive after any number of applications of the nabla operator.

What carries the argument

The nabla operator on symmetric functions (a q,t-analog operator tied to Macdonald theory), restricted to two-column modified Hall-Littlewood polynomials.

If this is right

  • The two original conjectures hold when restricted to two-column partitions.
  • Schur positivity is preserved under arbitrary positive integer powers of nabla.
  • The proof techniques apply uniformly across all such powers without new restrictions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same identities might extend positivity to partitions with more columns if analogous reductions can be found.
  • This stability under iteration could connect to representation-theoretic or geometric models where nabla appears naturally.
  • Explicit positive formulas for the Schur coefficients might now be derivable in the two-column case.

Load-bearing premise

The algebraic or combinatorial identities that prove positivity for a single nabla application continue to hold unchanged for higher powers.

What would settle it

Compute nabla to the power k of the modified Hall-Littlewood polynomial for a concrete two-column partition and k greater than 1, and check whether every coefficient in its Schur expansion is nonnegative.

read the original abstract

In this paper, we investigate the Schur positivity of modified Hall--Littlewood polynomials indexed by two-column partitions under the action of the $\nabla$ operator. Specifically, we resolve two conjectures posed by Bergeron, Garsia, Haiman, and Tesler in the two-column case. Furthermore, our approach demonstrates that these results can be extended to arbitrary powers $\nabla^k$ for all integers $k\geq 1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proves Schur positivity for the action of the nabla operator on modified Hall-Littlewood polynomials indexed by two-column partitions, thereby resolving two conjectures of Bergeron, Garsia, Haiman, and Tesler in this restricted case. It further asserts that the same methods extend the positivity result to arbitrary positive integer powers ∇^k.

Significance. Resolving the conjectures even in the two-column case would constitute a concrete advance in the study of positivity phenomena for the nabla operator and its connections to diagonal harmonics. The explicit combinatorial or algebraic identities used for the base case are a strength; however, the extension to ∇^k rests on an unverified iteration claim that requires additional justification to be fully convincing.

major comments (1)
  1. [§4] §4 (Extension to higher powers): The argument that the two-column positivity identities 'continue to hold' for ∇^k, k≥2, is stated without an explicit inductive step, recurrence for the coefficients, or even a direct verification for k=2. This step is load-bearing for the generalized claim and is not secured by the single-application identities developed earlier.
minor comments (2)
  1. [Introduction] The definition of the modified Hall-Littlewood polynomials and the precise normalization of the nabla operator should be recalled in the introduction for readers who may not have the Bergeron-Garsia-Haiman-Tesler conjectures at hand.
  2. [§3] A short table or example computing the Schur expansion for a small two-column partition under ∇ and under ∇^2 would help illustrate the claimed positivity before the general argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for greater rigor in the extension to higher powers of nabla. We address the major comment below and will revise the paper to incorporate additional justification.

read point-by-point responses

  1. Referee: [§4] §4 (Extension to higher powers): The argument that the two-column positivity identities 'continue to hold' for ∇^k, k≥2, is stated without an explicit inductive step, recurrence for the coefficients, or even a direct verification for k=2. This step is load-bearing for the generalized claim and is not secured by the single-application identities developed earlier.

    Authors: We agree that the current presentation of the extension to ∇^k in §4 lacks an explicit inductive argument or verification for small values of k. The manuscript asserts that the two-column positivity identities extend by iteration, relying on the fact that the image under ∇ remains within the relevant span of modified Hall-Littlewood polynomials indexed by two-column partitions. However, we acknowledge that this iterative claim requires formalization to be fully convincing. In the revised manuscript we will add a dedicated subsection to §4 that supplies an inductive proof: assuming Schur positivity holds for ∇^m applied to any two-column modified Hall-Littlewood polynomial, we show that the coefficients of ∇^{m+1} remain Schur-positive by composing the base-case operator with the already-positive result of ∇^m. We will also include an explicit coefficient computation for the case k=2 on the smallest non-trivial two-column partitions to illustrate the pattern. These additions will secure the generalized claim without altering the core results for the base case. revision: yes

Circularity Check

0 steps flagged

No load-bearing circularity; extension to ∇^k presented as direct application of two-column identities

full rationale

The paper resolves the Bergeron-Garsia-Haiman-Tesler conjectures for two-column modified Hall-Littlewood polynomials under a single ∇ by combinatorial or algebraic identities. The claim that the same techniques extend to ∇^k for k≥1 is asserted without reducing the positivity statement to a self-definition, fitted parameter, or self-citation chain that itself depends on the target result. No equations or sections in the provided abstract or description exhibit a prediction that is forced by construction from the inputs. The derivation remains self-contained against the external conjectures it addresses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard algebraic properties of the nabla operator and modified Hall-Littlewood polynomials as developed in the literature on Macdonald polynomials and diagonal harmonics; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard properties of the nabla operator and modified Hall-Littlewood polynomials in the ring of symmetric functions.
    The paper builds directly on the established theory of these objects and the conjectures stated by Bergeron et al.

pith-pipeline@v0.9.0 · 5587 in / 1251 out tokens · 36552 ms · 2026-05-21T03:47:08.498555+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    [AGRZ01] I. Area, E. Godoy, A. Ronveaux, and A. Zarzo,Solving connection and linearization problems within the Askey scheme and itsq-analogue via inversion formulas, Proceedings of the Fifth International Symposium on Or- thogonal Polynomials, Special Functions and their Applications (Patras, 1999), 2001, pp. 151–162. MR1858275 [Ber09] F. Bergeron,Algebra...

    work page 1999

  2. [2]

    Bergeron and A

    MR2538310 [BG99] F. Bergeron and A. M. Garsia,Science fiction and Macdonald’s polynomials, Algebraic methods andq-special functions (Montréal, QC, 1996), 1999, pp. 1–52. MR1726826 [BGHT99] F. Bergeron, A. M. Garsia, M. Haiman, and G. Tesler,Identities and positivity conjectures for some remarkable operators in the theory of symmetric functions, Methods Ap...

    work page 1996

  3. [3]

    MR4553915 [BHM+25] ,Dens, nests and the Loehr-Warrington conjecture, J. Amer. Math. Soc.38(2025), no. 4, 1049–1106. MR4930329 [CM18] E. Carlsson and A. Mellit,A proof of the shuffle conjecture, J. Amer. Math. Soc.31(2018), no. 3, 661–697. MR3787405 [DM22] M. D’Adderio and A. Mellit,A proof of the compositional delta conjecture, Adv. Math.402(2022), Paper ...

    work page 2025

  4. [4]

    Gillespie and S

    MR4401822 [GG24] M. Gillespie and S. T. Griffin,Cocharge and skewing formulas for∆-Springer modules and the delta conjecture, Int. Math. Res. Not. IMRN14(2024), 10895–10917. MR4775674 [GH07] I. Grojnowski and M. Haiman,Affine Hecke algebras and positivity of LLT and Macdonald polynomials, Un- published manuscript (2007). [GH12] A. M. Garsia and J. Haglund...

    work page 2024

  5. [5]

    MR1701592 [GP92] A

    The Andrews Festschrift (Maratea, 1998). MR1701592 [GP92] A. M. Garsia and C. Procesi,On certain gradedS n-modules and theq-Kostka polynomials, Adv. Math.94 (1992), no. 1, 82–138. MR1168926 [GR04] G. Gasper and M. Rahman,Basic hypergeometric series, Second, Encyclopedia of Mathematics and its Appli- cations, vol. 96, Cambridge University Press, Cambridge,

    work page 1998

  6. [6]

    MR2371044 [Hai01] M

    With an appendix on the combinatorics of Macdonald polynomials. MR2371044 [Hai01] M. Haiman,Hilbert schemes, polygraphs and the Macdonald positivity conjecture, J. Amer. Math. Soc.14 (2001), no. 4, 941–1006. MR1839919 [Hai94] M. D. Haiman,Conjectures on the quotient ring by diagonal invariants, J. Algebraic Combin.3(1994), no. 1, 17–76. MR1256101 [HHL05] ...

    work page 2001

  7. [7]

    Haglund, J

    MR3932967 [HRW18] J. Haglund, J. B. Remmel, and A. T. Wilson,The delta conjecture, Trans. Amer. Math. Soc.370(2018), no. 6, 4029–4057. MR3811519 [Jin91] N. H. Jing,Vertex operators and Hall-Littlewood symmetric functions, Adv. Math.87(1991), no. 2, 226–248. MR1112626 [Kir01] A. N. Kirillov,Ubiquity of Kostka polynomials, Physics and combinatorics 1999 (Na...

    work page 2018

  8. [8]

    Lascoux, B

    [LLT97] A. Lascoux, B. Leclerc, and J.-Y. Thibon,Ribbon tableaux, Hall-Littlewood functions, quantum affine algebras, and unipotent varieties, J. Math. Phys.38(1997), no. 2, 1041–1068. MR1434225 [LOR23] S. J. Lee, J. Oh, and B. Rhoades,Haglund’s conjecture for multi-tMacdonald polynomials, Discrete Math.346 (2023), no. 6, Paper No. 113360,

    work page 1997

  9. [9]

    Lascoux and M.-P

    MR4547238 [LS78] A. Lascoux and M.-P. Schützenberger,Sur une conjecture de H. O. Foulkes, C. R. Acad. Sci. Paris Sér. A-B 286(1978), no. 7, A323–A324. MR472993 [LW07] N. A. Loehr and G. S. Warrington,Squareq, t-lattice paths and∇(pn), Trans. Amer. Math. Soc.359(2007), no. 2, 649–669. MR2255191 [LW08] ,Nested quantum Dyck paths and∇(s λ), Int. Math. Res. N...

    work page 1978

  10. [10]

    Macdonald,A new class of symmetric functions., Séminaire Lotharingien de Combinatoire [electronic only] 20(1988), B20a, 41 p.–B20a, 41 p

    MR2418288 [Mac88] I.G. Macdonald,A new class of symmetric functions., Séminaire Lotharingien de Combinatoire [electronic only] 20(1988), B20a, 41 p.–B20a, 41 p. (eng). [Mac95] I. G. Macdonald,Symmetric functions and Hall polynomials, Second, Oxford Mathematical Monographs, The ClarendonPress,OxfordUniversityPress,NewYork,1995.WithcontributionsbyA.Zelevins...

    work page 1988

  11. [11]

    Sergel,A proof of the square paths conjecture, J

    MR4921577 [Ser17] E. Sergel,A proof of the square paths conjecture, J. Combin. Theory Ser. A152(2017), 363–379. MR3682738 [Ser18] ,A parking function interpretation for∇m n,1k, Sém. Lothar. Combin.80B(2018), Art. 69,

    work page 2017

  12. [12]

    MR1676282 [Ste94] J

    With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR1676282 [Ste94] J. R. Stembridge,Some particular entries of the two-parameter Kostka matrix, Proc. Amer. Math. Soc.121 (1994), no. 2, 367–373. MR1182707 [Zab98] M. Zabrocki,A Macdonald vertex operator and standard tableaux statistics for the two-column(q, t)-Kostka coefficients, Electron...

    work page 1994