Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

# Pairwise Balanced Designs with Prescribed Minimum Dimension

## Abstract

The dimension of a linear space is the maximum positive integer d such that any d of its points generate a proper subspace. For a set K of integers at least two, recall that a pairwise balanced design $$\operatorname{PBD}(v,K)$$ is a linear space on v points whose lines (or blocks) have sizes belonging to K. We show that, for any prescribed set of sizes K and lower bound d on the dimension, there exists a $$\operatorname{PBD}(v,K)$$ of dimension at least d for all sufficiently large and numerically admissible v.

## Introduction

An incidence structure is a triple $$(X,{\mathcal{L}},\iota)$$, where X is a set of points, $${\mathcal{L}}$$ is a set of lines, and $$\iota\subset X \times {\mathcal{L}}$$ is a set of flags. We say xX is incident with or simply on $$L \in {\mathcal{L}}$$ (and vice-versa) if and only if (x,L)∈ι.

A linear space is an incidence structure $$(X,{\mathcal{L}},\iota)$$ with the property that every line is on at least two points and any two distinct points are both on exactly one line. In what follows X (and hence $${\mathcal{L}}$$) are assumed finite. The trivial case in which all points are on the same line is not excluded by our definition but it is effectively ruled out. (We would like to count lines as ‘subspaces’ later on; apart from this, nontriviality can be assumed.)

Linear spaces appear in another context as pairwise balanced designs (or PBDs). Specifically, if v is a positive integer and $$K \subset {\mathbb{Z}}_{\ge2}:= \{2,3,4,\dots\}$$ is a set of block sizes, a $$\operatorname{PBD}(v,K)$$ consists of a v-set X, together with a set $${\mathcal{B}}$$ of blocks, where

• for each $$B \in {\mathcal{B}}$$, we have BX with |B|∈K; and

• any two distinct elements of X appear together in exactly one block.

Note that there are numerical constraints on v given K. First, the number of pairs of distinct points must be expressible as a (nonnegative) integral linear combination of the number of distinct pairs arising from blocks with sizes in K. This leads to the global condition

$$v(v-1) \equiv0 \quad (\operatorname {mod}\beta(K))\qquad{\mathrm{(global)}},$$

where β(K):=gcd{k(k−1):kK}. Also, deleting any point xX from its incident blocks must partition the remaining points. That is, v−1 is an integral combination of k−1, kK. This is the local condition, namely

$$v-1 \equiv0 \quad (\operatorname {mod}\alpha(K))\qquad{\mathrm{(local)}},$$

where α(K):=gcd{k−1:kK}.

We can interchangeably discuss linear spaces and PBDs, identifying lines with the respective subsets of incident points as blocks. So in what follows, notation such as $$(X,{\mathcal{B}})$$ is used for PBDs and the associated linear spaces; the incidence relation ι is seldom used from now on. However, we occasionally retain some terminology from linear spaces (i.e. points, lines, spaces) when discussing PBDs.

Despite the similarity in the definitions, there is usually a difference in focus between the study of PBDs and linear spaces. The former is usually approached with a fixed K in mind, asking for which v we have existence. The latter often concerns additional structures such as configurations or localizations at points. Some features, such as parallelism, appear in both contexts.

Define $$(X',{\mathcal{B}}')$$ as a subspace (or subdesign) of $$(X,{\mathcal{B}})$$ if X′⊆X and $${\mathcal{B}}' \subseteq {\mathcal{B}}$$. That is, two distinct points in X′ must be covered by a unique block in $${\mathcal{B}}'$$. Recalling that we permit trivial spaces, the points on a single line (block) always form a subspace. As usual, a subspace on X′ is called proper if X′≠X.

In $$(X,{\mathcal{B}})$$, the subspace generated by YX is the unique minimal subspace containing Y. Let us denote this (set of points) by $$\langle Y \rangle_{{\mathcal{B}}}$$, where the subscript can be deleted if context is clear. On the one hand, 〈Y〉 is the intersection of all subspaces containing Y. Alternatively, 〈Y〉 can be computed algorithmically starting from Y by repeatedly including points on lines defined by existing points.

