Мы можем построить эрмитов оператор следующим общим образом:
Таким образом, каждый проектор определяет собственное пространство оператора , а соответствующие собственные значения - действительные числа . В частном случае, когда собственные значения невырождены, оператор имеет вид
Вопрос: какие ограничения препятствуют от наблюдаемого известны?
Например, мы не можем допустить в качестве наблюдаемых эрмитовы операторы, имеющие в качестве собственных состояний суперпозиции, запрещенные правилами суперотбора.
а) Где я могу найти исчерпывающий список правил суперотбора?
б) Существуют ли другие правила?
Обновлять:
в) Является ли частный случай, когда гильбертово пространство является тензорным произведением двух гильбертовых пространств (представляющих две квантовые системы), особенным с этой точки зрения?
Я думаю, что фундаментальным объектом квантовой механики является не гильбертово пространство и операторы в нем, а C*-алгебра наблюдаемых. В этой картине гильбертово пространство появляется как представление алгебры. Разные неприводимые представления — это разные сектора суперотбора. Таким образом, ответ на вопрос «какой оператор является наблюдаемым» прост: наблюдаемые операторы — это те, которые происходят из алгебры. Действительно, лучше думать о наблюдаемых как о самосопряженных элементах алгебры, а не как об операторах.
Вы можете спросить, откуда мы взяли алгебру. Ну, это уже должно обеспечиваться конкретной моделью. Для квантовомеханической частицы, движущейся по многообразию , C*-алгебра состоит из всех ограниченных операторов на поездка с куда является универсальным покрытием . Сектора суперотбора соответствуют неприводимым представлениям . Для КТП проблема построения алгебры наблюдаемых в целом открыта, однако некоторые случаи (такие как свободная КТП и, я думаю, также рациональная КТП) были решены. Подход, подчеркивающий точку зрения алгебры, - это аксиоматическая КТП Хаага-Кастлера.
С точки зрения деформационного квантования квантовая алгебра наблюдаемых есть некоммутативная деформация алгебры непрерывных (скажем) функций на классическом фазовом пространстве. Эта точка зрения не является фундаментальной, но она полезна. Например, это позволяет понимать различные значения спина и различную квантовую статистику как секторы суперотбора.
Без правил суперотбора, ограничивающих наблюдаемые, любой эрмитов оператор является допустимой наблюдаемой. Случай множественных идентичных систем очень важен. Действительно, если системы действительно идентичны, то допустимы только наблюдаемые, симметричные относительно замены систем. В таком случае, технически говоря, вы должны рассматривать только те наблюдаемые, которые коммутируют со всеми возможными операторами перестановок (т. е. с элементами представления группы перестановок в гильбертовом пространстве систем).
Рон Маймон
Том Коллиндж