Inseparable Orthogonal Matrices over Z2

Dr. Grant Zhang

Department of Mathematical Sciences
University of Alabama in Huntsville

April 23, 1999

Abstract

A (0, 1)-matrix A is called orthogonal over Z₂ if both AA^T and A^TA are diagonal matrices. A matrix A is called inseparable if A contains no zero row nor zero column, and there do not exist permutation matrices P andQ such that

A matrix A is said to be of type 0 if AA^T = 0 and A^TA = 0. A square matrix A of order n is said to be of type 1 if AA^T = I_n. It turns out that an inseparable orthogonal mtrix over Z₂ is either of type 0 or of type 1.

A weighing matrix W (over the reals), of weight k and order n, is an n × n (0, 1, −1)-matrix satisfying WW^T = kI_n. Clearly, inseparable orthogonal matrices over Z₂ are generalizations of weighing matrices. In this talk, we will briefly survey the known results and applications concerning weighting matrices, and then discuss the spectrum of the number of 1's in an inseparable orthogonal matrix over Z₂. Eqquivalent formultion of the problem using graphs and its applications wil be given.