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 .     

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.     

Degree‐ and Orbit‐Balanced Γ‐Designs When Γ Has Five Vertices

A Γ‐design of the complete graph is a set of subgraphs isomorphic to Γ (blocks) whose edge‐sets partition the edge‐set of . is balanced if the number of blocks containing x is the same number of blocks containing y for any two vertices x and y. is orbit‐balanced, or strongly balanced, if the number of blocks containing x as a vertex of a vertex‐orbit A of Γ is the same number of blocks containing y as a vertex of A, for any two vertices x and y and for every vertex‐orbit A of Γ. We say that is degree‐balanced if the number of blocks containing x as a vertex of degree d in Γ is the same number of blocks containing y as a vertex of degree d in Γ, for any two vertices x and y and for every degree d in Γ. An orbit‐balanced Γ‐design is also degree‐balanced; a degree‐balanced Γ‐design is also balanced. The converse is not always true. We study the spectrum for orbit‐balanced, degree‐balanced, and balanced Γ‐designs of when Γ is a graph with five vertices, none of which is isolated. We also study the existence of balanced (respectively, degree‐balanced) Γ‐designs of which are not degree‐balanced (respectively, not orbit‐balanced).     

On the Enumeration of ‐Optimal and Minimax‐Optimal k‐Circulant Supersaturated Designs

In recent years, several methods have been proposed for constructing ‐optimal and minimax‐optimal supersaturated designs (SSDs). However, until now the enumeration problem of such designs has not been yet considered. In this paper, ‐optimal and minimax‐optimal k‐circulant SSDs with 6, 10, 14, 18, 22, and 26 runs, factors and are enumerated in a computer search. We have also enumerated all ‐optimal and minimax‐optimal k‐circulant SSDs with (mod 4) and . The computer search utilizes the fact that theses designs are equivalent to certain 1‐rotational resolvable balanced incomplete block designs. Combinatorial properties of these resolvable designs are used to restrict the search space.     

Twofold triple systems with cyclic 2‐intersecting Gray codes

Given a combinatorial design with block set , the block‐intersection graph (BIG) of is the graph that has as its vertex set, where two vertices and are adjacent if and only if . The i‐block‐intersection graph (i‐BIG) of is the graph that has as its vertex set, where two vertices and are adjacent if and only if . In this paper, several constructions are obtained that start with twofold triple systems (TTSs) with Hamiltonian 2‐BIGs and result in larger TTSs that also have Hamiltonian 2‐BIGs. These constructions collectively enable us to determine the complete spectrum of TTSs with Hamiltonian 2‐BIGs (equivalently TTSs with cyclic 2‐intersecting Gray codes) as well as the complete spectrum for TTSs with 2‐BIGs that have Hamilton paths (i.e. for TTSs with 2‐intersecting Gray codes). In order to prove these spectrum results, we sometimes require ingredient TTSs that have large partial parallel classes; we prove lower bounds on the sizes of partial parallel classes in arbitrary TTSs, and then construct larger TTSs with both cyclic 2‐intersecting Gray codes and parallel classes.     

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.     

Perfect 1‐Factorizations of a Family of Cayley Graphs

A 1‐factorization of a graph G is a decomposition of G into edge‐disjoint 1‐factors (perfect matchings), and a perfect 1‐factorization is a 1‐factorization in which the union of any two of the 1‐factors is a Hamilton cycle. We consider the problem of the existence of perfect 1‐factorizations of even order 4‐regular Cayley graphs, with a particular interest in circulant graphs. In this paper, we study a new family of graphs, denoted , which are Cayley graphs if and only if k is even or . By solving the perfect 1‐factorization problem for a large class of graphs, we obtain a new class of 4‐regular bipartite circulant graphs that do not have a perfect 1‐factorization, answering a problem posed in 7 . With further study of graphs, we prove the nonexistence of P1Fs in a class of 4‐regular non‐bipartite circulant graphs, which is further support for a conjecture made in 7 .     

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     

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 .     

Flag‐transitive 2‐ designs of product type

In this paper, we prove that if a 2‐ design admits a flag‐transitive automorphism group G, then G is of affine, almost simple type, or product type. Furthermore, we prove that if G is product type then is either a 2‐(25, 4, 12) design or a 2‐(25, 4, 18) design with .     

