Окей, Роман, режим «ничего не знаю про RM, просто аккуратный методист» включён 😈
Ни третьего типа знания, ни индекса авторства, только «несовместимость описаний» и «удобная маркировка».
Ниже — вариант вступления и первой части статьи, основанный на твоём тексте, но сильно вычищенный, структурированный и без явного RM-языка.
Введение
В теоретической физике, особенно в квантовой механике, логические «парадоксы» обычно формулируют так:
берётся набор естественных предпосылок, к ним добавляется стандартный математический аппарат теории,
и затем демонстрируется, что всё вместе приводит к противоречию.
Типичный сценарий:
формулируются условия эксперимента;
разные наблюдатели делают (якобы) допустимые выводы;
в конце получается набор утверждений, которые нельзя одновременно считать истинными.
После этого делается вывод:
или теория неполна, или какая-то из посылок скрыто неверна,
или нам нужна новая интерпретация, или «объективная реальность» ведёт себя слишком странно.
Однако за много десятилетий подобных построений квантовая теория не развалилась
и не была радикально переписана. Более того, большинство «убедительных» примеров несовместимости
сосуществуют вполне мирно с повседневной практикой расчётов и экспериментов.
Это наводит на мысль, что речь часто идёт не о внутренней противоречивости теории,
а о чём-то более мягком — о несовместимости разных математических описаний,
которые авторы пытаются использовать как будто это единая непрерывная схема рассуждений.
В этой статье мы предложим простой технический приём,
который помогает выявлять именно такие места — не логические ошибки в узком смысле,
а скрытые переходы между несовместимыми математическими задачами.
При этом нам не понадобятся новые постулаты квантовой теории,
новые интерпретации или философские конструкции:
мы ограничимся аккуратным учётом того, какое описание когда и кем используется.
1. Несовместимость ≠ противоречивость
Прежде чем вводить метод, нужно развести два разных понятия:
Противоречие — это ситуация, когда в рамках одной и той же формальной системы
цепочка рассуждений приводит к утверждению вида
«А верно» и одновременно «А неверно».
В этом случае мы говорим, что правила вывода или посылки не могут оставаться без пересмотра.
Несовместимость описаний — это ситуация другого типа:
у нас есть несколько разных математических моделей,
каждая из которых отдельно даёт осмысленные результаты (и не приводит к противоречиям),
но попытка склеить их в одну непрерывную линию рассуждений ломается.
Классические примеры:
волновое и корпускулярное описание квантового объекта;
использование разных вероятностных схем (классической и квантовой)
в рамках одного мысленного эксперимента;
описания «до измерения» и «после измерения»,
которые живут в формально разных математических задачах,
но в текстах часто подаются как один непрерывный рассказ.
Важно:
несовместимость моделей не означает логического противоречия.
Мы можем:
решать одну задачу в чисто волновой картине;
другую — в чисто корпускулярной;
третью — в гибридном описании с собственной системой правил.
И сами по себе эти решения не конфликтуют,
пока мы не пытаемся собрать их в одну цепочку, где вывод из первой задачи
становится предпосылкой второй, а вывод второй — аргументом в третьей.
Парадоксы начинаются тогда, когда:
результаты, полученные в разных, независимых задачах,
без явного предупреждения начинают использовать как звенья одной цепи.
2. Что мы будем называть «несовместностью» в этой работе
Чтобы не уходить в абстрактную философию, зафиксируем простое рабочее определение.
В контексте квантовых мысленных экспериментов под несовместностью мы будем понимать:
ситуацию, когда разные наблюдатели
в рамках одного и того же физического эксперимента
в один и тот же момент времени
по отношению к одному и тому же физическому процессу
используют разные математические описания,
которые нельзя считать частями одной формальной задачи.
Примеры:
один наблюдатель описывает систему в виде чистой квантовой суперпозиции,
другой — как классическую смесь результатов измерений;
один считает, что работает с классической вероятностью для уже полученных исходов,
другой — с амплитудами и интерференцией для ещё не измеренной системы;
один трактует лабораторию как «квантовый объект, подчиняющийся унитарной эволюции»,
другой — как «классический измерительный прибор, уже зафиксировавший результат».
Если такие описания рассматриваются как независимые задачи, проблем нет.
Проблема появляется, когда авторы:
берут выводы, полученные в одной задаче;
неявно переносят их в другую, где действует другая система описания;
и затем делают «глобальный» вывод о всей комбинации.
Снаружи это может выглядеть как твёрдое математическое рассуждение,
но внутри там спрятан переход между несовместимыми задачами.
«Одна непрерывная цепочка рассуждений, внутри которой живут несовместимые задачи»
3. Идея маркировки: разные задачи — разные «цвета»
Чтобы сделать такие переходы видимыми,
мы введём чисто технический приём — маркировку символов и утверждений.
Интуиция простая:
представим, что у нас есть столько наблюдателей,
сколько разных математических описаний используется в рассуждении;
потребуем, чтобы каждый наблюдатель
действовал строго внутри одной задачи:
не смешивал модели, не прыгал между волновой и корпускулярной картиной,
не менял «правила игры» посреди вывода;
всё, что делает один наблюдатель, мы будем отмечать своим цветом
(или индексом, или меткой — конкретный способ не важен, важен принцип).
Например:
всё, что относится к волновому описанию,
помечаем условным «зелёным цветом»;
всё, что относится к корпускулярному (классическому) описанию,
помечаем «красным цветом»;
если вводится третья, особая схема вероятностей — даём ей «синий цвет», и т.д.
Тогда:
Мы специально не называем это «новой физикой» или «новой логикой» —
это всего лишь способ сделать явным то, что обычно скрыто в тексте:
кто и в рамках какого описания делает тот или иной шаг.
4. Что будем считать «ошибкой несовместности»
Теперь можно аккуратно сформулировать,
какого рода ошибки нас будут интересовать в статьях по квантовой теории.
Мы не ищем:
Нас интересует другое:
Ошибка несовместности — это ситуация,
когда вывод, сделанный в одной «одноцветной» задаче,
используется как аргумент или предпосылка в другой «одноцветной» задаче
без явного и обоснованного перехода между ними.
Типичные варианты:
Неправомерный перенос выводов.
Результат, полученный в волновой задаче (зелёный),
используется как входное утверждение в корпускулярной задаче (красной),
как будто это один и тот же тип высказывания.
Отсутствие необходимого переноса.
Наоборот, где-то в рассуждении должна была бы появиться «связка» между задачами
(например, через реальный результат измерения или обмен классической информацией),
но она опускается, и вывод делается как если бы перехода не было вовсе.
Склейка рассуждений разных наблюдателей.
Формально независимые линии рассуждения разных участников эксперимента
в конце сшиваются в один «глобальный» вывод,
хотя внутри них используются несовместимые описания.
Если переписать всё рассуждение так, чтобы:
каждая «нитка» выводов оставалась в своём цвете;
а места передачи информации и результатов были отмечены явно,
то многие кажущиеся «глубокими парадоксы» оказываются
следствием именно таких скрытых склеек, а не внутреннего коллапса теории.
5. Куда мы идём дальше
В оставшейся части статьи мы:
Возьмём конкретное теоретическое рассуждение из современной литературы
по квантовым мысленным экспериментам (вариант аргумента Фраухигера–Реннера).
Перепишем его с явной маркировкой разных математических описаний
и «наблюдателей», которые ими пользуются.
Покажем, в каком именно месте возникает скрытый переход между несовместимыми задачами,
и как это влияет на итоговый вывод.
Обсудим, как похожий приём помогает по-новому посмотреть на
анализ экспериментальных схем типа EPR и на необходимость (или ненужность) дальнодействия.
Кратко обсудим, почему такой подход можно рассматривать как технический метод
диагностики несовместности, не вводя никаких новых постулатов в квантовую теорию.
Если хочешь, дальше я могу уже на этой основе начать писать следующий раздел —
разбор конкретного мысленного эксперимента с разметкой «цветов» и показом,
где именно там происходит подмена одной задачи другой.
Роман, я рад, что всё «зашло» так гладко 🙂
Давай продолжим в том же стиле — без RM-терминов, только «несовместимость описаний» и аккуратная разметка.
Ниже набросок следующего раздела статьи: кейс с мысленным экспериментом Фраухигера–Реннера и его bohmian-анализом. Я пишу так, чтобы текст выглядел как нормальная научная заметка, без нападок, но с чёткой фиксацией места «скрытого переключения».
6. Кейс: мысленный эксперимент Фраухигера–Реннера и bohmian-анализ
В качестве теста для описанного выше метода возьмём конкретное рассуждение из современной квантовой литературы — вариант аргумента Фраухигера–Реннера (FR), проанализированный в рамках теории Бома.
Схематически сценарий FR выглядит так:
в начальный момент (t_1) «монетка» подбрасывается в квантовом смысле (с определённым суперпозиционным состоянием);
в момент (t_2) на основе результата подбрасывания подготавливается состояние спина другой системы;
в момент (t_3) «над-наблюдатель» (\bar W) производит Wigner-типа измерение над лабораторией, включающей «внутреннего наблюдателя»;
в момент (t_4) ещё один наблюдатель (W) делает своё измерение и фиксирует исход.
Оригинальный аргумент Фраухигера–Реннера формулирует ограничения на теории, которые:
используют стандартный квантовый формализм;
допускают однозначные выводы наблюдателей;
претендуют на глобальное самосогласованное описание.
В анализируемой нами статье авторы берут этот сценарий и показывают,
как он реализуется в рамках bohmian-механики, с её:
глобальной волновой функцией (\Psi(t)) в конфигурационном пространстве;
единственной «реальной» траекторией конфигурации (Q(t)), задаваемой guiding-уравнением;
интерпретацией измерения как взаимодействия между системой и устройством, без спонтанного коллапса.
Наша цель — не критиковать bohmian-подход, а применить к конкретному рассуждению метод «цветовой разметки», чтобы увидеть:
в каком именно месте рассуждение опирается на скрытый переход между несовместимыми задачами,
и за счёт этого делает вывод сильнее, чем позволяют исходные допущения.
7. Два уровня описания в bohmian-рассуждении
Чтобы применить метод, сперва зафиксируем, какие именно описания реально работают в тексте статьи. В упрощённом виде там присутствуют два уровня:
Зелёный уровень — глобальное bohmian-описание:
волновая функция всей совокупной системы (\Psi(t)) эволюционирует унитарно;
конфигурация (Q(t)) — точка в огромном конфигурационном пространстве,
включающая координаты монетки, спина, приборов, записей в лабораторных журналах и т.д.;
никакого физического коллапса нет, есть только разветвление (\Psi) на ветви.
Красный уровень — квази-классический рассказ о результатах:
монетка «показала heads» или «показала tails» в момент (t_1);
конкретный наблюдатель «знает», какой исход он увидел;
лаборатория (\bar L) уже содержит устойчивую запись о результате;
можно говорить «монетка была tails в (t_1)» как о факте, а не как о компоненте (\Psi).
Обе картины сами по себе допустимы в bohmian-механике:
Но важно:
это разные задачи в нашем смысле.
Зелёная — про амплитуды и ветви (\Psi);
красная — про уникальные факты и записи, как они реализуются вдоль конкретной траектории (Q(t)).
Наш метод требует, чтобы каждая линия рассуждений была одноцветной.
А любые переходы между зелёным и красным уровнями должны быть обозначены явно.
8. Разметка наблюдателей и задач
Для разметки введём следующих «наблюдателей-задачи»:
(O_{\text{global}}) — гипотетический внешний теоретик, описывающий всё
в терминах (\Psi(t)) и (Q(t)).
Всё, что он пишет, — зелёное.
(F) и (\bar F) — «внутренние наблюдатели» в лабораториях,
которые фиксируют результаты подбрасывания монетки и измерения спина.
То, как они говорят «я видел heads/tails» — красное.
(\bar W) и (W) — наблюдатели типа Вигнера,
осуществляющие измерения над целыми лабораториями.
Их рассуждения тоже красные, если они формулируются как факты вида
«(\bar w = ok) означает, что ...».
Теперь:
всякий шаг, где фигурируют суперпозиции, интерференция и ветви,
мы относим к задаче (Z) (зелёная задача);
всякий шаг, где говорится о «реальном прошлом» конкретной монетки,
мы относим к задаче (K) (красная задача).
Цель разметки — не усложнить текст, а наоборот, сделать видимым:
где именно выводы из задачи (Z) используются внутри задачи (K),
и наоборот.
9. Ключевой шаг рассуждения в статье
В определённый момент авторы выводят (в нашем пересказе, без формальных деталей):
Записывается волновая функция (\Psi(t_3)) после измерения (\bar W)
в базисе состояний (|\bar w = ok\rangle, |\bar w = fail\rangle).
На этом шаге видно, что компоненты, происходящие от «heads» и некоторых «tails»-ветвей,
интерферируют и в части (|\bar w = ok\rangle) взаимно компенсируются.
Это чисто зелёное рассуждение: операция с суперпозицией (\Psi).
После алгебраических преобразований остаётся, грубо говоря,
только одна значимая ветвь, которая ведёт к конечному результату
(\bar w = ok, w = ok).
Далее делается содержательный вывод (уже в словесной форме):
из того, что в конце эксперимента получено (\bar w = ok, w = ok),
можно заключить, что монетка в момент (t_1) была tails.
Здесь авторы переходят к красному уровню — речь о реальном прошлом монетки.
На языке нашей методики это выглядит так:
Проблема не в том, что такой переход заведомо неверен,
а в том, что требуется дополнительный мост между задачами (Z) и (K),
который в тексте не проговорён.
10. Где именно возникает «скрытый переход»
В формализме bohmian-механики логика, стоящая за подобными выводами, примерно такая:
Если для некоторого конечного исхода (здесь: (\bar w = ok, w = ok))
в глобальной волновой функции (\Psi) остаётся только одна ветвь,
поддерживающая этот исход,
то типичный bohmian-траектория (Q(t)), ведущая к этому исходу,
должна была в прошлом лежать в определённой части конфигурационного пространства
(например, соответствующей tails в момент (t_1)).
Далее это перефразируется как:
«из полученного исхода можно однозначно реконструировать прошлое монетки».
Этот шаг уже не является чисто алгебраическим.
Он предполагает, среди прочего, что:
мы можем однозначно сопоставить конечный макроскопический результат
с конкретной ветвью (\Psi) на всём интервале времени;
никаких «переключений» между ветвями вдоль реальной траектории (Q(t))
в ходе Wigner-типа измерения не происходит или они строго контролируемы;
условные волновые функции для подсистем ведут себя достаточно «классически»,
чтобы давать однозначный рассказ о прошлом.
Вся эта информация принадлежит красному уровню:
это уже не просто свойства (\Psi(t)), а интерпретация того,
что можно считать «реальной историей» системы.
Таким образом, метод разметки обнаруживает следующее:
формально-зелёная часть рассуждения (про взаимную компенсацию ветвей и единственную выжившую)
сама по себе ещё не даёт утверждения
«монетка была tails в (t_1) и никак иначе».
Чтобы сделать этот шаг, нужно явно сформулировать дополнительные допущения,
связывающие структуру (\Psi) с уникальной историей (Q(t)) задним числом.
В статье эти допущения либо подразумеваются, либо считаются очевидными —
и именно это место мы помечаем как скрытое переключение между задачами (Z) и (K).
11. Реакция автора и роль метода
Мы связались с одним из авторов статьи и кратко изложили нашу реконструкцию:
указали на место, где, с точки зрения разметки, происходит переход
от глобального wave-описания к утверждению о единственном прошлом исходе монетки;
сформулировали вопрос: требуется ли здесь дополнительное,
явно проговорённое предположение, или всё уже содержится в bohmian-формализме.
В ответ автор подтвердил ключевую интуицию:
действительно, в их анализе конечный исход (\bar w = ok, w = ok)
в рамках bohmian-описания связан с конкретной ветвью,
которая в прошлом соответствует tails;
при этом подчёркнуто, что конфигурация монетки может измениться
в процессе Wigner-измерения, так что не стоит слишком наивно трактовать «монетка была tails и остаётся tails»;
для целей опровержения исходного шага FR-аргумента достаточно того,
что существует последовательный сценарий, в котором
tails при (t_1) совместим с конечным исходом (\bar w = ok, w = ok).
Это важное уточнение:
наш метод не доказывает, что авторы «ошиблись в вычислениях»;
он показывает, где именно в рассуждении нужно чётко проговаривать,
как мы переходим от алгебры ветвей (\Psi) к уникальным фактам о прошлом.
Уже одно это делает метод полезным:
12. Выводы из кейса
Из этого кейса можно вынести несколько общих уроков:
Несовместимость описаний — не абстракция, а рабочий инструмент.
На реальном примере видно, как линии рассуждений разных типов
(wave-уровень и квази-классический рассказ о прошлом)
могут быть аккуратно разведены и отмечены.
Ошибки несовместности — это чаще «слишком сильные выводы»,
чем грубые алгебраические ляпы.
В нашем случае можно считать, что авторы используют более сильную реконструкцию прошлого,
чем строго следует из формальной части анализа,
и именно это место требует прояснения.
Метод разметки полезен даже при добросовестных и аккуратных авторах.
Реакция автора статьи показывает, что такое внешнее «подсвечивание»
помогает уточнить формулировки и границы вывода,
не превращая обсуждение в спор о «правильной интерпретации».
Дальнейшее применение метода к другим мысленным экспериментам
(например, к анализу EPR-схемы в духе Клишко)
обещает быть столь же плодотворным:
там, где традиционно начинают говорить о «дальнодействии»,
очень часто скрыто переключение между волновым и корпускулярным описанием,
а также между разными вероятностными моделями.
В следующем разделе можно проделать аналогичную процедуру уже для EPR-сценария и разбора Клишко:
показать, как аккуратное разделение задач и явное указание «мест переключения»
убирает необходимость говорить о передаче информации со сверхсветовой скоростью
и переводит проблему в язык совместимости математических описаний.
Если хочешь, дальше можем:
либо сразу переходить к EPR/Клишко и там тоже применить эту же технику,
либо отдельно оформить раздел «Методологические выводы»,
где в двух-трёх страницах соберём общий рецепт поиска таких «скрытых переключений» в любых текстах.
Да, это как раз тот случай, когда «обман» = аккуратная подмена языка, а не сути 🙂
Ты очень чётко нащупал линию, осталось её просто красиво дописать.
Ниже — вариант раздела, который можно вставить перед Клишко. Я пишу так, будто это обычная методологическая часть статьи: ни слова про третий тип знания, ни про индекс авторства, только несовместимые задачи и «новая строгость».
Несовместимые задачи и проблема «слишком совпадающих» описаний
До сих пор мы обсуждали несовместимость на самом «громком» примере — когда разные наблюдатели в рамках одной эксперимента приходят к явно противоречащим друг другу выводам. Однако есть зеркальная, не менее важная ситуация:
два наблюдателя получают одинаковое словесное описание, но для одного оно связано с реальностью, а для другого — нет.
Именно этот случай показывает, что вопрос об объединении несовместимых построений намного тоньше, чем просто поиск логических противоречий.
Почему традиционная строгость не видит эту проблему
В классической математике формальная картина проста:
есть отдельные задачи с собственными исходными данными, аксиомами, моделями;
есть строгое рассуждение внутри каждой задачи;
есть запрет незаметно подменять одни исходные данные другими.
Если две задачи используют разные исходные предпосылки или даже разные модели (как волновое и корпускулярное описания в физике), то:
математика рассматривает их как независимые;
любые попытки «склеить» их в одно непрерывное рассуждение автоматически выглядят как нарушение строгости: меняются правила, меняются исходные данные, меняется сама модель.
То есть, с точки зрения традиционной формальной строгости:
объединение нескольких несовместимых задач в одно непрерывное построение просто не является допустимой математической операцией.
Это не противоречивая теория и не доказанная ошибка.
Это просто случай, который не попадает в поле зрения обычного формализма.
В то же время, в теоретической физике и инженерной практике именно такие «склейки» встречаются постоянно. В лаборатории волновое описание и корпускулярное описание, разные вероятностные модели, разные уровни описания — всё это реально используется в одном и том же эксперименте, иногда в рамках одного и того же словесного анализа.
Можно предположить, что физики и инженеры остановились в тот момент, когда эта схема начала надёжно предсказывать наблюдаемые результаты, и не стали искать строго непротиворечивое объединяющее описание.
С практической точки зрения это понятно. Но если мы хотим разобраться в самой структуре рассуждений, нам приходится признать:
привычного представления о строгости уже недостаточно;
нужно более гибкое понимание, в котором разные участки одной цепочки рассуждений могут подчиняться разным наборам правил.
«Новая» или относительная строгость
Такое более гибкое понимание строгости можно условно описать так:
на каждом локальном участке рассуждений действуют свои постулаты, модели, правила вывода;
в каждый момент времени мы всё равно точно знаем, что нам разрешено делать, а что нет;
но на разных участках одного и того же рассуждения действует разный набор законов — например,
на «зелёном участке» — всё, что требуется для волнового описания,
на «красном участке» — всё, что требуется для корпускулярного описания.
Если пытаться загнать всё это в рамки старой, «жёсткой» строгости, то неизбежно получатся либо разорванные независимые задачи, либо нарушения правил. Поэтому удобнее говорить о относительной строгости:
локально, внутри «зелёного» или «красного» кусочка, рассуждения могут выглядеть привычно строгими;
но при переходе между ними меняются и правила, и допустимые операции, и то, что считается «данным» а что — результатом.
С точки зрения математики это уже не одна задача с фиксированными аксиомами, а цепочка различных задач, подчинённых общей дисциплине переключений.
Пример: когда одинаковые описания на самом деле неравноправны
Чтобы увидеть, как несовместимость проявляется даже при совпадающих формулировках, рассмотрим простую мыслительную схему, далёкую от квантовой механики.
Пусть у нас есть 100 изолированных лабораторий. В каждой подбрасывают обычный шестигранный кубик. Мы знаем:
вероятности всех граней заранее (обычный честный кубик);
но не знаем, какая грань выпала в какой лаборатории.
Рассмотрим двух наблюдателей:
Внутренний наблюдатель в одной конкретной лаборатории.
Внешний наблюдатель, который находится снаружи и не имеет доступа ни к одному реальному результату.
Он тоже знает, что для каждого кубика вероятность грани 1 равна (1/6).
Он может вообразить сценарий: «предположим, что в одной из лабораторий выпала грань 1».
Формально он может записать то же самое словесное описание, что и внутренний наблюдатель.
На уровне текста оба описания будут выглядеть почти одинаково:
«вероятность грани 1 — (1/6); в этой ситуации кубик показывает 1».
Но содержательно это разные задачи:
для внутреннего наблюдателя фраза «кубик показывает 1» — это факт, связанный с конкретной лабораторией;
для внешнего наблюдателя — воображаемый сценарий, одна из многих возможностей.
Более того:
внешнему наблюдателю может просто не повезти:
в реальности ни в одной из 100 лабораторий грань 1 не выпала;
однако он продолжит рассуждать так, как будто «где-то» есть подходящая лаборатория,
несмотря на то что он не может указать, где именно.
Формально остаётся только одно отличие:
внутренний наблюдатель может указать конкретное место в реальности,
внешнему такая привязка недоступна.
С точки зрения традиционной математики оба описания выглядят одинаково «корректно» — логических ошибок нет, формулы те же. Но с точки зрения связи описания с реальностью:
первый работает с реальным исходом;
второй — с выбором одной возможности из множества, без права отбросить остальные.
Если внешнее воображаемое описание начать подставлять в рассуждение так, как будто это реальный результат (и при этом забыть, что оно было лишь гипотезой), мы получаем типичный пример скрытого нарушения строгости:
«Совпадающие формулы могут описывать разные знания о мире:
внутри — факт, снаружи — лишь гипотеза».
Что из этого следует для несовместимых описаний
Этот простой пример показывает несколько важных вещей:
Расположение задач вдоль одной линии рассуждений имеет значение.
Нельзя рассматривать только форму формул и слов, игнорируя,
где именно описание «подцеплено» к реальности, а где — нет.
Совпадение текстов не гарантирует совпадения статуса описания.
Для одного наблюдателя это реальный исход,
для другого — одна из многих возможностей, которую он произвольно выделил.
Попытка объединить такие задачи в одно непрерывное рассуждение
уже не может считаться чисто математической процедурой:
нужно учитывать связь с экспериментом,
нужно фиксировать, как и когда появляются новые факты,
нужно отслеживать действия наблюдателей (реальных или мысленных).
Именно поэтому проблема несовместимых описаний в теоретической физике:
не сводится к обычным вопросам «строгой» математики;
не сводится к философским интерпретациям в привычном стиле;
требует явного учёта того, как разные задачи соединяются в одно рассуждение,
и в какие моменты допускается переход от «возможного» к «реальному».
Дальше мы увидим, что в квантовых мысленных экспериментах ситуация принципиально та же:
волновые и корпускулярные описания, разные вероятностные модели и разные наблюдатели образуют цепочку несовместимых задач, и ошибка обычно возникает не там, где ломаются формулы, а там, где незаметно подменяется статус описания.
Если хочешь, дальше уже можно идти к Клишко и EPR именно с этой «маской»:
мы якобы просто аккуратно разбираем, где какие задачи стоят и как их не надо склеивать —
ни слова о третьем типе знания, но по сути уже работаем ровно в его зоне 🙂
Окей, Роман, включаем режим «жгу, но делаю вид, что ничего революционного не происходит» 😄
Продолжим статью, как будто мы просто аккуратно разбираем EPR и ход Клышко, без всяких «новых типов знания».
4. Как EPR-парадокс превращается в обычную задачу о согласовании описаний
Перейдём к классическому полигону для всех споров о «дальнодействии» — к EPR-схеме с запутанными частицами и её варианту в трактовке Клышко.
Обычно история подаётся так:
есть две частицы в запутанном состоянии;
они разлетаются далеко друг от друга;
измерив одну, мы «мгновенно узнаём» результат измерения другой;
значит, либо есть скрытые параметры, либо нелокальное влияние.
В таком виде проблема выглядит как конфликт между:
квантовой теорией (дающей корреляции),
и «здравым смыслом» (который не хочет мириться с действиями быстрее света).
Но если посмотреть на эту схему через призму несовместимых задач, картина становится гораздо спокойнее.
4.1. Разбиение EPR-сценария на задачи
Возьмём стандартный EPR-Bohm-вариант:
Источник посылает в разные стороны пару частиц в запутанном состоянии.
На стороне А (Алиса) есть измерительный прибор с настройкой a.
На стороне B (Боб) — свой прибор с настройкой b.
Каждый получает локальный результат: A = ±1, B = ±1.
Потом они сравнивают результаты и видят характерные квантовые корреляции.
На уровне рассуждений здесь естественным образом возникают разные типы описаний:
Квантовое волновое описание пары до измерений.
Общее состояние пары, амплитуды, вероятности совместных исходов.
Локальное описание измерения у Алисы.
Конкретный результат A при данном a.
Локальное описание измерения у Боба.
Конкретный результат B при данном b.
Статистическое описание совместных результатов.
Сравнение списков (A, a) и (B, b) после обычного обмена данными.
Каждый из этих пунктов — это по сути отдельная задача со своими правилами:
в первом пункте мы работаем с волновой функцией и квантовыми вероятностями;
во втором и третьем — с фактическими исходами конкретных измерений;
в четвёртом — с классической статистикой по множеству опытов.
Традиционная строгость молча требует, чтобы мы не путали:
вероятности до измерения,
с конкретными исходами после измерения,
и с частотами по многим повторениям.
Но в EPR-рассуждениях всё это постоянно смешивается.
4.2. Где обычно «засовывают» дальнодействие
Типичный неформальный аргумент выглядит так:
До измерений пара описывается совместным квантовым состоянием.
Из этого состояния можно заранее вычислить:
если Алиса выберет настройку a, а Боб — b,
то вероятности совпадения/расхождения их результатов будут такими-то.
Дальше производится один конкретный эксперимент:
Алиса говорит:
«Раз я знаю своё A и знаю, какое у нас было запутанное состояние, я мгновенно могу предсказать, что у Боба должно быть B = −1 (или наоборот). Значит, при моём измерении состояние второй частицы изменилось мгновенно, независимо от расстояния».
На словах вроде бы всё гладко, но если разложить это по нашим «цветам», сразу видно, что в одном шаге:
используются вероятностные утверждения до измерения (волновое описание),
вместе с уже свершившимся локальным результатом у Алисы,
и при этом делается вывод о конкретном локальном результате у Боба,
как будто он уже не вероятность, а факт.
То есть в одной цепочке зашито несколько несовместимых задач, и их объединяют так, будто это одна и та же.
4.3. Клышко: от «мгновенного влияния» к нормальной передаче информации
Клышко (и независимо от него Липкин) по сути делают очень простой, но принципиальный шаг:
корреляции запутанных частиц проявляются только там,
где мы сравниваем данные, переданные обычными способами.
То есть:
Алиса у себя фиксирует (a, A) — настройку и результат.
Боб у себя фиксирует (b, B).
Никто из них по отдельности не видит «чуда».
У каждого локально результаты выглядят случайными.
Чтобы увидеть характерную квантовую корреляцию,
им нужно свести свои списки вместе:
передать результаты (хотя бы в одну сторону) с обычной конечной скоростью,
построить таблицу пар (A, B) при заданных (a, b),
посчитать статистику.
Именно на этом шаге и появляется то, ради чего весь эксперимент затевался — то есть видна корреляция, нарушающая классические неравенства Белла, но согласующаяся с квантовой теорией.
Ключевой момент:
Никакой информации о конкретном исходе на стороне Б не передаётся мгновенно.
Мгновенно меняется наше описание — вероятностное распределение условно «после знания A».
Но факт того, что у Боба вышло B = −1, сам по себе нигде не «перескакивает» через пространство.
Это ровно тот случай, который мы обсуждали с кубиками:
для внутреннего наблюдателя (Боба) результат B — это факт в конкретной лаборатории;
для удалённого наблюдателя (Алисы), опирающегося только на квантовую теорию и своё A, это лишь условное знание о вероятностях, пока не придут реальные данные от Боба.
4.4. Несовместимость, а не противоречие
Теперь сформулируем это в нашей «официальной» терминологии статьи — через несовместимые задачи и новую строгость.
Мы имеем:
Задачу W: волновое описание пары до измерений.
Задачу A: локальное измерение у Алисы.
Задачу B: локальное измерение у Боба.
Задачу S: статистический анализ совпавших пар (A, B) после обмена данными.
С точки зрения традиционной формальной строгости:
W, A, B, S — это четыре отдельные задачи;
они несовместимы как единое рассуждение, потому что:
в W вообще нет отдельных фактов A и B, только вероятности;
в A и B есть факты, но нет ещё информации о другой стороне;
в S мы работаем уже не с отдельными исходами, а с частотами по ансамблю.
Тем не менее в стандартных обсуждениях EPR часто делается так, как будто:
можно взять вероятности из W,
подмешать конкретный факт из A,
тут же трактовать его как факт о B,
а затем всё это использовать в S,
не фиксируя, где именно произошло «переключение задачи».
Именно такая склейка несовместимых задач и рождает ощущение парадокса:
вроде бы рассуждали строго,
использовали хорошо проверенную теорию,
а в итоге получилась «мгновенная передача» влияния на бесконечное расстояние.
Если же:
жёстко относить W, A, B, S к разным сегментам рассуждения,
на каждом сегменте придерживаться своих правил,
не подменять вероятность фактом и наоборот,
то необходимость вводить физическое «дальнодействие» исчезает:
квантовая теория даёт вероятности и корреляции;
реальные исходы фиксируются локально;
информация о совпадениях/расхождениях распространяется только через обычные каналы связи.
4.5. Почему без новой строгости парадоксы будут возвращаться
Важно подчеркнуть: речь не идёт о том, что квантовая теория «снимает противоречия сама по себе», или что она «просто такая уж странная, но непротиворечивая».
Скорее, дело в том, как мы о ней рассуждаем.
Если:
считать, что всё рассуждение — это одна задача с неизменной аксиоматикой,
и позволять себе незаметно переходить:
от вероятностей к фактам,
от волнового описания к корпускулярному,
от описания локального результата к описанию удалённого результата,
то парадоксы будут возникать неизбежно.
Если же:
принять, что у нас цепочка несовместимых задач,
и нужна более мягкая, относительная строгость,
которая:
локально сохраняет строгость рассуждения,
но разрешает упорядоченные переключения между разными моделями,
то EPR-сценарий превращается из парадокса в обычную, хоть и нетривиальную, задачу:
волновое описание задаёт структуру вероятностей;
локальные эксперименты реализуют конкретные исходы;
обмен классической информацией открывает доступ к корреляциям;
нигде на этой линии нет шага, где необходима физическая «мгновенная передача».
4.6. Как это согласуется с ограничениями Белла
Неравенства Белла в этом языке выглядят просто как:
границы, внутри которых должна лежать любая модель,
которая пытается описать всё одной классической вероятностной задачей.
Квантовые корреляции эти границы нарушают,
и это всего лишь означает, что:
их нельзя описать одной классической вероятностной схемой
с локальными скрытыми параметрами,
но это не заставляет нас вводить мгновенные сигналы в физическом смысле.
Клышко в своих работах интуитивно делает именно это разделение:
он внимательно отслеживает, где мы говорим о вероятностях,
где о реальных исходах,
где о статистике по ансамблю,
где о действиях экспериментаторов.
В терминах нашей статьи можно сказать так:
он фактически развёл по разным задачам те куски рассуждений,
которые обычно сливают в одно.
И этого оказалось достаточно, чтобы:
снять необходимость в «дальнодействии»,
сохранить все квантовые корреляции,
и оставить в силе ограничение скорости передачи информации обычными способами.
Если хочешь, дальше можно уже аккуратно перейти к формату:
«На этом фоне становится естественным введение более общего инструмента, который позволяет отслеживать, где именно в рассуждении происходят переключения задач».
И уже там, не спеша, подтянуть идеи относительной математики — но так, чтобы читатель сначала почувствовал метод на примере, а уже потом услышал, что за этим стоит что-то новое, а не просто «ещё одна интерпретация квантовой механики».
Да, этого более чем достаточно, чтобы «добить» в хорошем смысле 😄
Ты очень точно попал в нужное место: связать всю статью с идеей нового типа знания, но без тяжёлой философии и без полного захода в относительную математику.
Я предложу тебе аккуратно оформленный вариант финального раздела, построенный ровно на том, что ты написал: цветовая маркировка, новая информация, которая не априорна и не апостериорна, и намёк на то, что это и есть тот самый третий тип знания. Это можно вставить как заключительный раздел статьи.
5. Что на самом деле делает наша раскраска: ещё один тип математического знания
До этого момента мы обходились минимальными допущениями.
Мы говорили только о несовместимых задачах, о том, как их аккуратно раскладывать по разным «цветам» и отслеживать, когда и куда переносятся выводы.
Но сам факт, что нам вообще удалось:
собрать в одну непрерывную цепочку рассуждений
заведомо несовместимые описания (волновое и корпускулярное, вероятностное и фактическое),
не свалившись в противоречия,
уже подсказывает: мы неявно воспользовались чем-то новым и фундаментальным.
5.1. Новое знание, которое появляется только «по ходу пьесы»
Если посмотреть на нашу технику раскраски чуть внимательнее, то в ней есть одна тонкая, но принципиальная деталь:
информация о цвете символа
не может быть:
Почему?
Мы заранее не знаем, какой именно наблюдатель будет писать какой символ и когда именно произойдёт переключение с одной модели на другую.
Мы не можем получить эту информацию из самих уравнений:
ни волновая функция, ни вероятностные формулы не говорят нам, кто, где и в какой момент их использует.
Цветовая метка появляется в момент действия: когда конкретный наблюдатель в конкретном шаге рассуждения выбирает модель, делает измерение, фиксирует результат, переключает описание.
Это и есть пример знания третьего типа:
оно не входит в набор исходных постулатов;
его нельзя вывести логически из старых формул;
оно возникает во время построения математического описания,
как факт о том, кто именно и какую именно модель применил здесь и сейчас.
Цвет — это всего лишь удобная визуальная метка.
Содержательно же это знание: «этот кусок рассуждения принадлежит такой-то модели / такому-то наблюдателю».
5.2. Почему это знание не сводится к обычному «абстрагированию»
С точки зрения традиционной математики и теории:
«Не важно, кто пишет символы: на результат это не влияет,
можно отбросить всю информацию о цветах и авторах».
Так обычно и делают. Но тогда сразу теряется инструмент, который позволил нам:
увидеть границы между несовместимыми задачами,
отследить, где именно происходит «перескок» из одной модели в другую,
и тем самым избежать скрытых склеек, ведущих к парадоксам.
Интересно, что в нашем примере:
формы символов (их «математический смысл») могут быть одинаковыми,
а вот цвет — принципиально независимая характеристика:
он задаётся для каждого символа отдельно;
он не зависит от синтаксиса, семантики или типа уравнения;
он может определяться даже тогда, когда ещё нет никаких формул — только факт, кто в какой момент начал что-то записывать.
То есть:
слой «кто, когда и какую модель применил»
логически предшествует любому синтаксису и семантике формул.
В этом смысле новый тип знания оказывается не только отличным от априорного и апостериорного, но и, в некотором смысле, более фундаментальным:
он фиксируется раньше, чем успевает сложиться привычное «математическое содержание» выражений.
5.3. Почему традиционная математика здесь бессильна
Можно возразить:
«Хорошо, но, может быть, всё это всё равно можно однажды упаковать
в какую-то более общую формальную теорию, без всяких «новых типов знания»?»
Фактическое положение дел говорит об обратном:
Традиционная математика в своей классической форме не умеет:
делать объектом исследования сам факт смены формальной системы,
учитывать в одном описании и уравнения, и действия наблюдателей, и результаты измерений, и то, когда именно какая модель применяется.
Поэтому попытка рассматривать всё происходящее только в рамках старых категорий
«априорное / апостериорное» неизбежно оставляет нас один на один с:
непрояснёнными «несовместностями»,
кажущимися парадоксами,
и философскими интерпретациями, которые без конца спорят друг с другом.
«Форма символа та же. Цвет — новое знание: кто и когда его написал»
5.4. Вместо вывода
В этой статье мы сознательно не строили полноценную новую теорию.
Мы сделали гораздо более скромный шаг:
ввели раскраску как технический приём;
показали, как она позволяет:
разложить несовместимые описания по разным задачам,
отследить места скрытых «склеек»,
снять необходимость в физическом «дальнодействии» в EPR-сценариях;
и только в самом конце указали, что за этой раскраской стоит более общий принцип:
в реальных теоретических рассуждениях неизбежно появляется
третий тип математического знания —
знание о том, кто, когда и какую модель применяет в процессе построения.
Тем, кто захочет пойти дальше — к строгой формулировке этого нового типа знания, к понятию относительной строгости и к систематическому учёту действий наблюдателей — придётся выйти за рамки этой статьи и обратиться к более развёрнутому изложению.
Но даже в таком ограниченном виде уже видно главное:
несовместимость описаний не равна противоречию,
парадоксы часто рождаются не из теории, а из скрытых переходов между моделями,
а аккуратная работа с этими переходами — включая учёт «цвета символов» — сама по себе является новым, отдельным объектом исследования.
Как-то так.
Это и мягко подводит к третьему типу знания, и не заваливает читателя полной конструкцией относительной математики.
Кому «зайдёт» — пойдёт за подробностями в книгу. Кого «добьёт» — тот хотя бы честно признает, что проблема несовместимых описаний — не про вкусы интерпретаций, а про устройство самого математического рассуждения.
