The existence of pyramidal Steiner triple systems over abelian groups

Junling Zhou; Tommaso Traetta; Yanxun Chang

arxiv: 2501.07928 · v2 · submitted 2025-01-14 · 🧮 math.CO

The existence of pyramidal Steiner triple systems over abelian groups

Yanxun Chang , Tommaso Traetta , Junling Zhou This is my paper

Pith reviewed 2026-05-23 05:33 UTC · model grok-4.3

classification 🧮 math.CO

keywords Steiner triple systemspyramidalabelian groupsdifference familiespartial spreadsautomorphismsexistence spectrum

0 comments

The pith

For every f > 3, the spectrum of admissible v for f-pyramidal STS(v) over an abelian group is completely determined.

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

The paper completes the existence theory for f-pyramidal Steiner triple systems over abelian groups by settling all cases where the number of fixed points f exceeds 3. It identifies exactly which orders v allow such a system for each such f. The construction uses difference families built from partial spreads in the abelian group. A reader would care because this resolves the remaining open cases in the classification of these highly symmetric triple systems.

Core claim

For every f > 3 an f-pyramidal STS(v) over an abelian group exists if and only if v belongs to a certain arithmetic spectrum determined by f. This is proved by constructing the corresponding difference families relative to suitable partial spreads that cover all admissible cases.

What carries the argument

difference families relative to a suitable partial spread, which serve as the building blocks to generate the Steiner triple system from the group action

If this is right

The existence question is settled for all f > 3.
Constructions work for every admissible pair (f, v) with no exceptions.
The spectrum consists of all v satisfying the group order and triple system divisibility conditions adjusted for the fixed points f.
Previous results for f = 0, 1, 3 are now extended uniformly to larger f.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar difference family techniques might determine spectra for pyramidal systems over non-abelian groups.
These systems could be used to construct other symmetric designs with prescribed automorphism groups.
Explicit small examples for f=4 could be computed to verify the general construction.

Load-bearing premise

The difference-family constructions relative to suitable partial spreads succeed without gaps or exceptions for every admissible pair (f, v) when f > 3.

What would settle it

An explicit counterexample consisting of some f > 3 and admissible v where no f-pyramidal STS(v) over an abelian group can be built despite the claimed construction method.

read the original abstract

A Steiner triple system STS$(v)$ is called $f$-pyramidal if it has an automorphism group fixing $f$ points and acting sharply transitively on the remaining $v-f$ points. In this paper, we focus on the STSs that are $f$-pyramidal over some abelian group. Their existence has been settled only for the smallest admissible values of $f$, that is, $f=0,1,3$. In this paper, we complete this result and determine, for every $f>3$, the spectrum of values $(f,v)$ for which there is an $f$-pyramidal STS$(v)$ over an abelian group. This result is obtained by constructing difference families relative to a suitable partial spread.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper settles the spectrum for f-pyramidal abelian STS(v) when f>3 by giving difference-family constructions relative to partial spreads.

read the letter

The key takeaway is that the authors have determined the full spectrum of v for which an f-pyramidal STS(v) over an abelian group exists, for every f greater than 3. This completes the classification that was previously known only for f equal to 0, 1, and 3. They do this through constructions of difference families relative to partial spreads. The abstract indicates that this method allows them to cover all the admissible pairs without leaving gaps. What the paper does well is supply these explicit constructions, which give a concrete way to build the systems rather than relying on non-constructive arguments. This is useful because it ties the existence directly to the group structure and the partial spreads. The approach seems consistent with standard methods in the field for handling automorphism groups in designs. The stress-test did not identify any internal inconsistencies or unhandled cases in the argument outline, which supports that the central claim is plausible. One potential soft spot is that the success depends on the existence of the required partial spreads for each f and v. If those are verified in the paper for all cases, then the result stands. From the description, it looks like they handle this. No evidence of circular reasoning or unfalsifiable claims. This work is aimed at specialists in combinatorial designs and group theory applications to designs. A reader interested in completing classifications of Steiner systems or in difference families will find it relevant. It shows clear engagement with the literature by building on the settled small f cases. I think it deserves peer review because it provides a complete determination using reproducible constructions in a well-defined area.

Referee Report

0 major / 2 minor

Summary. The paper claims to complete the determination of the spectrum of admissible v for f-pyramidal STS(v) over an abelian group, for every f > 3. This is achieved via explicit constructions of difference families relative to suitable partial spreads, extending the known existence results that were previously settled only for f = 0, 1, 3.

Significance. If the constructions are verified to cover all admissible pairs (f, v) without gaps, the result provides a full classification of f-pyramidal Steiner triple systems over abelian groups. This would be a substantial contribution to combinatorial design theory, as it resolves the existence question for all f by constructive means rather than non-constructive arguments.

minor comments (2)

