Modified frames with block size 3

A modified (k, λ)‐frame of type g^u is a modified (k, λ)‐GDD whose blocks can be partitioned into holey parallel classes, each of which is with respect to some group. Modified frames can be used to construct some other resolvable designs such as resolvable group divisible designs and semiframes. In this article, we shall investigate the existence of modified frames with block size 3. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 351–363, 2008     

Group Divisible Designs with Block Size Four and Group Type for

Nonuniform group divisible designs (GDDs) have been studied by numerous researchers for the past two decades due to their essential role in the constructions for other types of designs. In this paper, we investigate the existence problem of ‐GDDs of type for . First, we determine completely the spectrum of ‐GDDs of types and . Furthermore, for general cases, we show that for each and , a ‐GDD of type exists if and only if , and , except possibly for , and .     

Self-Converse Directed BIBDs with Block Size Four

A directed balanced incomplete block design (or D B(k,;v)) (X,) is called self-converse if there is an isomorphic mapping f from (X,) to (X,^–1), where ^–1={B ^–1:B} and B ^–1=(x _k ,x _{k –1},,x ₂,x ₁) for B=(x ₁,x ₂,,x _{k –1},x _k ). In this paper, we give the existence spectrum for self-converse D B(4,1;v). AMS Classification:05BResearch supported in part by NSFC Grant 10071002 and SRFDP under No. 20010004001     

The Existence of Partitioned Generalized Balanced Tournament Designs with Block Size 3

A generalized balanced tournament design, GBTD(n, k), defined on a kn-set V, is an arrangement of the blocks of a (kn, k, k – 1)-BIBD defined on V into an n × (kn – 1) array such that (1) every element of V is contained in precisely one cell of each column, and (2) every element of V is contained in at most k cells of each row. Suppose we can partition the columns of a GBTD(n, k) into k + 1 sets B1, B2,..., Bk + 1 where |Bi| = n for i = 1, 2,..., k – 2, |Bi| = n–1 for i = k – 1, k and |Bk+1| = 1 such that (1) every element of V occurs precisely once in each row and column of Bi for i = 1, 2,..., k – 2, and (2) every element of V occurs precisely once in each row and column of Bi Bk+1 for i = k – 1 and i = k. Then the GBTD(n, k) is called partitioned and we denote the design by PGBTD(n, k). The spectrum of GBTD(n, 3) has been completely determined. In this paper, we determine the spectrum of PGBTD(n,3) with, at present, a fairly small number of exceptions for n. This result is then used to establish the existence of a class of Kirkman squares in diagonal form.     

On the existence of (3,λ)‐semiframes of type 3u

A (k,λ)‐semiframe of type g^u is a (k,λ)‐group‐divisible design of type g^u (??, ??, ??), in which the collection of blocks ?? can be written as a disjoint union ??=??∪?? where ?? is partitioned into parallel classes of ?? and ?? is partitioned into holey parallel classes, each holey parallel class being a partition of ??\G_j for some G_j∈??. In this paper, we shall prove that the necessary conditions for (3,λ)‐semiframes of type 3^u are also sufficient with one exception. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 253–265, 2009     

Group Divisible Designs with Block Size Four and Group Type gum1 with Minimum m

In this paper, we continue to investigate the spectrum for {4}-GDDs of type g^u m¹ with m as small as possible. We determine, for each admissible pair (g,u), the minimum values of m for which a {4}-GDD of type g^um¹ exists with four possible exceptions.Gennian Ge-Researcher supported by NSFC Grant 10471127.Alan C. H. Ling-Researcher supported by an ARO grant 19-01-1-0406 and a DOE grant.classification Primary 05B05     

General Constructions for Double Group Divisible Designs and Double Frames

We generalize the concept of an incomplete double group divisible design and describe some recursive constructions for such a generalized new design. As a consequence, we obtain a general recursive construction for group divisible designs, which unifies many important recursive constructions for various types of combinatorial designs. We also introduce the concept of a double frame. After providing a preliminary result on the number of partial resolution classes, we describe a general construction for double frames. This construction method can unify many known recursive constructions for frames.     

Group divisible designs with block size four and type —II

