arxiv: v2 [math.co] 4 Sep 2014

Transcription

1 HADAMARD MATRICES MODULO P AND SMALL MODULAR HADAMARD MATRICES arxiv: v [math.co] Sep 01 VIVIAN KUPERBERG ABSTRACT. We use modular symmetric designs to study the existence of Hadamard matrices modulo certain primes. We solve the 7-modular and 11-modular versions of the Hadamard conjecture for all but a finite number of cases. In doing so, we state a conjecture for a sufficient condition for the existence of a p-modular Hadamard matrix for all but finitely many cases. When is a primitive root of a prime p, we conditionally solve this conjecture and therefore the p-modular version of the Hadamard conjecture for all but finitely many cases when p 3 (mod ), and prove a weaker result for p 1 (mod ). Finally, we look at constraints on the existence of m-modular Hadamard matrices when the size of the matrix is small with respect to m. 1. INTRODUCTION The study of Hadamard matrices has many applications in mathematics and in signal and data processing (see [3]). A real Hadamard matrix of size n is an n n (±1)-matrix H such that HH = ni. In particular, the rows and columns of H are orthogonal. We can generalize this idea to modular Hadamard matrices; an m- modular Hadamard matrix of size n is an n n matrix H with entries±1 satisfying that HH ni (mod m). In this case we say that H is an MH(n,m). Modular Hadamard matrices were introduced by Marrero and Butson in [7]; further results were achieved in [] and [6]. Motivated by the Hadamard conjecture, which states that Hadamard matrices of size n exist for all n, it has been fully determined for which n an MH(n,m) exists when m=,3,,5,6,8,1. The authors in [1] further prove that the Hadamard conjecture holds for 3-modular Hadamard matrices. In this paper we begin by recalling established results for modular Hadamard matrices and modular symmetric designs. We then use the direct sum construction to prove the 7-modular Hadamard conjecture for all but finitely many cases and provide a conditional construction for certain p-modular Hadamard matrices. Finally, we use combinatorial techniques to prove nonexistence for small modular Hadamard matrices. Throughout this paper, we say that a Hadamard matrix H is normalized if all entries in the first row and first column are+1. Moreover, J will refer to the matrix of all 1 s, and(a,b) will represent the gcd of a and b. 1

2 VIVIAN KUPERBERG. MODULAR HADAMARD MATRICES A few basic results, all presented in [5], allow us to completely decide the existence of Hadamard matrices modulo, 3,, 6, 8, and 1. Lemma 1. [5] Let H be an MH(n,m). Then (m,) n. If n is odd and n 0 (mod m), then let 1 r m 1 such that r φ(m) n (mod m); we know that n r. Lemma. [5] Let H be an MH(n,m), with (n,m) = 1 and n odd. Then n is a quadratic residue of m. Proof. Since HH ni (mod m), (deth) n n (mod m), so n can not be both odd and a nonresidue of m. Lemma 3. [5] If n 0 (mod m) or n (mod m), then there exists an MH(n,m). Proof. If n 0 (mod m), then the matrix J is an MH(n,m). If n (mod m), then the matrix J I is an MH(n,m). Lemma. [5] Let H 1 be an MH(n 1,m 1 ) and H be an MH(n,m ). Then H 1 H is an MH(n 1 n,(m 1 m,n 1 m,n m 1 )). This process is most commonly done when one of the components is the real Hadamard matrix [ ] 1 1 F =, 1 1 in which case the process is called doubling. Theorem 5. If n, then (a) an MH(n,) exists n is even. (b) an MH(n,3) exists n 5 (mod 6). (c) an MH(n,) exists n 0 (mod ). (d) an MH(n,6) exists n is even. (e) an MH(n,8) exists n 0 (mod ). (f) an MH(n,1) exists n 0 (mod ). Proof. Cases (a) through (d) are addressed in [5]. An MH(n,8) can only exist by Lemma 1 if n 0, (mod 8) and both of these are constructed in Lemma 3. By Lemma 1, an MH(n,1) can only exist if n 0,,8 (mod 1). The n 0,, (mod 1) cases are constructed in Lemma 3; for the n 8 (mod 1) case, we can double an MH(6k +, 6) to get an MH(1k + 8, 1). The study of modular symmetric designs was explored in [5] to address the question of deciding the existence of MH(n,m) matrices for m=5.