The abstract refers to 'suitable partial spread' without a forward reference to the section where the existence of these spreads is established; adding a pointer would improve readability.
Notation for the difference families (e.g., the precise definition of the partial spread relative to the group) could be introduced earlier in the introduction for readers unfamiliar with the prior literature on f=0,1,3 cases.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. The report contains no major comments.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper determines the spectrum of admissible (f,v) for f-pyramidal STS(v) over abelian groups via explicit constructions of difference families relative to partial spreads. These constructions are presented as covering all admissible pairs for f>3 without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The derivation chain is self-contained and relies on combinatorial arguments independent of the target result itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on the standard definitions of Steiner triple systems, sharply transitive actions, abelian groups, and difference families; no free parameters, ad-hoc axioms, or new entities are mentioned.

axioms (2)

standard math Standard definitions and basic properties of Steiner triple systems and their automorphism groups.
Invoked to define f-pyramidal STS(v).
standard math Existence and basic arithmetic of difference families in abelian groups.
Used as the construction vehicle.

pith-pipeline@v0.9.0 · 5654 in / 1117 out tokens · 29571 ms · 2026-05-23T05:33:59.561919+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

C. A. Baker, Extended Skolem sequences, J. Combin. Des. 3 (1995), 363–379

work page 1995
[2]

Bonvicini, M

S. Bonvicini, M. Buratti, G. Rinaldi, T. Traetta, Some progress on the existence of 1-rotational Steiner triple systems, Des. Codes Cryptogr. 62 (2012), 63–78

work page 2012
[3]

J.N. Bray, Q. Cai, P.J. Cameron, P. Spiga, H. Zhang, The Hall–Paige conjecture, and synchronization for affine and diagonal groups, J. Alge- bra 545 (2020), 27–42

work page 2020
[4]

Bonvicini, M

S. Bonvicini, M. Buratti, M. Garonzi, G. Rinaldi, T. Traetta, The first families of highly symmetric Kirkman Triple Systems whose orders fill a congruence class. Des. Codes Cryptogr. 89 (2021), 2725–2757

work page 2021
[5]

Buratti, Recursive constructions for difference matrices and relative difference families, J

M. Buratti, Recursive constructions for difference matrices and relative difference families, J. Combin. Des. 6 (1998), 165-182

work page 1998
[6]

Buratti, 1-rotational Steiner Triple Systems over arbitrary groups, J

M. Buratti, 1-rotational Steiner Triple Systems over arbitrary groups, J. Combin. Des. 9 (2001), 215-226

work page 2001
[7]

Buratti, Constructions for point-regular linear spaces, J

M. Buratti, Constructions for point-regular linear spaces, J. Statist. Plann. Inference 94 (2001), 139–146

work page 2001
[8]

Buratti, G

M. Buratti, G. Rinaldi, T. Traetta, 3 ´pyramidal Steiner triple systems, Ars Math. Contemp. 13 (2017), 95–106. 22

work page 2017
[9]

Colbourn, Difference Matrices

C.J. Colbourn, Difference Matrices. In: C.J. Colbourn, J.H. Dinitz, (eds.) Handbook of Combinatorial Designs, 2nd ed., pp. 411–419. Chap- man & Hall/CRC, Boca Raton (2007)

work page 2007
[10]

C. J. Colbourn, A. Rosa, Triple Systems, Clarendon Press, Oxford, 1999

work page 1999
[11]

Doyen, R

J. Doyen, R. M. Wilson, Embeddings of Steiner triple systems, Discrete Math. 5 (1973), 229–239

work page 1973
[12]

X. Gao, M. Garonzi, The structure of 3-pyramidal groups, J. Algebra 636 (2023), 75–87

work page 2023
[13]

X. Gao, M. Garonzi, On pyramidal groups whose number of involutions is a prime power, arXiv:2310.19575

work page arXiv
[14]

Linek, Z

V. Linek, Z. Jiang, Extended Langford sequences with small defects, J. Combin. Theory A 84 (1998), 38–54

work page 1998
[15]

Linek, S

V. Linek, S. Mor, On partitions of t1, . . . ,2m ` 1uztku into differences d, . . . , d`m´1: Extended Langford sequences of large defect, J. Combin. Des. 12 (2004), 421–442

work page 2004
[16]

Shalaby, Skolem and Langford Sequences

N. Shalaby, Skolem and Langford Sequences. In: C.J. Colbourn, J.H. Dinitz, (eds.) Handbook of Combinatorial Designs, 2nd ed., pp. 612–

work page
[17]

Chapman & Hall/CRC, Boca Raton (2007)

work page 2007
[18]

Mishima, The spectrum of 1-rotational Steiner triple systems over a dicyclic group, Discrete Math

M. Mishima, The spectrum of 1-rotational Steiner triple systems over a dicyclic group, Discrete Math. 308 (2008), 2617–2619

work page 2008
[19]

Pankov, K

M. Pankov, K. Petelczyc, M. ˙Zynel, The full automorphism groups of the five symmetric p15, 8, 4q-designs, preprint

work page
[20]

