Pith. sign in

REVIEW 3 major objections 5 minor 27 references

Set-theoretic solutions of the Yang-Baxter equation from inverse braces

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Two conditions decide when inverse braces solve Yang-Baxter

desk verdict The paper's central "if and only if" is not proved — the converse direction is circular — but the sufficient condition and the constructions are new and worth pursuing. read the letter →

arxiv 2607.16045 v1 pith:XQ7V7VJJ submitted 2026-07-17 math.QA

Francesco Catino , Marzia Mazzotta , Susanna Tieni This is my paper · ORCID
classification math.QA MSC 16T2520M1881R50
keywords Yang-Baxterequationset-theoreticsolutioninversebraceweakskewsemigroupmatchedproductstrongsemilattice
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper introduces inverse braces, structures where both operations form inverse semigroups (each element has a unique inverse) and a∘(b+c)=a∘b−a+a∘c holds. Unlike weak braces, not every inverse brace gives a set-theoretic solution of the Yang-Baxter equation. The paper isolates two conditions: (I) the map σ_a(b)=a∘(a⁻+b) is a homomorphism, and (II) σ_a(b)∘σ_a(b)⁻ = σ_a(b∘b⁻). Theorem 4.4 says that, under (I), the natural map r_S is a solution exactly when (II) holds. The paper then shows matched products and strong semilattices preserve these conditions, systematically producing new solutions.

What carries the argument

The load-bearing objects are the two maps associated to an inverse brace: λ_a(b)=−a+a∘b, which is always an additive endomorphism, and σ_a(b)=a∘(a⁻+b), which generally is not. The candidate solution is r_S(a,b)=(σ_a(b), σ_a(b)⁻∘a∘b). Condition (I) says the assignment a↦σ_a is a homomorphism of the multiplicative inverse semigroup into the monoid of self-maps, equivalently σ_a(e)=a∘e∘a⁻ for every multiplicative idempotent e. Condition (II) says σ_a respects the idempotent b∘b⁻. Together they imply the three Yang-Baxter identities (Y1)–(Y3) by forcing σ and ρ to compose as homomorphism and anti-homomorphism, respectively.

What would settle it

Run a brute-force search over four-element inverse braces that satisfy (I) but not (II); the paper reports that 11 four-element inverse braces satisfy both and are not weak braces. If any (I)-only example still makes r_S satisfy the Yang-Baxter identity for all triples, the 'only if' direction of Theorem 4.4 fails. A direct check of a∘b=a+λ_a(b) on such an example would also test the unproved Lemma 2.5.

Watch

Extended reading notes

Core claim

The central claim is a characterization: for an inverse brace whose σ map is a homomorphism from (S,∘) into the monoid of self-maps of S, the map r_S(a,b)=(σ_a(b), σ_a(b)⁻∘a∘b) is a set-theoretic solution of the Yang-Baxter equation if and only if the idempotent condition σ_a(b)∘σ_a(b)⁻ = σ_a(b∘b⁻) holds for all a,b. This condition is exactly what makes the two components multiply to a∘b and makes the ρ maps an anti-homomorphism. The paper also proves E(S,+)⊆E(S,∘), with equality characterizing weak braces, and shows that inverse braces with multiplicative semilattice automatically satisfy both conditions, yielding quasi non-degenerate solutions. When the additive semigroup is commutative th

Load-bearing premise

The paper carries Lemma 2.4 and Lemma 2.5 over from weak braces to inverse braces with the phrase 'we omit the proofs'; these lemmas (λ_a is an additive endomorphism and a↦λ_a is a homomorphism from (S,∘) to End(S,+)) underlie nearly every later identity, including the solution theorem. If that transfer is not valid for inverse braces beyond weak braces, the central claim collapses.

Editorial extensions

