A bound for Wilson's theorem (III)

In this article we prove the following statement. For any positive integers k ≥ 3 and λ, let c(k, λ) = exp{exp{k;rcub;}. If λv(v − 1) ≡ 0 (mod k(k − 1)) and λ(v − 1) ≡ 0 (mod k − 1) and v > c(k, λ), then a B(v, k, λ) exists. © 1996 John Wiley & Sons, Inc.     

A bound for wilson's theorem (I)

In 1975, Richard M. Wilson proved: Given any positive integers k ? 3 and λ, there exists a constant v⁰ = v⁰(k, λ) such that v ? B(k,λ) for every integer v ? v⁰ that satisfies λ(v ? 1) ≡ 0(mod k ? 1) and λv(v ? 1) ≡ 0[mod k(k ? 1)]. The proof given by Wilson does not provide an explicit value of v⁰. We try to find such a value v⁰(k, λ). In this article we consider the case λ = 1 and v ≡ 1[mod k(k ? 1)]. We show that: if k ? 3 and v = 1[mod k(k ? 1)] where v > k^kk5, then a B(v,k, 1) exists. © 1995 John Wiley & Sons, Inc.     

The Existence of BIB Designs

Abstract Given any positive integers k≥ 3 and λ, let c(k, λ) denote the smallest integer such that v∈B(k, λ) for every integer v≥c(k, λ) that satisfies the congruences λv(v− 1) ≡ 0(mod k(k− 1)) and λ(v− 1) ≡ 0(mod k− 1). In this article we make an improvement on the bound of c(k, λ) provided by Chang in [4] and prove that . In particular, . Supported by NSFC Grant No. 19701002 and Huo Yingdong Foundation     

3-(v, 4, 1) covering designs with chromatic numbers 2 and 3

A t-(v, k, λ) covering design is a pair (X, B) where X is a v-set and B is a collection of k-sets in X, called blocks, such that every t element subset of X is contained in at least λ blocks of B. The covering number, C_λ(t, k, v), is the minimum number of blocks a t-(v, k, λ) covering design may have. The chromatic number of (X, B) is the smallest m for which there exists a map φ: X → Z_m such that ∣φ((β)∣ ≥2 for all β ∈ B, where φ(β) = {φ(x): x ∈ β}. The system (X, B) is equitably m-chromatic if there is a proper coloring φ with minimal m for which the numbers ∣φ^?1(c)∣ c ∈ Z_m differ from each other by at most 1. In this article we show that minimum, (i.e., ∣B∣ = C λ (t, k, v)) equitably 3-chromatic 3-(v, 4, 1) covering designs exist for v ≡ 0 (mod 6), v ≥ 18 for v ≥ 1, 13 (mod 36), v ≡ 13 and for all numbers v = n, n + 1, where n ≡ 4, 8, 10 (mod 12), n ≥ 16; and n = 6.5^a 13^b 17^c ?4, a + b + c > 0, and n = 14, 62. We also show that minimum, equitably 2-chromatic 3-(v, 4, 1) covering designs exist for v ≡ 0, 5, 9 (mod 12), v ≥ 0, v = 2.5^a 13^b 17^c + 1, a + b + c > 0, and v = 23. © 1993 John Wiley & Sons, Inc.     

Existence results for near resolvable designs

A near resolvable design, NRB(v, k), is a balanced incomplete block design whose block set can be partitioned into v classes such that each class contains every point of the design but one, and each point is missing from exactly one class. The necessary conditions for the existence of near resolvable designs are v ≡ 1 mod k and λ = k ? 1. These necessary conditions have been shown to be sufficient for k ? {2,3,4} and almost always sufficient for k ? {5,6}. We are able to show that there exists an integer n₀(k) so that NRB(v,k) exist for all v > n₀(k) and v ≡ 1 mod k. Using some new direct constructions we show that there are many k for which it is easy to compute an explicit bound on n₀(k). These direct constructions also allow us to build previously unknown NRB(v,5) and NRB(v,6). © 1995 John Wiley & Sons, Inc.     

Completing the spectrum for LGDD (mv)

In this article, we construct LGDD(m^v) for v ≡ 2 (mod 6) and m ≡ 0 (mod 6) by constructing the missing essential values 6^v, v = 8, 14, 26, 50. Thus an LGDD(m^v) exists if and only if v(v - 1)m² ≡ 0 (mod 6), (v - 1)m ≡ 0 (mod 2) and (m, v) ≠ (1, 7). © 1997 John Wiley & Sons, Inc.     

On the 3BD‐closed set B3({4,5,6})

Let B₃(K) = {v:? an S(3,K,v)}. For K = {4} or {4,6}, B₃(K) has been determined by Hanani, and for K = {4, 5} by a previous paper of the author. In this paper, we investigate the case of K = {4,5,6}. It is easy to see that if v ∈ B₃ ({4, 5, 6}), then v ≡ 0, 1, 2 (mod 4). It is known that B₃{4, 6}) = {v > 0: v ≡ 0 (mod 2)} ? B₃({4,5,6}) by Hanani and that B₃({4, 5}) = {v > 0: v ≡ 1, 2, 4, 5, 8, 10 (mod 12) and v ≠ 13} ? B₃({4, 5, 6}). We shall focus on the case of v ≡ 9 (mod 12). It is proved that B₃({4,5,6}) = {v > 0: v ≡ 0, 1, 2 (mod 4) and v ≠ 9, 13}. © 2003 Wiley Periodicals, Inc.     

Further Results on the Existence of Splitting BIBDs and Application to Authentication Codes

Let (v,u×c,λ)-splitting BIBD denote a (v,u×c,λ)-splitting balanced incomplete block design of order v with block size u×c and index λ. Necessary conditions for the existence of a (v,u×c,λ)-splitting BIBD are v≥uc, λ(v−1)≡0 (mod c(u−1)) and λ v(v−1)≡0 (mod (c ² u(u−1))). We show in this paper that the necessary conditions for the existence of a (v,3×3,λ)-splitting BIBD are also sufficient with possible exceptions when (1) (v,λ)∈{(55,1),(39,9k):k=1,2,…}, (2) λ≡0 (mod 54) and v≡0 (mod 2). We also show that there exists a (v,3×4,1)-splitting BIBD when v≡1 (mod 96). As its application, we obtain a new infinite class of optimal 4-splitting authentication codes.     

Existence of (q,k, 1) difference families with q a prime power and k = 4, 5

The existence of a (q, k, 1) difference family in GF(q) has been completely solved for k = 3. For k = 4, 5 partial results have been given by Bose, Wilson, and Buratti. In this article, we continue the investigation and show that the necessary condition for the existence of a (q, k, 1) difference family in GF(q), i.e., q ≡ 1 (mod k(k − 1)) is also sufficient for k = 4, 5. For general k, Wilson's bound shows that a (q, k, 1) difference family in GF(q) exists whenever q ≡ 1 (mod k(k − 1)) and q > [k(k − 1)/2]^k(k−1). An improved bound on q is also presented. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 21–30, 1999     

Some results on generalized exponents

A digraph G = (V, E) is primitive if, for some positive integer k, there is a u → v walk of length k for every pair u, v of vertices of V. The minimum such k is called the exponent of G, denoted exp(G). The exponent of a vertex u ∈ V, denoted exp(u), is the least integer k such that there is a u → v walk of length k for each v ∈ V. For a set X ⊆ V, exp(X) is the least integer k such that for each v ∈ V there is a X → v walk of length k, i.e., a u → v walk of length k for some u ∈ X. Let F(G, k) : = max{exp(X) : |X| = k} and F(n, k) : = max{F(G, k) : |V| = n}, where |X| and |V| denote the number of vertices in X and V, respectively. Recently, B. Liu and Q. Li proved F(n, k) = (n − k)(n − 1) + 1 for all 1 ≤ k ≤ n − 1. In this article, for each k, 1 ≤ k ≤ n − 1, we characterize the digraphs G such that F(G, k) = F(n, k), thereby answering a question of R. Brualdi and B. Liu. We also find some new upper bounds on the (ordinary) exponent of G in terms of the maximum outdegree of G, Δ⁺(G) = max{d⁺(u) : u ∈ V}, and thus obtain a new refinement of the Wielandt bound (n − 1)² + 1. © 1998 John Wiley & Sons, Inc. J. Graph Theory 28: 215–225, 1998     

Constructions of optimal packing designs

Let v and k be positive integers. A (v, k, 1)-packing design is an ordered pair (V, B) where V is a v-set and B is a collection of k-subsets of V (called blocks) such that every 2-subset of V occurs in at most one block of B. The packing problem is mainly to determine the packing number P(k, v), that is, the maximum number of blocks in such a packing design. It is well known that P(k, v) ≤ ⌊v⌊(v − 1)/(k − 1)⌋/k⌋ = J(k, v) where ⌊×⌋ denotes the greatest integer y such that y ≤ x. A (v, k, 1)-packing design having J(k, v) blocks is said to be optimal. In this article, we develop some general constructions to obtain optimal packing designs. As an application, we show that P(5, v) = J(5, v) if v ≡ 7, 11 or 15 (mod 20), with the exception of v ∈ {11, 15} and the possible exception of v ∈ {27, 47, 51, 67, 87, 135, 187, 231, 251, 291}. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 245–260, 1998     

The existence of resolvable bibd with λ=1

Letk be any integer andk≥-3. In this article it is proved that the necessary conditionv≡k (modk(k−1)) for the existence of anRB(v,k,1) is sufficient wheneverv>exp{exp{k ^{12k 2} }}. This project is supported by the National Natural Science Foundation of China (No.19701002) and Huo Yingdong Foundation.     

Small Uniformly Resolvable Designs for Block Sizes 3 and 4

A uniformly resolvable design (URD) is a resolvable design in which each parallel class contains blocks of only one block size k, such a class is denoted k‐pc and for a given k the number of k‐pcs is denoted r_k. In this paper, we consider the case of block sizes 3 and 4 (both existent). We use v to denote the number of points, in this case the necessary conditions imply that v ≡ 0 (mod 12). We prove that all admissible URDs with v < 200 points exist, with the possible exceptions of 13 values of r₄ over all permissible v. We obtain a URD({3, 4}; 276) with r₄ = 9 by direct construction use it to and complete the construction of all URD({3, 4}; v) with r₄ = 9. We prove that all admissible URDs for v ≡ 36 (mod 144), v ≡ 0 (mod 60), v ≡ 36 (mod 108), and v ≡ 24 (mod 48) exist, with a few possible exceptions. Recently, the existence of URDs for all admissible parameter sets with v ≡ 0 (mod 48) was settled, this together with the latter result gives the existence all admissible URDs for v ≡ 0 (mod 24), with a few possible exceptions.     

Large sets of resolvable MTS and DTS of orders pn + 2

An LRMTS(v) [resp., LRDTS(v)] is a large set consisting of v − 2 [resp., 3(v − 2)] disjoint resolvable Mendelsohn (resp., directed) triple systems of order v. In this article, we give a method to construct LRMTS(pⁿ + 2) and LRDTS(pⁿ + 2), where pⁿ is a prime power and pⁿ ≡ 1 (mod 6). Using the method and a recursive construction v → 3v, some unknown LRMTS(v) and LRDTS(v) are obtained such as for v = 69, 123, 141, 159, and 3^km, where k ≥ 1, m ϵ {7, 13, 37, 55, 57, 61, 65, 67}. © 1996 John Wiley & Sons, Inc.     

Existence of directed GDDs with block size five

In this article, we construct directed group divisible designs (DGDDs) with block size five, group-type hⁿ, and index unity. The necessary conditions for the existence of such a DGDD are n ≥ 5, (n − 1)h ≡ 0 (mod 2) and n(n − 1)h² ≡ 0 (mod 10). It is shown that these necessary conditions are also sufficient, except possibly for n = 15 where h ≡ 1 or 5 (mod 6) and h ≢ 0 (mod 5), or (n, h) = (15, 9). © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 389–402, 1998     

Existence results for KS3(v; 2, 4)s

A Kirkman square with index λ, latinicity μ, block size k and v points, KS_k(v; μ, λ), is a t × t array (t = λ(v − 1)/μ(k − 1)) defined on a v-set V such that (1) each point of V is contained in precisely μ cells of each row and column, (2) each cell of the array is either empty or contains a k subset of V, and (3) the collection of blocks obtained from the nonempty cells of the array is a (v, k, λ)-BIBD. The existence question for KS₂(v; μ, λ) has been completely selttled. We are interested in the next case k = 3. The case k = 3 and μ = λ = 1 appears to be quite difficult, although some existence results are available. For λ > 1 and μ ⩾ 1, the problem is more tractable. In this paper, we prove the existence of KS₃(v; 2, 4) for v ≡ 3 (mod 12), v ≡ 6 (mod 60) and v ≡ 9 (mod 96).     

Block designs with large holes and α -resolvable BIBDs

In a (v, k, λ: w) incomplete block design (IBD) (or PBD [v, {k, w^*}. λ]), the relation v ≥ (k ? 1)w + 1 must hold. In the case of equality, the IBD is referred to as a block design with a large hole, and the existence of such a configuration is equivalent to the existence of a λ-resolvable BIBD(v ? w, k ? 1, λ). The existence of such configurations is investigated for the case of k = 5. Necessary and sufficient conditions are given for all v and λ ? 2 (mod 4), and for λ ≡ 2 mod 4 with 11 possible exceptions for v. © 1993 John Wiley & Sons, Inc.     

An existence theory for pairwise balanced designs,III: Proof of the existence conjectures

Given positive integers k and λ, balanced incomplete block designs on v points with block size k and index λ exist for all sufficiently large integers v satisfying the congruences λ(v ? 1) ≡ 0 (mod k ? 1) and λv(v ? 1) ≡ 0 (mod k(k ? 1)). Analogous results hold for pairwise balanced designs where the block sizes come from a given set K of positive integers. We also observe that the number of nonisomorphic designs on v points with given block size k > 2 and index λ tends to infinity as v increases (subject to the above congruences).     

Some results on (v,{5,w*})-pbds

In this article, we construct pairwise balanced designs (PBDs) on v points having blocks of size five, except for one block of size w ? {17,21,25,29,33}. A necessary condition for the existence of such a PBD is v ? 4w + 1 and (1) v ≡ 1 or 5 (mod 20) for w = 21, 25; (2) v ≡ 9 or 17 (mod 20) for w = 17,29; (3) v ≡ 13 (mod 20) for w = 33. We show that these necessary conditions are sufficient with at most 25 possible exceptions of (v,w). We also show that a BIBD B(5, 1; w) can be embedded in some B(5, 1; v) whenever v ≡ w ≡ 1 or 5 (mod 20) and v ? 5w ? 4, except possibly for (v, w) = (425, 65). © 1995 John Wiley & Sons, Inc.     

On the decomposition of λK into regular tournaments of order 5

An RTD[5,λ; v] is a decomposition of the complete symmetric directed multigraph, denoted by λK, into regular tournaments of order 5. In this article we show that an RTD[5,λ; v] exists if and only if (v?1)λ ≡ 0 (mod 2) and v(v?1)λ ≡ 0 (mod 10), except for the impossible case (v,λ) = (15,1). Furthermore, we show that for each v ≡ 1,5 (mod 20), v ≠ 5, there exists a B[5,2; v] which is not RT₅-directable. © 1994 John Wiley & Sons, Inc.