{"id":"22c162fc-ba09-4d2f-ad16-b005c922b44f","arxiv_id":"2502.05861","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Weak left braces are characterized by good inverse subsemigroups, Gamma functions and affine structures, and the special classes were shown to be strong semilattices of skew left braces.","lead":"This paper gives three equivalent ways to describe weak left braces, algebraic structures built from two inverse semigroups that solve a degenerate form of the Yang-Baxter equation. It also shows that symmetric, lambda-homomorphic and lambda-anti-homomorphic weak left braces are all dual and decompose as semilattices of ordinary skew left braces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The affine-structure characterization in Theorem 3.20 is not defined on its stated domain: A is only constructed for dual weak left braces, although WB◦ contains non-dual braces, so the advertised bijection is false as stated.","rationale":"The reader's weakest assumption was the imported Lemma 2.4, but the argument does not break there; Lemma 2.4 is a published theorem and is used consistently. The real load-bearing defect is internal to Section 3: Theorem 3.20 asserts a bijection whose inverse map A is only defined in Proposition 3.19 under the dual-brace hypothesis, while the theorem's own domain includes non-dual braces. The paper's Example 3.15 explicitly produces such a non-dual brace, and the concrete check shows the only formula given for A fails the affine axioms there. This is stronger than the unproved Proposition 4.9: it is not merely a skipped proof but an ill-defined central map and a false statement as written. I recommend rejection of the current version, not because the other characterizations are hopeless, but because the advertised affine-structure equivalence requires substantial revision, either by restricting to dual weak left braces or by supplying and proving a new A for the non-dual case. The reader's verdict of CONDITIONAL is directionally reasonable but for a different and less severe reason.","tokens_in":22512,"tokens_out":25634,"duration_ms":252102,"concrete_test":"Take the non-dual weak left brace in Example 3.15: S={0,e,f,a,b}, additive table the Clifford semilattice with a+a=e, b+b=f, a+b=b+a=0, and multiplicative table the Brandt semigroup ◦2. Compute the proposed inverse from Proposition 3.19 as a⋄b=a^{-1}(a+b), where a^{-1} is taken in the Brandt semigroup. One obtains a⋄a=b, b⋄b=a, a⋄b=b⋄a=0. Then check axiom (A1): with x=a,y=b,c=a, (xy)⋄c=0⋄a=0, while y⋄(x⋄c)=b⋄(a⋄a)=b⋄b=a. The failure confirms that the only A supplied in the paper is not a map from WB◦ to AS. A successful fix must either define a genuinely new A for non-dual weak left braces or restrict Theorem 3.20 to dual weak left braces, i.e. to Clifford (S,·).","verdict_should_be":"REJECT","load_bearing_attack":"The paper's advertised affine-structure characterization is not valid as stated. Theorem 3.20 claims mutually inverse bijections A and B between all weak left braces (S,+,·) on an inverse semigroup (S,·) and affine structures on (S,·). But the inverse map A is defined only in Proposition 3.19, and Proposition 3.19 assumes throughout that (S,+,·) is a dual weak left brace. The domain WB◦ of Theorem 3.20 is larger: Proposition 3.18(1) says B(⋄) is non-dual whenever (S,·) is not Clifford, and the paper's own Example 3.15 gives such a brace on the Brandt semigroup. The proof of Theorem 3.20 then invokes (3.14), which was derived under the dual hypothesis; in the non-dual case the identity a^{-1}(a+b)=λ_{a^{-1}}(b) fails because a^{-1}a need not equal a0. For the Example 3.15 brace, a^{-1}a=f while a0=e. Using the formula a⋄b=a^{-1}(a+b) gives a⋄a=b, b⋄b=a, a⋄b=b⋄a=0; this is not an affine structure, since (A1) fails: with x=a,y=b,c=a, (xy)⋄c=0 but y⋄(x⋄c)=a. Thus A is not even defined on the claimed domain, and the headline bijection is false as written.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies weak left braces, generalizations of skew left braces where the additive and multiplicative structures are inverse semigroups rather than groups. It proposes three characterizations: good inverse subsemigroups of the semidirect product End(S,+)⋊(S,+), Gamma functions on Clifford semigroups, and affine structures on inverse semigroups. The first two are developed through mutually inverse bijections in Propositions 3.7 and 3.13, combined in Theorem 3.14. The third is claimed in Theorem 3.20 as a bijection between all weak left braces on an inverse semigroup (S,·) and affine structures on (S,·). Section 4 introduces symmetric, λ-homomorphic and λ-anti-homomorphic weak left braces and asserts, via Proposition 4.9, that these are exactly strong semilattices of the corresponding skew left braces, with Proposition 4.10 concluding that symmetric weak left braces are precisely λ-anti-homomorphic ones.","tokens_in":22842,"tokens_out":11091,"duration_ms":105805,"significance":"The semigroup-theoretic dictionary for weak left braces is a natural extension of classical results for skew left braces, and the detailed proofs of Propositions 3.7 and 3.13, together with the worked Example 3.15, are valuable and appear correct. If the affine-structure characterization and the structural description of Section 4 were established, the paper would provide a useful toolkit for constructing and classifying weak left braces. However, Theorem 3.20 is not valid as stated because the map A is only defined for dual weak left braces while the claimed domain contains non-dual braces, and Proposition 4.9, on which the Section 4 conclusions rest, is stated without proof. These are load-bearing gaps that require substantive repair.","major_comments":[{"comment":"Theorem 3.20 is not valid as stated. The map A is defined in Proposition 3.19 only for dual weak left braces, yet WB◦ in Theorem 3.20 consists of all weak left braces with multiplicative semigroup (S,·). Non-dual weak left braces exist on inverse semigroups: Example 3.15 constructs a non-dual weak left brace (S,+,◦2) whose multiplicative semigroup is the Brandt semigroup B2. Therefore A is not defined on the claimed domain. Moreover, Example 3.21 concludes that the Brandt semigroup admits exactly one weak left brace, contradicting Example 3.15; the enumeration in Example 3.21 implicitly uses the particular Clifford addition of Table 1 rather than deriving the addition from the affine structure. The proof of Theorem 3.20 also invokes identity (3.14), which was derived under the dual hypothesis in Proposition 3.19. The theorem can be repaired by restricting to dual weak left braces, but as written the affine-structure characterization is false.","section":"Theorem 3.20, Proposition 3.19, Example 3.15"},{"comment":"Proposition 4.9 is the central structural result of Section 4, asserting that symmetric, λ-homomorphic and λ-anti-homomorphic weak left braces are exactly strong semilattices of the corresponding skew left braces. It is stated with the sentence 'it is not hard to prove' and no proof is given. Since this proposition is used to derive Proposition 4.10, the latter is unsupported. A full proof, or at least a detailed verification that the strong semilattice construction preserves each of the three properties and that the converse decomposes each such brace into its maximal subgroups, is required.","section":"Proposition 4.9 and Lemma 4.8"},{"comment":"The proof of Proposition 4.7, which establishes that every λ-anti-homomorphic weak left brace is dual, contains an unannotated and non-obvious algebraic step: after the display 'This implies that', the expression x^{-1}(x+(-x+xx)x) is replaced by x^{-1}(x-x)xx(x+(-x)x), and then by x^{-1}xx^{-1}xx(x+(-x)x). No cited identity from Lemma 2.3 or Lemma 2.4 justifies these replacements. As written, this step is not verifiable and needs to be expanded or corrected.","section":"Proposition 4.7"}],"minor_comments":[{"comment":"There are several typos: 'ceratin' in the Abstract, 'subsemiroups' in the Section 2 heading, 'affine stricture' in Proposition 3.19, and 'an λ-anti-homomorphism' in Definition 4.5.","section":"Throughout"},{"comment":"The displayed definition of λ_x should read λ_x(y) = -x + xy; the current 'x ↦ -x+xy' uses x for both the parameter and the variable. Also, 'λ : (S,·) → End(S,+), λ ↦ λ_x' should be 'x ↦ λ_x'.","section":"Proposition 3.1"},{"comment":"Axiom (A1) is written with quantifiers 'For all a ∈ S and e ∈ E(S,·)' but the formula involves b and c; the full quantification should be stated, for example 'for all a,b,c ∈ S'.","section":"Definition 3.16"},{"comment":"The phrase 'all affine structures on (S,+)' should be 'on (S,·)'. Also, the discussion refers to Table 1 from Example 3.15 before the addition in Example 3.21 has been determined; this contributes to the erroneous uniqueness claim.","section":"Example 3.21"},{"comment":"In the last paragraph, the semidirect product is sometimes written End(S,+)×(S,+); the notation End(S,+)⋊(S,+) should be used consistently.","section":"Proposition 3.7"}],"recommendation":"major_revision","confidential_remarks":"The core dictionary for good inverse subsemigroups and Gamma functions appears sound and is a genuine contribution. The affine-structure theorem is overstated: it should be restricted to dual weak left braces, and Example 3.21 must be reconciled with Example 3.15. Section 4 needs a real proof of Proposition 4.9 and a careful rewrite of the proof of Proposition 4.7. The paper is salvageable with these revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things before anything else. The Gamma-function and subsemigroup characterizations are a genuine extension from skew left braces to weak left braces: the bijections in Propositions 3.7 and 3.13 are proved in detail, the Clifford-semigroup bookkeeping is careful, and Example 3.15 is a real worked test. The citation pattern is clean; the main external dependency, Catino et al.'s lemma that the additive semigroup is Clifford, is explicit and not circular.\n\nThe affine-structure half does not hold up as stated. Theorem 3.20 claims bijections between all weak left braces on an inverse semigroup and affine structures. But the inverse map A(S) is constructed in Proposition 3.19 only for dual weak left braces. The domain WB◦ contains non-dual braces; Example 3.15/3.21 is exactly such a brace on the Brandt semigroup. If you apply the proposed formula a⋄b = a^{-1}(a+b) to that brace, A1 fails: with a,b as in the example, (ab)⋄a = 0 but b⋄(a⋄a) = a. So A is not defined on the claimed domain, and the theorem is false as written. This is a load-bearing error in the affine characterization, not a typo. It can probably be fixed by restricting the statement to dual weak left braces or by finding another construction for the non-dual case, but that is real work.\n\nSection 4 has a second gap. The claim that symmetric, λ-homomorphic and λ-anti-homomorphic weak left braces are exactly strong semilattices of the corresponding skew left braces appears as Proposition 4.9 with no proof. It is load-bearing for Proposition 4.10. The supporting propositions showing these classes are dual look plausible, and Proposition 4.7 is terse but I did not find an error; still, 4.9 needs a full proof.\n\nNet: for anyone constructing weak left braces from Clifford semigroups, the Gamma-function dictionary is worth having and is probably correct. The affine theorem should not be cited as it stands, and the classification of the special classes is incomplete. I would send this to a serious referee rather than desk-reject, because the correct core is substantial and the flaws are identifiable and fixable, but I would not accept it without a corrected affine statement and a proof of 4.9.","headline":"The Gamma-function dictionary is a real extension to weak left braces, but the affine-structure bijection is false as stated and the semilattice classification is missing its proof.","tokens_in":23313,"tokens_out":10221,"would_cite":true,"duration_ms":103522,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20M18","16T25","16Y99"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weak left braces have three equivalent descriptions: good inverse subsemigroups, Gamma functions, and affine structures.","keywords":["weak left brace","inverse semigroup","Clifford semigroup","Gamma function","affine structure","Yang-Baxter equation","strong semilattice","skew left brace"],"falsifier":"Find a triple $(S,+,\\cdot)$ satisfying the weak left brace axioms $x(y+z) = xy - x + xz$ and $xx^{-1} = -x + x$ for which $(S,+)$ is an inverse semigroup but not Clifford---equivalently, with a non-central idempotent. Such a triple would contradict the imported lemma that every weak left brace has Clifford addition and would invalidate the three-way characterizations; a computer search over small inverse semigroups could look for one.","tokens_in":22324,"feed_emoji":"🧮","tokens_out":19726,"duration_ms":157892,"temperature":0.7,"pith_summary":"Weak left braces generalize skew left braces by allowing both operations to be inverse semigroups rather than groups; they were introduced to produce special degenerate set-theoretic solutions of the Yang-Baxter equation. The paper's central assertion is that these structures have complete dictionary-style descriptions. On a fixed Clifford semigroup $(S,+)$ (an inverse semigroup whose idempotents are central), weak left brace multiplications $\\circ$ are in one-to-one correspondence with good inverse subsemigroups of the semidirect product $\\mathrm{End}(S,+) \\rtimes (S,+)$ and with Gamma functions $\\gamma \\colon S \\to \\mathrm{End}(S,+)$; dual weak left braces correspond to the Clifford-semigroup and dual-Gamma-function versions. On a fixed inverse semigroup $(S,\\cdot)$, weak left brace additions $+$ correspond exactly to affine structures $\\diamond$, with the construction $x+y = x(x \\diamond y)$. Finally, symmetric, $\\lambda$-homomorphic, and $\\lambda$-anti-homomorphic weak left braces are all dual, are exactly strong semilattices of the corresponding skew left braces, and symmetric coincides with $\\lambda$-anti-homomorphic.","feed_headline":"Weak left braces get three equivalent descriptions","feed_subtitle":"A fixed Clifford semigroup's weak braces correspond to two algebraic objects; inverse semigroups get affine structures.","key_machinery":"The object that carries the argument is the left translation map $\\lambda_a(y) = -a + ay$ attached to each element of a weak left brace; it is always an endomorphism of the additive semigroup. These maps organize into the semidirect product $\\mathrm{End}(S,+) \\rtimes (S,+)$ with multiplication $(f,x)(g,y) = (fg, x + f(y))$, whose 'good' inverse subsemigroups---those projecting bijectively onto $S$ and satisfying closure conditions (G2)--(G4)---encode the whole brace via $a \\circ b = a + f(b)$. The equivalent Gamma-function encoding is a map $\\gamma \\colon S \\to \\mathrm{End}(S,+)$ satisfying (F1)--(F4), with $x \\circ y = x + \\gamma_x(y)$; the affine-structure encoding is a binary operation $\\diamond$ on an inverse semigroup satisfying (A1)--(A3), with $x + y = x(x \\diamond y)$. The mutually inverse construction maps among these three data are the machinery that proves the characterizations.","core_discovery":"The paper establishes mutually inverse bijections. For a Clifford semigroup $(S,+)$, the map $\\mathcal{S}$ sending a weak left brace $(S,+,\\cdot)$ to $\\mathcal{S}(S) = \\{(\\lambda_a,a) \\mid a \\in S\\}$, with $\\lambda_a(y) = -a + ay$, and the inverse map $\\mathcal{B}$ sending a good inverse subsemigroup $H$ of $\\mathrm{End}(S,+) \\rtimes (S,+)$ to the brace with $a \\circ b = a + f(b)$, where $(\\pi_2|_H)^{-1}(a) = (f,a)$, are bijections between weak left braces and good inverse subsemigroups; using Clifford subsemigroups gives dual weak left braces. The same class of braces is parameterized by Gamma functions $\\gamma$ satisfying (F1)--(F4), with $x \\circ y = x + \\gamma_x(y)$, and dual Gamma functions give dual weak left braces. On the multiplicative side, an affine structure $\\diamond$ on an inverse semigroup $(S,\\cdot)$---conditions (A1)--(A3)---yields a weak left brace via $x+y = x(x\\diamond y)$, and the correspondence is bijective, with $a \\diamond b = \\lambda_{a^{-1}}(b)$ as the inverse. Finally, the paper proves that symmetric, $\\lambda$-homomorphic, and $\\lambda$-anti-homomorphic weak left braces are all dual weak left braces and exactly strong semilattices of symmetric, $\\lambda$-homomorphic, and $\\lambda$-anti-homomorphic skew left braces, respectively, and that symmetric weak left braces are precisely $\\lambda$-anti-homomorphic ones.","pith_inferences":["The equivalence suggests a practical enumeration algorithm for finite weak left braces: enumerate Clifford semigroups, then solve the good-subsemigroup or Gamma-function conditions; the paper's five-element example demonstrates the steps for one semigroup, and scaling it up would test the dictionary's usefulness.","Because affine structures on inverse semigroups are in bijection with weak left braces, methods for computing affine structures on groups could be ported to inverse semigroups to generate new degenerate set-theoretic Yang-Baxter solutions directly, without first writing down the brace.","The coincidence symmetric = $\\lambda$-anti-homomorphic, proved here through semilattice decomposition, suggests that a degenerate Yang-Baxter solution induced by a symmetric weak left brace is exactly one whose associated map $\\lambda$ is an anti-homomorphism; checking this condition solution-by-solution would be a concrete test.","An open direction the paper does not pursue is whether the good-subsemigroup and Gamma-function bijections survive under weaker assumptions than Clifford, and whether the affine-structure side has analogues for dual weak left braces beyond the Clifford case."],"forward_implications":["Classification of weak left braces on a Clifford semigroup reduces to classifying its endomorphisms and solving finite systems of equations; Example 3.15 carries this out for a five-element semigroup and finds exactly two braces.","Dual weak left braces are exactly the Clifford-subsemigroup and dual-Gamma-function cases, so the parameterization separates the dual and non-dual worlds cleanly.","For a fixed inverse semigroup, all possible weak left brace additions are precisely affine structures; when the multiplicative semigroup is a group, this recovers the skew left brace case.","Every symmetric, $\\lambda$-homomorphic, or $\\lambda$-anti-homomorphic weak left brace is a strong semilattice of skew left braces of the same type, so no such brace mixes different special types across its semilattice components.","Symmetric weak left braces and $\\lambda$-anti-homomorphic weak left braces are the same class, matching the known coincidence for skew left braces."],"supporting_citations":[{"why":"Introduces weak left braces and proves that their additive semigroup is Clifford, the foundational lemma for all three characterizations.","marker":"[6]"},{"why":"Supplies the strong-semilattice construction of dual weak left braces used in Proposition 4.9 and the Clifford-semigroup lemma used alongside [6].","marker":"[8]"},{"why":"Provides the inverse-semigroup and Clifford-semigroup background facts (Lemmas 2.1--2.3) used throughout the paper.","marker":"[14]"},{"why":"Introduced skew left braces and the regular-subgroup-of-holomorph viewpoint that the good-subsemigroup characterization generalizes.","marker":"[13]"},{"why":"Introduced Gamma functions on groups, the model for the Gamma functions on Clifford semigroups defined here.","marker":"[4]"},{"why":"Characterized left braces by affine structures on groups, the pattern extended here to affine structures on inverse semigroups.","marker":"[18]"},{"why":"Characterized left semi-braces by semi-affine structures, another template for the affine-structure characterization.","marker":"[20]"},{"why":"Introduced $\\lambda$-homomorphic skew left braces, whose definition the paper extends to weak left braces.","marker":"[1]"},{"why":"Shows for skew left braces that symmetric and $\\lambda$-anti-homomorphic coincide, the group-level fact behind Proposition 4.10.","marker":"[2]"}],"fun_headline_variants":["Weak left braces get three new algebraic descriptions","Three equivalent views of weak left braces","Weak left braces linked to semigroups and gamma functions","Characterizing weak left braces via inverse semigroups"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole dictionary rests on the imported lemma that the additive semigroup $(S,+)$ of every weak left brace is a Clifford semigroup---an inverse semigroup whose idempotents are central; if a weak left brace with a non-Clifford additive semigroup existed, the three-way equivalence would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Weak left braces get three new algebraic descriptions","Three equivalent views of weak left braces","Weak left braces linked to semigroups and gamma functions","Characterizing weak left braces via inverse semigroups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000251,"raw_usage":{"total_tokens":1591,"prompt_tokens":1016,"completion_tokens":575,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":632,"completion_tokens_details":{"reasoning_tokens":516}},"tokens_in":632,"tokens_out":575,"duration_ms":5861,"temperature":1.0,"reasoning_tokens":516,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T17:38:52.843414+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a triple $(S,+,\\cdot)$ satisfying the weak left brace axioms $x(y+z) = xy - x + xz$ and $xx^{-1} = -x + x$ for which $(S,+)$ is an inverse semigroup but not Clifford---equivalently, with a non-central idempotent. Such a triple would contradict the imported lemma that every weak left brace has Clifford addition and would invalidate the three-way characterizations; a computer search over small inverse semigroups could look for one.","supporting_citations":[{"cited_title":"Catino, M","cited_arxiv_id":null,"evidence_quote":"Introduces weak left braces and proves that their additive semigroup is Clifford, the foundational lemma for all three characterizations."},{"cited_title":"Catino, M","cited_arxiv_id":null,"evidence_quote":"Supplies the strong-semilattice construction of dual weak left braces used in Proposition 4.9 and the Clifford-semigroup lemma used alongside [6]."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the inverse-semigroup and Clifford-semigroup background facts (Lemmas 2.1--2.3) used throughout the paper."},{"cited_title":"Guarnieri, L","cited_arxiv_id":null,"evidence_quote":"Introduced skew left braces and the regular-subgroup-of-holomorph viewpoint that the good-subsemigroup characterization generalizes."},{"cited_title":"Campedel, A","cited_arxiv_id":null,"evidence_quote":"Introduced Gamma functions on groups, the model for the Gamma functions on Clifford semigroups defined here."},{"cited_title":"Rump, Construction of finite braces, Ann","cited_arxiv_id":null,"evidence_quote":"Characterized left braces by affine structures on groups, the pattern extended here to affine structures on inverse semigroups."},{"cited_title":"Stefanelli, Semi-affine structures on groups and semi-brace s, J","cited_arxiv_id":null,"evidence_quote":"Characterized left semi-braces by semi-affine structures, another template for the affine-structure characterization."},{"cited_title":"Bardakov, M","cited_arxiv_id":null,"evidence_quote":"Introduced $\\lambda$-homomorphic skew left braces, whose definition the paper extends to weak left braces."},{"cited_title":"Bardakov, M","cited_arxiv_id":null,"evidence_quote":"Shows for skew left braces that symmetric and $\\lambda$-anti-homomorphic coincide, the group-level fact behind Proposition 4.10."}],"review_version":1}