Почему матрицы самого низкого порядка в уравнении Дирака являются матрицами 4x4? [дубликат]

Почему матрицы самого низкого порядка в уравнении Дирака (релятивистские квантовые теории) являются матрицами 4x4 (и не могут быть матрицами 2x2)?

Как это доказать?

Я думаю, что ответ на этот вопрос, хотя и довольно абстрактный, здесь: physics.stackexchange.com/q/53318 .
Также по теме: physics.stackexchange.com/q/41282/2451

Ответы (2)

Это не доказательство, но хоть какой-то вкус.

Для 3 пространственное пространство (без времени), представление 3 гамма-матрицы γ я ( я "=" 1 , 2 , 3 ) являются просто 2 * 2 Матрицы Паули о я проверка : { γ я , γ я } "=" 2 дельта я Дж . Так, для пространства с 3 пространственные размеры, а 2 * 2 возможно представление гамма-матриц.

Теперь, для 3 + 1 пространство-время, можно было бы добавить 4 т час 2 * 2 гамма-матрица γ 0 , который должен проверить ( γ 0 ) 2 "=" 2   я г и { γ 0 , γ я } "=" 0 .

Записывая явно эти уравнения для 4 компоненты γ 0 , и вы обнаружите, что γ 0 "=" 0 , так это вкус, которому не хватает места в 2 * 2 матрицы, для представления гамма-матриц в ( 3 + 1 ) размеры.

Пространство состояний спин- 1 / 2 частица представляет собой двумерное комплексное гильбертово пространство С 2 . Любой гамильтониан, действующий в этом пространстве состояний, обязательно является 2 × 2 матрица. Алгебра наблюдаемых на пространстве состояний спин- 1 / 2 частица порождается повышающим и понижающим операторами (а также 2 × 2 единичная матрица), которые, в свою очередь, порождаются операторами Паули .

Сейчас γ матрицы в уравнении Дирака могут быть записаны в терминах блочно-диагональных матриц с блоками, состоящими из операторов Паули. Подробнее см. здесь . Тогда это объясняет одновременно два факта: (1) Порядок обязательно четный. (2) Самый низкий порядок 4 .

Возможно, я упускаю здесь что-то очевидное, но мне непонятно, как (2), что самое низкое измерение 4 следует из того, что вы изложили. Возможно, вы могли бы включить немного больше логических деталей?
@joshphysics: см. ссылку на Википедию в ответе. В уравнении Дирака имеем α я "=" γ 0 γ к γ Дж как в вики-ссылке). Заметить, что γ к можно рассматривать как действие о к (где о к , к "=" 1 , 2 , 3 являются спиновыми операторами Паули) одновременно на двух несвязанных спинах, скажем с 1 с 2 (обратите внимание на прямую сумму здесь вместо тензорного произведения ). Поскольку спиновые операторы Паули 2 × 2 , следует, что α к является 4 × 4 .
Я понимаю, что стандартная конструкция представления матричной алгебры Дирака в четырех измерениях пространства-времени приводит к 4 × 4 матрицы, но, насколько я могу судить, вопрос заключается в том, можно ли построить матрицы меньшей размерности, которые удовлетворяют той же алгебре Клиффорда. Мне непонятно, как вы это продемонстрировали.
Согласованный. В этом случае я отвечаю на вопрос, как я его понял (в отличие от того, что вы утверждаете, что вопрос был).