2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Унитарная симметрия
Сообщение03.02.2019, 04:55 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
Говорят, что гамильтониан обладает унитарной симметрией $\hat U$, если верно
$$
\hat U^\dagger \hat H \hat U = \hat H, \eqno{(*)}
$$
где $\hat U$ --- унитарный.

Говорят, что гамильтониан обладает хиральной симметрией $\hat R$, если верно
$$
\hat R^\dagger \hat H \hat R = - \hat H,
$$
где $\hat R$ --- унитарный и эрмитов. Умножим здесь слева на $\hat R^\dagger$ и справа на $\hat R$, будет тогда $(\hat R^\dagger)^2 \hat H \hat R^2 = \hat H$, с другой стороны оператор $\hat R^2$ унитарный. Говорят при этом следующие слова: предположим, что $\hat R^2$ отличен от единицы, тогда он представляет собой унитарную симметрию, которую можно выгнать следующим образом: заметим, что $(*)$ даёт $[\hat U, \hat H] = 0$, значит можно выбрать общий базис и сузить $\hat H$ на подпространства $\ker (\hat U - \lambda_n \hat I)$, прямая сумма которых даст всё гильбертово пространство. Там унитарной симметрии уже не будет, и значит без потери общности можно считать, что её и так нет и тогда $\hat R^2 = \hat I$, что даёт $\hat R = \hat R^{-1} = \hat R^\dagger$ (то есть если верно $\hat R^\dagger \hat H \hat R = - \hat H$, то $\hat R$ обязательно эрмитов и унитарный и другого быть не может, это доказательство такое).

У меня вопрос. А в $\ker (\hat U - \lambda_n \hat I)$ что, не найдётся уже унитарной симметрии для сужения $\hat H$ на это подпространство? Эта процедура "изгнания унитарной симметрии" точно закончится?

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 11:51 
Заслуженный участник


18/01/15
3075
Что-то непонятно. Если оператор $A$ одновременно унитарен и эрмитов, то он в любом случае в квадрате единица. Действительно, унитарность означает $AA^\dagger=A^\dagger A=E$, эрмитовость --- $A=A^\dagger$, откуда очевидно $A^2=AA^\dagger=E$.
Кроме того, если $A$ и $B$ --- два таких оператора, что $A=A^\dagger$ и $B^\dagger AB=-A$, то отсюда совсем не следует, что $B=B^\dagger$ или $B$ унитарен (можно взять две матрицы $2\times2$, $A$ --- диагональная с $1$ и $-1$, а $B$ подберите сами). В общем, ерунда какая-то...

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 15:26 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
Ах, это я не понял написанного (да, текст для русскоязычного читателя написан по-моему не очень хорошо, слишком много словесного мусора). Там оператор $\hat R$ подразумевается исходно унитарным, говорится, что если он удовлетворяет
StaticZero в сообщении #1373716 писал(а):
$$
\hat R^\dagger \hat H \hat R = - \hat H,
$$

то он автоматически эрмитов.

Доказывают так.
StaticZero в сообщении #1373716 писал(а):
Умножим здесь слева на $\hat R^\dagger$ и справа на $\hat R$, будет тогда $(\hat R^\dagger)^2 \hat H \hat R^2 = \hat H$

говорят потом, что $\hat R^2$ унитарный, так как $\hat R^2 (\hat R^\dagger)^2 = \hat R \hat R \hat R^\dagger \hat R^\dagger = \hat I$. Обозначим $\hat U = \hat R^2$, имеем вот это
StaticZero в сообщении #1373716 писал(а):
$$
\hat U^\dagger \hat H \hat U = \hat H
$$

Это то же самое, что $[\hat U, \hat H] = 0$. Развалим гильбертово пространство в прямую сумму собственных подпространств $\hat U$: $\mathscr H = \bigoplus \ker(\hat U -  \exp(i \phi_n) \hat I)$. Рассмотрим сужение ситуации на каждое из этих подпространств; в них $\hat U_n \equiv \exp(i \phi_n) \hat I$ и верно
$$
\exp(-i \phi_n) \hat H_n \exp(i \phi_n) = \hat H_n
$$
то есть фактически в сужении $\hat R^2_n \equiv \exp(i \phi_n) \hat I$ и значит он эрмитов в каждом $\ker (\hat U - \lambda_n \hat I)$ и значит эрмитов во всём $\mathscr H$. Так вроде понятно стало.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 16:50 
Заслуженный участник


