What problem does this paper attempt to address?

The problem that this paper attempts to solve is to explore the situation in which the automorphism groups are flag - transitive and the socles are sporadic simple groups in specific types of symmetric designs. Specifically, the paper focuses on the classification problem of these symmetric designs when the automorphism groups are point - imprimitive. ### Background and Motivation A symmetric design is a combinatorial structure, usually represented as \(D=(P, B)\), where \(P\) is the set of points and \(B\) is the set of blocks. Each point appears in exactly \(k\) blocks, and each pair of blocks contains exactly \(\lambda\) common points. If \(2 < k < v- 1\), then \(D\) is called a non - trivial symmetric design. The automorphism group \(G\) is a permutation group that permutes the set of points \(P\), while keeping the set of blocks \(B\) and the incidence relation unchanged. If \(G\) is transitive on all flags (i.e., incidence pairs of points and blocks) of \(D\), then \(G\) is called flag - transitive. ### Research Problems The paper mainly studies the almost - simple automorphism groups \(G\) with sporadic simple groups as socles, and \(G\) is flag - transitive and point - imprimitive for symmetric designs. Specifically, the paper attempts to answer the following questions: 1. **Classification Problem**: Which parameter sets \((v, k, \lambda)\) correspond to the existence of such symmetric designs? 2. **Construction Problem**: How to construct these symmetric designs? ### Main Results The main results of the paper are as follows: - **Theorem 1.1**: Let \(D\) be a non - trivial symmetric design, and its automorphism group \(G\) is flag - transitive and its socle is a sporadic simple group. Then \(G\) is point - imprimitive if and only if the parameter set of \(D\) is \((144, 66, 30)\), and \(G = M_{12}\), the point - stabilizer and the block - stabilizer are both isomorphic to \(\text{PSL}_2(11)\), and they are both the intersections of two non - conjugate maximal subgroups \(M_{11}\). - **Corollary 1.2**: Let \(D\) be a non - trivial symmetric design, and its automorphism group \(G\) is flag - transitive and its socle is a sporadic simple group. Then \(v\in\{144, 176, 14080\}\), and \((D, G)\) (up to isomorphism) are as shown in Table 1. ### Table 1. Sporadic Simple Groups and Their Corresponding Symmetric 2 - Designs | Row | Design | \(v\) | \(k\) | \(\lambda\) | \(G\) | \(G_{\alpha}\) | \(G_B\) | Notes | References | |---|------|-------|-------|-------------|--------|-------------|-------------|------|------| | 1 | \(D_1\) | 144 | 66 | 30 | \(M_{12}\) | \(\text{PSL}_2(11)\) | \(\text{PSL}_2(11)\) | Point - imprimitive | Theorem 1.1 | | 2 | \(D_2\) | 144 | 66 | 30 | \(M_{12}, M_{12}:2\) | \(\text{PSL}_2(11)\) | \(\text{PSL}_2(11)\) | Point - primitive | [16] | | 3 | \(D_3\) | 144 | 66 | 30 | \(M_{12}:2\) | \(\text{PSL}_2(11)\) | \(\text{PSL}_2(11)\) | | |

Sporadic simple groups as flag-transitive automorphism groups of symmetric designs

Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs

Almost simple groups as flag-transitive automorphism groups of 2-designs with λ = 2

Classical groups as flag-transitive automorphism groups of 2-designs with λ = 2

Flag-Transitive, Point-Imprimitive 2-Designs and Direct Products of Symmetric Groups

Flag-transitive point-primitive quasi-symmetric $2$-designs with block intersection numbers $0$ and $y\leq10$

Constructing flag-transitive, point-imprimitive designs

Analysing 2-$(v,k,2)$ designs admitting a flag-transitive almost simple automorphism group with socle $PSL(2,q)$ by means of conics and hyperovals of $PG(2,q)$

Simple Group 2F4 （q2） and 2-（v, k, 5） Symmetric Designs

Generation by conjugate elements of finite almost simple groups with a sporadic socle

Finite flag-transitive affine planes with a solvable automorphism group.

On the automorphism group of a possible symmetric $(81,16,3)$ design

The flag-transitive symmetric designs with 45 points, blocks of size 12, and 3 blocks on every point pair

Alternating groups as flag-transitive automorphism groups of 2-designs with block size seven

On the Automorphism Groups of Symmetric Graphs Admitting an Almost Simple Group

Flag-transitive automorphism groups of $2$-designs with $λ\geq (r,λ)^2$ are not product type

Symmetry groups of boolean functions: simple groups

On Automorphism Groups of Symmetric Cayley Graphs of Finite Simple Groups with Valency Six

Nonexistence of generalized quadrangles admitting a point-primitive and line-primitive automorphism group with socle ,

A Classification of the flag-transitive $2$-$(v,k,2)$ designs

Vertex-imprimitive Symmetric Graphs with Exactly One Edge Between Any Two Distinct Blocks