Pith. sign in

REVIEW 5 minor 39 references

$2$-designs admitting a flag-transitive automorphism group with socle $PSL(2,q)$

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2607.05067 v1 pith:7HOHY6S3 submitted 2026-07-06 math.CO math.GR

Hongxue Liang , Mario Galici , Zhihui Liu , Filip Martinović , Alessandro Montinaro , Eleonora Romano This is my paper · ORCID
classification math.COmath.GR MSC 05B0505B2520B25
keywords 2-designflag-transitivePSL(2q)point-primitivepoint-imprimitiveWitt-Bose-Shrikhandelinearspace
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 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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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).

Load-bearing premise

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).

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

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).

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.

minor comments (5)
  1. Throughout the manuscript there are numerous typographical slips (e.g., “point-primtitive”, “Shrirkhande”, “primtive”, “flag-transitvity”). A careful proof-reading pass would remove them.
  2. 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.
  3. 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.
  4. 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.
  5. 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.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: classification rests on independent subgroup/subdegree tables, design equations and Camina–Zieschang, with only minor non-load-bearing self-citations to special-case prior work.

  1. self citation load bearing [Lemma 3.3 (and a few similar short appeals in §§3–4)]
    "However, none of these cases occurs by [33, Theorem 1.1]."

    A handful of candidate parameter sets with λ=2 that survive the initial numerical filter are discarded by citing the authors’ own earlier classification for the special case λ=2. The citation is not load-bearing for the general theorem (those cases are finite and could equally have been checked by the same GAP machinery used elsewhere), but it is a self-citation that the paper’s independence claim does not fully eliminate.

full rationale

The derivation of Theorem 1.1 proceeds by exhaustive case analysis on the known maximal subgroups of PSL(2,q) (Table 3, from Dickson/Huppert/Bray–Holt–Roney-Dougal) and their subdegrees (Table 4), combined with the elementary design relations of Lemma 3.2 and the Camina–Zieschang factorisation for the imprimitive case. All infinite families are cleanly parameterised from these inputs; the 48 sporadic examples (and the three imprimitive designs) are settled by finite GAP Design searches whose generators and base blocks are supplied in the appendix, or by independent geometric constructions (e.g., Example 2.1 for the missing 2-(496,4,1) space). The paper explicitly states that its method does not rely on the earlier partial classifications listed in the introduction; the few citations to overlapping-author papers (chiefly [33] for λ=2) are used only to discard a handful of already-ruled-out small-parameter candidates and are not required for the general argument. No quantity is defined in terms of the designs being classified, no parameter is fitted and then re-predicted, and no uniqueness theorem is imported circularly. The result is therefore self-contained against external group-theoretic and computational benchmarks.

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

Pure classification theorem resting on classical facts about subgroups of PSL(2,q), the Camina–Zieschang theorem, and standard design equations; no free parameters or invented entities are introduced.

assumptions (4)
  • standard math Maximal subgroups of PSL(2,q) are precisely the groups listed in Table 3 (Dickson’s classification).
    Invoked throughout §3 to determine possible point-stabilisers X_α.
  • standard math Camina–Zieschang theorem: a flag-transitive point-imprimitive 2-design factors into two smaller flag-transitive designs D0 and D1.
    Used as the main tool of §4 to reduce the imprimitive case to the already-classified primitive case.
  • standard math Subdegrees of the actions of PSL(2,q) on cosets of its maximal subgroups are as tabulated in Table 4 (Faradžev–Ivanov, Kamuti).
    Used to bound the replication number r via Lemma 3.2(iii).
  • domain assumption The Design package of GAP correctly enumerates orbits and designs for the groups of order appearing in the paper.
    Underpins the exhaustive computer search that produces Table 1 and rules out other small-parameter candidates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $2$-designs admitting a flag-transitive automorphism group with socle $PSL(2,q)$." pith.science (2026). https://pith.science/paper/7HOHY6S3

@misc{pith2026260705067,
  author       = {Pith},
  title        = {Pith review of: $2$-designs admitting a flag-transitive automorphism group with socle $PSL(2,q)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7HOHY6S3}},
  note         = {Machine review of arXiv:2607.05067}
}
abstract

