Size: px
Start display at page:

Download ""

Transcription

1 Math 6023 Topics: Design and Graph Theory Lecture Notes 2: Another class of square designs arises from Hadamard matrices. DEFINITION AND BASIC PROPERTIES An n x n matrix H = h ij is an Hadamard matrix of order n if the entries of H are either +1 or -1 and such that HH t = ni, where H t is the transpose of H and I is the order n identity matrix. Put another way, a (+1,-1)-matrix is Hadamard if the inner product of two distinct rows is 0 and the inner product of a row with itself is n. A few examples [check the definition for each] of Hadamard matrices are; These matrices were first considered as Hadamard determinants. They were so named because the determinant of an Hadamard matrix satisfies equality in Hadamard's determinant theorem, which states that if X = x ij is a matrix of order n where x ij 1 for all i and j, then det X n n/2 It is apparent that if the rows and columns of an Hadamard matrix are permuted, the matrix remains Hadamard. It is also true that if any row or column is multiplied by -1, the Hadamard property is retained.[prove this] Thus, it is always possible to arrange to have the first row and first column of an Hadamard matrix contain only +1 entries. An Hadamard matrix in this form is said to be normalized. Theorem - The order of an Hadamard matrix is 1,2 or 4n, n an integer. Proof: [1] is an Hadamard matrix of order 1 and the first example above is an Hadamard matrix of order 2. Suppose now that H is an Hadamard matrix of order h 3. Normalize H and rearrange the first three rows to look like: ÀÄÄ ÚÄÄÙ ÀÄÄ ÚÄÄÙ ÀÄÄ ÚÄÄÙ ÀÄÄ ÚÄÄÙ x y z w Where x,y,z,w are the numbers of columns of each type. Then since the order is h, x + y + z + w = h and taking the inner products of rows 1 and 2, 1 and 3, and, 2 and 3 we get

2 x + y - z - w = 0 x - y + z - w = 0 x - y - z + w = 0. Solving this system of equations gives, x = y = z = w = h/4. Thus, the integer h must be divisible by 4. Corollary - If H is a normalized Hadamard matrix of order 4n, then every row (column) except the first has 2n minus ones and 2n plus ones, further n minus ones in any row (column) overlap with n minus ones in each other row (column). Proof: This is a direct result of the above proof since any two rows other than the first can take the place of the second and third rows in the proof. The same argument can be applied to the columns. Hadamard matrices are known for many of the possible orders, the smallest order for which the existence of an Hadamard matrix is in doubt is currently 668. (The previous smallest order of 428 was constructed in June 2004 by Kharaghani & Tayfeh-Rezaie.) CONSTRUCTION METHODS While there are a great many construction methods for Hadamard matrices, we will only consider two. The first, one of the simplest, is the direct product construction. Construction - Given Hadamard matrices H 1 of order n and of order m the direct product of these two matrices, represented by: H [h11 2 h12 H 2 h1n H 2 h 21 h 22 h 2n ] h n1 h n2 h nn where H = h ij, is an Hadamard matrix of order nm. Proof: [Left as an exercise]. Example: Let H = [ ], H * = then the direct product H H* is [ ]

3 [ H* H * *] H * H = [ ] Homework: Starting with the Hadamard matrix of order 2, repeatedly use the direct product construction to construct an Hadamard matrix of order 32. Hadamard matrices constructed this way are also called Sylvester matrices. A second construction is due to Paley(1933). Construction: Let q be a prime power 3 mod 4, and let F = GF(q), and Q be the set of nonzero squares in F. Define the matrix P = p ij = 1 if i - j Q and -1 otherwise. Border P with a row and column of 1's to get an Hadamard matrix. Example: Let q = 11, then Q = {1,4,9,5,3} and the Hadamard matrix constructed this way is H = [ ]. Hadamard 2-Designs Hadamard matrices of order 4t can be used to create symmetric 2-designs, which are called Hadamard 2-Designs. The construction actually forms the incidence matrix of the 2-design. The Hadamard designs have parameters v = 4t - 1, k = 2t - 1 and = t - 1, or v = 4t - 1, k = 2t, and = t. The construction, as we shall see, is reversible, so that 2-designs with these parameters can be used to construct Hadamard matrices.

