pith. sign in

arxiv: 2604.23558 · v1 · submitted 2026-04-26 · 🧮 math.CO

New infinite families of q-analogs of group divisible designs with arbitrary block dimension

Yakun Wu , Junling Zhou , Xiaoran Wang This is my paper

Pith reviewed 2026-05-08 05:56 UTC · model grok-4.3

classification 🧮 math.CO
keywords q-analogsgroup divisible designssubspace designslinear groupsSinger cyclespairwise balanced designsfinite vector spacescombinatorial constructions
0
0 comments X

The pith

Properties of the incidence matrix between 2-subspaces and k-subspaces produce new infinite families of simple q-analogs of group divisible designs with arbitrary block dimension.

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

The paper gives a complete description of the action of the group G equals GL(m, q^l) on the set of k-subspaces of GF(q)^{ml} whose GF(q^l)-span has dimension k-1, for parameters 3 less than or equal to k less than or equal to the minimum of m+1 and l. This description is obtained by relating the G-orbits to Singer cycle orbits on subspaces of GF(q)^l. The resulting properties of the G-incidence matrix between 2-subspaces and k-subspaces are then used to construct the designs. A sympathetic reader would care because the work supplies explicit, infinite families of these q-analogs in a setting where existence questions for subspace designs remain open for many parameter sets.

Core claim

From the properties of the G-incidence matrix between 2-subspaces and k-subspaces, we obtain plenty of new infinite families of simple q-analogs of group divisible designs with arbitrary block dimension. We further establish a recursive construction for simple q-analogs of pairwise balanced designs and then produce new infinite families of such designs. We also obtain plenty of infinite families of non-simple subspace 2-designs through the above two types of designs.

What carries the argument

The G-incidence matrix between 2-subspaces and k-subspaces, whose entries are determined by the orbit decomposition of the action of GL(m, q^l) on Omega_k^{k-1} via its relation to Singer cycle orbits.

If this is right

  • Plenty of new infinite families of simple q-analogs of group divisible designs exist with arbitrary block dimension.
  • A recursive construction yields new infinite families of simple q-analogs of pairwise balanced designs.
  • Plenty of infinite families of non-simple subspace 2-designs arise from the group divisible designs and the pairwise balanced designs.

Where Pith is reading between the lines

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

  • The orbit-to-Singer-cycle reduction may be reusable for other linear groups acting on higher-dimensional subspaces.
  • The recursive construction for pairwise balanced designs could be applied iteratively to obtain families with successively larger block sizes.
  • The explicit incidence matrices obtained here supply concrete examples that can be checked computationally for small field sizes to confirm the design parameters.

Load-bearing premise

That relating the G-orbits on the k-subspaces to Singer cycle orbits fully determines the constant intersection sizes needed in the incidence matrix for every parameter triple in the stated range.

What would settle it

Pick concrete small values such as q=2, m=4, l=3, k=3 and compute the actual number of k-subspaces incident with each 2-subspace in each orbit class; if these numbers are not constant within each class, the design construction fails for those parameters.

read the original abstract

This paper is mainly devoted to constructions of \(q\)-analogs of group divisible designs and their applications. We give a complete description of the action of \(G=\GL(m,q^l)\) on \(\Omega_k^{k-1}\), where $3\leq k\leq \min\left\lbrace m+1,l\right\rbrace $ and \(\Omega_k^{k-1}\) is the set of \(k\)-subspaces of $\GF(q)^{ml}$ whose \(\GF(q^l)\)-span has dimension \(k-1\). We do this by relating the \(G\)-orbits on \(\Omega_k^{k-1}\) to the corresponding Singer cycle orbits on subspaces of $\GF(q)^l$. From the properties of the $G$-incidence matrix between $2$-subspaces and $k$-subspaces, we obtain plenty of new infinite families of simple \(q\)-analogs of group divisible designs with arbitrary block dimension. We further establish a recursive construction for simple \(q\)-analogs of pairwise balanced designs and then produce new infinite families of such designs. We also obtain plenty of infinite families of non-simple subspace \(2\)-designs through the above two types of designs.

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.

Referee Report

1 major / 1 minor

Summary. The paper constructs new infinite families of simple q-analogs of group divisible designs (GDDs) with arbitrary block dimension. It does so by giving a complete description of the action of G = GL(m, q^l) on the set Ω_k^{k-1} of k-subspaces of GF(q)^{ml} (for 3 ≤ k ≤ min{m+1, l}) whose GF(q^l)-span has dimension k-1, relating these G-orbits to Singer cycle orbits on subspaces of GF(q)^l. From the resulting G-incidence matrix between 2-subspaces and k-subspaces, the authors derive the claimed designs. The paper also presents a recursive construction for simple q-analogs of pairwise balanced designs and obtains new infinite families of non-simple subspace 2-designs from the preceding constructions.