18/01/15
3075
StaticZero
Вы путаете унитарные с эрмитовыми. Умножение на число, имеющее модуль $1$ --- унитарный, но не эрмитов (если это число $\ne\pm1$).
(Слегка видоизменяя утверждение выше) если $A$ и $B$ --- два таких оператора, что $A=A^\dagger$ и $B^\dagger AB=-A$, то отсюда совсем не следует, что $B=B^\dagger$, даже при условии, что $B$ унитарен (можно взять две матрицы $2\times2$, $A$ --- диагональная с $1$ и $-1$, а $B$ подберите сами). Вообще, про всякие такие утверждения сначала смотрите, верны ли они в конечномерном случае, а только потом уже на гильбертовом пространстве.
Короче, то, что они там якобы доказывают, неверно. Или скорее всего, Вы неправильно перевели (я так и думал, что это из англоязычной статьи).

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 17:40 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
vpb в сообщении #1373855 писал(а):
можно взять две матрицы $2\times2$, $A$ --- диагональная с $1$ и $-1$, а $B$ подберите сами

Проверил. Ни туда, ни обратно утверждение неверно. Значит, ерунда.

Спасибо! А я было чуть не поверил.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 20:30 
Заслуженный участник
Аватара пользователя


08/11/11
5940
StaticZero, а этот оператор $\hat R$ — он линейный? Или, например, антилинейный?

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 21:13 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
g______d в сообщении #1373914 писал(а):
StaticZero, а этот оператор $\hat R$ — он линейный? Или, например, антилинейный?

Общего вида.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 21:16 
Заслуженный участник
Аватара пользователя


08/11/11
5940
StaticZero в сообщении #1373917 писал(а):
Общего вида.


Что это значит?

Если он антилинейный (например, оператор обращения времени), то там определение эрмитовости другое. Посмотрите в тексте.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 21:44 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
g______d в сообщении #1373918 писал(а):
Посмотрите в тексте.

Цитата:
First, the chiral symmetry operator has to be unitary and Hermitian, $\hat R = \hat R^\dagger$, which can be written succintly as
$$
\hat R^\dagger \hat R= \hat R^2 = \hat I.
$$

А дальше то, что обсудили в теме.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение03.02.2019, 23:10 
Заслуженный участник
Аватара пользователя


08/11/11
5940
StaticZero в сообщении #1373716 писал(а):
Говорят при этом следующие слова: предположим, что $\hat R^2$ отличен от единицы, тогда он представляет собой унитарную симметрию


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

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение04.02.2019, 01:28 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
g______d в сообщении #1373930 писал(а):
почему он таким должен быть: если его квадрат не единица, то можно редуцировать к подпространству меньшей размерности.

Вот это и не является понятным. Выкинуть этот текст можно, и, вероятно, плохо от этого в обозримом будущем не станет, но зачем-то же его туда вставили?

Тем более когда идёшь по незнакомой дорожке, можно нарваться на одно такое непонятное место, пропуск которого всё поломает. И это заканчивается тогда очень плохо.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение04.02.2019, 01:33 
Заслуженный участник
Аватара пользователя


08/11/11
5940
StaticZero в сообщении #1373938 писал(а):
Вот это и не является понятным. Выкинуть этот текст можно, и, вероятно, плохо от этого в обозримом будущем не станет, но зачем-то же его туда вставили?


Я так понимаю, что в этой науке гамильтонианы обычно конечномерные.

В бесконечномерном случае есть более серьёзные проблемы: это

StaticZero в сообщении #1373716 писал(а):
подпространства $\ker (\hat U - \lambda_n \hat I)$, прямая сумма которых даст всё гильбертово пространство


может оказаться неверным в случае, если есть непрерывный спектр.

В любом случае, определение они дали, я бы прочитал но очень близко к сердцу не принимал мотивационную часть.

 Профиль  
                  
 
 Re: Унитарная симметрия
Сообщение04.02.2019, 01:40 
Заслуженный участник
Аватара пользователя


22/06/12
2129
/dev/zero
g______d в сообщении #1373940 писал(а):
Я так понимаю, что в этой науке гамильтонианы обычно конечномерные.

Так и для конечномерного случая, как учит vpb, оказывается, что это без дополнительных указаний какая-то хрень не слишком понятная "мотивация".

Ладно, тогда я об этом забуду. До поры.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 13 ] 

Модераторы: photon, whiterussian, profrotter, Jnrty, Aer, Парджеттер, Eule_A, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Bing [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group