4 Let H be an Hadamard matrix of order 4t. First normalize the matrix H (so that the first row and column are just +1's), then remove the first row and column. The 4t-1 x 4t-1 matrix which remains, say A, has 2t -1's in each row and column and 2t-1 +1's in each row and column, so the row and column sums are always -1 for A. The inner product of two distinct rows of A will be -1 and the product of a row with itself will be 4t-1. These statements are summarized by the matrix equations, AJ = JA T = -J and AA T = 4tI - J where I is the identity matrix and J is the all one matrix of the appropriate order. Now construct the matrix B = ½(A + J). B is a (0,1)-matrix, whose row and column sums are 2t-1, i.e., BJ = JB = (2t-1)J. Furthermore, the matrix equation, BB T = ti + (t-1)j is satisfied [verify]. Comparing this to (1.11), we see that B is the incidence matrix of a symmetric (since B is a square matrix) 2-design with v = 4t-1, k = 2t-1 and = t-1. Similarly, if C = ½(J - A), C will be the incidence matrix of a (4t-1,2t,t)-design. For example, let H be the 8 8 Hadamard matrix above. In normalized form we have, H = A = B = So, labeling the rows of B with {1,2,...,7} we have the (7,3,1)-design whose 7 blocks are: {1,4,5} {2,4,6} {3,4,7} {1,2,3} {1,6,7} {2,5,7} {3,5,6} The matrix C is B with the 0's and 1's interchanged (a design obtained by interchanging the 0's and 1's of an incidence matrix is called the complementary design of the original) and its blocks form the (7,4,2)-design: {2,3,6,7} {1,3,5,7} {1,2,5,6} {4,5,6,7} {2,3,4,5} {1,3,4,6} {1,2,4,7}. Exercise: Prove that an Hadamard design (i.e. a symmetric 2-design with either of these sets of parameters) can be used to construct an Hadamard matrix. Example: The point-hyperplane design of PG(n,2) is a Hadamard 2-design, so in particular the square 2-(7,3,1) design (projective plane of order 2) is a Hadamard 2-design. (1.32) Definition. Let D = (X, B) be a t-(v,k, ) design and p a point. The derived design D p has point set X - {p} and as block set all the blocks of D which contain p with p removed. It is a (t- 1)- (v-1, k-1, ) design. Note that derived designs with respect to different points may not be

5 isomorphic. A design E is called an extension of D if E has a point p such that E p is isomorphic to D; we call D extendable if it has an extension. Since an extension of a t-(v,k, ) design is a (t+1)-(v+1,k+1, ) design, we have (1.33) Proposition. If a t-(v,k, ) design has an extension, then k + 1 divides b(v+1). Pf. In (1.7) take s = 0 and t = 1 for the extension giving k + 1 divides 1 (v+1) for the (t+1)- design. But 1 = r for the larger design is just b for the smaller design. (1.34) Proposition. The only extendable projective planes are those of orders 2 and 4. Pf. By the previous proposition, if a square 2-(n 2 +n+1, n+1, 1) has an extension then n+2 must divide (n 2 +n+1)(n 2 +n + 2) = n 4 + 2n 3 + 4n 2 + 3n + 2. The division gives a remainder of 12/(n+2), and since this must be an integer we have that n + 2 divides 12, i.e., n = 2,4 or 10. The nonexistence of a projective plane of order 10 establishes the result. Comment: As we shall see, both of these planes are in fact extendable. (1.35) Theorem. (Cameron) If a square 2-(v,k, ) design D is extendable, then one of the following holds: (a) D is a Hadamard 2-design; (b) v = ( + 2)( ), k = ; (c) v = 495, k=39, = 3. Pf: For convenience we will redefine the parameters and consider E a 3-(v,k, ) design which is an extension of the square 2-(v-1, k-1, ) design D. For any point p E, E p will have the same parameters as D and so will be a square design (not necessarily isomorphic to D). Consider any two blocks of E through p, in E p they have points in common, so in E they have +1 points in common. Thus any two blocks which intersect have +1 points in common. Let B be a block of E. If p,q B then for each point r B there are blocks containing p,q and s and meeting B in +1 points, so there are +1 choices for s that will give the same block, hence there are k /( +1) distinct such blocks. As there are 2 = (v-2)/(k-2) = k-1 blocks through p and q, this leaves (k - -1)/( +1) blocks containing p and q and disjoint from B. Thus the incidence structure (block residual) whose points are those outside of B and whose blocks are those disjoint from B, is a 2-(v-k, k, (k- -1)/( +1)) design. The number of blocks in this design can be calculated as: v k v k 1 k 1. k k 1 1 This design may be degenerate, having only 1 block [note, this means that the complement of a block in E is also a block of E]. If this occurs, then v = 2k, k = 2( + 1) and D is a square 2-(4 +3, 2 +1, ) design, i.e. a Hadamard 2-design. Otherwise, we can apply Fisher's inequality and obtain (after some manipulation) that k ( +1)( +2).

6 On the other hand, b = v(v-1)/k = (k 2-3k )(k 2-3k + + 2)/k 2 ; which implies that k divides 2( +1)( +2). If k = 2( +1)( +2) then this same expression shows that divides 3; i.e., = 1 or 3. If =1 then E is a 3-(112,12,1) design, i.e., an extension of a projective plane of order 10, which does not exist. If = 3 we obtain case (c) of the statement. Finally, if k = ( +1)( +2) we obtain case (b). Comment: Under condition (b), when = 1, there is an extendable 2-(21,5,1) design (the projective plane of order 4), when = 2, there are several 2-(56,11,2) designs but Bagchi showed that there is no 3-(57,12,2) design. For higher values of, no square designs are known with these parameters. A design with the parameters of condition (c) is not known. 1.36)Proposition. Any Hadamard 2-design has a unique extension. Pf: From the above proof, any extension of a Hadamard 2-design has the complements of the blocks of the original 2-design as blocks. Thus the original blocks together with some new point on each and the complements of these blocks would give blocks which is the total number for the 3-design. Thus the original design completely determines the extension. Note that we have not proved that this construction gives a 3-design, this is left as an exercise. Example: An example of a 3-(8,4,1) design on the set X = {1,2,...,8} is given by the blocks: {1,2,5,6} {3,4,7,8} {1,3,5,7} {2,4,6,8} {1,4,5,8} {2,3,6,7} {1,2,3,4} {5,6,7,8} {1,2,7,8} {3,4,5,6} {1,3,6,8} {2,4,5,7} {1,4,6,7} {2,3,5,8}. The derived design at the point 8 is {3,4,7} {2,4,6} {1,4,5} {5,6,7} {1,2,7} {1,3,6} {2,3,5} which is easily seen to be a projective plane of order 2. Notice the complements of these blocks are also blocks of the 3-design. This is a particular example of an Hadamard 3-design. Let H be an Hadamard matrix of order > 4 which is standardized. Identify the set S with the columns of H and form the blocks in the following way: For each row of H other than the first form a block consisting of all the columns containing a +1 in this row and also form a block consisting of all the columns which contain a -1. If H is order n, the design formed will be a 3-(n, ½n, ¼n - 1) design, these parameters can also be written as 3-(4 + 4, 2 + 2, ). All Hadamard 3-designs can be obtained from this construction.