If this is right

  • Every inverse brace whose multiplicative structure is a semilattice automatically satisfies (I) and (II), so each such brace carries a quasi non-degenerate solution.
  • If the additive semigroup is commutative, the resulting solution is cubic (r_S³=r_S); if it is bijective, the inverse brace is actually a brace.
  • Matched products and strong semilattices of inverse braces satisfying (I) and (II) again satisfy (I) and (II), giving a recursive method for building new solutions.
  • The inverse-brace solution coincides with the matched product of the component solutions when the component braces satisfy the two extra compatibility conditions (6) and (7).
  • Weak braces form the degenerate case: their added idempotent identity makes condition (II) automatic, reproducing the known solution for weak braces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the unproved transfer of Lemma 2.4 fails, the characterization in Theorem 4.4 may only hold for a subclass; checking the omitted identities against small non-weak inverse braces is a cheap way to test the scope.
  • The two-condition formulation suggests a hierarchy: for inverse braces where (I) fails, solutions might exist in a different form; the paper's examples leave this open, and a deformed or generalized map may be needed.
  • Condition (II) can be read as requiring σ_a to preserve the idempotent product of the multiplicative semigroup; in the commutative additive setting this yields order exactly 3, hinting that inverse braces may generate non-involutive periodic solutions beyond the usual involutive ones.
  • The strong-semilattice construction suggests that Clifford inverse braces can be assembled from smaller braces; classifying the component braces and their solutions would give a full description of that class.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper introduces inverse braces, triples (S,+,∘) in which both operations are inverse semigroups and the identity a∘(b+c)=a∘b−a+a∘c holds. It develops basic properties, relates them to weak braces, and studies when an inverse brace gives a set-theoretic Yang–Baxter solution via r_S(a,b)=(σ_a(b), σ_a(b)^−∘a∘b). The main result, Theorem 4.4, states that, under condition (I) (σ is a homomorphism), r_S is a solution iff condition (II) holds. Section 5 gives matched-product and strong-semilattice constructions preserving (I) and (II). The paper contains many examples and small-order GAP checks. However, the converse direction of Theorem 4.4 is currently unproved: the proof uses Proposition 4.3(1), which is itself proved only under (II), and it also makes an unjustified simplification. Since this is the central biconditional of the paper, the claim is not established as written.

Significance. If the main theorem is correct, the paper offers a genuinely new bridge between inverse semigroup theory and the set-theoretic Yang-Baxter equation, with useful preservation constructions. The sufficiency direction and the construction theorems are plausible and well motivated. The paper also contains concrete examples, including non-weak inverse braces of small order, and the GAP checks are a strength. Nevertheless, the central equivalence is load-bearing, and the current proof of the converse is invalid as written; the results on quasi-non-degeneracy and bijectivity in Corollary 4.6 and Proposition 4.10 inherit this gap. The paper is suitable for major revision, not rejection, because the gap may be repairable and the construction results may stand independently.

major comments (3)
  1. [§4, Theorem 4.4] The converse direction of the proof is circular. In the displayed computation, the fifth equality replaces σ_a(b)∘ρ_b(a) by a∘b. This is exactly Proposition 4.3(1), whose proof assumes condition (II), the very condition being derived. Thus the argument cannot prove the converse. Additionally, the later step a∘b∘b^-∘a^-∘σ_a(b)=a∘b∘b^-∘(a^-+b) is not justified: it would require a^-∘a to act as a left identity on a^-+b, which is not an inverse-semigroup identity. This fails already in Example 2.2 for a=b=1, where a^-∘σ_a(b)=1 whereas a^-+b=0. The 'only if' direction of Theorem 4.4 is therefore unproved as written.
  2. [§2, Lemmas 2.4 and 2.5] These two lemmas are stated without proof, with the note 'we omit the proofs' and a reference to the weak-brace paper [4]. They are not peripheral: λ_a∈End(S,+) and the fact that a↦λ_a is a homomorphism (S,∘)→End(S,+) are used in Proposition 2.6, Theorem 2.7, Proposition 3.2, Proposition 3.7, and throughout Section 4. Since [4] concerns weak braces, not inverse braces, the transfer is not automatic. The authors should provide full proofs or a precise statement with theorem numbers from [4] under the exact inverse-brace hypotheses.
  3. [§4, Corollaries 4.6 and 4.10] The quasi-non-degeneracy claim (Corollary 4.6) and the statement that r_S is bijective iff S is a brace (Proposition 4.10) depend on the converse direction of Theorem 4.4. If the converse cannot be repaired, these corollaries are unsupported; if it can be repaired, the proof of Theorem 4.4 must be rewritten so that it does not assume (II). The sufficiency direction and the construction theorems in §5 appear to be independent of this gap, since they assume both (I) and (II).
