Матрицы Паули и двумерные операторы вращения?

На днях я делал странные вычисления со своим учителем: находил собственные значения и собственные векторы двумерного оператора вращения. Интуитивно не должно быть решения этой проблемы в р 2 . Однако, когда мы распространяемся на С 2 , мы находим, что ненормированные собственные векторы:

в 1 "=" ( 1 , я )
в 2 "=" ( 1 , я )

Затем мы поняли, что эти векторы в точности являются собственными векторами одной из матриц Паули. о у :

( 0 я я 0 )

Что мы делаем из этого? Что происходит в других измерениях? Является ли 2D особенным?

Привет. Могу я спросить, что вы подразумеваете под «что мы делаем из этого»? Хотите узнать, чем полезны повороты в 2D? Спасибо.

Ответы (2)

Ну это банально. Настоящий 2 Д вращения, рассматриваемые как матрицы в р 2 или С 2 все в форме

р ( θ ) "=" е θ я о 2 .
(Заметить, что я о 2 действительно антисимметричен, как и должно быть, он является генератором с о ( 2 ) .) Более того, из спектрального разложения в С 2 , е θ я о 2 имеет те же собственные векторы, что и о 2 .

Чтобы ответить на часть общего размера, если это не очевидно из ответа Вальтера:

В измерениях D матрица вращения является экспонентой угла θ , умноженной на матрицу K , нормализованного генератора соответствующей группы вращения SO( D ) вокруг некоторой единичной оси D -вектора k , в векторном представлении, поэтому матрица D ×Д . Собственные векторы этих матриц K также будут собственными векторами оператора вращения.

Однако, поскольку существует несколько (бесконечность) осей вращения для D > 2, будет бесконечность наборов собственных векторов, каждый из которых характеризуется определенной матрицей спина K .

Например, в векторном представлении D = 3 матрица вращения задается как эта экспонента матрицы перекрестного произведения

К "=" [ 0 к 3 к 2 к 3 0 к 1 к 2 к 1 0 ] ,
тривиально расширяется формулой Родригеса до просто р "=" я + ( грех θ ) К + ( 1 потому что θ ) К 2   . Таким образом, три собственных вектора K (один из которых является нулевым вектором k ) также являются собственными векторами R .