Difference Sets Corresponding to a Class of Symmetric Designs

We study difference sets with parameters(v, k, ) = (p ^s(r ^2m - 1)/(r - 1), p ^s-1 r ^2m-2 r - 1)r ^{2m -2}, where r = r ^s - 1)/(p - 1) and p is a prime. Examples for such difference sets are known from a construction of McFarland which works for m = 1 and all p,s. We will prove a structural theorem on difference sets with the above parameters; it will include the result, that under the self-conjugacy assumption McFarland's construction yields all difference sets in the underlying groups. We also show that no abelian .160; 54; 18/-difference set exists. Finally, we give a new nonexistence prove of (189, 48, 12)-difference sets in Z ₃ × Z ₉ × Z ₇.     

Building Symmetric Designs With Building Sets

We introduce a uniform technique for constructing a family of symmetric designs with parameters (v(q ^m+1-1)/(q-1), kq ^m ,q ^m), where m is any positive integer, (v, k, ) are parameters of an abelian difference set, and q = k ²/(k - ) is a prime power. We utilize the Davis and Jedwab approach to constructing difference sets to show that our construction works whenever (v, k, ) are parameters of a McFarland difference set or its complement, a Spence difference set or its complement, a Davis–Jedwab difference set or its complement, or a Hadamard difference set of order 9 · 4 ^d , thus obtaining seven infinite families of symmetric designs.     

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.     

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

Difference Sets and Hyperovals

We construct three infinite families of cyclic difference sets, using monomial hyperovals in a desarguesian projective plane of even order. These difference sets give rise to cyclic Hadamard designs, which have the same parameters as the designs of points and hyperplanes of a projective geometry over the field with two elements. Moreover, they are substructures of the Hadamard design that one can associate with a hyperoval in a projective plane of even order.     

A Construction of Difference Sets

In this paper, we will give a construction of a family of -difference sets in thegroup , where q is any power of 2, K is any group with and G is an abelian 2-group of order which contains anelementary abelian subgroup of index 2.     

Constructions of Partial Difference Sets and Relative DifferenceSets Using Galois Rings

We use Galois rings to construct partial difference sets and relative difference sets in non-elementary abelianp-groups. As an example, we also use Galois ringG R(4, 2) to construct a (96,20,4) difference set in Z₄ × Z₄ × Z₆.Dedicated to Hanfried Lenz on the occasion of his 80th birthday     

A Technique for Constructing Symmetric Designs

Let M be a set of incidence matrices of symmetric (v,k,)-designs and G a group of mappings M M. We give a sufficient condition for the matrix W M, where M M and W is a balanced generalized weighing matrix over G, to be the incidence matrix of a larger symmetric design. This condition is then applied to the designs corresponding to McFarland and Spence difference sets, and it results in four families of symmetric (v,k, )-designs with the following parameters k and (m and d are positive integers, p and q are prime powers): (i) ; (ii) ; (iii) ; (iv) .     

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 .     

A Family of Semi-Regular Divisible Difference Sets

We give a construction of semi-regular divisible difference sets with parametersm = p2a(r–1)+2b (pr – 1)/(p – 1), n = pr, k = p(2a+1)(r–1)+2b (pr – 1)/(p – 1)1 = p(2a+1)(r–1)+2b (pr–1 – 1)/(p-1), 2 = p2(a+1)(r–1)–r+2b (pr – 1)/(p – 1)where p is a prime and r a + 1.     

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     

Abelian Difference Sets Without Self-conjugacy

We obtain some results that are useful to the study of abelian difference sets and relative difference sets in cases where the self-conjugacy assumption does not hold. As applications we investigate McFarland difference sets, which have parameters of the form v=q^d+1( q^d+ q^d-1 +...+ q+2) ,k=q^d( q^d+q^d-1+...+q+1) , = q^d ( q^(d-1)+q^(d-2)+...+q+1), where q is a prime power andd a positive integer. Using our results, we characterize those abelian groups that admit a McFarland difference set of order k- = 81. We show that the Sylow 3-subgroup of the underlying abelian group must be elementary abelian. Our results fill two missing entries in Kopilovich's table with answer no.     

Symmetric and Skew‐Symmetric ‐Matrices with Large Determinants

We show that the existence of ‐matrices having largest possible determinant is equivalent to the existence of certain tournament matrices. In particular, we prove a recent conjecture of Armario. We also show that large submatrices of conference matrices are determined by their spectrum.     

Defining Sets and Critical Sets in (0,1)‐Matrices

If D is a partially filled‐in (0, 1)‐matrix with a unique completion to a (0, 1)‐matrix M (with prescribed row and column sums), we say that D is a defining set for M. If the removal of any entry of D destroys this property (i.e. at least two completions become possible), we say that D is a critical set for M. In this note, we show that the complement of a critical set for a (0, 1)‐matrix M is a defining set for M. We also study the possible sizes (number of filled‐in cells) of defining sets for square matrices M with uniform row and column sums, which are also frequency squares. In particular, we show that when the matrix is of even order 2m and the row and column sums are all equal to m, the smallest possible size of a critical set is precisely m². We give the exact structure of critical sets with this property. © 2012 Wiley Periodicals, Inc. J. Combin. Designs 21: 253–266, 2013     

One (96,20,4)-symmetric Design and related Nonabelian Difference Sets

New (96,20,4)-symmetric design has been constructed, unique under the assumption of an automorphism group of order 576 action. The correspondence between a (96,20,4)-symmetric design having regular automorphism group and a difference set with the same parameters has been used to obtain difference sets in five nonabelian groups of order 96. None of them belongs to the class of groups that allow the application of so far known construction (McFarland, Dillon) for McFarland difference sets.AMS lassification: 05B05     

Bent Functions, Partial Difference Sets, and Quasi-Frobenius Local Rings

Bent functions andpartial difference sets have been constructed from finite principalideal local rings. In this paper, the constructions are generalizedto finite quasi-Frobenius local rings. Let R bea finite quasi-Frobenius local ring with maximal ideal M.Bent functions and certain partial difference sets on M } M are extended to R } R.     

New Families of Semi-Regular Relative Difference Sets

We give two constructions for semi-regular relative difference sets (RDSs) in groups whose order is not a prime power, where the order u of the forbidden subgroup is greater than 2. No such RDSs were previously known. We use examples from the first construction to produce semi-regular RDSs in groups whose order can contain more than two distinct prime factors. For u greater than 2 these are the first such RDSs, and for u=2 we obtain new examples.     

Cyclic Relative Difference Sets and their p-Ranks

By modifying the constructions in Helleseth et al. [10] and No [15], we construct a family of cyclic ((q ^3k –1)/(q–1), q–1, q ^3k–1, q ^3k–2) relative difference sets, where q=3 ^e . These relative difference sets are liftings of the difference sets constructed in Helleseth et al. [10] and No [15]. In order to demonstrate that these relative difference sets are in general new, we compute p-ranks of the classical relative difference sets and 3-ranks of the newly constructed relative difference sets when q=3. By rank comparison, we show that the newly constructed relative difference sets are never equivalent to the classical relative difference sets, and are in general inequivalent to the affine GMW difference sets.     

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.     

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.