$2$-designs admitting a flag-transitive automorphism group $G$ with socle $PSL(2,q)$, where $q=p^{f}\geq 4$, are investigated in both the point-primitive and point-imprimitive cases. In the latter case, a complete classification is achieved, and three known examples occur, namely: the complementary designs of $PG(3,2)$ and $PG(3,4)$, and the $2$-$(36,8,4)$ design constructed by Devillers and Praeger in [14]. In the point-primitive case, apart from the Witt-Bose-Shrikhande linear spaces of even order $q$, $48$ sporadic examples are classified. Surprisingly, one of these numerical examples is the linear space with $v=496$ and $k=4$ admitting $P\Gamma L(2,2^{5})$ as a flag-transitive automorphism group, which was missing in the 1990 classification by Buekenhout et al. [7,36,12].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 1 linked inside Pith

  1. [1]

    Alavi, M

    S.H. Alavi, M. Bayat, M. Biliotti, A. Daneshkhah, E. Francot, H.Y. Guan, A. Montinaro, F. Mouseli, P. Rizzo, D.L. Tian, Y.J. Wang, X.Q. Zhan, S.L. Zhou and Y. Zhu, Block designs with gcd(r, λ) = 1 admitting flag-transitive automorphism groups,Results Math.77(4) (2022),

    2022

  2. [2]

    S. H. Alavi, M. Bayat and A. Daneshkhah, Symmetric designs admitting flag-transitive and point-primitive automorphism groups associated to two dimensional projective special groups, Des. Codes Cryptogr.79(2) (2016), 337–351. 2

    2016

  3. [3]

    Alavi, M

    H. Alavi, M. Bayat, A. Daneshkhah, M. Tadbirinia, Classical groups as flag-transitive au- tomorphism groups of 2-designs withλ= 2, J. Combin. Theory Ser. A206(2024) 105892. 2

    2024

  4. [4]

    Bray, D.F

    J.N. Bray, D.F. Holt and C.M. Roney-Dougal, The maximal subgroups of the low-dimensional finite classical groups,London Mathematical Society Lecture Note Series,407(2013), Cam- bridge University Press. 5, 19, 41

    2013

  5. [5]

    Bose, S.S

    R.C. Bose, S.S. Shrikhande, On the construction of sets of mutually orthogonal Latin squares and the falsity of a conjecture of Euler, Trans. Amer. Math. Soc.95(1960) 191–209

    1960

  6. [6]

    Buekenhout, A

    F. Buekenhout, A. Delandtsheer, J. Doyen, Finite linear spaces with flag-transitive groups, J. Combin. Theory Ser. A49(1988) 268-293

    1988

  7. [7]

    Buekenhout, A

    F. Buekenhout, A. Delandtsheer, J. Doyen, P. B. Kleidman, M. W. Liebeck and J. Saxl, Linear spaces with flag-transitive automorphism groups,Geom. Dedicata36(1990), 89–94. 1, 2, 4

    1990

  8. [8]

    Cameron, G.R

    P.J. Cameron, G.R. Omidi, B. Tayfeh-Rezaie, 3-designs fromP GL(2, q), Electron. J. Combin. 13, no. 1, Research Paper 50, pp. 11 (2006). 3, 26

    2006

