{"id":"605507af-ff5f-45eb-be70-d1fda40d0560","arxiv_id":"2509.01857","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Hybrid generic pipe dreams give a hybridization-independent equivariant formula for the classes of lower-upper varieties, proved via Yang-Baxter equations and a degeneration into complete intersections.","lead":"This paper defines 'generic' pipe dreams, grid puzzles that interpolate between classic and bumpless pipe dreams, and proves the associated polynomials do not depend on the mixing rule. They equal the equivariant classes of lower-upper varieties, with a degeneration proof and a new 'flux' interpretation of why pipe dreams arise.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 21's divided-difference recurrence depends on an unshown CAS check that d=1; if wrong, Corollary 22 fails. This unverified step is the load-bearing hinge for Gπ=[Eπ].","rationale":"I read the paper as establishing two facts: β-independence and the recurrence for Gπ via Yang-Baxter, and the geometric identity Gπ=(A+B)^m[Eπ] via divided differences and degeneration. The Yang-Baxter part appears internally consistent: Propositions 11 and 12 are local checks, and Theorems 16 and 17 follow cleanly from them. The geometric part, however, has one unverified numerical hinge: Lemma 20's d=1. The proof of Theorem 21 delegates this to a CAS claim about a 2×2 conjugation ideal, and the displayed ideal contains a typo that makes exact reproduction impossible. If d≠1, the geometric recurrence would acquire a factor 1/d and would no longer match the combinatorial recurrence, so Corollary 22 would fail. The degeneration proof in §5.4 also invokes Corollary 22 for its class comparison, so the concern propagates. I do not claim the computation is wrong; I claim it is load-bearing and unverified. The embedded-components caveat in Theorem 30 is less serious because lower-dimensional embedded components do not affect equivariant classes, and the positivity argument controls the top-dimensional multiplicities. Therefore the reader's CONDITIONAL verdict is appropriate; my read does not change it.","tokens_in":26805,"tokens_out":18733,"duration_ms":193305,"concrete_test":"Use an exact computer algebra system (Macaulay2/Singular) to compute the primary decomposition of I=⟨(gSg^{-1})_{12}, (gSg^{-1})_{11}-a, (gSg^{-1})_{22}-e, t·det(g)-1⟩ in Q[a,e,p,q,r,s,t], introducing t to enforce det(g)≠0. Then localize away from a=0, e=0, a=e, and a=-e, and check that the only surviving component has q=0. Separately, for generic numerical values (e.g., a=1, e=2), enumerate all g∈GL2(C) satisfying the three equations and count the B2-cosets; the count must be 1. This would settle whether d=1 is correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central identity Gπ=(A+B)^m[Eπ] (Cor. 22) is proved through Theorem 21's divided-difference recurrence for [Eπ]. That recurrence applies Lemma 20 with degree d=1, and the proof of d=1 is a raw computer-algebra assertion: for S=diag(a,e), g=[[p,q],[r,s]], the ideal I=⟨(gSg^{-1})_{12}, (gSg^{-1})_{11}-a, (gSg^{-1})_{22}-e⟩ is claimed to have four components, with only q=0 remaining for generic a,e. If d were not 1 for some row pair, Lemma 20 would introduce a factor 1/d in the geometric recurrence, and the combinatorial recurrence of Thm. 17 would no longer match the geometry; Cor. 22 and the class-comparison in §5.4 would then fail. The paper neither displays the computation nor provides code, and the displayed ideal contains a typo (d vs e), so a reader cannot verify the unique numerical input on which the main equality rests. This is more load-bearing than the embedded-component caveat in Thm. 30, since that caveat only affects the geometric interpretation, not the equality itself. I am not claiming the computation is wrong—it is likely correct—but it is unverified and load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces hybrid generic pipe dreams for rectangular lower-upper schemes. It proves, via Yang–Baxter state-sum identities, that the associated polynomial Gπ is independent of the hybridization β, and that it satisfies a divided-difference recurrence. It then identifies Gπ with (A+B)^m times the torus-equivariant cohomology class of the lower-upper variety Eπ, and gives a degeneration of Eπ into complete intersections indexed by the hybrid generic pipe dreams, with class contributions matching the terms of Gπ. A flux formalism is introduced that motivates the pipe-dream combinatorics from the degenerating equations.","tokens_in":27140,"tokens_out":7092,"duration_ms":86494,"significance":"If correct, the paper gives a geometric realization of hybrid generic pipe dreams: each pipe dream corresponds to a component of a flat degeneration, a substantial strengthening of the formal role pipe dreams usually play. The equivariant setting and the Yang–Baxter proof of hybridization independence are new relative to [KU23], and the flux reinterpretation is an appealing conceptual contribution. The main objects are independently defined, no fitted parameters appear, and the paper contains a number of checkable recurrence and degeneration statements. However, several load-bearing verifications are abbreviated, so the result is plausible but not yet fully verified as written.","major_comments":[{"comment":"The recurrence (4.2) is the geometric input to Corollary 22 and hence to the central identity Gπ=(A+B)^m[Eπ]. The proof that d=1 in Lemma 20 is delegated to an unseen computer algebra computation: the ideal I is declared to have four components, but the component analysis is not displayed. The displayed ideal also contains a notation error: S=diag(a,e), g=[[p,q],[r,s]], but the third generator is written as (gSg^{-1})_{22}=d, and the entry s clashes with the matrix S. A wrong d would introduce a factor 1/d in the divided difference operator and break the comparison with Theorem 17. This verification must be supplied, either as a complete computer-algebra transcript or as a hand proof, with the notation corrected.","section":"§4.1, proof of Theorem 21, Eq. (4.2)"},{"comment":"Theorem 16 (independence of β) and Theorem 17 (divided-difference recurrence) rest on the two Yang–Baxter state-sum identities. The proofs state 'direct computation' and illustrate only two connectivity cases for Proposition 11; Proposition 12 is dismissed by symmetry. Since the state sums involve several possible connectivities, the reader cannot verify the claimed identities from the text. Please list the finite set of connectivity patterns that must be checked and include the checks, or give a precise reference where the full computation is carried out.","section":"§3.1, Propositions 11 and 12"},{"comment":"The degeneration theorem is stated with 'possibly ... embedded components,' but the class comparison in (5.14)–(5.15) yields an equality [Eπ] = Σ [Vδ]. In the positive multigrading of §4.2, nonzero embedded components would contribute additional classes, so the displayed inequality argument cannot by itself establish both the class equality and the presence of embedded components. The paper should either prove that the class equality rules out embedded components and remove the caveat from Theorems 2 and 30, or restate the degeneration result as a set-theoretic degeneration plus a separate class computation. As written, the claim that pipe dreams are exactly the components of the degeneration is not fully resolved.","section":"§5.4 and Theorem 30"}],"minor_comments":[{"comment":"The typo in the ideal I — (gSg^{-1})_{22}=d should involve e, not d — should be corrected; also the matrix entry r/s notation should be changed to avoid confusion with the diagonal matrix S.","section":"§4.1, Theorem 21 proof"},{"comment":"The sentence 'This correspondence also appears as part of a larger bijection in the very recent [Wei25], but we cannot see any connection' is informal and not needed; either explain the relevance or delete it.","section":"§3.1, Lemma 13"},{"comment":"The example refers to 'underlined' terms, but underlining is not visible in the submitted text. Please mark the retained terms explicitly, e.g., by boldface.","section":"§1.3.3, example for m=n=2, π=12"},{"comment":"The proof is a sketch ending with 'We leave it as an exercise to the reader.' Since Proposition 31 is a stated geometric identification, either give the full verification or label the statement as a sketch/proof omitted.","section":"§5.6, Proposition 31"},{"comment":"The sentence 'Part (2) follows immediately from part (1)' is slightly misleading because part (1) is qualified by possible embedded components; the independent proof of part (2) in §4 is welcome, but the wording should be adjusted.","section":"§1.3.2, Theorem 2"}],"recommendation":"major_revision","confidential_remarks":"The paper is in the authors' own line of work and cites prior related papers transparently. The main concern is not novelty or circularity but verifiability: the d=1 CAS check and the Yang–Baxter computations are load-bearing and not fully shown. These can likely be fixed by adding explicit computations and clarifying the embedded-component issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a strong paper, and the main theorems are credible, but one load-bearing verification is a computer algebra assertion that is not reproducible from the text. The paper deserves peer review, and the referee should push for that computation to be exposed.\n\nWhat is genuinely new: the Yang-Baxter proof that the generic pipe dream polynomial Gπ is independent of hybridization (Theorem 16), the divided-difference recurrence (Theorem 17), and the identification Gπ = (A+B)^m [Eπ] (Corollary 22). The degeneration of Eπ into complete intersections indexed by hybrid generic pipe dreams (Theorem 30) is a substantial geometric result, and the flux formalism is a nice way to motivate pipe dreams from the equations. The paper is honest: it flags possible embedded components repeatedly and proves the central identity twice, once via the recurrence and once via the degeneration.\n\nThe main soft spot is exactly what the stress-test note says. Theorem 21's recurrence for [Eπ] applies Lemma 20 with degree d=1, and the verification of d=1 is a stated computer algebra calculation. The ideal displayed has a typo ((gSg^{-1})_{22}=d in place of e), and no code or sample output is given. This step is load-bearing for Corollary 22. I do not believe the computation is wrong; it is the kind of check that is routine for a CAS. But the paper gives a reader no way to see it. The Yang-Baxter propositions 11 and 12 are also 'direct computation' with only two sample connectivities shown; that is a smaller issue, since it is a finite check, but a supplement with the full calculation would be easy to add.\n\nThe embedded-component caveat in Theorem 30 is real but less threatening to the main equality than the CAS step, since the class computation in §5.4 uses positivity and would still work if embedded components appeared, as long as they are lower-dimensional. So I would not hold the paper hostage to that conjecture.\n\nWho it's for: specialists in Schubert calculus, equivariant cohomology, and Yang-Baxter/combinatorial integrable systems. It proves results announced in [KZJ24] and extends the non-equivariant bijective results of [KU23]. It is a meaningful step, not a revolution. I would send it to a serious referee, with the d=1 computation as the explicit item to verify.","headline":"Strong paper with a hinge that needs to be made visible: the d=1 CAS check in Theorem 21.","tokens_in":27599,"tokens_out":3695,"would_cite":true,"duration_ms":37210,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M15","05E05","14N15","82B23"],"pacs":[],"model":"deepseek-v4-flash","headline":"Generic pipe dream polynomials are hybridization-independent and compute lower-upper equivariant classes.","keywords":["generic pipe dreams","hybrid pipe dreams","Schubert polynomials","equivariant cohomology","lower-upper varieties","Yang-Baxter equation","complete intersections","flux variables"],"falsifier":"Recompute the ideal I = ⟨(gSg^{-1})_{12} = 0, (gSg^{-1})_{11} = a, (gSg^{-1})_{22} = e⟩ symbolically with generic a,e, and check whether the q ≠ 0 locus is empty after discarding the three exceptional components a = e = 0, a = e, and a = -e. A single point with q ≠ 0 satisfying the equations would break the d = 1 step and hence Theorem 21. A second independent check would be to compute Gπ by the recurrence of Theorem 17 and by the degeneration of Theorem 30 for a small example such as m = n = 3, π = 312, and compare the two polynomials termwise.","tokens_in":1705,"feed_emoji":"🧩","tokens_out":2614,"duration_ms":136185,"temperature":0.7,"pith_summary":"This paper aims to show that the classic and bumpless pipe-dream models for Schubert polynomials are not merely equivalent counting devices, but are both visible inside one geometric object. It introduces hybrid generic pipe dreams, where each row independently chooses a West or East convention, and proves that the resulting polynomial Gπ is independent of that choice. It then identifies Gπ with (A+B)^m times the torus-equivariant cohomology class of a lower-upper variety Eπ, giving the polynomial a geometric meaning. The main degeneration construction breaks Eπ into a union of quadratic complete intersections indexed by hybrid generic pipe dreams of connectivity π, so individual pipe dreams become components of an explicit degeneration.","feed_headline":"Same polynomial arises from every pipe-dream hybridization.","feed_subtitle":"The generic pipe-dream polynomial equals a lower-upper variety class; each pipe dream is one component.","key_machinery":"The named object is the hybrid generic pipe dream polynomial Gπ: a weighted state sum over fillings of an m×n grid by elbow, straight, and blank tiles, each row independently typed W or E, with weights linear in variables A, B, xi, yj. The carrying identities are the Yang–Baxter equations for the tile weights, which force β-independence and the divided-difference recurrence, and the flux variables attached to the edges of the lower-upper scheme. Flux conservation at each square is what reconstructs a hybrid generic pipe dream from the components of the degeneration, turning the drawings into geometry.","core_discovery":"The central claim is Gπ = (A+B)^m [Eπ], with Gπ the generic pipe dream polynomial and [Eπ] the torus-equivariant cohomology class of the lower-upper variety Eπ (pairs of matrices whose products are triangular, restricted to component π). Yang–Baxter equations prove Gπ independent of the West/East hybridization and give a divided-difference recurrence. Two geometric proofs follow: one checks the recurrence on the classes, the other degenerates Eπ into a union Vδ of quadratic complete intersections indexed by hybrid generic pipe dreams of connectivity π, each Vδ contributing exactly one summand of Gπ. The B → ∞ limit recovers the double Schubert polynomial, with nongeneric hybrid pipe dreams s","pith_inferences":["The paper does not pursue a term-by-term bijection between hybridizations, and the counts 76, 78, 80 for π=1253 show no naive bijection exists; a natural extension would be to construct the decorated bijection suggested by the 1475 decorated generic pipe dreams.","The flux-equation reformulation suggests a definition of pipe dream that depends only on flux equalities and boundary data rather than declared tile shapes; if developed, this could produce analogues for other boundary conditions or other matrix varieties.","Because the degeneration is only partial—weights may tie rather than form a full monomial order—the natural geometric pieces are nonlinear complete intersections rather than coordinate subspaces; a further degeneration might recover the nonreduced phenomena seen in the bumpless pipe-dream Gröbner geometry."],"forward_implications":["If Theorem 2 and Corollary 22 hold, Gπ is a well-defined invariant of π computed by any row-by-row hybridization; classic and bumpless pipe-dream formulas become limiting cases of one polynomial.","Theorem 17 gives an inductive definition of Gπ with an explicit base case, so equivariant classes can be computed by a divided-difference recurrence without enumerating pipe dreams.","Theorem 24 shows the double Schubert polynomial is the B-leading form of Gπ, geometrically tying Schubert polynomials to the lower-upper scheme.","The degeneration into complete intersections means each pipe-dream component Vδ carries an explicit equivariant class and is generically reduced; if the conjectured absence of embedded components holds, the geometric decomposition exactly matches the pipe-dream summands.","Because the construction is inductive on m and works for rectangular m ≤ n, the lower-upper scheme can be handled without restricting to square matrices, which the proof needs for the induction step."],"supporting_citations":[{"why":"Introduces hybrid pipe dreams interpolating between classic and bumpless models; this paper generalizes them to generic hybrid pipe dreams and equivariant coefficients.","marker":"[KU23]"},{"why":"Introduces the lower-upper scheme E and its components Eπ in the square case; the rectangular extension and degeneration build on its equations and component structure.","marker":"[Knu05]"},{"why":"Provides the Gröbner-geometry paradigm in which pipe dreams index components of a degeneration of matrix Schubert varieties, adapted here to lower-upper varieties.","marker":"[KM05]"},{"why":"Supplies Lemma 20, the divided-difference geometry lemma whose degree d = 1 computation is the critical step in the recurrence for [Eπ].","marker":"[BBM89]"},{"why":"Defines double Schubert polynomials as equivariant classes of matrix Schubert varieties, used in identifying the B-leading form of Gπ with Sπ.","marker":"[Ful92]"},{"why":"Announces the square-case versions of the degeneration and class identities that this paper proves for rectangular hybrid generic pipe dreams.","marker":"[KZJ24]"}],"fun_headline_variants":["Generic pipe dreams match equivariant variety classes","Yang-Baxter yields new proof for pipe dream polynomials","Equivariance maintained in generalization of pipe dreams","Lower-upper varieties encoded by generic pipe dreams","Hybridizations equal now for generic pipe dreams"],"cache_read_input_tokens":29312,"weakest_assumption_plain":"The proof that the equivariant classes satisfy the divided-difference recurrence depends on an unshown computer algebra calculation that a certain counting degree d is 1 for the 2-by-2 matrix group action on Eπ; if that calculation were wrong for some π, the recurrence—and the equality with the pipe-dream polynomial—would carry an extra factor.","fun_headline_variants_meta":{"raw":{"variants":["Generic pipe dreams match equivariant variety classes","Yang-Baxter yields new proof for pipe dream polynomials","Equivariance maintained in generalization of pipe dreams","Lower-upper varieties encoded by generic pipe dreams","Hybridizations equal now for generic pipe dreams"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001395,"raw_usage":{"total_tokens":5483,"prompt_tokens":754,"completion_tokens":4729,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":498,"completion_tokens_details":{"reasoning_tokens":4657}},"tokens_in":498,"tokens_out":4729,"duration_ms":33177,"temperature":1.0,"reasoning_tokens":4657,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T12:07:01.749917+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the ideal I = ⟨(gSg^{-1})_{12} = 0, (gSg^{-1})_{11} = a, (gSg^{-1})_{22} = e⟩ symbolically with generic a,e, and check whether the q ≠ 0 locus is empty after discarding the three exceptional components a = e = 0, a = e, and a = -e. A single point with q ≠ 0 satisfying the equations would break the d = 1 step and hence Theorem 21. A second independent check would be to compute Gπ by the recurrence of Theorem 17 and by the degeneration of Theorem 30 for a small example such as m = n = 3, π = 312, and compare the two polynomials termwise.","supporting_citations":[],"review_version":1}