Сценарий: и являются двумя наблюдаемыми. Математически мы моделируем их двумя эрмитовыми операторами и на сепарабельном гильбертовом пространстве. Физически они соответствуют экспериментам и , результаты которого являются значениями в и ; повторения создают распределения значений на этих спектрах, ожидаемые значения, дисперсии и более высокие импульсы. Математический оператор также является эрмитовым. Итак, давайте найдем эксперимент, соответствующий этому оператору, и изучим его математическое ожидание в состоянии .
Наивный подход: попробуем парные эксперименты . Предположим, у нас есть черный ящик, производящий образцы состояния. . Возьмите образец состояния, проведите эксперимент и получить результат . Попробуйте состояние еще раз, проведите эксперимент и получить результат . Назовите сумму Результат парного эксперимента.
Если и тогда парный эксперимент имеет спектр . Очевидно, парный эксперимент должен быть описан в и с совершенно другой наблюдаемой. Детали прямолинейны, но у нас нет эксперимента для . :-(
Вторая попытка: Предположим, что и совместимы и и добираться. Затем мы можем сделать следующее: сэмплировать состояние один раз , на этом сэмпле проводить эксперименты. и в любой последовательности получать независимые от последовательности значения и и добавьте их. Математически все хорошо. и разделяют собственный базис, спектр представляет собой сумму собственных значений (принадлежащих одному и тому же общему собственному пространству). Ожидаемые значения работают так, как ожидалось. :-)
Теперь мой вопрос: остается эрмитовым оператором, даже если и не ездить на работу. Так что мне все еще любопытно, к какому эксперименту принадлежит этот оператор.
Примечание: в случае продукта , Оператор больше не является эрмитовым, если операторы не коммутируют, и поэтому я не могу задать этот вопрос для произведения. Мой вопрос нарушил бы предпосылки формализма. Но в формализм позволяет поставить этот вопрос...
Обновление: в связи с некоторыми комментариями я попытаюсь более четко сформулировать свой вопрос: каков физический смысл суммы двух наблюдаемых?
Очевидно, что «сумма двух наблюдаемых» не является «суммой значений двух наблюдаемых». Предположим, что наблюдаемая могут иметь значения или и предположим, что наблюдаемое могут иметь значения или тогда наблюдаемый не имеет значения , , или как может предложить простой наивный подход или как может предложить понимание «суммы значений двух наблюдаемых».
Поскольку эта интуиция не работает, я хотел бы понять физический смысл начиная с понимания и .
Обновление 2: изменено описание парного эксперимента, чтобы оно не вводило в заблуждение.
Обновление 3: хотя я ценю данные намеки и хотя мой «наивный подход» и «вторая попытка» жалки, мой вопрос по-прежнему таков: когда я исхожу из и к , каков физический процесс или содержание этой математической операции?
Это все еще открытый вопрос об основании квантовых теорий.
Обычно предполагается только, что для каждой пары ограниченных наблюдаемых (самосопряженные операторы на комплексном сепарабельном гильбертовом пространстве) существует третья ограниченная наблюдаемая чьи ожидаемые значения представляют собой суммы ожидаемых значений и , для каждого заданного состояния .
С тривиально удовлетворяет этому требованию, и состояния разделяют наблюдаемые, тогда является желаемой наблюдаемой.
Здесь проблема становится двоякой.
С физической стороны естественной проблемой является
как измерить ?
Другими словами,
Q1 Что такое измерительный прибор для если мы знаем те из и ?
С математической стороны,
Q2 Как мы можем построить проекционно-значную меру (PVM) когда знаешь те из и ?
Если и совместимы, ответы элементарны. Что касается первой проблемы, мы можем измерить и о том же состоянии и результате представляет собой сумму результатов и . (Если вместо этого нас интересует состояние после измерения , то ситуация становится намного сложнее и однозначного ответа нет.)
Ответ на второй вопрос, когда наблюдаемые совместимы, легко найти, воспользовавшись совместной PVM и .
Если и несовместимы , однозначного ответа , особенно на первый вопрос, нет. Однако, если и принадлежат алгебрам Ли образующих группы симметрии рассматриваемой физической системы, то и является генератором симметрии (здесь мы имеем дело с неограниченными наблюдаемыми, определенными на общей плотной области существенной самосопряженности). В таком случае имеет конкретный физический смысл, и инструмент измерения должен быть подсказан физикой.
Что касается последнего вопроса (чтобы найти PVM с точки зрения ПВМ и для несовместимых наблюдаемых), в сотрудничестве с двумя коллегами мы недавно опубликовали статью об этом, которая также включает случай неограниченных несовместимых наблюдаемых.
Существует процедура построения PVM , (для достаточно интересного класса функций ), а также некоторых других операторов, построенных из и как их продукт Иордании .
В заключительной части статьи представлены некоторые предложения по первому вопросу.
Н. Драго, С. Маццукки, В. Моретти: Операционная конструкция суммы двух некоммутирующих наблюдаемых в квантовой теории и родственные конструкции . Мат. Phys , 110 (2020) 3197–3242 DOI: 10.1007/s11005-020-01332-7 arxiv.org/abs/1909.10974
Окончательная, на мой взгляд, весьма наводящая на размышления формула с несколькими гипотезами гласит:
В конечномерном случае интеграл становится суммой собственных значений и а ФВМ состоят из проекторов на соответствующие собственные пространства.
Вашему вопросу не хватает фокуса. Все, что я могу сделать, это привести пример суммы некоммутирующих операторов, которая имеет физический смысл. Кинетическая энергия и потенциал электромагнитного взаимодействия не коммутируют и вместе образуют гамильтониан Шрёдингера.
Если и тогда парный эксперимент имеет спектр .
Я не думаю, что это даже формально правильно. Брать и . Вычислить спектр и убедитесь, что это не удовлетворяет вашему условию.
Чтобы ответить на вопрос в контексте этого примера: физический смысл – измерение вращения вдоль ось (умножается на , быть педантичным)
То, что вы называете «наивным подходом», имеет дело с двумя экспериментами с частицами (отсюда и космическое пространство). ) и то, что вы описываете, на самом деле является измерением как ярлык для оператора , для состояния продукта , где является личностью . Его ожидаемое значение равно ( с использованием ) независимо от сопоставимости или нет и . Поскольку у вас есть состояние продукта, измерение на частице 1 не может повлиять на измерение на частице 2. ( и коммутировать для любого и ).
Если теперь вам нужно измерить сумму для одной частицы предсказание будет включать условные вероятности, такие как (при условии является одним из результатов и результат полученные ранее) и они упрощаются только тогда, когда и добираться. Это не дает возможности измерить но объясните, почему ожидаемый результат отличается.
Математически последовательное измерение и имеет ожидаемую ценность
После расширения первый член просто и второй, используя является
Тем не менее, в этой схеме выходным состоянием будет собственный вектор и не из ...
Если и коммутируют, они имеют общие собственные состояния, и они также являются собственными состояниями : измерение «А+В» даст тот же результат, что и измерение «А», а затем «В» (или «В», а затем «А»). Оператор соответствует наблюдаемому, которое вы ожидаете: измерение суммы «A» и «B» в одном измерении такое же, как сумма отдельных (параллельных) измерений «A», а затем «B».
Если и не коммутируют, то собственные состояния обычно не делятся с или . Оператор по-прежнему соответствует наблюдаемому но это уже не то же самое, что измерение а потом . Если у вас есть измерительная машина «А» и измерительная машина «В», вам нужна совершенно новая измерительная машина «А+В», и удивительный факт о квантовой механике состоит в том, что возможные результаты этой машины не такие, как возможные значения, которые вы можете сформировать из сложения возможных результатов машины «А» с возможными результатами машины «Б».
Чтобы убедить вас, почему является оператором для однократного измерения "A+B" подумайте о том, как является оператором для одного измерения полной энергии, и оператор формируется из физического соотношения, которое мы ожидаем для кинетической и потенциальной энергии. Но возможные результаты измерения полной энергии сильно отличаются от суммы измерения потенциальной энергии, за которой следует измерение кинетической энергии: измерение потенциальной энергии (т. е. положения) полностью «испортит» вашу последующую кинетическую энергию (т. измерения, потому что они не коммутируют.
Эмилио Писанти
Эмилио Писанти
Кайл Канос
ГЛС
Никто-Не-Знает-Я-Собака
Гарип
Дж. П. Маккарти
Сеньор О