Block‐Transitive and Point‐Primitive 2‐ Designs with Sporadic Socle

The purpose of this paper is to classify all pairs , where is a nontrivial 2‐ design, and acts transitively on the set of blocks of and primitively on the set of points of with sporadic socle. We prove that there exists only one such pair : is the unique 2‐(176,8,2) design and , the Higman–Sims simple group.     

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.     

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.     

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 .     

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 .     

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 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 .     

Asymptotic Size of Covering Arrays: An Application of Entropy Compression

A covering array is an array A such that each cell of A takes a value from a v‐set V, which is called the alphabet. Moreover, the set is contained in the set of rows of every subarray of A. The parameter N is called the size of an array and denotes the smallest N for which a exists. It is well known that  [10]. In this paper, we derive two upper bounds on using an algorithmic approach to the Lovász local lemma also known as entropy compression.     

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 .     

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.     

Direct Constructions for General Families of Cyclic Mutually Nearly Orthogonal Latin Squares

Two Latin squares and , of even order n with entries , are said to be nearly orthogonal if the superimposition of L on M yields an array in which each ordered pair , and , occurs at least once and the ordered pair occurs exactly twice. In this paper, we present direct constructions for the existence of general families of three cyclic mutually orthogonal Latin squares of orders , , and . The techniques employed are based on the principle of Methods of Differences and so we also establish infinite classes of “quasi‐difference” sets for these orders.     

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.     

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 .     

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.

     

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 .     

Decomposition of Complete Graphs into Isomorphic Complete Bipartite Graphs

A decomposition of a complete graph into disjoint copies of a complete bipartite graph is called a ‐design of order n. The existence problem of ‐designs has been completely solved for the graphs for , for , K_{2, 3} and K_{3, 3}. In this paper, I prove that for all , if there exists a ‐design of order N, then there exists a ‐design of order n for all (mod ) and . Giving necessary direct constructions, I provide an almost complete solution for the existence problem for complete bipartite graphs with fewer than 18 edges, leaving five orders in total unsolved.     

The small Kakeya sets in,a conic

A Kakeya set in the linear representation , a nonsingular conic, is the point set covered by a set of lines, one through each point of . In this article, we classify the small Kakeya sets in . The smallest Kakeya sets have size , and all Kakeya sets with weight less than are classified: there are approximately types.     

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 .     

On Small Complete Arcs and Transitive ‐Invariant Arcs in the Projective Plane

Let q be an odd prime power such that q is a power of 5 or (mod 10). In this case, the projective plane admits a collineation group G isomorphic to the alternating group A₅. Transitive G‐invariant 30‐arcs are shown to exist for every . The completeness is also investigated, and complete 30‐arcs are found for . Surprisingly, they are the smallest known complete arcs in the planes , and . Moreover, computational results are presented for the cases and . New upper bounds on the size of the smallest complete arc are obtained for .     

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.