Square 2-designs/1. 1 Definition

Square 2-designs/1. 1 Definition Square 2-designs Square 2-designs are variously known as symmetric designs, symmetric BIBDs, and projective designs. The definition does not imply any symmetry of the design, and the term projective designs,

More information

11 Block Designs. Linear Spaces. Designs. By convention, we shall

11 Block Designs. Linear Spaces. Designs. By convention, we shall 11 Block Designs Linear Spaces In this section we consider incidence structures I = (V, B, ). always let v = V and b = B. By convention, we shall Linear Space: We say that an incidence structure (V, B,

More information

TC08 / 6. Hadamard codes SX

TC08 / 6. Hadamard codes SX TC8 / 6. Hadamard codes 3.2.7 SX Hadamard matrices Hadamard matrices. Paley s construction of Hadamard matrices Hadamard codes. Decoding Hadamard codes A Hadamard matrix of order is a matrix of type whose

More information

Design Theory Notes 1:

Design Theory Notes 1: ----------------------------------------------------------------------------------------------- Math 6023 Topics in Discrete Math: Design and Graph Theory Fall 2007 ------------------------------------------------------------------------------------------------

More information

Hadamard and conference matrices

Hadamard and conference matrices Hadamard and conference matrices Peter J. Cameron December 2011 with input from Dennis Lin, Will Orrick and Gordon Royle Hadamard s theorem Let H be an n n matrix, all of whose entries are at most 1 in

More information

MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants.

MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants. MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants. Elementary matrices Theorem 1 Any elementary row operation σ on matrices with n rows can be simulated as left multiplication

More information

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most

More information

ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES

ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most 64 are

More information

A Series of Regular Hadamard Matrices

A Series of Regular Hadamard Matrices A Series of Regular Hadamard Matrices Dean Crnković Abstract Let p and p 1 be prime powers and p 3 (mod 4). Then there exists a symmetric design with parameters (4p,p p,p p). Thus there exists a regular

More information

Hadamard matrices of order 32

Hadamard matrices of order 32 Hadamard matrices of order 32 H. Kharaghani a,1 B. Tayfeh-Rezaie b a Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Alberta, T1K3M4, Canada b School of Mathematics,

More information

Binary codes of t-designs and Hadamard matrices

Binary codes of t-designs and Hadamard matrices Binary codes of t-designs and Hadamard matrices Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University November 8, 2013 JSPS-DST Asian Academic Seminar 2013 Discrete Mathematics

More information

HOMEWORK #2 - MATH 3260

HOMEWORK #2 - MATH 3260 HOMEWORK # - MATH 36 ASSIGNED: JANUARAY 3, 3 DUE: FEBRUARY 1, AT :3PM 1) a) Give by listing the sequence of vertices 4 Hamiltonian cycles in K 9 no two of which have an edge in common. Solution: Here is

More information

1. A brief introduction to

1. A brief introduction to 1. A brief introduction to design theory These lectures were given to an audience of design theorists; for those outside this class, the introductory chapter describes some of the concepts of design theory

More information

Combinatorics in Space. The Mariner 9 Telemetry System

Combinatorics in Space. The Mariner 9 Telemetry System Combinatorics in Space The Mariner 9 Telemetry System Mariner 9 Mission Launched: May 30, 1971 Arrived: Nov. 14, 1971 Turned Off: Oct. 27, 1972 Mission Objectives: (Mariner 8): Map 70% of Martian surface.

More information

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS M. N. ELLINGHAM AND JUSTIN Z. SCHROEDER In memory of Mike Albertson. Abstract. A distinguishing partition for an action of a group Γ on a set

More information

Hadamard and conference matrices

Hadamard and conference matrices Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,

More information

CS100: DISCRETE STRUCTURES. Lecture 3 Matrices Ch 3 Pages:

CS100: DISCRETE STRUCTURES. Lecture 3 Matrices Ch 3 Pages: CS100: DISCRETE STRUCTURES Lecture 3 Matrices Ch 3 Pages: 246-262 Matrices 2 Introduction DEFINITION 1: A matrix is a rectangular array of numbers. A matrix with m rows and n columns is called an m x n

More information

Hadamard and conference matrices

Hadamard and conference matrices Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2 MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information

New constructions for Hadamard matrices

New constructions for Hadamard matrices New constructions for Hadamard matrices Paul Leopardi Mathematical Sciences Institute, Australian National University. For presentation at University of Newcastle. 26 April 2012 Introduction Acknowledgements

More information

Strongly Regular Decompositions of the Complete Graph

Strongly Regular Decompositions of the Complete Graph Journal of Algebraic Combinatorics, 17, 181 201, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Strongly Regular Decompositions of the Complete Graph EDWIN R. VAN DAM Edwin.vanDam@uvt.nl

More information

Apprentice Program: Linear Algebra

Apprentice Program: Linear Algebra Apprentice Program: Linear Algebra Instructor: Miklós Abért Notes taken by Matt Holden and Kate Ponto June 26,2006 1 Matrices An n k matrix A over a ring R is a collection of nk elements of R, arranged

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Definitions An m n (read "m by n") matrix, is a rectangular array of entries, where m is the number of rows and n the number of columns. 2 Definitions (Con t) A is square if m=

More information

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

A prolific construction of strongly regular graphs with the n-e.c. property A prolific construction of strongly regular graphs with the n-e.c. property Peter J. Cameron and Dudley Stark School of Mathematical Sciences Queen Mary, University of London London E1 4NS, U.K. Abstract

More information

Energy of Graphs. Sivaram K. Narayan Central Michigan University. Presented at CMU on October 10, 2015

Energy of Graphs. Sivaram K. Narayan Central Michigan University. Presented at CMU on October 10, 2015 Energy of Graphs Sivaram K. Narayan Central Michigan University Presented at CMU on October 10, 2015 1 / 32 Graphs We will consider simple graphs (no loops, no multiple edges). Let V = {v 1, v 2,..., v

More information

Week 15-16: Combinatorial Design

Week 15-16: Combinatorial Design Week 15-16: Combinatorial Design May 8, 2017 A combinatorial design, or simply a design, is an arrangement of the objects of a set into subsets satisfying certain prescribed properties. The area of combinatorial

More information

The matrix will only be consistent if the last entry of row three is 0, meaning 2b 3 + b 2 b 1 = 0.

The matrix will only be consistent if the last entry of row three is 0, meaning 2b 3 + b 2 b 1 = 0. ) Find all solutions of the linear system. Express the answer in vector form. x + 2x + x + x 5 = 2 2x 2 + 2x + 2x + x 5 = 8 x + 2x + x + 9x 5 = 2 2 Solution: Reduce the augmented matrix [ 2 2 2 8 ] to

More information

The Witt designs, Golay codes and Mathieu groups

The Witt designs, Golay codes and Mathieu groups The Witt designs, Golay codes and Mathieu groups 1 The Golay codes Let V be a vector space over F q with fixed basis e 1,..., e n. A code C is a subset of V. A linear code is a subspace of V. The vector

More information

The collection of all subsets of cardinality k of a set with v elements (k < v) has the

The collection of all subsets of cardinality k of a set with v elements (k < v) has the Chapter 7 Block Designs One simile that solitary shines In the dry desert of a thousand lines. Epilogue to the Satires, ALEXANDER POPE The collection of all subsets of cardinality k of a set with v elements

More information

Discrete Applied Mathematics

Discrete Applied Mathematics Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel

More information

Difference sets and Hadamard matrices

Difference sets and Hadamard matrices Difference sets and Hadamard matrices Padraig Ó Catháin National University of Ireland, Galway 14 March 2012 Outline 1 (Finite) Projective planes 2 Symmetric Designs 3 Difference sets 4 Doubly transitive

More information

Hadamard matrices of order 32

Hadamard matrices of order 32 Hadamard matrices of order 32 H. Kharaghani a,1 B. Tayfeh-Rezaie b a Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Alberta, T1K3M4, Canada b School of Mathematics,

More information

1 Determinants. 1.1 Determinant

1 Determinants. 1.1 Determinant 1 Determinants [SB], Chapter 9, p.188-196. [SB], Chapter 26, p.719-739. Bellow w ll study the central question: which additional conditions must satisfy a quadratic matrix A to be invertible, that is to

More information

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

ON THE CONSTRUCTION OF HADAMARD MATRICES. P.K. Manjhi 1, Arjun Kumar 2. Vinoba Bhave University Hazaribag, INDIA International Journal of Pure and Applied Mathematics Volume 120 No. 1 2018, 51-58 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: 10.12732/ijpam.v120i1.4

More information

Hadamard matrices and strongly regular graphs with the 3-e.c. adjacency property

Hadamard matrices and strongly regular graphs with the 3-e.c. adjacency property Hadamard matrices and strongly regular graphs with the 3-e.c. adjacency property Anthony Bonato Department of Mathematics, Wilfrid Laurier University, Waterloo, Ontario, Canada, N2L 3C5 abonato@wlu.ca

More information

Combinatorial Designs: Balanced Incomplete Block Designs

Combinatorial Designs: Balanced Incomplete Block Designs Combinatorial Designs: Balanced Incomplete Block Designs Designs The theory of design of experiments came into being largely through the work of R.A.Fisher and F.Yates in the early 1930's. They were motivated

More information

#A30 INTEGERS 17 (2017) CONFERENCE MATRICES WITH MAXIMUM EXCESS AND TWO-INTERSECTION SETS

#A30 INTEGERS 17 (2017) CONFERENCE MATRICES WITH MAXIMUM EXCESS AND TWO-INTERSECTION SETS #A3 INTEGERS 7 (27) CONFERENCE MATRICES WITH MAIMUM ECESS AND TWO-INTERSECTION SETS Koji Momihara Faculty of Education, Kumamoto University, Kurokami, Kumamoto, Japan momihara@educ.kumamoto-u.ac.jp Sho

More information

arxiv: v4 [math.co] 12 Feb 2017

arxiv: v4 [math.co] 12 Feb 2017 arxiv:1511.03511v4 [math.co] 12 Feb 2017 On the signed graphs with two distinct eigenvalues F. Ramezani 1 Department of Mathematics, K.N.Toosi University of Technology, Tehran, Iran P.O. Box 16315-1618

More information

Elementary maths for GMT

Elementary maths for GMT Elementary maths for GMT Linear Algebra Part 2: Matrices, Elimination and Determinant m n matrices The system of m linear equations in n variables x 1, x 2,, x n a 11 x 1 + a 12 x 2 + + a 1n x n = b 1

More information

Intrinsic products and factorizations of matrices

Intrinsic products and factorizations of matrices Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences

More information

Chapter 2. Ma 322 Fall Ma 322. Sept 23-27

Chapter 2. Ma 322 Fall Ma 322. Sept 23-27 Chapter 2 Ma 322 Fall 2013 Ma 322 Sept 23-27 Summary ˆ Matrices and their Operations. ˆ Special matrices: Zero, Square, Identity. ˆ Elementary Matrices, Permutation Matrices. ˆ Voodoo Principle. What is

More information

On the Least Number of Cell Orbits of a Hadamard Matrix of Order n

On the Least Number of Cell Orbits of a Hadamard Matrix of Order n Irish Math. Soc. Bulletin 56 (2005), 95 102 95 On the Least Number of Cell Orbits of a Hadamard Matrix of Order n WARWICK DE LAUNEY AND RICHARD STAFFORD Abstract. The automorphism group of any Hadamard

More information

Components and change of basis

Components and change of basis Math 20F Linear Algebra Lecture 16 1 Components and change of basis Slide 1 Review: Isomorphism Review: Components in a basis Unique representation in a basis Change of basis Review: Isomorphism Definition

More information

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples: Monoids Definition: A binary operation on a set M is a function : M M M. If : M M M, we say that is well defined on M or equivalently, that M is closed under the operation. Examples: Definition: A monoid

More information

Chapter 10 Combinatorial Designs

Chapter 10 Combinatorial Designs Chapter 10 Combinatorial Designs BIBD Example (a,b,c) (a,b,d) (a,c,e) (a,d,f) (a,e,f) (b,c,f) (b,d,e) (b,e,f) (c,d,e) (c,d,f) Here are 10 subsets of the 6 element set {a, b, c, d, e, f }. BIBD Definition

More information

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS 1. Chapter 3, Problem 18 (Graded) Let H and K be subgroups of G. Then e, the identity, must be in H and K, so it must be in H K. Thus, H K is nonempty, so we can

More information

Lectures on Linear Algebra for IT

Lectures on Linear Algebra for IT Lectures on Linear Algebra for IT by Mgr Tereza Kovářová, PhD following content of lectures by Ing Petr Beremlijski, PhD Department of Applied Mathematics, VSB - TU Ostrava Czech Republic 3 Inverse Matrix

More information

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

More information

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

Matrices and Vectors

Matrices and Vectors Matrices and Vectors James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 11, 2013 Outline 1 Matrices and Vectors 2 Vector Details 3 Matrix

More information

Part V. Chapter 19. Congruence of integers

Part V. Chapter 19. Congruence of integers Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277

More information

b 1 b 2.. b = b m A = [a 1,a 2,...,a n ] where a 1,j a 2,j a j = a m,j Let A R m n and x 1 x 2 x = x n

b 1 b 2.. b = b m A = [a 1,a 2,...,a n ] where a 1,j a 2,j a j = a m,j Let A R m n and x 1 x 2 x = x n Lectures -2: Linear Algebra Background Almost all linear and nonlinear problems in scientific computation require the use of linear algebra These lectures review basic concepts in a way that has proven

More information

Algebraic aspects of Hadamard matrices

Algebraic aspects of Hadamard matrices Algebraic aspects of Hadamard matrices Padraig Ó Catháin University of Queensland 22 February 2013 Overview Difference set Relative difference set Symmetric Design Hadamard matrix Overview 1 Hadamard matrices

More information

Math 4377/6308 Advanced Linear Algebra

Math 4377/6308 Advanced Linear Algebra 1.3 Subspaces Math 4377/6308 Advanced Linear Algebra 1.3 Subspaces Jiwen He Department of Mathematics, University of Houston jiwenhe@math.uh.edu math.uh.edu/ jiwenhe/math4377 Jiwen He, University of Houston

More information

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra. DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1

More information

SMT 2013 Power Round Solutions February 2, 2013

SMT 2013 Power Round Solutions February 2, 2013 Introduction This Power Round is an exploration of numerical semigroups, mathematical structures which appear very naturally out of answers to simple questions. For example, suppose McDonald s sells Chicken

More information

Divisible Design Graphs

Divisible Design Graphs Divisible Design Graphs Willem H. Haemers Department of Econometrics and Operations Research, Tilburg University, The Netherlands Hadi Kharaghani Department of Mathematics and Computer Science, University

More information

Homework #2 solutions Due: June 15, 2012

Homework #2 solutions Due: June 15, 2012 All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is

More information

On Hadamard Diagonalizable Graphs

On Hadamard Diagonalizable Graphs On Hadamard Diagonalizable Graphs S. Barik, S. Fallat and S. Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A2 Abstract Of interest here is a characterization

More information

Difference sets and Hadamard matrices

Difference sets and Hadamard matrices Difference sets and Hadamard matrices Padraig Ó Catháin University of Queensland 5 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices and difference sets 4 Two-transitivity

More information

MATH 223A NOTES 2011 LIE ALGEBRAS 35

MATH 223A NOTES 2011 LIE ALGEBRAS 35 MATH 3A NOTES 011 LIE ALGEBRAS 35 9. Abstract root systems We now attempt to reconstruct the Lie algebra based only on the information given by the set of roots Φ which is embedded in Euclidean space E.

More information

Combinatorial Design Theory 1

Combinatorial Design Theory 1 Combinatorial Design Theory 1 Chris Godsil c 2010 1 version: April 9, 2010 ii Preface This course is an introduction to combinatorial design theory. iii iv Contents Preface iii 1 Block Designs 1 1.1 Definitions...............................

More information

j=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).

