Automorphisms of higher‐dimensional Hadamard matrices

This article derives from first principles a definition of equivalence for higher‐dimensional Hadamard matrices and thereby a definition of the automorphism group for higher‐dimensional Hadamard matrices. Our procedure is quite general and could be applied to other kinds of designs for which there are no established definitions for equivalence or automorphism. Given a two‐dimensional Hadamard matrix H of order ν, there is a Product Construction which gives an order ν proper n‐dimensional Hadamard matrix P⁽ⁿ⁾(H). We apply our ideas to the matrices P⁽ⁿ⁾(H). We prove that there is a constant c > 1 such that any Hadamard matrix H of order ν > 2 gives rise via the Product Construction to cν inequivalent proper three‐dimensional Hadamard matrices of order ν. This corrects an erroneous assertion made in the literature that ”P⁽ⁿ⁾(H) is equivalent to “P⁽ⁿ⁾(H′) whenever H is equivalent to H′.” We also show how the automorphism group of P⁽ⁿ⁾(H) depends on the structure of the automorphism group of H. As an application of the above ideas, we determine the automorphism group of P⁽ⁿ⁾(Hk) when Hk is a Sylvester Hadamard matrix of order 2^k. For ν = 4, we exhibit three distinct families of inequivalent Product Construction matrices P⁽ⁿ⁾(H) where H is equivalent to H₂. These matrices each have large but non‐isomorphic automorphism groups. © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 507–544, 2008     

Classification of skew‐Hadamard matrices of order 32 and association schemes of order 31

Using a backtracking algorithm along with an essential change to the rows of representatives of known 13 710 027 equivalence classes of Hadamard matrices of order 32, we make an exhaustive computer search feasible and show that there are exactly 6662 inequivalent skew‐Hadamard matrices of order 32. Two skew‐Hadamard matrices are considered SH ‐equivalent if they are similar by a signed permutation matrix. We determine that there are precisely 7227 skew‐Hadamard matrices of order 32 up to SH ‐equivalence. This partly settles a problem posed by Kim and Solé. As a consequence, we provide the classification of association schemes of order 31.     

Orthogonal designs,self‐dual codes,and the Leech lattice

Symmetric designs and Hadamard matrices are used to construct binary and ternary self‐dual codes. Orthogonal designs are shown to be useful in construction of self‐dual codes over large fields. In this paper, we first introduce a new array of order 12, which is suitable for any set of four amicable circulant matrices. We apply some orthogonal designs of order 12 to construct new self‐dual codes over large finite fields, which lead us to the odd Leech lattice by Construction A. © 2005 Wiley Periodicals, Inc. J Combin Designs 13: 184–194, 2005.     

On Hadamard matrices of order 2(p+1) with an automorphism of odd prime order p

In this paper, we investigate Hadamard matrices of order 2(p + 1) with an automorphism of odd prime order p. In particular, the classification of such Hadamard matrices for the cases p = 19 and 23 is given. Self‐dual codes related to such Hadamard matrices are also investigated. © 2003 Wiley Periodicals, Inc. J Combin Designs 11: 367–380, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10052     

Skew‐Hadamard matrices of orders 436, 580, and 988 exist

We construct two difference families on each of the cyclic groups of order 109, 145, and 247, and use them to construct skew‐Hadamard matrices of orders 436, 580, and 988. Such difference families and matrices are constructed here for the first time. The matrices are constructed by using the Goethals‐Seidel array. © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 493–498, 2008     

Holomorphic liftings and Bergman kernel estimates for 𝒟ℱ𝒩‐domains

Let E be a 𝒟ℱ𝒩‐space and let U ⊂ E be open. By applying the nuclearity of the Fréchet space ℋ︁(U) of holomorphic functions on U we show that there are finite measures μ on U leading to Bergman spaces of μ ‐square integrable holomorphic functions. We give an explicit construction for μ by using infinite dimensional Gaussian measures. Moreover, we prove boundary estimates for the corresponding Bergman kernels K_μ on the diagonal and we give an application of our results to liftings of μ ‐square integrable Banach space valued holomorphic functions over U. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On ‐Cocyclic Hadamard Matrices

