Pith. sign in

REVIEW 4 minor 27 references

A Lam--Postnikov--Pylyavskyy inequality for hybrid Grothendieck polynomials

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Hybrid Grothendieck polynomials satisfy a multivariate Lam–Postnikov–Pylyavskyy inequality that unifies and refines the known inequalities for stable and dual stable Grothendieck polynomials.

desk verdict Solid multivariate LPP for hybrid Grothendieck polynomials that cleanly unifies the two Chan–Chen–Pak–Soskin theorems via a new lattice model. read the letter →

arxiv 2607.03116 v1 pith:KTD5LZPC submitted 2026-07-03 math.CO

Peter L. Guo , Mingyang Kang , Jiaji Liu This is my paper · ORCID
classification math.CO MSC 05E0505E1014N15
keywords hybridGrothendieckpolynomialsLam–Postnikov–PylyavskyyinequalitySchurpositivityoscillatingsequencesstabledualdistributivelatticesvexillarypermutations
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 proves that the product of two hybrid Grothendieck polynomials is Schur-dominated, coefficientwise in the extra parameters t and w, by the product of the hybrids attached to the join and meet of the underlying partitions. Hybrid Grothendieck polynomials simultaneously specialise to the refined stable and dual stable Grothendieck polynomials, so the single inequality recovers and strengthens the two earlier LPP-type results of Chan–Chen–Pak–Soskin. The proof builds a new combinatorial model: oscillating sequences obtained from set-valued reverse plane partitions by a dilation–contraction algorithm. These sequences form a distributive lattice on which a multivariate Reuter–Lovász–Saks inequality and a Schur-orchestra inequality can be applied. The same lattice framework yields refined corollaries for both specialisations and suggests parallel positivity statements for vexillary Schubert and Grothendieck polynomials.

What carries the argument

Oscillating sequences: sequences of partitions obtained from set-valued reverse plane partitions by successive RSK dilation and jeu-de-taquin contraction; they form finite distributive lattices whose modular weight functions generate the hybrid Schur coefficients.

What would settle it

Compute the Schur expansions of H_λ H_μ and H_{λ∨μ} H_{λ∧μ} for small partitions (e.g., (2,1) and (2,1,1)) and check whether every coefficient of the difference is a polynomial in t and w with nonnegative coefficients; a single negative coefficient falsifies the claim.

Watch

Extended reading notes

Core claim

For any partitions λ and μ the hybrid Grothendieck polynomials satisfy H_λ(x;t,w) H_μ(x;t,w) ≤_{t,w}^s H_{λ∨μ}(x;t,w) H_{λ∧μ}(x;t,w), meaning the difference expands in the Schur basis with coefficients in the nonnegative polynomial ring R≥0[t,w].

Load-bearing premise

The dilation–contraction algorithm must give a weight-preserving bijection, so that the hybrid Schur coefficients are exactly the generating functions of oscillating sequences; if the statistics are not preserved, the lattice inequalities no longer control the hybrid polynomials.

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

0 major / 4 minor

Summary. The paper proves a multivariate Lam–Postnikov–Pylyavskyy inequality for hybrid Grothendieck polynomials H_λ(x;t,w): for any partitions λ, μ one has H_λ H_μ ≤_{t,w}^s H_{λ∨μ} H_{λ∧μ}, i.e., the difference expands with coefficients in R≥0[t,w] in the Schur basis (Theorem 1.5). The hybrid polynomials specialise to refined stable and dual stable Grothendieck polynomials, so the result unifies and refines the corresponding inequalities of Chan–Chen–Pak–Soskin. The proof constructs a weight-preserving bijection (dilation–contraction via RSK and jeu de taquin) that realises the Schur coefficients as generating functions of oscillating sequences; these sequences form finite distributive lattices, to which a multivariate Reuter–Lovász–Saks inequality and a Schur-orchestra variation are applied fibrewise. Several conjectural extensions to (equivariant) Schubert and Grothendieck polynomials for vexillary permutations are also stated and partially verified.

Significance. The result supplies a single combinatorial framework that simultaneously recovers the stable and dual-stable LPP inequalities and yields their refined (parameter-dependent) versions. The technical contribution—oscillating sequences with a natural distributive lattice structure, together with self-contained proofs of the needed multivariate lattice and orchestra inequalities—is substantial and of independent interest for correlation inequalities in algebraic combinatorics. The conjectures on vexillary Schubert/Grothendieck positivity, while open, correctly specialise to the classical Schur and Thomas–Yong statements and are supported by systematic low-rank checks. The manuscript is therefore a clear advance on the recent work of Chan–Chen–Pak–Soskin and on the authors’ own hybrid-polynomial paper.

