Exponentially Many Hadamard Designs

If there is a Hadamard design of order n, then there are at least 2^{8n−16−9log n} non-isomorphic Hadamard designs of order 2n. Mathematics Subject Classificaion 2000: 05B05     

A Class of 2‐(3n7, 3n−17, (3n−17−1)/2) Designs

Generalized Hadamard matrices are used for the construction of a class of quasi‐residual nonresolvable BIBD's with parameters . The designs are not embeddable as residual designs into symmetric designs if n is even. The construction yields many nonisomorphic designs for every given n ≥ 2, including more than 10¹⁷ nonisomorphic 2‐(63,21,10) designs. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 460–464, 2007     

Bounds on the number of Hadamard designs of even order

A new lower bound on the number of non‐isomorphic Hadamard symmetric designs of even order is proved. The new bound improves the bound on the number of Hadamard designs of order 2n given in [12] by a factor of 8n ? 1 for every odd n > 1, and for every even n such that 4n ? 1 > 7 is a prime. For orders 8, 10, and 12, the number of non‐isomorphic Hadamard designs is shown to be at least 22,478,260, 1.31 × 10¹⁵, and 10²⁷, respectively. For orders 2n = 14, 16, 18 and 20, a lower bound of (4n ? 1)! is proved. It is conjectured that (4n ? 1)! is a lower bound for all orders 2n ≥ 14. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 363‐378, 2001     

On a new class of productive regular Hadamard matrices

We show that for each integer n for which there is a Hadamard matrix of order 4n and 8n²-1 is a prime number, there is a productive regular Hadamard matrix of order 16n²(8n²-1)². As a corollary, by applying a recent result of Ionin, we get many parametrically new classes of symmetric designs whenever either of 4n(8n²-1)-1 or 4n(8n²-1)+1 is a prime power.     

Regular Hadamard Matrices Generating Infinite Families of Symmetric Designs

If H is a regular Hadamard matrix with row sum 2h, m is a positive integer, and q = (2h ? 1)², then (4h ²(q ^{m + 1} ? 1)/(q ?1),(2h ² ? h)q ^m ,(h ²-h)q ^m ) are feasible parameters of a symmetric designs. If q is a prime power, then a balanced generalized weighing matrix BGW((q ^{m +1} ? 1)/(q?1),q ^m ,q ^m ?q ^{m ?1}) can be applied to construct such a design if H satisfies certain structural conditions. We describe such conditions and show that if H satisfies these conditions and B is a regular Hadamard matrix of Bush type, then B×H satisfies these structural conditions. This allows us to construct parametrically new infinite families of symmetric designs.     

Structure and automorphism groups of Hadamard designs

Let n be the order of a Hadamard design, and G any finite group. Then there exists many non-isomorphic Hadamard designs of order 2^{12|G| + 13} n with automorphism group isomorphic to G.This research was supported in part by the National Science Foundation.     

Finite cubic graphs admitting a cyclic group of automorphism with at most three orbits on vertices

The theory of voltage graphs has become a standard tool in the study of graphs admitting a semiregular group of automorphisms. We introduce the notion of a cyclic generalised voltage graph to extend the scope of this theory to graphs admitting a cyclic group of automorphisms that may not be semiregular. We use this new tool to classify all cubic graphs admitting a cyclic group of automorphisms with at most three vertex-orbits and we characterise vertex-transitivity for each of these classes. In particular, we show that a cubic vertex-transitive graph admitting a cyclic group of automorphisms with at most three orbits on vertices either belongs to one of 5 infinite families or is isomorphic to the well-known Tutte–Coxeter graph.     

Skew Hadamard designs and their codes