Significance. If the central claims hold, the work supplies valuable new explicit infinite families of q-analogs of designs, particularly extending GDDs to arbitrary block dimensions where few constructions are known. The systematic use of group actions and the Singer cycle correspondence is a methodological strength that may admit further applications. The recursive construction for pairwise balanced designs adds a useful general tool.

major comments (1)
  1. [Abstract and main construction (orbit-to-incidence step)] Abstract and the step from orbit classification to designs: the assertion that the complete G-orbit description on Ω_k^{k-1} (via reduction to Singer-cycle orbits) directly supplies the constant row/column sums or λ-values in the G-incidence matrix between 2-subspaces and k-subspaces is load-bearing for the main claim. This implication is not automatic; the span condition dim_{GF(q^l)}⟨U⟩ = k-1 can produce orbit-dependent intersection sizes with fixed 2-subspaces that fail to be constant for k > 3 or when m and l are comparable. Explicit verification or a constancy proof for the full parameter range is required.
minor comments (1)
  1. [Notation and definitions] The notation Ω_k^{k-1} and the precise definition of the G-incidence matrix entries would benefit from a small explicit example (e.g., q=2, m=3, l=3, k=3) to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address the major comment below, providing clarifications on the orbit classification and its implications for the design parameters.

read point-by-point responses

  1. Referee: [Abstract and main construction (orbit-to-incidence step)] Abstract and the step from orbit classification to designs: the assertion that the complete G-orbit description on Ω_k^{k-1} (via reduction to Singer-cycle orbits) directly supplies the constant row/column sums or λ-values in the G-incidence matrix between 2-subspaces and k-subspaces is load-bearing for the main claim. This implication is not automatic; the span condition dim_{GF(q^l)}⟨U⟩ = k-1 can produce orbit-dependent intersection sizes with fixed 2-subspaces that fail to be constant for k > 3 or when m and l are comparable. Explicit verification or a constancy proof for the full parameter range is required.

    Authors: We appreciate the referee highlighting the need for explicit verification of parameter constancy. In the manuscript, Theorem 3.2 gives the complete orbit classification by reducing G-orbits on Ω_k^{k-1} to Singer cycle orbits on subspaces of GF(q)^l. Proposition 3.6 then establishes that intersection dimensions between a fixed 2-subspace and members of a given G-orbit are constant, as they depend only on the orbit type, the fixed GF(q^l)-span dimension k-1, and the relative position invariants preserved by the GL(m, q^l) action. The proof proceeds by lifting the known intersection formulas from the Singer cycle action on the quotient space GF(q)^l and verifying uniformity under the span condition; this holds uniformly for the full range 3 ≤ k ≤ min{m+1, l}, including comparable m and l, because the dimension restriction precludes additional splitting of intersections. Consequently, the G-incidence matrix between 2-subspaces and k-subspaces has constant row and column sums, directly yielding the claimed q-GDD parameters. The derivation is therefore not merely asserted but proven via these steps. revision: no

Circularity Check

0 steps flagged

No significant circularity in the derivation

full rationale

The paper derives the designs from an explicit classification of G-orbits on Ω_k^{k-1} obtained by reduction to known Singer-cycle orbits on subspaces of GF(q)^l, followed by direct extraction of incidence-matrix properties. This chain rests on standard facts from linear algebra and finite group actions rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. The resulting families are therefore independent of the target design parameters and remain falsifiable against external combinatorial benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

No free parameters are fitted; the work uses variable parameters q, m, l, k under given constraints. Relies on standard axioms of finite fields and linear groups; no new entities invented.

axioms (2)
  • standard math The vector space GF(q)^{ml} and its subspaces behave according to standard linear algebra over finite fields.
    Fundamental to defining Ω_k^{k-1} and the group action.
  • standard math The general linear group GL(m, q^l) acts naturally on the vector space and its subspaces.
    Used to define the orbits on the set of k-subspaces.

