Формализация (и значение) Heisenberg Cut

В дискуссиях вокруг недавнего ответа Стека , который охватывал аксиоматическую квантовую механику, теорему Белла и случайные поля (связанные с аксиоматической КТП), использовалась фраза «Гейзенбергское сокращение». Основной вопрос: что это значит?

Изучив это обсуждение, я могу предоставить некоторую информацию, чтобы установить контекст для вопроса. В КМ (фон Неймана) проводится различие между: НАБЛЮДАТЕЛЕМ [Вырезать] КВАНТОВЫМ ОБЪЕКТОМ

Это упрощенное различие подверглось критике позже в этой статье и в других местах, так что термин «вырез Гейзенберга» вышел из употребления. Если кто-то хочет провести различия в эксперименте с КМ, то вот более широкое предложение:

СРЕДА [Cut1] КВАНТОВЫЙ ОБЪЕКТ [Cut2] КЛАССИЧЕСКИЙ ИНСТРУМЕНТ [Cut3] НАБЛЮДАТЕЛЬ [Cut4] OO

здесь OO — это любой гипотетический наблюдатель-наблюдатель, как обсуждалось в концепции «друга Вигнера».

Итак, была ли вновь введена концепция «отсечения Гейзенберга» в современной аксиоматической КМ/КТП, и если да, то какова ее формализация (т. е. как можно делать из нее экспериментальные выводы или выводы, подобные теореме Белла?)

Ответы (3)

Термин «разрез Гейзенберга» использовался только в философских дискуссиях о характере квантовой механики. Это классико-квантовая граница, которую следует провести где-то посередине между наблюдаемыми квантовыми объектами и восприятием наблюдателя.

Никогда не будет ошибкой поместить разрез ближе к наблюдателю — чтобы рассматривать более широкий набор явлений, используя механизмы квантовой механики, потому что, в конце концов, квантовая механика применима везде. С другой стороны, было бы ошибкой трактовать некоторые системы или их свойства классически.

«Минимальное» местоположение разреза Гейзенберга — то, которое классически рассматривает максимальную долю мира — может быть вычислено с помощью декогеренции. В современной квантовой механике декогеренция — это то, что определяет классическую квантовую границу, но термин «разрез Гейзенберга» редко используется для этой границы в современной физике.

Мне нравится краткость и резкость этого ответа. Однако последний абзац говорит нам, что его (минимальное) местоположение можно рассчитать, как я полагаю, в ходе эксперимента. Так что этот термин (возможно, под другим названием) действительно появляется в расчетах. Это также говорит о том, что она была где-то формализована и, возможно, обладает математическими свойствами, о которых мы могли бы доказать дополнительные теоремы...
Да, Рой, как я уже сказал, вычисление было формализовано под термином декогеренция , см., например, важную статью Зурека об этом arxiv.org/abs/quant-ph/0306072 — сам разрез упоминается как классически-квантовая граница или что-то еще, проверьте несколько бумаг...
Каково максимальное положение разреза Гейзенберга?

Я считаю, что суть разреза Гейзенберга заключается в том, как мы вычисляем вероятности и ожидаемые значения в QM. Для элементарного КМ для некоторого измерения, описываемого оператором М ^ , ожидаемое значение в состоянии, описываемом матрицей плотности р ^ дается следом М "=" Т р ( М ^ р ^ ) . Что мы вкладываем в р ^ то, что находится в нашей модели Вселенной. Оператор измерения описывает наш измерительный аппарат, который не находится в модельной вселенной, а вместо этого описывает, как наш измерительный аппарат получает информацию из модельной вселенной. Существует почти симметрия между способами М ^ и р ^ появляться; это почти как если бы помимо модельной вселенной существовала вселенная измерительного аппарата. Различные измерительные устройства могут влиять друг на друга во вселенной измерительных устройств, не изменяя модельной вселенной, что называется несовместимостью измерений (я только что создал интерпретацию КМ? Знаю ли я эту? Думаю, это слишком бойко, к сожалению.)

Редактировать: мы можем расширить математику по-разному, но один заслуживает упоминания, потому что он имеет большую практическую ценность. Мы можем ввести преобразования Т ^ я которые действуют между аппаратом подготовки и аппаратом измерения, и в этом случае мы имеем М "=" Т р ( М ^ Т ^ н Т ^ 2 Т ^ 1 р ^ ) . Мы можем в любой момент сказать, что М ^ Т ^ н Т ^ 5 , скажем, или любая другая часть этого списка (без изменения порядка), является нашим измерением.

В любом случае , в какой-то степени мы можем перемещать вещи из вселенной моделей во вселенную измерительных приборов и наоборот, хотя для этого нам, возможно, придется заняться техническими вещами, такими как POVM. Как только мы переходим к квантовой теории поля, возникает тесная связь между вселенной измерительного прибора и моделью вселенной, потому что мы используем одни и те же блоки Lego для построения измерений и состояний.