j=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A). Math 344 Lecture #19 3.5 Normed Linear Spaces Definition 3.5.1. A seminorm on a vector space V over F is a map : V R that for all x, y V and for all α F satisfies (i) x 0 (positivity), (ii) αx = α x (scale

More information

Lecture Notes in Linear Algebra

Lecture Notes in Linear Algebra Lecture Notes in Linear Algebra Dr. Abdullah Al-Azemi Mathematics Department Kuwait University February 4, 2017 Contents 1 Linear Equations and Matrices 1 1.2 Matrices............................................

More information

Counting Matrices Over a Finite Field With All Eigenvalues in the Field

Counting Matrices Over a Finite Field With All Eigenvalues in the Field Counting Matrices Over a Finite Field With All Eigenvalues in the Field Lisa Kaylor David Offner Department of Mathematics and Computer Science Westminster College, Pennsylvania, USA kaylorlm@wclive.westminster.edu

More information

Hadamard matrices, difference sets and doubly transitive permutation groups

Hadamard matrices, difference sets and doubly transitive permutation groups Hadamard matrices, difference sets and doubly transitive permutation groups Padraig Ó Catháin University of Queensland 13 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices

More information

Orthogonal Arrays & Codes

Orthogonal Arrays & Codes Orthogonal Arrays & Codes Orthogonal Arrays - Redux An orthogonal array of strength t, a t-(v,k,λ)-oa, is a λv t x k array of v symbols, such that in any t columns of the array every one of the possible