minor comments (4)
  1. In the definition of wt(S) after Definition 3.1 the exponents a_i and b_j are written with subscripts that can be misread as part of the variable; a short clarifying sentence would help.
  2. Remark 1.8 notes that Theorems 4.1 and 5.2 follow from earlier claims of Chan–Pak; while the self-contained proofs are welcome, a one-sentence pointer to the precise statements in [4,5] would improve traceability.
  3. The example after Conjecture 1.12 uses Lehmer-code notation for permutations in S_10 and S_11; a brief reminder that the ambient symmetric group may grow would avoid momentary confusion.
  4. A few typographical inconsistencies appear (e.g., “Reuter–Lov´ asz–Saks”, “Sch¨ utzenberger”); standardising accents and spacing would polish the text.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: the LPP inequality for hybrid Grothendieck polynomials is derived from a new oscillating-sequence model plus self-contained lattice inequalities, not forced by definition or fit.

  1. self citation load bearing [Section 1.2 / Remark 1.4 and the opening of Section 2.4]
    "The hybrid Grothendieck polynomial H_λ(x;t,w) … was introduced by the authors [13] originally in order to unify stable and dual stable Grothendieck polynomials. … It was shown in [13, Theorem 1.2] that H_{λ/μ}(x;t,w) is indeed symmetric in x. Moreover, H_{λ/μ}(x;t,w) is Schur positive."

    The object whose positivity is proved is defined in the authors’ prior work. This is ordinary self-citation of a definition, not a load-bearing uniqueness or positivity result that forces Theorem 1.5; the lattice argument and the new oscillating-sequence formula are independent of that citation. Flagged only for completeness; it does not raise the score above 1.

full rationale

The central claim (Theorem 1.5) is obtained by (i) a weight-preserving bijection (Theorem 3.4 / Corollary 3.5) that rewrites the Schur coefficients K_{λ,μ}(t,w) as generating functions of oscillating sequences, (ii) the observation that those sequences form a finite distributive lattice (Corollary 3.10), and (iii) an application of a multivariate Reuter–Lovász–Saks inequality (Theorem 4.1) together with a Schur-orchestra variation (Theorem 5.2) whose proofs are supplied in the paper. The hybrid polynomials themselves are taken from the authors’ earlier definitional paper [13], but that citation only supplies the object being studied; the positivity statement is new and is not assumed in [13]. Specializations t=0 and w=0 recover the already-proved Chan–Chen–Pak–Soskin theorems, giving an independent consistency check rather than a circular reduction. There are no fitted parameters, no uniqueness theorems imported from the same authors that forbid alternatives, and no renaming of a known empirical pattern. Residual risk is ordinary combinatorial-proof error, not structural circularity. Score 1 reflects only the minor, non-load-bearing self-citation of the hybrid definition.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The paper is pure combinatorial algebra. It rests on classical RSK/jdt, the definition of hybrid Grothendieck polynomials from the authors’ prior work, and standard facts about distributive lattices and Schur positivity. No free parameters are fitted; the only invented combinatorial objects are the oscillating sequences and the dilation–contraction maps, both given explicit bijective constructions.

assumptions (4)
  • standard math RSK insertion and jeu-de-taquin slides are weight-preserving bijections on (semi)standard tableaux with the usual vertical/horizontal-strip properties (Propositions 2.1 and classical jdt reversibility).
    Used throughout Section 3 to define dilation and contraction.
  • domain assumption Hybrid Grothendieck polynomials H_λ(x;t,w) are symmetric and Schur-positive (authors’ earlier paper [13]).
    Taken as background; the present work only needs the combinatorial expansion, which is re-derived via oscillating sequences.
  • standard math The multivariate Ahlswede–Daykin inequality of Chan–Pak [5, Thm 6.1] holds for finite distributive lattices.
    Invoked to prove the multivariate RLS inequality (Theorem 4.1).
  • standard math The Schur orchestra inequality of Chan–Chen–Pak–Soskin [4, Thm 5.2] holds.
    A variation is proved in Theorem 5.2 and applied in the final fibre argument.
invented entities (2)
  • l-oscillating sequences (Definition 3.1) independent evidence
    purpose: Provide a distributive-lattice model for the Schur coefficients of hybrid Grothendieck polynomials so that correlation inequalities apply.
    New combinatorial object introduced in this paper; independent evidence is the explicit weight-preserving bijection of Theorem 3.4.
  • dilation–contraction algorithm (Section 3) independent evidence
    purpose: Realise the bijection between set-valued reverse plane partitions and pairs (SSYT, oscillating sequence).
    Constructive algorithm; correctness is proved by Lemmas 3.6–3.7 and the global bijection argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Lam--Postnikov--Pylyavskyy inequality for hybrid Grothendieck polynomials." pith.science (2026). https://pith.science/paper/KTD5LZPC

