В Kopec и Usadel's Phys. Преподобный Летт. 78.1988 гамильтониан спинового стекла вводится в виде:
где переменные связаны со спиновыми степенями свободы [...] и канонически сопряжены с операторами «импульса» такой, что .
Теперь я привык записывать «кинетический» член в гамильтониане, подобном изинговскому поперечному полю, как (работает на стандартной базе ), так что этот отрывок вызывает у меня некоторые вопросы.
Что это операторы? Если , как я изначально полагал, то они не могут быть наблюдаемыми, ибо квадрат самосопряженного оператора положительно полуопределен (что не является). В самом деле, если ограничиться -й спин и берет , можно легко доказать, что
Вообще говоря, можно ли вообще определить импульс, «канонически сопряженный» с , или любой другой спин-оператор, если уж на то пошло? Насколько я понимаю, в классической механике переменными, сопряженными с физическими вращениями, являются углы, но это не может быть перенесено в КМ каким-либо очевидным образом.
Несмотря на то, что явный коммутатор, который вы написали, неверен - вы не должны были спрягать во втором члене - ваш вывод верен, что вы не можете удовлетворить коммутационному соотношению Борна-Гейзенберга с матрицами 2x2.
На самом деле существует общая Теорема : Алгебра Гейзенберга не допускает точных конечномерных (матричных) представлений . Итак, какими бы еще они ни были, ваши переменные не являются ограниченными операторами --- и поэтому не могут быть матрицами 2x2, которые вы рассматриваете.
Это наблюдение было впервые сделано П. Джорданом, Zeits. ф. физ. 44 1 (1927).
Во-первых, есть очень элементарная причина, по которой невозможно для конечномерных матриц. Потому что это тождество привело бы к следующему противоречию:
Однако, если мы внимательно прочитаем статью Копека и Усаделя , мы заметим ключевую фразу, которая не упоминается в вопросе:
Чтобы уловить основную физику проблемы, мы рассмотрим квантованную сферическую модель на решетке Бете, заданную гамильтонианом:
Выделенное слово «сферическая модель» означает, что у нас есть сферическое ограничение вместо ограничения Изинга для всех . Итак в этой модели на самом деле является оператором положения с ограничениями, действующим в бесконечномерном гильбертовом пространстве, и коммутационным соотношением типа становится мыслимым.
Однако у меня есть одно затяжное замешательство. При рассмотрении сферических ограничений я привык квантовать скобки Дирака вместо скобок Пуассона (скобка Дирака — это модификация скобок Пуассона, обсуждаемая, например, в КТП Вайнберга, раздел 7.6). Используя скобки Дирака:
Анна В
Qмеханик
Дерпи