More information

Rank and Kernel of binary Hadamard codes.

Rank and Kernel of binary Hadamard codes. 1 Rank and Kernel of binary Hadamard codes. K.T. Phelps, J. Rifà Senior Member IEEE, M. Villanueva Abstract In this paper the rank and the dimension of the kernel for (binary) Hadamard codes of length

More information

1: Introduction to Lattices

1: Introduction to Lattices CSE 206A: Lattice Algorithms and Applications Winter 2012 Instructor: Daniele Micciancio 1: Introduction to Lattices UCSD CSE Lattices are regular arrangements of points in Euclidean space. The simplest

More information

Tactical Decompositions of Steiner Systems and Orbits of Projective Groups

Tactical Decompositions of Steiner Systems and Orbits of Projective Groups Journal of Algebraic Combinatorics 12 (2000), 123 130 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Tactical Decompositions of Steiner Systems and Orbits of Projective Groups KELDON

More information

Linear Algebra. The analysis of many models in the social sciences reduces to the study of systems of equations.

Linear Algebra. The analysis of many models in the social sciences reduces to the study of systems of equations. POLI 7 - Mathematical and Statistical Foundations Prof S Saiegh Fall Lecture Notes - Class 4 October 4, Linear Algebra The analysis of many models in the social sciences reduces to the study of systems

