# COMBINATORIAL PROOFS OF CAPELLI S AND TURNBULL S IDENTITIES FROM CLASSICAL INVARIANT THEORY

Save this PDF as:

Size: px
Start display at page:

Download "COMBINATORIAL PROOFS OF CAPELLI S AND TURNBULL S IDENTITIES FROM CLASSICAL INVARIANT THEORY"

## Transcription

1 COMBINATORIAL PROOFS OF CAPELLI S AND TURNBULL S IDENTITIES FROM CLASSICAL INVARIANT THEORY BY Dominique FOATA and Doron ZEILBERGER 0. Introduction. Capelli s [C] identity plays a prominent role in Weyl s [W] approach to Classical Invariant Theory. Capelli s identity was recently considered by Howe [H] and Howe and Umeda [H-U]. Howe [H] gave an insightful representation-theoretic proof of Capelli s identity, and a similar approach was used in [H-U] to prove Turnbull s [T] symmetric analog, as well as a new anti-symmetric analog, that was discovered independently by Kostant and Sahi [K-S]. The Capelli, Turnbulll, and Howe- Umeda-Kostant-Sahi identities immediately imply, and were inspired by, identities of Cayley (see [T1]), Garding [G], and Shimura [S], respectively. In this paper, we give short combinatorial proofs of Capelli s and Turnbull s identities, and raise the hope that someone else will use our approach to prove the new Howe-Umeda-Kostant-Sahi identity. 1. The Capelli Identity. Throughout this paper x i,j are mutually commuting indeterminates ( positions ), as are o i,j ( momenta ), and they interact with each other via the uncertainty principle p ij x ij x ij p ij = h, and otherwise x i,j commutes with all the p k,l if (i, j) (k,l). Of course, one can take p i,j := h( / x i,j ). Set X =(x ij ), P =(p ij )(1 i, j n). Capelli s Identity. For each positive integer n and for 1 i, j n let (1.1) A ij = Then (CAP) n x ki p kj + h(n i)δ ij. k=1 sgn(σ) A σ1,1...a σn,n =detx. det P. Département de mathématique, Université Louis-Pasteur, 7, rue René Descartes, F Strasbourg Cedex, France Supported in part by NSF grant DM ; Department of Mathematics, Temple University, Philadelphia, PA 19122, U.S.A.

2 Remark 1. The Capelli identity can be viewed as a quantum analog ot the classical Cauchy-Binet identity det XP =detx. det P,whenthe entries of X and P commute, and indeed reduces to it when h =0. The matrix A is X t P, with quantum correction h(n i)δ i,j. Remark 2. Note that since not all indeterminates commute, it is necessary to define order in the definition of the determinant of A. It turns out that the determinant is to be evaluated by column expansion rather than row expansion, which is reflected in the left side of (CAP). Combinatorial Proof of Capelli s Identity. We will first figure out, step by step, what the combinatorial objects that are being weightenumerated by the left side of (CAP). Then we will decide who are the bad guys and will find an involution that preserves the absolute value of the weight, but reverses the sign. The weight-enumerator of the good guys will turn out to be counted by the right side of (CAP). FirstwehavetorepresenteachA ij as a generating polynomial over a particular set of combinatorial objects: consider the 4-tuples (i, j, k, l) where i, j, k =1, 2,...,n and l =0, 1. For i j define A ij as the set of all 4-tuples (a, b, c, d) such that a = i, c = j, d = 0 and b =1, 2,...,n. Next define A ii as the set of all 4-tuples (a, b, c, d) such that a = c = i, and either d = 0 and b =1, 2,...,n,ord =1andb = i +1,...,n. Finally, let { xba p w(a, b, c, d) = bc, if d =0; h, if d =1(anda = c). Wecanthenrewrite: A ij all A ij.hence (1.2) = w(a, b, c, d), where (a, b, c, d) runsover sgn(σ) A σ1,1...a σn,n = sgn(a) w(a 1,b 1,c 1,d 1 )...w(a n,b n,c n,d n ), where the sum is over all sequences (a 1,b 1,c 1,d 1,...,a n,b n,c n,d n ) satisfying the properties: 1) a =(a 1,...,a n ) is a permutation; 2) (c 1,...,c n )=(1,...,n); 3) d i =0or1(i =1,...,n); 4) the b i s are arbitrary (1 b i n) with the sole condition that when d i =1,thena i = i = c i and i +1 b i n. It then suffices to consider the set A of all 4 n-matrices a 1 a 2... a n b 1 b 2... b n c 1 c 2... c n d 1 d 2... d n