3 P-MODULAR HADAMARD MATRICES 3 3. MODULAR SYMMETRIC DESIGNS Definition 6. Let m,v be integers. An m-modular symmetric design is a v v (0,1)-matrix D satisfying that DD (k λ)i+λj (mod m) and that DJ JD kj for some integers k,λ, and where J is the v v matrix of all 1 s. Such a design is denoted (v,k,λ;m). We may go between modular symmetric designs and modular Hadamard matrices by replacing the 1 entries with 0 entries, and vice versa. The following lemmas provide conditions under which we can do this. Definition 7. The core of a normalized modular Hadamard matrix H is obtained by discarding the first row and first column and is denoted C(H). Lemma 8. [5] Let H be an MH(n,m) with (n,m) = 1 and n,m 3. The design D(H)=(C(H)+J)/ is a (n 1, φ(m) 1 (n ), φ(m) (n );m) design. The reverse transformation also holds under certain conditions; in particular, two modular symmetric designs occasionally generate a larger modular Hadamard matrix. Definition 9. Let D 1 be a (v 1,k 1,λ 1 ;m) design and D be a (v,k,λ ;m) design. Then [ ] D1 J J D is defined as the direct sum of D 1 and D, and denoted D 1 D. While D 1 D is not necessarily a modular symmetric design, the following is true. Lemma 10. [5] (D 1 D )+J is an MH(v 1 + v,m) if and only if v 1 + v (k 1 λ 1 ) (k λ ) (k 1 + k ) (mod m). One should note that the constraints of Lemma 10 imply that if H is an MH(n,m), then (D(H) D )+J is an m-modular Hadamard matrix if and only if the parameters (v,k,λ ;m) of the design D satisfy the following constraints: v 1 (mod m) k 1 (mod m) λ φ(m) ( n) (mod m). The authors in [5] use the above lemmas to prove the following theorem. Theorem 11. There exists an MH(n,5) if and only if n 3,7 (mod 10) and n 6,11.

