{"id":"491161aa-bb77-44dc-a355-2844ae83eda6","arxiv_id":"2506.12503","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite one-generator skew braces correspond exactly to indecomposable solutions whose q-cycle set is generated by one element, with irreducible solutions matching braces generated by every element.","lead":"This paper studies set-theoretic solutions to the Yang-Baxter equation that are generated by a single element, and links them to one-generator skew braces. It answers an open question from the Smoktunowicz sisters and gives a smaller counterexample family than a construction of Rump.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified to the proof of Theorem 3.5; remaining concerns are cosmetic typos and the missing Section 4.2 GAP script.","rationale":"The reader's verdict is CONDITIONAL, with Lemma 3.2 named as the weakest assumption and the missing GAP script as the reason for conditionality. I agree that Lemma 3.2 is where the main proof is most delicate, but after resolving the notation it is correct. The first inclusion uses the identity a+b = a o lambda_{a^-}(b), valid in any skew brace; because X is a sub-q-cycle set, lambda_{a^-}(b) = a*b is in X. The second inclusion uses a o b = a + lambda_a(b); since sigma_a(y) = lambda_{a^-}(y) is a bijection of the finite set X, its inverse sigma_a^{-1} maps X into X, and lambda_a(y) = sigma_a^{-1}(y), so lambda_a(X) is contained in X. Thus the induction is legitimate. The same inverse-map observation validates the later uses of lambda and delta in Lemma 3.4 and Theorem 3.5; the printed formula for delta_a(b) in the converse direction is inaccurate, but the needed membership statement is an immediate subbrace closure property. I therefore do not see a way for Theorem 3.5 to fail from the arguments supplied. The paper does contain minor presentation issues: Example 1.1's two distinct translation constants do not satisfy (q1)-(q3) as written, and Section 4.2 depends on an unavailable script. These affect examples and reproducibility, not the central theorem. Hence the reader's CONDITIONAL verdict remains appropriate; no adjustment is needed.","tokens_in":15691,"tokens_out":31218,"duration_ms":372433,"concrete_test":"Run a brute-force check of Lemma 3.2 for all sub-q-cycle sets X of the permutation brace of X2 from Section 4.2 (or of a small skew brace with nonabelian additive group): compute the additive subgroup <X>_+ and the multiplicative subgroup <X>_o and compare them. If every X satisfies equality, the sole delicate step of Theorem 3.5 is confirmed; if any X gives <X>_+ != <X>_o, the proof collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After reading the central argument in good faith, I find no load-bearing error in Theorem 3.5. The delicate step is Lemma 3.2, which asserts <X>_+ = <X>_o for a finite sub-q-cycle set X. The displayed proof has notational slips, but the intended identities are sound: for x1,...,xn in X, x1+...+xn = x1 o (lambda_{x1^-}(x2)+...+lambda_{x1^-}(xn)), and each lambda_{x1^-}(xi) = x1*xi lies in X; conversely, x o y = x + lambda_x(y), and lambda_x(y) = sigma_x^{-1}(y) is in X because sigma_x is a bijection of the finite q-cycle set X. Hence both inductions in Lemma 3.2 go through. In the converse direction of Theorem 3.5, the displayed expression for delta_a(b) is also misprinted, but membership in B(x) follows directly from a, b, a^- in B(x) and closure of B(x) under the skew brace operations. The genuine limitation is external rather than mathematical: the enumeration in Section 4.2 uses a GAP script that is not included, so the numerical claims are not independently reproducible from the preprint. That does not touch the central classification theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite one-generator q-cycle sets (equivalently, one-generator set-theoretic solutions of the Yang-Baxter equation) and their relationship with one-generator skew braces. Section 2 develops basic properties of one-generator and irreducible q-cycle sets, including a retraction criterion (Theorem 2.10). Section 3 contains the main result, Theorem 3.5, which characterizes when an indecomposable sub-q-cycle set X of a finite skew brace B satisfies B=B(x) for one or for all x in X. Section 4 applies the theory to involutive solutions, constructs examples of indecomposable non-one-generator cycle sets, and reports GAP computations for cycle sets of small size. The paper answers [36, Question 6.8] affirmatively.","tokens_in":15892,"tokens_out":21941,"duration_ms":240981,"significance":"If Theorem 3.5 is correct, it provides a clean structural bridge between one-generator skew braces and indecomposable set-theoretic solutions, extending earlier work of Rump and of Smoktunowicz and Smoktunowicz. The result is significant because it gives an affirmative answer to an open question and yields a practical criterion (Corollary 4.6) for detecting one-generator braces. The proof is built on previously published structural results (the retraction theorem, dynamical extensions, and the transitivity criterion), and I found no circularity. The main derivation is sound; however, the numerical section is not independently reproducible from the preprint because the GAP script is not included, although this does not affect the central theorem.","major_comments":[{"comment":"The induction in the proof of Lemma 3.2 mixes the maps λ_{x_1^-} and λ_{x_1}. In the first direction one needs λ_{x_1^-}(x_i)=x_1·x_i ∈ X, which is closure of the sub-q-cycle set under the operation ·. In the second direction one needs λ_{x_1}(x_i)=σ_{x_1}^{-1}(x_i) ∈ X, which holds because σ_{x_1} restricts to a bijection of X; this second fact should be stated explicitly, since it is not immediate from closure under the binary operation alone.","section":"§3, Lemma 3.2"},{"comment":"The displayed identity δ_a(b)=λ_{a^-}(-a+b+a) in the proof of Theorem 3.5 is false in general. For the trivial skew brace on a non-abelian additive group, the left side is a+b-a while the right side is -a+b+a, and these need not coincide. The needed conclusion δ_a(b)∈B(x) follows directly from the closure of B(x) under ◦, +, and additive inverses, so the theorem survives, but the incorrect displayed formula should be removed or corrected.","section":"§3, Theorem 3.5"}],"minor_comments":[{"comment":"The text says the GAP code is available upon request, but the preprint does not include the code or the output tables. Please include the script or a detailed table of the enumeration data so that the numerical claims can be checked independently.","section":"§4.2"},{"comment":"In the proof of Theorem 4.5, the wording 'for all x∈B' should read 'for all x∈X'.","section":"§4, Theorem 4.5"},{"comment":"The 'standard computation' verifying σ_a(C_2)=C_2 for all a∈C_2 is left to the reader; at least one representative computation and the symmetry argument should be supplied.","section":"§4, Proposition 4.3"},{"comment":"In the displayed expression for λ_a(b), the indices u and v are interchanged inconsistently; the intended formula is λ_a(b)=λ_{x_1}⋯λ_{x_v}(y_1)+⋯+λ_{x_1}⋯λ_{x_v}(y_u).","section":"§3, Lemma 3.4"},{"comment":"There are several typographical errors, including 'investigating' in the Introduction and 'Smocktunowitcz' before Theorem 4.5; a careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The paper is well within the scope of the journal and the central claim is correct in substance. The main proof has local mistakes that are easily repaired, and the missing GAP script should be supplied in a revised version. I recommend minor revision rather than major revision because no load-bearing error in Theorem 3.5 was identified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, you should know this paper delivers on its title. It defines one-generator q-cycle sets and proves Theorem 3.5, which answers [36, Question 6.8]: for a finite skew brace B with an indecomposable sub-q-cycle set X, the brace is generated by some x in X iff X is a transitive cycle base with <x> = X, and it is generated by every x in X iff X is irreducible. I traced the proof through Lemmas 3.2–3.4. The hinge is Lemma 3.2, <X>_+ = <X>_o; the displayed proof has a notational slip (lambda_x1 where lambda_{x1^-} is intended), but the intended identity is sound and the induction works because X is closed under the lambda-action. The converse direction in Theorem 3.5 is also fine once you correct the misprint in the displayed expression for delta_a(b). So the central theorem holds up.\n\nThe paper also improves the example family: Proposition 4.3 produces indecomposable non-one-generator cycle sets of size n^2, beating Rump's n^4 construction, and Corollary 4.4 translates this into braces. The numerical section is a genuine soft spot: the enumeration counts for sizes 8 and 9, and the examples X1, X2, X3, depend on a GAP script that is only 'available upon request.' That means those numbers cannot be independently reproduced from the preprint. This does not affect the classification theorem, but it should be fixed before publication—include the code or enough detail to rerun the count. The 'standard computation' in Proposition 4.3 is also left to the reader; that is a minor complaint.\n\nThe citation pattern looks honest. The self-citations are to the author's own decomposition theorem and transitivity criterion, both published and used appropriately. I don't see circularity.\n\nWho is this for? Anyone working on the braces–Yang-Baxter dictionary, especially the indecomposable/one-generator interface. It deserves a serious referee; the main result is a real step and correct, and the missing script is not a barrier to reviewing.","headline":"Settles the Smoktunowicz question with a clean characterization; the main proof is correct despite cosmetic typos, and the only real gap is the absent GAP script.","tokens_in":16490,"tokens_out":3309,"would_cite":true,"duration_ms":36948,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16T25","81R50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a finite skew brace is one-generator exactly when it has an indecomposable sub-q-cycle set, a transitive cycle base, that is itself generated by a single element, and that the 'every element generates' version…","keywords":["Yang-Baxter equation","set-theoretic solution","skew brace","one-generator skew brace","indecomposable solution","q-cycle set","irreducible cycle set","transitive cycle base"],"falsifier":"A concrete check is to compute, for every finite skew brace of small order, every sub-q-cycle set $X$ and compare the additive subgroup $\\langle X\\rangle_+$ with the multiplicative subgroup $\\langle X\\rangle_\\circ$; any pair with $\\langle X\\rangle_+ \\neq \\langle X\\rangle_\\circ$ refutes Lemma 3.2 and undermines the proof of Theorem 3.5. Alternatively, find a finite skew brace with a transitive cycle base $X$ containing $x$ such that $\\langle x\\rangle = X$ yet $B(x)$ is a proper sub-brace, contradicting part (1) of the theorem.","tokens_in":15432,"feed_emoji":"🔄","tokens_out":7839,"duration_ms":194833,"temperature":0.7,"pith_summary":"This paper studies finite one-generator solutions to the set-theoretic Yang-Baxter equation and their algebraic counterparts, one-generator skew braces. Its main theorem characterizes when a finite skew brace is generated by a single element in terms of an indecomposable substructure called a transitive cycle base: the element generates the brace exactly when that cycle base is itself generated by the element, and every element generates the brace exactly when the cycle base is irreducible. This settles an open question in the area, and it yields a parallel characterization for involutive solutions. A sympathetic reader should care because it turns a property of braces, generation by one element, into a property of the associated solution, indecomposability plus one-generatedness, which is easier to test and classify.","feed_headline":"A single orbit decides when a skew brace is one-generator","feed_subtitle":"Finite one-generator skew braces are exactly those whose transitive cycle base is itself generated by one element.","key_machinery":"The proof is carried by the notion of one-generator q-cycle sets and by Lemma 3.2, which states that for a finite skew brace and any sub-q-cycle set $X$, the additive subgroup generated by $X$ equals the multiplicative subgroup generated by $X$: $\\langle X\\rangle_+ = \\langle X\\rangle_\\circ$. This lets the author rewrite additive combinations of elements of $X$ as multiplicative words, so that the smallest sub-brace $B(x)$ generated by $x$, described inductively in Proposition 3.1, can be shown to coincide with the multiplicative subgroup generated by the sub-q-cycle set $\\langle x\\rangle$. Proposition 2.3 gives the inductive closure description of $\\langle x\\rangle$, and Proposition 2.6 links irreducibility with generation by each element.","core_discovery":"The central result is Theorem 3.5. For a finite skew brace $B$ and an indecomposable sub-q-cycle set $X$ of its associated q-cycle set: $B = B(x)$ for a given $x \\in X$ holds exactly when $X$ is a transitive cycle base and $X = \\langle x\\rangle$; and $B = B(x)$ for every $x \\in X$ holds exactly when $X$ is a transitive cycle base and $X$ is irreducible. Here $\\langle x\\rangle$ is the smallest sub-q-cycle set containing $x$, and a transitive cycle base is a single orbit of the group generated by the maps $\\lambda_a$ and $\\delta_a$ that also additively, equivalently by Lemma 3.2, multiplicatively generates $B$. The result answers a question from [36] and, specialized to braces and cycle sets, says that an indecomposable involutive solution is irreducible if and only if it is the transitive cycle base of a finite brace generated as a brace by every one of its elements.","pith_inferences":["A testable extension the author leaves implicit is that the same criterion gives a direct algorithm to enumerate transitive cycle bases of a brace and check one-generatedness, so the numerical classification could be extended well beyond size 9.","The equality $\\langle X\\rangle_+ = \\langle X\\rangle_\\circ$ may hold under weaker hypotheses than finiteness, for instance in skew braces where the subgroup generated by $X$ is finitely generated, which would allow an analogue of Theorem 3.5 for infinite skew braces.","Because the characterization is stated in terms of orbits of the maps $\\lambda$ and $\\delta$, it suggests a route to classify one-generator skew braces by first classifying irreducible q-cycle sets, transferring combinatorial classification data into brace theory."],"forward_implications":["Every finite irreducible cycle set arises as a transitive cycle base of a finite brace $B$ with $B = B(x)$ for all $x$ in the base, and conversely.","A finite brace is one-generator if and only if it has a transitive cycle base that is a one-generator cycle set.","There are indecomposable cycle sets of arbitrarily large size, built from a field of characteristic 2, that are not one-generator; any brace admitting one as a transitive cycle base fails to be generated by any element of that base.","A computer search over cycle sets of size below 10 finds exactly two indecomposable cycle sets that are not one-generator, both of size 8, with explicit counts of irreducible and one-generator non-irreducible cycle sets at sizes 8 and 9.","The permutation brace of one of these two exceptional size-8 cycle sets is a 32-element brace that is not one-generator, while the permutation brace of the other shows that a brace can be one-generator even when one of its transitive cycle bases is not."],"supporting_citations":[{"why":"Poses the question answered by Theorem 3.5 and supplies the earlier correspondence between indecomposable cycle sets and one-generator braces that the paper refines.","marker":"[36]"},{"why":"Provides the construction of indecomposable cycle sets that are not one-generator, which the paper adapts to size $n^2$ and uses in Corollary 4.4.","marker":"[33]"},{"why":"Theorem 1.5 of the paper, on epimorphisms of indecomposable q-cycle sets as dynamical extensions, is used in the proof of Theorem 2.10.","marker":"[5]"},{"why":"Contains the earlier version of Lemma 3.3 and the corollary that Theorem 3.5 partially extends.","marker":"[6]"},{"why":"Introduces irreducible q-cycle and cycle sets and the propositions that Corollaries 2.8 and 2.11 extend.","marker":"[12]"},{"why":"Introduced skew braces, the algebraic structures whose q-cycle sets are the subject of the main theorem.","marker":"[21]"},{"why":"Establishes the correspondence between non-degenerate solutions and q-cycle sets that lets the paper work with sub-q-cycle sets.","marker":"[31]"}],"fun_headline_variants":["One orbit yields one-generator skew braces","Indecomposable solutions tie to one-generator braces","Single orbit determines when a skew brace is one-generated","One generator skew braces from a single orbit","Skew brace generation by one element tied to one orbit"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is Lemma 3.2, that in a finite skew brace a sub-q-cycle set generates the same subgroup additively and multiplicatively; if that equality fails, the bridge from additive combinations to multiplicative words in the proof of Theorem 3.5 breaks.","fun_headline_variants_meta":{"raw":{"variants":["One orbit yields one-generator skew braces","Indecomposable solutions tie to one-generator braces","Single orbit determines when a skew brace is one-generated","One generator skew braces from a single orbit","Skew brace generation by one element tied to one orbit"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001275,"raw_usage":{"total_tokens":5164,"prompt_tokens":846,"completion_tokens":4318,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":4244}},"tokens_in":462,"tokens_out":4318,"duration_ms":41995,"temperature":1.0,"reasoning_tokens":4244,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:48:50.325019+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check is to compute, for every finite skew brace of small order, every sub-q-cycle set $X$ and compare the additive subgroup $\\langle X\\rangle_+$ with the multiplicative subgroup $\\langle X\\rangle_\\circ$; any pair with $\\langle X\\rangle_+ \\neq \\langle X\\rangle_\\circ$ refutes Lemma 3.2 and undermines the proof of Theorem 3.5. Alternatively, find a finite skew brace with a transitive cycle base $X$ containing $x$ such that $\\langle x\\rangle = X$ yet $B(x)$ is a proper sub-brace, contradicting part (1) of the theorem.","supporting_citations":[{"cited_title":"Smoktunowicz, A","cited_arxiv_id":null,"evidence_quote":"Poses the question answered by Theorem 3.5 and supplies the earlier correspondence between indecomposable cycle sets and one-generator braces that the paper refines."},{"cited_title":"Studying solutions of the Yang-Baxter equation through skew braces, with an application to indecomposable involutive solutions with abelian permutation group","cited_arxiv_id":"2303.00581","evidence_quote":"Contains the earlier version of Lemma 3.3 and the corollary that Theorem 3.5 partially extends."},{"cited_title":"Endocabling of involutive solutions to the Yang-Baxter equation, with an application to solutions whose diagonal is a cyclic permutation","cited_arxiv_id":"2504.14339","evidence_quote":"Introduces irreducible q-cycle and cycle sets and the propositions that Corollaries 2.8 and 2.11 extend."},{"cited_title":"Rump, A covering theory for non-involutive set-theoretic solutions to the Yang-Baxter equation, J","cited_arxiv_id":null,"evidence_quote":"Establishes the correspondence between non-degenerate solutions and q-cycle sets that lets the paper work with sub-q-cycle sets."}],"review_version":1}