On the Existence of

Let there is an . For or , has been determined by Hanani, and for or , has been determined by the first author. In this paper, we investigate the case . A necessary condition for is . It is known that , and that there is an for all with a possible exception . We need to consider the case . It is proved that there is an for all with an exception and a possible exception , thereby, .     

On Flag‐Transitive Symmetric Designs of Affine Type

It is shown that, if is a nontrivial 2‐ symmetric design, with , admitting a flag‐transitive automorphism group G of affine type, then , p an odd prime, and G is a point‐primitive, block‐primitive subgroup of . Moreover, acts flag‐transitively, point‐primitively on , and is isomorphic to the development of a difference set whose parameters and structure are also provided.     

On the Hamilton–Waterloo Problem with Odd Orders

Given nonnegative integers , the Hamilton–Waterloo problem asks for a factorization of the complete graph into α ‐factors and β ‐factors. Without loss of generality, we may assume that . Clearly, v odd, , , and are necessary conditions. To date results have only been found for specific values of m and n. In this paper, we show that for any integers , these necessary conditions are sufficient when v is a multiple of and , except possibly when or 3. For the case where we show sufficiency when with some possible exceptions. We also show that when are odd integers, the lexicographic product of with the empty graph of order n has a factorization into α ‐factors and β ‐factors for every , , with some possible exceptions.     

The Hamilton–Waterloo Problem for ‐Factors and ‐Factors

The Hamilton–Waterloo problem asks for a 2‐factorization of (for v odd) or minus a 1‐factor (for v even) into ‐factors and ‐factors. We completely solve the Hamilton–Waterloo problem in the case of C₃‐factors and ‐factors for .     

Optimal Two‐Dimensional Optical Orthogonal Codes with the Best Cross‐Correlation Constraint

The study of optical orthogonal codes has been motivated by an application in an optical code‐division multiple access system. From a practical point of view, compared to one‐dimensional optical orthogonal codes, two‐dimensional optical orthogonal codes tend to require smaller code length. On the other hand, in some circumstances only with good cross‐correlation one can deal with both synchronization and user identification. These motivate the study of two‐dimensional optical orthogonal codes with better cross‐correlation than auto‐correlation. This paper focuses on optimal two‐dimensional optical orthogonal codes with the auto‐correlation and the best cross‐correlation 1. By examining the structures of w‐cyclic group divisible designs and semi‐cyclic incomplete holey group divisible designs, we present new combinatorial constructions for two‐dimensional ‐optical orthogonal codes. When and , the exact number of codewords of an optimal two‐dimensional ‐optical orthogonal code is determined for any positive integers n and .     

Determination of Sizes of Optimal Three‐Dimensional Optical Orthogonal Codes of Weight Three with the AM‐OPP Restriction

In this paper, we further investigate the constructions on three‐dimensional optical orthogonal codes with the at most one optical pulse per wavelength/time plane restriction (briefly AM‐OPP 3D ‐OOCs) by way of the corresponding designs. Several new auxiliary designs such as incomplete holey group divisible designs and incomplete group divisible packings are introduced and therefore new constructions are presented. As a consequence, the exact number of codewords of an optimal AM‐OPP 3D ‐OOC is finally determined for any positive integers and .     

Set Systems with L‐Intersections and k‐Wise L‐Intersecting Families

In this paper, by employing linear algebra methods we obtain the following main results:

• (i) Let and be two disjoint subsets of such that Suppose that is a family of subsets of such that for every pair and for every i. Then Furthermore, we extend this theorem to k‐wise L‐intersecting and obtain the corresponding result on two cross L‐intersecting families. These results show that Snevily's conjectures proposed by Snevily (2003) are true under some restricted conditions. This result also gets an improvement of a theorem of Liu and Hwang (2013).
• (ii) Let p be a prime and let and be two subsets of such that or and Suppose that is a family of subsets of [n] such that (1) for every pair (2) for every i. Then This result improves the existing upper bound substantially.

     

Constructions of Strictly m‐Cyclic and Semi‐Cyclic

An is a triple , where X is a set of points, is a partition of X into m disjoint sets of size n and is a set of 4‐element transverses of , such that each 3‐element transverse of is contained in exactly one of them. If the full automorphism group of an admits an automorphism α consisting of n cycles of length m (resp. m cycles of length n), then this is called m‐cyclic (resp. semi‐cyclic). Further, if all block‐orbits of an m‐cyclic (resp. semi‐cyclic) are full, then it is called strictly cyclic. In this paper, we construct some infinite classes of strictly m‐cyclic and semi‐cyclic , and use them to give new infinite classes of perfect two‐dimensional optical orthogonal codes with maximum collision parameter and AM‐OPPTS/AM‐OPPW property.     

A Complete Solution to the Existence of ‐Cycle Frames of Type

The existence problem of a ‐cycle frame of type is now solved for any quadruple .     

Flag‐Transitive 2‐ Symmetric Designs with Sporadic Socle

Let be a nontrivial 2‐ symmetric design admitting a flag‐transitive, point‐primitive automorphism group G of almost simple type with sporadic socle. We prove that there are up to isomorphism six designs, and must be one of the following: a 2‐(144, 66, 30) design with or , a 2‐(176, 50, 14) design with , a 2‐(176, 126, 90) design with or , or a 2‐(14,080, 12,636, 11,340) design with .     

Optimal 1—Spontaneous Emission Error Designs*