minor comments (5)
  1. [Affiliation] The affiliation contains a typo: 'Mathemathics' should be 'Mathematics'.
  2. [Cross-references] Several examples are incorrectly cited as 'Theorem': Example 3.1 is cited as Theorem 3.1, Example 3.6 as Theorem 3.6, Example 4.7 as Theorem 4.7, and Example 2.3 as Theorem 2.3. Please correct these cross-references.
  3. [§2, Example 2.14] Example 2.14 refers to 'Theorem 2.13' but the statement is Proposition 2.13.
  4. [§2, Theorem 2.7] The notation in the proof of Theorem 2.7 is hard to follow because for an additive idempotent e one has -e=e, while e^- is the multiplicative inverse. A remark making this explicit would improve readability.
  5. [GAP checks] The GAP computations reported in §4 and §6 are a strength, but no code or verification details are included. An appendix with the GAP code, or a statement of its availability, would improve reproducibility.

Circularity Check

2 steps flagged · score 6.0 of 10

Theorem 4.4's 'only if' direction derives condition (II) by invoking Proposition 4.3(1), which is itself proved only under (II); the central biconditional is not established independently.

  1. other [Section 4, Theorem 4.4 converse direction (pp. 15-16); Proposition 4.3(1) (p. 14)]
    "=σ a(b)◦σ a(b)− −σ a(b) +σ a(b)◦ρ b(a)◦ρ b(a)− =σ a(b)◦σ a(b)− −σ a(b) +a◦b◦b − ◦a − ◦σ a(b)"

    In the converse, (II) is the target. The third equality replaces σa(b)ρb(a) by a∘b. That is exactly Proposition 4.3(1), which is stated only under the assumption that (II) holds: 'Let (S,+,◦) be an inverse brace satisfying (I) and such that σa(b)◦σ a(b)− =σ a(b◦b−) (II) holds... Then... σa(b)◦ρ b(a)=a◦b'. Its proof begins σa(b)ρb(a)=σa(b∘b−)∘a∘b, using (II) to write σa(b)σa(b)−=σa(b∘b−). Hence the displayed derivation of (II) assumes (II) at the point it invokes Proposition 4.3. Without a separate proof of σa(b)ρb(a)=a∘b from the solution assumption alone, the 'only if' direction is circular and does not establish the claimed equivalence.

  2. self citation load bearing [Section 2, Lemmas 2.4 and 2.5 (p. 7); relied on by Prop 3.2, Lemma 4.1, Prop 4.3, Thm 4.4]
    "The following lemmas can be proved as in [4] for weak braces, since the additional condition on the idempotents is not used in the proofs. For this reason, we omit the proofs."

    Lemma 2.4 (λa∈End(S,+), a↦λa homomorphism) and Lemma 2.5 (a∘b=a−a∘(−b)+a; a∘b=a+λa(b)) are load-bearing for the σ-map identities and for Theorem 4.4. The proof is not given; it is asserted to transfer from [4], a weak-brace paper with overlapping authorship. Inverse braces are defined by dropping the weak-brace idempotent condition a∘a−=-a+a, so the claim that the omitted weak-brace proofs 'do not use' that condition is exactly the missing verification. The later Proposition 2.6 also cites Lemma 2.4, so it does not supply an independent proof. The main derivation therefore rests on an unshown self-citation rather than on Definition 2.1.