More information

Materials engineering Collage \\ Ceramic & construction materials department Numerical Analysis \\Third stage by \\ Dalya Hekmat

Materials engineering Collage \\ Ceramic & construction materials department Numerical Analysis \\Third stage by \\ Dalya Hekmat Materials engineering Collage \\ Ceramic & construction materials department Numerical Analysis \\Third stage by \\ Dalya Hekmat Linear Algebra Lecture 2 1.3.7 Matrix Matrix multiplication using Falk s

More information

MATH2210 Notebook 2 Spring 2018

MATH2210 Notebook 2 Spring 2018 MATH2210 Notebook 2 Spring 2018 prepared by Professor Jenny Baglivo c Copyright 2009 2018 by Jenny A. Baglivo. All Rights Reserved. 2 MATH2210 Notebook 2 3 2.1 Matrices and Their Operations................................

More information

Matrix Arithmetic. j=1

Matrix Arithmetic. j=1 An m n matrix is an array A = Matrix Arithmetic a 11 a 12 a 1n a 21 a 22 a 2n a m1 a m2 a mn of real numbers a ij An m n matrix has m rows and n columns a ij is the entry in the i-th row and j-th column

More information

Section 19 Integral domains

Section 19 Integral domains Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Lesson 3. Inverse of Matrices by Determinants and Gauss-Jordan Method

