{"id":"d20bd39c-d731-4e96-aebb-1d555280168e","arxiv_id":"2506.10266","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For quasi-symmetric 2-designs with intersection numbers 0 and y between 2 and 10, the socle of any flag-transitive point-primitive automorphism group cannot be an exceptional group of Lie type.","lead":"This paper proves that exceptional groups of Lie type cannot appear as the socle of a flag-transitive point-primitive automorphism group of a quasi-symmetric 2-design with block intersection numbers 0 and 2 to 10. It advances the classification of such designs by narrowing the remaining candidates to affine-type or almost simple classical groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.8's unproved p-part bound (v-1)_p ≤ 2q is load-bearing: it drives the uniform parabolic elimination, and neither proof nor citation is given.","rationale":"The reader's weakest assumption is exactly the p-part bound in Lemma 3.8, and my stress-test confirms this is the load-bearing step: it converts the general divisibility from Lemma 2.2(iii) and the inequality from Lemma 2.3(v) into the concrete bound (3.8) that rules out parabolic stabilizers. No other argument in Section 3.3 handles the parabolic cases uniformly. The issue is not a disagreement with consensus but a missing justification in the proof; a repair is plausible by proving the bound case-by-case from the standard parabolic index formulas. Therefore the appropriate verdict remains conditional, with the condition that the p-part bound be proved or the affected parabolic families be handled explicitly.","tokens_in":12212,"tokens_out":37908,"duration_ms":394120,"concrete_test":"Using the standard parabolic order formulas (e.g., [18, Table 5.1.B] or the relevant maximal-subgroup tables), compute v=|X|/|P| for every maximal parabolic subgroup P of the exceptional groups appearing in Lemma 3.8 (all except ^2B2, ^2G2, and E6), and compute the p-adic valuation of v-1. For each case verify whether (v-1)_p ≤ 2q; for example, for X=F4(q) the index formulas (q^4+1)(q^12-1), (q^3+1)(q^6+q^4+q^2+1)(q^12-1), and the remaining middle parabolic give p-parts at most 2, and the analogous formulas for E7 and E8 parabolics should be checked in the same way. If every case passes, the bound can be supplied as a lemma; if any fails, Lemma 3.8's uniform elimination is unsound.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Lemma 3.8 asserts without proof or citation that `(v-1)_p ≤ 2q for all parabolic subgroups` (with equality only when q=2^f) and uses it in inequality (3.8) to conclude v ≤ 72 q^2. This is the step that eliminates every parabolic point stabilizer outside the cases handled in Lemmas 3.6-3.7 and the E6 discussion. Without this bound, Lemma 2.2(iii) only yields r/(r,λ) | (v-1,d), and the chain v ≤ 18·(v-1,d)^2 cannot be converted into the q-dependent numerical inequality used for the exclusion. A spot check of standard parabolics (for example, G2(q) gives (v-1)_p = q, and F4(q) P1 gives (v-1)_p = 1 for odd q) suggests the bound is plausible in some cases, but the assertion is stated for all parabolic subgroups of all non-excluded exceptional groups, including F4, E7, E8, 3D4, and 2F4, and no argument is supplied. If any of these has (v-1)_p > 2q, then inequality (3.8) fails for that family and the claimed exclusion of parabolic stabilizers is not established. This is the weakest link in the chain leading to Theorem 1.1.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Theorem 1.1: no non-trivial quasi-symmetric 2-design with block intersection numbers x=0 and 2≤y≤10 admits a flag-transitive, point-primitive automorphism group whose socle is a finite simple exceptional group of Lie type. The proof combines the author's earlier reduction to affine or almost simple groups [26], the classification of large maximal subgroups of almost simple exceptional groups (Lemma 2.5, based on [3]), and a case-by-case argument using the arithmetic conditions of Lemmas 2.2 and 2.3, supplemented by extensive Magma computations for gcd bounds and parameter searches.","tokens_in":12560,"tokens_out":13165,"duration_ms":143059,"significance":"If the proof is completed and the computations are made fully verifiable, the result is a meaningful step in the programme of classifying flag-transitive point-primitive quasi-symmetric designs: together with [26], it leaves only classical socles open. The overall strategy is standard and the negative conclusion is plausible. The paper's value is contingent on the missing justifications described below, because the current text does not allow a reader to verify critical bounds or the claimed computational exclusions.","major_comments":[{"comment":"The assertion that (v−1)_p ≤ 2q for all parabolic subgroups (with equality only when q=2^f) is stated without proof or citation. This bound is load-bearing: it is the only step that converts Lemma 2.2(iii) and Lemma 2.3(v) into inequality (3.8), v ≤ 72q^2, which eliminates every parabolic stabilizer for X≠E6(q). Without this bound, v ≤ 18·(v−1,d)^2 is not enough to rule out these families. Please supply a proof or a precise reference for this p-part bound, and give the resulting small-q verification explicitly for each family.","section":"Section 3.3, Lemma 3.8"},{"comment":"The many 'computation in Magma shows' claims are not reproducible. For example, in Lemma 3.4 the claims that inequality (3.7) holds only for a few small q and that all remaining candidate pairs are then excluded are not accompanied by any table, script, or list of surviving q values; Lemma 3.8 refers to 'the final computation process in Lemma 3.4' without giving that process. Please provide the Magma code (or an equivalent exhaustive description) and the exact output used for each case, including the gcd bounds, the small q values, and the parameter search results.","section":"Section 3.1 and Lemmas 3.4, 3.8"},{"comment":"The treatment of E6(q) parabolic stabilizers is incomplete. The paragraph handles P1, P3, and P2/P4 only under the assumption that G contains a graph automorphism; it does not mention P5 and P6, nor the possibility that G has no graph automorphism and H∩X is P2 or P4. Since P6 and P5 are not conjugate to P1 and P2 in the absence of a graph automorphism, these subcases need a separate argument. The P3 case is dismissed with 'we omit the details'; this should be written out or the computation provided.","section":"Section 3.3, Lemma 3.8, E6 paragraph"},{"comment":"The divisibility claims for r/(r,λ) are not fully justified. The subdegrees of Ω(7,q) are quoted as 'q^6−1, 1/2 q^2(q^3−ε) and 1/2(q−3) times q^2(q^3−ε)', where the third expression appears garbled and the notation is ambiguous. More importantly, the argument that r/(r,λ) divides 1/2(q^3−ε) for q odd needs to explain explicitly which subdegree is coprime to v−1 and how the divisibility of r/(r,λ) by (v−1,d) is applied. Please rewrite this step cleanly.","section":"Section 3.2, Lemma 3.5"}],"minor_comments":[{"comment":"In the a=9 case, the displayed expression 'r= q2m/9' should be 'r= q^3 m/9' (the cube on q is missing).","section":"Section 3.3, Lemma 3.7"},{"comment":"The text 'G 2(2) is not a simple group' contains a typo; it should read 'G2(2)'.","section":"Section 3.1, Example 3.3"},{"comment":"Reference [11] lists the title with 'E 4(q)'; this should presumably be 'E6(q)'.","section":"References"},{"comment":"The parenthetical 'with the equality holding only when q=2^f' is unclear because the equality case is not used later; either remove it or explain its role.","section":"Section 3.3, Lemma 3.8"},{"comment":"The expression '1/2(q−3) times q^2(q^3−ε)' should be written unambiguously as a single subdegree, for example (q−3)q^2(q^3−ε)/2, and the integrality conditions should be stated.","section":"Section 3.2, Lemma 3.5"},{"comment":"Lemma 2.7 is cited to [24, 3.9]; since [24] is a paper on overgroups of irreducible subgroups of classical groups, please verify that this is the correct source and state the lemma precisely as used.","section":"Section 2.2, Lemma 2.7"}],"recommendation":"major_revision","confidential_remarks":"The paper is a single-author continuation of [26], and the central claim about exceptional socles is new. The main risk is verifiability: the proof relies on several opaque Magma claims and on an unproved p-part bound. If the author can supply a short proof of the (v−1)_p ≤ 2q bound and a complete, reproducible computational appendix, the result would be a solid contribution to the classification programme. The manuscript in its current form is not yet suitable for publication in a journal that does not accept unverifiable computational assertions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jianbing Lu's paper excludes exceptional simple groups of Lie type as socles of flag-transitive point-primitive quasi-symmetric 2-designs with intersection numbers 0 and y between 2 and 10. That is a real step forward: his earlier paper [26] explicitly left these socles open, and this closes that family, leaving only affine and almost simple classical groups. The strategy is sound: combine the dichotomy from [26], the classification of large maximal subgroups from [3], and then use divisibility conditions (Lemmas 2.2–2.3) to bound the parameter space. The suborbit analysis for G2(q) with A2^±(q) in Lemma 3.5 is careful and convincing, and I appreciate that the author shows the actual Magma computation for one case (Example 3.2) so the method is transparent.\n\nThe soft spots are real but localized. The biggest is Lemma 3.8, where the proof asserts without argument that (v−1)_p ≤ 2q for every parabolic subgroup of every non-excluded exceptional group, and uses that to get the key inequality v ≤ 72q^2. That bound is load-bearing: without it, the chain in (3.8) collapses and the parabolic families are not eliminated. I checked a couple of parabolics myself; the bound happens to hold there, but it is stated for all of F4, E7, E8, 3D4, and 2F4, and no proof or citation is provided. A referee should demand a proof or a reference for this bound, or a case-by-case verification with code.\n\nThe second concern is the reliance on Magma without shipping code or tables. The paper says 'computation shows' frequently, and while Example 3.2 provides a template, many claims such as 'this inequality holds only for q≤9' and 'we can eliminate this case' are not independently checkable from the text. This is not a fatal flaw, but it makes verification hard. Finally, a few subcases are dismissed with 'we omit the details' (e.g., E6(q) with P3). That's acceptable in a paper of this type if the omitted details are truly mechanical, but the referee should ask for a supplement or for those cases to be worked out.\n\nOverall, the mathematical core is plausible and the result is new. The paper deserves a serious referee, but the referee should require justification of Lemma 3.8 and reproducible computations before publication. If those are supplied, I'd be happy to see this in Discrete Math or similar; as is, it's a conditional accept.","headline":"Real new step on excluding exceptional socles, but the parabolic elimination rests on an unproved p-part bound that the referee must pin down.","tokens_in":13001,"tokens_out":2105,"would_cite":true,"duration_ms":23714,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05B05","20B15","20B25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that no finite simple exceptional group of Lie type can occur as the socle of a flag-transitive point-primitive automorphism group of a non-trivial quasi-symmetric 2-design whose two block intersection numbers are 0 and…","keywords":["quasi-symmetric 2-design","flag-transitive","point-primitive","automorphism group","exceptional group of Lie type","block intersection numbers"],"falsifier":"Find one non-trivial quasi-symmetric $2$-design with block intersection numbers $x=0$ and $2 \\le y \\le 10$ admitting a flag-transitive point-primitive automorphism group whose socle is a finite simple exceptional group of Lie type. Short of a full design, a direct computation of $(v-1)_p$ for the maximal parabolic subgroups of a small exceptional group such as $G_2(q)$, ${}^3D_4(q)$, or $F_4(q)$ that yields a value larger than $2q$ would show the key bound in Lemma 3.8 to be false, reopening the parabolic cases.","tokens_in":12039,"feed_emoji":"📐","tokens_out":15030,"duration_ms":127747,"temperature":0.7,"pith_summary":"Quasi-symmetric $2$-designs are incidence structures in which every pair of points lies in the same number $\\lambda$ of blocks and any two blocks meet in one of two fixed numbers; the paper treats the case where those numbers are $0$ and some $y$ between $2$ and $10$. The main theorem states that if such a design is non-trivial and admits an automorphism group that is both flag-transitive and point-primitive, then the socle (the simple group generated by the minimal normal subgroups) of that group cannot be a finite simple exceptional group of Lie type. This matters because a prior reduction had shown such groups must be affine or almost simple, so the theorem removes one entire family from the classification search. With earlier companion results, the only remaining non-classical possibilities are two sporadic designs, one with automorphism group $M_{11}$ and one with $M_{22}$ or $M_{22}{:}2$. For the slightly wider range $y \\le 10$, the only possible exceptional socle would be ${}^2G_2(q)$ with $q=3^{2n+1}$, realized by a Ree unital.","feed_headline":"Exceptional Lie-type groups ruled out for flag-transitive designs","feed_subtitle":"The exclusion covers quasi-symmetric 2-designs with block intersection numbers 0 and y between 2 and 10.","key_machinery":"The engine of the proof is a pair of arithmetical inequalities connecting group-theoretic divisibility to design parameters. Lemma 2.3(v) gives $(y-1) r^2/\\lambda^2 < v-1 < 2(y-1) r^2/\\lambda^2$, hence $v \\le 2(y-1) r^2/(r,\\lambda)^2$, while Lemma 2.2(ii)-(iii) give $r \\mid \\lambda(v-1, |G_\\alpha|)$ and $r/(r,\\lambda) \\mid (v-1,d)$ for every non-trivial subdegree $d$. These convert the size of the point stabilizer and its subdegrees into hard upper bounds on $v$. For parabolic stabilizers, Lemma 2.7 supplies a unique subdegree that is a power of the defining prime $p$, and the paper uses the bound $(v-1)_p \\le 2q$ for all parabolic subgroups to reach $v \\le 72q^2$. For non-parabolic stabilizers, polynomial gcd computations over the rationals bound $(v-1, |G_\\alpha|)$ by an explicit polynomial $h(q)$, and the same $v$-inequality leaves only finitely many $q$ to test.","core_discovery":"On its own terms, the paper's central claim is Theorem 1.1: for a non-trivial quasi-symmetric $2$-design $\\mathcal{D}$ with block intersection numbers $x=0$ and $2 \\le y \\le 10$, if $G \\le \\mathrm{Aut}(\\mathcal{D})$ is flag-transitive and point-primitive, then the socle of $G$ cannot be a finite simple exceptional group of Lie type. The proof proceeds by showing the point stabilizer $H = G_\\alpha$ is a large maximal subgroup, then invoking the classification of large maximal subgroups of almost simple exceptional groups of Lie type. Non-parabolic candidates are eliminated by combining divisibility relations on the design parameters with polynomial gcd computations that force the number $v$ of points to exceed the bound $v \\le 2(y-1)(r/(r,\\lambda))^2$. Parabolic candidates are eliminated using a unique subdegree that is a power of the defining prime $p$, together with the bound $(v-1)_p \\le 2q$, which yields $v \\le 72q^2$ and then a direct check of the remaining small $q$. As a corollary, if the socle is not classical, only the two listed sporadic designs remain in the $2 \\le y \\le 10$ range, and in the wider $y \\le 10$ range any exceptional socle would force a Ree unital with ${}^2G_2(q)$.","pith_inferences":["A concrete check that could settle the missing Lemma 3.8 bound is to compute the exact $p$-parts $(v-1)_p$ for the maximal parabolic subgroups of each exceptional group; this would either supply the missing proof or identify the families needing separate treatment.","The same inequality chain—Lemma 2.3(v) together with subdegree divisibility—does not use the exceptional Lie-type structure beyond the subgroup and subdegree data, so the computational pattern should transfer to the remaining classical groups once those data are tabulated.","The paper's funneling of all $y \\le 10$ exceptional examples into the Ree unital family suggests that if any exceptional example exists for larger $y$, it would have to appear outside this heavily constrained regime, where the intersection-number bounds weaken."],"forward_implications":["If the theorem is right, the classification of flag-transitive point-primitive quasi-symmetric $2$-designs with $x=0$ and $2 \\le y \\le 10$ is reduced to the classical groups, since the alternating and sporadic socles were already treated in prior work.","As a direct corollary, outside the classical groups the only designs in the $2 \\le y \\le 10$ range are the unique 2-(12,6,5) design with automorphism group $M_{11}$ and the unique 2-(22,6,5) design with $M_{22}$ or $M_{22}{:}2$.","For the larger range $y \\le 10$, any design with an exceptional Lie-type socle must be a Ree unital with socle ${}^2G_2(q)$, $q = 3^{2n+1}$.","The proof supplies explicit polynomial bounds on the number of points $v$ for each candidate stabilizer, for instance $v \\le 72q^2$ for parabolic stabilizers; these bounds can be reused in nearby classification problems."],"supporting_citations":[{"why":"Prior companion paper that reduces flag-transitive point-primitive groups to affine or almost simple type, excludes alternating socles, and classifies sporadic socles; the present proof builds on its lemmas.","marker":"[26]"},{"why":"Classification of the large maximal subgroups of almost simple exceptional groups of Lie type; Lemma 2.5 and Table 1 supply the candidate non-parabolic point stabilizers.","marker":"[3]"},{"why":"Supplies Lemma 2.7, the existence of a unique subdegree that is a power of the defining prime $p$, used to eliminate parabolic stabilizers.","marker":"[24]"},{"why":"Saxl's classification of linear spaces with almost simple flag-transitive automorphism groups; used in Corollary 1.3 and for the $G_2(q)$ subdegree information in Lemma 3.5.","marker":"[35]"},{"why":"Classification of flag-transitive non-symmetric 2-designs with $(r,\\lambda)=1$ and exceptional groups of Lie type; used to rule out the coprime cases in Lemmas 3.6 and 3.7.","marker":"[39]"},{"why":"Supplies Lemma 2.2, the divisibility relations $r \\mid \\lambda(v-1,|G_\\alpha|)$ and $r/(r,\\lambda) \\mid (v-1,d)$ that drive the bounds.","marker":"[40]"},{"why":"Gives the rank-3 permutation action and subdegrees for $E_6(q)$ with parabolic $P_1$, used in the $E_6(q)$ case of Lemma 3.8.","marker":"[23]"},{"why":"Provides the maximal subgroup structures for $F_4(q)$ and $E_6(q)$ used in the non-parabolic computations and Table 1.","marker":"[11]"},{"why":"Provides the order formulae for the finite simple groups of Lie type that the proof uses to write $v=|X|/|X_\\alpha|$ as a polynomial in $q$.","marker":"[18]"}],"fun_headline_variants":["No exceptional Lie-type socles for flag-transitive designs","Exceptional groups out: flag-transitive designs constraint","Socle exclusion: exceptional Lie type forbidden in designs","Flag-transitive designs deny exceptional Lie socles","Quasi-symmetric 2-designs: no exceptional Lie socles"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands on the unproved bound that the $p$-part of $v-1$ is at most $2q$ for every parabolic subgroup of an exceptional group of Lie type; if that bound fails for some parabolic, the derivation of $v \\le 72q^2$—and with it the exclusion of that family—collapses.","fun_headline_variants_meta":{"raw":{"variants":["No exceptional Lie-type socles for flag-transitive designs","Exceptional groups out: flag-transitive designs constraint","Socle exclusion: exceptional Lie type forbidden in designs","Flag-transitive designs deny exceptional Lie socles","Quasi-symmetric 2-designs: no exceptional Lie socles"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000551,"raw_usage":{"total_tokens":2626,"prompt_tokens":942,"completion_tokens":1684,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":558,"completion_tokens_details":{"reasoning_tokens":1607}},"tokens_in":558,"tokens_out":1684,"duration_ms":13988,"temperature":1.0,"reasoning_tokens":1607,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:31:34.247935+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find one non-trivial quasi-symmetric $2$-design with block intersection numbers $x=0$ and $2 \\le y \\le 10$ admitting a flag-transitive point-primitive automorphism group whose socle is a finite simple exceptional group of Lie type. Short of a full design, a direct computation of $(v-1)_p$ for the maximal parabolic subgroups of a small exceptional group such as $G_2(q)$, ${}^3D_4(q)$, or $F_4(q)$ that yields a value larger than $2q$ would show the key bound in Lemma 3.8 to be false, reopening the parabolic cases.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Prior companion paper that reduces flag-transitive point-primitive groups to affine or almost simple type, excludes alternating socles, and classifies sporadic socles; the present proof builds on its lemmas."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classification of the large maximal subgroups of almost simple exceptional groups of Lie type; Lemma 2.5 and Table 1 supply the candidate non-parabolic point stabilizers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2.7, the existence of a unique subdegree that is a power of the defining prime $p$, used to eliminate parabolic stabilizers."},{"cited_title":"Saxl, On finite linear spaces with almost simple flag-transitive automorphism groups,J","cited_arxiv_id":null,"evidence_quote":"Saxl's classification of linear spaces with almost simple flag-transitive automorphism groups; used in Corollary 1.3 and for the $G_2(q)$ subdegree information in Lemma 3.5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classification of flag-transitive non-symmetric 2-designs with $(r,\\lambda)=1$ and exceptional groups of Lie type; used to rule out the coprime cases in Lemmas 3.6 and 3.7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2.2, the divisibility relations $r \\mid \\lambda(v-1,|G_\\alpha|)$ and $r/(r,\\lambda) \\mid (v-1,d)$ that drive the bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the rank-3 permutation action and subdegrees for $E_6(q)$ with parabolic $P_1$, used in the $E_6(q)$ case of Lemma 3.8."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the maximal subgroup structures for $F_4(q)$ and $E_6(q)$ used in the non-parabolic computations and Table 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the order formulae for the finite simple groups of Lie type that the proof uses to write $v=|X|/|X_\\alpha|$ as a polynomial in $q$."}],"review_version":1}