full rationale

The paper is not globally circular: (I) and (II) are new conditions, Theorem 4.4's sufficiency direction uses (II) where allowed, and the matched-product/strong-semilattice preservation theorems (5.5, 5.12) are conditional constructions, not fitted predictions. However, the 'only if' direction of the central Theorem 4.4 contains a genuine proof loop: the computation intended to force (II) uses σa(b)ρb(a)=a∘b, which is Proposition 4.3(1), a statement proved only under (II). Thus the claimed equivalence 'rS solution ⇔ (II)' is not derived from the solution assumption alone. In addition, Lemmas 2.4–2.5, on which the whole σ-map machinery rests, are imported from the authors' weak-brace paper [4] with proofs omitted and with no verification of the transfer to the broader inverse-brace class; this is a load-bearing self-citation, though it is a proof-gap risk rather than an equation-level reduction. Because the central biconditional is partially circular while the constructions and examples retain independent content, the appropriate circularity score is 6.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

This is a pure-algebra paper, so there are no fitted constants or invented physical entities. The central claim rests on the inverse-semigroup axioms, the defining distributive identity, imported weak-brace lemmas [4], and the asserted (Y1)-(Y3) equivalence. The risk is concentrated in unproved or outsourced derivation steps, not in free parameters.

assumptions (6)
  • domain assumption (S,+) and (S,o) are inverse semigroups.
    Definition 2.1; the entire paper studies triples with this property.
  • domain assumption Distributive identity a o (b+c) = a o b - a + a o c.
    Definition 2.1; this is the defining brace-type identity.
  • ad hoc to paper Lemma 2.4 and Lemma 2.5 hold for inverse braces because the same proofs work as for weak braces in [4].
    The paper says 'we omit the proofs' and cites [4]; the validity of this transfer is load-bearing for later results.
  • ad hoc to paper The Yang-Baxter relation for r_S is equivalent to the three equalities (Y1), (Y2), (Y3).
    Invoked in the proof of Theorem 4.4 as a 'routine computation' without derivation.
  • standard math Semidirect products of inverse semigroups are inverse exactly when the action is by automorphisms (Preston's theorem [24]).
    Used in Section 5.1 to justify the semidirect product construction.
  • standard math Clifford semigroups are strong semilattices of groups.
    Used in Section 5.2 to motivate and prove the strong semilattice construction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Set-theoretic solutions of the Yang-Baxter equation from inverse braces." pith.science (2026). https://pith.science/paper/XQ7V7VJJ

@misc{pith2026260716045,
  author       = {Pith},
  title        = {Pith review of: Set-theoretic solutions of the Yang-Baxter equation from inverse braces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XQ7V7VJJ}},
  note         = {Machine review of arXiv:2607.16045}
}
abstract