4 VIVIAN KUPERBERG. THE HADAMARD CONJECTURE MODULO 7 Constructing 7-modular Hadamard matrices is more difficult than those discussed above. Several of the cases can still be handled using modular Hadamard matrices alone. Proposition 1. There exists an MH(n,7) if n 0,,7,8,11 (mod 1). There does not exist an MH(n,7) if n 3,5,13 (mod 1). Proof. Just as in Lemma 3, J is an MH(7k,7) and J I is an MH(7k+,7). An MH(1k+8,7) can be obtained by doubling an MH(7k+,7) to get an MH(1k+ 8,7). Since 3, 5, and 6 are not quadratic residues of 7, Lemma eliminates the cases where n 3,5,13 (mod 1). Using the direct sum of modular symmetric designs, we can fully say when an MH(7k + 1, 7) exists with the exception of MH(15, 7) and MH(9, 7). Proposition 13. If n 1 (mod 7) and n 15, 9, then an MH(n, 7) exists. Proof. Using the construction above, we know that for all k, an MH(1k+8,7) exists. We can use that modular Hadamard matrix with Lemma 8 to generate a modular Hadamard design with parameters (1k + 7, 3, 1; 7). Taking its direct sum with a design of parameters(36,15,6), a Menon design of size 36 (see []), we obtain an MH(1k+3,7), giving us an MH(1k+1,7) if k 3and thus an MH(n,7) for all n 15,9,n 1 (mod 7). However, for an MH(n,7) when n,3,5, or 6 (mod 7), the constructions are restricted by known symmetric designs for the direct sums. This becomes more difficult because a 7-modular Hadamard design obtained from an MH(7k + n, 7) will have parameters(7k + n 1, (n ), (n ); 7). Referencing the constraints of Lemma 11, we see that for a 7-modular Hadamard design to sum directly to an MH(v,7), we must have v n (mod 7). Further calculations show that the other design in the sum must have parameters(7a+1,7b+1,7c+1 n), placing severe restrictions on such a design. Nonetheless, we obtain the following constructions. Proposition 1. An MH(7k+,7) exists if 7k Proof. We can double an MH(1k+8,7) and an MH(1k+3,7) to get an MH(8k+ 16,7) and an MH(8k+86,7), respectively. We then take a (580,583,68) design (see family 1 in []) and take the direct sum with these two to get an MH(8k + 595, 7) and an MH(8k , 7). Proposition 15. An MH(1k+ 6,7) exists if 1k Proof. Real Hadamard matrices of size 1 are known to exist (see [1]). Let M 1 be one of these. Then we can take the Kronecker product MH(7k+,7) M 1 to get an MH(8k+8,7). This gives us the 7-modular Hadamard design (8k+

5 P-MODULAR HADAMARD MATRICES 5 7,,;7), which we can sum with the design(71,15,3) from [] to get an MH(8k+ 118, 7). Using this, we can generate another 7-modular Hadamard design, and iterate the process using the same (71,15,3) design to get an MH(8k+ 188,7), an MH(8k+58,7), an MH(8k+38,7), and an MH(8k+398,7). All MH(1k+ 6,7) with 1k will fall into one of the above categories. Proposition 16. An MH(1k + 10, 7) exists if 1k Proof. For large enough k, we can take the product MH(7k+,7) M 1 to get an MH(8k+,7) and the 7-modular Hadamard design (8k+ 3,,5;7). We can then take the designs (1639, 79, 3) and (539, 1167, 5819), both from family 11 in []. We then get: (8k+ 3,,5;7) (1639,79,3) which gives an MH(8k+ 166,7) (8k+ 3,,5;7) (539,1167,5819) which gives an MH(8k+ 56,7) (8k+ 561,,5;7) (1639,79,3) which gives an MH(8k+ 7100,7) (8k+ 561,,5;7) (539,1167,5819) which gives an MH(8k ,7) (8k ,,5;7) (1639,79,3) which gives an MH(8k+ 5538,7). All MH(1k + 10, 7) of large enough size will fall into one of the above categories. Proposition 17. An MH(1k + 1, 7) exists if 1k Proof. [1] contains a construction for a size-0 real Hadamard matrix, denoted M 0. If k is large enough, we can take MH(7k+,7) M 0 to get an MH(10k+ 0,7) and the design (10k+139,5,;7). Using the design (185,79,3) of family 10 in [] and the same process as in Proposition 1, we can generate MH(10k+, 7), MH(10k+08, 7), MH(10k+659, 7), MH(10k+8776, 7), MH(10k ,7), MH(10k+131, 7), MH(10k+1538, 7), MH(10k+1751, 7), and MH(10k ,7). All MH(1k+ 1,7) of large enough size will fall into one of the above categories. These results determine for which n an MH(n,7) exists with finitely many exceptions, and yield the following theorem. Theorem 18. The Hadamard conjecture modulo 7 is true for all but a finite number of cases.

