Каков физический смысл суммы двух некоммутирующих наблюдаемых?

Сценарий: А и Б являются двумя наблюдаемыми. Математически мы моделируем их двумя эрмитовыми операторами А : ЧАС ЧАС и Б : ЧАС ЧАС на сепарабельном гильбертовом пространстве. Физически они соответствуют экспериментам Е А и Е Б , результаты которого являются значениями в С п е с ( А ) и С п е с ( Б ) ; повторения создают распределения значений на этих спектрах, ожидаемые значения, дисперсии и более высокие импульсы. Математический оператор А + Б также является эрмитовым. Итак, давайте найдем эксперимент, соответствующий этому оператору, и изучим его математическое ожидание в состоянии ф .

Наивный подход: попробуем парные эксперименты . Предположим, у нас есть черный ящик, производящий образцы состояния. ф . Возьмите образец состояния, проведите эксперимент Е А и получить результат а . Попробуйте состояние еще раз, проведите эксперимент Е Б и получить результат б . Назовите сумму а + б Результат парного эксперимента.

Если С п е с ( А ) "=" { а 1 , а 2 } и С п е с ( Б ) "=" { б 1 , б 2 } тогда парный эксперимент имеет спектр { а 1 + б 1 , а 1 + б 2 , а 2 + б 1 , а 2 + б 2 } . Очевидно, парный эксперимент должен быть описан в ЧАС ЧАС и с совершенно другой наблюдаемой. Детали прямолинейны, но у нас нет эксперимента для А + Б . :-(

Вторая попытка: Предположим, что А и Б совместимы и А и Б добираться. Затем мы можем сделать следующее: сэмплировать состояние один раз , на этом сэмпле проводить эксперименты. Е А и Е Б в любой последовательности получать независимые от последовательности значения а и б и добавьте их. Математически все хорошо. А и Б разделяют собственный базис, спектр А + Б представляет собой сумму собственных значений (принадлежащих одному и тому же общему собственному пространству). Ожидаемые значения работают так, как ожидалось. :-)

Теперь мой вопрос: А + Б остается эрмитовым оператором, даже если А и Б не ездить на работу. Так что мне все еще любопытно, к какому эксперименту принадлежит этот оператор.

Примечание: в случае продукта А Б , Оператор А Б больше не является эрмитовым, если операторы не коммутируют, и поэтому я не могу задать этот вопрос для произведения. Мой вопрос нарушил бы предпосылки формализма. Но в А + Б формализм позволяет поставить этот вопрос...

Обновление: в связи с некоторыми комментариями я попытаюсь более четко сформулировать свой вопрос: каков физический смысл суммы двух наблюдаемых?

Очевидно, что «сумма двух наблюдаемых» не является «суммой значений двух наблюдаемых». Предположим, что наблюдаемая А могут иметь значения 2 или 3 и предположим, что наблюдаемое Б могут иметь значения 100 или 200 тогда наблюдаемый А + Б не имеет значения 102 , 103 , 202 или 203 как может предложить простой наивный подход или как может предложить понимание «суммы значений двух наблюдаемых».

Поскольку эта интуиция не работает, я хотел бы понять физический смысл А + Б начиная с понимания А и Б .

Обновление 2: изменено описание парного эксперимента, чтобы оно не вводило в заблуждение.

Обновление 3: хотя я ценю данные намеки и хотя мой «наивный подход» и «вторая попытка» жалки, мой вопрос по-прежнему таков: когда я исхожу из А и Б к А + Б , каков физический процесс или содержание этой математической операции?

Это центральная часть QM; основной пример, где А - кинетическая энергия частицы, а Б это его потенциальная энергия: обе диагонализовать тривиально, но их сумму редко. В основном все сложные проблемы диагонализации сводятся к сумме некоммутирующих операторов, где каждый отдельный член легко или тривиально диагонализируется.
Но при этом я действительно не понимаю, в чем здесь вопрос.
Сообщения SE управляются версиями, поэтому, пожалуйста, не делайте ваше сообщение похожим на таблицу изменений , вместо этого просто органично интегрируйте новый материал в сообщение. Внизу поста есть кнопка истории редактирования для тех, кому интересно посмотреть, что изменилось.
собственные значения А + Б можно записать в виде выпуклых комбинаций собственных значений А и Б , причем веса зависят от отношений между их собственными векторами. Так что в каком-то смысле А + Б измерение, результаты которого находятся где-то между результатами А и Б , хотя, чтобы сказать больше, нужно было бы уточнить отношения между собственными векторами А и Б . Будет ли это считаться «физическим смыслом» измерения? А + Б ?
@gIS Подсказка о выпуклой комбинации - полезное математическое замечание, но оно не указывает нам на понимание физического аспекта. Учитывая понимание того, как А и Б измеряются в эксперименте, как бы я получил эксперимент для измерения А + Б . Так что я очень хочу вникнуть в физический аспект здесь, выходя за пределы математической стороны, и в частности для некоммутирующих А и Б .
@KyleKanos Часто бывает полезно знать, когда ОП отвечает на комментарий. Впрочем, да, простые исправления и уточнения лучше делать редактурой. Это нечеткая линия, конечно.
Это отличный вопрос, над которым я думал сегодня. К сожалению, я понятия не имею.
Честно говоря, я не понимаю, почему люди считают это хорошим или плодотворным вопросом.

