В квантовой механике контрфактуальная определенность ( CFD ) — это способность говорить «осмысленно» об определенности результатов измерений, которые не были выполнены (т. е. способность предполагать существование объектов и свойств объектов, даже если они не были измерены). [1] [2] Термин «контрфактуальная определенность» используется при обсуждении физических расчетов, особенно тех, которые связаны с явлением, называемым квантовой запутанностью , и тех, которые связаны с неравенствами Белла . [3] В таких обсуждениях «осмысленно» означает способность трактовать эти неизмеренные результаты наравне с измеренными результатами в статистических расчетах. Именно этот (иногда предполагаемый, но не заявленный) аспект контрфактуальной определенности имеет прямое отношение к физике и математическим моделям физических систем, а не философские проблемы относительно значения неизмеренных результатов.
Тема контрфактуальной определенности привлекает внимание при изучении квантовой механики, поскольку утверждается, что, сталкиваясь с открытиями квантовой механики, классическая физика должна отказаться от своих притязаний на одно из трех предположений: локальность (отсутствие « жуткого действия на расстоянии »), отсутствие заговора (также называемое «асимметрией времени») [4] [5] или контрфактуальная определенность (или «неконтекстуальность»).
Если физика откажется от притязаний на локальность, это поставит под сомнение наши обычные представления о причинности и предполагает, что события могут происходить со скоростью, превышающей скорость света. [6]
Если физика откажется от условия «отсутствия заговора», то «природа сможет заставить экспериментаторов измерять то, что она хочет, и когда она хочет, скрывая то, что она не хочет, чтобы видели физики». [7]
Если физика отвергает возможность того, что во всех случаях может быть «контрфактуальная определенность», то она отвергает некоторые черты, которые люди очень привыкли считать неизменными чертами вселенной. «Элементы реальности, о которых говорится в статье ЭПР, — это не что иное, как то, что интерпретация свойств называет свойствами, существующими независимо от измерений. В каждом запуске эксперимента существуют некоторые элементы реальности, система обладает определенными свойствами < #a i >, которые однозначно определяют результат измерения < a i >, при условии, что выполняется соответствующее измерение a ». [8]
Как существительное, «контрфактуальный» может относиться к предполагаемому эффекту или следствию ненаблюдаемого макроскопического события. Примером является контрфактуальное квантовое вычисление . [9]
Можно сказать, что интерпретация квантовой механики подразумевает использование контрфактуальной определенности, если она включает в математическое моделирование результаты измерений, которые являются контрфактуальными; в частности, те, которые исключаются согласно квантовой механике тем фактом, что квантовая механика не содержит описания одновременного измерения сопряженных пар свойств. [10]
Например, принцип неопределенности гласит, что невозможно одновременно знать с произвольно высокой точностью и положение, и импульс частицы. [11] Предположим, что измеряется положение частицы. Это действие уничтожает любую информацию о ее импульсе. Можно ли тогда говорить о результате, который был бы получен, если бы измерялся ее импульс вместо ее положения? С точки зрения математического формализма, должно ли такое контрфактическое измерение импульса быть включено вместе с фактическим измерением положения в статистическую популяцию возможных результатов, описывающих частицу? Если бы было обнаружено, что положение равно r 0, то в интерпретации, которая допускает контрфактическую определенность, статистическая популяция, описывающая положение и импульс, содержала бы все пары ( r 0 , p ) для каждого возможного значения импульса p , тогда как интерпретация, которая полностью отвергает контрфактические значения, имела бы только пару ( r 0 , ⊥), где ⊥ (называемое «up tack» или «eet») обозначает неопределенное значение. [12] Если использовать макроскопическую аналогию, то интерпретация, которая отвергает контрфактуальную определенность, рассматривает измерение положения как сродни вопросу о том, где в комнате находится человек, в то время как измерение импульса сродни вопросу о том, пусты ли колени человека или на них что-то лежит. Если положение человека изменилось, заставив его стоять, а не сидеть, то у этого человека нет коленей, и ни утверждение «колени человека пусты», ни утверждение «на коленях человека что-то лежит» не является истинным. Любой статистический расчет, основанный на значениях, когда человек стоит в каком-то месте в комнате и одновременно имеет колени, как будто сидит, был бы бессмысленным. [13]
Надежность контрфактуально определенных значений является основным предположением, которое вместе с «асимметрией времени» и «локальной причинностью» привело к неравенствам Белла . Белл показал, что результаты экспериментов, предназначенных для проверки идеи скрытых переменных, будут, как предсказано, попадать в определенные пределы на основе всех трех этих предположений, которые считаются принципами, фундаментальными для классической физики, но что результаты, найденные в этих пределах, будут несовместимы с предсказаниями квантово-механической теории. Эксперименты показали, что квантово-механические результаты предсказуемо превышают эти классические пределы. Расчет ожиданий на основе работы Белла подразумевает, что для квантовой физики предположение о «локальном реализме» должно быть отвергнуто. [14] Теорема Белла доказывает, что каждый тип квантовой теории должен обязательно нарушать локальность или отвергать возможность расширения математического описания с результатами измерений, которые на самом деле не были сделаны. [15] [16]
Контрфактуальная определенность присутствует в любой интерпретации квантовой механики, которая позволяет рассматривать результаты квантово-механических измерений как детерминированные функции состояния системы или состояния объединенной системы и измерительного аппарата. Транзакционная интерпретация Крамера (1986) не делает такой интерпретации. [16]
Традиционная копенгагенская интерпретация квантовой механики отвергает контрфактуальную определенность, поскольку она не приписывает никакого значения измерению, которое не было выполнено. Когда измерения выполнены, возникают значения, но они не считаются раскрытием ранее существовавших значений. По словам Эшера Переса , «невыполненные эксперименты не имеют результатов». [17]
Многомировая интерпретация отвергает контрфактическую определенность в другом смысле; вместо того, чтобы не присваивать значение измерениям, которые не были выполнены, она приписывает много значений. Когда измерения выполняются, каждое из этих значений реализуется как результирующее значение в другом мире разветвленной реальности. Как говорит профессор Гай Блейлок из Массачусетского университета в Амхерсте , «Многомировая интерпретация не только контрфактуально неопределенна, она также и фактически неопределенна». [18]
Подход непротиворечивых историй отвергает контрфактическую определенность еще одним способом; он приписывает отдельные, но скрытые значения невыполненным измерениям и запрещает объединение значений несовместимых измерений (контрфактических или фактических), поскольку такие комбинации не дают результатов, которые соответствовали бы любым полученным чисто из выполненных совместимых измерений. Когда измерение выполняется, скрытое значение тем не менее реализуется как результирующее значение. Роберт Гриффитс сравнивает их с «листками бумаги», помещенными в «непрозрачные конверты». [19] Таким образом, непротиворечивые истории не отвергают контрфактические результаты как таковые, они отвергают их только тогда, когда они объединяются с несовместимыми результатами. [20] В то время как в Копенгагенской интерпретации или интерпретации многих миров алгебраические операции для вывода неравенства Белла не могут быть выполнены из-за отсутствия значения или наличия многих значений там, где требуется одно значение, в Непротиворечивых историях они могут быть выполнены, но полученные коэффициенты корреляции не могут быть приравнены к тем, которые были бы получены в результате реальных измерений (которые вместо этого задаются правилами формализма квантовой механики). Вывод объединяет несовместимые результаты, только некоторые из которых могут быть фактическими для данного эксперимента, а остальные контрфактическими.