{"id":"09562a57-3465-46f4-a666-5fa10b152a65","arxiv_id":"1908.00565","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Grassmann-extended lattice Boussinesq system is constructed, and its 3D-consistent limit is proven to retain the consistency property.","lead":"The paper constructs a Grassmann (anticommuting variable) extension of a lattice Boussinesq system and its associated Yang-Baxter map, and shows that a certain limit of this noncommutative system still has the 3D consistency property. This is a counterexample to the idea that noncommutativity always destroys 3D consistency.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 4.0.3 silently imposes the f=0 constraints (39) as extra restrictions on cube initial data; a generic cube for system (42) does not satisfy them, so 3D consistency is not established for the system as stated.","rationale":"The reader's weakest-assumption diagnosis is correct as far as it goes: the paper restricts to the sector f=0 and tau=0 before proving 3D consistency. My stress-test sharpens this into a more specific gap in the proof of Theorem 4.0.3. The theorem is stated for system (42) without mentioning f=0 as a hypothesis, yet the cube computation in Appendix B uses relations from (39) as though they were consequences of the initial data. For an ordinary quad-graph system, 3D consistency must be checked on arbitrary initial values on the three coordinate edges; the f=0 constraints are not part of (42). Therefore the proof does not establish the theorem as stated. This is a real soft spot, but it is repairable: one can explicitly restrict the theorem to the invariant submanifold f=0, tau=0, and then redo the cube calculation without relying on unstated constraints, or prove the extra relations are implied by the face equations themselves. The paper also contains independent evidence: an explicit Lax representation and a self-contained Yang-Baxter proof for the Grassmann map, so a rejection is not warranted. The presence of apparent typos, especially in (66d) and the '+p' in (63), makes an independent symbolic check essential before the 3D-consistency claim is accepted. Since the reader already assigned CONDITIONAL and this concern reinforces rather than overturns that verdict, the recommendation is unchanged: accept only after the claimed consistency is verified on generic data or the theorem is explicitly restricted and the typos corrected.","tokens_in":19891,"tokens_out":16423,"duration_ms":161059,"concrete_test":"Perform a symbolic consistency check of system (42) on a cube with generic initial data that violate f=0, e.g. take variables p100, p010, p001, q100, q010, q001, r100, r010, r001, theta100, theta010, theta001 with p100+qq100-r, p010+qq010-r, p001+qq001-r all nonzero. Compute (p111,q111,r111,theta111) by the three routes in Appendix B, using the face equations (61)-(63) with the left-face equation first corrected to the form derived from (42) (no extra '+p' unless independently justified). If the three expressions do not coincide identically, Theorem 4.0.3 is false as stated. If they do coincide, repeat the derivations of (64c) and (65c) and identify where the terms proportional to p100+qq100-r, p010+qq010-r, and p001+qq001-r cancel, which would show whether the f=0 restriction is redundant for consistency.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 4.0.3: system (42) has the 3D-consistency property. The proof in Appendix B, however, is only carried out under the additional relations (39), i.e. p10+qq10-r=0 and p01+qq01-r=0. In the cube computation these become constraints such as p100=r-qq100, p010=r-qq010, and the relation p001=p100+q(q100-q001) used explicitly before equation (64c), with the analogous relation before (65c). These relations do not follow from system (42): the system is a set of explicit formulas for p11,q11,r11,theta11 in terms of arbitrary values at the three other vertices of a quadrilateral, and f=0 is a separate invariant inherited from the preceding construction. A generic cube initial datum for (42) violates these constraints. Thus the proof establishes consistency only on a proper submanifold of the initial-data space, not for the system as stated. The concern is reinforced by apparent typos: equation (66d) has the wrong argument order for Lemma 4.0.4, and equation (63) for the left face contains an unexplained '+p' term. The paper's broader claim that some Grassmann extended Boussinesq system retains 3D consistency is therefore currently supported only for the restricted sector tau=0, f=0, and the theorem needs either an added hypothesis or a genuinely generic consistency proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a scheme for constructing Grassmann (anticommuting) extensions of Yang-Baxter maps and associated lattice systems. It applies this scheme to a lattice Boussinesq system, obtaining a twelve-dimensional Grassmann extended Yang-Baxter map (25)-(26) with invariants and anti-invariants, and a Grassmann extended Boussinesq lattice system (29) with Lax representation and conservation laws. Under a restriction f=0, the author derives a reduced system (40) and, after taking the bosonic limit in the odd variable τ, the system (42) for even variables p,q,r and an odd variable θ. Theorem 4.0.3 claims that this system has the 3D-consistency property; the proof in Appendix B computes the three possible values of the '111' vertex and compares them using Lemma 4.0.4.","tokens_in":20271,"tokens_out":7669,"duration_ms":70917,"significance":"If the 3D-consistency claim holds as stated, the paper would provide a nontrivial example showing that Grassmann extensions of integrable lattice systems can retain the 3D-consistency property, in contrast to the potential KdV example in the author's earlier work. The explicit Yang-Baxter map, its Lax representation, and the invariants/anti-invariants are useful concrete data. The Yang-Baxter verification in Appendix A is a direct matrix computation, which is a strength of the paper. However, the central 3D-consistency proof has a scoping problem that must be addressed before the main claim can be accepted.","major_comments":[{"comment":"Theorem 4.0.3 states that system (42) has the 3D-consistency property, but the proof in Appendix B is carried out only after imposing the additional relations (39), namely p10+qq10-r=0 and p01+qq01-r=0. In the cube computation these appear as p001=p100+q(q100-q001), p010=p100+q(q100-q010), and the analogous relation used before (64c) and (65c). These relations do not follow from system (42) alone: system (42) is an explicit formula determining the fourth vertex of a quadrilateral from three arbitrary initial values, so a generic cube initial datum for (42) violates them. Thus the three routes to '111' are compared only on the submanifold of initial data satisfying (39), not for the system as stated. The theorem needs either an explicit hypothesis that the initial data satisfy (39), or a genuinely generic consistency proof.","section":"Section 4, Eqs. (38)-(39); Appendix B, Eqs. (64c), (65c), (66c)"},{"comment":"The expression for θ111 in route C is written as A(θ010, θ001, q010, θ100, q001, q100). Lemma 4.0.4 takes arguments (a100, a010, a001, b100, b010, b001), so the correct expression should be A(θ010, θ001, θ100, q010, q001, q100). As printed, the lemma does not directly apply to the third route, and the claimed equality of the θ components is not demonstrated. Please correct the argument order and re-check the derivation.","section":"Appendix B, Eq. (66d)"}],"minor_comments":[{"comment":"The formula for r011 in the left-face equation contains an unexplained '+p' term. Consistency with the general form (42c) suggests that this term should be omitted; if it is intentional, its origin should be explained.","section":"Appendix B, Eq. (63)"},{"comment":"The Yang-Baxter property of the eight-dimensional map (14)-(15) is asserted by 'straightforward substitution' with no details. Given the size of the map, an explicit verification or a supplementary file would improve reproducibility.","section":"Section 3.2, Proposition 3.2.1"},{"comment":"The condition is stated as sdet(La)^2 = det(La) = a - λ, but no computation is shown. It would be helpful to clarify whether the square is intentional and to include the superdeterminant calculation.","section":"Eq. (19)"},{"comment":"The phrase 'bosonic limit of system of system (40)' contains a duplicated 'of system'; please correct this typo.","section":"Remark 4.0.2"},{"comment":"In the Bäcklund transformation list, the equation 'φ10(v - q10) + θ10 - φ' is incomplete; it should end with '= 0'. The analogous equation for the second line should also be checked.","section":"Section 5"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is overstated as written because the 3D-consistency proof only covers the constrained sector f=0. The underlying construction is sound and the issue is fixable by restating Theorem 4.0.3 with the constraint (39) as an explicit hypothesis, or by providing a generic proof. The paper is within the journal's scope and the reference list is appropriate. I would support acceptance after the major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The Yang-Baxter map part is solid; the 3D-consistency proof isn't. The paper builds a new twelve-dimensional Grassmann-extended Yang-Baxter map (25)-(26) and proves the Yang-Baxter property via matrix refactorisation in Appendix A. I didn't find problems there. But Theorem 4.0.3, the headline claim that system (42) is 3D consistent, is not proven for the system as stated. The proof in Appendix B uses the relations p001 = p100 + q(q100 - q001) and p010 = p100 + q(q100 - q010), which come from setting f=0 in the conservation law (32)-(37), i.e., from the extra constraints (39). Those constraints are not imposed by system (42), and a generic cube initial datum won't satisfy them. So the three routes to 111 only agree on the f=0 submanifold. That is a load-bearing gap, not a minor omission.\n\nWhat is genuinely new and good: the Grassmann extension scheme, the Yang-Baxter map (25)-(26) with its invariants/anti-invariants, the Grassmann lattice Boussinesq system (29) with its Lax pair, and the clean recovery of the bosonic limit (8). The paper is readable, and the computational parts I spot-checked are consistent. The soft spots beyond the main gap: Eq. (66d) feeds the arguments of A in the wrong order, and the left-face expression (63) has a stray '+p'. These are typos, but they add friction to a proof that already has a serious structural problem.\n\nWho gets value: people working in noncommutative or Grassmann discrete integrable systems. The map result is worth a citation; the 3D consistency claim should be cited with a caveat, if at all, until the author either adds the f=0 hypothesis to Theorem 4.0.3 or proves the generic case. My recommendation: send it to a serious referee. The map construction deserves attention, and the 3D consistency issue is a clear, fixable overclaim rather than a sign of a worthless paper.","headline":"The Grassmann-extended Yang-Baxter map construction is solid, but the paper's central 3D-consistency theorem is not proven for the system as stated—only on an f=0 submanifold.","tokens_in":20738,"tokens_out":6484,"would_cite":false,"duration_ms":59014,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A75","35Q53","39A14","81R12"],"pacs":["02.30.Ik"],"model":"deepseek-v4-flash","headline":"The paper establishes that a Grassmann (anticommuting-variable) extension of a lattice Boussinesq system retains the 3D consistency property, so noncommutativity does not automatically destroy this integrability hallmark.","keywords":["noncommutative Boussinesq lattice system","Grassmann extensions of Yang-Baxter maps","quad-graph systems","Grassmann algebras","3D consistency","Lax representation","lattice Boussinesq","discrete integrable systems"],"falsifier":"Perform the three-route cube computation of Appendix B for initial data satisfying the $f=0$ relations, e.g. $q_{100}=q_{010}$, $r_{100}\\neq r_{010}$, and nonzero odd $\\theta$'s with $\\theta^2=0$; if the three answers for $(p_{111},q_{111},r_{111},\\theta_{111})$ do not coincide, Theorem 4.0.3 is false. Repeat with $p_{100}+q\\,q_{100}-r$ set to a nonzero constant to test whether the $f=0$ sector is essential.","tokens_in":19723,"feed_emoji":"","tokens_out":19038,"duration_ms":162835,"temperature":0.7,"pith_summary":"This paper asks whether making an integrable lattice equation noncommutative—by adding odd, anticommuting Grassmann variables—destroys its 3D consistency, the property that a system written on all faces of a cube gives the same value at the far corner regardless of the route. The author formulates a three-step scheme that lifts a lattice Boussinesq system to a parametric Yang-Baxter map (a set-theoretic solution of the Yang-Baxter equation, defined on pairs of values), extends the map by embedding it in an augmented Lax matrix with fermionic entries, and squeezes the extension back down to a Grassmann lattice Boussinesq system. The central result is that a certain limit of this system, with $p,q,r$ even and one odd variable $\\theta$, is still 3D consistent. The interest is that this is not automatic: the earlier Grassmann-extended potential KdV system lost 3D consistency, so this paper provides an example where the property survives in a noncommutative extension.","feed_headline":"Grassmann Boussinesq system keeps 3D consistency","feed_subtitle":"A noncommutative extension of a lattice Boussinesq system passes the cube test that yields Bäcklund transformations.","key_machinery":"The load-bearing machinery is the Grassmann extension scheme, built around an augmented Lax matrix (a matrix whose refactorisation problem encodes the equations; existence of such a matrix is a working definition of integrability). The scheme runs in three steps: (I) lift a quad-graph equation to a parametric Yang-Baxter map via its symmetries; (II) augment the Lax matrix to $4\\times 4$ block form, adding odd variables while preserving the bosonic limit and the superdeterminant (the graded determinant defined on such block matrices); (III) squeeze the extended map back to a lattice system using its symmetries. The augmented Lax matrix $L_a(x,\\chi)$ in (17) is the central object that carries the extension, and the matrix refactorisation problem with it produces the extended Yang-Baxter map. For the 3D-consistency proof itself, the key identity is the function $A(a_{100},a_{010},a_{001},b_{100},b_{010},b_{001}) = (a_{001}-a_{010})(b_{001}-b_{100}) - (a_{001}-a_{100})(b_{001}-b_{010})$, whose invariance under simultaneous cyclic permutations makes the three cube routes for the '111' values coincide.","core_discovery":"The paper works with a $\\mathbb{Z}_2$-graded algebra whose even variables commute and whose odd variables anticommute. It constructs a twelve-dimensional Grassmann-extended Yang-Baxter map (Theorem 3.3.2) that reduces to the known eight-dimensional Yang-Baxter lift of the lattice Boussinesq system when the odd variables vanish, inherits the four invariants of that map, and adds two anti-invariants. Squeezing this map down, using the symmetry $y_2=x_3$, yields the Grassmann lattice Boussinesq system (29) with a $4\\times 4$ Lax representation and with conservation laws. The main integrability statement is Theorem 4.0.3: in the further reduction where $\\tau$ is set to zero but $\\theta$ remains, the system (42) has the 3D-consistency property—the three routes around the elementary cube for computing $(p_{111},q_{111},r_{111},\\theta_{111})$ agree. The proof is explicit: the three routes are computed in Appendix B and shown to coincide using the cyclic invariance of the auxiliary function $A$. The paper does not claim 3D consistency for the full system (40), because the quantity $\\tau_{11}$ is missing from it.","pith_inferences":["Editorial inference: the proof leaves open whether the full system (29), or system (40) with $\\tau_{11}$ restored by some completion, is 3D consistent; the explicit three-route computation could be rerun on such a completed system to test this directly.","Editorial inference: the cyclic-invariance identity used in Lemma 4.0.4 is independent of the Boussinesq structure, so the same three-route check should apply to other Grassmann-extended quad-graph systems whose cube values are rational functions of this form.","Editorial inference: if the $f=0$ restriction is truly necessary, the meaningful notion of noncommutative integrability may be consistency on a constrained sector rather than on the whole extended system; that would shift how future Grassmann extensions are judged.","Editorial inference: the asymmetric treatment of the two odd variables ($\\tau$ is removed, $\\theta$ survives) suggests that consistent Grassmann reductions may single out a preferred fermionic direction, and testing which odd variables can be retained could become a design principle for noncommutative integrable lattices."],"forward_implications":["Because system (42) is 3D consistent, it admits a Bäcklund transformation; the paper writes it explicitly by identifying $(p_{001},q_{001},r_{001},\\theta_{001})$ with a new solution $(u,v,w,\\varphi)$.","The Grassmann-extended Yang-Baxter map (25)-(26) satisfies the parametric Yang-Baxter equation, so the mechanism that generates solutions of the lattice system from seed solutions carries over to this noncommutative setting.","The bosonic limits of all constructed objects recover the commutative lattice Boussinesq system, its Lax matrix, and its Yang-Baxter lift, so the scheme is a genuine extension rather than a replacement.","The Grassmann lattice Boussinesq system (29) has a Lax representation and conservation laws, so integrability in the Lax sense holds for the noncommutative system before any 3D-consistency restriction is imposed."],"supporting_citations":[{"why":"This is the earlier Grassmann-extended discrete potential KdV paper whose ideas the present scheme formalises, and it supplies the contrasting case that lost 3D consistency.","marker":"[15]"},{"why":"This supplies the augmented-Lax-matrix method for constructing Grassmann extensions of Yang-Baxter maps, used here in Step II.","marker":"[9]"},{"why":"This gives the reversible lifting procedure (Step I) that turns a quad-graph equation into a parametric Yang-Baxter map.","marker":"[25]"},{"why":"This provides the lattice Boussinesq system and its 3×3 Lax matrix, the commutative starting point of the construction.","marker":"[29]"},{"why":"This establishes 3D consistency as the integrability criterion for quad-graph systems, the property that Theorem 4.0.3 checks.","marker":"[4]"},{"why":"This supplies the Boussinesq form and the consistency-around-the-cube Lax-pair approach referenced in the reduction to system (40).","marker":"[5]"},{"why":"This gives the matrix trifactorisation criterion used to verify that the extended map satisfies the parametric Yang-Baxter equation.","marker":"[17]"},{"why":"This provides the Grassmann integrable discretisation motivation and the block-form superdeterminant condition used in the augmented Lax matrix.","marker":"[10]"}],"fun_headline_variants":["Grassmann Boussinesq: 3D consistency survives","Reduced Grassmann Boussinesq passes cube test","Anticommuting Boussinesq passes 3D consistency check","3D consistency holds for Grassmann Boussinesq reduction","Noncommutative Boussinesq extension retains cube property"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The 3D-consistency result is proved only after imposing the restriction $f=0$, i.e. $p_{10}+q\\,q_{10}-r=0$, which is the choice $C(n+m)=0$ for the integration constant in the conservation law; if that constant is allowed to be nonzero, the paper does not establish 3D consistency, and the property may fail outside this sector.","fun_headline_variants_meta":{"raw":{"variants":["Grassmann Boussinesq: 3D consistency survives","Reduced Grassmann Boussinesq passes cube test","Anticommuting Boussinesq passes 3D consistency check","3D consistency holds for Grassmann Boussinesq reduction","Noncommutative Boussinesq extension retains cube property"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000254,"raw_usage":{"total_tokens":1569,"prompt_tokens":944,"completion_tokens":625,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":560,"completion_tokens_details":{"reasoning_tokens":537}},"tokens_in":560,"tokens_out":625,"duration_ms":6047,"temperature":1.0,"reasoning_tokens":537,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:46:35.722103+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Perform the three-route cube computation of Appendix B for initial data satisfying the $f=0$ relations, e.g. $q_{100}=q_{010}$, $r_{100}\\neq r_{010}$, and nonzero odd $\\theta$'s with $\\theta^2=0$; if the three answers for $(p_{111},q_{111},r_{111},\\theta_{111})$ do not coincide, Theorem 4.0.3 is false. Repeat with $p_{100}+q\\,q_{100}-r$ set to a nonzero constant to test whether the $f=0$ sector is essential.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This is the earlier Grassmann-extended discrete potential KdV paper whose ideas the present scheme formalises, and it supplies the contrasting case that lost 3D consistency."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This supplies the augmented-Lax-matrix method for constructing Grassmann extensions of Yang-Baxter maps, used here in Step II."},{"cited_title":"Compatible lattice and con- tinuum structures Glasgow Math","cited_arxiv_id":null,"evidence_quote":"This provides the lattice Boussinesq system and its 3×3 Lax matrix, the commutative starting point of the construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This establishes 3D consistency as the integrability criterion for quad-graph systems, the property that Theorem 4.0.3 checks."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This supplies the Boussinesq form and the consistency-around-the-cube Lax-pair approach referenced in the reduction to system (40)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This gives the matrix trifactorisation criterion used to verify that the extended map satisfies the parametric Yang-Baxter equation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This provides the Grassmann integrable discretisation motivation and the block-form superdeterminant condition used in the augmented Lax matrix."}],"review_version":1}