The dimension of a linear space is the maximum integer d such that any set of d points generates a proper subspace. For instance, the subspace generated by any two points is the line containing them. So every nontrivial linear space has dimension at least two. See [4] and Chap. 7 of [1] for nice surveys of dimension in linear spaces.

It is unfortunate that the property of dimension has seldom made its way into the language of PBDs, and into design theory in general. However, there are important exceptions to this.

Recall that a Steiner triple system is a $$\operatorname{PBD}(v,\{3\})$$. It is well known that Steiner triple systems on v points exist if and only if v≡1 or 3 $$(\operatorname {mod}6)$$. A Steiner space is defined to be a Steiner triple system of dimension at least 3. Teirlinck in [9] nearly completely settled the existence of Steiner spaces. The result is that for v≡1 or 3 $$(\operatorname {mod}6)$$ and v∉{51,67,69,145}, there exists a Steiner space on v points if and only if v=15,27,31,39, or v≥45. The four undecided cases are still open, to the best of our knowledge.

Another important family of linear spaces, especially in design theory, is that of the affine spaces. Let q be a prime power and $$\mathbb{F}_{q}$$ the finite field of order q. Consider the vector space $$X=\mathbb {F}_{q}^{d}$$ as points, together with all possible translates of subspaces x+WX as ‘flats’. This forms the affine space AG d (q).

Let $${\mathcal{B}}$$ be the set of all lines in AG d (q). From basic linear algebra, we see that $$(X,{\mathcal{B}})$$ is a linear space (PBD) of dimension d, since d-point-generated subspaces correspond to proper flats (and some d+1 points generate the whole space). There are v=q d points and every line has exactly k=q points. In other words, this is a $$\operatorname{PBD}(q^{d},\{q\})$$ of dimension d.

We hope for at least a small revival in the study of dimension in design theory. To this end, we present an existence theory that treats arbitrary block size(s) for all sufficiently large and admissible v=|X|.

### Theorem 1.1

(Main Theorem, Full Version)

Given $$K \subseteq {\mathbb{Z}}_{\ge2}$$ and $$d \in {\mathbb{Z}}_{+}$$, there exists a $$\operatorname{PBD}(v,K)$$ of dimension at least d for all sufficiently large v satisfying (global) and (local).

When K={k}, we have α(K)=k−1 and β(K)=k(k−1). Since this is often the case of primary interest, and for clarity of presentation, we first prove this case separately. There is not much loss in economy, since most of the proof can be re-used to establish Theorem 1.1.

### Theorem 1.2

(Main Theorem, Weak Version)

For $$k \in {\mathbb{Z}}_{\ge2}$$ and $$d \in {\mathbb{Z}}_{+}$$, there exists a $$\operatorname{PBD}(v,\{k\})$$ of dimension at least d for all sufficiently large v satisfying

\begin{aligned} v-1 \equiv& 0 \quad (\operatorname {mod}k-1);\quad \textit{and} \\ v(v-1) \equiv& 0 \quad (\operatorname {mod}k(k-1)). \end{aligned}

Very broadly, the proofs proceed by applying some standard design-theoretic constructions to the affine space of dimension d, ensuring that the dimension stays preserved. We introduce the needed background for the techniques in the next section. Then, in Sect. 3, we carry out a certain sequence of constructions and prove that ‘intervals’ of constructible values of v eventually overlap. Finally, we finish with a discussion of some related items, including a surprising connection with a problem in extremal graph theory.

## Constructions

First off, we state Wilson’s famous ‘asymptotic’ existence result for PBDs.

### Theorem 2.1

(Wilson’s Theorem [10])

Given $$K \subseteq {\mathbb{Z}}_{\ge2}$$, there exists v 0 such that a $$\operatorname{PBD}(v,K)$$ exists for all vv 0 satisfying (global) and (local).

Note that our main result simply says that one can demand a minimum dimension in this theorem.