6 6 VIVIAN KUPERBERG 5. P-MODULAR HADAMARD MATRICES The results in [5] and the above result concerning 7-modular Hadamard matrices lead to the following conjecture. Conjecture 19. Let p be an odd prime. For all but finitely many n, an MH(n, p) exists if and only if n is even or a quadratic residue of p. Remark. This has already been shown for p = 3,5,7, and Lemma proves one direction of the conjecture for all p. Moreover, the constraint that the if and only if condition holds for all but finitely many n is as strong as possible; for example, Theorem 5 shows that if n<3m and odd, the existence of an MH(n,m) is rare. Using families of symmetric designs, and assuming certain number theoretical conjectures, we prove the above conjecture for primes p 3 (mod ) and such that is a primitive root of p. Theorem 0. Let p 3 (mod ) be a prime such that is a primitive root of p. Then, for all but finitely many n, an MH(n, p) exists if for some quadratic residue q of p, n (1+q) (mod p). Proof. We can fix an n satisfying 1 n p and n (1+q n ) (mod p) for some quadratic residue q n of p. Beginning with an MH( jp+, p) matrix M 0, which can be constructed according to Lemma 3, we can let M i = M i 1 F. Lemma shows that every M i is also a p-modular Hadamard matrix, and we can see that each M i is an MH( i jp+ i+, p). We take the smallest i such that M i is of size n i n (mod p); since is a primitive root of p, we know that such an i exists no matter the choice of n. However, this constructs a matrix of size i+ (mod i p) rather than any matrix of even size congruent to i+ (mod p). We use Lemma 10 to additively generate all other matrices in the same congruence class as M i. To do this, we construct a sequence of matrices A i satisfying that A i = (D(A i 1 ) D) J where D is a design in family 11 of [] of the form (1+ q(qm 1),q m, qm 1 ) with q an odd prime power. Note that if the size of A i 1 is v i, then the size of A i is v i + q(qm 1) ; thus, if q(qm 1) (mod ), then every congruence class (mod i p) that is in the congruence class n (mod p) will be represented in our sequence. Therefore, with reference to the constraints in Lemma 10, we need the parameters to satisfy the following: 1+ q(qm 1) 1 (mod p) 1+ q(qm 1) 3 (mod )

7 P-MODULAR HADAMARD MATRICES 7 q m 1 (mod p) q m 1 φ(p) ( n) (mod p). To satisfy the first constraint, q(qm 1) must be oddly even, so q(qm 1) must be odd. Thus, q is odd, as is qm 1 q 1 = qm 1 + +q+1, so m must also be odd. Since q m 1 (mod p), the order of q (mod p) must divide m; to achieve the odd condition, m must be odd, so the order of q must be as well. If p 3 (mod ), we can guarantee this condition exactly when q is a quadratic residue of p. If q 1 (mod p), and we set m equal to the order of q, then we automatically have satisfied the first three conditions. If q 1 (mod p), we can instead set m equal to p to satisfy the first three conditions. We now want: q m 1 φ(p) ( n) (mod p) (1 q m 1 ) n (mod p) n (q 1 + 1) (mod p). If n is of the form (1+q n ), then we can find some prime, and thus some prime power, q q 1 n (mod p) and define m as above. Then the design(1+ q(qm 1),q m, qm 1 generates all but finitely many p-modular Hadamard matrices of size congruent to n (mod p) and even. Conjecture 1. For every prime p and for every 1 δ < p, there exists an odd prime power q 1 (mod p) and a d δ (mod p) such that r = qd 1 q 1 is a prime power with r 1 (mod ). If this conjecture holds, we have the following. Theorem. Assume that the above conjecture is true and that p is a prime with as a primitive root and such that p 3 (mod ). For all but finitely many n, an MH(n, p) exists if n is not both odd and a quadratic nonresidue of p. Proof. We will prove this in two stages; first, by proving that for all but finitely many even n, an MH(n, p) exists, and second, by proving that for all but finitely many quadratic residues n, an MH(n, p) exists. Since p is generated by, we can use the same technique as described in Theorem 0 to construct even sized matrices, provided that we have a design with appropriate parameters. We use designs from family 10 in [] of the form (1+ qr(rm 1),r m, rm 1 q ) )

