Pith. sign in

REVIEW 2 major objections 4 minor 29 references

Flag-transitive block designs and finite exceptional simple groups of Lie type

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves a classification: every nontrivial 2-design with replication number coprime to lambda and a flag-transitive almost simple automorphism group whose socle is a finite simple exceptional group of Lie type belongs to one of…

desk verdict A genuine classification result for flag-transitive 2-designs with exceptional socle, but the pivotal step rests entirely on an unpublished companion paper and should be refereed with that dependency made explicit. read the letter →

arxiv 1908.05831 v4 pith:URWME4CD submitted 2019-08-16 math.GR math.CO

Seyed Hassan Alavi This is my paper · ORCID
classification math.GRmath.CO MSC 05B0505B2520B25
keywords flag-transitive2-designsblockdesignsalmostsimplegroupsfiniteexceptionalofLietypelargesubgroupsReeSuzuki
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper studies finite designs in which every pair of points lies in exactly $\lambda$ blocks and every block has $k$ points, with the replication number $r$ (blocks through a point) coprime to $\lambda$. A 1988 dichotomy [30] says a flag-transitive automorphism group of such a design is point-primitive of almost simple or affine type; for the almost simple branch, alternating, classical, and sporadic socles had been treated, leaving the finite simple exceptional groups of Lie type open. The paper closes that gap for exceptional socles: the point stabilizer must be a parabolic subgroup, and the design must be one of four explicitly parameterised infinite families, one from the Suzuki groups ${}^2B_2(q)$ and three from the Ree groups ${}^2G_2(q)$, with the Ree unital spaces as the $\lambda=1$ member. Worked base blocks are computed for $q=8$, $32$, and $27$. If the theorem is right, this completes the almost simple case of the classification.

What carries the argument

The engine is the imported list of large maximal subgroups of almost simple exceptional groups, where a subgroup $H$ is large when $|G|\le |H|^3$. Flag-transitivity together with $\gcd(r,\lambda)=1$ gives $r\mid |H|$ and $\lambda v<r^2$, hence $\lambda|G|\le |H|^3$, so the maximal point stabilizer must appear on that list. The case analysis then uses the standard design equations $r(k-1)=\lambda(v-1)$ and $vr=bk$, the bounds $\lambda v<r^2$ and $r\mid d$ for every nontrivial subdegree $d$, and the fact that parabolic actions of Lie-type groups have a unique subdegree that is a power of the defining prime $p$. In the surviving Suzuki and Ree cases, the two-point stabilizer $X_{\alpha,\beta}$ is a cyclic group of order $q-1$, and the orbit lengths of this cyclic group force the block size to be $q$, $q+1$, or $q^2$.

What would settle it

Run a computer search over the non-parabolic rows of Tables 2 and 3: for each candidate point stabilizer $H$, compute $v=|X:H\cap X|$ and test whether integers $r$, $k$, $\lambda$ exist satisfying $r(k-1)=\lambda(v-1)$, $vr=bk$, $r\mid |H|$, $r\mid d$ for every nontrivial subdegree $d$, and $\lambda v<r^2$. A satisfying tuple would be a parameter set the theorem forbids, and an explicit orbit of the corresponding block stabilizer would produce the counterexample design; a complete pass over the small-$q$ entries would verify the elimination step.

Watch

Extended reading notes

Core claim

Theorem 1.1 is the central claim. Let $D$ be a nontrivial $(v,k,\lambda)$ design, let $G$ be a flag-transitive automorphism group of $D$ whose socle $X$ is a finite simple exceptional group of Lie type, and suppose $\gcd(r,\lambda)=1$. Then the point stabilizer $H=G_\alpha$ is a parabolic subgroup and exactly one of four cases holds: the Suzuki family $(v,b,r,k,\lambda)=(q^2+1,\,q(q^2+1),\,q^2,\,q,\,q-1)$ with $X={}^2B_2(q)$ and $q=2^a$, $a\ge 3$ odd; the Ree unital family $(q^3+1,\,q^2(q^2-q+1),\,q^2,\,q+1,\,1)$ with $X={}^2G_2(q)$ and $q=3^a\ge 27$; and two further Ree families with the same $v$ and $r=q^3$ but block size $k=q$, $\lambda=q-1$, or $k=q^2$, $\lambda=q^2-1$. The proof first reduces $G$ to a point-primitive almost simple group, uses the largeness condition $|G|\le |H|^3$ to place $H$ on an imported list of maximal subgroups, eliminates every non-parabolic candidate through the inequalities $r^2<v$ and $r\mid d$, and then extracts the four families from the parabolic candidates by orbit bookkeeping on blocks.