The replication number of a $$\operatorname{PBD}(v,\{k\})$$ is the common number $$r=\frac{v-1}{k-1}$$ of blocks incident with each point. The local necessary condition for K={k} amounts to r≡0 $$(\operatorname {mod}1)$$. The global condition is easily seen as equivalent to r(r−1)≡0 $$(\operatorname {mod}k)$$. So we can restate Wilson’s theorem in terms of replication numbers. This proves convenient in what follows.

### Corollary 2.2

Given k≥2, there exists r 0(k) such that a PBD with blocksize k and replication number r exists for all rr 0 satisfying r(r−1)≡0 $$(\operatorname {mod}k)$$.

It is clear that blocks of a PBD can be replaced by other PBDs. That is, the existence of a $$\operatorname{PBD}(v,K)$$ and, for each kK, a $$\operatorname{PBD}(k,L)$$ implies the existence of a $$\operatorname{PBD}(v,L)$$. This construction, which is usually known as ‘breaking up blocks’, respects dimension in a certain sense.

### Construction 2.3

Suppose there exists a $$\operatorname{PBD}(v,K)$$ of dimension d and, for each kK, any $$\operatorname{PBD}(k,L)$$. Then there exists a $$\operatorname{PBD}(v,L)$$ of dimensiond.

### Proof

In the $$\operatorname{PBD}(v,K)$$, say $$(X,{\mathcal{B}})$$, replace each block B of size k with a $$\operatorname{PBD}(k,L)$$ on the points of B. The result is a $$\operatorname{PBD}(v,L)$$, say $$(X,{\mathcal{B}}_{1})$$. It remains to check the dimension. Suppose a set Y of d points is given. They generate a proper subspace X′ in $$(X,{\mathcal{B}})$$ by hypothesis. But this remains a subspace in $${\mathcal{B}}_{1}$$ after replacement of blocks by PBDs. □

A group divisible design is a triple $$(X,\varPi,{\mathcal{B}})$$, where X is a set of points, Π is a partition of X into groups, and $${\mathcal{B}}$$ is a set of blocks such that

• a group and a block intersect in at most one point; and

• every pair of points from distinct groups is together in exactly one block.

We refer to this as a GDD or K-GDD, the latter emphasizing that the blocks have sizes in $$K \subseteq {\mathbb{Z}}_{\ge2}$$. The type of a GDD is the list of its group sizes. When this list contains, say, u copies of the integer g, this is abbreviated with ‘exponential notation’ as g u. Another standard abbreviation is the use of k-GDD instead of {k}-GDD.

A transversal design $$\operatorname{TD}(k,n)$$ is a k-GDD of type n k. In this case, every block meets every group in one point.

We make use of two more important asymptotic existence results for the preceding objects.

### Theorem 2.4

(Chowla, Erdős, Strauss [2])

Given k≥2, there exists n 0(k) such that a $$\operatorname{TD}(k,n)$$ exists for all nn 0(k).

### Theorem 2.5

(Liu [7])

Given $$K \subseteq {\mathbb{Z}}_{\ge2}$$ and $$g \in {\mathbb{Z}}_{+}$$, there exists u 0 such that a K-GDD of type g u exists for all uu 0 satisfying

\begin{aligned} g(u-1) \equiv& 0 \quad (\operatorname {mod}\alpha(K)), \\ g^2 u(u-1) \equiv& 0 \quad (\operatorname {mod}\beta(K)), \end{aligned}

where α and β are as defined earlier.

### Remark

One proof of Theorem 2.5 follows from edge-colored graph decompositions; see Sect. 8 of [6].

We can regard a GDD $$(X,\varPi,{\mathcal{B}})$$ as the linear space (or PBD) $$(X,{\mathcal{B}}\cup\varPi)$$, where groups and blocks are taken together to form lines. Alternatively, we could consider the linear space $$(X, {\mathcal{B}}\cup\varPi _{2})$$, where Π 2 denotes the set of all pairs of distinct points from common groups. Each of these interpretations allows one to talk about dimension for GDDs, the former being stronger (lower dimension) in general. For our purposes, though, we prefer to take an even stronger notion for dimension.

