Предположим, нам дан следующий гамильтониан:
Очевидно, соответствующий базис состоит из собственных состояний оператора проектирования спина. Я вычислил матричные элементы в этой основе и получил следующее матрица:
Можно показать, что собственные значения равны , что действительно правильно. Однако вычислять их было немного утомительно.
Теперь оказывается, что существует более простое матричное представление в той же основе . Это связано с особой структурой гамильтониана, в котором возводятся как повышающие, так и понижающие операторы. Это естественным образом разбивает базис на две группы: и которые закрываются под действием . Таким образом, мы можем переупорядочить базис и получить следующую блочно-диагональную форму
что очень удобно, потому что теперь для нахождения собственных значений мы можем анализировать две меньшие матрицы. К счастью, собственные значения оказались одинаковыми.
Вопрос : мы знаем из линейной алгебры, что в общем случае, замена/изменение порядка строк/столбцов (что и произошло здесь) изменяет собственные значения. Однако в этом случае собственные значения остались прежними. Я понимаю физическую причину этого, но как это можно обосновать математически? Предположим, что мы ничего не знали о структуре гамильтониана (или, наоборот, не были достаточно сообразительны, чтобы понять, что базис можно удобно разбить на две «особые» подгруппы). Существует ли математический способ найти «наилучший» порядок базисных векторов, при котором матричное представление данного оператора принимает блочно-диагональную форму? И есть ли математическое обоснование того, почему собственные значения остаются прежними после того, как мы изменим порядок строк/столбцов? Может быть, это связано с тем, что матрица (оператор) симметрична (эрмитова)?
Ваши 2 матрицы отличаются только одной и той же перестановкой строк и столбцов, которая не меняет собственные значения. Чтобы быть точным, пусть быть перестановкой, которая принимает к .
можно построить, рассматривая, например,
(NB: я надеюсь, что у меня есть и в правильном месте, но аргумент веский.)
Qмеханик
grjj3