3 that satisfy the forementioned 1) to 4) properties and define the weight of G as n (1.3) w(g) =sgn(a) (x bi,a i p bi,i(1 d i )+hd i ). i=1 Then the (1.2) sum may be expressed as: sgn(σ) A σ1,1...a σn,n = w(g). G A If there is no pair (i, j) suchthat1 i < j n, d i = d j = 0 and (b i,i)=(b j,a j ), say that G is not linkable. Its weight can be expressed as a monomial sgn(a) h α x β p γ,whereallthex s are written before all the p s, by using the commutation rule. If there exists such a pair (b i,i)=(b j,a j ), the matrix G is said to be linkable. The product x bi,a i p bi,ix bj,a j p bj,j gives rise to the sum x bi,a i x bi,ip bi,ip bj,j +x bi,a i p bj,jh = x bi,a i x bi,ip bi,ip bi,j + x bi,a i p bi,jh. In the first monomial the commutation x bi,i p bi,i has been made; in the second monomial the latter product has vanished and been replaced by h. Such a pair (i, j) will be called a link, of source i and end j. If a linkable matrix has m links (i 1 <j 1 ),...,(i m <j m ), its weight will produce 2 m monomials when the commutation rules are applied to it. Each of those 2 m monomials corresponds to a subset K = {k 1,...,k r } of the set I = {i 1,...,i m } of the link sources. We then have to consider the set of all the pairs (G, K), subject to the previous conditions and define the weights of those pairs as single monomials in such a way that the sum K w(g, K) will be the weight of G, once all the commutations px = xp + h have been made. The weight w(g, K) will be defined in the following way: consider the single monomial introduced in (1.3); if i belongs to K,dropx b,i and replace p bi,i by h; ifi belongs to I \ K, dropx b,i and replace p bi,i by x bi,i p bi,i. Leave the other terms alike. In other words define the operators: Then let D i = h p bi,i x bi,i For instance, the matrix ( w(g, K) = and i = x bi,ip bi,i i K D i i I\K i )w(k) p bi,i x bi,i.

4 has three links (1, 3), (2, 8) and (3, 9). Its weight, according to (1.3) reads: x 2,4 p 2,1 x 8,5 p 8,2 x 2,1 p 2,3 x 1,8 p 1,4 x 8,7 p 8,5 hx 8,9 p 8,7 x 8,2 p 8,8 x 2,3 p 3,9. Now consider the subset K = {2} of its link source set I = {1, 2, 3}. The weight of w(g, K) isthen: x 2,4 x 2,1 p 2,1 x 8,5 hx 2,3 p 2,3 x 1,8 p 1,4 x 8,7 p 8,5 hx 8,9 p 8,7 p 8,8 p 3,9. The simple drop-add rule just defined guarantees that no p i,j remains to the left of x ij in any of the weight w(g, K). After using all the commutations px = xp + h we then get (1.4) sgn σa σ1,1...a σn,n = w(g, K), where G runs over all A and K over all the subsets of the link source set of G. It is obvious who the good guys are: those pairs (G, K) such that G has no 1 s on the last row and such that K is empty. The good guys correspond exactly to the members of det X t P, in the classical case, where all the x i,j commute with all the p i,j, and obviously their sum is det X. det P. [A combinatorial proof of which can be found in [Z].] It remains to kill the bad guys, i.e., show that the sum of their weights is zero. If (G, K) isabadguy,h occurs in w(g, K) and either there are 1 s on the last row of G, ork is non empty. Let i = i(g, K) bethegreatest integer (1 i n 1) such that either i a link source belonging to K, or the i-th column has an entry equal to 1 on the last row. Inthefirstcase,let(i, j) be the link of source i; thenreplacethe i-th and the j-th columns as shown in the next display, the other columns remaining intact: a i... i b i... b i i... a i j... b i The link (i, j) (withi K) has been suppressed. Let (k,l) beanother link of G such that k K. Then k<iby definition of i. On the other hand, l j. If l i, then(k,l) remainsalinkofg. If l = i, then (b k,k)=(b i,a i ) and the link (k,i) ing has been replaced by the link (k,j) ing,sothatk is still a link source in G. Accordingly, K \{i} is a subset of the link set of G and it makes sense to define K = K \{i}. Also notice that (1.5) i(g,k )=i(g, K).

