{"id":"90b667de-81f2-4b48-9f09-29fb3ed25bde","arxiv_id":"2607.05067","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Flag-transitive 2-designs with socle PSL(2,q) are completely classified in the imprimitive case and reduced to two infinite families plus 48 sporadics (including a previously missed 2-(496,4,1) linear space) in the primitive case.","lead":"The paper classifies all 2-designs with a flag-transitive automorphism group whose socle is PSL(2,q). It fully settles the imprimitive case (three known designs) and lists 48 sporadic primitive examples plus two infinite families, including a linear space of 496 points that was missing from the classic 1990 list.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the only residual uncertainty—the completeness of the GAP Design runs that populate Table 1—but that uncertainty is non-load-bearing: every candidate parameter set is first reduced by hand to a short explicit list (via subdegree divisibility and r^{2}>\\lambda v), the generators/base blocks are published, and the single historically missing linear space is proved by pure geometry. The imprimitive case is closed by Camina–Zieschang plus the primitive reduction; the infinite families are cleanly isolated. No further soft spot affects the statement of Theorem 1.1.","tokens_in":87329,"tokens_out":483,"duration_ms":11382,"concrete_test":"Independently load the appendix generators for the largest sporadic (Line 44, v=496) into Magma or Sage, recompute the orbit of the given base block under the supplied PΓL(2,2^5), and verify that the resulting incidence structure is a 2-(496,4,1) design with the claimed flag-transitive action; any discrepancy would indicate an enumeration gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central classification (Theorem 1.1) rests on exhaustive case analysis of maximal subgroups of PSL(2,q) (Table 3, from Dickson/Huppert/Bray–Holt–Roney-Dougal) together with subdegree lists (Table 4) and parameter constraints from design equations and flag-transitivity (Lemmas 3.2–3.17). All non-family cases reduce either to Construction 1.2, the three known imprimitive designs (via Camina–Zieschang + maximality of Σ), or to finitely many small-q candidates that are settled by explicit GAP Design searches whose generators and base blocks are supplied in the appendix. The two infinite families are cleanly parameterized and left open only for geometric study; the previously missing 2-(496,4,1) space receives an independent theoretical existence/uniqueness proof (Example 2.1) that does not rely on the computer enumeration. No internal inconsistency, circular citation, or unhandled conjugacy class appears in the reductions.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper classifies 2-(v,k,λ) designs admitting a flag-transitive automorphism group G with socle X ≅ PSL(2,q), q = p^f ≥ 4. Theorem 1.1 completely settles the point-imprimitive case (three known designs) and, in the point-primitive case, reduces the possibilities to Construction 1.2 (point-2-transitive designs on PG(1,q)), the 48 sporadic designs of Table 1, the Witt–Bose–Shrikhande family (1.c), and one further infinite family (1.d). The reductions rest on maximality of X_α (Lemma 3.3), the Dickson/Bray–Holt–Roney-Dougal list of maximal subgroups (Table 3), subdegree tables (Table 4), design-theoretic divisibility constraints (Lemma 3.2), and the Camina–Zieschang factorisation for the imprimitive case (Theorem 4.2). All small-parameter candidates are settled by explicit GAP Design computations whose generators and base blocks appear in the appendix; the previously missing 2-(496,4,1) linear space receives an independent geometric existence/uniqueness proof (Example 2.1).","tokens_in":87539,"tokens_out":874,"duration_ms":6975,"significance":"The result unifies and extends several earlier partial classifications (Delandtsheer, Saxl, Zhang–Zhou, Alavi et al., Montinaro et al.) under a single theorem that imposes no extra constraints on λ or on the point-stabiliser. The recovery of a linear space omitted from the 1990 Buekenhout–Delandtsheer–Doyen–Kleidman–Liebeck–Saxl list is of independent historical interest; the geometric proof of its uniqueness (Example 2.1) is self-contained and does not rely on the computer enumeration. The two infinite families are cleanly parameterised and left open for geometric study, which is an honest and useful division of labour. Publication of generators and base blocks for every sporadic example makes the computer-assisted part fully reproducible.","major_comments":[],"minor_comments":[{"comment":"Throughout the manuscript there are numerous typographical slips (e.g., “point-primtitive”, “Shrirkhande”, “primtive”, “flag-transitvity”). A careful proof-reading pass would remove them.","section":null},{"comment":"In Table 1 the Aut(D) column occasionally lists a group larger than G (e.g., Lines 33, 18). A short remark clarifying whether these are full automorphism groups or merely upper bounds would help the reader.","section":null},{"comment":"The hypertext links promised for Table 1 are not present in the arXiv source; either implement them or replace the sentence by a plain reference to Section 6.","section":null},{"comment":"Lemma 3.2(iii) is used repeatedly; a one-line reminder that the subdegree d must be non-trivial would make the first few applications easier to follow.","section":null},{"comment":"In the statement of Theorem 3.1(3) the parameters contain the factor 3 in both numerator and denominator; a brief parenthetical remark that this forces q ≡ 2 (mod 3) would make the subsequent analysis of that family more transparent.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical, but the logical structure is clean and the computer-assisted parts are fully documented. I see no reason to request further referee reports; the paper is ready for acceptance after the minor typographical corrections."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper finishes a long-running chapter: flag-transitive 2-designs with socle PSL(2,q). The imprimitive case is completely settled (only three known examples survive). In the primitive case they recover Construction 1.2, the Witt–Bose–Shrikhande spaces, two clean infinite families of parameters, and an explicit list of 48 sporadics. One of those is the 2-(496,4,1) linear space with PΓL(2,2^5), which really was missing from Buekenhout–Delandtsheer–Doyen–Kleidman–Liebeck–Saxl; they give both a geometric existence/uniqueness proof and a GAP verification, so the correction is solid.\n\nWhat they do well is the reduction. Maximal subgroups of PSL(2,q) plus the known subdegree tables plus the usual design equations cut the problem down to a finite list of small-q candidates that they settle by computer, with generators and base blocks published in the appendix. Camina–Zieschang is applied cleanly for the imprimitive analysis. The two infinite families are left open for geometric study rather than forced into a premature claim of non-existence; that is honest.\n\nThe soft spot is the usual one for this style of work: the exhaustive GAP Design searches for the sporadics rest on the completeness of the maximal-subgroup and subdegree lists and on the package itself. For q up to a few hundred that is standard and well-checked territory, and they supply enough data that an independent verification is possible. No circularity or load-bearing gap appears. The citation pattern is normal for the area.\n\nThis is for people who work on flag-transitive designs or almost-simple groups acting on geometries. It is a reference classification, not a conceptual breakthrough, but it is carefully executed and corrects the literature. I would send it to referees without hesitation.","headline":"Solid classification that finishes the imprimitive case for PSL(2,q), corrects a real omission in the 1990 linear-space list, and cleanly isolates two infinite families plus 48 sporadics.","tokens_in":88145,"tokens_out":492,"would_cite":true,"duration_ms":9656,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05B05","05B25","20B25"],"pacs":[],"model":"grok-4.5","headline":"Flag-transitive 2-designs with socle PSL(2,q) fall into three imprimitive examples, two infinite families, Construction 1.2, and 48 sporadics, including a previously missed linear space of 496 points.","keywords":["2-design","flag-transitive","PSL(2,q)","point-primitive","point-imprimitive","Witt-Bose-Shrikhande","linear space"],"falsifier":"Exhibit a flag-transitive 2-design with socle PSL(2,q) whose parameters and group action do not match any of the cases of Theorem 1.1, or show that one of the numerical examples in Table 1 fails to be a design under the generators listed in the appendix.","tokens_in":88249,"feed_emoji":"🔢","tokens_out":770,"duration_ms":5918,"temperature":0.7,"pith_summary":"The paper classifies every 2-(v,k,λ) design that admits a flag-transitive automorphism group G whose socle is PSL(2,q) for q≥4. In the point-imprimitive case the classification is complete: only three known designs appear (the complements of PG(3,2) and PG(3,4), and a 2-(36,8,4) design of Devillers–Praeger). In the point-primitive case the designs are either those obtained from Construction 1.2 on the projective line, the classical Witt–Bose–Shrikhande linear spaces of even order, one of two infinite families of parameters whose geometric status remains open, or one of 48 sporadic examples listed in Table 1. One of those sporadics is a linear space on 496 points with block size 4 that admits PΓL(2,2^5) and had been overlooked in the 1990 classification of flag-transitive linear spaces. The result therefore supplies a single exhaustive list that recovers and extends all earlier partial classifications under extra arithmetic constraints on the parameters.","feed_headline":"48 sporadic designs and a missed 496-point linear space","feed_subtitle":"Complete list of flag-transitive 2-designs whose group has socle PSL(2,q)","key_machinery":"The reduction theorem (Theorem 3.1) that forces a point-primitive design to have point-stabilizer one of Dickson’s maximal subgroups of PSL(2,q), combined with the Camina–Zieschang factorization that decomposes a point-imprimitive design into a pair of smaller flag-transitive designs.","core_discovery":"Every 2-(v,k,λ) design admitting a flag-transitive group G with socle PSL(2,q) (q≥4) is one of: three known point-imprimitive designs; a design arising from Construction 1.2 on the projective line; a member of one of the two infinite families of parameters (1.c) or (1.d); the Witt–Bose–Shrikhande spaces; or one of the 48 sporadic designs of Table 1 (among them a previously missing 2-(496,4,1) linear space).","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["48 sporadic designs plus missed 496-point linear space","Flag-transitive 2-designs with socle PSL(2,q) classified","Three imprimitive examples and 48 sporadic designs","Missed 2-(496,4,1) space among 48 point-primitive designs","Witt spaces and 48 sporadics for PSL(2,q) socle groups"],"cache_read_input_tokens":82048,"weakest_assumption_plain":"The completeness of the list of 48 sporadic designs rests on exhaustive computer enumeration of candidate parameter sets via the GAP Design package and the known maximal-subgroup and subdegree tables for PSL(2,q).","fun_headline_variants_meta":{"raw":{"variants":["48 sporadic designs plus missed 496-point linear space","Flag-transitive 2-designs with socle PSL(2,q) classified","Three imprimitive examples and 48 sporadic designs","Missed 2-(496,4,1) space among 48 point-primitive designs","Witt spaces and 48 sporadics for PSL(2,q) socle groups"]},"model":"grok-4.5","effort":"low","cost_usd":0.004266,"raw_usage":{"total_tokens":1309,"prompt_tokens":801,"num_sources_used":0,"completion_tokens":85,"cost_in_usd_ticks":42660000,"prompt_tokens_details":{"text_tokens":801,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":423,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":801,"tokens_out":85,"duration_ms":3301,"temperature":1.0,"reasoning_tokens":423,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T09:18:19.081172+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a flag-transitive 2-design with socle PSL(2,q) whose parameters and group action do not match any of the cases of Theorem 1.1, or show that one of the numerical examples in Table 1 fails to be a design under the generators listed in the appendix.","supporting_citations":[],"review_version":1}