{"id":"f011c801-d8c8-49ba-b982-b8ac6ed3d18e","arxiv_id":"1908.03019","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A symmetry-invariant method for 3D lattice equations produces tetrahedron maps, including new vector, non-commutative, and entwining examples.","lead":"This paper shows that symmetries of certain 3D integrable lattice equations generate solutions of the tetrahedron equation, a 3D analog of the Yang-Baxter equation. It derives several concrete tetrahedron maps, including some that are new and coupled vector versions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The key implication from 4D consistency to the tetrahedron equation is asserted rather than proved, and it is used for non-invertible, constraint-dependent maps.","rationale":"The reader's verdict is CONDITIONAL, and my independent read points to the same gap. Section 3.1 introduces the decisive inference after Eq. (33), and every subsequent map (37), (55), (57), (60), (64), (66), (79), (91) inherits it. The paper contains explicit formulas and several independent supporting structures, including the 4D consistency computation in Section 4.1, the group-invariant calculations, and the relation to Sergeev's classification, so the central claim is testable. What is missing is exactly the proof that local invariant solvability plus 4D consistency implies Eq. (2). The non-invertibility of (33) and the constraint dependence of (37) make this more than a formality. No internal contradiction is evident; the concern is an unproved load-bearing implication, not a disagreement with the literature. A symbolic verification of the tetrahedron equation for the listed maps, or a proof of a general transfer lemma, would either remove the gap or force a weaker statement. Thus the verdict stays CONDITIONAL.","tokens_in":19939,"tokens_out":4424,"duration_ms":50525,"concrete_test":"Run an independent computer-algebra check of Eq. (2) for the non-invertible AKP map (33): substitute the twelve rational components into R(123)R(145)R(246)R(356) and R(356)R(246)R(145)R(123) on generic symbolic variables and simplify; a nonzero remainder disproves the transfer principle in the paper's own leading example. For the BKP map (37), repeat with the constraint y1 = x2 y3 imposed on every relevant factor; if the identity holds only after imposing the constraint, the paper must state \"tetrahedron map modulo constraint\" throughout. The same script can also test the claimed new coupled map (60), since the novelty claim depends on it satisfying the same unqualified relation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing assumption is the transfer principle stated immediately after Eq. (33): \"The 4D consistency property of AKP, and the compatible symmetry invariants, imply that the map R satisfies the functional tetrahedron relation.\" This implication is reused for every map in Sections 3 and 4, but it is never formulated as a lemma and never proved. The construction shows local solvability on one cube: solving the invariant relations (31) together with the lattice equation gives R. The tetrahedron equation (2) is an identity about sixfold compositions of such maps on a hypercube; it does not follow from one-cube solvability alone unless the invariant map is equivariant with respect to the whole 4D consistency complex. The paper gives no such equivariance argument. The issue is substantive, not stylistic: the AKP map (33) is explicitly non-invertible, and the BKP map (37) satisfies the tetrahedron property only modulo the constraint y1 = x2 y3. If the transfer principle needs invertibility, or if the constraint is not preserved by all four factors in (2), the unqualified claim \"tetrahedron map\" fails for some of the listed examples. No direct verification of (2) is supplied for any of the maps obtained this way.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a method for constructing solutions of the functional tetrahedron equation from joint invariants of Lie point symmetry groups of 3D integrable lattice equations, in analogy with the known Yang-Baxter map construction from 2D lattice equations. The authors apply this method to the octahedron-type equations of the Adler-Bobenko-Suris classification as well as to BKP, deriving explicit maps for AKP, BKP, Schwarzian KP, discrete potential KP, discrete modified KP, and a degeneration. They also discuss multidimensional and non-commutative generalizations, and they claim several new tetrahedron maps, including a totally positive reversible map not contained in Sergeev's classification and a coupled map obtained from discrete potential KP under the affine symmetry group. The paper closes with a coupled lattice system associated with modified KP. The central assertion is that 4D consistency of the lattice equation together with compatibility of the symmetry invariants implies the tetrahedron property for the derived maps.","tokens_in":20155,"tokens_out":3421,"duration_ms":38480,"significance":"If the central transfer principle is valid, the paper establishes a useful and systematic bridge between the classification of 3D integrable discrete equations and the functional tetrahedron equation. The explicit maps, the comparison with Sergeev's classification, and the new totally positive reversible map are concrete contributions, and the non-commutative and multidimensional extensions broaden the potential impact. The paper is honest about several maps being non-invertible or satisfying the tetrahedron property only modulo symmetry constraints, but the main implication from 4D consistency to the tetrahedron equation is asserted rather than proved. Because this implication is load-bearing for every map obtained in Sections 3 and 4, the significance of the paper depends on closing that gap with a proof or direct verification.","major_comments":[{"comment":"The sentence following Eq. (33), 'The 4D consistency property of AKP, and the compatible symmetry invariants, imply that the map R satisfies the functional tetrahedron relation,' is the only justification offered for the central claim, and it is asserted rather than proved. One-cube solvability of the invariant relations plus 4D consistency of the lattice equation does not by itself imply the six-factor identity (2); an equivariance statement for the invariant map over the full 4D consistency complex, or a direct symbolic verification of (2), is needed. This matters here because R in (33) is explicitly non-invertible; if the transfer principle relies on invertibility, it cannot be applied to this map without modification.","section":"Section 3.1, after Eq. (33)"},{"comment":"The paper states that the BKP map (37) is a tetrahedron map 'modulo the symmetry constraint' y1 = x2 y3. Since the tetrahedron equation is an equality of maps on X^6, this claim needs a precise formulation: one must show that the constraint is preserved by all four factors R(123), R(145), R(246), and R(356) on both sides of (2), or present the identity on the constrained locus. Without this, the unqualified term 'tetrahedron map' is not justified for (37).","section":"Section 3.1, Eq. (37)"},{"comment":"In Section 4.2 the noncommutative map obtained from equations (82)-(83) is claimed to satisfy the tetrahedron property 'from the four dimensional consistency property ... proved in Section 4.' Section 4.1 proves consistency of dpKP on Z4 by explicit formulas, but it does not prove a transfer theorem from 4D consistency to the tetrahedron equation. The same missing lemma is invoked here. Please provide a direct verification for the matrix map or prove the transfer principle in sufficient generality.","section":"Sections 4.1 and 4.2"},{"comment":"The entwining relation (67) is presented as a new structural result, but no proof or computational check is supplied. Since the ordinary tetrahedron property was not verified directly for the constituent maps either, the entwining relation needs an explicit derivation or at least a reproducible symbolic verification.","section":"Section 3.4, Eq. (67)"}],"minor_comments":[{"comment":"There is a typo: 'Moreovet' should be 'Moreover'.","section":"Page 10"},{"comment":"The text 'Mob 12 transformation' is a broken fragment; it should read 'Mobius transformation'.","section":"Page 14"},{"comment":"The phrase 'the equations are not affected by the transformation' is grammatically awkward; 'the equation is invariant under the transformation' would be clearer.","section":"Page 5"},{"comment":"The notation Aijk := fij-fjk / fi-fk is ambiguous because the fraction bar is not typeset with braces; use Aijk := (fij-fjk)/(fi-fk).","section":"Eq. (76)"},{"comment":"When the authors write 'conjugating x maps to 1+x', they mean a change of variables, not conjugation of the map by a Möbius transformation; the wording should be made explicit.","section":"Section 3.3"}],"recommendation":"major_revision","confidential_remarks":"This paper fits the journal's scope and the results are likely correct, but the core implication from 4D consistency to the tetrahedron equation is not proved and is used for maps that are non-invertible or only defined modulo constraints. I would not reject on these grounds, because a direct verification or a precise transfer lemma appears feasible and would resolve the issue. The revision should address the four major comments explicitly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know: this paper takes the Papageorgiou–Tongas–Veselov trick for Yang–Baxter maps, lifts it to 3D lattice equations, and produces a stack of explicit tetrahedron maps, a few of which look genuinely new—the totally positive map (58) and the coupled map (60) are the standouts. That part is real work with real results. The catch is that the paper never proves the central implication: that 4D consistency plus symmetry invariants forces the derived map to satisfy the tetrahedron equation. It appears as a one-sentence assertion after Eq. (33) and is reused for every map in Sections 3 and 4. The stress-test has this exactly right.\n\nWhat the paper does well: the constructions are completely explicit, the case-by-case analysis is thorough, and the authors are honest about maps that only work modulo constraints (BKP, Eq. (37)) or that are non-invertible (Eq. (33)). The non-commutative extension in Section 4.2 is a nice bonus. The claim that map (58) is absent from Sergeev's classification is checkable and plausible. The algebra looks reproducible throughout, and the writing is clear. This is not a sloppy paper.\n\nThe soft spots, in proportion: the main one is the transfer principle. Solving the invariant relations on a single cube gives you a local map; the tetrahedron equation is a global identity about sixfold compositions on a hypercube. One-cube solvability does not automatically imply it unless the invariant map is equivariant with respect to the whole 4D consistency complex. Since these maps are explicit, a computer algebra check for each map would settle the matter, or better, a general lemma stating exactly when the implication holds. Second, the phrase \"tetrahedron map modulo the symmetry constraint\" (used for BKP and implicitly for the non-invertible AKP map) needs precision: is the constraint preserved by all six factors in the tetrahedron equation, or does the equation hold only on the invariant submanifold? These are addressable issues, and none of them looks fatal—I suspect most of the maps are correct—but as written the headline claim is not yet fully established.\n\nThis paper is for researchers in discrete integrable systems who work on tetrahedron and Yang–Baxter maps. They will find useful new examples and a method worth pursuing. It deserves a serious referee: the idea is good, the work is honest, and the missing proofs are likely obtainable. I would send it out for peer review with a request for direct verification of the tetrahedron relations for each map and a precise formulation of the transfer lemma. If that comes back clean, it is a solid paper.","headline":"A promising extension of the symmetry method to 3D, full of explicit maps, but the load-bearing implication from 4D consistency to the tetrahedron equation is asserted rather than proved.","tokens_in":20690,"tokens_out":2439,"would_cite":true,"duration_ms":26621,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K10","39A14"],"pacs":[],"model":"deepseek-v4-flash","headline":"Tetrahedron maps arise from symmetry invariants of 4D-consistent lattice equations.","keywords":["functional tetrahedron equation","tetrahedron maps","integrable lattice equations","symmetry group invariants","4D consistency","discrete KP equation","octahedron-type equations","Yang-Baxter maps"],"falsifier":"Take the BKP map (37) and evaluate the difference between the two sides of the functional tetrahedron relation at random complex values that do not satisfy the constraint y1 = x2 y3; a nonzero difference would show the tetrahedron property holds only modulo the symmetry constraint, qualifying the paper's claim. The same computation for the non-invertible AKP map (33) would show whether invertibility is required for the transfer from consistency to the tetrahedron equation.","tokens_in":19735,"feed_emoji":"🔁","tokens_out":5872,"duration_ms":52945,"temperature":0.7,"pith_summary":"Integrable discrete equations on a three-dimensional lattice are known to be consistent on higher-dimensional grids, and their Lie-point symmetry groups have well-understood invariants. The paper claims that these two features are linked in a precise way: taking the joint invariants of a symmetry group on the faces of a cube, writing the lattice equation in terms of those invariants, and solving the resulting algebraic system produces a map that obeys the functional tetrahedron (Zamolodchikov) equation. The authors demonstrate this for the octahedron-type lattice equations, namely AKP, BKP, Schwarzian KP, potential KP, modified KP, and their degenerations, recovering known tetrahedron maps and producing new ones. The most notable new object is a totally positive, invertible, reversible tetrahedron map arising from discrete potential KP, which the paper says is not covered by the existing classification. If the claimed transfer principle holds, the method turns integrability-plus-symmetry data into solutions of a central equation of three-dimensional integrable systems.","feed_headline":"Symmetry invariants of integrable lattices yield tetrahedron maps","feed_subtitle":"The paper derives tetrahedron maps from lattice symmetries, including a totally positive reversible example absent from the earlier…","key_machinery":"The load-bearing object is the collection of joint invariants of the symmetry group of a lattice equation, restricted to the six faces of a cube. For a two-dimensional symmetry group acting regularly on a face, Frobenius' theorem in its dual differential-form formulation supplies exactly two functionally independent invariants per face, giving twelve invariants for the cube. The lattice equation, rewritten in these invariants, together with the functionally independent relations among the invariants, is solved for the invariants on the outgoing half of the cube; that solution is the map R. The functional tetrahedron relation is the equality of two compositions of such maps, $R_{(123)}R_{(145)}R_{(246)}R_{(356)} = R_{(356)}R_{(246)}R_{(145)}R_{(123)}$, associated with the two ways of moving a plane across the other three in a tetrahedron configuration.","core_discovery":"The paper's central claim appears in Section 3.1 in the AKP case: \"The 4D consistency property of AKP, and the compatible symmetry invariants, imply that the map R satisfies the functional tetrahedron relation.\" More generally, the paper asserts that every octahedron-type equation of the recent classification, together with the invariants of its Lie-point symmetry group, yields a tetrahedron map by eliminating the lattice fields from the functional relations among the invariants and the invariant form of the equation. In several cases the resulting map is triangular, meaning its first component is a known scalar tetrahedron map and the remaining components form a vector extension that is itself a tetrahedron map. The paper also derives a non-commutative tetrahedron map by applying the same construction to non-commutative discrete potential KP, and shows that a solution of the functional tetrahedron equation can be used to recover an integrable lattice system, reversing the direction of the correspondence.","pith_inferences":["I infer that the transfer principle from 4D consistency to the tetrahedron equation likely holds only under a regularity condition on the symmetry action or the map; the BKP map (37) already needs the constraint y1 = x2 y3 to satisfy the relation, and map (33) is non-invertible, so a general proof would need to spell out when constraints propagate.","The method suggests a concrete testable recipe: any 4D-consistent equation with a sufficiently large symmetry group should yield a tetrahedron map, and equations whose symmetry group has several non-equivalent two-dimensional subgroups should yield several inequivalent maps, as happens for discrete potential KP.","I infer that the new totally positive map (58) is a candidate prototype for a wider family of positive tetrahedron maps obtained by conjugating known maps by positive transformations, in the same way that the electric-network map is conjugated by a sign involution.","The hidden-potential coupling at the end of the paper suggests a strategy for constructing integrable coupled systems: take a tetrahedron map and read off the lattice equations for a new field from the missing invariant relation."],"forward_implications":["For AKP the derived map (33) is a vector extension of a known tetrahedron map, with an x-component that decouples and is reversible; the full map satisfies the tetrahedron equation but is not invertible.","From discrete potential KP with the abelian symmetry subgroup, the construction yields the totally positive tetrahedron map (58), which is invertible and reversible and which the paper identifies as new relative to the existing classification.","Two lattice equations, chi4 and chi5, produce maps that satisfy an entwining tetrahedron relation instead of the plain relation, indicating that the method also produces entwining solutions.","Imposing discrete potential KP on Z^4, rather than Z^3, and using joint invariants of the full symmetry group yields the tetrahedron map (25) of the existing classification, showing that the dimension of the ambient lattice changes the resulting map.","Applying the same construction in the opposite direction connects non-commutative tetrahedron maps to non-commutative lattice KP equations, and the discrete-mKP example suggests hidden-potential couplings to new 3D lattice systems."],"supporting_citations":[{"why":"Supplies the classification of integrable discrete equations of octahedron type that the paper surveys case by case.","marker":"[2]"},{"why":"Provides the existing classification of tetrahedron maps against which the new maps are compared and in terms of which several maps are identified.","marker":"[29]"},{"why":"Gives the Yang-Baxter map method from symmetries of quad-graph equations that this paper generalizes to three dimensions.","marker":"[27]"},{"why":"Provides the original lattice equations, including non-commutative versions, whose symmetry invariants are used throughout.","marker":"[21]"},{"why":"Establishes the n-dimensional consistency property of the discrete KdV equation used to derive the 4D consistency of lattice potential KP.","marker":"[1]"},{"why":"Introduces the electric network transformation that appears as a tetrahedron map and serves as a starting example for symmetry arguments.","marker":"[8]"},{"why":"Defines and studies the functional tetrahedron equation, supplying foundational solutions and the setting for the paper's main object.","marker":"[9]"}],"fun_headline_variants":["Lattice symmetries yield new tetrahedron maps","Octahedron-type equations produce tetrahedron maps","Tetrahedron maps from lattice symmetry invariants","From lattice invariants to tetrahedron maps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes, without proving, that whenever a lattice equation is consistent on a four-dimensional grid and its symmetry invariants are compatible, the map obtained by solving the invariant relations automatically satisfies the tetrahedron equation.","fun_headline_variants_meta":{"raw":{"variants":["Lattice symmetries yield new tetrahedron maps","Octahedron-type equations produce tetrahedron maps","Tetrahedron maps from lattice symmetry invariants","From lattice invariants to tetrahedron maps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000365,"raw_usage":{"total_tokens":1897,"prompt_tokens":807,"completion_tokens":1090,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":423,"completion_tokens_details":{"reasoning_tokens":1032}},"tokens_in":423,"tokens_out":1090,"duration_ms":10509,"temperature":1.0,"reasoning_tokens":1032,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:25:59.234231+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the BKP map (37) and evaluate the difference between the two sides of the functional tetrahedron relation at random complex values that do not satisfy the constraint y1 = x2 y3; a nonzero difference would show the tetrahedron property holds only modulo the symmetry constraint, qualifying the paper's claim. The same computation for the non-invertible AKP map (33) would show whether invertibility is required for the transfer from consistency to the tetrahedron equation.","supporting_citations":[{"cited_title":"Adler, A.I","cited_arxiv_id":null,"evidence_quote":"Supplies the classification of integrable discrete equations of octahedron type that the paper surveys case by case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the existing classification of tetrahedron maps against which the new maps are compared and in terms of which several maps are identified."},{"cited_title":"Papageorgiou, A.G","cited_arxiv_id":null,"evidence_quote":"Gives the Yang-Baxter map method from symmetries of quad-graph equations that this paper generalizes to three dimensions."},{"cited_title":"Nijhoff and H.W","cited_arxiv_id":null,"evidence_quote":"Provides the original lattice equations, including non-commutative versions, whose symmetry invariants are used throughout."},{"cited_title":"Adler, A.I","cited_arxiv_id":null,"evidence_quote":"Establishes the n-dimensional consistency property of the discrete KdV equation used to derive the 4D consistency of lattice potential KP."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the electric network transformation that appears as a tetrahedron map and serves as a starting example for symmetry arguments."},{"cited_title":"Kashaev, I.G","cited_arxiv_id":null,"evidence_quote":"Defines and studies the functional tetrahedron equation, supplying foundational solutions and the setting for the paper's main object."}],"review_version":1}