REVIEW 4 major objections 6 minor 32 references
Noncommutative Boussinesq and NLS type 2- and 3-simplex maps
T0 review · 4 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Noncommutative Boussinesq and NLS maps satisfy the Yang-Baxter and tetrahedron equations.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (4)
- [§4, Proposition 4.1, Eqs. (39d), (39f), (42g), (42h)] 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.
- [§4, Theorem 4.2, after Eqs. (50a)-(50b)] 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.
- [§3, Theorem 3.3, Eqs. (28g)-(28j)] 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.
- [§3.2, Proposition 3.2, Eq. (24) and proof] 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.
minor comments (6)
- [Title/Abstract] 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.
- [§3.3, Proposition 3.4 proof] The equation obtained from v4 is (32c), not (32b); the sentence about v3 similarly refers to the wrong display.
- [§3.2, Theorem 3.3 proof] 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).
- [§4, Map (39)] 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.
- [§2, Theorems 2.1 and 2.2] 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.
- [Miscellaneous] 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.
Circularity Check
No significant circularity: the Yang–Baxter and tetrahedron claims are derived from Lax/local-Yang–Baxter factorization plus external uniqueness criteria, not assumed as inputs.
full rationale
The paper's central results are obtained by solving matrix factorization problems and then applying general sufficient conditions (Theorem 2.1 from Kouloukas–Papageorgiou and Theorem 2.2 from [18]) that are not specific to the maps being constructed. The Yang–Baxter property of map (24) is proved by deriving a system of polynomial equations (28) from the Lax representation and showing the trivial solution; the tetrahedron property of map (39) is proved by showing that the six-factorization system (46) forces all variables to match. Neither proof assumes the target Yang–Baxter or tetrahedron equation as an input; those equations appear only as conclusions. The supplementary equations chosen to complete the correspondences, e.g. u1 = x1 for map (24) and u1 + v1 = y1 + x1 for map (19), are construction choices, not hidden assumptions of the desired property. Self-citations occur, notably Theorem 2.2 and the Darboux matrix from [24], but Theorem 2.2 is a parameter-free structural result whose assumptions do not include the present map, and the Darboux matrix is explicit input data rather than a surrogate for the tetrahedron claim. The algebraic gaps noted by the skeptic, such as the silent cancellation of a5(a3 − 2z1y2x1) in the proof of Theorem 4.2, concern the completeness of the proof for exceptional values in a division ring; they are correctness or genericity issues, not circularity. The derivation chain is therefore self-contained relative to the cited general theorems.
Assumptions & free parameters
assumptions (5)
- domain assumption Nonzero elements of the division ring R are invertible, and all denominators that appear in the maps and proofs, e.g., y4 - x1 - x2y3, a4 + r1r2, and a3 - 2z1y2x1, are assumed nonzero where inverted.
- standard math Theorem 2.1 of Kouloukas and Papageorgiou and Theorem 2.2 of Konstantinou-Rizos correctly reduce verification of the Yang-Baxter and tetrahedron properties to triviality of the associated factorisation problems.
- domain assumption The Darboux matrix (36), taken from the unpublished reference [24], provides the correct Darboux transformation for the noncommutative NLS system, and the matrix K(x1,x2,a) = M(x1,x2,a,0) is the correct Lax kernel for the NLS type tetrahedron map.
- ad hoc to paper The supplemental closing equations chosen for the correspondences are v1 = x1 for system (23) and u1 + v1 = y1 + x1 for system (18); these choices define maps (24) and (19).
- standard math The local Yang-Baxter matrix extensions (38) and the 4x4 extensions (44) and (45) are correct embeddings of the 2x2 matrix K, with products ordered as written.
Cite this review
Pith. "Pith review of Noncommutative Boussinesq and NLS type 2- and 3-simplex maps." pith.science (2026). https://pith.science/paper/H2GHGWAK
@misc{pith2026250112462,
author = {Pith},
title = {Pith review of: Noncommutative Boussinesq and NLS type 2- and 3-simplex maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/H2GHGWAK}},
note = {Machine review of arXiv:2501.12462}
}
read the original abstract
We construct noncommutative maps related to the Boussinesq and Nonlinear Schr\"odinger (NLS) equations with their variables belonging to a noncommutative division ring. We show that the noncommutative Boussinesq type map satisfies the Yang--Baxter equation, and it can be squeezed down to a noncommutative version of the Boussinesq lattice equation. Moreover, we show that the noncommutative NLS type map is a Zamolodchikov tetrahedron map.
Figures
Reference graph
Works this paper leans on
-
[1]
V. Adler. Recuttings of polygons. Funktsional. Anal. i P rilozhen. 27 79–82 (1993)
work page 1993
-
[2]
P. Adamopoulou and G. Papamikos, Entwining Yang–Baxter m aps over Grassmann algebras Physica D: Nonlinear Phenomena 472 134469 (2025)
work page 2025
-
[3]
P.A. Clarkson and E. Dowie, Rational Solutions of the Bous sinesq Equation and Applications to Rogue Waves. Transactions of Mathematics and Its Applicati ons, 1, tnx003. Transactions of Math- ematics and Its Applications, 1, tnx003. (2017)
work page 2017
-
[4]
A. Dimakis and F. M¨ uller-Hoissen, Simplex and polygon e quations, SIGMA 11 (2015) 042
work page 2015
-
[5]
A. Doliwa. Non-Commutative Rational Yang–Baxter Maps. L ett. Math. Phys. 104 (2014) 299–309
work page 2014
-
[6]
A. Doliwa, R.M. Kashaev. Non-commutative bi-rational m aps satisfying Zamolodchikov equation equation, and Desargues lattices, J. Math. Phys. 61 (2020) 0 92704
work page 2020
-
[7]
X. Fisenko, S. Konstantinou-Rizos, and P. Xenitidis. A d iscrete Darboux-Lax scheme for integrable difference equations Chaos, Solitons and Fractals 158 112059 (2022)
work page 2022
-
[8]
G.G. Grahovski, S. Konstantinou-Rizos, A.V. Mikhailov , Grassmann extensions of Yang–Baxter maps, J. Phys. A 49 (2016) 145202
work page 2016
Show all 32 references
-
[9]
Igonin and S
S. Igonin and S. Konstantinou-Rizos. Local Yang–Baxter c orrespondences and set-theoretical solu- tions to the Zamolodchikov tetrahedron equation. J. Phys. A: Math. Theor. 56 275202 (2023). 17
2023
-
[10]
Kashaev, I.G
R.M. Kashaev, I.G. Koperanov, and S.M. Sergeev, Functi onal Tetrahedron Equation, Theor. Math. Phys. 117 (1998) 370–384
1998
-
[11]
Kassotakis, Non-Abelian hierarchies of compatible maps, associated integrable difference systems and Yang–Baxter maps, Nonlinearity 36 (2023) 2514
P. Kassotakis, Non-Abelian hierarchies of compatible maps, associated integrable difference systems and Yang–Baxter maps, Nonlinearity 36 (2023) 2514
2023
-
[12]
Kassotakis and T
P. Kassotakis and T. Kouloukas, On non-abelian quadrir ational Yang–Baxter maps, J. Phys. A: Math. Theor. 55 (2022) 175203
2022
-
[13]
Kassotakis, T
P. Kassotakis, T. Kouloukas and M. Nieszporski. Non-Ab elian elastic collisions, associated difference systems of equations and discrete analytic functions. arXi v:2412.03543 (2024)
2024 arXiv
-
[14]
Kassotakis, M
P. Kassotakis, M. Nieszporski, On non-multiaffine consi stent-around-the-cube lattice equations, Phys. Lett. A 376 (2012) 3135–3140
2012
-
[15]
Kassotakis, M
P. Kassotakis, M. Nieszporski, V. Papageorgiou, and A. Tongas, Tetrahedron maps and symmetries of three dimensional integrable discrete equations, J. Mat h. Phys. 60 (2019) 123503
2019
-
[16]
Konstantinou-Rizos, On the 3D consistency of a Grass mann extended lattice Boussinesq system
S. Konstantinou-Rizos, On the 3D consistency of a Grass mann extended lattice Boussinesq system. Nuclear Phys. B 951 (2020) 114878
2020
-
[17]
Konstantinou-Rizos, Nonlinear Schr¨ odinger type tetrahedron maps
S. Konstantinou-Rizos, Nonlinear Schr¨ odinger type tetrahedron maps. Nuclear Phys. B 960 (2020) 115207
2020
-
[18]
Konstantinou-Rizos
S. Konstantinou-Rizos. Noncommutative solutions to Z amolodchikov’s tetrahedron equation and matrix six-factorisation problems. Physica D: Nonlinear P henomena 440 (2022) 133466
2022
-
[19]
Konstantinou-Rizos and T
S. Konstantinou-Rizos and T. Kouloukas, A noncommutat ive discrete potential KdV lift J. Math. Phys. 59 (2018) 063506
2018
-
[20]
Konstantinou-Rizos and A.V
S. Konstantinou-Rizos and A.V. Mikhailov. Darboux tra nsformations, finite reduction groups and related Yang–Baxter maps. J. Phys. A: Math. Theor. 46 (2013) 425201
2013
-
[21]
Konstantinou-Rizos and A.V
S. Konstantinou-Rizos and A.V. Mikhailov. Anticommut ative extension of the Adler map. J. Phys. A: Math. Theor. 49 (2016) 30LT03
2016
-
[22]
Konstantinou-Rizos and A.A
S. Konstantinou-Rizos and A.A. Nikitina. Yang–Baxter m aps of KdV, NLS and DNLS type on division rings. Physica D: Nonlinear Phenomena 465 (2024) 134213
2024
-
[23]
Konstantinou-Rizos and G
S. Konstantinou-Rizos and G. Papamikos. Entwining Yan g–Baxter maps related to NLS type equa- tions. J. Phys. A: Math. Theor. 52 (2019) 485201
2019
-
[24]
Konstantinou-Rizos and P
S. Konstantinou-Rizos and P. Xenitidis. Integrable di scretisations of noncommutative NLS equation. (in preparation) (2025)
2025
-
[25]
Kouloukas and V.G
T.E. Kouloukas and V.G. Papageorgiou Yang–Baxter maps w ith first-degree-polynomial 2 × 2 Lax matrices J. Phys. A 42 404012 (2009)
2009
-
[26]
I.G. Korepanov, Algebraic integrable dynamical syste ms, 2+1-dimensional models in wholly discrete space-time, and inhomogeneous models in 2-dimensional sta tistical physics, (1995) solv-int/9506003. 18
1995 arXiv
-
[27]
Mikhailov, G
A.V. Mikhailov, G. Papamikos and J.P. Wang. Darboux tra nsformation for the vector sine-Gordon equation and integrable equations on a sphere. Lett. Math. P hys. 106 (2016) 973–996
2016
-
[28]
Maillet, F
J.M. Maillet, F. Nijhoff, The tetrahedron equation and t he four-simplex equation, Phys. Lett. A 134 (1989) 221–228
1989
-
[29]
Papageorgiou, A.G
V.G. Papageorgiou, A.G. Tongas, A.P. Veselov. Yang–Bax ter maps and symmetries of integrable equations on quad-graphs, J. Math. Phys. 47 (2006) 083502
2006
-
[30]
Sergeev, Solutions of the Functional Tetrahedron Equation Connected with the Local Yang– Baxter Equation for the Ferro-Electric Condition, Lett
S.M. Sergeev, Solutions of the Functional Tetrahedron Equation Connected with the Local Yang– Baxter Equation for the Ferro-Electric Condition, Lett. Mat h. Phys. 45 (1998) 113–119
1998
-
[31]
Suris, A
Y. Suris, A. Veselov, Lax matrices for Yang–Baxter maps J . Nonlinear Math. Phys. 10 (2003) 223–230
2003
-
[32]
Tongas and F
A. Tongas and F. Nijhoff. The Boussinesq integrable syste m. Compatible lattice and continuum structures Glasgow Math. J. 47 205–219 (2005). 19
2005
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.