Given a GDD, say $$(X,\varPi,{\mathcal{B}})$$, let us call a subspace X′⊂X strong if it intersects each group of Π in either all points or no points. A strong subspace is then proper if it is disjoint from at least one group. (In practice, many groups will be missed.) Correspondingly, the strong dimension of a GDD is the maximum number of points which always generates a proper strong subspace. With a $$\operatorname{PBD}(v,K)$$ regarded as a K-GDD of type 1v, strong dimension coincides with ordinary dimension in this case. On the other hand, the strong dimension of a transversal design is just 1, since two points from different groups generate a block of the TD, which in turn intersects all groups.

Given a PBD, say $$(X,{\mathcal{B}})$$, if we delete a point x and all incident blocks $${\mathcal{B}}_{x}$$, the result is a GDD $$(X \setminus\{x\}, \varPi_{x}, {\mathcal{B}}\setminus {\mathcal{B}}_{x})$$. Here, the group partition Π x is given by the (now missing) punctured lines B∖{x}, where $$B \in {\mathcal{B}}_{x}$$. Reversing this process, if we are given a GDD, say $$(X,\varPi,{\mathcal{B}})$$, we can add a point ∞ and replace groups with new blocks, all incident with ∞. One might abbreviate this PBD by $$(X^{*},{\mathcal{B}}^{*})$$, where X =X∪{∞} and $${\mathcal{B}}^{*} = {\mathcal{B}}\cup\{X_{i} \cup\{\infty\}: X_{i} \in\varPi\}$$.

### Lemma 2.6

If $$(X,\varPi,{\mathcal{B}})$$ has strong dimension d, then $$(X^{*},{\mathcal{B}}^{*})$$ has dimensiond.

### Proof

Consider a set Y of d points in $$(X^{*},{\mathcal{B}}^{*})$$. By hypothesis, Y∖{∞} is contained in a proper strong subspace X′ of $$(X,\varPi,{\mathcal{B}})$$. After ∞ is included X′∪{∞} becomes a proper subspace in $${\mathcal{B}}^{*}$$, since $${\mathcal{B}}^{*}$$ contains blocks X i ∪{∞} for any group X i X′. □

More generally, one can place PBDs, instead of single new blocks, on each extended group. This is similar to Construction 2.3.

### Construction 2.7

Suppose there exists a K-GDD on v points with group sizes in G. If, for each gG, there exists a $$\operatorname{PBD}(g+1,K)$$, then there exists a $$\operatorname{PBD}(v+1,K)$$. Furthermore, if the GDD has strong dimension d, then the resultant PBD has dimensiond.

Rather than deleting a point, one could instead truncate xX, replacing all blocks $$B \in {\mathcal{B}}_{x}$$ by new blocks B∖{x}. (New blocks of size 1 can be ignored.) If the original space is a PBD or GDD, then so is the truncation. It is a common design-theoretic technique to truncate several points from the same group of a GDD. In this case, the modified blocks are only reduced in size by one.

### Construction 2.8

If some, but not all, points of some group are truncated from a GDD, then its strong dimension does not decrease.

### Proof

Take a GDD $$(X,\varPi,{\mathcal{B}})$$ of strong dimension d, and truncate ZX from a common group. Consider a set Y of d points in XZ. By assumption, Y is contained in a proper strong subspace X′⊂X. Since no group has been deleted by the truncation, X′ remains a proper strong subspace in XZ. □

Next is a powerful composition construction which played a key role in the proof of Theorem 2.1.

### Construction 2.9

(Wilson’s Fundamental Construction)

Suppose there exists a ‘master’ GDD $$(X,\varPi,{\mathcal{B}})$$, where Π={X 1,…,X u }. Let ω:X→{0,1,2,…}, assigning nonnegative weights to each point in such a way that for every $$B \in {\mathcal{B}}$$ there exists an ‘ingredient’ K-GDD of type ω(B):=[ω(x)∣xB]. Then there exists a K-GDD of type