Load-bearing premise

The load-bearing premise is that the imported classification of large maximal subgroups of almost simple exceptional groups is complete and correct; if any maximal subgroup is missing from that list, the reduction to parabolic point stabilizers and the four-family conclusion fails.

Editorial extensions

If this is right

  • Every flag-transitive design with $\gcd(r,\lambda)=1$ and exceptional socle has a parabolic point stabilizer; non-parabolic maximal subgroups never occur.
  • Only the Suzuki groups ${}^2B_2(q)$ and the Ree groups ${}^2G_2(q)$ can be socles of such designs; all other exceptional Lie type groups are ruled out.
  • The theorem gives explicit parameter quadruples $(v,b,r,k,\lambda)$ for four infinite families, so existence questions for these parameters reduce to concrete computations, and base blocks are provided for $q=8$, $32$, and $27$.
  • Taken with previous classifications for alternating, classical, and sporadic socles, the theorem completes the almost simple part of the classification of 2-designs with $\gcd(r,\lambda)=1$, leaving only affine-type groups.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same largeness inequality and table-driven elimination could be applied to flag-transitive designs with $\gcd(r,\lambda)>1$, using weaker divisibility bounds in place of the lemmas that force $r\mid |H|$ and $r\mid d$.
  • In the $q=27$ case (c), the paper finds two non-conjugate block stabilizers and leaves open whether the two resulting designs are isomorphic; a direct computation in the given permutation representations could settle that question.
  • Because only Suzuki and Ree actions survive, the coprimality condition appears to be a strong geometric filter; dropping it could admit exceptional designs with more varied block sizes, and a small-$q$ search over the excluded tables would test that possibility.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. This paper studies nontrivial 2-(v,k,lambda) designs with gcd(r,lambda)=1 admitting a flag-transitive almost simple automorphism group G whose socle X is a finite simple exceptional group of Lie type. The main theorem (Theorem 1.1) asserts that the point stabilizer H=G_alpha is parabolic and that only four families occur: the Suzuki family for X=2B2(q) with v=q^2+1, r=q^2, k=q, lambda=q-1; the Ree unital for X=2G2(q) with v=q^3+1, r=q^2, k=q+1, lambda=1; and two further 2G2(q) families with k=q and k=q^2. The proof uses Zieschang's theorem to obtain point-primitivity, the standard inequality lambda|G| <= |H|^3, the classification of large maximal subgroups from the authors' submitted companion paper [2], and then a case analysis separating non-parabolic and parabolic possibilities. Explicit GAP-verified base blocks are given for q=8,32 in the Suzuki case and q=27 in the Ree cases.

Significance. If Theorem 1.1 is correct, it completes the classification of flag-transitive 2-designs with gcd(r,lambda)=1 whose automorphism group has exceptional socle, a natural and currently active problem. The paper gives explicit parameter families, including the known Ree unital, and provides machine-verified small examples with concrete base blocks; this computational evidence is a genuine strength. The main theorem's validity, however, rests on the completeness and accuracy of the large-subgroup classification in the submitted companion paper [2], and this dependency is explicit and load-bearing. The result is significant conditional on that classification, but the manuscript as written does not yet allow the reader to verify the pivotal restriction independently.