5 As G and G differ only by their i-th and j-th columns, the weights of G and G will have opposite sign; furthermore, they will differ only by their i-th and j-th factors, as indicated in the next display: w(g) =... x bi,a i p bi,i... x bi,i p bi,j... w(g ) =... h... x bi,a i p bi,j... [The dots mean that the two words have the same left factor, the same middle factor and the same right factor.] Hence, as i is in K, but not in K, the operator D i (resp. i ) is to be applied to w(g) (resp. G )in order to get w(g, K) (resp.w(g, K )), so that: w(g, K) =... x bi,a i h... p bi,j... w(g,k ) =... h... x bi,a i p bi,j... showing that (1.6) w(g, K) = w(g,k ). In the second case the entries in the i-th column (i, j, i, 1) satisfy the inequalities i +1 j n, whilethej-th column (on the right of the i-th column) is of the form (a j,b j,j,0). Then define i... a j j... b j a j... i b j... b j = G, where only the i-th and j-th columns have been modified. Clearly a new link (i, j) has been created in G. Let (k, l) be a link of G with k K. Then k<i. If l = j, wehave(b k,k)=(b j,a j ), so that (k, i) is a link of G. If l j, then(k, l) remains a link of G. Thus K {i} is a set of link sources of G. It then makes sense to define K = K {i}. Also notice that relation (1.5) still holds. As before, w(g) and w(g) have opposite signs. Furthermore so that w(g) =... h... x bj,a j p bj,j... w(g ) =... x bj,a j p bj,i... x bj,i p bj,j... w(g, K) =... h... x bj,a j p bj,j... w(g,k ) =... x bj,a j h... p bj,j..., showing that (1.6) also holds. Taking into account (1.5) it is readily seen that ω :(G, K) (G,K ) maps the first case into the second one, and conversely. Applying ω twice gives the original element, so it is an involution. Finally, property (1.6) makes it possible to associate the bad guys into mutually canceling pairs, and hence their total weight is zero.

6 2. A Combinatorial Proof of Turnbull s Identity. Turnbull s Identity. Let X =(x ij ), P =(p ij )(1 i, j n) be as before, but now they are symmetric matrices: x i,j = x j,i and p i,j = p j,i, their entries satisfying the same commutation rules. Also let P =( p i,j ):= (p i,j (1 + δ i,j )). For each positive integer n and for 1 i, j n, let (2.1) A ij := Then (TUR) n x ki p kj + h(n i)δ ij. k=1 sgn(σ)a σ1,1...a σn,n =detx. det P. Theproofisverysimilar. Howeverwehavetointroduceanothervalue for the d i s to account for the fact that the diagonal terms of P are 2p i,i. More precisely, for i j we let T i,j be the set of all 4-tuples (a, b, c, d) such that a = i, c = j, and either d = 0 and b =1, 2,...,n,ord = 2 and b = c = j. In the same way, let T ii be the set of all 4-tuples (a, b, c, d) such that a = c = i, and either d = 0 and b =1, 2,...,n,ord = 1 and b = i +1,...,n,ord = 2 and b = c = i. Finally, let w(a, b, c, d) = { xba p bc, if d = 0 or 2; h, if d =1(anda = c). Next consider the set T of all 4 n-matrices a 1 a 2... a n b 1 b 2... b n c 1 c 2... c n d 1 d 2... d n satisfying the properties: 1) a =(a 1,...,a n ) is a permutation; 2) (c 1,...,c n )=(1,...,n); 3) d i =0,1or2(i =1,...,n); { 1,..., or n, when di =0; 4) b i = i +1,..., or n, and a i = c i = i, when d i =1; c i = i, when d i =2. Then we have sgn(σ) A σ1,1...a σn,n = w(g), G T where the weight w(g) is defined as in (1.3) under the restriction that the d i s are to be taken mod 2.

7 Now to take the symmetry of P and X into account the definition of a link has to be slightly modified. Say that a pair (i, j) isalink in G, if 1 i<j n, d i d j 0 (mod 2) and either (b i,i)=(b j,a j ), or (b i,i)=(a j,b j ). In the Capelli case the mapping i j (with 1 i< j n and (b i,i)=(b j,a j )) set up a natural bijection of the source set onto the end set. Furthermore, if the latter sets were of cardinality m, the weight of G gave rise to a polynomial with 2 m terms. It is no longer the case in the Turnbull case. For instance, if a matrix G is of the form b i... i b i... i... i... b i i... b i (= k)... j... l d i... d k... d j... d l... with d i d k d j d l 0 (mod 2), the weight of G will involve the factor p bi,ip i,bi x i,bi x bi,i = ppxx (by dropping the subscripts). The expansion of the latter monomial will yield ppxx = xxpp +4hxp +2h 2. With the term xxpp all the commutations have been made; say that no link remains. One link remains unused to obtain each one of the next four terms hxp, i.e., (i, j), (i, l), (k,j), (k, l). Finally, the two pairs of links {(i, j), (k, l)} and {(i, l), (k, j)} remain unused to produce the last term 2h 2. Accordingly, each of the term in the expansion of the weight w(g) (once all the commutations px = xp+h have been made) corresponds to a subset K = {(i 1,j 1 ),...,(i r,j r )} of the link set of G having the property that all the i k s (resp. all the j k s) are distinct. Let w(g, K) denotethe term corresponding to K in the expansion. We will then have w(g) = K w(g, K). As before the product det X. det P is the sum w(g, K) withk empty and no entry equal to 1 on the last row of G. If (G, K) does not verify the last two conditions, let i = i(g, K) be the greatest integer (1 i n 1) such that one of the following conditions holds: 1) d i = 0 and i isthesourceofalink(i, j) belongingtok such that (b i,i)=(b j,a j ); 2) the i-th column has an entry equal to 1 on the last row; 3) d i =0or2andi is the source of a link (i, j) belongingtok such that (b i,i)=(a j,b j ) and case 1 does not hold. Forcases1and2theinvolutionω :(G, K) (G,K )isdefinedas follows:

