I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of $\pm2$ on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of $\pm2\,$ it sets out to prove. Once this oversight is ameliorated from Bell's argument by identifying the impediment that leads to it and local realism is implemented correctly, the bounds on the Bell-CHSH sum of expectation values work out to be ${\pm2\sqrt{2}}$ instead of ${\pm2}$, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by any of the Bell-test experiments is not local realism but the linear additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with. I also identify similar oversight in the GHZ variant of Bell's theorem, invalidating its claim of having found an inconsistency in the premisses of the argument by EPR for completing quantum mechanics. Conceptually, the oversight in both Bell's theorem and its GHZ variant traces back to the oversight in von Neumann's theorem against hidden variable theories identified by Grete Hermann in the 1930s.
В данной статье утверждается, что теорема Белла основана на циклическом аргументе и представляет собой принципиально ошибочное доказательство. Автор указывает, что теорема Белла необоснованно предполагает аддитивность математических ожиданий некоммутирующих наблюдаемых в бездисперсионных состояниях, что эквивалентно предположению о границах ±2 для суммы математических ожиданий Белла-CHSH. После исправления этого упущения и правильной реализации локального реализма границы суммы Белла-CHSH должны составлять ±2√2, а не ±2, что опровергает выводы теоремы Белла. Таким образом, эксперименты Белла исключают не локальный реализм, а линейную аддитивность математических ожиданий — что изначально неприменимо к некоммутирующим наблюдаемым. Автор также выявляет аналогичные упущения в вариантах GHZ и прослеживает эти проблемы до ошибок в теореме фон Неймана, выявленных Гретой Герман в 1930-х годах.
Данная статья ставит целью оспорить одно из наиболее важных результатов в основаниях квантовой механики — теорему Белла. Теорема Белла утверждает, что никакая теория скрытых переменных с локальным причинным реализмом, предусмотренная Эйнштейном, не может воспроизвести все предсказания квантовой механики.
Выявление циклического аргумента: Доказательство того, что ключевой шаг теоремы Белла — предположение об аддитивности математических ожиданий (уравнение 23) — эквивалентно заключению, которое требуется доказать (границы ±2), что составляет циклический аргумент.
Математическое доказательство: Посредством прямого и обратного вывода доказывается, что предположение об аддитивности математических ожиданий эквивалентно предположению о границах ±2, причём оба утверждения являются необходимыми и достаточными условиями друг для друга.
Правильное вычисление собственных значений: Вывод правильных собственных значений суммирующего оператора (уравнение 40), включающих вклад некоммутирующей части, что даёт правильные границы ±2√2.
Критика варианта GHZ: Выявление ошибки в применении правила произведения (Product Rule) к некоммутирующим операторам в аргументе GHZ, доказательство посредством прямого вычисления того, что заявленное противоречие не существует.
Переинтерпретация варианта Hardy: Утверждение о том, что «доказательство нелокальности» Харди фактически является частным случаем теоремы Кохена-Спеккера, исключающей не локальность, а неконтекстуальность.
Исторические связи: Прослеживание ошибок в теореме Белла, варианте GHZ и теореме фон Неймана до одного и того же концептуального источника — неправомерного применения линейных/мультипликативных правил к некоммутирующим операторам.
Поскольку B = ±1, если |B(b) + B(b')| = 2, то |B(b) - B(b')| = 0, и наоборот. Следовательно, абсолютное значение подынтегрального выражения ≤ 2, откуда получаем:
Автор доказывает противоположное направление: из границ ±2 можно вывести аддитивность математических ожиданий.
Ключевое наблюдение: естественные границы суммы четырёх независимых интегралов составляют ±4 (каждый интеграл ±1). Единственный законный способ сжать границы до ±2 — это:
∑∫ → ∫∑
то есть предположить аддитивность математических ожиданий.
Впервые систематически доказано, что предпосылки и выводы теоремы Белла являются необходимыми и достаточными условиями друг для друга, раскрывая сущность циклического аргумента.
Посредством методов алгебры Клиффорда впервые явно вычислена некоммутирующая часть суммирующего оператора (уравнения 41-42), что отсутствовало в предыдущей литературе.
Ошибки в теореме Белла, варианте GHZ, варианте Hardy и теореме фон Неймана прослеживаются до одного источника — проблеме, выявленной Гретой Герман в 1930-х годах.
Подчёркивается, что в контекстуальной теории скрытых переменных значение наблюдаемой зависит от полного экспериментального контекста c, а не является внутренним свойством.
Данная работа является чисто теоретической и не включает экспериментальные данные. Однако автор:
Ссылается на существующие эксперименты: Обсуждает общую установку экспериментов Белла (рисунок 1)
Ссылается на численное моделирование: Цитирует численное моделирование из литературы 13, показывающее, что при учёте некоммутирующести действительно получаются границы ±2√2
Предлагает проверяемые предсказания: В литературе 8,15 предлагаются макроскопические экспериментальные схемы, которые могут проверить четырёхмерную модель 3-сферы автора
Теорема (неформальная): В выводе теоремы Белла предположение об аддитивности математических ожиданий (уравнение 23) и границы ±2 (уравнение 26) являются необходимыми и достаточными условиями друг для друга.
Аддитивность применима только к коммутирующим операторам: Уравнение (43) явно показывает, что для некоммутирующих операторов:
ω̃(c̃,λ) ≠ ω₁(c₁,λ) + ω₂(c₂,λ) + ...
Геометрическое происхождение: Границы ±2√2 возникают из геометрии физического пространства (границы вектора n), а не из нелокальности.
Истинные требования реализма: Реализм требует, чтобы все наблюдаемые (включая суммирующий оператор) имели определённые значения, но не требует, чтобы эти значения линейно складывались.
Историческая согласованность: Ошибка в теореме Белла имеет тот же источник, что и ошибка в теореме фон Неймана — неправомерное применение линейных правил к некоммутирующим операторам.
Автор приходит к шести ключевым выводам (раздел X):
Требования к предпосылкам: Вывод теоремы Белла должен соответствовать требованиям формализма контекстуальной теории скрытых переменных (предписание 10)
Аддитивность — это предположение: Уравнение (23) является дополнительным предположением, действительным только для коммутирующих операторов и противоречащим реализму
Нелинейная природа: В бездисперсионных состояниях математические ожидания некоммутирующих наблюдаемых не складываются линейно
Правильные границы: При использовании правильных собственных значений (уравнение 40) границы составляют ±2√2
Логический цикл: Предположение об аддитивности и границы ±2 являются необходимыми и достаточными условиями друг для друга
Физический смысл: Уравнение (23) применимо только к классической физике и коммутирующим операторам
Итоговое утверждение:
"Bell's theorem assumes its conclusion in a different guise, and is thus invalid on logical grounds."
(Теорема Белла предполагает свой вывод в другом виде и, таким образом, логически несостоятельна.)
Это чрезвычайно спорная, но технически строгая статья. Автор Joy Christian с огромной смелостью и детальным математическим анализом оспаривает один из наиболее важных результатов в основаниях квантовой механики.
Чётко различает обработку коммутирующих и некоммутирующих операторов
Предоставляет детальный математический вывод и исторические связи
Демонстрирует дух научной критики
Основные ограничения:
Основное сообщество квантовых основ ещё не принимает
Некоторые ключевые аргументы остаются спорными
Отсутствует решающая экспериментальная поддержка
Определение «циклического аргумента» может быть чрезмерно строгим
Окончательная оценка: Независимо от того, согласны ли вы с выводами автора, эта статья заслуживает серьёзного внимания. Поднятый вопрос — должны ли математические ожидания некоммутирующих операторов линейно складываться — является глубоким концептуальным вопросом, достойным глубокого размышления исследователей квантовых основ. Даже если в конечном итоге будет доказано, что автор ошибается, сам этот процесс углубит наше понимание теоремы Белла и основ квантовой механики. Это именно то, как происходит научный прогресс.