We show that the necessary conditions for the existence of group divisible designs with block size four (4‐GDDs) of type are sufficient for (mod ), = 39, 51, 57, 69, 87, 93, 111, 123 and 129, and for = 13, 17, 19, 23, 25, 29, 31 and 35. More generally, we show that for (mod 6), the possible exceptions occur only when , and there are no exceptions at all if has a divisor such that (mod 4) or is a prime not greater than 43. Hence, there are no exceptions when (mod 12). Consequently, we are able to extend the known spectrum for and 5 (mod 6). Also, we complete the spectrum for 4‐GDDs of type .     

Group divisible 3‐designs with block size four and group type 1ns1

In this article, we mainly consider the existence problem of a group divisible design GDD $\left(3,4,n+s\right)$ of type $1^n{s}^1$. We present two recursive constructions for this configuration using candelabra systems and construct explicitly a few small examples admitting given automorphism groups. As an application, several new infinite classes of GDD $\left(3,4,n+s\right)$s of type $1^n{s}^1$ are produced. Meanwhile a few new infinite families on candelabra quadruple systems with group sizes being odd and stem size greater than one are also obtained.     

Group divisible designs with block size 4 and type

Building upon the work of Wei and Ge (Designs, Codes, and Cryptography 74, 2015), we extend the range of positive integer parameters g, u, and m for which group divisible designs with block size 4 and type are known to exist. In particular, we show that the necessary conditions for the existence of these designs when and are sufficient in the following cases: , with one exception, 2⁶5¹, , and .     

Generalized Bhaskar Rao Designs with Block Size 3 over Finite Abelian Groups

We show that if G is a finite Abelian group and the block size is 3, then the necessary conditions for the existence of a (v,3,λ;G) GBRD are sufficient. These necessary conditions include the usual necessary conditions for the existence of the associated (v,3,λ) BIBD plus λ≡ 0 (mod|G|), plus some extra conditions when |G| is even, namely that the number of blocks be divisible by 4 and, if v = 3 and the Sylow 2-subgroup of G is cyclic, then also λ≡ 0 (mod2|G|).     

Group Divisible Covering Designs with Block Size 4: A Type of Covering Array with Row Limit

A k‐GDCD, group divisible covering design, of type is a triple , where V is a set of gu elements, is a partition of V into u sets of size g, called groups, and is a collection of k‐subsets of V, called blocks, such that every pair of elements in V is either contained in a unique group or there is at least one block containing it, but not both. This family of combinatorial objects is equivalent to a special case of the graph covering problem and a generalization of covering arrays, which we call CARLs. In this paper, we show that there exists an integer such that for any positive integers g and , there exists a 4‐GDCD of type which in the worst case exceeds the Schönheim lower bound by δ blocks, except maybe when (1) and , or (2) , , and or . To show this, we develop constructions of 4‐GDCDs, which depend on two types of ingredients: essential, which are used multiple times, and auxiliary, which are used only once in the construction. If the essential ingredients meet the lower bound, the products of the construction differ from the lower bound by as many blocks as the optimal size of the auxiliary ingredient differs from the lower bound.     

Using block designs in crossing number bounds

The crossing number $\mathrm{\text{CR}}\left(G\right)$ of a graph $G=\left(V,E\right)$ is the smallest number of edge crossings over all drawings of $G$ in the plane. For any $k\ge 1$, the $k$‐planar crossing number of $G,{\mathrm{\text{CR}}}_k\left(G\right)$, is defined as the minimum of $\text{CR}\left(G_1\right)+\text{CR}\left(G_2\right)+?+\text{CR}\left(G_k\right)$ over all graphs $G_1,G_2,\dots ,G_k$ with ${\cup }_{i=1}^k{G}_i=G$. Pach et al [Comput. Geom.: Theory Appl. 68 (2018), pp. 2–6] showed that for every $k\ge 1$, we have ${\text{CR}}_k\left(G\right)\le (2/k^2?1/k^3)\text{CR}\left(G\right)$ and that this bound does not remain true if we replace the constant $2/k^2?1/k^3$ by any number smaller than $1/k^2$. We improve the upper bound to $(1/k^2)\left(1+o\left(1\right)\right)$ as $k\to \infty$. For the class of bipartite graphs, we show that the best constant is exactly $1/k^2$ for every $k$. The results extend to the rectilinear variant of the $k$‐planar crossing number.     

