국소 실재론

양자역학 물리 계산물리 마지막 수정: 2026-09-02 04:27:41

1. 개요[편집]

국소 실재론 Local Realism
구성 가정	실재성 + 국소성 (+ 측정 독립성)
수학적 정식화	인수분해 가능성 (factorizability)
쪼개면	파라미터 독립성 · 결과 독립성
양자역학이 어기는 쪽	결과 독립성 (파라미터 독립성은 유지)
정량적 한계	CHSH $S\le2$ · 양자 $2\sqrt2$ · 무신호 $4$
실험적 지위	2015년 허점 없는 실험들로 배제

“달은 아무도 안 볼 때도 거기 있는가”라는 아인슈타인의 물음은, 알고 보니 각도 네 개짜리 실험으로 판정할 수 있는 질문이었다.

국소 실재론(local realism)은 (가) 측정 결과가 측정 이전부터 계에 속한 성질로 정해져 있고, (나) 어떤 곳에서 한 조작도 공간꼴로 분리된 다른 곳의 그 성질을 즉시 바꿀 수 없다는 두 가정의 결합이다. 고전물리학이 400년 동안 아무 의심 없이 깔고 있던 세계상이고, 벨 정리와 그 실험이 자연에서 성립하지 않음을 보인 명제이기도 하다.¹

이 문서가 맡는 것은 이 결합이 정확히 무엇을 가정하고, 그것이 몇 개의 독립된 조각으로 쪼개지는가다. CHSH 부등식의 유도·최적 각도·허점의 상세·유한 표본 통계는 벨 부등식이, EPR 논변의 역사와 해석 지형도는 숨은 변수 이론이 담당하므로 여기서는 필요한 만큼만 인용하고 넘긴다. 대신 이 문서 고유의 질문은 하나다 — 국소 실재론 모형은 양자를 어디까지 흉내 낼 수 있고, 흉내 내려면 무엇을 얼마나 더 부어야 하는가. 그 답이 수치 실무자에게 의외로 쓸모가 있다.

2. EPR의 「실재의 요소」[편집]

정식화의 출발점은 1935년 EPR 논문의 충분조건이다.

계를 어떤 식으로도 교란하지 않고 어떤 물리량의 값을 확률 1로 예측할 수 있다면, 그 물리량에 대응하는 실재의 요소가 존재한다.

주의할 점은 이것이 “실재란 무엇인가”에 대한 정의가 아니라 충분조건이라는 것이다. EPR은 형이상학 논쟁을 피하려고 일부러 약한 기준을 골랐고, 그래서 논증이 그만큼 강해졌다. 스핀 싱글릿에서 앨리스가 $z$ 를 재면 밥의 $z$ 결과를 확실히 예측할 수 있고, 국소성을 인정하면 앨리스의 행위가 밥 쪽을 건드리지 않았으므로 밥 쪽에는 그 값이 실재 요소로 있어야 한다. 축을 바꿔 가며 같은 논증을 반복하면 서로 비가환인 관측량들에 동시에 값이 부여되고, 양자역학은 그것을 못 하므로 불완전하다 — 이것이 EPR의 결론이다. 논증의 역사적 맥락은 숨은 변수 이론에 있다.

여기까지는 반증 불가능한 철학이었다. 벨이 한 일은 이 두 가정을 확률 모형의 형태로 적어 실험 가능한 부등식으로 바꾼 것이다.

3. 정식화 — 인수분해 가능성[편집]

앨리스가 설정 $x$ 로 결과 $a$ 를, 밥이 설정 $y$ 로 결과 $b$ 를 얻는다고 하자. 국소 실재론 모형이란 다음을 만족하는 숨은 변수 $\lambda$ 와 분포 $\rho(\lambda)$ 가 존재한다는 주장이다.

P(a,b \mid x,y) = \int d\lambda\; \rho(\lambda)\; P(a\mid x,\lambda)\,P(b\mid y,\lambda)

이 한 줄이 인수분해 가능성(factorizability)이고, 국소 실재론의 전부다. 여기에 암묵적으로 하나가 더 붙는다.

\rho(\lambda \mid x,y) = \rho(\lambda)

측정 독립성(measurement independence), 또는 자유선택 조건이다. 설정을 고르는 난수가 $\lambda$ 와 무상관이라는 요구이며, 이것이 없으면 위 적분 자체를 쓸 수 없다.

3.1. 결정론이 아니어도 된다[편집]