We introduce the algebraic structure of an inverse brace, namely, a triple $(S,+,\circ)$ such that both $(S,+)$ and $(S,\circ)$ are inverse semigroups and the following identity holds $a\circ(b+c)=a\circ b-a+a\circ c$, for all $ a, b, c \in S$, where $-a$ denotes the inverse of $a \in S$, with respect to $+$. In particular, every weak brace is an inverse brace. We investigate the fundamental properties of inverse braces and analyze the relationship between additive and multiplicative idempotents, characterizing the condition under which an inverse brace is a weak brace. Our main results concern the connection with set-theoretic solutions to the Yang-Baxter equation. Specifically, we provide a class of inverse braces that yield solutions and give several examples. Finally, we introduce constructions of inverse braces via the matched product and the strong semilattice of inverse braces. We show that these constructions preserve the conditions required to produce solutions, thereby providing a systematic method for generating new examples.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 11 canonical work pages

  1. [4]

    Catino, M

    F. Catino, M. Mazzotta, M. M. Miccoli, P. Stefanelli, Set-theoretic solutions of the Yang-Baxter equation associated to weak braces, Semigroup Forum 104 (2) (2022) 228–255. URLhttps://doi.org/10.1007/s00233-022-10264-8

    work page doi:10.1007/s00233-022-10264-8 2022

  2. [1]

    R. J. Baxter, Partition function of the eight-vertex lattice model, Ann. Physics 70 (1972) 193–228. URLhttps://doi.org/10.1016/0003-4916(72)90335-1

    doi:10.1016/0003-4916(72)90335-1 1972

  3. [2]

    Catino, I

    F. Catino, I. Colazzo, P. Stefanelli, The matched product of set-theoretical solutions of the Yang-Baxter equation, J. Pure Appl. Algebra 224 (3) (2020) 1173–1194. URLhttps://doi.org/10.1016/j.jpaa.2019.07.012

    doi:10.1016/j.jpaa.2019.07.012 2020

  4. [3]

    Catino, I

    F. Catino, I. Colazzo, P. Stefanelli, Set-theoretic solutions to the Yang–Baxter equa- tion and generalized semi-braces, Forum Math. 33 (3) (2021) 757–772. URLhttps://doi.org/10.1515/forum-2020-0082

    work page doi:10.1515/forum-2020-0082 2021

  5. [5]

    Catino, M

    F. Catino, M. Mazzotta, P. Stefanelli, Inverse semi-braces and the Yang-Baxter equation, J. Algebra 573 (2021) 576–619. URLhttps://doi.org/10.1016/j.jalgebra.2021.01.009

    work page doi:10.1016/j.jalgebra.2021.01.009 2021

  6. [6]

    Catino, M

    F. Catino, M. Mazzotta, P. Stefanelli, Rota-Baxter operators on Clifford semigroups and the Yang-Baxter equation, J. Algebra 622 (2023) 587–613. URLhttps://doi.org/10.1016/j.jalgebra.2023.02.013

    work page doi:10.1016/j.jalgebra.2023.02.013 2023

  7. [7]

    Catino, M

    F. Catino, M. Mazzotta, P. Stefanelli, Solutions of the Yang-Baxter equation and strong semilattices of skew braces, Mediterr. J. Math. 21 (2) (2024) Paper No. 67, 22. URLhttps://doi.org/10.1007/s00009-024-02611-6

    work page doi:10.1007/s00009-024-02611-6 2024

  8. [8]

    F. Cedó, E. Jespers, J. Okniński, Braces and the Yang-Baxter equation, Comm. Math. Phys. 327 (1) (2014) 101–116. URLhttps://doi.org/10.1007/s00220-014-1935-y 30 of 31

    doi:10.1007/s00220-014-1935-y 2014

