POSriTVE DEFINITE MATRICES AND CATALAN NUMBERS

Similar documents
Determinants. Samy Tindel. Purdue University. Differential equations and linear algebra - MA 262

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

Linear Systems and Matrices

A = , A 32 = n ( 1) i +j a i j det(a i j). (1) j=1

SPRING OF 2008 D. DETERMINANTS

Linear Algebra and Vector Analysis MATH 1120

A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!

Evaluating Determinants by Row Reduction

MATH 2050 Assignment 8 Fall [10] 1. Find the determinant by reducing to triangular form for the following matrices.

NONNEGATIVE MATRICES EACH OF WHOSE POSITIVE DIAGONALS HAS THE SAME SUM

Elementary Matrices. which is obtained by multiplying the first row of I 3 by -1, and

Formula for the inverse matrix. Cramer s rule. Review: 3 3 determinants can be computed expanding by any row or column

c 1995 Society for Industrial and Applied Mathematics Vol. 37, No. 1, pp , March

Components and change of basis

The Determinant: a Means to Calculate Volume

Primitive sets in a lattice

II. Determinant Functions

Linear Algebra Primer

PROBLEMS ON LINEAR ALGEBRA

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

Transformations Preserving the Hankel Transform

Linear Algebra Primer

1 Matrices and Systems of Linear Equations. a 1n a 2n

SYMMETRICOMPLETIONS AND PRODUCTS OF SYMMETRIC MATRICES

0.1 Rational Canonical Forms

Gaussian Elimination and Back Substitution

Linear Algebra Primer

MATH 1210 Assignment 4 Solutions 16R-T1

CHAPTER 3 REVIEW QUESTIONS MATH 3034 Spring a 1 b 1

* 8 Groups, with Appendix containing Rings and Fields.

18.S34 linear algebra problems (2007)

The Matrix-Tree Theorem

Myung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea

NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim

A Characterization of (3+1)-Free Posets

1 Matrices and Systems of Linear Equations

2 b 3 b 4. c c 2 c 3 c 4

MATH 2030: EIGENVALUES AND EIGENVECTORS

Properties of the Determinant Function

Homework #2 solutions Due: June 15, 2012

1 Matrices and Systems of Linear Equations

F. T. HOWARD AND CURTIS COOPER

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS

det(ka) = k n det A.

1 Determinants. 1.1 Determinant

Determinants Chapter 3 of Lay

ABSOLUTELY FLAT IDEMPOTENTS

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

1. Introduction Definition 1.1. Let r 1 be an integer. The r-generalized Fibonacci sequence {G n } is defined as

MATH 2030: MATRICES. Example 0.2. Q:Define A 1 =, A. 3 4 A: We wish to find c 1, c 2, and c 3 such that. c 1 + c c

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

Matrix Algebra Determinant, Inverse matrix. Matrices. A. Fabretti. Mathematics 2 A.Y. 2015/2016. A. Fabretti Matrices

Review for Exam Find all a for which the following linear system has no solutions, one solution, and infinitely many solutions.

Systems of Algebraic Equations and Systems of Differential Equations

Eigenvalues and Eigenvectors

Linear Algebra. Matrices Operations. Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0.

4. Determinants.

Math 240 Calculus III

12. Perturbed Matrices

Linear Algebra (part 1) : Matrices and Systems of Linear Equations (by Evan Dummit, 2016, v. 2.02)

Spectral inequalities and equalities involving products of matrices

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C

6 Permutations Very little of this section comes from PJE.

Math 109 HW 9 Solutions

Chapter 5: Matrices. Daniel Chan. Semester UNSW. Daniel Chan (UNSW) Chapter 5: Matrices Semester / 33

STABLY FREE MODULES KEITH CONRAD

= 1 and 2 1. T =, and so det A b d

ENGR-1100 Introduction to Engineering Analysis. Lecture 21. Lecture outline

A Formula for the Specialization of Skew Schur Functions

Chapter 2:Determinants. Section 2.1: Determinants by cofactor expansion

ACI-matrices all of whose completions have the same rank

1111: Linear Algebra I

Linear Algebra: Lecture notes from Kolman and Hill 9th edition.

Introduction to Combinatorial Mathematics

Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J

A SIMPLIFIED FORM FOR NEARLY REDUCIBLE AND NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL

ENGR-1100 Introduction to Engineering Analysis. Lecture 21