A t‐spontaneous emission error design, denoted by t‐ SEED or t‐SEED in short, is a system of k‐subsets of a v‐set V with a partition of satisfying for any and , , where is a constant depending only on E. The design of t‐SEED was introduced by Beth et al. in 2003 (T. Beth, C. Charnes, M. Grassl, G. Alber, A. Delgado, M. Mussinger, Des Codes Cryptogr 29 (2003), 51–70) to construct quantum jump codes. The number m of designs in a t‐ SEED is called dimension, which corresponds to the number of orthogonal basis states in a quantum jump code. A t‐SEED is nondegenerate if every point appears in each of its member design. A nondegenerate t‐SEED is called optimal when it achieves the largest possible dimension. This paper investigates the dimension of optimal 1‐SEEDs, in which Baranyai's Lemma plays a significant role and the hypergraph distribution is closely related as well. Several classes of optimal 1‐SEEDs are shown to exist. In particular, we determine the exact dimensions of optimal 1‐ SEEDs for all orders v and block sizes k with .     

Enumerating the Walecki‐Type Hamiltonian Cycle Systems

Let be the complete graph on v vertices. A Hamiltonian cycle system of odd order v (briefly ) is a set of Hamiltonian cycles of whose edges partition the edge set of . By means of a slight modification of the famous of Walecki, we obtain 2ⁿ pairwise distinct and we enumerate them up to isomorphism proving that this is equivalent to count the number of binary bracelets of length n, i.e. the orbits of , the dihedral group of order 2n, acting on binary n‐tuples.     

The Existence and Construction of (K5∖e)‐Designs of Orders 27, 135, 162, and 216

The problem of the existence of a decomposition of the complete graph into disjoint copies of has been solved for all admissible orders n, except for 27, 36, 54, 64, 72, 81, 90, 135, 144, 162, 216, and 234. In this paper, I eliminate 4 of these 12 unresolved orders. Let Γ be a ‐design. I show that divides 2^k3 for some and that . I construct ‐designs by prescribing as an automorphism group, and show that up to isomorphism there are exactly 24 ‐designs with as an automorphism group. Moreover, I show that the full automorphism group of each of these designs is indeed . Finally, the existence of ‐designs of orders 135, 162, and 216 follows immediately by the recursive constructions given by G. Ge and A. C. H. Ling, SIAM J Discrete Math 21(4) (2007), 851–864.     

Semiframes with Block Size Three and Odd Group Size

A ‐semiframe of type is a ‐GDD of type , , 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 for some . A ‐SF is a ‐semiframe of type in which there are p parallel classes in and d holey parallel classes with respect to . In this paper, we shall show that there exists a (3, 1)‐SF for any if and only if , , , and .     

Finiteness Results in Triangle‐Free Quasi‐Symmetric Designs

Triangle‐free quasi‐symmetric 2‐ designs with intersection numbers ; and are investigated. Possibility of triangle‐free quasi‐symmetric designs with or is ruled out. It is also shown that, for a fixed x and a fixed ratio , there are only finitely many triangle‐free quasi‐symmetric designs. © 2012 Wiley Periodicals, Inc. J Combin Designs 00: 1‐6, 2012     

Symmetric ‐Designs and ‐Difference Sets

In this paper, we introduce a method to construct ‐designs, which are also known as partial geometric designs, by using subsets of certain finite groups. We introduce the concept of ‐difference sets and investigate the existence and nonexistence of these structures. We also provide some nonexistence results on ‐designs based on the fact that ‐designs yield directed strongly regular graphs.     

Tight Heffter Arrays Exist for all Possible Values

A tight Heffter array is an matrix with nonzero entries from such that (i) the sum of the elements in each row and each column is 0, and (ii) no element from appears twice. We prove that exist if and only if both m and n are at least 3. If H has the property that all entries are integers of magnitude at most , every row and column sum is 0 over the integers, and H also satisfies ), we call H an integer Heffter array. We show integer Heffter arrays exist if and only if . Finally, an integer Heffter array is shiftable if each row and column contains the same number of positive and negative integers. We show that shiftable integer arrays exists exactly when both are even.     

On the Distances between Latin Squares and the Smallest Defining Set Size

In this note, we show that for each Latin square L of order , there exists a Latin square of order n such that L and differ in at most cells. Equivalently, each Latin square of order n contains a Latin trade of size at most . We also show that the size of the smallest defining set in a Latin square is .     

Cycle Frames of Complete Multipartite Multigraphs ‐ III

For two graphs G and H their wreath product has vertex set in which two vertices and are adjacent whenever or and . Clearly, , where is an independent set on n vertices, is isomorphic to the complete m‐partite graph in which each partite set has exactly n vertices. A 2‐regular subgraph of the complete multipartite graph containing vertices of all but one partite set is called partial 2‐factor. For an integer λ, denotes a graph G with uniform edge multiplicity λ. Let J be a set of integers. If can be partitioned into edge‐disjoint partial 2‐factors consisting cycles of lengths from J, then we say that has a ‐cycle frame. In this paper, we show that for and , there exists a ‐cycle frame of if and only if and . In fact our results completely solve the existence of a ‐cycle frame of .     

‐Relative Difference Sets and Their Representations

We show that every ‐relative difference set D in relative to can be represented by a polynomial , where is a permutation for each nonzero a. We call such an f a planar function on . The projective plane Π obtained from D in the way of M. J. Ganley and E. Spence (J Combin Theory Ser A, 19(2) (1975), 134–153) is coordinatized, and we obtain necessary and sufficient conditions of Π to be a presemifield plane. We also prove that a function f on with exactly two elements in its image set and is planar, if and only if, for any .