A characterization of ‐cocyclic Hadamard matrices is described, depending on the notions of distributions, ingredients, and recipes. In particular, these notions lead to the establishment of some bounds on the number and distribution of 2‐coboundaries over to use and the way in which they have to be combined in order to obtain a ‐cocyclic Hadamard matrix. Exhaustive searches have been performed, so that the table in p. 132 in A. Baliga, K. J. Horadam, Australas. J. Combin., 11 (1995), 123–134 is corrected and completed. Furthermore, we identify four different operations on the set of coboundaries defining ‐cocyclic matrices, which preserve orthogonality. We split the set of Hadamard matrices into disjoint orbits, define representatives for them, and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way, in terms of diagrams. Let be the set of cocyclic Hadamard matrices over having a symmetric diagram. We also prove that the set of Williamson‐type matrices is a subset of of size .     

A technique for constructing non‐embeddable quasi‐residual designs

We propose a technique for constructing two infinite families of non‐embeddable quasi‐residual designs as soon as one such design satisfying certain conditions exists. The main tools are generalized Hadamard matrices and balanced generalized weighing matrices. Starting with a specific non‐embeddable quasi‐residual 2‐(27,9,4) design, we construct for every positive integer m a non‐embeddable 2‐(3^m,3^m?1,(3^m?1?1)/2)‐design, and, if r_m=(3^m?1)/2 is a prime power, we construct for every positive integer n a non‐embeddable design. For each design in these families, a symmetric design with the corresponding parameters is known to exist. © 2002 Wiley Periodicals, Inc. J Combin Designs 10: 160–172, 2002; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.900     

Every 3‐connected claw‐free Z8‐free graph is Hamiltonian

A biclique of a graph G is a maximal induced complete bipartite subgraph of G. Given a graph G, the biclique matrix of G is a {0,1,?1} matrix having one row for each biclique and one column for each vertex of G, and such that a pair of 1, ?1 entries in a same row corresponds exactly to adjacent vertices in the corresponding biclique. We describe a characterization of biclique matrices, in similar terms as those employed in Gilmore's characterization of clique matrices. On the other hand, the biclique graph of a graph is the intersection graph of the bicliques of G. Using the concept of biclique matrices, we describe a Krausz‐type characterization of biclique graphs. Finally, we show that every induced P₃ of a biclique graph must be included in a diamond or in a 3‐fan and we also characterize biclique graphs of bipartite graphs. © 2009 Wiley Periodicals, Inc. J Graph Theory 63: 1–16, 2010     

A note on ℝ‐linear GMRES for solving a class of ℝ‐linear systems

We prove that ?‐linear GMRES for solving a class of ?‐linear systems is faster than GMRES applied to the related ?‐linear systems in terms of matrix–vector products. Numerical examples are given to demonstrate the theoretical result. Copyright © 2011 John Wiley & Sons, Ltd.     

Some Hadamard matrices of order 32 and their binary codes

It is known that all doubly‐even self‐dual codes of lengths 8 or 16, and the extended Golay code, can be constructed from some binary Hadamard matrix of orders 8, 16, and 24, respectively. In this note, we demonstrate that every extremal doubly‐even self‐dual [32,16,8] code can be constructed from some binary Hadamard matrix of order 32. © 2004 Wiley Periodicals, Inc.     

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     

Properties of Hadamard product of inverse M‐matrices

This paper concerns with the properties of Hadamard product of inverse M‐matrices. Structures of tridiagonal inverse M‐matrices and Hessenberg inverse M‐matrices are analysed. It is proved that the product A ○ A^T satisfies Willoughby's necessary conditions for being an inverse M‐matrix when A is an irreducible inverse M‐matrix. It is also proved that when A is either a Hessenberg inverse M‐matrix or a tridiagonal inverse M‐matrix then A ○ A^T is an inverse M‐matrix. Based on these results, the conjecture that A ○ A^T is an inverse M‐matrix when A is an inverse M‐matrix is made. Unfortunately, the conjecture is not true. Copyright © 2004 John Wiley Sons, Ltd.     

On quasi‐orthogonal cocycles

We introduce the notion of quasi‐orthogonal cocycle. This is motivated in part by the maximal determinant problem for square ‐matrices of size congruent to 2 modulo 4. Quasi‐orthogonal cocycles are analogous to the orthogonal cocycles of algebraic design theory. Equivalences with new and known combinatorial objects afforded by this analogy, such as quasi‐Hadamard groups, relative quasi‐difference sets, and certain partially balanced incomplete block designs, are proved.     

A modified Chebyshev ϑ‐weighted Crank–Nicolson method for analyzing fractional sub‐diffusion equations