Ответы (5)

Это все еще открытый вопрос об основании квантовых теорий.

Обычно предполагается только, что для каждой пары ограниченных наблюдаемых А , Б (самосопряженные операторы на комплексном сепарабельном гильбертовом пространстве) существует третья ограниченная наблюдаемая С чьи ожидаемые значения представляют собой суммы ожидаемых значений А и Б , для каждого заданного состояния ψ .

С С "=" А + Б тривиально удовлетворяет этому требованию, и состояния разделяют наблюдаемые, тогда А + Б является желаемой наблюдаемой.

Здесь проблема становится двоякой.

С физической стороны естественной проблемой является

как измерить А + Б ?

Другими словами,

Q1 Что такое измерительный прибор для А + Б если мы знаем те из А и Б ?

С математической стороны,

Q2 Как мы можем построить проекционно-значную меру (PVM) А + Б когда знаешь те из А и Б ?

Если А и Б совместимы, ответы элементарны. Что касается первой проблемы, мы можем измерить А и Б о том же состоянии и результате С представляет собой сумму результатов А и Б . (Если вместо этого нас интересует состояние после измерения , то ситуация становится намного сложнее и однозначного ответа нет.)

Ответ на второй вопрос, когда наблюдаемые совместимы, легко найти, воспользовавшись совместной PVM А и Б .

Если А и Б несовместимы , однозначного ответа , особенно на первый вопрос, нет. Однако, если А и Б принадлежат алгебрам Ли образующих группы симметрии рассматриваемой физической системы, то и А + Б является генератором симметрии (здесь мы имеем дело с неограниченными наблюдаемыми, определенными на общей плотной области существенной самосопряженности). В таком случае А + Б имеет конкретный физический смысл, и инструмент измерения должен быть подсказан физикой.

Что касается последнего вопроса (чтобы найти PVM А + Б с точки зрения ПВМ А и Б для несовместимых наблюдаемых), в сотрудничестве с двумя коллегами мы недавно опубликовали статью об этом, которая также включает случай неограниченных несовместимых наблюдаемых.

Существует процедура построения PVM а А + б Б , ф ( а А + б Б ) (для достаточно интересного класса функций ф ), а также некоторых других операторов, построенных из А и Б как их продукт Иордании 1 2 ( А Б + Б А ) .

В заключительной части статьи представлены некоторые предложения по первому вопросу.

Н. Драго, С. Маццукки, В. Моретти: Операционная конструкция суммы двух некоммутирующих наблюдаемых в квантовой теории и родственные конструкции . Мат. Phys , 110 (2020) 3197–3242 DOI: 10.1007/s11005-020-01332-7 arxiv.org/abs/1909.10974

Окончательная, на мой взгляд, весьма наводящая на размышления формула с несколькими гипотезами гласит:

ф ( а А + б Б )
"=" лим Н + р 2 Н ф ( 1 Н н "=" 1 Н ( а λ н + б мю н ) ) г п λ 1 ( А ) г п мю 1 ( Б ) г п λ Н ( А ) г п мю Н ( Б )
где п ( А ) и п ( Б ) являются спектральными мерами (PVM) А и Б соответственно.

В конечномерном случае интеграл становится суммой собственных значений А и Б а ФВМ состоят из проекторов на соответствующие собственные пространства.

ф ( а А + б Б )
"=" лим Н + λ 1 , , λ Н е о ( А ) , мю 1 , , мю Н е о ( Б ) ф ( 1 Н н "=" 1 Н ( а λ н + б мю н ) ) п λ 1 ( А ) п мю 1 ( Б ) п λ Н ( А ) п мю Н ( Б )

Вашему вопросу не хватает фокуса. Все, что я могу сделать, это привести пример суммы некоммутирующих операторов, которая имеет физический смысл. Кинетическая энергия п 2 / 2 м и потенциал электромагнитного взаимодействия В не коммутируют и вместе образуют гамильтониан Шрёдингера.

Разве это не только потому, что энергия аддитивна, так что это особый случай? Добавление любого другого набора из двух операторов обычно не выполняется.

