{"id":"285be362-bfb7-4f71-98ac-89b25f7a1f24","arxiv_id":"2607.03116","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Hybrid Grothendieck polynomials satisfy a multivariate LPP Schur-positivity inequality that unifies and refines the stable and dual-stable cases.","lead":"The paper proves a multivariate Lam–Postnikov–Pylyavskyy inequality for hybrid Grothendieck polynomials, unifying and refining known Schur-positivity results for stable and dual stable Grothendieck polynomials. It also states several conjectures extending LPP-type inequalities to Schubert and Grothendieck polynomials.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The central claim (Theorem 1.5) rests on three interlocking pieces: (i) the weight-preserving bijection that realises K_{λ,μ}(t,w) as the generating function of oscillating sequences (Corollary 3.5), (ii) the distributive-lattice structure of those sequences (Corollary 3.10), and (iii) the multivariate RLS and Schur-orchestra inequalities (Theorems 4.1 and 5.2) that convert lattice correlation into Schur positivity. The reader correctly isolates (i) as the most delicate step. My re-examination of the dilation and contraction maps (Lemmas 3.6–3.7), the modularity of the size statistics (6.1), and the fibre-wise application of Theorem 4.1 inside OS^{l,m}_k reveals no hidden assumption that fails for general t,w. Specialisation to the stable and dual cases recovers the earlier theorems of Chan–Chen–Pak–Soskin, giving an external consistency check. Consequently the reader’s ACCEPT / HIGH / low-risk assessment stands; no adjustment of the verdict is warranted.","tokens_in":23763,"tokens_out":583,"duration_ms":5603,"concrete_test":"Independently recompute the generating function of OS_ℓ(λ)(λ→μ) for a small pair (e.g. λ=(2,1), μ=(2,1,1)) by enumerating all set-valued reverse plane partitions of shape λ and applying the dilation–contraction algorithm of §3; verify that the resulting bivariate polynomials in t,w coincide with the known Schur coefficients of H_λ obtained from the lattice-word formula of [13, Thm 1.3]. Agreement on several such pairs would confirm the bijection that underpins the whole argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption correctly flags the dilation–contraction bijection (Theorem 3.4 / Corollary 3.5) as the combinatorial foundation of the Schur coefficients. After re-reading Lemmas 3.6–3.7, the RSK/jdt reversibility arguments, the modularity identity (6.1), and the application of the multivariate RLS inequality (Theorem 4.1) inside the finite lattice OS^{l,m}_k, I find no concrete place where the weight-preserving property or the lattice hypotheses fail. The reduction to the already-proved stable/dual cases (t=0 or w=0) supplies an independent consistency check. Residual risk is ordinary human-proof error of the kind present in any multi-section combinatorial argument of this length, not a structural gap that would overturn Theorem 1.5.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":23967,"tokens_out":655,"duration_ms":5524,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"A few typographical inconsistencies appear (e.g., “Reuter–Lov´ asz–Saks”, “Sch¨ utzenberger”); standardising accents and spacing would polish the text.","section":null}],"recommendation":"accept","confidential_remarks":"The central combinatorial argument is long but carefully written; residual risk is ordinary human-proof error rather than a structural gap. The paper is a natural fit for a combinatorics journal of this calibre."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news is Theorem 1.5: hybrid Grothendieck polynomials satisfy a two-parameter Schur-positive LPP inequality that specialises to both the stable and dual-stable results of Chan–Chen–Pak–Soskin, and also recovers ordinary Schur LPP. That is a genuine unification, not a cosmetic rewrite.\n\nWhat they do well is the combinatorial foundation. The dilation–contraction algorithm (Section 3) turns set-valued reverse plane partitions into pairs (SSYT, oscillating sequence) while preserving the three statistics that appear in the hybrid weight. Oscillating sequences form a distributive lattice (Corollary 3.10), so the authors can feed them into a multivariate Reuter–Lovász–Saks inequality (Theorem 4.1) and a variation of the Schur-orchestra inequality (Theorem 5.2). The fibre-wise argument in Section 6 then finishes the proof. Both lattice inequalities are proved in the paper, so the argument is self-contained. The reduction to the already-known t=0 and w=0 cases supplies a useful consistency check.\n\nSoft spots are modest. The bijection in Theorem 3.4 is the load-bearing combinatorial step; if the weight preservation failed, the lattice machinery would not control the hybrid coefficients. After reading Lemmas 3.6–3.7 and the modularity identity (6.1), I do not see a break, but it is the place a careful referee should re-check. The conjectural Schubert/Grothendieck extensions (1.12–1.17) are clearly labelled and only supported by small-n verification; they are not claimed as theorems. The Okounkov-type strengthening is deferred to future work, which is honest.\n\nThis is for people who work on Schur positivity, K-theoretic Schubert calculus, or correlation inequalities on lattices. The oscillating-sequence model looks reusable. I would send it to a serious referee; the main theorem is new, the proof is written out, and the residual risk is ordinary human-proof error rather than a structural gap. Worth engaging.","headline":"Solid multivariate LPP for hybrid Grothendieck polynomials that cleanly unifies the two Chan–Chen–Pak–Soskin theorems via a new lattice model.","tokens_in":24556,"tokens_out":530,"would_cite":true,"duration_ms":4968,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E05","05E10","14N15"],"pacs":[],"model":"grok-4.5","headline":"Hybrid Grothendieck polynomials satisfy a multivariate Lam–Postnikov–Pylyavskyy inequality that unifies and refines the known inequalities for stable and dual stable Grothendieck polynomials.","keywords":["hybrid Grothendieck polynomials","Lam–Postnikov–Pylyavskyy inequality","Schur positivity","oscillating sequences","stable Grothendieck polynomials","dual stable Grothendieck polynomials","distributive lattices","vexillary permutations"],"falsifier":"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.","tokens_in":24675,"feed_emoji":"▷","tokens_out":737,"duration_ms":6547,"temperature":0.7,"pith_summary":"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.","feed_headline":"Hybrid Grothendieck polynomials obey a multivariate LPP inequality","feed_subtitle":"One lattice inequality recovers and refines both stable and dual-stable Grothendieck positivity results","key_machinery":"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.","core_discovery":"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].","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Hybrid Grothendieck polynomials satisfy multivariate LPP inequality","Multivariate LPP inequality holds for hybrid Grothendieck polynomials","Join-meet LPP inequality proven for hybrid Grothendieck polynomials","Hybrid Grothendieck products yield Schur-positive lattice difference","LPP lattice inequality refined for hybrid Grothendieck polynomials"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Hybrid Grothendieck polynomials satisfy multivariate LPP inequality","Multivariate LPP inequality holds for hybrid Grothendieck polynomials","Join-meet LPP inequality proven for hybrid Grothendieck polynomials","Hybrid Grothendieck products yield Schur-positive lattice difference","LPP lattice inequality refined for hybrid Grothendieck polynomials"]},"model":"grok-4.5","effort":"low","cost_usd":0.006492,"raw_usage":{"total_tokens":1568,"prompt_tokens":633,"num_sources_used":0,"completion_tokens":91,"cost_in_usd_ticks":64920000,"prompt_tokens_details":{"text_tokens":633,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":844,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":633,"tokens_out":91,"duration_ms":6339,"temperature":1.0,"reasoning_tokens":844,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T04:46:21.663352+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}