Can a 2N by 2N matrix written in terms of N by N matrices?

Click For Summary
A 2N by 2N matrix can indeed be expressed in terms of N by N matrices by utilizing a block structure and the basis of Hermitian 2x2 matrices, specifically the identity matrix and Pauli matrices. The proof for 2x2 Hermitian matrices shows that any such matrix can be represented using real coefficients and these matrices. To extend this concept to 2N by 2N matrices, one can explicitly write the matrix in block form and select appropriate matrices A, B, C, and D. This approach allows for a systematic construction of the desired 2N by 2N matrix. The discussion emphasizes the importance of a mathematical proof or numerical method for clarity in this extension.
sokrates
Messages
481
Reaction score
2
I posted this question over at the QM page,

https://www.physicsforums.com/showthread.php?t=714076

but I realized I am really looking for a

hard Mathematical proof ...

A description of a numerical way of proving this would also be very helpful for me.

or a reference covering the subject.

Many thanks in advance,
 
Physics news on Phys.org
As a warmup, would you know how to prove that ##\{ I_{2}, \sigma_i\}## is a basis for Hermitian ##2\times 2## matrices? The result for ##2N\times 2N## will follow by writing the matrix in block form and using the basis as explained by wle in that thread.
 
Yes - I can do the 2x2 proof I guess.

Because any 2x2 Hermitian matrix can be written as:

<br /> H=\begin{bmatrix}<br /> a &amp; c -i \ d \\<br /> c + i \ d &amp; b <br /> \end{bmatrix}<br />

where a,b,c,d are all real numbers.

Then H can be uniquely defined in terms of Pauli matrices:
<br /> \frac{1}{2}\left[ (a+b) \ I_{2\times 2} + (a-b) \ \sigma_z + 2 \ c \ \sigma_x + 2 \ d \ \sigma_y\right]<br />

But how to extend this to 2N by 2N ?
 
Yes, I got it ...

Just write it out explicitly and choose A,B,C,D accordingly to get the random 2N by 2N matrix.

Many thanks for directing me to that.
 
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 34 ·
2
Replies
34
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 26 ·
Replies
26
Views
866
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
10
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
3
Views
5K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K