Разделение на состояния и измерения абсолютно фундаментально в КМ. Именно так работают отношения между гильбертовыми пространствами и экспериментальными результатами, что вызывает проблемы, когда люди хотят заниматься космологией со всем в модельной вселенной. Хотя раньше я не думал о расчетея вижу, что если кто-то выберет конкретную точность, которую он хочет, чтобы его модель экспериментального аппарата достигла по сравнению с его реальным аппаратом, это может наложить ограничение на то, где можно поместить разрез Гейзенберга. Я не уверен, однако, что не всегда можно улучшить изощренность своего описания измерения, особенно если кто-то готов перейти к POVM. Я полагаю, однако, что помещать людей в вашу модельную вселенную всегда будет в сфере игрушечных моделей. Как известно, разделение на состояния и измерение рассматривается под микроскопом в статье Белла «Против измерения».

Между прочим, я вижу, что вы обращались к Виллему де Муйнку, который, возможно, немного своеобразен, но я часто находил его хорошую противоположную точку зрения.

Спасибо за этот ответ +1. Я думаю, что этот сайт лучше всего работает с вопросами, а затем с ответами, а не с комментариями к обсуждениям. Комментарии: вычисление — это термин, используемый декогеренцией; однако в этих POVM есть «степени классичности», которые мне нужно понять дальше; в этом ответе было так много вселенных, что мне нужно выяснить, в какой вселенной мы на самом деле живем.

в дополнение к тому, что Любош сказал о КМ, философия аксиоматической КТП заключается в построении/описании КТП без какой-либо ссылки на концепции классической физики. Насколько мне известно, в аксиоматической КТП нет даже понятия «классический предел». В частности, «макроскопические классические» устройства, такие как детекторы, моделируются в АКПФ с помощью наблюдаемой, то есть самосопряженного оператора, и это чисто квантовая концепция. Поэтому я не думаю, что вы найдете формализацию чего-то вроде «разреза Гейзенберга» в аксиоматической КТП.

Что касается интерпретации процесса измерения и т. д., то это обычно предоставляется философской интерпретации КМ, с чисто философской точки зрения нет концептуальной разницы между интерпретацией КМ и КТП, что является причиной того, что большинство люди, работающие над этой темой, концентрируются на технически гораздо более простом QM.

Можно ли сказать, что это понятие имеет формализацию в каком-то другом варианте КМ? Ведь Любош утверждает, что его можно вычислить: формула или набор аксиом — это то, что отвечает на этот вопрос утвердительно; на него отвечают отрицательно, говоря что-то вроде «КМ не имеет такой формализации, и вот доказательство того, что ничего не может существовать ...»
Я полагаю, что «без какой-либо ссылки на концепции классической физики» — это слишком сильно, поскольку АКПТ действительно имеет концепцию состояний и измерений, которая классически существовала до КМ, хотя и без проблемы несовместимости измерений.
@Roy: Я бы подвел черту и сказал, что все, что физики рассчитывают в QM с формализованной математической структурой, не имеет никакого отношения к какой-либо концепции, такой как разрез Гейзенберга. Однако к этой концепции обращаются люди, работающие над философской интерпретацией КМ, такие как Омнес.
@Peter Morgan: «Состояние» в AQFT - это подходящее состояние сети операторных алгебр, а не состояние в смысле физики до QM. Сам процесс измерения в АКПФ не формализован, АКПТ останавливается на утверждении «математическое ожидание наблюдаемого x в состоянии y равно…», что является чисто квантовой концепцией. Конечно, концепции состояний и измерений существовали в физике до КМ, но КТП не является "квантованной" классической теорией, как, например, лагранжева КТП. Не существует априорно данной классической теории.
@Tim van Beek Согласен, что состояние в АКФТ математически отличается от состояния в классической детерминистической механике. Я полагаю, однако, что «математическое ожидание наблюдаемого x в состоянии y равно...» имело бы разумный смысл для Больцмана или Максвелла. Для АКТФ, хотя и не для КГ, есть также общие концептуальные отправные точки пространства Минковского или искривленного пространства-времени. Думаю, я вижу во всем этом постоянную эволюцию концепций, а не полные разрывы, которые отделяют нас от более ранних физиков. Извините, мой подход к вашей формулировке раздражает.
@Tim van Beek: Насколько я знаю, традиционный AQFT таков, как вы описываете. Мой вопрос, основанный на ранее (а теперь и позже) вкладе Питера, заключался в том, продвинулась ли формализация QM оттуда. Для меня ссылка Питера ниже только на POVM предполагает, что это так.