Как определить оператор зеркальной симметрии для модели Кейна-Меле?

Возьмем за отправную точку известную модель Кане-Меле (КМ) .

Из-за обращения времени (TR), 2-кратного вращения (или инверсии 2D-пространства), 3-кратного вращения и зеркальной симметрии системы сотовой решетки мы можем вывести внутренний спин-орбитальный (SO) член. Более того, если мы приложим пространственно однородное электрическое поле, перпендикулярное двумерной решетке (теперь зеркальная симметрия нарушена), появится (дополнительный) терм SO типа Рашбы.

Чтобы более ясно изложить свой вопрос, я сначала дам более подробное описание описанных выше операций симметрии как в формализме первого, так и во втором квантовании. Далее была установлена ​​трехмерная декартова координата, где двумерная решетка лежит в Икс о у самолет.

Язык первого квантования:

(1) Оператор симметрии TR Θ : Θ ф ( Икс , у , г ) ф * ( Икс , у , г ) , в дальнейшем, ф ( Икс , у , г ) представляет собой произвольную волновую функцию для одного электрона.

(2) 2-кратный оператор вращения р 2 : р 2 ф ( Икс , у , г ) ф ( Икс , у , г ) , где мы выбираем среднюю точку связи ближайшего соседа в качестве исходной точки о координаты.

(3) 3-кратный оператор вращения р 3 : р 3 ф ( р ) ф ( А р ) , где А "=" ( потому что 2 π 3 грех 2 π 3 0 грех 2 π 3 потому что 2 π 3 0 0 0 1 ) р "=" ( Икс , у , г ) и мы выбираем узел решетки в качестве начальной точки о координаты.

(4) Оператор зеркальной симметрии Π : Π ф ( Икс , у , г ) ф ( Икс , у , г ) .

Язык вторичного квантования:

(1) Оператор симметрии TR Т : Т С я Т 1 "=" С я , Т С я Т 1 "=" С я , где С "=" а , б — операторы уничтожения, относящиеся к двум подрешеткам графена.

(2) 2-кратный оператор вращения п 2 : п 2 а ( Икс , у ) п 2 1 б ( Икс , у ) , п 2 б ( Икс , у ) п 2 1 а ( Икс , у ) , п 2 унитарна, и мы выбираем среднюю точку связи ближайшего соседа в качестве начальной точки о координаты.

(3) 3-кратный оператор вращения п 3 : п 3 С ( Икс ) п 3 1 С ( А Икс ) , Икс "=" ( Икс , у ) , С "=" а , б , где А "=" ( потому что 2 π 3 грех 2 π 3 грех 2 π 3 потому что 2 π 3 ) и п 3 унитарна, мы выбираем узел решетки в качестве начальной точки о координаты.

(4) Оператор зеркальной симметрии М : ????

как видите, вот что я хочу спросить: как определить оператор зеркальной симметрии М с точки зрения языка вторичного квантования для этой двумерной решетчатой ​​системы? Или, может быть, нет четкого определения М для этой модели? Заранее спасибо.

Примечания:

(1) Прямой способ проверить ваше определение М быть правильным или нет следующим образом: внутренний термин SO я λ я Дж в я Дж С я о г С Дж должен быть инвариантным относительно М в то время как термин Рашба я λ р < я Дж > С я ( о × п я Дж ) г С Дж не будет.

(2)Здесь операция зеркала — это просто отражение в одной из трех пространственных осей (т.е. ( Икс , у , г ) ( Икс , у , г ) ), а не операцию «четности» в контексте «симметрии СРТ» в теории поля.

Ответы (1)

Во-первых, похоже, вы на самом деле не спрашиваете о «втором квантовании» - операция зеркала работает при втором квантовании так же, как работают другие симметрии, что, как я делаю вывод, вы понимаете из своего вопроса.

Кажется, вы на самом деле спрашиваете: «Как зеркальная симметрия работает в модели жесткой привязки?». Как вы, наверное, поняли, узлы решетки инвариантны, а блоховские волновые функции инвариантны относительно зеркальной симметрии. Однако спин электрона не является инвариантным. Имея в виду, что матрицы Паули образуют «псевдовектор», вы видите, что правильное преобразование: С о г С о г .

@ BebopButUnsteady, спасибо за хороший комментарий. У меня есть еще один вопрос, зеркальная симметрия — это симметрия относительно пространственных степеней свободы, как она связана со спиновым пространством ? Более того, если в нашей модели сильной связи электрон не имеет спина , то ваше определение С о г С о г все еще работают?
@ BebopButUnsteady, чтобы подтвердить одну вещь: символ о г в вашем ответе имеется в виду о г "=" С С С С ? Если да, то оператор о г представляет собой преобразование симметрии (унитарный оператор) **только если** выполняется одно условие заполнения С С + С С "=" 1 удовлетворяет.