On integer matrices obeying certain matrix equations

Similar documents
Supplementary difference sets and optimal designs

Some matrices of Williamson type

An infinite family of skew weighing matrices

Some new constructions of orthogonal designs

Weighing matrices and their applications

An infinite family of Goethals-Seidel arrays

Construction of Williamson type matrices

Semi Williamson type matrices and the W(2n, n) conjecture

A construction for orthogonal designs with three variables

Some remarks on Hadamard matrices

Complex Hadamard matrices

On small defining sets for some SBIBD(4t-1, 2t-1, t-1)

Linear Algebra and its Applications

3-Class Association Schemes and Hadamard Matrices of a Certain Block Form

A note on orthogonal designs

Minimal and Maximal Critical Sets in Room Squares

Orthogonal designs: II

Higher dimensional orthogonal designs and Hadamard matrices

Constructing Hadamard matrices via orthogonal designs

An infinite family of Goethals-Seidel arrays

Bose's method of differences applied to construct Bhaskar Rao designs

On Good Matrices and Skew Hadamard Matrices

Comments on "Generating and Counting Binary Bent Sequences"

ON THE CONSTRUCTION OF HADAMARD MATRICES. P.K. Manjhi 1, Arjun Kumar 2. Vinoba Bhave University Hazaribag, INDIA

New weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review