Lesson 3. Inverse of Matrices by Determinants and Gauss-Jordan Method Module 1: Matrices and Linear Algebra Lesson 3 Inverse of Matrices by Determinants and Gauss-Jordan Method 3.1 Introduction In lecture 1 we have seen addition and multiplication of matrices. Here we shall

More information

Section 1.1: Systems of Linear Equations

Section 1.1: Systems of Linear Equations Section 1.1: Systems of Linear Equations Two Linear Equations in Two Unknowns Recall that the equation of a line in 2D can be written in standard form: a 1 x 1 + a 2 x 2 = b. Definition. A 2 2 system of

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Math 0 Solutions to homework Due 9//6. An element [a] Z/nZ is idempotent if [a] 2 [a]. Find all idempotent elements in Z/0Z and in Z/Z. Solution. First note we clearly have [0] 2 [0] so [0] is idempotent

More information

UMA Putnam Talk LINEAR ALGEBRA TRICKS FOR THE PUTNAM

UMA Putnam Talk LINEAR ALGEBRA TRICKS FOR THE PUTNAM UMA Putnam Talk LINEAR ALGEBRA TRICKS FOR THE PUTNAM YUFEI ZHAO In this talk, I want give some examples to show you some linear algebra tricks for the Putnam. Many of you probably did math contests in

More information

PROBLEMS ON LINEAR ALGEBRA

PROBLEMS ON LINEAR ALGEBRA 1 Basic Linear Algebra PROBLEMS ON LINEAR ALGEBRA 1. Let M n be the (2n + 1) (2n + 1) for which 0, i = j (M n ) ij = 1, i j 1,..., n (mod 2n + 1) 1, i j n + 1,..., 2n (mod 2n + 1). Find the rank of M n.

More information

On the adjacency matrix of a block graph

On the adjacency matrix of a block graph On the adjacency matrix of a block graph R. B. Bapat Stat-Math Unit Indian Statistical Institute, Delhi 7-SJSS Marg, New Delhi 110 016, India. email: rbb@isid.ac.in Souvik Roy Economics and Planning Unit

More information

Finite Math - J-term Section Systems of Linear Equations in Two Variables Example 1. Solve the system

Finite Math - J-term Section Systems of Linear Equations in Two Variables Example 1. Solve the system Finite Math - J-term 07 Lecture Notes - //07 Homework Section 4. - 9, 0, 5, 6, 9, 0,, 4, 6, 0, 50, 5, 54, 55, 56, 6, 65 Section 4. - Systems of Linear Equations in Two Variables Example. Solve the system