Skew Hadamard designs (4n – 1, 2n – 1, n – 1) are associated to order 4n skew Hadamard matrices in the natural way. We study the codes spanned by their incidence matrices A and by I + A and show that they are self-dual after extension (resp. extension and augmentation) over fields of characteristic dividing n. Quadratic Residues codes are obtained in the case of the Paley matrix. Results on the p-rank of skew Hadamard designs are rederived in that way. Codes from skew Hadamard designs are classified. An optimal self-dual code over GF(5) is rediscovered in length 20. Six new inequivalent [56, 28, 16] self-dual codes over GF(7) are obtained from skew Hadamard matrices of order 56, improving the only known quadratic double circulant code of length 56 over GF(7).     

On a series of Hadamard matrices of order 2 t and the maximal excess of Hadamard matrices of order 22t

In this paper we give a new series of Hadamard matrices of order 2 ^t . When the order is 16, Hadamard matrices obtained here belong to class II, class V or to class IV of Hall's classification [3]. By combining our matrices with the matrices belonging to class I, class II or class III obtained before, we can say that we have direct construction, namely without resorting to block designs, for all classes of Hadamard matrices of order 16.Furthermore we show that the maximal excess of Hadamard matrices of order 2^2t is 2^3t , which was proved by J. Hammer, R. Levingston and J. Seberry [4]. We believe that our matrices are inequivalent to the matrices used by the above authors. More generally, if there is an Hadamard matrix of order 4n ² with the maximal excess 8n ³, then there exist more than one inequivalent Hadamard matrices of order 2^2t n ² with the maximal excess 2^3t n ³ for anyt 2.     

Hadamard 2-(63,31,15) designs invariant under the dihedral group of order 10

All Hadamard 2-(63,31,15) designs invariant under the dihedral group of order 10 are constructed and classified up to isomorphism together with related Hadamard matrices of order 64. Affine 2-(64,16,5) designs can be obtained from Hadamard 2-(63,31,15) designs having line spreads by Rahilly’s construction [A. Rahilly, On the line structure of designs, Discrete Math. 92 (1991) 291-303]. The parameter set 2-(64,16,5) is one of two known sets when there exists several nonisomorphic designs with the same parameters and p-rank as the design obtained from the points and subspaces of a given dimension in affine geometry AG(n,p^m) (p a prime). It is established that an affine 2-(64,16,5) design of 2-rank 16 that is associated with a Hadamard 2-(63,31,15) design invariant under the dihedral group of order 10 is either isomorphic to the classical design of the points and hyperplanes in AG(3,4), or is one of the two exceptional designs found by Harada, Lam and Tonchev [M. Harada, C. Lam, V.D. Tonchev, Symmetric (4, 4)-nets and generalized Hadamard matrices over groups of order 4, Designs Codes Cryptogr. 34 (2005) 71-87].     

A family of non class-regular symmetric transversal designs of spread type

Many classes of symmetric transversal designs have been constructed from generalized Hadamard matrices and they are necessarily class regular. In (Hiramine, Des Codes Cryptogr 56:21–33, 2010) we constructed symmetric transversal designs using spreads of \mathbbZ_p²ⁿ{\mathbb{Z}_p^{2n}} with p a prime. In this article we show that most of them admit no class regular automorphism groups. This implies that they are never obtained from generalized Hadamard matrices. As far as we know, this is the first infinite family of non class-regular symmetric transversal designs.     

Orthogonal designs II

Orthogonal designs are a natural generalization of the Baumert-Hall arrays which have been used to construct Hadamard matrices. We continue our investigation of these designs and show that orthogonal designs of type (1,k) and ordern exist for everyk < n whenn = 2 ^t+2?3 andn = 2 ^t+2?5 (wheret is a positive integer). We also find orthogonal designs that exist in every order 2n and others that exist in every order 4n. Coupled with some results of earlier work, this means that theweighing matrix conjecture ‘For every ordern ≡ 0 (mod 4) there is, for eachk ?n, a square {0, 1, ? 1} matrixW = W(n, k) satisfyingWW ^t =kIn’ is resolved in the affirmative for all ordersn = 2^t+1?3,n = 2^t+1?5 (t a positive integer). The fact that the matrices we find are skew-symmetric for allk < n whenn ≡ 0 (mod 8) and because of other considerations we pose three other conjectures about weighing matrices having additional structure and resolve these conjectures affirmatively in a few cases. In an appendix we give a table of the known results for orders ? 64.     

