Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule

이 논문은 보른 규칙의 유도에서 가법성 (additivity) 가정이 비가역적으로 필수적임을 증명하고, 비확률적 가정만으로는 보른 규칙을 유도할 수 없으며 기존 주요 유도 방법론들이 가법성 없이는 결함을 갖는다는 것을 분석합니다.

핵심

이 논문은 양자역학에서 가장 미스터리한 부분 중 하나인 '확률 (Born Rule, 보른 규칙)'이 왜 존재하는지, 그리고 그 확률 공식을 증명할 수 있는지에 대해 깊이 있게 다룹니다.

저자 장가수안 (Jiaxuan Zhang) 은 "우리가 확률을 증명하기 위해 사용하는 여러 가지 방법들이 사실은 숨겨진 가설 하나를 빼먹고 있다는 것"을 발견했습니다. 그 가설의 이름은 **'가산성 (Additivity)'**입니다.

이 복잡한 논문을 일상적인 비유로 쉽게 설명해 드리겠습니다.

---

🎲 핵심 주제: "확률이라는 마법의 숫자는 어디서 왔나?"

양자역학은 아주 이상합니다. 입자는 측정하기 전까지는 여러 곳에 동시에 있을 수 있지만, 우리가 측정하는 순간 딱 한 곳으로 '뚝' 떨어집니다. 이때 어느 곳에 떨어질지 예측하는 공식이 보른 규칙입니다.

과학자들은 100 년 동안 "이 보른 규칙은 양자역학의 다른 법칙들 (파동 함수, 슈뢰딩거 방정식 등) 로부터 자연스럽게 유도될 수 있는 결과인가, 아니면 우리가 처음부터 가정해야 하는 규칙인가?"를 두고 싸워왔습니다.

많은 사람이 "아마도 다른 법칙들만 있으면 확률도 저절로 나올 거야!"라고 믿어왔습니다. 하지만 이 논문은 **"아니, 확률을 설명하려면 '가산성'이라는 특별한 가정이 반드시 필요하다"**고 말합니다.

---

🧱 비유 1: 레고 블록과 '가산성'

확률을 설명하려는 시도들은 마치 레고 블록으로 탑을 쌓는 것과 같습니다.

• 레고 블록 (양자역학의 기본 법칙): 상태, 운동, 측정 장치 등.
• 탑의 꼭대기 (보른 규칙/확률): 우리가 원하는 결과.

많은 연구자들은 "이 레고 블록들만 가지고 탑을 쌓으면 꼭대기 (확률) 가 저절로 나올 거야!"라고 생각했습니다. 하지만 이 논문은 **"아니야, 그 블록들만으로는 탑이 무너져. 꼭 필요한 '접착제'가 하나 더 필요해"**라고 말합니다.

그 접착제가 바로 **'가산성 (Additivity)'**입니다.

가산성이란 무엇인가?

쉽게 말해 **"전체는 부분의 합과 같다"**는 뜻입니다.

• 주사위를 던져 1 이 나올 확률이 1/6 이고, 2 가 나올 확률이 1/6 이라면, 1 이나 2 가 나올 확률은 1/6 + 1/6 = 1/3 이어야 합니다.
• 이 **'부분을 더하면 전체가 된다'**는 규칙이 가산성입니다.

논문의 핵심 주장은 이렇습니다:

"우리가 확률을 증명하려고 할 때, '가산성'이라는 규칙을 이미 알고 있다고 가정하지 않으면, 확률이라는 탑을 쌓을 수 없다. 그런데 가산성이라는 규칙 자체가 이미 '확률'의 성격을 띠고 있기 때문에, 확률을 다른 것에서 유도하려는 시도는 결국 순환 논리에 빠지게 된다."

---

🔍 비유 2: 다른 연구자들의 실수 (5 가지 시나리오)

이 논문은 과거에 보른 규칙을 증명하려 했던 5 가지 유명한 시도를 분석했습니다. 마치 5 명의 요리사가 같은 요리를 하려는데, 모두 **비밀 재료 (가산성)**를 몰래 넣었거나, 넣지 않아서 실패한 경우를 분석한 것입니다.

1. 글리슨 (Gleason) 의 방법:

   • 상황: 수학적으로 매우 엄격하게 증명하려 했습니다.
   • 문제: 증명 과정에서 "모든 가능한 경우를 더하면 1 이 되어야 한다"는 가산성을 이미 전제로 깔고 시작했습니다.
   • 비유: "이 요리는 소금 없이도 맛있다"고 말하면서, 사실은 소금을 미리 넣은 상태였습니다.

2. 부슈 (Busch) 의 확장:

   • 상황: 더 일반적인 측정 (POVM) 을 다뤘습니다.
   • 문제: 역시 "부분을 더하면 전체가 된다"는 가정을 강력하게 사용했습니다.

3. 데utsch-월리스 (Deutsch-Wallace) 의 방법 (다세계 해석):

   • 상황: "우리가 합리적인 사람이라면 확률을 이렇게 계산해야 한다"는 게임 이론을 사용했습니다.
   • 문제: 게임의 규칙을 세울 때, "모든 경우의 수를 더하면 1 이다"라는 확률적 가정을 숨겨서 넣었습니다. 또한, 차원 (Dimension) 이 무한하지 않으면 이 증명에 구멍이 생깁니다.

