{"id":"3646b88a-beca-464c-9cec-2ec7c1fd35d1","arxiv_id":"2607.16045","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Inverse braces that satisfy two idempotent identities (I) and (II) yield set-theoretic solutions of the Yang-Baxter equation, and matched-product and semilattice constructions preserve those identities.","lead":"This paper defines inverse braces, a two-operation algebraic structure built from inverse semigroups, and identifies which of them generate set-theoretic solutions of the Yang–Baxter equation. It gives explicit conditions, examples, and two glue-together constructions that preserve those conditions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.4 converse proves (II) by assuming (II): the step sigma_a(b) rho_b(a)=a∘b is Proposition 4.3(1), which is only proved under (II).","rationale":"I read the paper in good faith. The central claim is the if-and-only-if classification in Theorem 4.4 for inverse braces satisfying (I). The most load-bearing point is not the unproved transfer of Lemmas 2.4-2.5 (also a gap) but an apparent circularity in the proof of the converse: the identity sigma_a(b) rho_b(a)=a∘b used before (II) is proved only under (II) as Proposition 4.3(1). Further, the cancellation a^-∘a∘b = b is not justified in inverse semigroups and fails in the paper's own Example 2.2. A GAP enumeration comparing (II) with solutions for order <= 5 would settle whether the theorem statement is true; if no counterexample appears, the result might survive repair, which is why I do not move the verdict to REJECT. I agree with the reader that the paper is not immediately acceptable as-is, but for a more specific reason.","tokens_in":23206,"tokens_out":17618,"duration_ms":136984,"concrete_test":"Run the authors' GAP enumeration: enumerate all inverse braces of order <= 5 satisfying (I), compute r_S from equation (3) for each, and test the Yang-Baxter equation. Compare solutions with condition (II). If there is a brace satisfying (I) but not (II) whose r_S is a solution, Theorem 4.4 is false. If none exists, the theorem may still be true, but the proof must be repaired by re-deriving the converse without Prop 4.3(1) and without the cancellation a^-∘a∘b = b.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the converse direction of Theorem 4.4, after assuming r_S is a solution and applying (Y1) with c=-b^-+b^-, the displayed computation of the right-hand side uses sigma_a(b) rho_b(a)=a∘b at the fifth equality. This identity is exactly Proposition 4.3(1), whose proof assumes condition (II)—the very condition being derived. Replacing rho_b(a) by its definition shows the identity is equivalent to sigma_a(b) sigma_a(b)^- acting as a left identity for a∘b, i.e., essentially (II). Without it, the chain yields only sigma_a(b) sigma_a(b)^- - sigma_a(b) + sigma_a(b) rho_b(a) rho_b(a)^-, from which (II) does not follow by the remaining steps. The subsequent simplification of a∘b∘b^-∘a^-∘sigma_a(b) to a∘b∘b^-∘(a^-+b) also lacks justification: it would require a^-∘a to act as a left identity on a^-+b, which is not an inverse-semigroup identity and fails, e.g., in Example 2.2 for a=b=1 (a^-∘sigma_a(b)=1, while a^-+b=0). Thus the 'only if' direction of Theorem 4.4 is currently unproved. The sufficiency direction and the constructions may still be correct, but the central biconditional is not established.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":23630,"tokens_out":9129,"duration_ms":82511,"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":[{"comment":"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.","section":"§4, Theorem 4.4"},{"comment":"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.","section":"§2, Lemmas 2.4 and 2.5"},{"comment":"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).","section":"§4, Corollaries 4.6 and 4.10"}],"minor_comments":[{"comment":"The affiliation contains a typo: 'Mathemathics' should be 'Mathematics'.","section":"Affiliation"},{"comment":"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.","section":"Cross-references"},{"comment":"Example 2.14 refers to 'Theorem 2.13' but the statement is Proposition 2.13.","section":"§2, Example 2.14"},{"comment":"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.","section":"§2, Theorem 2.7"},{"comment":"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.","section":"GAP checks"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the converse of Theorem 4.4. The paper otherwise has a clear structure and the construction results are promising. I would not reject outright, because the flaw is localized and may be repairable; however, the central equivalence should either be proved correctly or the claims weakened. The dependence on the authors' own weak-brace machinery [4] should also be made self-contained for the key lemmas."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Main take: Theorem 4.4 is not proved as stated. The \"only if\" direction assumes r_S is a solution and tries to derive condition (II), but the proof uses Proposition 4.3(1), which itself assumes (II). That is circular. The step replacing a^-∘σ_a(b) with a^-+b is also unjustified and fails in the paper's own Example 2.2. So the characterization is open, though the sufficiency direction (II ⇒ solution) looks correct and the constructions in Section 5 are sensible.\n\nWhat is new: the inverse brace structure itself (also in Wang's preprint), the σ-map, conditions (I)–(II), the matched product and strong semilattice constructions that preserve them, and the cubic solution observation for commutative additive semigroups. The examples and the relationship to weak braces are clearly laid out.\n\nSoft spots: (1) Lemmas 2.4 and 2.5 are load-bearing and stated without proof, just \"as in [4]\". The claim that the extra weak-brace condition is unused needs to be checked line by line. (2) Theorem 2.7 contains a suspicious simplification of idempotents in an inverse semigroup. (3) The GAP enumeration of 11 inverse braces of size 4 is mentioned with no code or data; that's a minor issue but would help reproducibility.\n\nThe paper is not ready as is. The main theorem should either be repaired or weakened to a sufficient condition. That said, the sufficient condition and the constructions are genuinely new and worth pursuing; if the authors can settle the converse, this could be a solid contribution. I would send it to a referee, with a clear note about the circular step. The reader's conditional verdict is fair; I lean more skeptical until the converse is fixed.","headline":"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.","tokens_in":24041,"tokens_out":6396,"would_cite":false,"duration_ms":51469,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T25","20M18","81R50"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two conditions decide when inverse braces solve Yang-Baxter","keywords":["Yang-Baxter equation","set-theoretic solution","inverse brace","weak brace","skew brace","inverse semigroup","matched product","strong semilattice"],"falsifier":"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.","tokens_in":23107,"feed_emoji":"🧩","tokens_out":6072,"duration_ms":57543,"temperature":0.7,"pith_summary":"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.","feed_headline":"Two conditions decide when inverse braces solve Yang-Baxter","feed_subtitle":"Inverse braces generalize weak braces; the natural map solves Yang-Baxter precisely under two idempotent conditions.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Inverse braces: Yang-Baxter solutions hinge on an idempotent condition","Two idempotent conditions determine inverse brace Yang-Baxter solutions","Inverse braces solve Yang-Baxter under two idempotent checks","Inverse braces yield Yang-Baxter solutions under two idempotent conditions","Inverse braces: two idempotent conditions decide Yang-Baxter solvability"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Inverse braces: Yang-Baxter solutions hinge on an idempotent condition","Two idempotent conditions determine inverse brace Yang-Baxter solutions","Inverse braces solve Yang-Baxter under two idempotent checks","Inverse braces yield Yang-Baxter solutions under two idempotent conditions","Inverse braces: two idempotent conditions decide Yang-Baxter solvability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0019,"raw_usage":{"total_tokens":7478,"prompt_tokens":754,"completion_tokens":6724,"prompt_tokens_details":{"cached_tokens":640},"prompt_cache_hit_tokens":640,"prompt_cache_miss_tokens":114,"completion_tokens_details":{"reasoning_tokens":6618}},"tokens_in":114,"tokens_out":6724,"duration_ms":329232,"temperature":1.0,"reasoning_tokens":6618,"cache_read_input_tokens":640,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T21:30:56.817034+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}