Что такое импульс, канонически сопряженный спину в КМ?

В Kopec и Usadel's Phys. Преподобный Летт. 78.1988 гамильтониан спинового стекла вводится в виде:

ЧАС знак равно Δ 2 я Π я 2 я < Дж Дж я Дж о я о Дж ,
где переменные о я ( я знак равно 1 , , Н ) связаны со спиновыми степенями свободы [...] и канонически сопряжены с операторами «импульса» Π я такой, что [ о я , Π Дж ] знак равно я дельта я Дж .

Теперь я привык записывать «кинетический» член в гамильтониане, подобном изинговскому поперечному полю, как я о я Икс (работает на стандартной базе { о я г } ), так что этот отрывок вызывает у меня некоторые вопросы.

Что это Π я операторы? Если Π я 2 знак равно о я Икс , как я изначально полагал, то они не могут быть наблюдаемыми, ибо квадрат самосопряженного оператора положительно полуопределен (что о я Икс не является). В самом деле, если ограничиться я -й спин и берет я знак равно Дж , можно легко доказать, что

[ о г , Π ] знак равно о г Π Π о г знак равно я 1
удовлетворяется за
Π знак равно ( я / 2 б б ¯ я / 2 )
с б е С . Это кратно единичной матрице, что кажется странным выбором для кинетического члена. Я чувствую, что мне здесь чего-то не хватает.

Вообще говоря, можно ли вообще определить импульс, «канонически сопряженный» с о г , или любой другой спин-оператор, если уж на то пошло? Насколько я понимаю, в классической механике переменными, сопряженными с физическими вращениями, являются углы, но это не может быть перенесено в КМ каким-либо очевидным образом.

взгляните на JxJy .... соотношения неопределенностей en.wikipedia.org/wiki/… .
Небольшой комментарий к сообщению (v1): В будущем просьба ссылаться на страницы тезисов, а не на pdf-файлы.
@Qmechanic Должным образом отмечено. Спасибо, что указали на это.

Ответы (2)

Несмотря на то, что явный коммутатор, который вы написали, неверен - вы не должны были спрягать Π во втором члене - ваш вывод верен, что вы не можете удовлетворить коммутационному соотношению Борна-Гейзенберга с матрицами 2x2.

На самом деле существует общая Теорема : Алгебра Гейзенберга не допускает точных конечномерных (матричных) представлений . Итак, какими бы еще они ни были, ваши переменные о , Π не являются ограниченными операторами --- и поэтому не могут быть матрицами 2x2, которые вы рассматриваете.

Это наблюдение было впервые сделано П. Джорданом, Zeits. ф. физ. 44 1 (1927).

Во-первых, есть очень элементарная причина, по которой [ о я , Π Дж ] знак равно я дельта я Дж невозможно для конечномерных матриц. Потому что это тождество привело бы к следующему противоречию:

Тр [ А , Б ] знак равно 0 Тр ( я 1 ) знак равно я н
Где А , Б находятся н × н матрицы.

Однако, если мы внимательно прочитаем статью Копека и Усаделя , мы заметим ключевую фразу, которая не упоминается в вопросе:

Чтобы уловить основную физику проблемы, мы рассмотрим квантованную сферическую модель на решетке Бете, заданную гамильтонианом:

ЧАС знак равно Δ 2 я Π я 2 я , Дж Дж я Дж о я о Дж

Выделенное слово «сферическая модель» означает, что у нас есть сферическое ограничение я о я 2 знак равно 1 вместо ограничения Изинга о я 2 знак равно 1 для всех я . Итак о я в этой модели на самом деле является оператором положения с ограничениями, действующим в бесконечномерном гильбертовом пространстве, и коммутационным соотношением типа [ о я , Π Дж ] знак равно я дельта я Дж становится мыслимым.

Однако у меня есть одно затяжное замешательство. При рассмотрении сферических ограничений я привык квантовать скобки Дирака вместо скобок Пуассона (скобка Дирака — это модификация скобок Пуассона, обсуждаемая, например, в КТП Вайнберга, раздел 7.6). Используя скобки Дирака:

[ Π я , о Дж ] я 1
Поэтому я не совсем понимаю, почему автор использовал стандартное каноническое коммутационное соотношение для квантования системы. Я надеюсь, что кто-то еще прояснит этот момент.

Вы недостаточно цитировали из газеты. Уже следующее предложение проясняет вашу точку зрения: «расположено на решетке Бете с координацией z». Таким образом, сферическое ограничение не накладывается; о Дж просто беги по решетке. Вместо этого несколькими строками позже сказано, что воспроизводится только среднее значение сферического отношения.
@ArnoldNeumaier Спасибо, что указали на это. Я ведь не заметил этого утверждения. Однако это утверждение делает статью более запутанной для меня. Если о Дж являются дискретными переменными, то коммутационное соотношение невозможно. Теперь, если мы возьмем о Дж должны быть непрерывными переменными, удовлетворяющими усредненному ограничению, то я не понимаю уравнение (2) в статье, в котором явно используется дельта-функция для наложения точного сферического ограничения! В любом случае я не понимаю, почему нам разрешено делать каноническое квантование вместо квантования Дирака.
Да, они не делают того, что говорят, и фактически применяют в интеграле по путям (2) не усредненное ограничение, а точное ограничение. Использование интегрального представления дельта-ограничения, введенного после (3), преобразует его (нестрого) в интеграл по путевому интегралу системы без ограничений. Это позволяет им вычислять интеграл по путям, используя стандартные правила коммутации.