Directed PBDs with Block Sizes from K Where K

The research on directed PBDs is motivated by the construction of t‐deletion/insertion‐correcting codes. Fuji‐Hara, Miao, Wang, and Yin have determined the existence of directed PBDs with block sizes from the set and the set completely. In this paper, we consider the cases of . We settle almost completely for these cases, leaving finite values undetermined.     

Group divisible designs with block size four and type gum1—III

We deal with group divisible designs (GDDs) that have block size four and group type $g^u{m}^1$, where $g\equiv 2$ or 4 (mod 6). We show that the necessary conditions for the existence of a 4‐GDD of type $g^u{m}^1$ are sufficient when $g$ = 14, 20, 22, 26, 28, 32, 34, 38, 40, 44, 46, 50, 52, 58, 62, 68, 76, 88, 92, 100, 104, 116, 124, 136, 152, 160, 176, 184, 200, 208, 224, 232, 248, 272, 304, 320, 368, 400, 448, 464 and 496. Using these results we go on to show that the necessary conditions are sufficient for $g=2^t{q}^s$, $q$ = 19, 23, 25, 29, 31, $s$, $t=1,2,\dots$, as well as for $g=2^{t}q$, $q$ = 2, 5, 7, 11, 13, 17, $t=1,2,\dots$, with possible exceptions $56^9{m}^1$, $80^9{m}^1$ and $112^9{m}^1$ for a few large values of $m$.     

Cyclic Designs with Block Size 4 and Related Optimal Optical Orthogonal Codes

We prove the existence of a cyclic (4p, 4, 1)-BIBD—and hence, equivalently, that of a cyclic (4, 1)-GDD of type 4 ^p —for any prime such that (p–1)/6 has a prime factor q not greater than 19. This was known only for q=2, i.e., for . In this case an explicit construction was given for . Here, such an explicit construction is also realized for .We also give a strong indication about the existence of a cyclic (4p 4, 1)-BIBD for any prime , p>7. The existence is guaranteed for p>(2q ³–3q ²+1)²+3q ² where q is the least prime factor of (p–1)/6.Finally, we prove, giving explicit constructions, the existence of a cyclic (4, 1)-GDD of type 6 ^p for any prime p>5 and the existence of a cyclic (4, 1)-GDD of type 8 ^p for any prime . The result on GDD's with group size 6 was already known but our proof is new and very easy.All the above results may be translated in terms of optimal optical orthogonal codes of weight four with =1.     

The Asymptotic Existence of Resolvable Group Divisible Designs

A group divisible design (GDD) is a triple which satisfies the following properties: (1) is a partition of X into subsets called groups; (2) is a collection of subsets of X, called blocks, such that a group and a block contain at most one element in common; and (3) every pair of elements from distinct groups occurs in a constant number λ blocks. This parameter λ is usually called the index. A k‐GDD of type is a GDD with block size k, index , and u groups of size g. A GDD is resolvable if the blocks can be partitioned into classes such that each point occurs in precisely one block of each class. We denote such a design as an RGDD. For fixed integers and , we show that the necessary conditions for the existence of a k‐RGDD of type are sufficient for all . As a corollary of this result and the existence of large resolvable graph decompositions, we establish the asymptotic existence of resolvable graph GDDs, G‐RGDDs, whenever the necessary conditions for the existence of ‐RGDs are met. We also show that, with a few easy modifications, the techniques extend to general index. © 2012 Wiley Periodicals, Inc. J. Combin. Designs 21: 112–126, 2013     

区组长为奇素数的自反MD设计 (英)

本文利用差方法对自反MD设计SCMD$(4mp, p,1)$的存在性给出了构造性证明, 这里$p$为奇素数, $m$为正整数.     

区组长为奇素数的自反MD设计

本文利用差方法对自反MD设计SCMD(4mp,p,1)的存在性给出了构造性证明,这里p为奇素数,m为正整数．