{"id":"ef8e9fe5-f331-4de6-8236-6d823b8413f3","arxiv_id":"1908.02413","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two new families of integrable multi-component difference systems in bond variables are constructed, with Lax pairs, Yang-Baxter maps, and reductions to the ABS quad-equations.","lead":"This paper builds two new lists of multi-component lattice equations from the standard classification of integrable quad-equations. Each system has a Lax pair and a Yang-Baxter map, and reduces back to known equations under simple constraints.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Displayed mQ4 and mA2 systems in Prop. 4.1 contain typos that contradict the §4.1 derivations, and the zero-curvature/compatibility assertions are unproved; the central claim is not yet checkable.","rationale":"The reader's weakest assumption pointed to the unverified Lax matrices, the unproved multi-dimensional compatibility, and the corrupted mA2 formula. My read confirms that this is the load-bearing issue, and adds a concrete instance: the mQ4 display in Proposition 4.1 is inconsistent with its own derivation in Eq. (18), making the flagship member of the m-list unreliable as printed. This is not a mathematical disproof of the paper's idea, but it means the central claim for the lists cannot be checked from the manuscript. The paper does contain one worked verification (mH1 in Section 3), which is real evidence for the method, and the overall program is plausible and well motivated. The appropriate verdict remains CONDITIONAL: the authors should supply a proof or computer-algebra verification of Propositions 4.1(3), 4.4(3), 5.2, and 5.3, and correct the displayed formulas. The stress-test therefore does not change the reader's verdict, but it sharpens the condition: correcting only mA2 is not enough; the mQ4 family also needs repair and verification.","tokens_in":25382,"tokens_out":11702,"duration_ms":107356,"concrete_test":"Run a symbolic computer-algebra verification of Eq. (29) for each of the fourteen systems: substitute the displayed system (for n=2) together with the corresponding L1,L2,A from Tables 1 and 2, and check that the identity holds identically in the bond variables and spectral parameter. In the same run, test the corrected mQ4 equation (with 'Y_i X_j' in the denominator) and a reconstructed mA2 formula using the Yang-Baxter map mcA2 in Appendix A as a cross-check. Also verify Proposition 4.1(3) by computing X^i_{jk} and X^i_{kj} for the displayed (or corrected) systems with n=3 and random parameter values. If every identity passes, the concern is resolved; if any fails, the printed formula is wrong and the integrability claim for that member must be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing concern is that the exact equations claimed to be integrable are not reliably stated. In Proposition 4.1, the mQ4 formula has a denominator term 'a(1 - p_i p_j X_j Y_j)', whereas the derivation in Eq. (18) gives 'a(1 - p q s v)' = 'a(1 - p_i p_j Y_i X_j)'. Thus the printed system is not the one derived in §4.1. Similarly, the mA2 formula is corrupted: its denominator ends with 'pi(Yj - pi Xj Yi,' containing an unmatched parenthesis and a stray comma; the intended expression is not recoverable from the text. These are not cosmetic: the Lax matrices in Table 1 and the Yang-Baxter maps in Appendix A are supposed to satisfy Eq. (29) with these specific systems, and a misprinted variable in a denominator changes the rational map and can break the zero-curvature identity. For the remaining members, Propositions 4.1(3) and 4.4(3) state multi-dimensional compatibility without a proof or even a reference to an independent computation, and Propositions 5.2/5.3 state the Lax matrices without verification. Consequently, the central claim that all fourteen listed systems are integrable without constraints (16)/(20) is currently supported only for the motivating case mH1, for which explicit compatibility formulae are given; the other thirteen systems rest on unverified assertions and corrupted displays.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a procedure for rewriting ABS quad-equations as four-component systems of difference equations on the edges of a Z^2 lattice, using multiplicative bond variables (the m-list) and additive bond variables (the a-list). For each list, the authors claim that the systems are multi-dimensionally compatible even before imposing the potentiality constraints (16) or (20), that this compatibility yields Lax pairs by the zero-curvature equation (29), and that the associated companion maps are quadrirational Yang-Baxter maps. The motivating example mH1 is worked out in detail with explicit compatibility formulae, invariants, measure preservation, and a vertex-system reduction. For the remaining members of the two lists, the compatibility, Lax matrices, and Yang-Baxter properties are stated in Propositions 4.1, 4.4, 5.2, and 5.3 and the appendices without detailed verification. The paper also derives reductions to known quad-equations, including Q4 and H2, and obtains two-component vertex systems, non-potential forms, and 5-point equations for the H-type members.","tokens_in":25703,"tokens_out":7806,"duration_ms":80592,"significance":"If the central claims are correct, this is a substantial contribution to the theory of integrable difference systems. It gives a uniform bond-variable formulation for the ABS list, shows that the unconstrained systems, not just the constrained reductions, are integrable, and connects each system to an explicit Lax matrix and a Yang-Baxter map. The motivating case mH1 is handled convincingly: Proposition 3.1 provides explicit multi-dimensional compatibility formulae, a Lax matrix, and invariant identities, and Proposition 3.2 gives measure preservation and Poisson structure. The reductions in Section 4.3 are plausible and, for the most part, directly checkable. The paper does not, however, ship machine-checked proofs or a reproducible computation, and the list-wide compatibility and zero-curvature assertions are not demonstrated in the text. Given the algebraic complexity and the typographical corruption in two of the displayed systems, the verification burden is on the authors. The paper is therefore promising but not yet in a checkable state.","major_comments":[{"comment":"The displayed mQ4 system in Proposition 4.1 does not match the derivation in Section 4.1. Equation (18) gives, in the notation u=X^1, v=X^2, s=Y^1, t=Y^2, the denominator a(1-pqsv)+qs-pt for X^1_2, which reads a(1-p_i p_j Y_i X_j)+p_j Y_i-p_i Y_j in the notation of Proposition 4.1. The printed formula in Proposition 4.1 instead has a(1-p_i p_j X_j Y_j)+p_j Y_i-p_i Y_j. The two denominators differ by swapping the roles of X_j and Y_i and are not identically equal. Since the Lax matrix in Table 1 and the Yang-Baxter map in Appendix A are claimed to satisfy the zero-curvature equation with this system, this discrepancy must be resolved before the mQ4 integrability claim can be checked.","section":"Section 4.1, Eq. (18) and Proposition 4.1 (mQ4)"},{"comment":"The mA2 entry in Proposition 4.1 is not syntactically well-formed. The denominator of X_i^j ends with 'pi(Yj - pi Xj Yi,' containing an unmatched parenthesis and a trailing comma, and the intended expression is not recoverable from the surrounding text. The corresponding numerator or denominator of Y_i^j also appears ambiguous in its placement of X_j. Because mA2 is one of the fourteen systems claimed to be integrable, this is not merely a typographical nuisance: the equation itself, and hence its Lax matrix and Yang-Baxter map, cannot be checked as printed.","section":"Proposition 4.1 (mA2)"},{"comment":"The multi-dimensional compatibility assertions Xi_jk=Xi_kj and Yi_jk=Yi_kj are stated for all members of the m-list and the a-list, but no proof or computation is supplied for any system other than mH1. For mH1, explicit formulae are given in the proof of Proposition 3.1; for the remaining thirteen systems, the reader is asked to accept the equalities without a derivation, a reference, or a reproducible check. Since the unconstrained compatibility is the central integrability claim of the paper, this is a load-bearing gap. The paper needs either compact proofs, a reference to an independent verification, or a symbolic computation that can be checked by the reader.","section":"Propositions 4.1(3) and 4.4(3)"},{"comment":"Propositions 5.2 and 5.3 list Lax matrices for all members of both lists but do not verify that any of them satisfies the zero-curvature equation (29) from Definition 5.1. For mH1 the verification is contained in Proposition 3.1(4); for the other systems the identity L(u2,s2;p,lambda)L(v,t;q,lambda)=L(v1,t1;q,lambda)L(u,s;p,lambda) is simply asserted. Given the algebraic complexity of the matrices and the misprints in the defining systems, these checks cannot be taken for granted. The authors should provide either a concise verification or a reproducible computation, especially in view of the mQ4 and mA2 transcription problems.","section":"Section 5, Propositions 5.2 and 5.3, Tables 1 and 2"}],"minor_comments":[{"comment":"The sentence 'The relations (26) guarantee the existence of a potential function x' in the proof of Proposition 4.9 refers to a non-existent equation number; it should refer to the invariant conditions (24) just established.","section":"Proof of Proposition 4.9"},{"comment":"The first open question mentions 'Liouville integrability as it was indicated in Proposition 4.4, for the motivating example.' The motivating example's Liouville integrability is proved in Proposition 3.2, not Proposition 4.4; the cross-reference should be corrected.","section":"Section 7, first open question"},{"comment":"The invariant tables would benefit from a sentence explaining how the quantities A, B, and Pi are defined before they are used; in Table 4, Pi is introduced in the displayed line for aQ3delta after it appears in J, and a reader must work backwards to locate its definition.","section":"Tables 3 and 4"},{"comment":"The proof of Proposition 3.1(4) is only a sketch referencing [36, 9, 41] and the reduction of the system to the projective form (7)-(8). Since this is the Lax proof for the motivating example, a few more details showing that the zero-curvature equation follows from the displayed M and L matrices would make the example self-contained.","section":"Proposition 3.1(4)"}],"recommendation":"major_revision","confidential_remarks":"I recommend major revision rather than rejection because the motivating case is sound and the overall construction is promising. The essential requirement for acceptance is that the authors correct the corrupted formulas, especially mQ4 and mA2 in Proposition 4.1, and actually demonstrate the multi-dimensional compatibility and zero-curvature claims for all members of both lists, or clearly restrict the integrability claims to the systems for which proofs are supplied. If the discrepancies turn out to be transcription errors, the paper is salvageable; if they are not, the central claim fails."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a paper with a genuinely good idea: take ABS quad-equations, rewrite them in bond variables, drop the constraints, and claim the unconstrained systems are still integrable. For H1 this works beautifully — the mH1 system in Prop 3.1 is fully proved, with explicit multi-dimensional compatibility, a Lax matrix, invariants, a Poisson structure, and reductions to the double-H2 vertex system. That part is clean and convincing.\n\nThe extension to the m-list and a-list in Section 4 is where things get shaky. Propositions 4.1 and 4.4 state multi-dimensional compatibility for all fourteen systems without proof, and Section 5 gives Lax matrices without checking the zero-curvature identity. A reader cannot verify the central claim for any system beyond mH1.\n\nThe typos make it worse. In Proposition 4.1, the mQ4 formula has a denominator 'a(1 - p_i p_j X_j Y_j)' but the derivation in Eq. (18) gives 'a(1 - p_i p_j Y_i X_j)'. The mA2 formula is corrupted mid-expression with an unmatched parenthesis and a stray comma. These are not cosmetic: the Lax matrices and Yang-Baxter maps are supposed to satisfy identities with exactly these displayed systems. A wrong variable in a denominator changes the rational map and can break the identity. As printed, the general claim is not checkable.\n\nI should also say: the comparison with [39] is honest and appears correct — the earlier systems were more restrictive and their Yang-Baxter maps non-quadrirational. The vertex-system results in Section 6 are a useful bonus.\n\nMy overall take: the mH1 example is a solid, citable result. The lists are plausible and probably right, but they are not yet demonstrated. I would send this to peer review, because the core idea is important and the fix is straightforward: add a computer algebra check (or proof) of compatibility and the Lax identity for all members, and correct the corrupted formulas. Until then, I would not cite the general lists as established.","headline":"A promising construction of integrable bond systems, with one fully worked example, but the general lists rely on unverified assertions and contain typos that currently block the central claim.","tokens_in":26219,"tokens_out":3167,"would_cite":false,"duration_ms":32431,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["39A14","37K10","37K60"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that every member of two new lists of bond-variable difference systems is integrable — multi-dimensionally compatible and equipped with a Lax pair — even without the potentiality constraints that tie them to vertex…","keywords":["integrable difference systems","bond variables","multi-dimensional compatibility","Lax pairs","Yang-Baxter maps","quad-equations","discrete Krichever-Novikov equation","zero-curvature representation"],"falsifier":"Substitute the Table 1 Lax matrix for mQ1δ into the zero-curvature equation (29), expand the entries in powers of the spectral parameter λ, and require every coefficient to vanish; any nonzero remainder would refute Proposition 5.2. Alternatively, for n=3, compute the two routes to $X^1_{23}$ and $Y^1_{23}$ from generic initial data and test equality, since Proposition 4.1 asserts this compatibility without displaying the calculation.","tokens_in":25224,"feed_emoji":"📐","tokens_out":14211,"duration_ms":128312,"temperature":0.7,"pith_summary":"The paper builds on the standard classification of integrable quad-equations — Q4, Q3δ, Q2, Q1δ, A2, A1δ, H3δ, H2, H1 — and reformulates them as systems of difference equations whose fields live on the edges of a $\\mathbb{Z}^2$ lattice rather than on its vertices. The reformulation uses quadruples of bond variables: for the m-list, products of neighbouring vertex fields ($u=x_1x$, $v=x_2x$, $s=x_1/x$, $t=x_2/x$); for the a-list, sums and differences. The central claim is that the resulting multi-component systems are integrable in their own right: they are multi-dimensionally compatible, meaning they can be extended consistently to any number of lattice directions, and they admit a discrete zero-curvature (Lax) representation. This integrability holds even when the relations that tie the bond variables back to a single vertex potential are dropped, which is what makes the new systems genuinely more general than the quad-equations they came from. The paper shows that each system reduces to its parent quad-equation when the constraints are re-imposed, and that the same machinery yields Yang-Baxter maps, two-component vertex systems, non-potential forms, and equations on five-point stencils.","feed_headline":"14 new integrable difference systems need no potential constraint","feed_subtitle":"Each stays multi-dimensionally compatible, admits a Lax pair, and reduces back to the known quad equations.","key_machinery":"The central object is the bond-variable reformulation: each quad-equation is rewritten in the form (7), where the shifted bond variables are obtained from the unshifted ones by a projective (fractional-linear) action, as in (8). This form lets one read off a Lax matrix $L(u,s;p,\\lambda)$ whose determinant factors through a gauge function $A$. The load-bearing mechanism is multi-dimensional compatibility: the system is consistent when extended to any finite number of lattice directions, and this consistency is exactly the zero-curvature equation (29), the discrete analogue of a Lax pair. The same compatibility ensures that the companion maps defined by the systems satisfy the Yang-Baxter relation, connecting the bond systems to set-theoretical solutions of the Yang-Baxter equation.","core_discovery":"Propositions 4.1 and 4.4 display two lists of difference systems in bond variables, each with seven members (mQ4, mQ3δ, mQ1δ, mA2, mA1δ, mH3δ, mH1 and aQ3δ, aQ2, aQ1δ, aA1δ, aH3δ, aH2, aH1), with the common structure $X^i_j=f_i(\\dots)$, $Y^i_j=g_i(\\dots)$ for $i\\ne j$. For every member, the paper asserts three properties: a pair of alternating invariants listed in Tables 3 and 4; an equivalence between the constraint $X^iY^j-X^jY^i=0$ (or its additive analogue) and the same constraint on shifted variables; and multi-dimensional compatibility, i.e. $X^i_{jk}=X^i_{kj}$ and $Y^i_{jk}=Y^i_{kj}$ for distinct directions $i,j,k$, which is exactly what allows the system to be embedded in $n$ dimensions. The compatibility is equivalent to a discrete zero-curvature equation $L(u_2,s_2;p,\\lambda)L(v,t;q,\\lambda)=L(v_1,t_1;q,\\lambda)L(u,s;p,\\lambda)$ for the 4×4 Lax matrices of Tables 1 and 2, and it makes the companion maps of Appendices A and B quadrirational (birational, with birational restrictions to coordinate planes) Yang-Baxter maps. Imposing the constraints, each list reduces to the corresponding member of the standard quad-equation list, including mQ4, which recovers the discrete Krichever-Novikov equation.","pith_inferences":["Because the compatibility statements in Propositions 4.1 and 4.4 are asserted without displayed calculations, a first testable step is symbolic verification for n=3; if the identities hold, one could probe the two gaps (Q2 and H2 in the m-list; Q4 and A2 in the a-list) with alternative bond-variable pairings or higher-order potentials.","The Lax matrices in Tables 1 and 2 depend on a single spectral parameter; treating them as Lax operators for lattice hierarchies could connect the bond systems to known continuous integrable equations through continuum limits, a direction the paper does not explore.","The generation of 5-point stencils from the double-H systems suggests the projective-form recipe is a generative scheme: applying it to other consistent-around-the-cube equations might yield further integrable stencils or higher-component vertex systems."],"forward_implications":["Every member of the m-list and a-list is an integrable system in its own right, independent of any vertex potential; the standard quad-equations are recovered as special reductions when the consistency constraints are imposed.","Each system carries a zero-curvature Lax representation, so the usual integrable-system machinery associated with Lax pairs applies at the bond-variable level.","The companion maps of the bond systems form 14 families of quadrirational, non-involutive Yang-Baxter maps, giving set-theoretical solutions of the Yang-Baxter equation.","Vertex systems derived from several members are point equivalent to three two-component lattices (double-H1, double-H2, and the double-H3-type lattice), and their non-potential forms include coupled discrete sine-Gordon and coupled Hirota-KdV equations.","The double-H vertex systems act as auto- or non-auto Bäcklund transformations for new 5-point lattice equations, and under the reduction $h=g$ the non-potential forms reduce to known scalar equations."],"supporting_citations":[{"why":"Supplies the standard list of integrable quad-equations (Q4 through H1) that the paper rewrites in bond variables.","marker":"[2]"},{"why":"Provides the discrete Krichever-Novikov equation, recovered as the reduction mQ4.","marker":"[1]"},{"why":"Introduces the bond-variable reformulation of lattice potential KdV and the motivating FIV Yang-Baxter map.","marker":"[40]"},{"why":"Defines quadrirational Yang-Baxter maps and the geometric setting used for the companion maps.","marker":"[3]"},{"why":"Supplies the definition of Lax matrices for Yang-Baxter maps and the n-factorization criterion used in Appendix C.","marker":"[41]"},{"why":"Gives the method of deriving Lax representations for 3D-compatible quad-equations, used to justify the Lax matrices.","marker":"[36]"},{"why":"Provides the bond/face variable framework and non-potential versions of discrete integrable systems that the paper builds on.","marker":"[27]"},{"why":"Earlier bond-system construction that proved too restrictive; the present work overcomes its limitation.","marker":"[39]"},{"why":"Discusses integrable lattice equations with vertex and bond variables, situating the class of systems studied here.","marker":"[19]"}],"fun_headline_variants":["14 integrable systems, zero constraints, full compatibility","No constraints, Lax pairs, Yang-Baxter: 14 new systems","Two families of Lax-paired integrable systems, no constraints","Integrable difference systems reduce to known quad-equations","From multi-component to Yang-Baxter: integrability preserved"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the displayed Lax matrices satisfy the zero-curvature equation and that the asserted multi-dimensional compatibility identities hold for every member of both lists; the paper states these without showing the computations, and one displayed formula (mA2) is visibly corrupted.","fun_headline_variants_meta":{"raw":{"variants":["14 integrable systems, zero constraints, full compatibility","No constraints, Lax pairs, Yang-Baxter: 14 new systems","Two families of Lax-paired integrable systems, no constraints","Integrable difference systems reduce to known quad-equations","From multi-component to Yang-Baxter: integrability preserved"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001543,"raw_usage":{"total_tokens":6207,"prompt_tokens":1019,"completion_tokens":5188,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":635,"completion_tokens_details":{"reasoning_tokens":5101}},"tokens_in":635,"tokens_out":5188,"duration_ms":40897,"temperature":1.0,"reasoning_tokens":5101,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:44:40.469791+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the Table 1 Lax matrix for mQ1δ into the zero-curvature equation (29), expand the entries in powers of the spectral parameter λ, and require every coefficient to vanish; any nonzero remainder would refute Proposition 5.2. Alternatively, for n=3, compute the two routes to $X^1_{23}$ and $Y^1_{23}$ from generic initial data and test equality, since Proposition 4.1 asserts this compatibility without displaying the calculation.","supporting_citations":[{"cited_title":"Adler, A.I","cited_arxiv_id":null,"evidence_quote":"Supplies the standard list of integrable quad-equations (Q4 through H1) that the paper rewrites in bond variables."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the discrete Krichever-Novikov equation, recovered as the reduction mQ4."},{"cited_title":"Papageorgiou, A.G","cited_arxiv_id":null,"evidence_quote":"Introduces the bond-variable reformulation of lattice potential KdV and the motivating FIV Yang-Baxter map."},{"cited_title":"Adler, A.I","cited_arxiv_id":null,"evidence_quote":"Defines quadrirational Yang-Baxter maps and the geometric setting used for the companion maps."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition of Lax matrices for Yang-Baxter maps and the n-factorization criterion used in Appendix C."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the method of deriving Lax representations for 3D-compatible quad-equations, used to justify the Lax matrices."},{"cited_title":"Yang-Baxter maps associated to elliptic curves","cited_arxiv_id":"0906.3258","evidence_quote":"Earlier bond-system construction that proved too restrictive; the present work overcomes its limitation."},{"cited_title":"Hietarinta and C","cited_arxiv_id":null,"evidence_quote":"Discusses integrable lattice equations with vertex and bond variables, situating the class of systems studied here."}],"review_version":1}