@misc{pith2026260703116,
  author       = {Pith},
  title        = {Pith review of: A Lam--Postnikov--Pylyavskyy inequality for hybrid Grothendieck polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KTD5LZPC}},
  note         = {Machine review of arXiv:2607.03116}
}
read the original abstract

We prove a multivariate Lam--Postnikov--Pylyavskyy type inequality for hybrid Grothendieck polynomials, unifying and refining results for stable and dual stable Grothendieck polynomials established by Chan--Chen--Pak--Soskin. We also conjecture extensions of the Lam--Postnikov--Pylyavskyy inequality and a conjecture by Thomas--Yong to the (equivariant) Schubert and Grothendieck polynomial setting.

Figures

Figures reproduced from arXiv: 2607.03116 by the authors.

Figure 1
Figure 1. A set-valued reverse plane partition. Here we have omitted the braces [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. gives an illustration of the RSK insertion for x = 3, where the boxes on the bumping route are shaded. 1 3 4 6 4 4 5 5 −→ 1 3 3 6 4 4 5 5 −→ 1 3 3 6 4 4 4 5 5 [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Inside and outside corners. 11 [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: An illustration of the jdt slide. 3 Oscillating sequences In this section, we introduce oscillating sequences to give a new combinatorial for￾mula for the coefficients Kλ,µ(t, w) appearing in the expansion in (2.1). The con￾struction is based on the RSK and jeu de taqu…
Figure 5
Figure 5. Figure 5: An oscillating sequence from (4, 3, 2) to (4, 3, 3, 1) with l = 3. Remark 3.3. By definition, it is easy to see that for an oscillating sequence S = (λ 0 , λ1 , . . . , λ2l−1 ), the first parts of λ i (0 ≤ i ≤ 2l − 1) are of the same size. Let OSl (λ → µ) denote the se…
Figure 6
Figure 6. Figure 6: An illustration of the dilation algorithm. [PITH_FULL_IMAGE:figures/full_fig_p014_6.png]
Figure 7
Figure 7. Figure 7: An illustration of the contraction algorithm. [PITH_FULL_IMAGE:figures/full_fig_p015_7.png]
Figure 8
Figure 8. Figure 8: An illustration of the dilation-contraction algorithm. [PITH_FULL_IMAGE:figures/full_fig_p016_8.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 3 linked inside Pith

  1. [1]

    Anderson, S

    D. Anderson, S. Griffeth and E. Miller, Positivity and Kleiman transversality in equivariantK-theory of homogeneous spaces, J. Eur. Math. Soc. (JEMS) 13 (2011), 57–84

    2011

  2. [2]

    Bandlow and J

    J. Bandlow and J. Morse, Combinatorial expansions in K-theoretic bases, Elec- tron. J. Combin. 19 (2012), no. 4, Paper 39, 27 pp

    2012

  3. [3]

    Buch, A Littlewood–Richardson rule for theK-theory of Grassmannians, Acta Math

    A.S. Buch, A Littlewood–Richardson rule for theK-theory of Grassmannians, Acta Math. 189 (2002), 37–78

    2002

  4. [4]

    S.H. Chan, H. Chen, I. Pak and D. Soskin, Correlation inequalities for Schur positivity, https://arxiv.org/abs/2606.06688, 2026

    arXiv 2026

  5. [5]

    Chan and I

    S.H. Chan and I. Pak, Multivariate correlation inequalities forP-partitions, Pacific J. Math. 323 (2023), 223–252

    2023

  6. [6]

    Chan and N

    M. Chan and N. Pflueger, Combinatorial relations on skew Schur and skew stable Grothendieck polynomials, Algebraic Combin. 4 (2021), no. 1, 175–188. 26

    2021

  7. [7]

    Eriksson and S

    K. Eriksson and S. Linusson, Combinatorics of Fulton’s essential set, Duke Math. J. 85 (1996), no. 1, 61–76

    1996

  8. [8]

    Fomin and A.N

    S. Fomin and A.N. Kirillov, Grothendieck polynomials and the Yang-Baxter equation, Center for Discrete Mathematics and Theoretical Computer Science (DIMACS), Piscataway, NJ, 2007, 183–189

    2007

Show all 27 references
  1. [9]

    Fulton, Flags, Schubert polynomials, degeneracy loci, and determinantal formulas, Duke Math

    W. Fulton, Flags, Schubert polynomials, degeneracy loci, and determinantal formulas, Duke Math. J. 65 (1992), no. 3, 381–420

    1992

  2. [10]

    Fulton, Young Tableaux, London Mathematical Society Student Texts, vol

    W. Fulton, Young Tableaux, London Mathematical Society Student Texts, vol. 35, Cambridge University Press, 1997

    1997

  3. [11]

    Galashin, D

    P. Galashin, D. Grinberg and G. Liu, Refined dual stable Grothendieck poly- nomials and generalized Bender–Knuth involutions, Electron. J. Combin. 23 (2016), no. 3, Paper 3.14

    2016

  4. [12]

    Graham, Positivity in equivariant Schubert calculus, Duke Math

    W. Graham, Positivity in equivariant Schubert calculus, Duke Math. J. 109 (2001), 599–614

    2001

  5. [13]

    P.L. Guo, M. Kang and J. Liu, Hybrid Grothendieck polynomials, arXiv:2505.19072, 2025

    2025 arXiv

  6. [14]

    Knutson, E

    A. Knutson, E. Miller and A. Yong, Gr¨ obner geometry of vertex decompositions and of flagged tableaux, J. Reine Angew. Math. 630 (2009), 1–31

    2009

  7. [15]

    Knutson and T

    A. Knutson and T. Tao, Puzzles and (equivariant) cohomology of Grassmanni- ans, Duke Math. J. 119 (2003), 221–260

    2003

  8. [16]

    T. Lam, A. Postnikov and P. Pylyavskyy, Schur positivity and Schur log- concavity, Amer. J. Math. 129 (2007), no. 6, 1611–1622

    2007

  9. [17]

    Lam and P

    T. Lam and P. Pylyavskyy, Combinatorial Hopf algebras andK-homology of Grassmannians, Int. Math. Res. Not. IMRN (2007), no. 24, Art. ID rnm125

    2007

  10. [18]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch¨ utzenberger, Polynˆ omes de Schubert, C. R. Acad. Sci. Paris S´ er. I Math. 294 (1982), 447–450

    1982

  11. [19]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch¨ utzenberger, Structure de Hopf de l’anneau de coho- mologie et de l’anneau de Grothendieck d’une vari´ et´ e de drapeaux, C. R. Acad. Sci. Paris S´ er. I Math. 295 (1982), 629–633

    1982

  12. [20]

    H. Li, J. Morse and P. Shields, Structure constants forK-theory of Grassman- nians, revisited, J. Combin. Theory Ser. A 144 (2016), 306–325

    2016

  13. [21]

    Mihalcea, Log-concave inequalities, unpublished manuscript (Fall 2024)

    L.C. Mihalcea, Log-concave inequalities, unpublished manuscript (Fall 2024)

    2024

  14. [22]

    Molev and B.E

    A.I. Molev and B.E. Sagan, A Littlewood–Richardson rule for factorial Schur functions, Trans. Amer. Math. Soc. 351 (1999), 4429–4443

    1999

  15. [23]

    Okounkov, Log-concavity of multiplicities with application to characters of U(∞), Adv

    A. Okounkov, Log-concavity of multiplicities with application to characters of U(∞), Adv. Math. 127 (1997), no. 2, 258–282

    1997

  16. [24]

    Speyer,L-log-concavity and a proof of the conjecture of Lam, Postnikov and Pylyavskyy, arXiv:2601.05007, 2026

    D.E. Speyer,L-log-concavity and a proof of the conjecture of Lam, Postnikov and Pylyavskyy, arXiv:2601.05007, 2026. 27

    2026 arXiv

  17. [25]

    Stanley, Enumerative Combinatorics, Vol

    R.P. Stanley, Enumerative Combinatorics, Vol. 2, Cambridge Studies in Ad- vanced Mathematics, vol. 62, Cambridge University Press, 1999

    1999

  18. [26]

    Thomas and A

    H. Thomas and A. Yong, A jeu de taquin theory for increasing tableaux, with applications to K-theoretic Schubert calculus, Algebra Number Theory 3 (2009), 121–148

    2009

  19. [27]

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

    M.L. Wachs, Flagged Schur functions, Schubert polynomials, and symmetrizing operators, J. Combin. Theory Ser. A 40 (1985), no. 2, 276–289. {Peter L. Guo, Mingyang Kang, Jiaji Liu}Center for Combinatorics, Nankai University, LPMC, Tianjin 300071, P.R. China Email address:lguo@n...

    1985

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.