More information

Notes on Systems of Linear Congruences

Notes on Systems of Linear Congruences MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the

More information

Topics Related to Combinatorial Designs

Topics Related to Combinatorial Designs Postgraduate notes 2006/07 Topics Related to Combinatorial Designs 1. Designs. A combinatorial design D consists of a nonempty finite set S = {p 1,..., p v } of points or varieties, and a nonempty family

More information

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88 Math Camp 2010 Lecture 4: Linear Algebra Xiao Yu Wang MIT Aug 2010 Xiao Yu Wang (MIT) Math Camp 2010 08/10 1 / 88 Linear Algebra Game Plan Vector Spaces Linear Transformations and Matrices Determinant

More information

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials Outline MSRI-UP 2009 Coding Theory Seminar, Week 2 John B. Little Department of Mathematics and Computer Science College of the Holy Cross Cyclic Codes Polynomial Algebra More on cyclic codes Finite fields

More information

1 Multiply Eq. E i by λ 0: (λe i ) (E i ) 2 Multiply Eq. E j by λ and add to Eq. E i : (E i + λe j ) (E i )

1 Multiply Eq. E i by λ 0: (λe i ) (E i ) 2 Multiply Eq. E j by λ and add to Eq. E i : (E i + λe j ) (E i ) Direct Methods for Linear Systems Chapter Direct Methods for Solving Linear Systems Per-Olof Persson persson@berkeleyedu Department of Mathematics University of California, Berkeley Math 18A Numerical

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

MAT 2037 LINEAR ALGEBRA I web:

MAT 2037 LINEAR ALGEBRA I web: MAT 237 LINEAR ALGEBRA I 2625 Dokuz Eylül University, Faculty of Science, Department of Mathematics web: Instructor: Engin Mermut http://kisideuedutr/enginmermut/ HOMEWORK 2 MATRIX ALGEBRA Textbook: Linear

More information

(V/í) : Y, A) - 0 mod 2. (V-tf) : Y,a) = 0 mod 2.

(V/í) : Y, A) - 0 mod 2. (V-tf) : Y,a) = 0 mod 2. CHARACTERIZATION OF TOTALLY UNIMODULAR MATRICES PAUL CAMION In this paper A will always denote a matrix with entries equal to 1, 1 or. A is totally unimodular if every square submatrix has a determinant

More information

JUST THE MATHS UNIT NUMBER 9.3. MATRICES 3 (Matrix inversion & simultaneous equations) A.J.Hobson

JUST THE MATHS UNIT NUMBER 9.3. MATRICES 3 (Matrix inversion & simultaneous equations) A.J.Hobson JUST THE MATHS UNIT NUMBER 93 MATRICES 3 (Matrix inversion & simultaneous equations) by AJHobson 931 Introduction 932 Matrix representation of simultaneous linear equations 933 The definition of a multiplicative

More information

Chapter 1 Vector Spaces

Chapter 1 Vector Spaces Chapter 1 Vector Spaces Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field

More information

Latin squares: Equivalents and equivalence

Latin squares: Equivalents and equivalence Latin squares: Equivalents and equivalence 1 Introduction This essay describes some mathematical structures equivalent to Latin squares and some notions of equivalence of such structures. According to

More information

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

Tilburg University. Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: Link to publication Tilburg University Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: 2007 Link to publication Citation for published version (APA): Haemers, W. H. (2007). Strongly Regular Graphs

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Trades in complex Hadamard matrices

Trades in complex Hadamard matrices Trades in complex Hadamard matrices Padraig Ó Catháin Ian M. Wanless School of Mathematical Sciences, Monash University, VIC 3800, Australia. February 9, 2015 Abstract A trade in a complex Hadamard matrix

More information

3.3 Easy ILP problems and totally unimodular matrices

3.3 Easy ILP problems and totally unimodular matrices 3.3 Easy ILP problems and totally unimodular matrices Consider a generic ILP problem expressed in standard form where A Z m n with n m, and b Z m. min{c t x : Ax = b, x Z n +} (1) P(b) = {x R n : Ax =

More information

ON THE CONSTRUCTION OF 2-SYMBOL ORTHOGONAL ARRAYS

ON THE CONSTRUCTION OF 2-SYMBOL ORTHOGONAL ARRAYS Hacettepe Journal of Mathematics and Statistics Volume 31 (2002), 57 62 ON THE CONSTRUCTION OF 2-SYMBOL ORTHOGONAL ARRAYS Hülya Bayra and Aslıhan Alhan Received 22. 01. 2002 Abstract The application of

More information

LINEAR SPACES. Define a linear space to be a near linear space in which any two points are on a line.

LINEAR SPACES. Define a linear space to be a near linear space in which any two points are on a line. LINEAR SPACES Define a linear space to be a near linear space in which any two points are on a line. A linear space is an incidence structure I = (P, L) such that Axiom LS1: any line is incident with at

More information