Abstract:Each nontrivial shell (i.e., subconstituent) of the Johnson association scheme J(v,k) is known to be a commutative association scheme which is the product of two smaller Johnson association schemes. The concept of t-designs in one shell of J(v,k) was naturally defined and studied by Martin in the context of mixed t-designs. The purpose of this paper is to try to push this study a bit further. First we give a direct proof of the theorem that if (Y,w) is a relative t-design in J(v,k) on p shells then the part in each shell must be a weighted (t−p+1)-design in the shell. In particular, it is a mixed (t−p+1)-design in one shell if the weight function is constant on each shell. We also present another approach that makes use of the Terwilliger algebra, based on the work of Tanaka. This result is essentially proved by Martin in 1998, but the proof there contains a small gap which is repaired in this paper. We also study the existence problems of tight 2-, 3- and 4-designs on one shell of Johnson association scheme J(v,k) with small parameters, say v≤1000, thereby expanding the range of search in the original paper of Martin in 1998.

Simple t-designs: A recursive construction for arbitrary t

Combinatorial t-designs from quadratic functions

Designs, permutations, and transitive groups

Constructions of $t$-designs from weighing matrices and walk-regular graphs

Infinite families of 3‐designs from APN functions

Generalized packing designs

Combinatorial t-designs from special functions

Remarks on the Concepts of T -Designs

Tight T-Designs on One Shell of Johnson Association Schemes

On Relative T-Designs in Polynomial Association Schemes

Recursive constructions for t-covering arrays

Infinite families of linear codes supporting more t-designs

A Survey on Tight Euclidean T -Designs and Tight Relative T -Designs in Certain Association Schemes

Designs from subcode supports of linear codes

New infinite families of near MDS codes holding $t$-designs

Design Theory from the Viewpoint of Algebraic Combinatorics

Infinite families of $2$-designs from two classes of linear codes

Tactical decompositions of designs over finite fields

The existence of 23 ‐decomposable super‐simple (v,4,6) ‐BIBDs

Spherical Designs of Harmonic Index T.

On point and block primitive designs invariant under permutation groups