8 8 VIVIAN KUPERBERG where q and r= qd 1 q 1 are both prime powers. We want the parameters of this design to satisfy the constraints (1) () (3) () r m 1 (r 1) q 1+ qr(rm 1) 3 (mod ) (r 1) 1+ qr(rm 1) 1 (r 1) (mod p) r m 1 (mod p) φ(p) ( n) (mod p). Assume that we have a q 1 (mod p). Then, the constraint becomes r m 1 (r 1) φ(p) ( n) (mod p) which, given constraint, further reduces to n r 1 (mod p). Note that since r = q d , r d (mod p). We choose δ (mod p) so that n δ 1 (mod p). Then, using Conjecture 1, we can find a d so that the condition is satisfied. If r 1 (mod p), we can set m = p, meaning that 1+ qr(rm 1) will be congruent both to (mod ) and to 0 (mod p), so all four constrainst are satisfied. Otherwise, we set m = φ(p) = p 1. Since r 1 (mod ) and p 3 (mod ), we know that r m 1 + +r+ 1 is congruent to 0 (mod p) and to (mod ). Thus, constraints 1 and hold; since m=φ(p), constraint 3 holds as well. We therefore have a construction for all but finitely many even-sized p-modular Hadamard matrices. Now assume that n is a quadratic residue. We can construct an MH(n, p) by taking the matrix (D(MH(n, p)) D ) J, where n n (mod p) as constructed above, and D is a design of even size with appropriate parameters. For large enough n, this can be constructed if we find a design of odd size; using the same family of symmetric designs, we must find a design satisfying constraints,3, and above, in addition to the constraint that 1+ qr(rm 1) 0 (mod ). We can find q and r as above. If r 1 (mod p), we set m = p to satisfy all four constraints. Otherwise, we set m= p 1. Since n is a quadratic residue, r is one as well, so we still know that r m 1 (mod p). However, since m is odd, qr(rm 1) r 1 is also odd, and our design satisfies all four constraints. In particular, Theorem conditionally proves Conjecture 19 for primes p with p 3 (mod ) and such that is a primitive root of p. The following table of

9 P-MODULAR HADAMARD MATRICES 9 values shows the q and δ values that satisfy Conjecture 1 when p = 11, which proves Conjecture 19 when p=11. d q δ This table proves Conjecture 19 when p = 11, and thus proves the 11-modular version of the Hadamard conjecture. Meanwhile, if p 3 (mod ), we can prove a weaker result that is conditional on Conjecture 1. Theorem 3. Assume that Conjecture 1 holds, and let p be a prime such that is a primitive root of p and p i + 1 (mod i+1 ). Let 0 j i. Then, for all but finitely many n, if n 1 a j (mod p) for some a and n 0 (mod i j ), an MH(n, p) exists. Proof. We can again use the technique described in Theorem 0 to construct matrices within a congruence class (mod p), again using designs from family 10 in [] of the form (1+ qr(rm 1),r m, rm 1 q ) where q and r = qd 1 q 1 are both prime powers. The parameters of this design must satisfy constraints through above, in addition to the following: 1+ qr(rm 1) 1+ i j (mod i j+1 ). This equivalence will exactly ensure that all matrices with size congruent to n and divisible by i j will eventually exist, since the difference in size between any two matrices in our additive sequence will be also be congruent to i j. Note as above that n r 1 (mod p), so by assumption r a j (mod p) for some a. First, we will address the case where r 1 (mod p). Choosing a to be 1, r a i (mod p), so we will show that for all but finitely many n (mod p), where n 1 1 (mod p), an MH(n, p) exists. Thus, we want qr(rm 1) to be odd. Using

10 10 VIVIAN KUPERBERG r and q from Conjecture 1, and letting m= p, we satisfy constraints through. Moreover, since r, q, and m are all odd, so is qr(rm 1), so we are done. Remark. For n (mod p), the existence of an MH(n, p) is guaranteed by Lemma 3 as well as by this method. Now assume that r 1 (mod p). Again let q and r be in accordance with Conjecutre 1, and set m equal to the order of r in the multiplicative group modulo p. Since r a j (mod p) and the order of a divides p 1, we know that the highest power of dividing the order of r must be i j ; equivalently, m i j (mod i j+1 ). Since q and r are both odd, qr(rm 1) is divisible by as many powers of as rm 1 r 1. We will show that rm 1 r 1 i j (mod i j+1 ). We know according to Conjecture 1 that r 1 (mod ), so we can fix r 0 such that r=r Moreover, r m 1 r 1 = rm m 1 α ( ) α = (r 0 ) β α=0 β β=0 m 1 m 1( ) α = (r 0 ) β β β=0 α=β m 1 ( ) ( β m 1 = (r 0 ) β ( + + β β β=0 m 1 ( ) m = (r 0 ) β. β + 1 β=0 The β = 0 term is simply m, which is congruent to i j (mod i j+1 ). Thus, if all other terms are congruent to 0 (mod i j+1 ), we will have that rm 1 r 1 i j (mod i j+1 ), as desired. We therefore fix β 1. We want(r 0 ) β( m ) β+1 to be divisible by i j+1, where i j divides m. However, ( ) m (r 0 ) β = r β m m β 1 β β, (β + 1)! ) ) β (β+1)! has so it is sufficient to show that, once simplified and assuming β 1, an even numerator, in which case our expression will be divisible by m and thus by i j+1. The highest power of that divides (β + 1)! strictly increases as β