$$\omega(\varPi):= \biggl[\sum_{x \in X_1} \omega(x),\dots, \sum_{x \in X_u} \omega(x) \biggr].$$

Furthermore, if the master GDD has strong dimension d, then the resultant GDD has strong dimensiond.

### Proof

The construction proceeds by replacing each point xX by a new set of x 1,…,x ω(x) of ω(x) points, maintaining the group partition. So the type becomes ω(Π). Every block of the master, say $$B \in {\mathcal{B}}$$, is replaced by a copy of the GDD of type ω(B) as defined. In the resultant, if two points x i ,y j from different groups are given, their ‘projections’ x,y belong to different groups, and therefore a unique block in the master. This block was replaced by a unique ingredient GDD. It follows that x i ,y j appear together in a unique block in this ingredient, and therefore in the resultant.

For the claim on dimension, suppose a set of d points is given in the resultant. They arose from at most d points, say YX in the master GDD. By assumption, Y is contained in a proper strong subspace X′⊂X. It is clear that X′ lifts to a strong proper subspace {x i :xX′,i=1,…,ω(x)} in the resultant, since two points from different groups in X′ lie on a block of some ingredient GDD placed on X′. □

## Proof of the Main Theorem

Starting from the points and lines of AG d (q), let us apply Construction 2.9 with a large uniform weighting ω(x)≡n, replacing blocks with $$\operatorname{TD}(q,n)$$ for nn 0(q). These ingredients exist by virtue of Theorem 2.4.

### Proposition 3.1

For any positive integer d and any prime power q, there exists a q-GDD of strong dimensiond and type $$n^{(q^{d})}:= [\underbrace {n,\dots,n}_{q^{d}}]$$ for all sufficiently large integers n.

Next, apply Construction 2.3 to break up blocks of size q by replacing them with $$\operatorname{PBD}(q,\{r\})$$ when possible. We can then truncate the last group via Construction 2.8, dropping some block sizes by one.

### Proposition 3.2

For any positive integers d and r with r≥3, there exists an {r−1,r}-GDD of strong dimensiond and type $$n^{(q^{d}-1)} x^{1}$$ for all large prime powers q≡1 $$(\operatorname {mod}r(r-1))$$, all sufficiently large integers n, and for any positive integer xn.

Now, take r such that both r and r−1 are replication numbers for PBDs with blocksize k. That is, take r such that k-GDD of type (k−1)r and (k−1)r−1 both exist. (It suffices to take r≡1 $$(\operatorname {mod}k)$$ and large, by Corollary 2.2, and delete a point.) Apply Construction 2.9 once again, using weights ω(x)≡k−1 and these k-GDDs.

### Proposition 3.3

For any positive integers d and k with k≥2, there exists a k-GDD of dimensiond and type $$[n(k-1)]^{(q^{d}-1)} [x(k-1)]^{1}$$ for large prime powers q≡1 $$(\operatorname {mod}k(k-1))$$, all sufficiently large integers n, and for any positive integer xn.

### Remark

The conditions on q remain q≡1 $$(\operatorname {mod}r(r-1))$$ and large; the preceding results hold for an infinite sequence of q≡1 $$(\operatorname {mod}k(k-1))$$ since k(k−1)|r(r−1).

Finally, invoke Lemma 2.6. That is, add a point and fill groups with PBDs having blocksize k and replication numbers n,x, which exist again by Corollary 2.2 for admissible n,xr 0(k). It is actually enough for our purposes to assume kn.

### Proposition 3.4

For any positive integers d and k with k≥2, there exists a PBD of blocksize k, dimensiond, and replication number n(q d−1)+x for infinitely many prime powers q≡1 $$(\operatorname {mod}k(k-1))$$, all sufficiently large integers n with kn, and for any integer x with r 0(k)≤xn and x(x−1)≡0 $$(\operatorname {mod}k)$$.

It remains to observe that these ‘intervals’ of constructible replication numbers overlap for large n. This is facilitated by the following easy observation.

### Lemma 3.5