Lecture 12 (Tue, Mar 5) Gaussian elimination and LU factorization (II)

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

William Stallings Copyright 2010

Lattices and Hermite normal form

PROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS

SMITH NORMAL FORM OF A MULTIVARIATE MATRIX ASSOCIATED WITH PARTITIONS

Section 5.6. LU and LDU Factorizations

Determinants An Introduction

An Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting

Z n -GRADED POLYNOMIAL IDENTITIES OF THE FULL MATRIX ALGEBRA OF ORDER n

Topic 15 Notes Jeremy Orloff

On the adjacency matrix of a block graph

Computationally, diagonal matrices are the easiest to work with. With this idea in mind, we introduce similarity:

Linear Equations and Matrix

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2

9.1 Eigenanalysis I Eigenanalysis II Advanced Topics in Linear Algebra Kepler s laws

More calculations on determinant evaluations

Counting bases of representable matroids

Matrices. In this chapter: matrices, determinants. inverse matrix

HOMEWORK 9 solutions

CHAPTER 3 Further properties of splines and B-splines

On a Balanced Property of Compositions

Transcription:

proceedings of the american mathematical society Volume 79, Number 2, June 1980 POSriTVE DEFINITE MATRICES AND CATALAN NUMBERS FRANK THOMSON LEIGHTON AND MORRIS NEWMAN1 Abstract. It is shown that the number of n x n integral triple diagonal matrices which are unimodular, positive definite and whose sub and super diagonal elements are all one, is the Catalan number (^)/(n + 1). More generally, it is shown that if A is a fixed integral symmetric matrix and d is a fixed positive integer, then there are only finitely many integral diagonal matrices D such that A + D is positive definite and det(/4 + D) - d. 1. Introduction. It is well known and easy to prove that any integral symmetric matrix A is integrally congruent to a triple diagonal matrix (see [1, p. 60], for example). Joan Birman asked the second author whether it is always possible to make all the elements on the sub and super diagonals one, provided that det(v4) = 1. It is readily shown that this is not possible. For example, if A is positive definite and is not integrally congruent to the identity, then A cannot be integrally congruent to a matrix of the type desired, since all such matrices are integrally congruent to the identity (this fact is proved in Theorem 2). The question raised by Professor Birman suggested that it would be of interest to study the class of n X n integral triple diagonal matrices which are unimodular, positive definite and whose sub and super diagonal elements are all one. We will show that this class is finite and that its cardinality is just the Catalan number (^)/(/i + 1). This supplies a rather surprising new interpretation for the Catalan numbers. In addition, we will prove a general theorem of this type for arbitrary integral symmetric matrices. If positive definiteness is not required, then the class of matrices under consideration need not be finite. For example, each of the matrices is unimodular for all integral values of a. -1 10] \-a 1 0 1-11, 10 1 0 1 a\ 0 1 a - 1 2. A general result. We first prove a result for arbitrary integral symmetric matrices. In the following lemma, EtJ denotes the matrix with a one in position (/',/) and zeros elsewhere. Received by the editors March 20, 1978 and, in revised form, May 1, 1979; presented to the Society, April 23, 1977. AMS (A/OS) subject classifications (1970). Primary 15A36, 05A15. Key words and phrases. Catalan number, congruence, determinant, integer matrix, positive definite matrix, triple diagonal matrix, unimodular matrix. 'The work of this author was supported by NSF grant MCS76-8293. 1980 American Mathematical Society 0002-9939/8O/0000-O254/$02.25 177

178 F. T. LEIGHTON AND MORRIS NEWMAN Lemma 1. If B = [b j] is a symmetric positive definite matrix, c is a positive number, and B' = B + cem for some value of j, then det(b') > det(b). Proof. If we compute det(b') by minors of the y'th row, we find that det(b') = det(b) + cdj where dj is the cofactor of bm, and hence positive, since B is positive definite. We now prove Theorem 1. If A is a fixed n X n integral symmetric matrix and d is a fixed positive integer, then the number of integral diagonal matrices D such that A + D is positive definite and det(a + D) = d is finite. Proof. We may assume without loss of generality that A has zeros on the diagonal. Then if A + D is positive definite, D must have positive diagonal elements. Let tf) be the class of all D such that A + D is positive definite and det(a + D) = d. From repeated application of Lemma 1, it is clear that if F = [/,] and G = [g \ are different elements of 6D, then there exist k and m such that fkk > Skk and fmm < Emm- Otherwise it would not be possible for det(y4 + F) to equal det(a + G). Thus ''D forms an antichain (order-independent set) in N". Since all antichains in N" are known to be finite [2], there can be only a finite number of elements in fy. It is clear that generalizations of this result are possible (the diagonal matrices D may be replaced by symmetric positive definite matrices, for example) but we do not consider these here. 3. The basic framework. Define A = td(ax, a2,..., a ) = 1 1 fl»-i 1 1 a. (1) Let Dk be the determinant of the minor matrix of A obtained by striking out the last n k rows and columns, and let Ek be the determinant of the minor matrix of A obtained by striking out the first n k rows and columns. In addition, define D_x = 0, D0=l, E_x = 0, E0=l. (2) Then the Dk's and the Eks satisfy the recurrences Dk = akdk_x Ek = an t + letk-l D, k-2> Jk-2> 1 < k < n, 1 < k < n. Furthermore, expanding det(/4) by minors of the kth row of A, we find that det(yi) = akdk_xe _k - Dk_2En_k - Dk_xE _k_x = >ken-k - r)k-ie _k_x, 1 < k < n. (4) We are interested in the matrices A given by (1) which are unimodular and positive definite. A necessary and sufficient condition for this to happen is that (3)

POSITIVE DEFINITE MATRICES AND CATALAN NUMBERS 179 ax, a2,..., a be positive integers such that Dk > 0, 1 < k < n - 1, and Dn= I. (5) The set of such matrices A will be denoted by S, and will be the object of our study. We commence with some elementary lemmas. Lemma 2. If A = td(ax,..., a ) E Sn, then ak = 1 for some k, 1 < k < n. Proof. Assume that a > 2 for 1 < / < n. Then D0 =1, Dx = ax > 2, and Dk = akdk_x - Dk_2 > 2Dk_x - Dk_2 for 2 < k < n. Thus Dk - Dk_x > Dk_x Dk_2 for 2 < k < n and >t > k + 1 for 1 < k < w. In particular, this means that Dn > n + 1 > 1 for n > 1, which is a contradiction. In the following, we write [1] + C to denote the direct sum of the matrices [1] and C. In addition, we use the sequence notation ak,..., ar I to denote the sequence ak, ak+x,..., ar_x, ar 1 when r > k, the integer ak 1 when r = k, and the empty sequence when r < k. Similar interpretations are understood for ak,..., ar + 1, for ak 1,..., ar, and for ak + I,..., ar. We are now ready to prove Lemma 3. Let ax,..., an and k be integers such that ak = 1 and I < k < n. Then A = td(a...,an) is integrally congruent to [1] 4- td(a,,..., ak_x 1, ak+x 1,..., a ). Proof. Perform the following congruence transformations on A. Subtract row k from rows k - 1 and k + 1 (as far as present) and then do the same with the columns. Multiply the first k 1 rows and columns by -1. Now permute the rows and columns of the matrix according to the permutation (123 k). It is not difficult to check that the resulting matrix is [1] + td(ax,..., ak_x 1, ak+x l,...,an). D As an important consequence of Lemma 3, we note without proof: Lemma 4. td(ax,..., an) E S if and only if td(ax,..., ak_x + 1, 1, ak + 1,..., an) G Sn+xfor every integer k, 1 < k < n + 1. 4. The class Sn. We are now prepared to prove the main results of this paper. Theorem 2. Every element of Sn is integrally congruent to the identity. Proof. The result is trivial for n = 1. Suppose the theorem is true for n 1 where n > 2. Let A be any element of S. From Lemmas 2, 3 and 4, we know that there is a matrix B such that A is integrally congruent to [1] + B and B G Sn_,. By the induction hypothesis, B, and thus A, is congruent to the identity. Theorem 3. The set S has cardinality (^)/(n + 1). Proof. The proof consists of two parts. In the first, we show that for every r, 1 < r < n, any element of Sr_x may be "composed" with any element of S _r to determine in a unique fashion an element of S. In the second part of the proof, we show that, conversely, every element of Sn is uniquely "decomposable" into an element of Sr_x and an element of S _r for exactly one value of r, 1 < r < n. It

180 F. T. LEIGHTON AND MORRIS NEWMAN will then immediately follow that $J- 2 \Sr-i\ \S -r\, n>l, \S0\=l. (6) r~\ Since the recurrence relation (6) defines the Catalan numbers, we will thus have shown that \Sn\ = ft)/(n + 1). If A = td(iz..., a ) E Sn, then for each r, 1 < r < n, ar is uniquely determined by the other a 1 < / < n, i = r. This follows from formulas (2)-(4) and the fact thatdet(,4) = 1. In fact, a, - 0 + 0,-23,-, + Dr-xEn-,-x)/Dr-xEH-r- (?) Because of (7), we can also say that if td(ax,..., ar_x) G Sr_x and td(ar+1,..., an) E Sn_r for any integers ax,..., ar_x, ar+x,..., a, then there is a unique integer ar such that td(o,,..., an) E Sn. In fact, since Dr_x En_r = 1, ar is given by ar = l + Dr_2 + E _r_x. (8) This completes the first part of the proof. Now suppose that td(a,,..., an) G S. We say that a, is a breakpoint if td(o,,...,ar_x) E Sr_x and td(ar+1,..., an) E S _r. In the following, we will show that every element of S possesses a breakpoint. This is trivially true for n = 1. Assume that it is true for n 1 where n > 2. Let A = td(ax,..., a ) be any element of S. We know by Lemmas 2 and 4 that there is a k such that 1 < k < n, ak = 1 and B = td(a..., ak_x I, ak+x - I,..., an) E S _x. By the induction hypothesis, this element has a breakpoint which divides the sequence of diagonal elements into two subsequences of lengths r 1 and n r I, say, and which yield elements of Sr_x and Sn_r_x. The subsequence that does not contain ak_x 1 or ak+x 1 is contained identically in the original sequence of diagonal elements ax,...,an. The other subsequence is empty or contains one or both of ak_x 1 and ak+x 1. In any case, we know by Lemma 4 that we can insert a 1 and add a 1 to the adjoining number(s) to get the complementary part of ax,..., an, and that this new sequence will be the sequence of diagonal elements of a member of Sr or of 5n_r. Thus A has a breakpoint, and the induction is complete. We now show that the location of the breakpoint is unique. This is certainly true for n = 1. Assume that it is true for n 1 where n > 2. Let A = td(ax,..., an) E S, and suppose that A has two breakpoints a, and a}, i i*j. By (8), we must have ar = 1 + Dr_2 + En_r_x for r = i,j. It follows that if n > 1, then a > 1 and a, > 1. Thus there is a ac different from / and/ such that ak = 1. But this means that B = td(a,,..., ak_x 1, ak+x 1,..., an) E Sn_x. Thus a, and a, are also breakpoints of B, which contradicts the inductive hypothesis. Finally, formula (8) insures the uniqueness of the value of ar at the breakpoint. This completes the induction and establishes the uniqueness of the decomposition. 5. Additional results. In this section, we list some miscellaneous results, some of which have not been proved completely. (9) If td(a..., an) E S and D0,..., Dn are as in formulas (2)-(5), then