11 P-MODULAR HADAMARD MATRICES 11 increases. Moreover, whenever β + 1 = γ for some integer γ, the highest power of that divides (β + 1)! is γ 1. This can be shown by noting that the highest power of that divides (β + 1)! is y 1+ +y γ, where y t is the number of integers less than or equal to β + 1 that are divisible by t. When β + 1= γ, y t = γ t, so the highest power of that divides (β + 1)! is γ = γ 1. Now we can assume that γ +1 β+1 γ+1. In this range, the highest power of that divides (β + 1)! is between γ 1 and γ+1 1, whereas the highest power of that divides β is at least γ Thus, (β+1)! always has even numerator when β 1, so the β expression r β 0 β m m β 1 (β+1)! must be divisible by m and thus by i j+1. We then know that rm 1 r 1 i j (mod i j+1 ), as desired, so all but finitely many matrices of size divisible by i j and congruent to n (mod p) will exist. 6. NONEXISTANCE FOR SMALL MATRICES The above results show conditionally that for certain p, for all but finitely many n, an MH(n, p) exists if n is even or a quadratic residue of p. We can show that when n is small with respect to a modulus m, where m is not necessarily prime, a stronger necessary condition for the existence of an MH(n, m) holds. One case arises if we assume that n=m+1. In this circumstance, the following is true. Proposition. An MH(m+1,m) matrix does not exist unless for some integer k 1. m= 1 (( 1)(3+ ) k ( +1)(3 ) k ) Proof. If m is even, then by Lemma 1, an MH(n,m) exists only if n is also even, so no MH(m+1,m) exists. Thus, m must be odd. Now assume we have an MH(m+1,m) matrix H, where m is odd. Let p i j be the inner product of the ith and jth rows, where i j. Then, p i j 0 (mod m), but we also know that m 1 < p i j < m+1 and that p i j must be odd. Thus, p i j =±m. We can then normalize H. For all i 1, either p 1i = m and there are m+1 negative entries in row i, or p 1i = m and there are 3m+1 negative entries in row i. Note that since (m+1,m)=1, H H = HH =(m+1)i, so each column also has either m+1 negative entries or 3m+1 negative entries. We will refer to a row or column with k negative entries as being of type k. Note that there are exactly as many rows of type m+1 as there are columns of type m+1. Moreover, in order to ensure an inner product of ±m, any two rows of type 3m+1 must both have negative entries in exactly 5m+1 columns, and given a row i of type m+1, any other row must have negative entries in exactly m+1 of the same columns.