Если С п е с ( А ) "=" { а 1 , а 2 } и С п е с ( Б ) "=" { б 1 , б 2 } тогда парный эксперимент имеет спектр { а 1 + б 1 , а 1 + б 2 , а 2 + б 1 , а 2 + б 2 } .

Я не думаю, что это даже формально правильно. Брать А "=" с г "=" 2 ( 1 0 0 1 ) и Б "=" с Икс "=" 2 ( 0 1 1 0 ) . Вычислить спектр А + Б и убедитесь, что это не удовлетворяет вашему условию.

Чтобы ответить на вопрос в контексте этого примера: физический смысл А + Б – измерение вращения вдоль н Икс + н г ось (умножается на 2 , быть педантичным)

Мое описание парного эксперимента вводило в заблуждение, поэтому я его скорректировал. Парный эксперимент не соответствует математическому оператору А + Б . Физический смысл математического оператора А + Б так же, как вы описываете, и это не сумма двух значений, полученных в результате экспериментов А и Б а совсем другой эксперимент. Как экспериментировать А + Б получается в общем случае из отдельных опытов А и Б это точно мой вопрос.

То, что вы называете «наивным подходом», имеет дело с двумя экспериментами с частицами (отсюда и космическое пространство). ЧАС ЧАС ) и то, что вы описываете, на самом деле является измерением А + Б как ярлык для оператора А я + я Б , для состояния продукта | ф | ф , где я является личностью ЧАС . Его ожидаемое значение равно ф | А | ф + ф | Б | ф ( с использованием ф | я | ф "=" 1 ) независимо от сопоставимости или нет А и Б . Поскольку у вас есть состояние продукта, измерение А на частице 1 не может повлиять на измерение Б на частице 2. ( А я и я Б коммутировать для любого А и Б ).

Если теперь вам нужно измерить сумму А + Б для одной частицы предсказание будет включать условные вероятности, такие как п ( б | а ) (при условии б является одним из результатов Б и а результат А полученные ранее) и они упрощаются только тогда, когда А и Б добираться. Это не дает возможности измерить А + Б но объясните, почему ожидаемый результат отличается.

Математически последовательное измерение А и Б имеет ожидаемую ценность

ф | А + Б | ф "=" а п ( а ) ( а + б п ( б | а ) б )
Если п а обозначим проектор на собственное пространство А с собственным значением а , п ( а ) "=" ф | п а | ф и п ( б | а ) "=" ф | п а п б п а | ф ф | п а | ф

После расширения первый член просто ф | А | ф и второй, используя б б п б "=" Б является

а , б ф | п а п б п а | ф б "=" ф | Б ~ | ф с Б ~ "=" а п а Б п а
Окончательно :
ф | А + Б | ф "=" ф | А | ф + ф | Б ~ | ф
Это сводится к наивному значению в частном случае, когда | ф является собственным состоянием А , или более интересно для любого | ф если А и Б совместимы: тогда п а и Б ездить на работу и Б ~ "=" Б .

Тем не менее, в этой схеме выходным состоянием будет собственный вектор Б и не из А + Б ...

Если А и Б коммутируют, они имеют общие собственные состояния, и они также являются собственными состояниями ( А + Б ) : измерение «А+В» даст тот же результат, что и измерение «А», а затем «В» (или «В», а затем «А»). Оператор ( А + Б ) соответствует наблюдаемому, которое вы ожидаете: измерение суммы «A» и «B» в одном измерении такое же, как сумма отдельных (параллельных) измерений «A», а затем «B».

Если А и Б не коммутируют, то собственные состояния ( А + Б ) обычно не делятся с А или Б . Оператор ( А + Б ) по-прежнему соответствует наблюдаемому ( А + Б ) но это уже не то же самое, что измерение А а потом Б . Если у вас есть измерительная машина «А» и измерительная машина «В», вам нужна совершенно новая измерительная машина «А+В», и удивительный факт о квантовой механике состоит в том, что возможные результаты этой машины не такие, как возможные значения, которые вы можете сформировать из сложения возможных результатов машины «А» с возможными результатами машины «Б».

Чтобы убедить вас, почему ( А + Б ) является оператором для однократного измерения "A+B" подумайте о том, как п 2 2 м + В является оператором для одного измерения полной энергии, и оператор формируется из физического соотношения, которое мы ожидаем для кинетической и потенциальной энергии. Но возможные результаты измерения полной энергии сильно отличаются от суммы измерения потенциальной энергии, за которой следует измерение кинетической энергии: измерение потенциальной энергии (т. е. положения) полностью «испортит» вашу последующую кинетическую энергию (т. измерения, потому что они не коммутируют.

Да. Я согласен и благодарю за вклад. Однако мой вопрос остается, и я отражу его в обновлении публикации.
@Nobody-Knows-I-am-a-Dog «Мой вопрос остается», у вас никогда не было настоящего вопроса.