(1) 0 á per(a) Í f[ U, <=i

Checkered Hadamard Matrices of Order 16

Generalized Bhaskar Rao designs with elements from cyclic groups of even order

Hadamard ideals and Hadamard matrices with two circulant cores

A note on orthogonal Graeco-Latin designs

On Good Matrices and Skew Hadamard Matrices

Trades in complex Hadamard matrices

Inner Product Vectors for skew-hadamard Matrices

K. T. Arasu Jennifer Seberry y. Wright State University and University ofwollongong. Australia. In memory of Derek Breach.

Generation of a frequency square orthogonal to a 10 x 10 Latin square

Small Orders of Hadamard Matrices and Base Sequences

Perfect Secret Sharing Schemes from Room Squares

Two infinite families of symmetric Hadamard matrices. Jennifer Seberry

Recent advances in the construction of Hadamard matrices

A Block Negacyclic Bush-Type Hadamard Matrix and Two Strongly Regular Graphs

Square 2-designs/1. 1 Definition

On the Amicability of Orthogonal Designs

The amicable-kronecker construction of quaternion orthogonal designs

The maximal determinant and subdeterminants of ±1 matrices

On the adjacency matrix of a block graph

ON A METHOD OF SUM COMPOSITION OF ORTHOGONAL LATIN SQUARES. * Michigan State University

(v, k, lambda)-configurations and Hadamard matrices

On A Special Case Of A Conjecture Of Ryser About Hadamard Circulant Matrices

Primes in the Semigroup of Non-Negative Matrices

Tilburg University. Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: Link to publication

Computer Investigation of Difference Sets

A Series of Regular Hadamard Matrices

Mobius Inversion of Random Acyclic Directed Graphs

Constructing c-ary Perfect Factors

On the multiplication theorems of Hadamard matrices of generalized quaternion type using M- structures

Intrinsic products and factorizations of matrices

Some New D-Optimal Designs

New constructions for Hadamard matrices

A NEW CLASS OF NESTED (NEARLY) ORTHOGONAL LATIN HYPERCUBE DESIGNS

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

A REVIEW AND NEW SYMMETRIC CONFERENCE MATRICES

GENERATING TERNARY SIMPLEX CODES ARISING FROM COMPLEX HADAMARD MATRICES

On Nevai's Characterization with Almost Everywhere Positive Derivative X. LI AND E. B. SAFF*

New skew-hadamard matrices via computational algebra

Hadamard and conference matrices

arxiv: v4 [math.co] 12 Feb 2017

On Subsets with Cardinalities of Intersections Divisible by a Fixed Integer

Communications in Algebra Publication details, including instructions for authors and subscription information:

Bounds for Levinger s function of nonnegative almost skew-symmetric matrices


On Systems of Diagonal Forms II

Lemma 8: Suppose the N by N matrix A has the following block upper triangular form:

Magic Squares Indeed!

Decomposition of Pascal s Kernels Mod p s

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets

Hamilton Cycles in Digraphs of Unitary Matrices

Math 4377/6308 Advanced Linear Algebra

Chapter 4. Matrices and Matrix Rings

Improved Multilevel Hadamard Matrices and their Generalizations over the Gaussian and Hamiltonian Integers

TRANSVERSALS OF LATIN SQUARES AND THEIR GENERALIZATIONS

EXTENDING FREITAG S FIBONACCI LIKE MAGIC SQUARE TO OTHER DIMENSIONS

Discrete Applied Mathematics

MATHEMATICS 217 NOTES

Some constructions of integral graphs

COMPLETION OF PARTIAL LATIN SQUARES

Low Rank Co-Diagonal Matrices and Ramsey Graphs

arxiv:math/ v5 [math.ac] 17 Sep 2009

Multiplication of ternary complementary pairs

1 Matrices and Systems of Linear Equations

On minors of the compound matrix of a Laplacian

arxiv: v1 [math.co] 27 Jul 2015

University of Wollongong. Research Online

Hadamard and conference matrices

Hadamard and conference matrices

A New Shuffle Convolution for Multiple Zeta Values

New quasi-symmetric designs constructed using mutually orthogonal Latin squares and Hadamard matrices

Multiply Erdős-Ko-Rado Theorem

The Matrix-Tree Theorem

3 (Maths) Linear Algebra

A prolific construction of strongly regular graphs with the n-e.c. property

Transcription:

University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 1972 On integer matrices obeying certain matrix equations Jennifer Seberry University of Wollongong, jennie@uow.edu.au Publication Details Jennifer Seberry Wallis, On integer matrices obeying certain matrix equations, Journal of Combinatorial Theory, Ser. A., 12, (1972), 112-118. Research Online is the open access institutional repository for the University of Wollongong. For further information contact the UOW Library: research-pubs@uow.edu.au

On integer matrices obeying certain matrix equations Abstract We discuss integer matrices B of odd order v which satisfy Br = ± B, BBr = vi - J, BJ = O. Matrices of this kind which have zero diagonal and other elements ± 1 give rise to skew-hadamard and n-type matrices; we show that the existence of a skew-hadamard (n-type) matrix of order h implies the existence of skew-hadamard (n-type) matrices of orders (h - 1) 5 + 1 and (h - 1) 7 + 1. Finally we show that, although there are matrices B with elements other than ± 1 and 0, the equations force considerable restrictions on the elements of B. Disciplines Physical Sciences and Mathematics Publication Details Jennifer Seberry Wallis, On integer matrices obeying certain matrix equations, Journal of Combinatorial Theory, Ser. A., 12, (1972), 112-118. This journal article is available at Research Online: http://ro.uow.edu.au/infopapers/940

Reprinted from JOURNAL OF COMBINATORIAL THEORY All Rights Reserved by Academic Press, New York and London Vol. 12, No. I, January 1972 Printed in Belgium On Integer Matrices Obeying Certain Matrix Equations JENNIFER WALLIS Newcastle University, N.S. w., 2308, Australia Communicated by Herbert J. Ryser Received October 10, 1969 We discuss integer matrices B of odd order v which satisfy BT = ± B, BBT = vi - J, BJ = O. Matrices of this kind which have zero diagonal and other elements ± 1 give rise to skew-hadamard and n-type matrices; we show that the existence of a skew-hadamard (n-type) matrix of order h implies the existence of skew Hadamard (n-type) matrices of orders (h - 1)' + 1 and (h - 1)' + 1. Finally we show that, although there are matrices B with elements other than ± 1 and 0, the equations force considerable restrictions on the elements of B. 1. INTRODUCTION Some interesting theorems have been discovered by H. J. Ryser [6-8], K. Majindar [5] and more recently by W. G. Bridges and H. J. Ryser [I] on integer matrices. Other specialized matrices have been studied and some of these results may be found in Marshall Hall Jr.'s book [4], G. Szekeres [9], J. M. Goethals and J. J. Seidel [2] and Jennifer Wallis [10,11]. In this paper I propose to look at some integer matrices satisfying very restrictive matrix equations. 2. PRELIMINARIES An Hadamard matrix H, of order h = 2 or cp =0 (mod 4), has every element + I or -1 and satisfies H HT = hih, where I denotes the identity matrix. An Hadamard matrix H = 1+ R of order h will be called skew Hadamard if R has zero diagonal, RT = -R and RRT = (h - l)i h Skew-Hadamard matrices are discussed in [2], [3], [4], and [10]. 112 1972 by Academic Press, Inc.

ON INTEGER MATRICES OBEYING CERTAIN MATRIX EQUATIONS 113 A matrix N = 1+ P of order n == 2 (mod 4) is called n-type if it has every element + 1 or -1, P has zero diagonal, pt = P and P pt = (n - 1) In. These matrices are discussed in [2] and [11]. K. Goldberg has proved in [3] that, if there is a skew-hadamard matrix of order h (Goldberg refers to "type 1" matrices-we use the more recent nomenclature "skew-hadamard"), there is a skew-hadamard matrix of order (h - 1)3 + 1. We examine the fifth and seventh powers. M x N is the Kronecker product of M and N, and we use J to denote the matrix with every element + 1. The core of a skew-hadmard of n-type matrix is found by altering the rows and columns of the matrix unitil it can be written in the form where W, the core, has zero diagonal and + 1 or -1 elsewhere, and e = (1,1,...,1). If W is of order h then WJ = 0, WWT = hi - J, WT = - W if h == 3 (mod 4) and WT = W if h = 1 (mod 4). We will mean by the notation 2:' A x B X ex'" D, where X is the Kronecker product, the sum obtained by circulating the letters formally; thus L' A X B X C = A X B X C + B X C X A + C X A X B. The sum 2:' over x letters has x terms in the sum. For convenience we restate some results from Jennifer Wallis [11] and K. Goldberg [3]: LEMMA 2.1 [11, class II]. If h is the order of a skew-hadamard matrix there is a n-type matrix of order (h - 1)2 + 1. LEMMA 2.2 [11, class II]. If h is the order of an n-type matrix there is an n-type matrix of order (h - 1)2 + 1. LEMMA 2.3 [11, class III]. If h is the order of an n-type matrix there is an n-type matrix of order (h - 1)3 + 1. LEMMA 2.4 [3]. If h is the order of a skew-hadamard there is a skew Hadamard matrix of order (h - 1)3 + 1. My thanks go to W. D. Wallis who suggested the line of proof of the next lemma and theorem:

114 WALLIS DEFINITION. Let A = [au] and C = [Cii] be two matrices of order n. The Hadamard product A * C if A and C is given by LEMMA 2.5. A * C = [aijcij]. When A, B, C, D are matrices of the same order (A X B) * (C X D) = (A * C) X (B * D). THEOREM 2.6. Suppose J, J, and Ware of order h, where W is a matrix with zero diagonal and + 1 or -1 elsewhere. Suppose A is a matrix of order q = h p which is of the form A = Bl + B2 +... + Bk where each Bi is a Kronecker product of p terms J, J or W in some order, such that (a) each Bi contains at least one term W, (b) for any two summands Bi and B j there is a position r such that one of the summands has J in the r-th position and the other has W in that position, and suppose A satisfies Then A has zero diagonal and + 1 or -1 in every other place. Proof Clearly W*J = J* W= 0; so, by part (b) of the hypothesis and Lemma 2.5, Bi * B j = Bj * Bi = whenever i of=- j. Hence no two Bi have non-zero elements in the same position, so each non-zero element of A comes from exactly one of the Bi ; since each Bi is a (0, 1, -1) matrix it follows that A is a (0, 1, -1) matrix. But So, if A = [aij], AAT = qj q - J q for any i; therefore at most one element in each row of A is zero. Wappears in each Bi, and W has zero diagonal, so each Bi-and consequently A has zero diagonal. So we have the result.

ON INTEGER MATRICES OBEYING CERTAIN MATRIX EQUATIONS 115 3. n-type AND SKEW-HADAMARD MATRICES OF ORDER (h - l)n + 1 WHERE n = 5 AND 7 If h is the order of a skew-hadamard (n-type) matrix THEOREM 3.1. then there is a skew-hadamard (n-type) matrix of order (h - 1)5 + 1. Proof Let W be the core of the skew-hadamard (n-type) matrix. Then WJ = 0, WWT = (h - 1) Ih- 1 - Jh- 1 and WT = - W for h =0 (mod 4) and WT = Wfor h = 2 (mod 4). Now if I, W, and J are all of order h - 1 write B = W X W X W X W X W + I' I X J X I X J X W + I' I X J X W X W X W. Then, since W J = 0, B(J X J X J X J X J) = 0, and if WT = - W then BT = -B but if WT = Wthen BT = B. It is easy to see that, if we multiply one summand of B by the transpose of a different summand, then either W J or JWT appears as one term of the Kronecker product expansion, so the product is zero; thus BBT = WWT X WWT X WWT X WWT X WWT + I' I X J2 X I X J2 X WWr + I' I X J2 X WWT X WWT X WWT. substituting for WWT, and using the distributive law for + over x, we find BBT = (h - 1)5 I(h_l)' - J(h_l)5. B satisfies Theorem 2.6, so it has zero diagonal and 1 and -1 elsewhere. So B is the core of the required matrix of order (h - 1)5 + 1. If h is the order of a skew-hadamard (n-type) matrix THEOREM 3.2. then there is a skew-hadamard (n-type) matrix of order (h - 1)7 + 1. Proof Proceed as in the previous theorem but use instead B=WxWxWxWxWxWXW I'I X J X [W X W + I X J] X [W X W + I X J] X W. COROLLARY 3.3. If h is the order of a skew-hadamard matrix then there is a skew-hadamard matrix qf order (h - 1)c + 1 where c =3 j 5 k 7 e, j, k, e are non-negative integers. This follows from Theorems 2.4, 3.1, and 3.2.

116 WALLIS COROLLARY 3.4. If h is the order of a skew-hadamard matrix then there is an n-type matrix of order (h - 1)" + 1 where c = 2 i 3 i 5 k 7e, i a positive integer,j, k, e non-negative integers. This follows from Theorems 2.1, 2.2, 2.3, 3.1, and 3.2. So we see, writing wn to mean W X W x... x W the Kronecker product of n W's, that the formulae for the third, fifth, and seventh powers may be written as wn + I' IJ[W2 + IJ](n-3)j2 W, where juxtaposition denotes Kronecker product. This formula breaks down for 9 and 11. 4. THE NATURE OF MATRICES SATISFYING THE EQUATION FOR THE CORE OF SKEw-HADAMARD MATRICES In the preceding sections we have seen that solutions to the equations AAT = vi - J, AJ = 0 = JA, and AT =-A (1) exist for an infinitude of matrices A of order v. In these cases it is clear that A is a (0, 1, -1) matrix with zero diagonal and 1 or -1 elsewhere. We now show that it is possible to have a matrix A satisfying (1) but which is not a (0, 1, -1) matrix. Consider 0 2-1 -1 0 0 0-2 0 1 0 0 0 1-1 0-1 1 1-1 A= 0 1 0 0-2 0 0-1 -1 0 0 0 2 0 0-1 2 0 0-1 LO 0 1 0-2 O...J then AAT = 71 - J, AJ = 0 = JA and AT = -A. However there are considerable restrictions on the elements of A as Theorem 2.6 and the following theorem show: THEOREM 4.l. Let A be an integer matrix of order v, where v = 3 (mod 4), satisfying AAT = vi - J, AJ = 0 = JA, AT = -A.

ON INTEGER MATRICES OBEYING CERTAIN MATRIX EQUATIONS 117 Suppose -a is the least element of A; define B = A + a(j - I); write e for the g.c.d. of non-zero elements of B. Then either e = zero diagonal and + 1 or -1 elsewhere. - 1 or A has Proof AT = -A, so A has zero diagonal, and hence B has zero diagonal. B satisfies BBT = (v + a 2 )I + [a 2 (v - 2) - I ]J, BJ = a(v - I)J. Consider the matrix C = (l/e)b. C is an integer matrix and CCT = V + a 2 1+ a 2 (v - 2) - 1 J, e 2 e 2 CJ = a( v - 1) J. e The element -a occurs in A; and since AT = -A the element a must occur in A and must be the greatest element of A. Then 2a is the greatest element of Band 2a/e, which is therefore an integer, the greatest element of C. e I 2a, so there are two possibilities: (i) e is odd, e I a; (ii) e is even. If (i) is true, since a 2 (v - 2) - 1 e 2 is an integer we have e 2 I 1 and so e = I. Now consider (ii). v ~ 3 (mod 4), so since e 2 I v + a 2 and e is even we must have a odd. Since e is even, every element of B is even; all the nondiagonal elements of A differ from elements of B by a, an odd number, so they are odd. Now AAT = vi - J, so (evaluating the i-th diagonal element) v L a7i = v - l. i=l

118 WALLIS Each au is an odd integer, unless j = i; so a~j ;?: 1, and v L a~j ;?: v - 1, j~l with equality only when each aij (except aii) is ±1. This holds for every i, so we have the result. REFERENCES 1. W. G. BRIDGES AND H. J. RYSER, Combinatorial designs and related systems, J. Algebra (to appear). 2. J. M. GOETHALS AND J. J. SEIDEL, Orthogonal matrices with zero diagonal, Canad. J. Math. 19 (1967), 1001-1010. 3. K. GOLDBERG, Hadamard matrices of order cube plus one, Proc. Amer. Math. Soc. 17 (3) (1966), 744-746. 4. M. HALL, JR., "Combinatorial Theory," Blaisdell, Waltham, Mass., 1967. 5. K. N. MAJINDAR, On integer matrices and incidence matrices of certain combinatorial configuration, I: square matrices Canad. J. Math. 18 (1966), 1-5. 6. H. J. RYSER, A note on a combinatorial problem. Proc. Amer. Math. Soc. 1 (1950), 422-424. 7. H. J. RYSER, Matrices with integer elements in combinatorial investigations. Amer. J. Math. 74 (1952), 769-773. 8. H. J. RYSER, An extension of a theorem of de Bruijn and Erdos on combinatorial designs, J. Algebra 10 (1968), 246-261. 9. G. SZEKERES, Tournaments and Hadamard matrices, Enseignement Math. 10 (1969),269-278. 10. J. WALLIS, (v, k, A)-configurations and Hadamard matrices, J. Austral. Math. Soc. 11 (1970), 297-309. 11. J. WALLIS, Some (1, -1) matrices, J. Combinatorial Theory ser. B, 10 (1971),1-11. Printed in Belgium by the St. Catherine Press Ltd., Tempelhof 37. Bruges