8 Case 1: a i... i b i... b i i... a i j... b i 1... d j Case 2: i... a j j... b j 1... d j a j... i b j... b j Notice that d j =0or2andwhend j =2,thematrixG also belongs to T. In case 1 the link (i, j) has been suppressed. Let (k, l) be a link in G with (k,l) K. Then k<iand l j because of our definition of K. If l i, then(k, l) remains a link in G. Define K = K \{(i, j)}. If l = i, then(b k,k)=(b i,a i )or(b k,k)=(a i,b i ) and the link (k,i) in G has been replaced by the link (k,j) ing. In this case define K = K \{(i, j), (k, i)} {(k, j)}. In those two subcases (1.5) remains valid. In case 2 the link (i, j) isnowalinking. Let (k,l) belongto K. Then k<i. If l j, then(k, l) remainsalinking. If l = j, then (b k,k)=(b j,a j )or =(a j,b j ), so that (k,i) is a link in G. Define K = K {(i, j)} in the first subcase and K = K {(i, j), (k,i)}\{(k,j)}. Again (1.5) holds. If case 3 holds, G has the form: a i... b i b i... i d i... d j and eight subcases are to consider depending on whether a i, b i are equal or not to i, andd i isequalto0or2. Thetwocasesa i = b i = i can be dropped, for a isapermutation.thetwocasesb i i, d i =2canalsobe dropped because of condition 4 for the matrices in T. The case a i i, b i = i, d i = 0 is covered by case 1. There remain three subcases for which the mapping G G is defined as follows: Case 3 : a i i, b i i, d i =0. a i... b i b i... i b i... a i a i... i

9 Case 3 : a i = i, b i i, d i =0. i... b i b i... i Case 3 : a i i, b i = i, d i =2. a i... i i... i 2... d j b i... i i... i 2... d j i... a i a i... i In those three subcases the pair (i, j) has remained a link in G.Let (k,l) be a link in K different from (i, j). Then k<i. Also l j. If l i, then(k, l) remains a link in G. If l = i, then(b k,k)=(b i,a i )or (b k,k)=(a i,b i ) and the link (k,i) has been preserved in G.Wecanthen define: K = K. Also (1.5) holds. As for the proof of Capelli s identity we get w(g,k )= w(g, K) in cases 1, 2 and 3. Clearly, ω maps the first case to the second and conversely. Finally, subcase 3 goes to itself, and ω exchanges the two subcases 3 and 3. It follows that the sum of the weights of all the bad guys is zero, thus establishing (TUR). 3. What about the Anti-symmetric Analog? Howe and Umeda [H-U], and independently, Kostant and Sahi [K-S] discovered and proved an anti-symmetric analog of Capelli s identity. Although we, at present, are unable to give a combinatorial proof similar to the above proofs, we state this identity in the hope that one of our readers will supply such a proof. Since the anti-symmetric analog is only valid for even n, itisclear that the involution cannot be local as in the above involutions, but must be global, i.e., involves many, if not all, matrices. The Howe-Umeda-Kostant-Sahi Identity. Let n be an even positive integer. Let X = (x i,j )(1 i, j n) be an anti-symmetric matrix: x j,i = x i,j,andp =(p i,j ) be the corresponding anti-symmetric momenta matrix. Let n (1 ) A ij := x k,i p k,j + h(n i 1)δ ij. k=1 Then (HU-KS) sgn(σ)a σ1,1...a σn,n =detx. det P. Although we are unable to prove the above identity combinatorially, we do know how to prove combinatorially another, less interesting, antisymmetric analog of Capelli s identity, that is stated without proof at the end of Turnbull s paper [T].

