# Tactical configuration

$t$-design, $t$-$( v, k, \lambda )$-design on a $v$-set $S$

A $t$-design is a system of $k$-subsets (blocks) of the set $S$ such that every $t$-subset of elements of $S$ appears in exactly $\lambda$ blocks. The class of $2$-designs coincides with the class of balanced incomplete block designs (cf. Block design). The name tactical configuration is given to an incidence system in which every set is incident with exactly $k$ elements, while every element is incident with exactly $r$ sets. A $t$-design with $t = k$ is called trivial. If a $t$-design is not trivial, then

$$t + 1 \leq k \leq v - 1 - t.$$

Every $t$-design is an $s$-design for any $s \leq t$. The number $\lambda _ {s}$ of occurrences of an arbitrary $s$-subset in the blocks of a $t$-design is given by the formula

$$\lambda _ {s} = \ \left ( \begin{array}{c} k - s \\ t - s \end{array} \right ) ^ {-1} \left ( \begin{array}{c} v - s \\ t - s \end{array} \right ) \lambda ,\ \ 0 < s \leq t.$$

The condition that the $\lambda _ {s}$ be integers is a necessary condition for the existence of a $t$-design. In particular, for $t \geq 2$ every $t$-design is a balanced incomplete block design.

The main question concerning $t$-designs is the problem of their existence and construction. For a long time, for $t > 3$ only isolated examples were known; in particular $5$-$( 12, 6, 1)$- and $5$-$( 24, 8, 1)$-designs connected with the five-fold transitive Mathieu groups $M _ {12}$ and $M _ {24}$ (cf. Mathieu group), respectively. However, in the 1960s the connection between $t$-designs and coding theory (cf. Code) was discovered (see, for example,  and ), and, starting from vectors with $v$ non-zero coordinates, a way was shown of constructing a $t$-design belonging to a linear $( n, k)$-code, which is a $k$-dimensional vector subspace of an $n$-dimensional space over a finite field (see  and ).

It is well known that $t$-fold transitive groups other than the symmetric and the alternating groups lead to non-trivial $t$-designs; this yields a few infinite series of $3$-designs. With the help of ideas from group theory and geometry, infinite classes of $4$- and $5$-designs were also constructed (see for example ).

For the number $b$ of blocks in a $t$-design there is the inequality

$$\tag{* } b \geq \ \left \{ \begin{array}{ll} \left ( \begin{array}{c} v \\ s \end{array} \right ) & \textrm{ if } t = 2s, v \geq k + s, \\ 2 \left ( \begin{array}{c} v - 1 \\ s \end{array} \right ) & \textrm{ if } t = 2s + 1, v - 1 \geq k + s, \\ \end{array} \right.$$

generalizing the Fisher inequality $( b \geq v)$ for balanced incomplete block designs. In the case of equality in (*), the $t$-design is called tight. Tight $t$-designs generalize symmetric $2$-designs; in particular, for $t = 2s$ the set of intersection numbers of blocks in a tight $t$-design contains exactly $s$ different elements.

The tight $3$-designs are the Hadamard designs, i.e. they are the $3$-$( 4n, 2n, n- 1)$-designs, while for $s \geq 2$ there are no non-trivial tight $( 2s + 1)$-designs. From a given $t$-$( v, k, \lambda )$-design three other $t$-designs can be obtained: a) taking the complement in $S$ of each block; b) discarding an arbitrary element and all the blocks that contain it; and c) taking blocks containing an arbitrarily chosen element and removing it from them. The $t$-designs thus obtained are called, respectively, the complementary, the residual and the derived $t$-design with respect to the initial one. They are, respectively, a $t$-$( v, v- k, \lambda ^ {c} )$-design with

$$\lambda ^ {c} = \ \left ( \begin{array}{c} k \\ t \end{array} \right ) ^ {-1} \left ( \begin{array}{c} v - k \\ t \end{array} \right ) \lambda ,$$

a $( t - 1)$-$( v- 1, k, \lambda ^ {r} )$-design with

$$\lambda ^ {r} = ( v - k) ( k - t + 1) ^ {-1} \lambda$$

and a $( t - 1)$-$( v- 1, k- 1, \lambda )$-design.

How to Cite This Entry:
Tactical configuration. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Tactical_configuration&oldid=52231
This article was adapted from an original article by V.E. Tarakanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article