This study presents a robust modification of Chebyshev ? ‐weighted Crank–Nicolson method for analyzing the sub‐diffusion equations in the Caputo fractional sense. In order to solve the problem, by discretization of the sub‐fractional diffusion equations using Taylor's expansion a linear system of algebraic equations that can be analyzed by numerical methods is presented. Furthermore, consistency, convergence, and stability analysis of the suggested method are discussed. In this framework, compact structures of sub‐diffusion equations are considered as prototype examples. The main advantage of the proposed method is that, it is more efficient in terms of CPU time, computational cost and accuracy in comparing with the existing ones in open literature.     

Infinite families of non‐embeddable quasi‐residual Menon designs

A Menon design of order h² is a symmetric (4h²,2h²‐h,h²‐h)‐design. Quasi‐residual and quasi‐derived designs of a Menon design have parameters 2‐(2h² + h,h²,h²‐h) and 2‐(2h²‐h,h²‐h,h²‐h‐1), respectively. In this article, regular Hadamard matrices are used to construct non‐embeddable quasi‐residual and quasi‐derived Menon designs. As applications, we construct the first two new infinite families of non‐embeddable quasi‐residual and quasi‐derived Menon designs. © 2008 Wiley Periodicals, Inc. J Combin Designs 17: 53–62, 2009     

Types of superregular matrices and the number of n‐arcs and complete n‐arcs in PG (r,q)

Based on the classification of superregular matrices, the numbers of non‐equivalent n‐arcs and complete n‐arcs in PG(r, q) are determined (i) for 4 ≤ q ≤ 19, 2 ≤ r ≤ q ? 2 and arbitrary n, (ii) for 23 ≤ q ≤ 32, r = 2 and n ≥ q ? 8<$>. The equivalence classes over both PGL (k, q) and PΓL(k, q) are considered throughout the examinations and computations. For the classification, an n‐arc is represented by the systematic generator matrix of the corresponding MDS code, without the identity matrix part of it. A rectangular matrix like this is superregular, i.e., it has only non‐singular square submatrices. Four types of superregular matrices are studied and the non‐equivalent superregular matrices of different types are stored in databases. Some particular results on t(r, q) and m′(r, q)—the smallest and the second largest size for complete arcs in PG(r, q)—are also reported, stating that m′(2, 31) = 22, m′(2, 32) = 24, t(3, 23) = 10, and m′(3, 23) = 16. © 2006 Wiley Periodicals, Inc. J Combin Designs 14: 363–390, 2006     

On the maximum cocliques of the rank 3 graph of 211 : M24

In this article, we consider the maximum cocliques of the 2¹¹: M₂₄ ‐graph Λ. We show that the maximum cocliques of size 24 of Λ can be obtained from two Hadamard matrices of size 24, and that there are exactly two maximum cocliques up to equivalence. We verify that the two nonisomorphic designs with parameters 5‐(24,9,6) can be constructed from the maximum cocliques of Λ, and that these designs are isomorphic to the support designs of minimum weights of the ternary extended quadratic residue and Pless symmetry [24,12,9] codes. Further, we give a new construction of Λ from these 5‐(24,9,6) designs. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 323–332, 2009     

Mutually Disjoint 5‐Designs and 5‐Spontaneous Emission Error Designs from Extremal Ternary Self‐Dual Codes

It is known that extremal ternary self‐dual codes of length mod 12) yield 5‐designs. Previously, mutually disjoint 5‐designs were constructed by using single known generator matrix of bordered double circulant ternary self‐dual codes (see [1, 2]). In this paper, a number of generator matrices of bordered double circulant extremal ternary self‐dual codes are searched with the aid of computer. Using these codes we give many mutually disjoint 5‐designs. As a consequence, a list of 5‐spontaneous emission error designs are obtained.     

Self‐Intersection Local Time for 𝒮′(ℝd)‐Ornstein‐Uhlenbeck Processes Arising from Immigration Systems

Fluctuation limits of an immigration branching particle system and an immigration branching measure‐valued process yield different types of 𝒮′(ℝ^d)‐valued Ornstein‐Uhlenbeck processes whose covariances are given in terms of an excessive measure for the underlying motion in Rd, which is taken to be a symmetric α‐stable process. In this paper we prove existence and path continuity results for the self‐intersection local time of these Ornstein‐Uhlenbeck processes. The results depend on relationships between the dimension d and the parameter α.