4. 주레크 (Zurek) 의 방법 (엔트래인먼트):

   • 상황: 환경과의 얽힘을 이용해 물리적으로 유도하려 했습니다.
   • 문제: 확률이 '연속적'이어야 한다는 가정을 증명하려 했지만, 약한 가산성만으로는 연속성을 보장할 수 없어 실패했습니다.

5. 하틀 (Hartle) 의 방법 (빈도론):

   • 상황: 무한히 많은 측정을 반복해서 확률을 정의하려 했습니다.
   • 문제: "혼합된 상태 (여러 상태가 섞인 것)"를 다룰 때, 가산성 가정이 없으면 수학적으로 모순이 생깁니다.

---

💡 결론: 왜 이것이 중요한가?

이 논문은 **"확률은 양자역학의 다른 법칙들에서 자연스럽게 튀어나오는 것이 아니다"**라고 결론 내립니다.

• 비유: 양자역학은 마치 건물입니다. 다른 법칙들은 기둥과 벽입니다. 하지만 확률은 그 건물의 지붕입니다.
• 많은 사람이 "기둥과 벽만 있으면 지붕이 저절로 올라갈 거야"라고 생각했습니다.
• 하지만 이 논문은 **"아니, 지붕을 올리려면 '가산성'이라는 특수한 자재가 따로 필요하다. 그 자재는 이미 '지붕 (확률)'의 성질을 가지고 있다"**고 말합니다.

즉, 확률의 기원을 설명하려면 결국 "우리는 확률의 법칙을 이미 알고 있다"는 것을 인정해야 한다는 것입니다.

📝 한 줄 요약

"양자역학의 확률 (보른 규칙) 을 증명하려 할 때, 우리가 가장 먼저 '확률의 합은 전체다'라는 규칙을 가정해야만 증명된다. 즉, 확률은 다른 것에서 유도된 것이 아니라, 양자역학의 핵심적인 '가정' 중 하나일 뿐이다."

이 연구는 양자역학의 확률이 어디서 왔는지에 대한 오랜 논쟁에 대해, **"확률적 성격을 가진 가정이 없이는 확률을 설명할 수 없다"**는 명확한 답을 제시합니다.

기술 요약

1. 연구 배경 및 문제 제기 (Problem)

양자역학의 가장 난해한 문제 중 하나는 고전적인 결정론적 슈뢰딩거 방정식과 측정 시 발생하는 본질적인 확률적 성질 사이의 모순, 즉 '측정 문제'입니다. 보른 규칙 (Born rule) 은 측정 결과의 확률을 $p(A) = \text{Tr}[\rho A]$로 규정하는 핵심 공리입니다.

수십 년간 많은 물리학자들은 보른 규칙을 별도의 공리로 가정하는 대신, 양자역학의 다른 비확률적 공리 (상태, 진화, 관측량 등) 만으로부터 유도하려는 시도를 해왔습니다. 그러나 기존 유도 시도들은 서로 다른 가정을 기반으로 하며, 각기 다른 비판을 받아 왔습니다. 특히, **가산성 (Additivity)**이라는 확률론적 성질을 가진 가정이 다른 비확률적 가정들 (비맥락성, 정규화 등) 로부터 유도될 수 있는지, 혹은 보른 규칙 도출에 필수불가결한지 여부에 대한 명확한 분석이 부족했습니다.

이 논문은 **"보른 규칙을 유도하는 데 있어 가산성 (Additivity) 가정이 필수불가결하며, 다른 비확률적 가정들로 대체될 수 없다"**는 주장을 증명하는 것을 목표로 합니다.

2. 연구 방법론 (Methodology)

저자는 다음과 같은 체계적인 분석을 수행했습니다:

1. 정의의 명확화: 문헌에서 혼용되어 온 '가산성', '비맥락성 (Non-contextuality)', '정규화 (Normalization)' 개념을 엄밀하게 정의하고 구분했습니다. 특히 '강한 정규화 (Strong Normalization)'와 '일반적인 정규화', '관측량 비맥락성 (ONC)'과 '가산성 비맥락성 (ANC)'을 구분하여 정의했습니다.
2. 논리적 독립성 증명: 가산성이 비맥락성이나 정규화로부터 유도될 수 없음을 반례 (Counterexample) 를 통해 증명했습니다.
   • 가산성 vs 비맥락성: 비맥락성을 만족하지만 가산성을 만족하지 않는 함수 (예: $\mu(A) = (\text{Tr}[A]/d)^2$) 와 가산성을 만족하지만 비맥락성을 만족하지 않는 함수 (Equal rule) 를 제시하여 두 개념이 독립적임을 보였습니다.
   • 가산성 vs 정규화: 일반적인 정규화만으로는 가산성이 유도되지 않음을 보였으며, '강한 정규화'가 사실은 가산성을 내포하고 있음을 지적했습니다.