Given positive integers A,c, every sufficiently large integer y with can be represented as y=nA+x for some integers n and x, cxn.

### Proof

Suppose yA(A+c+1)+c and apply the division algorithm to yc and A. We have yc=nA+m, 0≤m<A. Put x=m+c. We have A(A+c+1)+cy<(n+1)A+c, which implies A+c<n. It follows that x lies in the required interval. □

We can now give a proof of (the weak version of) the main theorem.

### Proof of Theorem 1.2

It suffices to prove that PBDs of blocksize k and dimension ≥d exist with all sufficiently large replication numbers y satisfying y(y−1)≡0 $$(\operatorname {mod}k)$$. Starting from the given k, let us choose r and then q as above. Apply Lemma 3.5 with A=k(q d−1) and c=r 0(k) to write y=n(q d−1)+x for some integer n divisible by k, and where r 0(k)≤xn. We may further assume that y is sufficiently large so that nn 0(q). Since kn and xy $$(\operatorname {mod}k(k-1))$$, the hypotheses of Proposition 3.4 are satisfied. This produces a PBD with the desired replication number y. □

We turn our attention now to the full version, Theorem 1.1. For starters, it should be remarked that some (perhaps enough, after some work) of this follows as a corollary of Theorem 1.2, appealing to Construction 2.3. But it is easy enough to simply strengthen certain steps in the above proof.

Let α:=α(K), β:=β(K), and observe that αβ. Put γ:=β/α. The necessary and asymptotically sufficient conditions for $$\operatorname{PBD}(v,K)$$ can be rewritten as v=αy+1, where y is an integer satisfying y(αy+1)≡0 $$(\operatorname {mod}\gamma)$$. Note that this extends Corollary 2.2, since αy+1≡1−y $$(\operatorname {mod}\gamma)$$ in the case α=k−1, γ=k. As before, it suffices to realize PBDs of dimension ≥d for all large values of y having this form. Let us suppose Wilson’s theorem delivers a lower bound of y 0=y 0(K) for existence of $$\operatorname{PBD}(\alpha y+1,K)$$.

We work from Proposition 3.2. Choose r now so that K-GDD of type α r and α r−1 both exist, appealing to Theorem 2.5. (It is enough to take r≡1 $$(\operatorname {mod}\gamma)$$ and large.) Apply Construction 2.9 with constant weight α. Fill with $$\operatorname{PBD}(n\alpha+1,K)$$ and $$\operatorname{PBD}(x \alpha+1,K)$$, which exist for sufficiently large n,x in appropriate congruence classes. For convenience, we can assume γn. Here is the extension of Proposition 3.4.

### Proposition 3.6

For any positive integer d and subset $$K \subseteq {\mathbb{Z}}_{\ge2}$$, there exists a $$\operatorname{PBD}(v,K)$$ of dimensiond with v=[n(q d−1)+x]α+1 for infinitely many prime powers q≡1 $$(\operatorname {mod}\beta)$$, all sufficiently large integers n with γn, and for any integer x with y 0xn and x(αx+1)≡0 $$(\operatorname {mod}\gamma)$$.

The strong version of our main result now easily follows.

### Proof of Theorem 1.1

Let y be large and admissible for $$\operatorname{PBD}(\alpha y +1,K)$$. Choose r,q,n (in that order) according to the above requirements. The choice of n requires nn 0(q) but also comes from Lemma 3.5 with A=γ(q d−1), and c=y 0(K) so that y=n(q d−1)+x for y 0xn(q−1). We have γn and xy $$(\operatorname {mod}\beta )$$. It follows that n,x are admissible for Proposition 3.6, yielding the desired PBD. □

## Discussion

With similar (perhaps slightly more technical) constructions, it is often possible to compute an effective bound on v for certain d,K. For example, consider the case d=3, K={3,4,5}. This K is interesting because α(K)=1, β(K)=2, and in fact any positive integer v≠2,6,8 admits a $$\operatorname{PBD}(v,\{3,4,5\})$$; see [3] for instance. In a recent thesis [8], Niezen has shown that $$\operatorname{PBD}(v,\{3,4,5\})$$ of dimension 3 exist for all v≥48, treating also many smaller values of v.