위 식에서 $P(a\mid x,\lambda)$ 는 확률이지 확정값이 아니다. “실재론이니까 결과가 미리 정해져 있어야 하는 것 아니냐”는 흔한 오해인데, 결정론을 요구할 필요가 없다. 파인 정리(1982)에 따르면 CHSH 시나리오에서 다음 셋은 동치다.

인수분해 가능한 확률적 국소 숨은 변수 모형이 존재한다.
결정론적 국소 숨은 변수 모형이 존재한다( $\lambda$ 가 모든 설정의 결과를 확정한다).
네 관측량 전부에 대한 하나의 결합확률분포가 존재해 주변분포로 관측 통계를 재현한다.

증명 아이디어는 간단하다 — 국소 확률을 균등난수 하나를 $\lambda$ 에 흡수시켜 결정론화하면 된다. 그래서 벨 부등식을 유도할 때 “결과가 미리 정해져 있다”고 가정해도 일반성을 잃지 않는다. 결정론은 가정이 아니라 정리다.²

3.2. 국소성을 쪼개기 — 파라미터 독립성 대 결과 독립성[편집]

여기가 이 문서의 핵심이다. 인수분해 가능성은 사실 두 개의 논리적으로 독립인 조건의 곱이다(재럿 1984, 시모니).

파라미터 독립성(parameter independence): $P(a\mid x,y,\lambda) = P(a\mid x,\lambda)$ . 앨리스의 결과 확률이 밥이 무엇을 재기로 골랐는지에 의존하지 않는다.
결과 독립성(outcome independence): $P(a\mid x,y,b,\lambda) = P(a\mid x,y,\lambda)$ . $\lambda$ 를 알고 있다면, 밥이 무엇을 얻었는지를 추가로 알아도 앨리스의 확률이 안 바뀐다.³

곱셈 정리로 $P(a,b\mid x,y,\lambda) = P(a\mid x,y,\lambda)P(b\mid x,y,a,\lambda)$ 를 쓰고 두 조건을 넣으면 인수분해가 정확히 복원된다. 즉

\text{인수분해 가능성} \iff \text{파라미터 독립성} \wedge \text{결과 독립성}

이 분해가 왜 중요한가. 표준 양자역학은 파라미터 독립성을 지키고 결과 독립성만 어긴다. 앨리스 쪽 축소밀도행렬은 밥의 설정과 무관하지만(무통신 정리, 증명은 양자 얽힘), 두 결과는 상관되어 있어 밥의 결과를 알면 앨리스의 조건부 확률이 바뀐다. 어기는 쪽이 결과 독립성이므로 신호를 보낼 수 없고, 그래서 벨 부등식 위반이 상대성이론과 평화롭게 공존한다.

반면 드브로이–봄 역학은 반대다. 숨은 변수(입자 위치) 수준에서 앨리스의 측정 설정이 밥 입자의 궤적을 즉각 바꾼다 — 파라미터 독립성 위반이다. 관측 통계 수준에서는 양자 평형 가정이 이 의존성을 정확히 덮어 버려 무신호가 유지된다. 같은 실험 통계를 내는 두 이론이 서로 다른 조각을 포기하는 것이고, “비국소성”이라는 한 단어가 얼마나 거친 요약인지 보여 주는 대목이다.

4. 얼마나 강한 상관까지 허용되는가[편집]

CHSH 값 $S=|E(a,b)+E(a,b')+E(a',b)-E(a',b')|$ 로 재면 세 층위가 계단처럼 나뉜다.

상관의 종류	CHSH 상한	근거
국소 실재론 (인수분해 가능)	$2$	결정론 전략 넷의 대수적 항등식
양자역학	$2\sqrt2 \approx 2.828$	치렐손 한계(1980), 교환자 노름
무신호 조건만 요구	$4$	PR 상자(포페스쿠·로흘리흐 1994)

세 번째 줄이 개념적으로 가장 중요하다. 무신호는 국소 실재론보다 훨씬 약한 조건이다. 초광속 통신을 금지하는 것만으로는 $S\le2$ 가 따라 나오지 않으며, 논리적으로는 $S=4$ 인 상관도 신호를 못 나른다. 그러니 “벨 부등식 위반 = 초광속”이라는 요약은 두 겹으로 틀렸다. 자연이 왜 하필 $2\sqrt2$ 에서 멈췄는지는 아직 하나로 정착된 답이 없다. 유도와 최적 각도, 후보 원리들의 목록은 벨 부등식에 있다.