major comments (2)
  1. [Section 4 (after Lemma 3.6) and Corollary 3.7] The step 'lambda|G| <= |H|^3, and so by [2, Theorem 1.6] we have the list of possible point-stabiliser subgroups H of G' is load-bearing: it is the only place where the possible point stabilizers are restricted, and the later appeal to [2, Table 4] for parabolic indices and to [2, Corollary 1.3] to rule out n=2a and n=3a is equally dependent on the companion preprint. If [2, Theorem 1.6] or [2, Table 4] contains an omitted maximal subgroup or an incorrect parabolic index, Theorem 1.1 could admit spurious families or miss genuine ones. The manuscript provides no statement, proof, or independent verification of these results. Please either include the necessary statements and proofs, or replace the reference by a published or otherwise publicly verifiable classification and explain how completeness is checked.
  2. [Section 4, Table 3 paragraph] For the non-parabolic subgroups in Table 3, the text says only that 'the list of subgroups in Table 3 gives rise to no possible parameters.' Since this is a finite but nontrivial check involving integrality of b and k, the divisibility condition r divides v-1, and the inequality lambda v < r^2 for roughly thirty rows, the assertion is not verifiable as written. Please provide the computation, for example a GAP script or a table listing the impossible parameter values, so that the exclusion can be checked line by line.
minor comments (4)
  1. [Section 3, Corollary 3.7] Corollary 3.7 is stated for a symmetric design, but it is applied in Section 4 to the general (not necessarily symmetric) design of Theorem 1.1. Since the relevant inequality and classification are group-theoretic, restate Corollary 3.7 for arbitrary flag-transitive point-primitive designs, or remove the word 'symmetric'.
  2. [Theorem 1.1 and Example 2.3] Exponents are missing: q=2 a should be q=2^a in part (a), and q=3 a should be q=3^a in parts (b)-(d). Example 2.3 says 'X=2G2(q) for q=2 a and a >= 3 odd', but 2G2(q) is defined for q an odd power of 3, so this should read q=3^a.
  3. [Section 4, Suzuki and Ree subcases] The inequalities '1 <= n < 2n' and '1 <= n < 3n' should read n < 2a and n < 3a, respectively; as written the bounds are vacuous and obscure the divisibility argument.
  4. [References] References [16] and [17] are the same paper by Kleidman and should be deduplicated. There is also a typo 'Corolary' in the Introduction before [2, Corollary 1.3].

Circularity Check

2 steps flagged · score 4.0 of 10

The classification rests on the author's submitted companion paper [2] for the list of possible point stabilisers and for the parabolic indices v, making Theorem 1.1 depend on an unverified self-citation chain rather than on an independently established subgroup classification.

  1. self citation load bearing [Section 3, after Lemma 3.6 (page 5), used in Section 4 proof of Theorem 1.1]
    "For a point-stabiliser H of an automorphism group G of a flag-transitive design D, by Lemma 3.6(c), we conclude that λ|G| ⩽ |H|^3, and so by [2, Theorem 1.6] we have the list of possible point-stabiliser subgroups H of G."

    This is the pivotal step that restricts the maximal point stabiliser H to the parabolic or listed large subgroups. The list is not proved or reproved here: it is imported directly from [2, Theorem 1.6], a submitted companion paper by the same author (Alavi–Bayat–Daneshkhah). Every later exclusion of non-parabolic cases and the whole case analysis in Section 4 enumerate only subgroups appearing in that imported list. If [2, Theorem 1.6] omitted any large maximal subgroup, the conclusion 'H is parabolic' and the four families in Theorem 1.1 would not follow. The derivation therefore reduces, at its branching point, to an unverified self-citation.

  2. self citation load bearing [Section 4, first paragraph of the parabolic case analysis]
    "We note here that the value of the parameter v in each case, can be read off from [2, Table 4]."

    The exact values v = q^2+1 and v = q^3+1 used in parts (a)–(d), and the v used to rule out the remaining parabolic cases via (4.2), are taken from [2, Table 4] rather than computed from the design equations in this paper. Consequently the four parameter families in Theorem 1.1 inherit the accuracy of [2, Table 4]; a mis-tabulated parabolic index would alter the claimed v, b, r, k, λ. This is another load-bearing appeal to the same unverified companion manuscript.

