15 research outputs found
A new structure for difference matrices over abelian -groups
A difference matrix over a group is a discrete structure that is intimately
related to many other combinatorial designs, including mutually orthogonal
Latin squares, orthogonal arrays, and transversal designs. Interest in
constructing difference matrices over -groups has been renewed by the recent
discovery that these matrices can be used to construct large linking systems of
difference sets, which in turn provide examples of systems of linked symmetric
designs and association schemes. We survey the main constructive and
nonexistence results for difference matrices, beginning with a classical
construction based on the properties of a finite field. We then introduce the
concept of a contracted difference matrix, which generates a much larger
difference matrix. We show that several of the main constructive results for
difference matrices over abelian -groups can be substantially simplified and
extended using contracted difference matrices. In particular, we obtain new
linking systems of difference sets of size in infinite families of abelian
-groups, whereas previously the largest known size was .Comment: 27 pages. Discussion of new reference [LT04
Additive triples of bijections, or the toroidal semiqueens problem
We prove an asymptotic for the number of additive triples of bijections
, that is, the number of pairs of
bijections such that
the pointwise sum is also a bijection. This problem is equivalent
to counting the number of orthomorphisms or complete mappings of
, to counting the number of arrangements of
mutually nonattacking semiqueens on an toroidal chessboard, and to
counting the number of transversals in a cyclic Latin square. The method of
proof is a version of the Hardy--Littlewood circle method from analytic number
theory, adapted to the group .Comment: 22 page
Cycle type in Hall-Paige: A proof of the Friedlander-Gordon-Tannenbaum conjecture
An orthomorphism of a finite group is a bijection
such that is also a bijection. In 1981, Friedlander,
Gordon, and Tannenbaum conjectured that when is abelian, for any
dividing , there exists an orthomorphism of fixing the identity and
permuting the remaining elements as products of disjoint -cycles. We prove
this conjecture for all sufficiently large groups.Comment: 34 page
Two Problems of Gerhard Ringel
Gerhard Ringel was an Austrian Mathematician, and is regarded as one of the most influential graph theorists of the twentieth century. This work deals with two problems that arose from Ringel\u27s research: the Hamilton-Waterloo Problem, and the problem of R-Sequences.
The Hamilton-Waterloo Problem (HWP) in the case of Cm-factors and Cn-factors asks whether Kv, where v is odd (or Kv-F, where F is a 1-factor and v is even), can be decomposed into r copies of a 2-factor made entirely of m-cycles and s copies of a 2-factor made entirely of n-cycles. Chapter 1 gives some general constructions for such decompositions and apply them to the case where m=3 and n=3x. This problem is settle for odd v, except for a finite number of x values. When v is even, significant progress is made on the problem, although open cases are left. In particular, the difficult case of v even and s=1 is left open for many situations.
Chapter 2 generalizes the Hamilton-Waterloo Problem to complete equipartite graphs K(n:m) and shows that K(xyzw:m) can be decomposed into s copies of a 2-factor consisting of cycles of length xzm and r copies of a 2-factor consisting of cycles of length yzm, whenever m is odd, s,r≠1, gcd(x,z)=gcd(y,z)=1 and xyz≠0 (mod 4). Some more general constructions are given for the case when the cycles in a given two factor may have different lengths. These constructions are used to find solutions to the Hamilton-Waterloo problem for complete graphs.
Chapter 3 completes the proof of the Friedlander, Gordon and Miller Conjecture that every finite abelian group whose Sylow 2-subgroup either is trivial or both non-trivial and non-cyclic is R-sequenceable. This settles a question of Ringel for abelian groups
Mutually unbiased maximally entangled bases from difference matrices
Based on maximally entangled states, we explore the constructions of mutually
unbiased bases in bipartite quantum systems. We present a new way to construct
mutually unbiased bases by difference matrices in the theory of combinatorial
designs. In particular, we establish mutually unbiased bases with
maximally entangled bases and one product basis in for arbitrary prime power . In addition, we construct
maximally entangled bases for dimension of composite numbers of non-prime
power, such as five maximally entangled bases in and , which improve the
known lower bounds for , with in . Furthermore, we construct mutually unbiased bases with
maximally entangled bases and one product basis in for arbitrary prime number .Comment: 24 page