Представления группы Лоренца на гильбертовых пространствах

Вопрос 1 :

Теория представлений и теория групп являются для меня совершенно новыми предметами, и мне трудно понять, почему представление группы в гильбертовом пространстве действует на операторы следующим образом (здесь я беру пример группы Лоренца, действующей на оператор скалярного поля):

ф ^ ( Икс ) "=" е я 2 ю мю ν Дж р мю ν ф ^ ( Икс ) е я 2 ю мю ν Дж р мю ν

В то время как для классических полей у меня есть:

ф ( Икс ) "=" е я 2 ю мю ν Дж р мю ν ф ( Икс )

где р и р являются правильными представлениями на соответствующих пространствах.

Возможный ответ на 1 :

Моя попытка ответить на этот вопрос заключается в следующем. В случае операторов векторным пространством, в котором реализуется представление, является гильбертово пространство, скажем, ЧАС "=" охватывать { | к } к . Следовательно, представления группы Лоренца действуют как:

е я 2 ю мю ν Дж р мю ν | к

Тогда, что касается изображений Гейзенберга и Шредингера и преобразований времени, я могу выбрать преобразование либо операторов, либо состояний. Если я хочу преобразовать операторы, которые мне нужны:

е я 2 ю мю ν Дж р мю ν ф ^ ( Икс ) е я 2 ю мю ν Дж р мю ν

чтобы иметь в обоих случаях одни и те же матричные элементы при преобразовании:

к | е я 2 ю мю ν Дж р мю ν ф ^ ( Икс ) е я 2 ю мю ν Дж р мю ν | к

Вопрос 2 :

Является ли представление р такой же как р ? я знаю это Дж р мю ν "=" я ( Икс мю ν Икс ν мю ) . Могу ли я получить Дж р мю ν просто заменив п ^ мю "=" я мю ?

Ответы (2)

На вопрос 1 вы спрашиваете, почему оператор А преобразуется при унитарном преобразовании U как А "=" U А U ? Если да, то ответ прост: 2 состояния | а > и | б > трансформируется в | а >= U | а > и | б >= U | б > , вы хотите

< а | А | б >=< а | А | б >

С < а | А | б >=< а | U А U | б > , равенство выше верно для любых состояний | а > и | б > , вы делаете вывод: А "=" U А U . унитарное U говорит вам, что U 1 "=" U и поэтому А "=" U А U .

Почему вы требуете, чтобы среднее значение A оставалось неизменным после преобразования?
поскольку U преобразование должно быть хорошей симметрией вашей теории.
А если это не так? Почему для переноса времени мы преобразуем либо состояния (рисунок Шредингера), либо операторы (рисунок Гейзенберга)?
то, как вы относитесь к временной эволюции вашей теории (в состояниях для Шредингера, в операторах для Гейзенберга и в сочетании 2 для картины взаимодействия), не должно иметь никаких последствий для физики. Следовательно, если простые величины — это те, что изображены на картинке Гейзенберга, а непростые — те, что на картинке Шредингера, вам все равно нужно: < а | А | б >=< а | А | б > .
Меня смущает тот факт, что в вашем примере вы преобразовываете генераторы вместе с состояниями, а в картине временной эволюции вы преобразовываете то одно, то другое...
Думаю, это специфика временной эволюции: в зависимости от картинки она учитывается либо в состояниях, либо в операторе. Теперь, для симметрии в целом, затрагиваются как операторы, так и состояния. Например, с преобразованием четности, | а >= | п >→ | а >= | п > а оператор левша проектор А трансформируется как U А U с U "=" γ 5 стать правшой-проектором. Поскольку и состояние, и оператор «перевернуты», у вас все еще есть < а | А | а >=< а | А | а > . Это просто пример.
Я понимаю вашу точку зрения, но странно относиться к переводу времени по-другому...
Здесь: repond.ch/ressources/physique/bachelor5_6/quantique/QuantiqueII/… pag.129, они говорят, что вы можете либо оставить фиксированными состояния, либо фиксированные операторы, точно так же, как эволюция во времени!
ок мерси за документ!

Ответ на первый вопрос.

Ответ на ваш первый вопрос можно получить, обратившись к понятию симметрии в квантовой механике. Я не думаю, что какое-либо обсуждение различных картин временной эволюции действительно необходимо.

Пусть преобразование Т быть квантовой симметрией, то, учитывая вероятность перехода, построенную из состояний и операторов, если мы заменим состояния ψ которые появляются в этой вероятности с Т ψ , а если заменить операторы О которые появляются с Т О Т 1 , то вероятность перехода не изменится.

Этот факт делает определение операторного преобразования как О Т О Т 1 полезная концепция. Давайте посмотрим, почему приведенный выше факт верен.

Пусть квантовая система с гильбертовым пространством ЧАС быть данным. Вероятность перехода из состояния ф е ЧАС констатировать ψ е ЧАС определяется как

п ( ψ , ф ) "=" | ( ψ , ф ) ψ ф | 2 .
Напомним, что состояния должны иметь ненулевую норму, поэтому нам не нужно беспокоиться о делении на ноль в правой части. Вероятности перехода — это то, что мы вычисляем в квантовой механике, чтобы предсказывать вероятности результатов измерений.

Симметрией этой системы является любое обратимое преобразование Т : ЧАС ЧАС что сохраняет переходные вероятности. Явно, Т является симметрией при условии, что это биекция и

п ( Т ψ , Т ф ) "=" п ( ψ , ф )
для всех ненулевых ψ , ф е ЧАС . Теперь рассмотрим ненулевое состояние ф такой, что ф "=" О ξ для некоторых ξ е ЧАС . Условие симметрии гарантирует, что
п ( Т ψ , Т О ξ ) "=" п ( ф , О ξ )
С Т обратим, мы можем вставить Т 1 Т "=" я между О и ξ без изменения левой части, поэтому условие гарантирует, что
п ( Т ψ , Т О Т 1 Т ξ ) "=" п ( ф , О ξ ) .
Аналогичное замечание можно было бы сказать, если О были строкой О 1 О 2 О н вместо составных операторов. В таком случае у нас было бы
п ( Т ψ , Т О 1 Т 1 Т О 2 Т 1 Т О н Т 1 Т ξ ) "=" п ( ф , О 1 О 2 О н ξ ) .
Это математический способ записи факта, который мы хотели продемонстрировать.

Ответ на второй вопрос.

Примечание. Вы должны попытаться задать только один вопрос в данном посте SE.

Представления р и р не то же самое. Как вы их написали, р является представлением группы симметрии г действующий на ЧАС , пока р представляет собой представление г действует на целевое пространство В теории. Целевое пространство — это просто пространство, в котором живут значения классического поля. Для реального скалярного поля мы бы имели В "=" р . Для векторного поля Лоренца мы бы имели В "=" р 3 , 1 , и т. д.

Замена п ^ мю "=" я мю не правильный метод определения р . Обратите внимание, в частности, что п ^ мю является оператором на ЧАС , но я мю есть (для каждого мю ) оператор на множестве допустимых классических полевых конфигураций.