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.
논문ID : 2302.09519제목 : Bell's Theorem Begs the Question저자 : Joy Christian (Einstein Centre for Local-Realistic Physics, Oxford)분류 : physics.gen-ph발표시간 : 2023년 2월 (최신 버전 2025년 11월)논문링크 : https://arxiv.org/abs/2302.09519 본 논문은 Bell 정리가 순환논증에 기초하고 있으며 근본적으로 결함이 있는 논증임을 주장한다. 저자는 Bell 정리가 비가환 관측량의 무색산 상태(dispersion-free states)에서의 기댓값의 가법성을 부당하게 가정하고 있으며, 이는 Bell-CHSH 기댓값 합의 한계를 ±2로 가정하는 것과 동치임을 지적한다. 이러한 오류를 수정하고 국소 실재론을 올바르게 구현하면, Bell-CHSH 합의 한계는 ±2가 아니라 ±2√2이어야 하므로 Bell 정리의 결론이 무너진다. 따라서 Bell 실험이 배제하는 것은 국소 실재론이 아니라 기댓값의 선형 가법성이며, 이는 원래 비가환 관측량에 적용되지 않는다. 저자는 또한 GHZ 변형에서 유사한 오류를 식별하고, 이러한 문제들을 1930년대 Grete Hermann이 식별한 von Neumann 정리의 오류로 추적한다.
본 논문은 양자역학 기초에서 가장 중요한 결과 중 하나인 Bell 정리에 도전하는 것을 목표로 한다. Bell 정리는 Einstein이 구상한 국소 인과 실재론적 숨은변수 이론이 양자역학의 모든 예언을 재현할 수 없다고 주장한다.
Bell 정리는 20세기 물리학에서 가장 중요한 이론적 성과 중 하나로 광범위하게 인정받고 있으며:
국소 실재론을 근본적으로 배제하는 것으로 간주됨 양자 비국소성에 대한 이론적 기초 제공 양자정보, 양자계산 등 분야의 발전에 영향 양자역학의 본질에 대한 이해 형성 Bell 정리가 1964년 제시된 이후 광범위하게 수용되었지만:
처음부터 의문과 도전에 직면 (저자 자신의 여러 논문 포함) 여러 암묵적 및 명시적 물리적 가정에 의존 von Neumann 정리와 유사하게 감지하기 어려운 부당한 가정을 포함할 가능성 GHZ 변형 및 Hardy 변형도 개념적 문제 존재 저자의 핵심 동기:
Bell 정리의 순환논증(petitio principii) 노출 기댓값 가법성 가정이 비가환 연산자에 성립하지 않음을 증명 올바른 국소 실재론 한계가 ±2√2임을 보이기 (Tsirel'son 한계) 국소 실재론적 숨은변수 이론 옹호 본 논문의 주요 기여:
순환논증 식별 : Bell 정리의 핵심 단계인 기댓값의 선형 가법성 가정(방정식 23)이 증명하려는 결론(±2 한계)과 동치임을 증명하여 순환논증 구성.수학적 증명 : 정방향 및 역방향 유도를 통해 기댓값 가법성 가정이 ±2 한계 가정과 동치임을 증명하며, 둘은 필요충분조건.올바른 고유값 계산 : 합 연산자의 올바른 고유값 도출(방정식 40), 비가환 부분의 기여 포함, ±2√2의 올바른 한계 획득.GHZ 변형 비판 : GHZ 논증에서 비가환 연산자에 대한 곱 규칙(Product Rule)의 부당한 사용 오류 식별, 직접 계산을 통해 주장된 모순이 존재하지 않음을 증명.Hardy 변형 재해석 : Hardy의 "비국소성 증명"이 실제로는 Kochen-Specker 정리의 사례이며, 배제하는 것은 비국소성이 아니라 비문맥성임을 주장.역사적 연결 : Bell 정리, GHZ 변형, von Neumann 정리의 오류를 동일한 개념적 근원으로 추적 — 비가환 연산자에 대한 선형/곱 규칙의 부당한 적용.저자는 von Neumann의 형식화 틀을 채택:
양자 상태 : |ψ⟩ ∈ H (Hilbert 공간)완전 상태 : |ψ, λ⟩ := {|ψ⟩, λ} ∈ H ⊗ L (확장 공간)무색산 조건 : (ψ, λ|Ω|ψ, λ) = ω(λ), 즉 관측량 Ω이 상태 |ψ, λ⟩에서 확정값을 가짐기본 가정(방정식 6):
⟨ψ|Ω|ψ⟩ = ∫_L (ψ, λ|Ω|ψ, λ) p(λ) dλ = ∫_L ω(λ) p(λ) dλ
문맥 숨은변수 이론의 경우(방정식 10):
⟨ψ|Ω(c)|ψ⟩ = ∫_L ω(c, λ) p(λ) dλ
여기서 c는 측정 문맥을 나타냄.
단일 상태 고려:
|Ψ⟩ = 1/√2 {|k,+⟩₁⊗|k,-⟩₂ - |k,-⟩₁⊗|k,+⟩₂}
국소성 조건(방정식 18):
여기서 A,B = ±1은 측정 결과.
Bell 유도의 핵심은 방정식(23):
E(a,b) + E(a,b') + E(a',b) - E(a',b')
= ∫_L {AB(a,b,λ) + AB(a,b',λ) + A'B(a',b,λ) - A'B'(a',b',λ)} p(λ) dλ
이 단계는 네 개의 독립적인 적분의 합을 단일 적분 내의 합으로 변환.
피적분함수 활용:
A(a,λ){B(b,λ) + B(b',λ)} + A(a',λ){B(b,λ) - B(b',λ)}
B = ±1이므로, |B(b) + B(b')| = 2이면 |B(b) - B(b')| = 0이고, 그 역도 성립. 따라서 피적분함수의 절댓값 ≤ 2이므로:
-2 ≤ E(a,b) + E(a,b') + E(a',b) - E(a',b') ≤ +2
저자는 역방향을 증명: ±2 한계에서 기댓값 가법성을 유도할 수 있음.
핵심 관찰: 네 개의 독립적인 적분의 합의 자연스러운 한계는 ±4 (각 적분 ±1). 한계를 ±2로 압축하는 유일한 합법적 방법:
즉, 기댓값 가법성 가정.
따라서 증명:
정방향 : 가법성 ⇒ ±2 한계역방향 : ±2 한계 ⇒ 가법성결론 : 둘은 필요충분조건이며 순환논증 구성합 연산자의 경우:
Ω̃(c̃) = σ₁·a⊗σ₂·b + σ₁·a⊗σ₂·b' + σ₁·a'⊗σ₂·b - σ₁·a'⊗σ₂·b'
이 항들은 비가환(방정식 38):
[σ₁·a⊗σ₂·b, σ₁·a⊗σ₂·b'] = 2σ·{(a×b')×(a×b)} ≠ 0
부록 C의 상세 계산을 통해, 합 연산자는 다음과 같이 쓸 수 있음:
Ω̃² = {commuting part}² + Θ̃
여기서 Θ̃ = 2σ·n은 비가환 부분.
ω̃ = ±√[{AB + AB' + A'B - A'B'}² + (Ψ,λ|Θ̃|Ψ,λ)]
Bell이 가정한 단순 합이 아님:
ω̃ ≠ AB + AB' + A'B - A'B' (오류)
부록 D를 통한 증명: 0 ≤ ||n|| ≤ 2이므로:
가환 부분의 ±2 한계와 결합:
이것이 정확히 Tsirel'son 한계!
4-입자 상태:
|Ψz⟩ = 1/√2{|z,+⟩₁⊗|z,+⟩₂⊗|z,-⟩₃⊗|z,-⟩₄ - |z,-⟩₁⊗|z,-⟩₂⊗|z,+⟩₃⊗|z,+⟩₄}
GHZ는 다음 단계를 통해 모순을 주장:
완벽한 상관관계에서 방정식(65a-d) 도출 세 방정식 곱하기(방정식 76-79):
ω(c')·ω(c'')·ω(c''') = (-1)×(-1)×(-1) = -1
단순화하여 방정식(80) 얻고 (65d)와 비교 A(2φ) = A(0) 도출(방정식 82) A(π) = -A(0)과 모순 핵심 오류는 단계 2: 비가환 연산자에 곱 규칙(Product Rule) 적용.
세 연산자 Ω(c'), Ω(c''), Ω(c''')는 비가환:
따라서:
ω̃(c̃) ≠ ω(c')·ω(c'')·ω(c''') (방정식 71)
곱을 직접 계산하면:
Ω̃ = Ω(c')Ω(c'')Ω(c''') = (σ·x)₁⊗(σ·x)₂⊗[σ·p(-φ)]₃⊗[σ·p(+φ)]₄
완벽한 상관관계 조건 φ₁+φ₂-φ₃-φ₄=0을 만족하며, 고유값은 -1.
좌수 좌표계에서 부호 반전 고려:
ω̃ = A(0)B(0)C(+φ)D(+φ) = +1 (방정식 101)
이는 A(2φ) = -A(0)(방정식 89)을 제공하며, A(π) = -A(0)과 일치하므로 모순 없음!
저자는 Hardy의 논증이 실제로는 Kochen-Specker 정리의 구현임을 증명:
Hardy는 "비국소성" 증명을 주장 그러나 그의 추론은 측정 문맥을 무시 문맥을 올바르게 고려하면, 다른 문맥 CU ≠ CD에서의 결과:
U₁(CU,λ)U₂(CU,λ) = 0 vs U₁(CD,λ)U₂(CD,λ) = 1
이는 모순이 아니라 문맥 의존성의 체현 Bell 정리의 전제와 결론이 필요충분조건임을 처음으로 체계적으로 증명하여 순환논증의 본질 노출.
Clifford 대수 방법을 통해 합 연산자의 비가환 부분을 처음으로 명시적으로 계산(방정식 41-42), 이전 문헌에서 결여된 부분.
±2√2 한계를 비국소성이 아닌 물리 공간의 기하학적 구조(부록 D)로 추적.
Bell 정리, GHZ 변형, Hardy 변형, von Neumann 정리의 오류를 동일한 근원으로 추적 — 1930년대 Grete Hermann이 식별한 문제.
문맥 숨은변수 이론에서 관측량의 값이 완전한 실험 문맥 c에 의존하며, 내재적 속성이 아님을 강조.
본 논문은 순수 이론 작업이며 실험 데이터를 포함하지 않음. 그러나 저자:
기존 실험 인용 : Bell 실험의 일반적 설정 논의(그림 1)수치 시뮬레이션 참고 : 문헌13 의 수치 시뮬레이션 인용, 비가환성을 고려하면 실제로 ±2√2 한계를 얻음을 보임검증 가능한 예언 제시 : 참고문헌8,15 에서 거시적 실험 설계 제시, 그의 사원수 3-구 모델 검증 가능정리(비형식적) : Bell 정리의 유도에서, 기댓값 가법성 가정(방정식 23)과 ±2 한계(방정식 26)는 필요충분조건.
증명 요점 :
정방향: 제IV.1절의 표준 유도 역방향: 제IV.2절에서 ±2 한계에서 가법성 가정을 통해서만 도출 가능함을 증명 결론: 순환논증(petitio principii) 구성 정리 : 국소 실재론을 올바르게 구현하면, Bell-CHSH 상관 함수의 한계:
-2√2 ≤ E(a,b) + E(a,b') + E(a',b) - E(a',b') ≤ +2√2
유도 :
합 연산자 고유값(방정식 40) 비가환 부분 한계(방정식 45): -4 ≤ (Ψ,λ|Θ̃|Ψ,λ) ≤ +4 결합하여 도출(방정식 46-48) 결과 : GHZ가 주장한 모순은 비가환 연산자에 곱 규칙을 부당하게 적용한 데서 비롯.
올바른 계산 (방정식 87-90):
A(2φ) = -A(0) (올바름)
A(π) = -A(0) (EPR 완벽한 상관관계)
둘이 일치하므로 모순 없음.
저자는 스핀-1/2 입자의 예를 사용하여 설명:
σx와 σy의 고유값은 모두 ±1 그러나 σx + σy의 고유값은 ±√2 따라서: (±1) + (±1) ≠ ±√2 이는 기댓값 가법성이 비가환 연산자에 성립하지 않는 이유를 명확히 보여줌.
저자는 제V절에서 일반적인 통계적 변론 논의:
주장: 네 개의 부분 실험을 독립적으로 수행한 후 평균값 합산 가능 반박: 관측량의 비가환성 무시 수치 검증: 비가환성 고려 후 실제로 ±2√2 획득 가법성은 가환 연산자에만 성립 : 방정식(43)은 비가환 연산자에 대해 명확히 표시:ω̃(c̃,λ) ≠ ω₁(c₁,λ) + ω₂(c₂,λ) + ...
기하학적 기원 : ±2√2 한계는 비국소성이 아닌 물리 공간의 기하학(벡터 n의 한계)에서 비롯.실재론의 진정한 요구 : 실재론은 모든 관측량(합 연산자 포함)이 확정값을 가질 것을 요구하지만, 이 값들이 선형으로 더해질 것을 요구하지는 않음.역사적 일관성 : Bell 정리의 오류는 von Neumann 정리의 오류와 동일한 근원, 즉 비가환 연산자에 선형 규칙을 부당하게 적용한 것.von Neumann 정리(1932) 주장: 모든 숨은변수 이론은 불가능 오류: 모든 연산자의 기댓값 함수가 선형이라고 가정 비판자: Grete Hermann (1935), Bell (1966), Mermin & Schack (2018) Bell 정리(1964) 주장: 국소 숨은변수 이론은 불가능 본 논문의 주장: von Neumann과 유사한 오류 범함 역사: 처음부터 의문에 직면 Kochen-Specker 정리(1967) 배제: 비문맥 숨은변수 이론 허용: 문맥 숨은변수 이론 본 논문과의 관계: 저자의 문맥성 입장 지지 Clauser-Horne (1974) Bell과 유사한 부등식 방법 본 논문 평가: 동일한 결함 보유 GHZ (1990) 부등식 없음, 대수적 모순 주장 본 논문 비판: 곱 규칙의 부당한 사용 Hardy (1993) "비국소성 증명" 주장 본 논문 재해석: 실제로는 Kochen-Specker 정리 저자는 사원수 3-구 기반의 국소 실재론 틀을 여러 논문에서 발전:
5,6 : 기본 모델10,14,16 : 종합 틀15 : 단일 상태 상관관계의 대칭 유도24 : GHZ 및 Hardy 예언 재현Grete Hermann (1935) : von Neumann 정리에서 비가환 연산자의 부당한 처리 최초 식별Bohm & Bub (1966) : 기댓값 함수의 비선형 형식 논의Shimony (1984) : 문맥 숨은변수 이론의 논의저자는 여섯 가지 핵심 결론을 도출(제X절):
전제 요구 : Bell 정리의 유도는 문맥 숨은변수 이론의 형식화 요구를 준수해야 함(처방 10)가법성은 가정 : 방정식(23)은 추가 가정이며, 가환 연산자에만 유효하고 실재론과 모순비선형 본질 : 무색산 상태에서 비가환 관측량의 기댓값은 선형으로 더해지지 않음올바른 한계 : 올바른 고유값(방정식 40) 사용 후, 한계는 ±2√2논리적 순환 : 가법성 가정과 ±2 한계는 필요충분조건물리적 의미 : 방정식(23)은 고전 물리 및 가환 연산자에만 유효요약 진술 :
"Bell의 정리는 다른 형태로 그 결론을 가정하며, 따라서 논리적 근거에서 타당하지 않다."
저자가 명시적으로 논의하지는 않았지만, 다음을 식별할 수 있음:
논쟁성 : 광범위하게 수용된 Bell 정리에 도전하여 거대한 저항 직면수학적 복잡성 : 사원수 및 Clifford 대수 틀이 대부분의 물리학자에게 생소실험 검증 : 저자의 대안 이론이 아직 결정적 실험 검증 부족주류 수용도 : arXiv 발표이며 주류 저널이 아님, 수용도 문제 반영실험 검증 : 저자가 8,15 에서 제시한 거시적 실험일반화 적용 : 다른 양자 상관 실험으로 분석 확대수학적 정교화 : Clifford 대수 틀의 추가 발전교육 추진 : Bell 정리에 대한 표준 이해 변화양방향 증명 : 정방향 및 역방향 유도로 순환논증 증명, 논리 완전수학적 세밀함 : 부록의 계산 상세, 검증 가능역사적 일관성 : 여러 정리의 오류를 동일 근원으로 추적명확한 구분 : 가환 및 비가환 연산자의 처리문맥성 강조 : 문맥 숨은변수 이론의 올바른 이해물리적 직관 : 간단한 예(스핀 연산자)로 추상 개념 설명명시적 계산 : 비가환 부분의 완전한 유도(부록 C)기하학적 해석 : 양자 한계와 공간 기하학 연결통일된 틀 : Bell, GHZ, Hardy 세 변형 처리물리학에서 가장 신성한 정리 중 하나에 도전하여 과학적 비판 정신 전시
발표 채널 : arXiv이며 동료 검토 저널 아님분류 논쟁 : physics.gen-ph는 종종 비주류로 간주인용 제한 : 주류 양자 기초 문헌에서 거의 인용 안 됨순환논증의 정의 : 진정한 순환논증인지 논쟁의 여지반대 입장: 가법성은 수학적 성질이지 물리적 가정 아님 저자 입장: 비가환 연산자에 대해 가법성은 물리적 증명 필요 실재론의 정의 : 저자의 실재론 이해가 주류와 다를 수 있음주류: 모든 관측량이 동시에 확정값 (Kochen-Specker로 배제) 저자: 문맥적 확정값 (주류는 비표준으로 간주) 논쟁점 A: 방정식(40)의 정확성
저자 주장:
ω̃ = ±√[{고유값의 합}² + ⟨Θ̃⟩]
그러나:
이것이 합 연산자의 진정한 고유값인가? 기댓값 ⟨Θ̃⟩이 고유값 표현식에 나타나야 하는가? 고유값은 상태와 무관해야 하는데, 여기는 상태 의존적 논쟁점 B: 통계적 논증
저자가 제V절에서 통계적 변론 비판:
Bell 실험은 실제로 다른 시간에 네 그룹의 측정 수행 통계적 독립성 가정 p(λ|a,b) = p(λ)는 표준 저자의 비판이 고유값과 기댓값 수준을 혼동할 수 있음 방정식(87)의 유도 : "≠ -1"에서 "반드시 +1"로의 논리적 도약문맥 혼동 : 저자 자신도 다른 문맥 간 결과 비교직접 계산의 해석 : 방정식(91-98)의 계산은 정확하지만 해석 논쟁의 여지실험 결과 : Bell 실험은 실제로 ±2 한계 위반 관측저자의 해석 : 실험이 배제하는 것은 가법성이지 국소성 아님문제 : 실험에서 이 두 해석을 어떻게 구분할 것인가?개념 명확화 : Bell 정리의 가정 재검토 촉진교육적 가치 : 비가환 연산자의 특수성 강조대안 틀 : 국소 실재론에 가능한 출구 제공학제간 : 양자 기초, 대수, 기하학 연결주류 저항 : 양자 기초 커뮤니티 대부분 불수용실험 지지 부족 : 저자의 대안 이론을 지지하는 결정적 실험 없음기술적 장벽 : 사원수 및 Clifford 대수의 복잡성패러다임 관성 : Bell 정리에 대한 표준 이해 변경 극히 어려움양자 기초 연구자 : Bell 정리 기본 가정에 관심 있는 학자숨은변수 이론 애호가 : 국소 실재론 가능성 추구하는 연구자수학 물리학자 : Clifford 대수 및 기하 대수 관심자과학 철학자 : 양자역학 해석 연구 학자표준 양자정보 : 주류 양자 계산 및 양자 통신 연구실험 물리 : Bell 실험의 실제 설계 및 실행양자 기술 응용 : 양자 얽힘 기반 실용 기술수학 유도 : 부록의 계산을 독립적으로 검증 가능논리 논증 : 순환논증의 양방향 증명 검사 가능GHZ 계산 : 방정식(91-98)의 대수 반복 가능저자가 다른 논문에서 제시:
거시적 회전 실험8 사원수 3-구 모델의 예언15 그러나 아직 실험 실시 없음 Bell 정리 논쟁의 핵심은 실재론 과 국소성 의 이해에 있음:
표준 관점 :
실재론 = 모든 관측량이 동시에 확정값 보유 Kochen-Specker 정리가 이러한 실재론 배제 Bell 정리가 추가로 국소성 요구 결론: 국소 실재론 불가능 저자의 관점 :
실재론 = 문맥적 확정값 Kochen-Specker는 비문맥성만 배제 Bell 정리는 가법성을 오류로 가정 결론: 문맥적 국소 실재론 여전히 가능 이 논쟁은 깊은 철학적 문제 포함:
실재론의 본질 : 물리량이 관측 독립적 값을 가지는가?문맥성의 지위 : 문맥 의존성이 실재론을 약화시키는가?수학과 물리 : 수학적 가법성이 물리적 가법성을 필연적으로 함축하는가?저자가 직면한 도전은 과학적일 뿐만 아니라 사회학적:
패러다임 고착 : Bell 정리가 양자역학 교과서 내용으로 정착직업적 위험 : 주류 관점에 도전하는 학문적 위험발표 어려움 : 주류 저널이 발표 거부할 가능성동료 검토 : 평가자 대부분 표준 관점 보유Bell (1964) : 원본 Bell 정리von Neumann (1932) : 수학적 기초Hermann (1935) : von Neumann에 대한 비판Kochen & Specker (1967) : 문맥성 정리Christian (2019) : 사원수 모델 IEEE Access Christian (2018) : Clifford 대수 틀 R. Soc. Open Sci. Christian (2024) : 단일 상태 상관관계의 대칭 유도 Int. J. Theor. Phys. Mermin & Schack (2018) : von Neumann 정리의 현대 분석Shimony (1984) : 문맥 숨은변수 이론이는 극도로 논쟁적이지만 기술적으로 엄밀한 논문이다. 저자 Joy Christian은 엄청난 용기와 상세한 수학 분석으로 양자역학 기초에서 가장 중요한 결과 중 하나인 Bell 정리에 도전한다.
논문의 핵심 가치 :
Bell 정리의 숨은 가정 재검토 강제 가환 및 비가환 연산자의 다른 처리 명확화 상세한 수학 유도 및 역사적 연결 제공 과학적 비판 정신 전시 주요 한계 :
주류 양자 기초 커뮤니티가 아직 수용하지 않음 일부 핵심 논증점에 논쟁의 여지 존재 결정적인 실험 지지 부족 "순환논증"의 정의가 과도할 수 있음 최종 평가 : 저자의 결론에 동의하든 아니든, 이 논문은 진지하게 검토할 가치가 있다. 비가환 연산자의 기댓값이 선형으로 더해져야 하는가라는 질문은 깊은 개념적 문제이며, 이를 탐구하는 과정 자체가 Bell 정리와 양자역학 기초에 대한 우리의 이해를 심화시킬 것이다. 최종적으로 저자가 틀렸다는 것이 증명되더라도, 이 과정은 과학 진보의 방식이다.