Simple question about anticommutator and spinors

  • Context: Graduate 
  • Thread starter Thread starter CGH
  • Start date Start date
  • Tags Tags
    Spinors
CGH
Messages
5
Reaction score
0
Hi there,

i have a very simple question, but still, i don't know what the answer is, her it goes.

I havew Dirac spinor [itex]\psi[/itex] and its hermitian timex [itex]\gamma^0[/itex], [itex]\bar \psi[/itex].

My question is the following:
we can think of [itex]\psi[/itex] as a vector and [itex]\bar \psi[/itex] as a row vector, then, if i take

[tex][\psi,\bar \psi]_+=\psi\bar \psi+\bar\psi \psi[/tex]

the first term is a matrix, and the second one is a number! What did i do wrong?

I tried writting

[itex]\psi=\int (\tex{something})(b u e^{-ipx}+d^\dagger v e^{ipx})[/itex]

in that case, the first term of the anticommutator gives something like [itex]u\bar u[/itex] (a matrix) and the second [itex]\bar u u[/itex] (a number). The problem is still there, my question is: what did i do wrong?
 
Physics news on Phys.org
Well first off, anti-commutators are usually defined for operators, not states or vectors. Since operators can be represented as matrices, the commutator or anti-commutator is always a sum of two matrix products.

What are you trying to derive the anti-commutator of exactly?
 
SpectraCat said:
Well first off, anti-commutators are usually defined for operators, not states or vectors. Since operators can be represented as matrices, the commutator or anti-commutator is always a sum of two matrix products.

I though about that, but i wasn0t sure, i needed a fourth opinion (me, myself and i already agreed).

SpectraCat said:
What are you trying to derive the anti-commutator of exactly?

Nothing special, I'm just computing anything that comes in my path,

Saludos!
 
The Dirac field [tex]\psi[/tex] is really a collection of 4 operators; to remember this you can include an index [tex]\alpha[/tex] that runs from 1 to 4 and write the Dirac field as [tex]\psi_\alpha[/tex]. So the commutator of two Dirac fields, [tex][\psi_\alpha, \psi_\beta][/tex] is a collection of 16 operators, labeled by [tex]\alpha[/tex] and [tex]\beta[/tex], specifying the results of commuting any of the 16 pairs of operators. In this instance I think it's best to stop thinking of [tex]\psi[/tex] as a column vector and [tex]\overline{\psi}[/tex] as a row vector and just use indices; then there is no trouble interpreting an expression like [tex][\psi_\alpha, \overline{\psi}_\beta][/tex]
 
CGH said:
Hi there,

i have a very simple question, but still, i don't know what the answer is, her it goes.

I havew Dirac spinor [itex]\psi[/itex] and its hermitian timex [itex]\gamma^0[/itex], [itex]\bar \psi[/itex].

My question is the following:
we can think of [itex]\psi[/itex] as a vector and [itex]\bar \psi[/itex] as a row vector, then, if i take

[tex][\psi,\bar \psi]_+=\psi\bar \psi+\bar\psi \psi[/tex]

the first term is a matrix, and the second one is a number! What did i do wrong?

when you treat 4-spinors as field operators, the anticommutation relations between them become 4 by 4 matrices:

[tex]\{\psi_i (x,t),\bar{\psi}_j(y,t)\}=\gamma^{0}_{ij}\delta^{3}(x-y)[/tex]
 
The_Duck said:
In this instance I think it's best to stop thinking of [tex]\psi[/tex] as a column vector and [tex]\overline{\psi}[/tex] as a row vector and just use indices; then there is no trouble interpreting an expression like [tex][\psi_\alpha, \overline{\psi}_\beta][/tex]

Good advise, many thanks,

Saludos!
 
I think it's one of the limits in representation by Dirac equation.

[tex]u(p)[/tex] is 4 x 1 matirix (column), and [tex]\bar{u}(p)[/tex] is 1 x 4 matrix (row).
To be presice, the following things are different, considering matrices ?

[tex]\bar{u}(p) u(p) = 1 \neq u(p)\bar{u}(p)[/tex]

Because the former is not matrix, and the latter is 4 x 4 matrix.
But if we suppose both are the same,

[tex]\bar{u}(p) u(p) = 1 = u(p)\bar{u}(p)[/tex]

multiplying by another u(p) from right,

[tex]\bar{u}(p) u(p) u(p)= 1 \times u(p), \quad u(p)\bar{u}(p) u(p) = u(p) \times 1[/tex]

Both are the same.
So without another u(p), both are different things ? (Because they are "matrices", not usual numbers)
Is it perimissible ?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K