Why Is QQ^T Singular for a Matrix with Orthonormal Columns?

  • Thread starter Thread starter hotvette
  • Start date Start date
  • Tags Tags
    Columns Matrix
Click For Summary
For an m x n matrix Q with orthonormal columns (m > n), QQ^T is a symmetric m x m matrix that is singular because its rank is n, which is less than m. This leads to a condition where QQ^T cannot be invertible. The discussion highlights the challenges faced when simplifying the matrix equation A^TDAx = A^Tb, especially when A is non-square. The broader question of solving the equation without direct multiplication was clarified by correcting the equation to ATDAx = ATDb, which simplifies the problem significantly. Ultimately, the relationship rank(A) = rank(ATA) = rank(AAT) reinforces that QQ^T retains the rank of Q, confirming its singularity.
hotvette
Homework Helper
Messages
1,001
Reaction score
11
If Q is an m x n (m > n) matrix with orthonormal columns, we know that Q^TQ = I of dimension n x n. I have a question about QQ^T. It is a symmetric m x m matrix but also appears to be singular. Why would it be singular? Probably something basic I've long since forgotten.
 
Physics news on Phys.org
hotvette said:
If Q is an m x n (m > n) matrix with orthonormal columns, we know that Q^TQ = I of dimension n x n. I have a question about QQ^T. It is a symmetric m x m matrix but also appears to be singular. Why would it be singular? Probably something basic I've long since forgotten.
Why do you say it "appears to be singular"? You can take Q= I as a matrix with orthonormal matrix such that QQ^T is not singular.
 
Thanks for your reply. I'm dealing specifically with non-square matrices with more rows than columns where I'm trying to factor QQ^T using QR or SVD. The result is always nonsense so I tried an experiment by generating random non-square matrices with orthonormal columns and in all cases QQ^T had condition numbers ~1E15 and the factorization routines broke down. I figured there must be some rule or axiom I'd forgotten.

This came up when trying to simplify the matrix equation A^TDAx = A^Tb where A is non-square with more rows than columns and D is diagonal. If A is factored into QR the simplification gets stalled because I end up with QQ^T on both sides and can't go further.

The broader question is whether A^TDAx = A^Tb can be solved for x without having to carry out the matrix multiplications A^TDA, where A is non-square with more rows than columns and D is diagonal.
 
Last edited:
I managed to answer the broader question after realizing I made a goof in the equation. It really is ATDAx = ATDb and can be readily solved by letting B = D1/2A. The problem is then BTBx = BTD1/2b which is easy to solve.

On the other question, I'm still curious whether a generalization can be made about the nature of QQT in the case where Q is rectangular (m > n) and has orthonormal columns. I've scoured my linear algebra texts and can't find any statements about this.
 
hotvette said:
If Q is an m x n (m > n) matrix with orthonormal columns, we know that Q^TQ = I of dimension n x n. I have a question about QQ^T. It is a symmetric m x m matrix but also appears to be singular. Why would it be singular? Probably something basic I've long since forgotten.

QQ^T has rank n, so if n < m then it is singular.
 
Thanks. Actually, I realized it doesn't matter that the columns are orthonormal. I found the relation I was looking for:

rank(A) = rank(ATA) = rank(AAT)

It makes intuitive sense since you aren't adding any information by forming the matrix products.

http://en.wikipedia.org/wiki/Rank_(linear_algebra )
 
Last edited by a moderator:
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
1
Views
2K
Replies
27
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K