full rationale

The derivation is not circular in the strongest sense: no parameter is fitted to the target designs, Theorem 1.1 is not assumed, and the small cases in Table 1 are independently verified with GAP. The standard chain (Zieschang point-primitivity, Lemma 3.6 to get λ|G| ≤ |H|^3, then case analysis) is legitimate. The circularity score is raised by the self-citation chain: the list of possible point stabilisers and the parabolic indices v are imported from [2, Theorem 1.6] and [2, Table 4], both from the author's submitted companion paper, with no independent verification in this manuscript. That is load-bearing self-citation rather than a construction-forced reduction; hence score 4 rather than 6. A separate non-circular issue is that Corollary 3.7 is stated for symmetric designs but applied to all designs in Section 4; this is a correctness gap, not circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The theorem has no fitted parameters and introduces no new entities. Its derivation rests on background theorems in design theory and finite group classification, plus the author's prior classification of large maximal subgroups [2], which is the main source of circularity burden.

assumptions (6)
  • standard math Zieschang's theorem: a flag-transitive automorphism group of a 2-design with gcd(r,lambda)=1 is point-primitive of almost simple or affine type (Proposition 3.5, citing [30]).
    Background theorem in design theory; accepted from literature.
  • ad hoc to paper Large maximal subgroup classification for finite simple exceptional groups of Lie type ([2, Theorem 1.6]) gives the list of point stabilizers used in the proof.
    This is the load-bearing prior result from the author's own submitted preprint; it is not independently machine-checked or published in a refereed venue at the time of writing.
  • standard math Tits' lemma: if a point-stabiliser G_alpha is not parabolic, then p divides v for Lie type groups in characteristic p (Lemma 3.2, citing [25, 1.6]).
    Standard result from Seitz; used to derive gcd(p,v-1)=1.
  • standard math Liebeck-Saxl-Seitz unique subdegree lemma: a maximal parabolic action of a Lie type group not of certain types has a unique subdegree that is a power of p (Lemma 3.3, citing [21, 3.9]).
    Standard deep group-theoretic result; used in the parabolic case analysis.
  • standard math Maximal subgroup classifications for 2B2(q) and 2G2(q) (e.g. [7, Table 8.43] and [23]) are assumed to list all candidates for the block stabiliser M0.
    Standard published classifications, accepted as background.
  • domain assumption Parameter restrictions: q=2^a with a>=3 odd for Suzuki groups and q=3^a>=27 for Ree groups; G2(2) and Tits group 2F4(2)' are excluded by simplicity conventions.
    These are standard group-theory conventions stated in Section 1.1; they restrict the scope of the theorem, not an ad hoc modification of the result.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Flag-transitive block designs and finite exceptional simple groups of Lie type." pith.science (2026). https://pith.science/paper/URWME4CD

@misc{pith2026190805831,
  author       = {Pith},
  title        = {Pith review of: Flag-transitive block designs and finite exceptional simple groups of Lie type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/URWME4CD}},
  note         = {Machine review of arXiv:1908.05831}
}
abstract