5. 허점 — 무엇을 닫아야 배제가 성립하나[편집]

$S>2$ 를 관측했다고 국소 실재론이 곧바로 죽는 것은 아니다. 유도에 들어간 세 가정 각각에 대응하는 빠져나갈 구멍이 있고, 각각을 실험에서 닫아야 한다.

허점	어느 가정을 되살리나	닫는 방법
검출 / 공정 표본	인수분해 (편향된 부분집합)	검출 효율 문턱 초과
국소성 / 통신	파라미터 독립성	설정 선택과 상대 결과의 공간꼴 분리
자유선택	측정 독립성	멀리 떨어진 무작위원(별빛·퀘이사·사람)
우연 일치 창	인수분해 (짝짓기 편향)	사전 고정 시간창
기억	독립 동일분포 가정	마팅게일 기반 검정

2015년 델프트·NIST·빈의 세 실험이 검출과 국소성을 동시에 닫으면서 실질적 결론이 났고, 이후 우주적 벨 실험(별빛 2017, 퀘이사 2018)과 BIG Bell Test(2018)가 자유선택 쪽을 계속 밀어냈다. 각 실험의 방식과 p-값 계산은 벨 부등식이 다룬다.

원리적으로 자유선택 허점은 완전히 닫을 수 없다는 점만 여기서 짚어 둔다. 이것은 실험 기술의 문제가 아니라 논리의 문제다.

6. 무엇을 포기할 것인가[편집]

$S>2$ 가 강제하는 것은 “위 세 가정 중 최소 하나는 틀렸다”뿐이고, 어느 것을 버릴지는 각 입장의 선택이다.

입장	포기하는 조각	대가
표준 양자역학	결과 독립성 (즉 측정 전 결과의 실재성)	측정 문제를 해석에 떠넘김
드브로이–봄	파라미터 독립성	선호 기준틀이 필요해 보임, 상대론적 확장 난항
다세계	단일 결과 (반사실적 확정성)	확률의 의미가 숙제로 남음
초결정론 · 역인과	측정 독립성	통계적 무작위화 전반이 무의미해짐
자발적 붕괴	유니터리 발전의 보편성	숨은 변수가 아니라 다른 예측을 내는 경쟁 이론

다세계 해석 쪽을 조금 더 적어 둘 값어치가 있다. 이 입장은 벨의 유도에서 **“측정에 결과가 하나 있다”**는 전제를 부정하므로, $P(a,b\mid x,y)$ 라는 결합확률 자체가 정의되지 않는다고 본다. 그 대가로 국소성(정보가 국소적으로만 전파된다는 의미의)을 지킬 수 있다고 주장하지만, 대신 관측자가 갈라지고 확률이 어디서 오는지를 따로 설명해야 한다. 국소성·실재성·단일 결과 중 정확히 무엇을 버렸는지 명시하지 않는 해석 설명은 대체로 무의미하다는 것이 이 표의 교훈이다.

초결정론은 논리적으로 반박 불가능하지만 받아들이면 게임이 끝난다 — 무작위 대조 실험의 근거가 통째로 무너지기 때문이다. 그래서 물리학계의 태도는 “배제됐다”가 아니라 “받아들일 이유가 없다”에 가깝다.

7. 국소 모형으로 양자를 흉내 내기[편집]

여기서부터가 계산과학 쪽 이야기다. 국소 실재론이 틀렸다는 것과 국소 모형이 아무것도 못 한다는 것은 다르다. 실제로 상당히 많은 양자 통계가 국소 모형으로 재현되고, 그 경계가 어디인지가 정량적으로 알려져 있다.