Show all 27 references
  1. [9]

    Doikou, B

    A. Doikou, B. Rybolowicz, Novel non-involutive solutions of the Yang-Baxter equa- tion from (skew) braces, J. Lond. Math. Soc. (2) 110 (4) (2024) Paper No. e12999, 23. URLhttps://doi.org/10.1112/jlms.12999

    2024 doi

  2. [10]

    V. G. Drinfel′ d, On some unsolved problems in quantum group theory, in: Quantum groups (Leningrad, 1990), vol. 1510 of Lecture Notes in Math., Springer, Berlin, 1992, pp. 1–8. URLhttps://doi.org/10.1007/BFb0101175

    1990 doi

  3. [11]

    X. K. Du, The rings with regular adjoint semigroups, Northeast. Math. J. 4 (4) (1988) 463–468

    1988

  4. [12]

    X. Gong, S. Wang, Post Clifford semigroups, the Yang-Baxter equation, relative Rota-Baxter Clifford semigroups and dual weak left braces, Comm. Algebra 54 (1) (2026) 249–273. URLhttps://doi.org/10.1080/00927872.2025.2522905

    2026

  5. [13]

    Guarnieri, L

    L. Guarnieri, L. Vendramin, Skew braces and the Yang-Baxter equation, Math. Comp. 86 (307) (2017) 2519–2534. URLhttps://doi.org/10.1090/mcom/3161

    2017 doi

  6. [14]

    J. M. Howie, Fundamentals of semigroup theory, vol. 12 of London Mathematical Society Monographs. New Series, The Clarendon Press, Oxford University Press, New York, 1995, Oxford Science Publications

    1995

  7. [15]

    Jedlicka, A

    P. Jedlicka, A. Pilitowska, Diagonals of solutions of the Yang-Baxter equation, Fo- rum Math. 38 (2) (2026) 321–338. URLhttps://doi.org/10.1515/forum-2024-0409

    2026 doi

  8. [16]

    Kunze, Zappa products, Acta Math

    M. Kunze, Zappa products, Acta Math. Hungar. 41 (3-4) (1983) 225–239. URLhttps://doi.org/10.1007/BF01961311

    1983 doi

  9. [17]

    URLhttps://doi.org/10.1142/9789812816689

    M.V.Lawson, Inversesemigroups, WorldScientificPublishingCo., Inc., RiverEdge, NJ, 1998, The theory of partial symmetries. URLhttps://doi.org/10.1142/9789812816689

    1998 doi

  10. [18]

    M. V. Lawson, Inverse semigroups—the theory of partial symmetries, 2nd ed., World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, [2026]©2026

    2026

  11. [19]

    Q. Liu, S. Wang, Set-theoretic solutions of the Yang-Baxter equation associated to weak left⋆-braces, Semigroup Forum 110 (3) (2025) 615–639. URLhttps://doi.org/10.1007/s00233-025-10539-w

    2025 doi

  12. [20]

    Mazzotta, B

    M. Mazzotta, B. Rybolowicz, P. Stefanelli, Deformed solutions of the Yang-Baxter equation associated to dual weak braces, Ann. Mat. Pura Appl. (4) 204 (2) (2025) 711–731. URLhttps://doi.org/10.1007/s10231-024-01502-7 31 of 31

    2025 doi

  13. [21]

    Mazzotta, P

    M. Mazzotta, P. Stefanelli, M. Wiertel, Quasi racks, quasi bijective and quasi non- degenerate set-theoretic solutions of the Yang–Baxter equation, Journal of Algebra and Its Applications 0 (0) (0) 2750198. URLhttps://doi.org/10.1142/S0219498827501982

    doi

  14. [22]

    W. R. Nico, On the regularity of semidirect products, J. Algebra 80 (1) (1983) 29– 36. URLhttps://doi.org/10.1016/0021-8693(83)90015-7

    1983 doi

  15. [23]

    Petrich, Inverse semigroups, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1984, a Wiley-Interscience Publication

    M. Petrich, Inverse semigroups, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1984, a Wiley-Interscience Publication

    1984

  16. [24]

    G. B. Preston, Semidirect products of semigroups, Proc. Roy. Soc. Edinburgh Sect. A 102 (1-2) (1986) 91–102. URLhttps://doi.org/10.1017/S0308210500014505

    1986 doi

  17. [25]

    Rump, Braces, radical rings, and the quantum Yang-Baxter equation, J

    W. Rump, Braces, radical rings, and the quantum Yang-Baxter equation, J. Algebra 307 (1) (2007) 153–170. URLhttps://doi.org/10.1016/j.jalgebra.2006.03.040

    2007 doi

  18. [26]

    Wang, Some characterizations of weak left braces, preprint arXiv:2502.05861 (2025)

    S. Wang, Some characterizations of weak left braces, preprint arXiv:2502.05861 (2025). URLhttps://arxiv.org/abs/2502.05861

    2025 arXiv

  19. [27]

    C. N. Yang, Some exact results for the many-body problem in one dimension with repulsive delta-function interaction, Phys. Rev. Lett. 19 (1967) 1312–1315. URLhttps://doi.org/10.1103/PhysRevLett.19.1312

    1967 doi

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.