{"id":"910cb5d0-f9b8-498f-a250-0e72dfd44ab5","arxiv_id":"2501.12462","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New noncommutative Yang-Baxter and tetrahedron maps for Boussinesq and NLS type systems are constructed and proven to satisfy the defining simplex equations.","lead":"The paper builds new mathematical maps with noncommuting variables, related to the Boussinesq and nonlinear Schrödinger equations, and proves they satisfy the Yang-Baxter and Zamolodchikov tetrahedron equations. These equations are central structures in integrable systems and in the study of exactly solvable lattice models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.2's uniqueness proof silently cancels the coefficient a5(a3−2z1y2x1) and also divides by a1, x1, and x̃1, so the tetrahedron claim is not established for all division-ring values as stated.","rationale":"The paper's overall strategy—constructing simplex maps from matrix refactorisation and then proving the simplex property via uniqueness of a higher factorisation—is sound and standard in this area. However, the proof of the main new noncommutative tetrahedron claim, Theorem 4.2, contains an explicit algebraic step that is only valid under an unstated invertibility condition. The reader's weakest assumption identifies exactly this step: the inference from (50a)–(50b) to x̃2 = x2 requires the coefficient a5(a3 − 2 z1 y2 x1) to be nonzero in the division ring, and earlier steps use inverses of a1, x1, and x̃1. Because the theorem is asserted for all variables and all central parameters for which the map is defined, this is a genuine correctness risk in the central claim, not merely a stylistic omission. The concern is concrete and testable: a quaternion or noncommutative symbolic instance with the coefficient set to zero would reveal whether the theorem is actually false as stated or merely missing a genericity hypothesis. Given that the proof style is otherwise plausible and the construction follows established methods, a conditional acceptance pending correction is appropriate; the reader's CONDITIONAL verdict should stand unchanged.","tokens_in":18882,"tokens_out":13323,"duration_ms":124238,"concrete_test":"Perform a noncommutative symbolic or quaternion-algebra check of the uniqueness step: take R = H, set a1 = a2 = a4 = a5 = a6 = 1, a3 = 2, x1 = y2 = z1 = 1, and x2, y1, z2 generic quaternions chosen so that all denominators in (39) are nonzero while a5(a3 − 2 z1 y2 x1) = 0. Solve the six-factorisation system (46a)–(46l) for (x̃i, ỹi, z̃i, r̃i, s̃i, t̃i). If any solution has x̃2 ≠ x2, Theorem 4.2 fails as stated; if the unique solution is trivial, the proof needs only an explicit nonzero-coefficient or continuity/genericity argument. Independently re-derive the substitution of (50b) into (50a) to confirm that the remaining factor is exactly a5(a3 − 2 z1 y2 x1).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that map (39) is a noncommutative tetrahedron map rests on Theorem 2.2 plus the assertion that the six-factorisation equation (14) has only the trivial solution. The decisive step in the proof of Theorem 4.2 occurs after equations (50a) and (50b): substituting (50b) into (50a) and concluding x̃2 = x2 is valid only if the coefficient a5(a3 − 2 z1 y2 x1) is nonzero and invertible in R. Direct substitution gives a5(a3 − 2 z1 y2 x1)(x̃2 − x2) = 0; in a division ring this forces x̃2 = x2 only when that coefficient is nonzero. No genericity assumption, characteristic condition, or exceptional-value analysis is stated. Earlier steps also require invertibility of a1, x1, and x̃1, although the map itself only excludes denominators such as c and ac; e.g., x1 = 0 lies in the map's domain but is not covered by the proof. Since Theorem 4.2 is the basis for the claimed first noncommutative NLS tetrahedron map, the proof as written is incomplete. A similar silent cancellation appears in the proof of Theorem 3.3, where concluding w1 = z1 from equation (28j) drops the factor (x2 − z3). These are likely repairable genericity gaps, but they need to be stated and justified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs new 2- and 3-simplex maps with variables in a noncommutative division ring. It derives a Boussinesq-type Yang-Baxter map (24) from a Lax matrix, proves the Yang-Baxter property via a trifactorisation uniqueness argument, and squeezes the map to a noncommutative Boussinesq lattice system (32). It then constructs an NLS-type map (39) from a Darboux matrix and claims, via a six-factorisation uniqueness proof, that this map is a Zamolodchikov tetrahedron map. A commutative Boussinesq-type Yang-Baxter map with four functionally independent integrals is also presented. The central claims are the noncommutative Yang-Baxter and tetrahedron properties of these maps.","tokens_in":19218,"tokens_out":14893,"duration_ms":121910,"significance":"The constructions are potentially significant: system (32) is a genuinely noncommutative Boussinesq lattice system with a Lax representation, and the factorisation proofs via Theorems 2.1 and 2.2 are the right framework for noncommutative simplex maps. If the proofs are repaired, the paper would provide the first fully noncommutative Boussinesq-type Yang-Baxter map and NLS-type tetrahedron map on a division ring. However, the manuscript does not supply machine-checked derivations, and the hand computations contain the ordering and cancellation gaps detailed below, so the main theorems are not yet established as stated.","major_comments":[{"comment":"The map as displayed is not the map that solves the local Yang-Baxter equation. Equation (42g) gives v2 = y2(a+x1x2)+z2x2 and (42h) gives w2 = y2x1+z2, but the displayed map (39d),(39f) gives v2 = z2x2+y2(a+x1x2) and w2 = z2+y2x1. These are unequal in a noncommutative division ring, so the printed map (39) does not satisfy (40). Since Theorem 4.2 is stated for map (39), either the map or the system must be corrected; if the system is correct, the map entries must be reordered.","section":"§4, Proposition 4.1, Eqs. (39d), (39f), (42g), (42h)"},{"comment":"Substituting (50b) into (50a) gives a5(a3-2z1y2x1)(~x2-x2)=0. The conclusion ~x2=x2 requires this coefficient to be nonzero, and hence invertible, in the division ring. The proof also divides by a1, x1, and ~x1 at (47)-(48). No genericity or exceptional-value analysis is given, and the map (39) is defined for values such as x1=0 when the displayed denominators are nonzero. The theorem as stated therefore is not proved for arbitrary division-ring values; a genericity assumption or a separate treatment of exceptional cases is needed.","section":"§4, Theorem 4.2, after Eqs. (50a)-(50b)"},{"comment":"The proof states that (28f), (28j) imply w1=z1. After the substitutions already made, (28j) reduces to (w1-z1)(x2-z3)=0, which does not force w1=z1 in a division ring when x2=z3. The equation (28g), whose other terms are already determined, does force w1=z1, so the conclusion is repairable, but the argument as written is incomplete. Moreover, the earlier statement that (28f), (28j), (28i) imply w2=z2 is not justified from those equations alone and needs a detailed derivation.","section":"§3, Theorem 3.3, Eqs. (28g)-(28j)"},{"comment":"The proof says 'supplement system (23) with equation u1=x1', but the displayed map (24) sets v1=x1 and has u1=y1-(a-b)(...)^{-1}x2. Setting u1=x1 would impose an additional constraint and does not define the displayed map. Also, the line 'y2 ↦ v1=x1' should presumably read 'y1 ↦ v1=x1'. These typos need correction because Theorem 3.3 and Proposition 3.4 use map (24) explicitly.","section":"§3.2, Proposition 3.2, Eq. (24) and proof"}],"minor_comments":[{"comment":"The title contains an extra space in '2- and 3-simplex map s', and the submitted abstract text contains the artifact '/emdash.cyr' in the introductory sentence.","section":"Title/Abstract"},{"comment":"The equation obtained from v4 is (32c), not (32b); the sentence about v3 similarly refers to the wrong display.","section":"§3.3, Proposition 3.4 proof"},{"comment":"The proof refers to 'matrix L(x1,x2,x3,x4,a) given by (30)', but (30) is introduced later in §3.3; it should refer to (21).","section":"§3.2, Theorem 3.3 proof"},{"comment":"Map (39) contains denominators c, ac, and the bracketed factor in (39b) and (39e); the paper should state explicitly the domain, namely nonzero parameters and nonvanishing denominators, rather than leaving it implicit.","section":"§4, Map (39)"},{"comment":"Theorems 2.1 and 2.2 are stated for X=C and scalar parameters; the paper applies them to division-ring entries without stating the noncommutative version. The algebraic implication is likely unchanged, but this should be stated and justified.","section":"§2, Theorems 2.1 and 2.2"},{"comment":"The acknowledgements mention 'Theorems 4.4 and 4.6' although the paper only has Theorem 4.2; the typo 'Nonommutative' in Proposition 4.1 and 'nonommmutative' in the Conclusions should also be fixed.","section":"Miscellaneous"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The paper is squarely in the existing simplex-map program and does contain new, plausible constructions: a new commutative Boussinesq-type Yang-Baxter map (19) with four independent integrals, a fully noncommutative division-ring version (24), the squeeze to a noncommutative Boussinesq lattice system (32) with Lax pair and conservation law, and a noncommutative NLS-type map (39) offered as a tetrahedron map. The matrix factorisation method is appropriate, and the authors are transparent about the correspondences they supplement.\n\nThe soft spots are not cosmetic. First, the printed NLS map contradicts its own source. Equations (39d) and (39f) give v2 = z2 x2 + y2(a+x1x2) and w2 = z2 + y2 x1, while the local Yang-Baxter system (42) requires v2 = y2(a+x1x2) + z2 x2 and w2 = y2 x1 + z2. In a noncommutative division ring these are different maps. Theorem 4.2 proves the tetrahedron property for the map satisfying (42), not for the map displayed on page 14. This smells like a transposition typo, but it is load-bearing and must be fixed.\n\nSecond, the proof of Proposition 3.2 says the supplement is u1 = x1, but map (24) actually enforces v1 = x1 (equivalently u4 = y4). Another misstatement, again easy to fix but confusing as printed.\n\nThird, Proposition 3.1 asserts the Yang-Baxter property for map (19) by 'straightforward substitution' without giving the computation. That is a hole for a new map, even in the commutative case.\n\nFinally, the two central proofs hide non-genericity. In Theorem 3.3, w1 = z1 is concluded by cancelling (x2 - z3) from equation (28j). In Theorem 4.2, the argument divides by a1, x1, and x̃1, and then cancels a5(a3 - 2 z1 y2 x1) when going from (50a)-(50b) to x̃2 = x2. No characteristic or invertibility conditions are stated. Since the map's domain allows x1 = 0 whenever the displayed denominators are nonzero, the proof does not cover all points where the map is defined.\n\nSo the verdict is conditional, as the reader says. The constructions are probably real and the program is a legitimate one, but the manuscript as printed contains errors in the central object, a misstated supplement, and proofs that need explicit genericity assumptions. A serious referee should be sent—this is not a desk reject—but the authors should be asked to correct the map, fix the supplement, and supply a symbolic verification file (or at least the missing computations) before the claims are accepted for publication.","headline":"New noncommutative Boussinesq and NLS constructions, but the printed NLS map doesn't match its own local Yang-Baxter system and both main proofs have unstated division-ring divisions.","tokens_in":19798,"tokens_out":5457,"would_cite":false,"duration_ms":43669,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","16T25"],"pacs":["02.30.Ik","02.90.+p","03.65.Fd"],"model":"deepseek-v4-flash","headline":"Noncommutative Boussinesq and NLS maps satisfy the Yang-Baxter and tetrahedron equations.","keywords":["noncommutative Yang-Baxter maps","noncommutative tetrahedron maps","Zamolodchikov tetrahedron equation","Boussinesq lattice system","noncommutative NLS type equations","Darboux transformations","matrix factorization","simplex equations"],"falsifier":"Evaluate the six-factorization equation (14) for map (39) at values where $a_5(a_3 - 2z_1y_2x_1)=0$ in a division ring such as the quaternions; if any nontrivial solution appears, the tetrahedron property fails there, while if only the trivial solution appears, the vanishing of the cancelled factor is harmless.","tokens_in":18625,"feed_emoji":"🧩","tokens_out":10318,"duration_ms":91120,"temperature":0.7,"pith_summary":"This paper sets out to carry two families of integrable maps, one associated with the Boussinesq equation and one with the Nonlinear Schrödinger equation, into a fully noncommutative setting in which the variables live in a division ring. It claims that the Boussinesq type map (24) satisfies the Yang-Baxter equation and that, after the change of variables suggested by its Lax equation, it becomes an integrable noncommutative Boussinesq lattice system (32) with a Lax representation and a conservation law. It further claims that the NLS type map (39), built from a Darboux transformation, satisfies the Zamolodchikov tetrahedron equation. If these claims hold, the paper supplies set-theoretical solutions of the 2- and 3-simplex equations over noncommutative division rings, and extends the commutative and Grassmann-valued Boussinesq and NLS constructions to variables with no commutativity assumption.","feed_headline":"Boussinesq and NLS maps solve 2- and 3-simplex equations","feed_subtitle":"Division-ring maps satisfy the Yang-Baxter and tetrahedron equations and give a noncommutative Boussinesq lattice.","key_machinery":"The load-bearing object is a Lax matrix together with a factorization criterion. For Boussinesq, the $3\\times3$ matrix $L(p,q,q_{10},r_{10},a)$ from (15) encodes the map; for NLS, the $2\\times2$ Darboux matrix $K(x_1,x_2,a)$ from (41) is extended to $3\\times3$ and $4\\times4$ block matrices. A candidate 2-simplex map is proved to be Yang-Baxter by solving a matrix trifactorization problem and invoking Theorem 2.1; a candidate 3-simplex map is proved to be a tetrahedron map by solving the local Yang-Baxter equation and then proving that the six-factorization equation (14) has only the trivial solution, in line with Theorem 2.2. The same factorization identity, reinterpreted on a quad graph, yields the noncommutative Boussinesq lattice system and its conservation law.","core_discovery":"The central discovery is that integrable maps attached to the Boussinesq and NLS equations survive the passage from commuting variables to variables in a noncommutative division ring $\\mathbb{R}$ (every nonzero element has an inverse, but multiplication need not commute), with the parameters $a,b,c$ kept in the centre $Z(\\mathbb{R})$. Theorem 3.3 proves that the eight-dimensional map (24) is a parametric Yang-Baxter map; viewed along a lattice quad it squeezes down to the noncommutative Boussinesq system (32), whose Lax representation and conservation law (33) are exhibited. Theorem 4.2 proves that the six-dimensional NLS type map (39), formed from the Darboux matrix (37), is a Zamolodchikov tetrahedron map, by showing that the associated matrix six-factorization problem admits only the trivial solution. A new commutative Boussinesq type Yang-Baxter map (19) with four functionally independent first integrals is also constructed.","pith_inferences":["If the six-factorization proof is read at generic values only, the map (39) may still fail at exceptional values where the cancelled factor $a_5(a_3 - 2z_1y_2x_1)$ vanishes; one testable extension is to check the tetrahedron equation directly at such values.","The same Darboux-matrix-to-factorization construction could be iterated to build noncommutative solutions of four- and higher $n$-simplex equations, since the block-matrix extension pattern used for the $3\\times3$ and $4\\times4$ cases is recursive.","Because system (32) is a squeeze-down of a Yang-Baxter map, its Lax representation may support further discrete symmetries obtained by composing the map along different lattice directions, which is not shown in the paper."],"forward_implications":["Map (24) gives a fully noncommutative Yang-Baxter map whose first integral is $I = x_2+y_2-x_3-y_3$, and the map is noninvolutive, unlike many classical Yang-Baxter maps.","Squeezing map (24) yields the noncommutative lattice Boussinesq system (32), which is integrable in the sense of having a Lax representation and the conservation law (33).","Map (39) is a noncommutative tetrahedron map on a division ring, and its commutative restriction recovers the NLS type tetrahedron map on invariant leaves.","The matrix factorization route provides a proof method for noncommutative simplex equations that avoids direct substitution, which is computationally infeasible in this setting."],"supporting_citations":[{"why":"Supplies the earlier Boussinesq type Yang-Baxter map whose noncommutative version is map (24), and the Grassmann extension of the lattice Boussinesq system.","marker":"[16]"},{"why":"Provides the commutative NLS type tetrahedron map of which map (39) is the noncommutative avatar.","marker":"[17]"},{"why":"States the matrix six-factorization criterion (Theorem 2.2) used to prove that map (39) is a tetrahedron map.","marker":"[18]"},{"why":"Gives the Darboux transformation for the noncommutative NLS equation used to build the matrix (37).","marker":"[24]"},{"why":"States the matrix trifactorization criterion (Theorem 2.1) used to prove that map (24) is a Yang-Baxter map.","marker":"[25]"},{"why":"Supplies the Boussinesq Lax matrix (15) underlying both Boussinesq maps and the squeezed lattice system.","marker":"[32]"}],"fun_headline_variants":["Noncommutative Boussinesq map obeys Yang-Baxter","Noncommutative NLS map forms tetrahedron","Division-ring maps satisfy Yang-Baxter and tetrahedron","Noncommutative maps yield Boussinesq lattice and NLS","Boussinesq and NLS maps survive noncommutativity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"In the proof that the NLS map solves the tetrahedron equation, a combination of parameters and variables is cancelled to conclude that two variables are equal, and the paper does not state that this combination is nonzero or treat the cases where it vanishes.","fun_headline_variants_meta":{"raw":{"variants":["Noncommutative Boussinesq map obeys Yang-Baxter","Noncommutative NLS map forms tetrahedron","Division-ring maps satisfy Yang-Baxter and tetrahedron","Noncommutative maps yield Boussinesq lattice and NLS","Boussinesq and NLS maps survive noncommutativity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000734,"raw_usage":{"total_tokens":3235,"prompt_tokens":851,"completion_tokens":2384,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":467,"completion_tokens_details":{"reasoning_tokens":2295}},"tokens_in":467,"tokens_out":2384,"duration_ms":16996,"temperature":1.0,"reasoning_tokens":2295,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:11:52.877834+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the six-factorization equation (14) for map (39) at values where $a_5(a_3 - 2z_1y_2x_1)=0$ in a division ring such as the quaternions; if any nontrivial solution appears, the tetrahedron property fails there, while if only the trivial solution appears, the vanishing of the cancelled factor is harmless.","supporting_citations":[{"cited_title":"Konstantinou-Rizos, On the 3D consistency of a Grass mann extended lattice Boussinesq system","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier Boussinesq type Yang-Baxter map whose noncommutative version is map (24), and the Grassmann extension of the lattice Boussinesq system."},{"cited_title":"Konstantinou-Rizos, Nonlinear Schr¨ odinger type tetrahedron maps","cited_arxiv_id":null,"evidence_quote":"Provides the commutative NLS type tetrahedron map of which map (39) is the noncommutative avatar."},{"cited_title":"Konstantinou-Rizos","cited_arxiv_id":null,"evidence_quote":"States the matrix six-factorization criterion (Theorem 2.2) used to prove that map (39) is a tetrahedron map."},{"cited_title":"Konstantinou-Rizos and P","cited_arxiv_id":null,"evidence_quote":"Gives the Darboux transformation for the noncommutative NLS equation used to build the matrix (37)."},{"cited_title":"Kouloukas and V.G","cited_arxiv_id":null,"evidence_quote":"States the matrix trifactorization criterion (Theorem 2.1) used to prove that map (24) is a Yang-Baxter map."},{"cited_title":"Tongas and F","cited_arxiv_id":null,"evidence_quote":"Supplies the Boussinesq Lax matrix (15) underlying both Boussinesq maps and the squeezed lattice system."}],"review_version":1}