얽혀 있어도 국소 모형이 있을 수 있다. 베르너 상태 $\rho_W = p|\Psi^-\rangle\langle\Psi^-| + (1-p)I/4$ 는 $p>1/3$ 에서 얽혀 있지만, $p\le1/2$ 구간에서는 모든 사영측정의 통계를 재현하는 명시적 국소 숨은 변수 모형이 존재한다(베르너, 1989). CHSH 위반은 $p>1/\sqrt2$ 에서야 시작된다. “얽힘 = 비국소성”이 아니라는 사실의 가장 깔끔한 반례다.
검출 효율을 낮춰 주면 국소 모형이 이긴다. 검출 실패를 $\lambda$ 가 지정하게 두면 $S>2$ 를 흉내 낼 수 있다(피얼, 1970). 최대 얽힘 상태의 CHSH에서 문턱 효율은 약 82.8%이고, 비최대 얽힘 상태와 에버하르트 부등식을 쓰면 $2/3$ 근처까지 내려간다. 이 두 숫자가 광자 실험의 설계 전체를 지배했다.
고전 통신을 한 비트만 얹으면 끝난다. 토너와 베이컨(2003)의 결과가 놀랍다 — 싱글릿의 사영측정 상관은 고전 통신 정확히 1비트를 허용하면 국소 모형으로 완벽히 재현된다. 즉 양자 상관과 고전 상관 사이의 간극은 “무한히 크다”가 아니라 1비트짜리다. 비국소성을 통신 비용으로 환산하는 이 관점이 통신 복잡도 이론과 양자 이론을 잇는 다리가 됐다.⁴

수치 실무자에게 남는 실용적 결론 두 가지.

첫째, 국소 숨은 변수 몬테카를로는 훌륭한 디버깅 도구다. $\lambda$ 를 어떻게 뽑고 $A(x,\lambda), B(y,\lambda)$ 를 어떻게 꼬아도 $S$ 는 2를 못 넘는다. 시뮬레이터가 2.3을 뱉었다면 비국소성을 발견한 게 아니라 $A$ 가 $y$ 를 몰래 참조하고 있는 것이다.

둘째, 국소 상관의 집합은 볼록 다면체다. 결정론 전략이 유한 개이므로 국소 모형의 존재 여부는 선형계획 실현가능성 문제로 정확히 판정된다. 반면 양자 상관 집합은 곡면 경계라 유한 개의 부등식으로 못 적고, 반정부호 계획법 완화열(NPA 계층)로 바깥에서 조여야 한다. 이 기하가 장치 독립 난수 인증과 양자 키 분배 보안 증명의 계산적 뼈대이며, 자세한 내용은 벨 부등식이 맡는다.

“국소 실재론이 틀렸다”가 그 자체로 공학 자원이 됐다는 것이 이 논쟁의 가장 예상 밖의 결말이다. 상자 안이 무엇인지 전혀 모른 채 $S$ 값 하나만 보고 출력의 진짜 무작위성 하한을 증명할 수 있는 이유가, 국소 실재론이 그 값을 낼 수 없다는 사실뿐이기 때문이다.

8. 관련 문서[편집]

아인슈타인 본인은 “국소 실재론”이라는 표어를 쓴 적이 없다. 그가 지키고 싶었던 것은 분리 가능성(Trennbarkeit) — 떨어진 두 계는 각자의 독립된 실재 상태를 갖는다는 요구 — 쪽에 더 가까웠다는 것이 정설이다. 후대가 붙인 이름표가 원저자의 문제의식을 좁혀 버린 흔한 사례. ↩
파인 정리 덕분에 “실재론”과 “결정론”을 혼용해도 CHSH 시나리오에서는 사고가 크게 안 난다. 다만 설정이나 결과 수가 늘거나 당사자가 셋 이상이 되면 동치성이 그대로 유지되지 않는 경우가 있으니, 논문에서 “국소 결정론 모형”이라고 쓰여 있으면 그게 일반성을 잃지 않는 선택인지 한 번은 확인하는 게 좋다. ↩
재럿의 원 논문은 파라미터 독립성을 “국소성”, 결과 독립성을 “완전성”이라 불렀다. 이름이 헷갈리기로 악명 높아서 시모니가 지금 통용되는 중립적 명칭으로 갈아 끼웠는데, 그 뒤로도 논문마다 “강한 국소성”, “벨 국소성”, “인과적 국소성”이 뒤섞여 쓰인다. 남의 논문을 읽을 때 어느 조각을 말하는지 식으로 확인하는 습관이 필요한 대표적 분야. ↩
토너-베이컨 결과를 처음 보면 “그럼 1비트만 몰래 흘리면 벨 실험을 속일 수 있는 것 아니냐”는 생각이 드는데, 정확히 그래서 국소성 허점을 공간꼴 분리로 막는 것이다. 즉 이 정리는 국소 실재론을 구하는 게 아니라 얼마나 정교하게 분리해야 하는지의 견적서다. 겨우 1비트가 새어 나가면 실험 전체가 무의미해진다는 뜻이기도 하고. ↩