Cops and Robbers on Graphs Based on Designs

We investigate the cop number of graphs based on combinatorial designs. Incidence graphs, point graphs, and block intersection graphs are studied, with an emphasis on finding families of graphs with large cop number. We generalize known results on Meyniel extremal families by supplying bounds on the incidence graphs of transversal designs, certain G‐designs, and BIBDs with Families of graphs with diameter 2, C₄‐free, and with unbounded chromatic number are described with the conjectured asymptotically maximum cop number.     

q‐Analogs of Packing Designs

A q‐packing design is a selection of k‐dimensional subspaces of such that each t‐dimensional subspace is contained in at most one element of the collection. A successful approach adopted from the Kramer–Mesner method of prescribing a group of automorphisms was applied by Kohnert and Kurz to construct some constant dimension codes with moderate parameters that arise by q‐packing designs. In this paper, we recall this approach and give a version of the Kramer–Mesner method breaking the condition that the whole q‐packing design must admit the prescribed group of automorphisms. Afterwards, we describe the basic idea of an algorithm to tackle the integer linear optimization problems representing the q‐packing design construction by means of a metaheuristic approach. Finally, we give some improvements on the size of q‐packing designs.     

Hadamard Matrices Modulo 5

In this paper, we introduce modular symmetric designs and use them to study the existence of Hadamard matrices modulo 5. We prove that there exist 5‐modular Hadamard matrices of order n if and only if or . In particular, this solves the 5‐modular version of the Hadamard conjecture.     

Constructions for Circulant and Group‐Developed Generalized Weighing Matrices

An elementary construction yields a new class of circulant (so‐called “Butson‐type”) generalized weighing matrices, which have order and weight n², all of whose entries are nth roots of unity, for all positive integers , where . The idea is extended to a wider class of constructions giving various group‐developed generalized weighing matrices.     

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 .     

Bounds on the Dimensions of 2‐Spontaneous Emission Error Designs

Quantum jump codes are quantum error‐correcting codes which correct errors caused by quantum jumps. A t‐spontaneous emission error design (t‐SEED) was introduced by Beth et al. in 2003 [T. Beth, C. Charnes, M. Grassl, G. Alber, A. Delgado, and M. Mussinger, A new class of designs which protect against quantum jumps, Des Codes Cryptogr 29 (2003), 51–70.] to construct quantum jump codes. The number of designs (dimension) in a t‐SEED corresponds to the number of orthogonal basis states in a quantum jump code. A nondegenerate t‐SEED is optimal if it has the largest possible dimension. In this paper, we investigate the bounds on the dimensions of 2‐SEEDs systematically. The exact dimensions of optimal 2‐ SEEDs are almost determined, with five possible exceptions in doubt. General upper bounds on dimensions of 2‐ SEEDs are demonstrated, the corresponding leave graphs are described, and several exceptional cases are studied in details. Meanwhile, we employ 2‐homogenous groups to obtain new lower bounds on the dimensions of 2‐ SEEDs for prime power orders v and general block sizes k.     

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.

     

Existence of magic 3‐dimensional rectangles

Since the complete solution for the existence of magic 2‐dimensional rectangles in 1881, much attention has been paid on the existence of magic l‐dimensional rectangles for . The existence problem for magic l‐dimensional rectangles with even sizes has been solved completely for all integers . However, very little is known for the existence of magic l‐dimensional rectangles () with odd sizes except for some families and a few sporadic examples. In this paper, we focus our attention on the existence of magic 3‐dimensional rectangles and prove that the necessary conditions for the existence of magic 3‐dimensional rectangles are also sufficient. Our construction method is mainly based on a new concept, symmetric zero‐sum subset partition, which plays a crucial role in the recursive constructions of magic 3‐rectangles similar to that of PBD in the PBD‐closure construction in combinatorial design theory.     

Flag‐Transitive Point‐Primitive Symmetric (ν,κ,λ) Designs With λ at Most 100

Let be a symmetric (ν,κ,λ) design with λ ≤ 100. If G is a flag‐transitive and point‐primitive automorphism group of , then G must be an affine or almost simple group.     

A Note on q‐Covering Designs in PG(5, q)

A construction of q‐covering designs in PG(5, q) is given, providing an improvement on the upper bound of the q‐covering number .