pith-pipeline@v0.9.0 · 5520 in / 1452 out tokens · 100315 ms · 2026-05-08T05:56:59.063349+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Braun,q-Analogs oft-wise balanced designs from Borel subgroups, Des

    M. Braun,q-Analogs oft-wise balanced designs from Borel subgroups, Des. Codes Cryptogr. 78 (2016) 383-390

    work page 2016

  2. [2]

    Braun, T

    M. Braun, T. Etzion, P.R.J. ¨Osterg˚ ard, A. Vardy, A. Wassermann, Existence of q-analogs of Steiner systems, Forum Math. Pi 4 (2016) e7

    work page 2016

  3. [3]

    Braun, M

    M. Braun, M. Kiermaier, A. Kohnert, R. Laue, Large sets of subspace designs, J. Comb. Theory, Ser. A 147 (2017) 155-185

    work page 2017

  4. [4]

    Braun, M

    M. Braun, M. Kiermaier, A. Wassermann,q-Analogs of designs: subspace designs, in:Network Coding and Subspace Designs, (eds. M. Greferath, M.O. Pavˇ cevi´ c, N. Silberstein and M. ´A. V´ azquez-Castro), Springer, 2018, 171-211

    work page 2018

  5. [5]

    Buratti, M

    M. Buratti, M. Kiermaier, S. Kurz, A. Naki´ c, A. Wassermann,q-Analogs of group divisible designs, in:Combinatorics and Finite Fields, (eds. K.-U. Schmidt and A. Winterhof), Difference Sets, Polynomials, Pseudorandomness and Applications, 23, De Gruyter, 2019, 21

    work page 2019

  6. [6]

    Buratti, A

    M. Buratti, A. Naki´ c, Designs over finite fields by difference methods, Finite Fields Appl. 57 (2019) 128-138

    work page 2019

  7. [7]

    Byrne, M

    E. Byrne, M. Calderini, Index coding, network coding and broadcast with side- information, in:Network Coding and Subspace Designs, (eds. M. Greferath, M.O. Pavˇ cevi´ c, N. Silberstein and M.´A. V´ azquez-Castro), Springer, 2018, 247-294

    work page 2018

  8. [8]

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

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

    work page 2002

  9. [9]

    Itoh, A new family of 2-designs over GF(q) admitting SL m(ql), Geom

    T. Itoh, A new family of 2-designs over GF(q) admitting SL m(ql), Geom. Dedic. 69 (1998) 261-286

    work page 1998

  10. [10]

    Kiermaier, R

    M. Kiermaier, R. Laue, Derived and residual subspace designs, Adv. Math. Com- mun. 9 (2015) 105-115

    work page 2015

  11. [11]

    K¨ otter, F.R

    R. K¨ otter, F.R. Kschischang, Coding for errors and erasures in random network coding, IEEE Trans. Inf. Theory 54 (2008) 3579-3591

    work page 2008

  12. [12]

    Kramer, D

    E. Kramer, D. Mesner,t-Designs on hypergraphs, Discrete Math. 15 (1976) 263–296

    work page 1976

  13. [13]

    Miyakawa, A

    M. Miyakawa, A. Munemasa, S. Yoshiara, On a class of small 2-designs over GF(q), J. Comb. Des. 3 (1995) 61-77. 24

    work page 1995

  14. [14]

    Schram,t-Designs on vector spaces over finite fields, PhD thesis, The Ohio State University, 1989

    E.J. Schram,t-Designs on vector spaces over finite fields, PhD thesis, The Ohio State University, 1989

    work page 1989

  15. [15]

    Suzuki, 2-Designs over GF(2 m), Graphs Comb

    H. Suzuki, 2-Designs over GF(2 m), Graphs Comb. 6 (1990) 293-296

    work page 1990

  16. [16]

    Suzuki, 2-Designs over GF(q), Graphs Comb

    H. Suzuki, 2-Designs over GF(q), Graphs Comb. 8 (1992) 381-389

    work page 1992

  17. [17]

    Thomas, Designs over finite fields, Geom

    S. Thomas, Designs over finite fields, Geom. Dedic. 24 (1987) 237-242

    work page 1987

  18. [18]

    J. Tits, Sur les analogues alg´ ebriques des groupes semi-simples complexes, in: Col- loque d’Alg´ ebre Sup´ erieure, tenu ` a Bruxelles du 19 au 22 decembre 1956, Centre Belge de Recherches Math´ ematiques, 1957, 261–289

    work page 1956

  19. [19]

    X. Wang, J. Zhou, Infinite families of non-simple subspace 2- and 3-designs with block dimension 4, Finite Fields Appl. 111 (2026) 102786

    work page 2026

  20. [20]

    X. Wang, J. Zhou, On recursive constructions for 2-designs over finite fields, J. Comb. Theory, Ser. A. 213 (2025) 106006. 25

    work page 2025