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.

     

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 .     

Simple Signed Steiner Triple Systems

Let X be a v‐set, be a set of 3‐subsets (triples) of X, and be a partition of with . The pair is called a simple signed Steiner triple system, denoted by ST, if the number of occurrences of every 2‐subset of X in triples is one more than the number of occurrences in triples . In this paper, we prove that exists if and only if , , and , where and for , . © 2012 Wiley Periodicals, Inc. J. Combin. Designs 20: 332–343, 2012     

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

Neighborhoods in Maximum Packings of 2Kn and Quadratic Leaves of Triple Systems

In this paper, two related problems are completely solved, extending two classic results by Colbourn and Rosa. In any partial triple system of , the neighborhood of a vertex v is the subgraph induced by . For (mod 3) with , it is shown that for any 2‐factor F on or vertices, there exists a maximum packing of with triples such that F is the neighborhood of some vertex if and only if , thus extending the corresponding result for the case where or 1 (mod 3) by Colbourn and Rosa. This result, along with the companion result of Colbourn and Rosa, leads to a complete characterization of quadratic leaves of λ‐fold partial triple systems for all , thereby extending the solution where by Colbourn and Rosa.     

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 Mendelsohn Triple Systems of Order 13

A triple cyclically contains the ordered pairs , , , and no others. A Mendelsohn triple system of order v, or , is a set V together with a collection of ordered triples of distinct elements from V, such that and each ordered pair with is cyclically contained in exactly λ ordered triples. By means of a computer search, we classify all Mendelsohn triple systems of order 13 with ; there are 6 855 400 653 equivalence classes of such systems.     

Minimal Symmetric Differences of Lines in Projective Planes

Let q be an odd prime power and let be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane . We prove some results about the function , in particular showing that there exists a constant such that for .     

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 .     

Orientable Hamilton Cycle Embeddings of Complete Tripartite Graphs I: Latin Square Constructions

In an earlier paper the authors constructed a hamilton cycle embedding of in a nonorientable surface for all and then used these embeddings to determine the genus of some large families of graphs. In this two‐part series, we extend those results to orientable surfaces for all . In part I, we explore a connection between orthogonal latin squares and embeddings. A product construction is presented for building pairs of orthogonal latin squares such that one member of the pair has a certain hamiltonian property. These hamiltonian squares are then used to construct embeddings of the complete tripartite graph on an orientable surface such that the boundary of every face is a hamilton cycle. This construction works for all such that and for every prime p. Moreover, it is shown that the latin square construction utilized to get hamilton cycle embeddings of can also be used to obtain triangulations of . Part II of this series covers the case for every prime p and applies these embeddings to obtain some genus results.     

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.     

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.     

Skew Hadamard Difference Sets from Dickson Polynomials of Order 7

Skew Hadamard difference sets have been an interesting topic of study for over 70 years. For a long time, it had been conjectured the classical Paley difference sets (the set of nonzero quadratic residues in where ) were the only example in Abelian groups. In 2006, the first author and Yuan disproved this conjecture by showing that the image set of is a new skew Hadamard difference set in with m odd, where denotes the first kind of Dickson polynomials of order n and . The key observation in the proof is that is a planar function from to for m odd. Since then a few families of new skew Hadamard difference sets have been discovered. In this paper, we prove that for all , the set is a skew Hadamard difference set in , where m is odd and . The proof is more complicated and different than that of Ding‐Yuan skew Hadamard difference sets since is not planar in . Furthermore, we show that such skew Hadamard difference sets are inequivalent to all existing ones for by comparing the triple intersection numbers.     

Some New Infinite Classes of Candelabra Quadruple Systems

Candelabra quadruple systems (CQS) were first introduced by Hanani who used them to determine the existence of Steiner quadruple systems. In this paper, a new method has been developed by constructing partial candelabra quadruple systems with odd group size, which is a generalization of the even cases, to complete a design. New results of candelabra quadruple systems have been obtained, i.e. we show that for any , there exists a CQS for all , and .     

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 .     

Turyn‐Type Sequences: Classification,Enumeration, and Construction

Turyn‐type sequences, , are quadruples of ‐sequences , with lengths , respectively, where the sum of the nonperiodic autocorrelation functions of and twice that of is a δ‐function (i.e., vanishes everywhere except at 0). Turyn‐type sequences are known to exist for all even n not larger than 36. We introduce a definition of equivalence to construct a canonical form for in general. By using this canonical form, we enumerate the equivalence classes of for . We also construct the first example of Turyn‐type sequences .     

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.     

Orthogonally Resolvable Cycle Decompositions

If a cycle decomposition of a graph G admits two resolutions, and , such that for each resolution class and , then the resolutions and are said to be orthogonal. In this paper, we introduce the notion of an orthogonally resolvable cycle decomposition, which is a cycle decomposition admitting a pair of orthogonal resolutions. An orthogonally resolvable cycle decomposition of a graph G may be represented by a square array in which each cell is either empty or filled with a k–cycle from G, such that every vertex appears exactly once in each row and column of the array and every edge of G appears in exactly one cycle. We focus mainly on orthogonal k‐cycle decompositions of and (the complete graph with the edges of a 1‐factor removed), denoted . We give general constructions for such decompositions, which we use to construct several infinite families. We find necessary and sufficient conditions for the existence of an OCD(n, 4). In addition, we consider orthogonal cycle decompositions of the lexicographic product of a complete graph or cycle with . Finally, we give some nonexistence results.     

Generalized Quadrangles and Transitive Pseudo‐Hyperovals

A pseudo‐hyperoval of a projective space , q even, is a set of subspaces of dimension such that any three span the whole space. We prove that a pseudo‐hyperoval with an irreducible transitive stabilizer is elementary. We then deduce from this result a classification of the thick generalized quadrangles that admit a point‐primitive, line‐transitive automorphism group with a point‐regular abelian normal subgroup. Specifically, we show that is flag‐transitive and isomorphic to , where is either the regular hyperoval of PG(2, 4) or the Lunelli–Sce hyperoval of PG(2, 16).     

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.