3. 기존 유도 이론의 재분석: 보른 규칙을 유도한 5 가지 주요 이론 (Gleason, Busch, Deutsch-Wallace, Zurek, Finkelstein-Hartle) 에 대해 가산성 가정의 역할을 심층 분석했습니다. 각 이론이 명시적 또는 암묵적으로 가산성에 의존하고 있으며, 이를 제거할 경우 발생하는 논리적 결함 (Loophole) 을 규명했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 가산성과 다른 가정들의 관계

• 비동등성 증명: Logiurato 와 Smerzi 가 주장한 바와 달리, 가산성과 비맥락성은 서로 동등하지 않으며 서로로부터 유도될 수 없습니다.
• 강한 정규화의 함정: 많은 문헌에서 '정규화'로 오인된 '강한 정규화' ($\sum \mu(A_i) = 1$) 는 사실 가산성을 전제로 합니다. 따라서 정규화만으로는 가산성을 유도할 수 없습니다.
• 결론: 보른 규칙의 확률적 성질은 본질적으로 가산성이라는 추가 가정에 기인하며, 이를 비확률적 가정으로 대체하는 것은 불가능합니다.

B. 5 가지 주요 유도 이론에 대한 분석

1. Gleason 의 정리 (1957):

   • 프레임 함수 (Frame function) 의 가산성이 핵심 공리입니다.
   • 가산성과 비음성 (Non-negativity) 이 없으면 함수의 연속성을 보장할 수 없으며, 이는 보른 규칙 유도 실패로 이어집니다.
   • 2 차원 힐베르트 공간에서는 예외가 존재하지만, 가산성 없이는 3 차원 이상에서도 유도가 불가능합니다.

2. Busch 의 확장 (POVM):

   • POVM(Positive Operator-Valued Measure) 에 대한 가산성을 가정합니다.
   • 이 가산성이 2 차원 공간에서도 보른 규칙을 유도할 수 있게 하며, 연속성 증명에 결정적인 역할을 합니다.

3. Deutsch-Wallace 정리 (결정 이론):

   • 명시적인 가산성 대신 '게임의 가치 합성'을 통한 암묵적 가산성을 사용합니다.
   • 문제점: 비음성 가정과 결합되어 연속성이 보장되지만, **비맥락성 (ONC)**이 초기에 명시되지 않아 유한 차원 공간에서 보른 규칙과 다른 반례 (예: 4 차제곱 규칙) 가 존재할 수 있습니다. 또한, 무한 차원 보조 시스템이 필요하다는 제한이 있습니다.

4. Zurek 의 Envariance 유도:

   • '약한 가산성 (Weak Additivity)'을 주장하지만, 이는 유리수 확률 상태에 대해서만 성립합니다.
   • 문제점: 실수 확률로 확장하기 위한 연속성을 보장하지 못합니다. 비음성을 가정하더라도 가산성이 약해 연속성이 깨질 수 있으며, Deutsch 와 마찬가지로 유한 차원에서의 반례가 존재합니다.

5. Finkelstein-Hartle 정리 (빈도주의):

   • 무한 앙상블을 기반으로 하지만, 혼합 상태 (Mixed state) 에 대한 일관성이 부족합니다.
   • 문제점: 가산성 가정의 부재로 인해 순수 상태와 혼합 상태의 확률 계산에서 모순이 발생합니다. 가산성 가정을 추가하면 이 모순이 해결됩니다.

4. 논의 및 의의 (Significance)

• 확률의 기원에 대한 통찰: 양자역학에서 확률이 발생하는 근본적인 원인은 비확률적 공리 (슈뢰딩거 방정식 등) 에서가 아니라, 가산성이라는 확률론적 성질을 가진 추가 가정에서 비롯됨을 입증했습니다.
• 결정론적 해석의 한계: 다세계 해석 (MWI) 지지자들이 보른 규칙을 비확률적 공리만으로 유도하려 했던 시도가 실패한 이유는 필수적인 가산성 가정을 간과했거나, 이를 다른 가정으로 잘못 치환했기 때문임을 지적했습니다.
• 문헌의 혼란 해소: 가산성, 비맥락성, 정규화, 연속성 등의 개념이 문헌에서 어떻게 혼용되어 왔는지 명확히 구분함으로써, 향후 연구에서 발생할 수 있는 오해를 방지하고 엄밀한 논의를 위한 기초를 마련했습니다.
• 최소 공리 집합의 규명: 보른 규칙을 유도하기 위해 필요한 최소한의 추가 가정은 가산성임을 보여주었습니다. 이는 양자역학의 공리 체계 정립에 중요한 기여를 합니다.

5. 결론

이 논문은 가산성 (Additivity) 이 보른 규칙 도출에 있어 **필수불가결 (Indispensable)**한 가정임을 수학적으로 엄밀하게 증명했습니다. 기존 연구들이 가산성을 비맥락성이나 정규화와 혼동하거나, 이를 약화시켜 유도하려 했던 시도는 논리적 결함을 가지고 있었습니다. 따라서 양자역학의 확률적 성질은 본질적으로 가산성이라는 확률론적 속성에 기반하고 있으며, 이를 비확률적 원리만으로 완전히 제거하거나 대체하는 것은 불가능합니다.