POSITIVE DEFINITE MATRICES AND CATALAN NUMBERS 181 (i) a < n for 1 < í < n, (ii)2n - 1 < 2"_,a, < 3n - 3, (iii) Dk/Dk+X < k + 1 for 0 < k < n, (iv) Dk/Dk_x < n - k + 1 for 0 < k < n. (10) The number of elements of S with trace t is given by /,_ n(3»-,-i)(3,,-,-2) lf2/i_1<i<3n_3) \ n-2 I n- 1 0 otherwise. (11) The number of elements of S with exactly i diagonal elements equal to one is given by 2"~"^l(n - 1)! (n -2i+!)!/!(/- 1)! w + 3 2 J' 0 otherwise. (9) is straightforward but (10) and (11) seem more difficult. We do not believe them to offer any fundamental problems however, and the reader is invited to supply proofs. We are indebted to the referee for his careful reading of the paper and for his numerous valuable comments. References if 0 < i < 1. Morris Newman, Integral matrices, Academic Press, New York, 1972. 2. Richard Stanley, Elementary problems and solutions problem E2546, Amer. Math. Monthly 83 (10) (1976), 813-814. National Bureau of Standards, Operations Research Division, Washington, D.C 20234 Institute for the Interdisciplinary Applications of Algebra and Combinatorics, Department of Mathematics, University of California, Santa Barbara, California 93106 (Current address of Morris Newman) Current address (F. T. Leighton): Applied Mathematics Department, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139