Show all 39 references
  1. [9]

    A. R. Camina P. H. Zieschang, On the normal structure of the flag transitive automorphism groups of 2-designs,J. London Math. Soc.41(1990) 555–564. 3, 30, 31, 32, 38

    1990

  2. [10]

    Conway, R.T

    J.H. Conway, R.T. Curtis, R.A. Parker, R.A. Wilson, An Atlas of Finite Groups, Clarendon Press, Oxford, 1985. 9, 13, 15, 17, 32, 43

    1985

  3. [11]

    J. Chen, Y. Wu, B. Xia, Locally Dihedral block design and primitive groups with dihedral point-stabilizer, ArXiv:2601.08678v2 2

    arXiv

  4. [12]

    Delandtsheer, Flag-transitive finite simple groups,Arch

    A. Delandtsheer, Flag-transitive finite simple groups,Arch. Math47(1986) 395–400. 1, 2, 4

    1986

  5. [13]

    Dembowski,Finite Geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol

    P. Dembowski,Finite Geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 44, Springer–Verlag, Berlin, New York, 1968. 6

    1968

  6. [14]

    Devillers and C

    A. Devillers and C. E. Praeger, Analysing flag-transitive point-imprimitive 2-designs,Algebraic Combin.6(2023), 1041–1055. 1, 2, 30, 32

    2023

  7. [15]

    L. E. Dickson,Linear groups: With an exposition of the Galois field theory, Dover Publications Inc., New York, 1958. 3, 8, 11, 15, 20, 24, 27

    1958

  8. [16]

    J. D. Dixon and B. Mortimer,Permutation Groups, Graduate Texts in Mathematics, vol. 163, Springer–Verlag, New York, 1996. 30, 32, 35, 37, 38

    1996

  9. [17]

    Drudge, On the orbits of Singer groups and their subgroups.Electron

    K. Drudge, On the orbits of Singer groups and their subgroups.Electron. J. Combin.9(2002) Research Paper 15. 6, 7

    2002

  10. [18]

    I. A. Faradˇ zev and A. A. Ivanov, Distance-transitive representations of groupsGwith PSL(2, q)⊴G⩽PGL(2, q),Eur. J. Combin.11(4) (1990), 347–356. 3 59

    1990

  11. [19]

    The GAP Group, GAP—Groups, Algorithms, and Programming, Version 4.11.1, http://www.gap-system.org, 2021. 3

    2021

  12. [20]

    Galici, A

    M. Galici, A. Montinaro, The Flag-transitive and point-imprimitive symmmetric (v, k, λ)- designs withv <100,J. Combin. Theory Ser. A, (accepted for publication). 1

  13. [21]

    Giudici, Maximal subgroups of almost simple groups with socle PSL(2, q), arXiv Mathe- matics e-prints

    M. Giudici, Maximal subgroups of almost simple groups with socle PSL(2, q), arXiv Mathe- matics e-prints. 3, 8, 11, 19

  14. [22]

    Hering, Transitive linear groups which contain irreducible subgroups of prime order,Geom

    C. Hering, Transitive linear groups which contain irreducible subgroups of prime order,Geom. Dedic.2 (1974) 425–460

    1974

  15. [23]

    D. G. Higman and J. E. McLaughlin, Geometric ABA-groups,Illinois J. Math.5(1961) 382–397

    1961

  16. [24]

    Hirshfeld,Projective Geometry over Finite Fields, Oxford Mathematical Monographs, Oxford University Press, 1985

    J.W.P. Hirshfeld,Projective Geometry over Finite Fields, Oxford Mathematical Monographs, Oxford University Press, 1985. 4, 5, 6, 41

    1985

  17. [25]

    Hughes, F.C

    D.R. Hughes, F.C. Piper,Projective Planes, Springer, New York, Berlin, 1973. 6

    1973

  18. [26]

    Huppert, Endliche gruppen I, Die Grundlehren der Mathematischen Wissenschaften, vol.134, Springer-Verlag, Berlin–New York, 1967

    B. Huppert, Endliche gruppen I, Die Grundlehren der Mathematischen Wissenschaften, vol.134, Springer-Verlag, Berlin–New York, 1967. 8

    1967

  19. [27]

    I.N. Kamuti, Combinatorial Formulas, Invariants and Strucutre Associated with Primitive Permutation Representations ofP SL(2, q) orP GL(2, q), PhD Thesis, University of Southamp- ton, Southampton, 1992. (available at https://eprints.soton.ac.uk.462084) 3

    1992

  20. [28]

    Kleidman, M

    P. Kleidman, M. Liebeck, The Subgroup Structure of the Finite Classical Groups, London Mathematical Society Lecture Note Series, vol.129, Cambridge University Press, Cambridge,

  21. [29]

    Liang, A

    H. Liang, A. Montinaro, A classification of the flag-transitive 2-(v,k,2) designs, J. Combin. Theory Ser. A 211 (2025) Paper No. 105983. 1

    2025

  22. [30]

    Mandi´ c, A.ˇSubasi´ c, Flag-transitive and point-imprimitive symmetric designs withλ⩽10, J

    J. Mandi´ c, A.ˇSubasi´ c, Flag-transitive and point-imprimitive symmetric designs withλ⩽10, J. Combin. Theory Ser. A,189(2022) 105620 1

    2022

  23. [31]

    Montinaro, On the symmetric 2-(v, k, λ) designs with a flag-transitive point-imprimitive automorphism group,J

    A. Montinaro, On the symmetric 2-(v, k, λ) designs with a flag-transitive point-imprimitive automorphism group,J. Algebra653(2024) 54–101. 1

    2024

  24. [32]

    Montinaro, E

    A. Montinaro, E. Francot, On flag-transitive 2−(k 2, k, λ) designs withλ|k,J. Combin. Des. 30(2022) 653–670. 3

    2022

  25. [33]

    Montinaro, Y

    A. Montinaro, Y. Zhao, Z. Zhang, S. Zhou, Designs with a simple automorphism group,Finite Fields Appl.99(2024) 102488. 2, 6, 8

    2024

  26. [34]

    Passmann, Permutation Groups, W.A

    D.S. Passmann, Permutation Groups, W.A. Benjamin, Inc., New York, 1968. 6, 27

    1968

  27. [35]

    O’Keefe, T

    C.M. O’Keefe, T. Penttila, Symmetries of Arcs,J. Combin. Theory Ser. A66(1994) 53–67. 42

    1994

  28. [36]

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

    J. Saxl, On finite linear spaces with almost simple flag-transitive automorphism groups,J. Combin. Theory Ser. A100(2002) 322–348. 1, 2, 4

    2002

  29. [37]

    L. H. Soicher, The DESIGN package for GAP, Version 1.3, http://designtheory.org/software/gapdesign/, 2006. 3

    2006

  30. [38]

    X. Zhan, S. Zhou, Non-symmetric 2-designs admitting a two-dimensional projective linear group,Des. Codes Cryptogr.86(12), 2765–2773 (2018). 2

    2018

  31. [39]

    E. De Giorgi

    X. Zhang, S. Zhou, 2-designs with gcd(r, λ) = 2 admitting a flag-transitive automorphism group with socle PSL(2, q), (submitted). 2 60 School of Mathematics, Foshan University, Foshan 528000, P.R. China Email address:hongxueliang@fosu.edu.cn Dipartimento di Matematica e Fisica...

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.