Solving Matrix Equations in SL(2,C) for Arbitrary Vectors

  • Context: Graduate 
  • Thread starter Thread starter emma83
  • Start date Start date
  • Tags Tags
    Matrix
Click For Summary

Discussion Overview

The discussion centers on solving matrix equations within the special linear group SL(2,C) for arbitrary vectors. Participants explore the implications of matrix multiplication in this context and seek to derive expressions for a matrix A_k that satisfies a specific equation involving a unit vector and an arbitrary vector.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant questions whether the law for matrix multiplication in SL(2,C) is the same as usual while attempting to solve the equation A_{k}k_{0}A_{k}^{\dagger}=k.
  • Another participant confirms that their multiplication of the matrices yields the same result as the original poster, indicating agreement on that part of the calculation.
  • A different participant suggests that knowing the effect of A_k on at least two linearly independent vectors is necessary to fully determine the matrix.
  • A participant proposes a potential solution for A_k but expresses uncertainty about whether it correctly satisfies the original equation.
  • One participant raises a concern that without further restrictions, there may not be a unique solution for A_k, questioning the implications of multiplying A_k by an element of the little group of k_0.

Areas of Agreement / Disagreement

Participants express differing views on the uniqueness of the solution for A_k, with some suggesting that additional conditions are necessary while others propose potential solutions without consensus on their correctness.

Contextual Notes

Participants note that the constant C in the proposed solution is related to the vector k, which may affect the overall solution. There are also implications regarding the linear independence of vectors and the role of the little group of k_0 that remain unresolved.

emma83
Messages
31
Reaction score
0
Hello,

Is the law for matrix multiplication in SL(2,C) the same as usual ? I try to solve the equation [tex]A_{k}k_{0}A_{k}^{\dagger}=k[/tex] where [tex]k_0[/tex] corresponds to the unit vector [tex]\{0,0,1\}[/tex] and [tex]k[/tex] is an arbitrary vector, i.e.:

[tex]k0=<br /> \left( \begin{array}{cc}<br /> 2 & 0 \\<br /> 0 & 0 \\<br /> \end{array} \right)[/tex]

[tex]k=<br /> \left( \begin{array}{cc}<br /> 1+n_3 & n_- \\<br /> n_+ & 1-n_3 \\<br /> \end{array} \right)[/tex]

If I try to solve for
[tex]A_k=<br /> \left( \begin{array}{cc}<br /> a & b \\<br /> c & d \\<br /> \end{array} \right)[/tex]

this gives (where [tex]a*[/tex] is the conjugate of [tex]a[/tex]):
[tex]A_{k}k_{0}A_{k}^{\dagger}=<br /> \left( \begin{array}{cc}<br /> 2aa* & 2ac* \\<br /> 2ca* & 2cc* \\<br /> \end{array} \right)[/tex]

So this gives conditions on [tex]\{a,c\}[/tex] but can [tex]\{b,c\}[/tex] be arbitrary ? How do I solve this equation and obtain the expression of [tex]A_k[/tex] involving only [tex]n_+, n_-[/tex] and [tex]n_3[/tex] ?

Thanks a lot for your help!
 
Physics news on Phys.org
I'm too lazy to think about the rest, but I multiplied the matrices together and got the same result you did, so that part seems to be OK.
 
Well, thanks Fredrik but now I really would like to know how to do "the rest" !
 
I think you need to know the effect of [itex]A_k[/itex] on at least two linearly independent vectors to completely determine the matrix.
 
Thanks, actually I found an answer for [tex]A_{k}[/tex] without the details of the calculation. I tried to compute [tex]A_{k}k_{0}A_{k}^{\dagger}[/tex] but I don't get [tex]k[/tex] as would be expected.

The proposed solution is:

[tex]A_k=\frac{1}{\sqrt{2C(1+n_3)}}<br /> \left( \begin{array}{cc}<br /> C(1+n_3) & -n_- \\<br /> Cn_+ & 1+n_3 \\<br /> \end{array} \right)[/tex]
i.e.:
[tex]A_{k}=UB[/tex]
where:
[tex]U=\frac{1}{\sqrt{2(1+n_3)}}<br /> \left( \begin{array}{cc}<br /> (1+n_3) & -n_- \\<br /> n_+ & 1+n_3 \\<br /> \end{array} \right)[/tex]
and
[tex]B=<br /> \left( \begin{array}{cc}<br /> \sqrt{C} & 0 \\<br /> 0 & \frac{1}{\sqrt{C}} \\<br /> \end{array} \right)[/tex]

The [tex]C[/tex] that appears is actually a constant in [tex]k[/tex] that I ignored for simplification in my first posting:

[tex]k=C<br /> \left( \begin{array}{cc}<br /> 1+n_3 & n_- \\<br /> n_+ & 1-n_3 \\<br /> \end{array} \right)[/tex]

Can somebody else try to see if this result is correct ?
 
Without further restrictions, I don't think that there is a unique solution for [itex]A_k[/itex]. What happens when your [itex]A_k[/itex] is multiplied on the right by an element of the little group of [itex]k_0[/itex]?
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 146 ·
5
Replies
146
Views
12K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 47 ·
2
Replies
47
Views
7K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K