Peltesohn, Eine L¨ osung der beiden Heffterschen Differenzenprobleme, Compos

R. Peltesohn, Eine L¨ osung der beiden Heffterschen Differenzenprobleme, Compos. Math. 6 (1939), 251–257 (VII.4)

work page 1939
[21]

Phelps and A

K.T. Phelps and A. Rosa, Steiner triple systems with rotational auto- morphisms, Discrete Math. 33 (1981), 57–66. 23

work page 1981

[1] [1]

C. A. Baker, Extended Skolem sequences, J. Combin. Des. 3 (1995), 363–379

work page 1995

[2] [2]

Bonvicini, M

S. Bonvicini, M. Buratti, G. Rinaldi, T. Traetta, Some progress on the existence of 1-rotational Steiner triple systems, Des. Codes Cryptogr. 62 (2012), 63–78

work page 2012

[3] [3]

J.N. Bray, Q. Cai, P.J. Cameron, P. Spiga, H. Zhang, The Hall–Paige conjecture, and synchronization for affine and diagonal groups, J. Alge- bra 545 (2020), 27–42

work page 2020

[4] [4]

Bonvicini, M

S. Bonvicini, M. Buratti, M. Garonzi, G. Rinaldi, T. Traetta, The first families of highly symmetric Kirkman Triple Systems whose orders fill a congruence class. Des. Codes Cryptogr. 89 (2021), 2725–2757

work page 2021

[5] [5]

Buratti, Recursive constructions for difference matrices and relative difference families, J

M. Buratti, Recursive constructions for difference matrices and relative difference families, J. Combin. Des. 6 (1998), 165-182

work page 1998

[6] [6]

Buratti, 1-rotational Steiner Triple Systems over arbitrary groups, J

M. Buratti, 1-rotational Steiner Triple Systems over arbitrary groups, J. Combin. Des. 9 (2001), 215-226

work page 2001

[7] [7]

Buratti, Constructions for point-regular linear spaces, J

M. Buratti, Constructions for point-regular linear spaces, J. Statist. Plann. Inference 94 (2001), 139–146

work page 2001

[8] [8]

Buratti, G

M. Buratti, G. Rinaldi, T. Traetta, 3 ´pyramidal Steiner triple systems, Ars Math. Contemp. 13 (2017), 95–106. 22

work page 2017

[9] [9]

Colbourn, Difference Matrices

C.J. Colbourn, Difference Matrices. In: C.J. Colbourn, J.H. Dinitz, (eds.) Handbook of Combinatorial Designs, 2nd ed., pp. 411–419. Chap- man & Hall/CRC, Boca Raton (2007)

work page 2007

[10] [10]

C. J. Colbourn, A. Rosa, Triple Systems, Clarendon Press, Oxford, 1999

work page 1999

[11] [11]

Doyen, R

J. Doyen, R. M. Wilson, Embeddings of Steiner triple systems, Discrete Math. 5 (1973), 229–239

work page 1973

[12] [12]

X. Gao, M. Garonzi, The structure of 3-pyramidal groups, J. Algebra 636 (2023), 75–87

work page 2023

[13] [13]

X. Gao, M. Garonzi, On pyramidal groups whose number of involutions is a prime power, arXiv:2310.19575

work page arXiv

[14] [14]

Linek, Z

V. Linek, Z. Jiang, Extended Langford sequences with small defects, J. Combin. Theory A 84 (1998), 38–54

work page 1998

[15] [15]

Linek, S

V. Linek, S. Mor, On partitions of t1, . . . ,2m ` 1uztku into differences d, . . . , d`m´1: Extended Langford sequences of large defect, J. Combin. Des. 12 (2004), 421–442

work page 2004

[16] [16]

Shalaby, Skolem and Langford Sequences

N. Shalaby, Skolem and Langford Sequences. In: C.J. Colbourn, J.H. Dinitz, (eds.) Handbook of Combinatorial Designs, 2nd ed., pp. 612–

work page

[17] [17]

Chapman & Hall/CRC, Boca Raton (2007)

work page 2007

[18] [18]

Mishima, The spectrum of 1-rotational Steiner triple systems over a dicyclic group, Discrete Math

M. Mishima, The spectrum of 1-rotational Steiner triple systems over a dicyclic group, Discrete Math. 308 (2008), 2617–2619

work page 2008

[19] [19]

Pankov, K

M. Pankov, K. Petelczyc, M. ˙Zynel, The full automorphism groups of the five symmetric p15, 8, 4q-designs, preprint

work page

[20] [20]

Peltesohn, Eine L¨ osung der beiden Heffterschen Differenzenprobleme, Compos

R. Peltesohn, Eine L¨ osung der beiden Heffterschen Differenzenprobleme, Compos. Math. 6 (1939), 251–257 (VII.4)

work page 1939

[21] [21]

Phelps and A

K.T. Phelps and A. Rosa, Steiner triple systems with rotational auto- morphisms, Discrete Math. 33 (1981), 57–66. 23

work page 1981