This brings up an interesting side note. We have stated our main theorem with only a lower bound on dimension. In concrete cases, such as K={3,4,5}, it is possible to adapt an argument of Teirlinck in Sect. 2 of [9] to ‘break’ a space and reduce its dimension to exactly a desired d. However, the argument relies on existence of (possibly small) spaces of dimension exactly two; while this is usually easy when such spaces exist, we are far from a complete existence theory for PBDs having general K.

Even more challenging is an existence theory for t-wise balanced designs, where every t-element subset of points is contained in a unique block. Our main theorem is not likely to prove useful for such objects, yet it does concern something weaker (but related). In a $$\operatorname{PBD}(v,K)$$ of dimension t, every t-subset of points is contained in a proper subdesign (which may be a single block). These can be viewed as t-wise ‘covering’ designs, but we must regard certain subdesigns as blocks.

Finally, we would like to mention a neat application of dimension and generated subspaces. Consider again the case d=3 and K={3,4,5}. Suppose we slightly strengthen the dimension-3 requirement by (universally) bounding the three-point generated subspaces as v grows. (It should not be difficult to obtain a general result along these lines.) For example, it was shown in [5] that, for all integers v, there exist $$\operatorname{PBD}(v,\{3,4,5\})$$ such that any three points generate a subspace of size <1000. (This bound is far from best possible.) An interesting consequence is that one can construct, using these linear spaces, one-factorizations (i.e. n-edge-colorings) of the complete bipartite graphs K n,n which universally bound the longest bi-colored cycle. That this quantity can be universally bounded with respect to n seems to be a surprising result.

## References

1. 1.

Batten, L.M., Beutelspacher, A.: The Theory of Finite Linear Spaces: Combinatorics of Points and Lines. Cambridge University Press, Cambridge (1993)

2. 2.

Chowla, S., Erdös, P., Strauss, E.G.: On the maximal number of pairwise orthogonal Latin squares of a given order. Can. J. Math. 12, 204–208 (1960)

3. 3.

Colbourn, C.J., Dinitz, J.H. (eds.): The CRC Handbook of Combinatorial Designs, 2nd edn. CRC Press, Boca Raton (2006)

4. 4.

Delandtsheer, A.: Dimensional linear spaces. In: Handbook of Incidence Geometry, pp. 193–294. North-Holland, Amsterdam (1995)

5. 5.

Dukes, P.J., Ling, A.C.H.: Linear spaces with small generated subspaces. J. Comb. Theory, Ser. A 116, 485–493 (2009)

6. 6.

Lamken, E.R., Wilson, R.M.: Decompositions of edge-colored complete graphs. J. Comb. Theory, Ser. A 89, 149–200 (2000)

7. 7.

Liu, J.: Asymptotic existence theorems for frames and group divisible designs. J. Comb. Theory, Ser. A 114, 410–420 (2007)

8. 8.

Niezen, J.: Pairwise balanced designs of dimension three. M.Sc. thesis, University of Victoria (2013)

9. 9.

Teirlinck, L.: On Steiner spaces. J. Comb. Theory, Ser. A 26, 103–114 (1979)

10. 10.

Wilson, R.M.: An existence theory for pairwise balanced designs: II, the structure of PBD-closed sets and the existence conjectures. J. Comb. Theory, Ser. A 13, 246–273 (1972)

## Acknowledgements

Research of Peter J. Dukes is supported by NSERC.

## Author information

Correspondence to Peter J. Dukes.

## Rights and permissions

Reprints and Permissions

Dukes, P.J., Ling, A.C.H. Pairwise Balanced Designs with Prescribed Minimum Dimension. Discrete Comput Geom 51, 485–494 (2014). https://doi.org/10.1007/s00454-013-9564-3

• Revised:

• Accepted:

• Published:

• Issue Date:

### Keywords

• Linear space
• Dimension
• Pairwise balanced design
• Subdesign