12 1 VIVIAN KUPERBERG For any row of type m+1 m+1, we can look at the columns in which that row has a negative entry; let a be the number of those columns that are of type m+1. We will count the total number of negative entries in those m+1 columns. Counting first by columns and then by rows, we get the following relation: a( m+1 m+1 )+( a)( 3m+1 )= m+1 +(m 1)( m+1 ). We can solve to get that a = m+1 m+1, which also means that a row of type has exactly m+1 negative entries in columns of type 3m+1. Similarly, we can look at the 3m+1 columns in which a row of type 3m+1 has a negative entry. Let b be the number of those columns that are of type 3m+1, and c be the total number of columns that are of type 3m+1. Again by counting the total number of negative entries in these columns by columns and then by rows, we get that b( 3m+1 )+( 3m+1 b)( m+1 )= 3m+1 +(c 1)( 5m+1 )+(m c)( m+1 ). We can solve to get that c b = m+1 3m+1 ; thus, a row of type has a +1 entry in exactly m+1 columns of type 3m+1. We then know that a row of type 3m+1 has a negative entry in exactly c m+1 columns of type 3m+1. We next look at the total number of negative entries in columns of type 3m+1, which gives us the following: )=c(c m+1 m+1 )+(m c)( ). c( 3m+1 Solving for c, we get that c= 1+m± m +(m+1). Since c is an integer, we then know that m +(m+1) must be a perfect square, so m must be of the form m= 1 (( 1)(3+ ) k ( +1)(3 ) k ) for some positive k. However, we already know that m must be odd; thus, k must be even. Lemma 1 already shows that certain small Hadamard matrices cannot exist; for example, Lemma 1 implies that no MH(11, 5) or MH(6, 5) can exist. However, Proposition 6 gives us a stronger constraint than had existed before; for example, it determines that no MH(15,7) exists, despite satisfying the conditions of Lemma 1. Notably, the MH(15,7) is left out of our construction above for matrices of the form MH(7k+ 1,7). It constitutes one case of the following more general result.

13 P-MODULAR HADAMARD MATRICES 13 Theorem 5. Let n<3m be odd and satisfy (n,m)=1. Then an MH(n,m) exists only if m is odd and 36m + m 3 ( 8n)+m (5n n+1)+mn(n 1)+(n 1) n is a perfect square. Proof. Once again, if m is even, we know that no such matrix exists. Since n<3m is odd, we know as before that the inner product of any two rows is±m. Assume that an MH(n,m) exists; call it H. We can normalize H, at which point each row apart from the first has either n m or n+m negative entries. Again, for any two rows of type n+m 3m+n, there are exactly columns in which both rows have negative entries, and any row of type n m has exactly n m negative entries in the same column as the negative entries of any other row. We can look at the number of negative entries in the negative columns of a type n m row and of a type n+m, just as above, to get that a row of type n m has negative entries in exactly n m columns of type n m and that a row of type n+m has positive entries in exactly (n m)(n m 1) m columns of type n+m. Now let d be the total number of columns of type n m. Counting the number of negative entries in those columns gives us the relation d( n m We then solve to get that n m n+m )=d( )+(m d)( (m d (n m)(n m 1) m )). d = 1 8m (1m mn m n + n± 36m + m 3 ( 8n)+m (5n n+1)+mn(n 1)+(n 1) n ). For d to be well-defined, the discriminant of this expression must be a perfect square, giving us the condition of this theorem. Remark. The nonexistence of many modular Hadamard matrices of small size means that the for all but finitely many n condition in Conjecture 19 is as strong as it can be; this can also be seen by noting that any MH(n,m) with n < m must be a real Hadamard matrix, and by referencing the constraint in Lemma 1. ACKNOWLEDGEMENTS This research was supervised by Joe Gallian at the University of Minnesota, Duluth REU program, and funded by NSF grant DMS and NSA grant H I would like to thank Joe Gallian for his advice and supervision in writing this paper, and Adam Hesterberg, Noah Arbesfeld, and Daniel Kriz for their helpful discussions and suggestions. REFERENCES 1. S. Eliahou and M. Kervaire. A survey on modular Hadamard matrices. Discrete Math. 30 (005), no. 1-3, S. P. R. Hebbare and G. A. Patwardhan, On some constructions of modular Hadamard matrices, J. Combin. Theory. A 0 (1976),

14 1 VIVIAN KUPERBERG 3. K. J. Horadam, Hadamard matrices and their applications, Princeton University Press, Y. J. Ionin and T. V. Trung. Symmetric Designs. Handbook of combinatorial designs, , Chapman and Hall/CRC, Boca Raton, FL, H. M. Lee and F. Szöllősi. Hadamard matrices modulo 5. J. Combin. Des. (01), no., O. Marrero, Modular Hadamard matrices and related designs, III, Aequationes Math. 13 (1975), O. Marrero and A. T. Butson, Modular Hadamard matrices and related designs, J. Combin. Theory. A 15 (1973), M. S. Shrikhande and T. A. Alraqad. Recent results on families of symmetric designs and nonembeddable quasi-residual designs. Information security, coding theory and related combinatorics, , NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., 9, IOS, Amsterdam, 011. CORNELL UNIVERSITY address: vzk@cornell.edu