Infinite families of non-embeddable quasi-residual hadamard designs

LetD be a quasi-residual Hadamard design with =(2m + 1)2ⁿ–1, wherem andn are positive integers. IfD contains a pair of blocks intersecting in m2ⁿ⁺¹ points together with a third block intersecting each of the first two blocks in (m + 1)2ⁿ points thenD is non-embeddable. Using this result together with a recursive construction for quasi-residual Hadamard designs the existence of a previously unknown infinite family of non-embeddable quasi-residual Hadamard designs with =5(2ⁿ)–1 is established. An additional infinite family of non-embeddable quasi-residual Hadamard designs is given. This family has = 2ⁿ–1 with each design in the family having a pair of blocks meeting in (3 + 3)/4 points and a third block meeting each of the first two blocks in (5 + 5)/8 points.     

Cyclic polygons with rational sides and area

We generalise the notion of Heron triangles to rational-sided, cyclic n-gons with rational area using Brahmagupta's formula for the area of a cyclic quadrilateral and Robbins' formulæ for the area of cyclic pentagons and hexagons. We use approximate techniques to explore rational area n-gons for n greater than six. Finally, we produce a method of generating non-Eulerian rational area cyclic n-gons for even n and conjecturally classify all rational area cyclic n-gons.     

A weak difference set construction for higher dimensional designs

We continue the analysis of de Launey's modification of development of designs modulo a finite groupH by the action of an abelian extension function (AEF), and of the proper higher dimensional designs which result.We extend the characterization of allAEFs from the cyclic group case to the case whereH is an arbitrary finite abelian group.We prove that ourn-dimensional designs have the form (f(j ₁ j ₂ ...j _n )) (j _i J), whereJ is a subset of cardinality |H| of an extension groupE ofH. We say these designs have a weak difference set construction.We show that two well-known constructions for orthogonal designs fit this development scheme and hence exhibit families of such Hadamard matrices, weighing matrices and orthogonal designs of orderv for which |E|=2v. In particular, we construct proper higher dimensional Hadamard matrices for all orders 4t100, and conference matrices of orderq+1 whereq is an odd prime power. We conjecture that such Hadamard matrices exist for all ordersv0 mod 4.     

Some designs which admit strong tactical decompositions

Whenever there exist affine planes of orders n ? 1 and n, a construction is given for a 2 ? ((n + 1)(n ? 1)², n(n ? 1), n) design admitting a strong tactical decomposition. These designs are neither symmetric nor strongly resolvable but can be embedded in symmetric 2 ? (n³ ? n + 1, n², n) designs.     

一类新的１６次试验的超饱和设计

该文利用Ｈａｌｌ（１９６１）提出的１６阶的Ｈａｄａｍａｒｄ阵之一构造了一类新的１６次试验的二水平因子超饱和设计，讨论了这类新的设计的统计性质并与其他已有类似设计作了比较，同时指出了该类新设计的适用范围．     

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.     

Divisible Designs Admitting GL(3, q) as an Automorphism Group

Starting from a 3-dimensional projective space we construct divisible designs admitting GL(3,q) as an automorphism group.     

Construction of Hamilton Path Tournament Designs

A Hamilton path tournament design involving n teams and n/2 stadiums, is a round robin schedule on n − 1 days in which each team plays in each stadium at most twice, and the set of games played in each stadium induce a Hamilton path on n teams. Previously, Hamilton path tournament designs were shown to exist for all even n not divisible by 4, 6, or 10. Here, we give an inductive procedure for the construction of Hamilton path tournament designs for n = 2 ^p ≥ 8 teams.