In this article, we study $2$-designs with $\gcd(r,\lambda)=1$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type. We obtain four infinite families of such designs and provide some examples in each of these families.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 24 canonical work pages

  1. [2]

    S. H. Alavi, M. Bayat, A. Daneshkhah, Symmetric designs and finit e simple exceptional groups of lie type, Submitted. URL https://arxiv.org/abs/1702.01257

    work page Pith review arXiv

  2. [1]

    S. H. Alavi, M. Bayat, A. Daneshkhah, Flag-transitive block desig ns and unitary groups, Submitted. URL https://arxiv.org/abs/1909.08546

    work page Pith review arXiv 1909

  3. [3]

    S. H. Alavi, M. Bayat, A. Daneshkhah, Symmetric designs admittin g flag-transitive and point- primitive automorphism groups associated to two dimensional proje ctive special groups, De- signs, Codes and Cryptography 79 (2016) 337–351. URL http://dx.doi.org/10.1007/s10623-015-0055-9

    work page doi:10.1007/s10623-015-0055-9 2016

  4. [4]

    S. H. Alavi, A. Daneshkhah, F. Mouseli, A classification of flag-tra nsitive block designs, Sub- mitted. URL https://arxiv.org/abs/1911.06175

    work page Pith review arXiv 1911

  5. [5]

    T. Beth, D. Jungnickel, H. Lenz, Design theory. Vol. I, vol. 69 of Encyclopedia of Mathematics and its Applications, 2nd ed., Cambridge University Press, Cambridge , 1999. URL https://doi.org/10.1017/CBO9780511549533

    doi:10.1017/cbo9780511549533 1999

  6. [6]

    Biliotti, A

    M. Biliotti, A. Montinaro, On flag-transitive symmetric designs of a ffine type, J. Combin. Des. 25 (2) (2017) 85–97. URL https://doi.org/10.1002/jcd.21533

    work page doi:10.1002/jcd.21533 2017

  7. [7]

    J. N. Bray, D. F. Holt, C. M. Roney-Dougal, The maximal subgrou ps of the low-dimensional finite classical groups, vol. 407 of London Mathematical Society Le cture Note Series, Cam- bridge University Press, Cambridge, 2013, with a foreword by Mart in Liebeck. URL http://dx.doi.org/10.1017/CBO9781139192576

    doi:10.1017/cbo9781139192576 2013

  8. [8]

    Buekenhout, A

    F. Buekenhout, A. Delandtsheer, J. Doyen, Finite linear spaces with flag-transitive groups, J. Combin. Theory Ser. A 49 (2) (1988) 268–293. URL https://doi.org/10.1016/0097-3165(88)90056-8

    work page doi:10.1016/0097-3165(88)90056-8 1988

