REVIEW 4 major objections 5 minor 36 references
From NLS type matrix refactorisation problems to set-theoretical solutions of the 2- and 3-simplex equations
T0 review · 4 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper shows that by replacing the spectral parameter in a Lax matrix by a new variable, one can turn matrix refactorisation problems into new solutions of the set-theoretical Yang–Baxter and Zamolodchikov equations, yielding six…
desk verdict A useful but verification-light construction of new Yang-Baxter and tetrahedron maps; the counterexample is valuable, but the missing substitution checks for the main theorems are a genuine gap. 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 engine is the matrix refactorisation problem, in which a Lax matrix L(x,a,λ) satisfies L(u)L(v)=L(v)L(u) or its 3×3 analogue, together with the 'variation of the spectral parameter': replace λ by a variable such as x3, so that the polynomial system becomes underdetermined and defines a correspondence between C6 and C6 (or C9 and C9). To turn a correspondence into a map, the paper adds extra equations—for instance u3=y3 and v2u3=x2y3 for Y3/Y4, v1=x1 and v3=x3 for Y5—and solves the augmented system rationally. The named objects carried by the argument are the Darboux matrices for NLS and derivative NLS, the Adler map as a base example, and the local equations (5) and (11) that generate Yang–Baxter and tetrahedron solutions.
What would settle it
Choose rational values for the variables and parameters, for instance a=1, b=2, c=3, x=(1,2,3), y=(4,5,6), z=(7,8,9), evaluate both sides of the Yang–Baxter equation (1) or (3) for each claimed map, or both sides of the Zamolodchikov equation (7) for Ta,b,c; any inequality of the resulting tuples would refute the claim that these are genuine simplex-equation solutions.
Extended reading notes
Core claim
The central claim is that varying the spectral parameter in the Lax representation—replacing λ by a function such as x3—turns the local 1- and 2-simplex refactorisation problems into underdetermined correspondences, and that suitably supplementing these correspondences yields genuine solutions to the set-theoretical Yang–Baxter and Zamolodchikov equations. Concretely, the paper asserts that maps Y1–Y6 in (12), (13), (19), (20), (29), (30) satisfy the parametric Yang–Baxter equation (3), that the tetrahedron map Ta,b,c in (34) satisfies the parametric Zamolodchikov equation (7), and that Y1 and Y6 admit enough functionally independent first integrals in involution to be completely integrable in the Liouville sense. The counterexample of Section 2 is offered as a caution: a unique solution of the local 1-simplex matrix equation need not be a Yang–Baxter map.
Load-bearing premise
The construction rests on the unshown algebraic verification that the explicit formulas for Y1–Y6 and Ta,b,c satisfy the defining simplex equations, and on the particular supplementary equations chosen to turn underdetermined correspondences into maps.
Editorial extensions
If this is right
- Because the construction starts from a Lax representation and only changes the spectral parameter, it should generate entire hierarchies of new Yang–Baxter maps from a single Darboux matrix, each hierarchy sharing the underlying refactorisation problem.
- The counterexample in Section 2 shows that local 1-simplex solvability is not sufficient for the Yang–Baxter property, so any future map built by this route must be checked against equation (1)/(3) directly.
- The complete integrability of Y1 and Y6, and the first integrals found for Y3, Y4, Y5 and Ta,b,c, make these maps candidates for constructing integrable lattice equations via the known invariants-to-equations link.
- The parametric tetrahedron map Ta,b,c is a genuine 3-simplex solution; combined with the method it opens a route to 4-simplex maps by the same variation trick.
Reading between the lines
- A natural testable extension: applying the same substitution λ→x3 to other known Darboux matrices (e.g., KdV-type or sine-Gordon-type) should yield new Yang–Baxter maps; if it does not, the method may depend on special structure of NLS-type matrices.
- The choice of supplementary equations looks ad hoc; one might conjecture that any choice that makes the augmented system zero-dimensional and rationally solvable preserves the simplex property, which would turn the method into a more systematic classification tool.
- Since Y6 is Liouville integrable with a rank-2 Poisson bracket, the shared invariants of Y3–Y5 suggest they may be integrable under related Poisson brackets; this is implicit in the paper's open problems.
- The counterexample could be used as a test case for criteria distinguishing genuine Yang–Baxter maps among local-simplex solutions, for instance via dimension or rationality conditions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a method for constructing set-theoretical solutions of the Yang-Baxter and Zamolodchikov tetrahedron equations by replacing the spectral parameter in Lax/Darboux matrices with a function of the dynamical variables and then resolving the resulting underdetermined system with additional algebraic conditions. It presents a counterexample to the folklore that solutions of the local 1-simplex equation are automatically Yang-Baxter maps, and derives new parametric Yang-Baxter maps Y1-Y6 and a parametric tetrahedron map T_{a,b,c}, together with first integrals and Liouville integrability statements for Y1 and Y6. The main claims are that the displayed maps satisfy the parametric Yang-Baxter equation (3) and the Zamolodchikov equation (7).
Significance. The proposed construction is of interest to the integrable systems community because explicit birational solutions of the set-theoretical simplex equations are scarce, and the connection to Lax representations is a useful heuristic. The paper is transparent about the derivation route: matrix refactorisation, reduction to polynomial systems, and supplementation of underdetermined systems. The counterexample in Section 2.1 is a useful caution. However, the paper's central claims rest on algebraic verifications that are not displayed anywhere, and the method is not formulated as a theorem with hypotheses; hence the significance can be assessed only after the omitted computations are supplied.
major comments (4)
- [Section 4.1, Theorem 4.2] The proof states that the Yang-Baxter equation for Y3 and Y4 "can be verified by substitution to (1)", but no such substitution is shown. This verification is load-bearing because the paper's own Counterexample 2.2 shows that satisfying the local 1-simplex equation (5) does not imply the Yang-Baxter equation. Please provide the verification, or a computer algebra script that performs it, for both maps Y3 and Y4, and also for the claim that they share the Lax representation (17).
- [Section 4.2, Theorem 4.4] The same omission occurs for the derivative NLS maps Y5 and Y6: the Yang-Baxter property is asserted to be "readily verified by substitution to equation (3)", but no verification is displayed. This is especially delicate because the maps are defined through the arbitrary supplements v1=x1, v3=x3 or u1+v1=x1+y1, v3=x3, so there is no general principle guaranteeing the resulting rational maps solve (3). The statement that Y5 and Y6 have "a common Lax representation (17)" appears to be a typo for equation (23), since the matrices used in Section 4.2 are the derivative NLS matrices N, not the NLS matrices M of equation (17); please correct this and include the missing substitution checks.
- [Section 5, Theorem 5.1] The Zamolodchikov tetrahedron equation (7) for T_{a,b,c} is asserted to be checkable by "straightforward substitution", but no computation is displayed. The map involves the large rational function A in nine variables and three parameters, so this is the most error-prone claim in the paper. Please include the verification of (7), or state clearly that it was checked with computer algebra and make the checking code or explicit intermediate expressions available.
- [Section 3, maps (12) and (13)] The maps Y1 and Y2 obtained from the varied spectral parameter for the Adler case are claimed to be parametric Yang-Baxter maps, but the paper does not display any verification of equation (3) for either map. Given Counterexample 2.2, the derivation from the local 1-simplex equation alone is not sufficient evidence; an explicit substitution check should be supplied.
minor comments (5)
- [Section 4.1, proof of Theorem 4.2] In the proof of Theorem 4.2, the sentence "Ii \circ Y2 = Ii" should refer to Y3, since the invariants (21) are claimed for Y3; the current text names the wrong map.
- [Section 4.2, Theorem 4.4] The sentence "Noninvolutivity follows from the fact that Yi \circ Y5 \neq id, i=5,6" is not well-formed; it should state that Y5 \circ Y5 \neq id and Y6 \circ Y6 \neq id.
- [Section 4.2, Theorem 4.5] In the proof of Theorem 4.5, the final sentence "Thus, map Y2 is completely integrable" should read "map Y6", since the theorem concerns Y6.
- [Title and Remark 4.1] The title contains a spacing typo "set-theor etical", and Remark 4.1 contains the typo "couterexample"; both should be corrected.
- [Throughout] All of the new maps are rational and have denominators that may vanish; the paper does not specify the Zariski open set on which the maps are defined. A brief remark on the domain of definition would improve clarity, though this is standard for birational Yang-Baxter maps.
Circularity Check
No significant circularity: the simplex-equation claims rest on direct substitution checks against the defining equations, and the paper's own counterexample rejects the shortcut from local Lax equations to Yang–Baxter maps.
full rationale
The paper's central claims are that the explicit maps Y1--Y6 and Ta,b,c satisfy the set-theoretical Yang–Baxter equation (1)/(3) or the Zamolodchikov equation (7). In each nontrivial case the proof is stated as verification by substitution: 'The Yang–Baxter equation can be verified by substitution to (1)' (Theorem 4.2), 'readily verified by substitution to equation (3)' (Theorem 4.4), and 'can be checked with straightforward substitution to (7)' (Theorem 5.1). These are direct checks against the defining identities, not derivations that identify the conclusion with an input. In particular, the paper's Counterexample 2.2 explicitly demonstrates that satisfying the local 1-simplex equation (5) does not imply the Yang–Baxter equation, so the author does not treat the Lax representation as sufficient evidence. The construction uses Darboux matrices from the author's earlier work [9,17], but those citations supply the starting Lax matrices and the integrable-systems context; the new maps are explicit rational formulas and their simplex-equation property is not imported from those citations. The 'supplementing' equations used to turn underdetermined correspondences into maps are ad hoc choices, but once the map is fixed, the Yang–Baxter or tetrahedron identity is an independent algebraic statement. The main weakness is that the substitution checks are not displayed, which is a correctness and verifiability risk, not circularity. No step in the paper reduces by definition to its own input, and no fitted parameter is renamed as a prediction.
Assumptions & free parameters
assumptions (4)
- domain assumption The local 1-simplex matrix refactorisation (5) is used to generate candidate correspondences whose solutions are then promoted to maps by additional equations; the paper assumes this procedure, with a suitable supplement, yields solutions of the simplex equations.
- domain assumption The matrices M and N in (15) are valid Lax/Darboux matrices for the NLS and derivative NLS equations, as established in the author's earlier work [9,17].
- standard math The standard Liouville integrability criterion applies: a map on a Poisson manifold with a complete set of independent integrals in involution is completely integrable.
- standard math Polynomial equations are solved over C and rational maps are defined on a dense open subset where denominators do not vanish.
Cite this review
Pith. "Pith review of From NLS type matrix refactorisation problems to set-theoretical solutions of the 2- and 3-simplex equations." pith.science (2026). https://pith.science/paper/XJSC2VRE
@misc{pith2026250421094,
author = {Pith},
title = {Pith review of: From NLS type matrix refactorisation problems to set-theoretical solutions of the 2- and 3-simplex equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/XJSC2VRE}},
note = {Machine review of arXiv:2504.21094}
}
abstract
We present a method for constructing hierarchies of solutions to $n$-simplex equations by variating the spectral parameter in their Lax representation. We use this method to derive new solutions to the set-theoretical 2- and 3-simplex equations which are related to the Adler map and Nonlinear Schr\"odinger (NLS) type equations. Moreover, we prove that some of the derived Yang--Baxter maps are completely integrable.
Reference graph
Works this paper leans on
-
[1]
P. Kassotakis, M. Nieszporski, V. Papageorgiou, A. Tong as. Tetrahedron maps and symmetries of three dimensional integrable discrete equations. J. Math. Phys. 60 (2019) 123503. 12
work page 2019
-
[2]
V.G. Papageorgiou, A.G. Tongas. Yang–Baxter maps and mul ti-field integrable lattice equations. J. Phys. A 40 (2007) 12677–12690
work page 2007
-
[3]
V.G. Papageorgiou, A.G. Tongas, A.P. Veselov. Yang–Baxt er maps and symmetries of integrable equations on quad-graphs. J. Math. Phys. 47 (2006) 083502
work page 2006
-
[4]
P. Kassotakis and M. Nieszporski. Families of integrabl e equations. SIGMA 7 (2011) 100 14pp
work page 2011
-
[5]
P. Kassotakis and M. Nieszporski. On non-multiaffine cons istent-around-the-cube lattice equations. Phys. Lett. A 376 (2012) 3135–3140
work page 2012
-
[6]
P. Adamopoulou and G. Papamikos, Entwining Yang–Baxter m aps over Grassmann algebras. Physica D: Nonlinear Phenomena 472 (2025) 134469
work page 2025
-
[7]
G.G. Grahovski, S. Konstantinou-Rizos, A.V. Mikhailov . Grassmann extensions of Yang–Baxter maps. J. Phys. A 49 (2016) 145202
work page 2016
-
[8]
S. Konstantinou-Rizos. On the 3D consistency of a Grassm ann extended lattice Boussinesq system. Nuclear Phys. B 951 (2020) 114878
work page 2020
Show all 36 references
-
[9]
Konstantinou-Rizos and A.V
S. Konstantinou-Rizos and A.V. Mikhailov. Darboux tran sformations, finite reduction groups and related Yang–Baxter maps. J. Phys. A: Math. Theor. 46 (2013) 425201
2013
-
[10]
Mikhailov, G
A.V. Mikhailov, G. Papamikos, and J.P. Wang. Darboux tr ansformation for the vector sine-Gordon equation and integrable equations on a sphere. Lett. Math. P hys., 106:973–996, 2016
2016
-
[11]
Buchstaber, S
V.M. Buchstaber, S. Igonin, S. Konstantinou-Rizos and M .M. Preobrazhenskaia. Yang–Baxter maps, Darboux transformations, and linear approximations of ref actorisation problems. J. Phys. A: Math. Theor. 53 (2020) 504002
2020
-
[12]
Igonin, V
S. Igonin, V. Kolesov, S. Konstantinou-Rizos, and M.M. Preobrazhenskaia. Tetrahedron maps, Yang- Baxter maps, and partial linearisations. J. Phys. A: Math. Theor. 54 (2021) 505203
2021
-
[13]
Suris, A.P
Y.B. Suris, A.P. Veselov. Lax matrices for Yang–Baxter ma ps. J. Nonlinear Math. Phys., 10 (2003) 223–230
2003
-
[14]
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
-
[15]
Maillet, F
J.M. Maillet, F. Nijhoff. The tetrahedron equation and t he four-simplex equation. Phys. Lett. A 134 (1989) 221–228
1989
-
[16]
Igonin and S
S. Igonin and S. Konstantinou-Rizos. Local Yang–Baxter correspondences and set-theoretical solu- tions to the Zamolodchikov tetrahedron equation. J. Phys. A: Math. Theor. 56 275202 (2023)
2023
-
[17]
Konstantinou-Rizos
S. Konstantinou-Rizos. Nonlinear Schr¨ odinger type t etrahedron maps. Nuclear Phys. B 960 (2020) 115207
2020
-
[18]
Drinfeld
V. Drinfeld. On some unsolved problems in quantum group theory. Lecture Notes in Math. 1510, 1–8 (1992). 13
1992
-
[19]
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
-
[20]
Korepanov
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
1995 arXiv
-
[21]
Dimakis and F
A. Dimakis and F. M¨ uller-Hoissen, Simplex and polygon equations. SIGMA 11 (2015) 042
2015
-
[22]
Konstantinou-Rizos
S. Konstantinou-Rizos. Noncommutative solutions to Z amolodchikov’s tetrahedron equation and ma- trix six-factorisation problems. Physica D 440 (2022) 1334 66
2022
-
[23]
Doliwa, Non-Commutative Rational Yang–Baxter Maps
A. Doliwa, Non-Commutative Rational Yang–Baxter Maps. Lett. Math. Phys. 104 (2014) 299–309
2014
-
[24]
Kassotakis, Non-Abelian hierarchies of compatible maps, associated integrable difference systems and Yang-Baxter maps
P. Kassotakis, Non-Abelian hierarchies of compatible maps, associated integrable difference systems and Yang-Baxter maps. Nonlinearity, 36, 2514 (2023)
2023
-
[25]
Kassotakis and T
P. Kassotakis and T. Kouloukas. On non-abelian quadrir ational Yang–Baxter maps. J. Phys. A: Math. Theor. 55 175203 (2022)
2022
-
[26]
Adler, Recuttings of polygons
V. Adler, Recuttings of polygons. Funktsional. Anal. i Prilozhen. 27 79–82 (1993)
1993
-
[27]
Doliwa and R.M
A. Doliwa and R.M. Kashaev, Non-commutative bi-ration al maps satisfying Zamolodchikov equation equation, and Desargues lattices. J. Math. Phys. 61 (2020) 0 92704
2020
-
[28]
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 465 (2024) 134213
2024
-
[29]
Konstantinou-Rizos T
S. Konstantinou-Rizos T. Kouloukas. A noncommutative discrete potential KdV lift. J. Math. Phys. 59 (2018) 063506
2018
-
[30]
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
-
[31]
Konstantinou-Rizos
S. Konstantinou-Rizos. Birational solutions to the set -theoretical 4-simplex equation. Physica D 448 (2023) 133696
2023
-
[32]
Konstantinou-Rizos
S. Konstantinou-Rizos. Electric network and Hirota ty pe 4-simplex maps. JHEP 06 (2024) 094
2024
-
[33]
Evripidou, P
Ch. Evripidou, P. Kassotakis, A. Tongas. On quadrirati onal pentagon maps. J. Phys. A: Math. Theor. 57 (2024) 455203
2024
-
[34]
Korepanov
I.G. Korepanov. Odd-gon relations and their cohomolog y. Partial Differential Equations in Applied Mathematics 11, 100856 (2024)
2024
-
[35]
Kassotakis
P. Kassotakis. Matrix factorizations and pentagon map s. Proc. R. Soc. A, 479, 2280 (2023)
2023
-
[36]
Drinfeld
V.G. Drinfeld. Quasi–Hopf algebras. Leningrad Math. J ., 1:1419–1457, (1989). 14
1989
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.