10 Turnbull s Anti-Symmetric Analog. Let X =(x i,j ) and P =(p i,j ) (1 i, j n) be an anti-symmetric matrices as above. Let n (1 ) A ij := x k,i p k,j h(n i)δ ij, k=1 for 1 i, j n. Then (TUR ) sgn(σ)a σ1,1...a σn,n =Per(X t P), where Per(A) denotes the permanent of a matrix A, and the matrix product X t P that appears on the right side of TUR is taken with the assumption that the x i,j and p i,j commute. Since the proof of this last identity is very similar to the proof of Turnbull s symmetric analog (with a slight twist), we leave it as an instructive and pleasant exercise for the reader. Acknowledgement. We should like to thank Roger Howe for introducing us to Capelli s identity, and for helpful conversations. REFERENCES [C] A. Capelli: Über die Zurückführung der Cayley schen Operation Ω auf gewöhnliche Polar-Operationen, Math. Annalen, vol. 29, 1887, p [G] L. Garding: Extension of a formula by Cayley to symmetric determinants, Proc.EndinburghMath.Soc.Ser. 2, vol. 8, 1947, p [H] R. Howe: Remarks on classical invariant theory, Trans. Amer. Math. Soc., vol. 313, 1989, p [H-U]R.HoweandT.Umeda: TheCapelliidentity,thedoublecommutant theorem, and multiplicity-free actions, Math. Ann., vol. 290, 1991, p [K-S] B. Kostant and S. Sahi: The Capelli Identity, tube domains, and the generalized Laplace transform, Adv. Math., vol. 87, 1991, p [S] G. Shimura: On diferential operators attached to certain representations of classical groups, Invent. math., vol. 77, 1984, p [T] H.W. Turnbull: Symmetric determinants and the Cayley and Capelli operators, Proc.EdinburghMath.Soc.Ser. 2, vol. 8, 1947, p [T1] H.W. Turnbull: The Theory of Determinants, Matrices, and Invariants. Dover,1960. [W] H. Weyl: The Classical Groups, their Invariants and Representations. Princeton University Press, [Z] D. Zeilberger: A combinatorial approach to matrix algebra, Discrete Math., vol. 56, 1985, p

### arxiv:math/ v1 [math.qa] 26 Oct 2006

A GENERALIZATION OF THE CAPELLI IDENTITY arxiv:math/0610799v1 [math.qa] 26 Oct 2006 E. MUKHIN, V. TARASOV, AND A. VARCHENKO Abstract. We prove a generalization of the Capelli identity. As an application

### A Bijective Proof of Borchardt s Identity

A Bijective Proof of Borchardt s Identity Dan Singer Minnesota State University, Mankato dan.singer@mnsu.edu Submitted: Jul 28, 2003; Accepted: Jul 5, 2004; Published: Jul 26, 2004 Abstract We prove Borchardt

### Boolean Inner-Product Spaces and Boolean Matrices

Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver

### The Cayley Hamilton Theorem

The Cayley Hamilton Theorem Attila Máté Brooklyn College of the City University of New York March 23, 2016 Contents 1 Introduction 1 1.1 A multivariate polynomial zero on all integers is identically zero............

### MATH 511 ADVANCED LINEAR ALGEBRA SPRING 2006

MATH 511 ADVANCED LINEAR ALGEBRA SPRING 2006 Sherod Eubanks HOMEWORK 2 2.1 : 2, 5, 9, 12 2.3 : 3, 6 2.4 : 2, 4, 5, 9, 11 Section 2.1: Unitary Matrices Problem 2 If λ σ(u) and U M n is unitary, show that

### arxiv: v1 [math.co] 3 Nov 2014

SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed

### More calculations on determinant evaluations

Electronic Journal of Linear Algebra Volume 16 Article 007 More calculations on determinant evaluations A. R. Moghaddamfar moghadam@kntu.ac.ir S. M. H. Pooya S. Navid Salehy S. Nima Salehy Follow this

### DETERMINANTS. , x 2 = a 11b 2 a 21 b 1

DETERMINANTS 1 Solving linear equations The simplest type of equations are linear The equation (1) ax = b is a linear equation, in the sense that the function f(x) = ax is linear 1 and it is equated to

### Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then

### 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

### 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

### A Note on Tiling under Tomographic Constraints

A Note on Tiling under Tomographic Constraints arxiv:cs/8v3 [cs.cc] 9 Apr Marek Chrobak Peter Couperus Christoph Dürr Gerhard Woeginger February, 8 Abstract Given a tiling of a D grid with several types

### On families of anticommuting matrices

On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +

### Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict

### Topics in linear algebra

Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

### Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group

### Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it Invertible

Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it Invertible Jean Gallier Department of Computer and Information Science University of Pennsylvania

### An Asymptotic Bound on the Composition Number of Integer Sums of Squares Formulas

Canad. Math. Bull. Vol. 56 (1), 2013 pp. 70 79 http://dx.doi.org/10.4153/cmb-2011-143-x c Canadian Mathematical Society 2011 An Asymptotic Bound on the Composition Number of Integer Sums of Squares Formulas

### Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory

### LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS

Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.

### Spectrally arbitrary star sign patterns

Linear Algebra and its Applications 400 (2005) 99 119 wwwelseviercom/locate/laa Spectrally arbitrary star sign patterns G MacGillivray, RM Tifenbach, P van den Driessche Department of Mathematics and Statistics,

### TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX

#A05 INTEGERS 9 (2009), 53-64 TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX Mark Shattuck Department of Mathematics, University of Tennessee, Knoxville, TN 37996-1300 shattuck@math.utk.edu

### 1 Matrices and matrix algebra

1 Matrices and matrix algebra 1.1 Examples of matrices A matrix is a rectangular array of numbers and/or variables. For instance 4 2 0 3 1 A = 5 1.2 0.7 x 3 π 3 4 6 27 is a matrix with 3 rows and 5 columns