Show all 29 references
  1. [9]

    J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wils on, Atlas of finite groups, Oxford University Press, Eynsham, 1985, maximal subgroups and ordinary characters for simple groups, With computational assistance from J. G. Thackray

    1985

  2. [10]

    Dembowski, Finite Geometries, Springer-Verlag, New York, 1 968

    P. Dembowski, Finite Geometries, Springer-Verlag, New York, 1 968. URL https://books.google.com/books?id=1wPzoAEACAAJ

  3. [11]

    J. D. Dixon, B. Mortimer, Permutation groups, vol. 163 of Grad uate Texts in Mathematics, Springer-Verlag, New York, 1996. URL http://dx.doi.org/10.1007/978-1-4612-0731-3 11

    1996 doi

  4. [12]

    Downs, G

    M. Downs, G. A. Jones, M¨ obius inversion in Suzuki groups and enumeration of regular objects, in: Symmetries in graphs, maps, and polytopes, vol. 159 of Springer Proc. Math. Stat., Springer, [Cham], 2016, pp. 97–127. URL https://doi.org/10.1007/978-3-319-30451-9_5

    2016 doi

  5. [13]

    URL http://www.gap-system.org

    The GAP Group, GAP – Groups, Algorithms, and Programming, Ve rsion 4.7.9 (2015). URL http://www.gap-system.org

    2015

  6. [14]

    W. M. Kantor, Homogeneous designs and geometric lattices, J. Combin. Theory Ser. A 38 (1) (1985) 66–74. URL https://doi.org/10.1016/0097-3165(85)90022-6

    1985 doi

  7. [15]

    Kleidman, M

    P. Kleidman, M. Liebeck, The subgroup structure of the finite c lassical groups, vol. 129 of London Mathematical Society Lecture Note Series, Cambridge Univ ersity Press, Cambridge, 1990. URL http://dx.doi.org/10.1017/CBO9780511629235

    1990 doi

  8. [17]

    P. B. Kleidman, The finite flag-transitive linear spaces with an exc eptional automorphism group, in: Finite geometries and combinatorial designs (Lincoln, NE, 1987), vol. 111 of Con- temp. Math., Amer. Math. Soc., Providence, RI, 1990, pp. 117–13 6. URL https://doi.org/10.1090/...

    1987 doi

  9. [18]

    V. V. Korableva, Parabolic permutation representations of gr oups e6(q) and e7(q), in: Combi- natorial and Computational Methods in Mathematics [in Russian], Oms k Univ., Omsk, 1999, pp. 160–189

    1999

  10. [19]

    E. S. Lander, Symmetric designs: an algebraic approach, vol. 7 4 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambrid ge, 1983. URL http://dx.doi.org/10.1017/CBO9780511662164

    1983 doi

  11. [20]

    M. W. Liebeck, J. Saxl, The finite primitive permutation groups of rank three, Bull. London Math. Soc. 18 (2) (1986) 165–172. URL http://dx.doi.org/10.1112/blms/18.2.165

    1986 doi

  12. [21]

    M. W. Liebeck, J. Saxl, G. Seitz, On the overgroups of irreducib le subgroups of the finite classical groups., Proc. Lond. Math. Soc. 50 (3) (1987) 507–537 . URL http://dx.doi.org/10.1112/plms/s3-50.3.426

    1987 doi

  13. [22]

    L¨ uneburg, Some remarks concerning the Ree groups of ty pe ( G2), J

    H. L¨ uneburg, Some remarks concerning the Ree groups of ty pe ( G2), J. Algebra 3 (1966) 256–259. URL https://doi.org/10.1016/0021-8693(66)90014-7

    1966 doi

  14. [23]

    Pierro, The M¨ obius function of the small Ree groups, Austr alas

    E. Pierro, The M¨ obius function of the small Ree groups, Austr alas. J. Combin. 66 (2016) 142–176

    2016

  15. [24]

    Saxl, On finite linear spaces with almost simple flag-transitive au tomorphism groups, J

    J. Saxl, On finite linear spaces with almost simple flag-transitive au tomorphism groups, J. Combin. Theory Ser. A 100 (2) (2002) 322–348. URL http://dx.doi.org/10.1006/jcta.2002.3305

    2002

  16. [25]

    G. M. Seitz, Flag-transitive subgroups of Chevalley groups, An n. of Math. (2) 97 (1973) 27–56

    1973

  17. [26]

    D. Tian, S. Zhou, Flag-transitive 2-( v, k, λ ) symmetric designs with sporadic socle, Journal of Combinatorial Designs 23 (4) (2015) 140–150. URL https://onlinelibrary.wiley.com/doi/abs/10.1002/jcd.21385

    2015 doi

  18. [27]

    X. Zhan, S. Zhou, Flag-transitive non-symmetric 2-designs wit h (r, λ ) = 1 and sporadic socle, Des. Codes Cryptography 81 (3) (2016) 481–487. URL http://dx.doi.org/10.1007/s10623-015-0171-6

    2016 doi

  19. [28]

    S. Zhou, Y. Wang, Flag-transitive non-symmetric 2-designs wit h ( r, λ ) = 1 and alternating socle, Electron. J. Combin. 22 (2) (2015) Paper 2.6, 15

    2015

  20. [29]

    Y. Zhu, H. Guan, S. Zhou, Flag-transitive 2-(v, k, λ) symmetric designs with (k, λ) = 1 and alternating socle, Frontiers of Mathematics in China 10 (6) (2015) 1 483–1496. URL https://doi.org/10.1007/s11464-015-0480-0

    2015 doi

  21. [30]

    Zieschang, Flag transitive automorphism groups of 2-des igns with ( r, λ ) = 1, Journal of Algebra 118 (2) (1988) 369 – 375

    P.-H. Zieschang, Flag transitive automorphism groups of 2-des igns with ( r, λ ) = 1, Journal of Algebra 118 (2) (1988) 369 – 375. URL http://www.sciencedirect.com/science/article/pii/0021869388900270 12 S.H. ALA VI Seyed Hassan Alavi, Department of Mathematics, F aculty of Sc...

    1988

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.