### WRONSKIANS AND LINEAR INDEPENDENCE... f (n 1)

WRONSKIANS AND LINEAR INDEPENDENCE ALIN BOSTAN AND PHILIPPE DUMAS Abstract We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly

### A Characterization of (3+1)-Free Posets

Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of

### The Maximum Dimension of a Subspace of Nilpotent Matrices of Index 2

The Maximum Dimension of a Subspace of Nilpotent Matrices of Index L G Sweet Department of Mathematics and Statistics, University of Prince Edward Island Charlottetown, PEI C1A4P, Canada sweet@upeica J

### * 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

### Combinatorial Interpretations of a Generalization of the Genocchi Numbers

1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.6 Combinatorial Interpretations of a Generalization of the Genocchi Numbers Michael Domaratzki Jodrey School of Computer Science

### The rank of connection matrices and the dimension of graph algebras

The rank of connection matrices and the dimension of graph algebras László Lovász Microsoft Research One Microsoft Way Redmond, WA 98052 August 2004 Microsoft Research Technical Report TR-2004-82 Contents

### Determinants. Beifang Chen

Determinants Beifang Chen 1 Motivation Determinant is a function that each square real matrix A is assigned a real number, denoted det A, satisfying certain properties If A is a 3 3 matrix, writing A [u,

### Phys 201. Matrices and Determinants

Phys 201 Matrices and Determinants 1 1.1 Matrices 1.2 Operations of matrices 1.3 Types of matrices 1.4 Properties of matrices 1.5 Determinants 1.6 Inverse of a 3 3 matrix 2 1.1 Matrices A 2 3 7 =! " 1

### 1 Linear transformations; the basics

Linear Algebra Fall 2013 Linear Transformations 1 Linear transformations; the basics Definition 1 Let V, W be vector spaces over the same field F. A linear transformation (also known as linear map, or

### LEGENDRE S THEOREM, LEGRANGE S DESCENT

LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +

### 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

### A Generalized Algorithm for Computing Matching Polynomials using Determinants. Asa Scherer

A Generalized Algorithm for Computing Matching Polynomials using Determinants Asa Scherer April 17, 2007 Abstract We discuss the connection between determinants of modified matching matrices and the matching

### RHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS

RHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS THERESIA EISENKÖLBL Institut für Mathematik der Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria. E-mail: Theresia.Eisenkoelbl@univie.ac.at

### SOME PROBABILISTIC TREES WITH ALGEBRAIC ROOTS

SOME PROBABILISTIC TREES WITH ALGEBRAIC ROOTS OLIVIER BERNARDI AND ALEJANDRO H MORALES Abstract We consider several probabilistic processes defining a random graph One of these processes appeared recently

### Solutions to Assignment 3

Solutions to Assignment 3 Question 1. [Exercises 3.1 # 2] Let R = {0 e b c} with addition multiplication defined by the following tables. Assume associativity distributivity show that R is a ring with

### Math Linear Algebra Final Exam Review Sheet

Math 15-1 Linear Algebra Final Exam Review Sheet Vector Operations Vector addition is a component-wise operation. Two vectors v and w may be added together as long as they contain the same number n of

### The Poupard statistics on tangent and secant trees

The Poupard statistics on tangent and secant trees Guoniu Han IRMA, Strasbourg (Based on some recent papers with Dominique Foata) 1 Taylor expansion of tan u: Tangent numbers tanu = n 0 u ()! T = u 1!

### The distribution of run lengths in integer compositions

The distribution of run lengths in integer compositions Herbert S Wilf University of Pennsylvania Philadelphia PA 19104-6395, USA wilf@mathupennedu Submitted: Mar 7, 2010; Accepted: Oct 9, 2011; Published:

### MATH 2030: MATRICES ,, a m1 a m2 a mn If the columns of A are the vectors a 1, a 2,...,a n ; A is represented as A 1. .

MATH 030: MATRICES Matrix Operations We have seen how matrices and the operations on them originated from our study of linear equations In this chapter we study matrices explicitely Definition 01 A matrix

### 10: Representation of point group part-1 matrix algebra CHEMISTRY. PAPER No.13 Applications of group Theory

1 Subject Chemistry Paper No and Title Module No and Title Module Tag Paper No 13: Applications of Group Theory CHE_P13_M10 2 TABLE OF CONTENTS 1. Learning outcomes 2. Introduction 3. Definition of a matrix

### Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Abstract Algebra I Randall R. Holmes Auburn University Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016 This work is licensed under the Creative Commons Attribution- NonCommercial-NoDerivatives

### Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and

### AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS

AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in

### CHAPTER 6. Direct Methods for Solving Linear Systems

CHAPTER 6 Direct Methods for Solving Linear Systems. Introduction A direct method for approximating the solution of a system of n linear equations in n unknowns is one that gives the exact solution to

### ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II

To the memory of my Mother ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II KRZYSZTOF P LOTKA Abstract. We say that a function h: R R is a Hamel function (h HF) if h, considered as a subset of R 2, is a Hamel

### arxiv:math/ v2 [math.co] 19 Sep 2005

A COMBINATORIAL PROOF OF THE ROGERS-RAMANUJAN AND SCHUR IDENTITIES arxiv:math/04072v2 [math.co] 9 Sep 2005 CILANNE BOULET AND IGOR PAK Abstract. We give a combinatorial proof of the first Rogers-Ramanujan

### A. I. BADULESCU AND D. RENARD

ZELEVINSKY INVOLUTION AND MOEGLIN-WALDSPURGER ALGORITHM FOR GL n (D) A. I. BADULESCU AND D. RENARD Abstract. In this short note, we remark that the algorithm of Moeglin and Waldspurger for computing the

### INVERSE TRIDIAGONAL Z MATRICES

INVERSE TRIDIAGONAL Z MATRICES (Linear and Multilinear Algebra, 45() : 75-97, 998) J J McDonald Department of Mathematics and Statistics University of Regina Regina, Saskatchewan S4S 0A2 M Neumann Department

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

Chapter 8 Determinants The founder of the theory of determinants is usually taken to be Gottfried Wilhelm Leibniz (1646 1716, who also shares the credit for inventing calculus with Sir Isaac Newton (1643

### Low Rank Co-Diagonal Matrices and Ramsey Graphs

Low Rank Co-Diagonal Matrices and Ramsey Graphs Vince Grolmusz Department of Computer Science Eötvös University, H-1053 Budapest HUNGARY E-mail: grolmusz@cs.elte.hu Submitted: March 7, 000. Accepted: March

### RING ELEMENTS AS SUMS OF UNITS

1 RING ELEMENTS AS SUMS OF UNITS CHARLES LANSKI AND ATTILA MARÓTI Abstract. In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand

### Matrix Multiplication

3.2 Matrix Algebra Matrix Multiplication Example Foxboro Stadium has three main concession stands, located behind the south, north and west stands. The top-selling items are peanuts, hot dogs and soda.

### ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99

ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements

### 5.6. PSEUDOINVERSES 101. A H w.

5.6. PSEUDOINVERSES 0 Corollary 5.6.4. If A is a matrix such that A H A is invertible, then the least-squares solution to Av = w is v = A H A ) A H w. The matrix A H A ) A H is the left inverse of A and

### Introduction to finite fields

Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in

### Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition

Linear Algebra review Powers of a diagonalizable matrix Spectral decomposition Prof. Tesler Math 283 Fall 2016 Also see the separate version of this with Matlab and R commands. Prof. Tesler Diagonalizing

### Linear Equations and Matrix

1/60 Chia-Ping Chen Professor Department of Computer Science and Engineering National Sun Yat-sen University Linear Algebra Gaussian Elimination 2/60 Alpha Go Linear algebra begins with a system of linear

### 18.312: Algebraic Combinatorics Lionel Levine. Lecture 19

832: Algebraic Combinatorics Lionel Levine Lecture date: April 2, 20 Lecture 9 Notes by: David Witmer Matrix-Tree Theorem Undirected Graphs Let G = (V, E) be a connected, undirected graph with n vertices,

### Q(x n+1,..., x m ) in n independent variables

Cluster algebras of geometric type (Fomin / Zelevinsky) m n positive integers ambient field F of rational functions over Q(x n+1,..., x m ) in n independent variables Definition: A seed in F is a pair

### 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 2030: MATRICES Matrix Algebra As with vectors, we may use the algebra of matrices to simplify calculations. However, matrices have operations that vectors do not possess, and so it will be of interest

### Week 4-5: Binary Relations

1 Binary Relations Week 4-5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

### Chapter 2 Spectra of Finite Graphs

Chapter 2 Spectra of Finite Graphs 2.1 Characteristic Polynomials Let G = (V, E) be a finite graph on n = V vertices. Numbering the vertices, we write down its adjacency matrix in an explicit form of n

### A FIRST COURSE IN LINEAR ALGEBRA. An Open Text by Ken Kuttler. Matrix Arithmetic

A FIRST COURSE IN LINEAR ALGEBRA An Open Text by Ken Kuttler Matrix Arithmetic Lecture Notes by Karen Seyffarth Adapted by LYRYX SERVICE COURSE SOLUTION Attribution-NonCommercial-ShareAlike (CC BY-NC-SA)

### arxiv: v2 [math.ra] 6 Feb 2012

IS AN IRNG SINGLY GENERATED AS AN IDEAL? NICOLAS MONOD, NARUTAKA OZAWA, AND ANDREAS THOM arxiv:1112.1802v2 [math.ra] 6 Feb 2012 Abstract. Recall that a rng is a ring which is possibly non-unital. In this

### COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES. James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 19383, USA

COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 9383, USA jmclaughl@wcupa.edu Andrew V. Sills Department of Mathematical

### Differential equations

Differential equations Math 7 Spring Practice problems for April Exam Problem Use the method of elimination to find the x-component of the general solution of x y = 6x 9x + y = x 6y 9y Soln: The system

### Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED

### A Simple Proof of the Aztec Diamond Theorem

A Simple Proof of the Aztec Diamond Theorem Sen-Peng Eu Department of Applied Mathematics National University of Kaohsiung Kaohsiung 811, Taiwan, ROC speu@nuk.edu.tw Tung-Shan Fu Mathematics Faculty National

### Dot Products, Transposes, and Orthogonal Projections

Dot Products, Transposes, and Orthogonal Projections David Jekel November 13, 2015 Properties of Dot Products Recall that the dot product or standard inner product on R n is given by x y = x 1 y 1 + +

### Linear Algebra. Workbook

Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx

### 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

### Algebraic Methods in Combinatorics

Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets

### RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

Discussiones Mathematicae General Algebra and Applications 23 (2003 ) 125 137 RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Seok-Zun Song and Kyung-Tae Kang Department of Mathematics,

### Quantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada

Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical

### Jacobi s formula for the derivative of a determinant

Jacobi s formula for the derivative of a determinant Peter Haggstrom www.gotohaggstrom.com mathsatbondibeach@gmail.com January 4, 208 Introduction Suppose the elements of an n n matrix A depend on a parameter

### Gershgorin s Circle Theorem for Estimating the Eigenvalues of a Matrix with Known Error Bounds

Gershgorin s Circle Theorem for Estimating the Eigenvalues of a Matrix with Known Error Bounds Author: David Marquis Advisors: Professor Hans De Moor Dr. Kathryn Porter Reader: Dr. Michael Nathanson May

### 18.S34 linear algebra problems (2007)

18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction

### Another algorithm for nonnegative matrices

Linear Algebra and its Applications 365 (2003) 3 12 www.elsevier.com/locate/laa Another algorithm for nonnegative matrices Manfred J. Bauch University of Bayreuth, Institute of Mathematics, D-95440 Bayreuth,

### It is well-known (cf. [2,4,5,9]) that the generating function P w() summed over all tableaux of shape = where the parts in row i are at most a i and a

Counting tableaux with row and column bounds C. Krattenthalery S. G. Mohantyz Abstract. It is well-known that the generating function for tableaux of a given skew shape with r rows where the parts in the

### Mathematical Methods wk 2: Linear Operators

John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

### Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Peter J Olver 3 Review of Matrix Algebra Vectors and matrices are essential for modern analysis of systems of equations algebrai, differential, functional, etc In this

### TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology

TOPOLOGICAL COMPLEXITY OF 2-TORSION LENS SPACES AND ku-(co)homology DONALD M. DAVIS Abstract. We use ku-cohomology to determine lower bounds for the topological complexity of mod-2 e lens spaces. In the

### Spanning Trees in Grid Graphs

Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid

### MIT Algebraic techniques and semidefinite optimization February 16, Lecture 4

MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract

### AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim

### Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 2 Solutions Please write neatly, and in complete sentences when possible.

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 2 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 1.4.2, 1.4.4, 1.4.9, 1.4.11,

### Lecture 2: January 18

CS271 Randomness & Computation Spring 2018 Instructor: Alistair Sinclair Lecture 2: January 18 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They

### CATALAN DETERMINANTS A COMBINATORIAL APPROACH

CATALAN DETERMINANTS A COMBINATORIAL APPROACH ARTHUR T BENJAMIN, NAIOMI T CAMERON, JENNIFER J QUINN, AND CARL R YERGER Abstract Determinants of matrices involving the Catalan sequence have appeared throughout

### GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations

### Some statistics on permutations avoiding generalized patterns

PUMA Vol 8 (007), No 4, pp 7 Some statistics on permutations avoiding generalized patterns Antonio Bernini Università di Firenze, Dipartimento di Sistemi e Informatica, viale Morgagni 65, 504 Firenze,

### arxiv: v1 [math.ra] 10 Jun 2015

SWEEPING WORDS AND THE LENGTH OF A GENERIC VECTOR SUBSPACE OF M n (F) arxiv:1506.03460v1 [math.ra] 10 Jun 2015 IGOR KLEP 1 AND ŠPELA ŠPENKO2 Abstract. The main result of this short note is a generic version

### Manifolds and Poincaré duality

226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H

### Lecture 23: Trace and determinants! (1) (Final lecture)

Lecture 23: Trace and determinants! (1) (Final lecture) Travis Schedler Thurs, Dec 9, 2010 (version: Monday, Dec 13, 3:52 PM) Goals (2) Recall χ T (x) = (x λ 1 ) (x λ n ) = x n tr(t )x n 1 + +( 1) n det(t

### Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1

### Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements