General Quantum Circuit Framework for Extended Wigner's Friend Scenarios: Logically and Causally Consistent Reasoning without Absolute Measurement Events

3줄 요약

1. V. 빌라시니(V. Vilasini)와 미샤 P. 우즈(Mischa P. Woods)는 2026년 9월 9일 Physical Review X 16권에 이 논문을 발표했다. 두 저자는 ETH 취리히와 프랑스 국립 디지털 과학기술 연구소(Inria) 소속이며, arXiv 초판은 2022년 9월에 올라왔다.¹ 논문은 확장된 위그너의 친구 시나리오(EWFS)를 하나의 양자 회로로 기술하는 틀을 제안했다. EWFS는 관찰자 자신까지 양자계로 다루는 사고 실험을 통칭한다.
2. 저자들은 각 측정을 유니터리 진화로 서술할지, 고전 기록을 남기는 사영으로 서술할지를 “설정”이라는 이진 변수로 회로에 명시했다. 이렇게 만든 증강 회로는 기존 문헌의 예측을 모두 재현하고, 모순된 예측을 만들지 않으며, 인과적 과거에 속한 설정에만 의존한다. 세 성질은 모두 논문의 정리로 증명됐다.
3. 논문에 따르면 프라우힝거-레너(FR) 역설은 서로 다른 설정에서 계산한 확률들을 같은 분포에서 나온 것처럼 결합할 때 생긴다. 오늘날의 실험에서는 행위자가 다른 행위자의 실험실 전체에 양자 연산을 가하지 않는다. 논문은 이 조건에서 예측이 설정과 무관해지고, 객관적인 측정 사건이 회복된다는 것도 보였다.

위그너의 친구가 드러낸 모호함

양자역학의 공준은 계의 진화를 두 가지 방식으로 기술한다. 닫힌 계는 유니터리하게 진화하고, 측정 결과를 관측하면 사영 공준에 따라 상태가 갱신된다. 그런데 양자역학은 둘 가운데 어느 것을 언제 적용해야 하는지 정하지 않는다. 위그너가 1960년대에 제안한 사고 실험은 이 모호함이 관측 가능한 차이를 만든다는 것을 보여 준다.

계 S가 상태 $\alpha|0\rangle + \beta|1\rangle$에 있다고 하자. 앨리스(위그너의 친구)가 S를 계산 기저로 측정하고, 결과를 메모리 A에 저장한다. 논문은 A가 앨리스 실험실의 나머지 전부를 대표한다고 보고, S와 A를 합친 SA를 앨리스의 실험실로 취급했다. 앨리스의 실험실이 닫힌 양자계라면 이 측정은 CNOT 게이트로 기술된다. S가 제어 큐비트이고 A가 표적 큐비트이며, 측정 뒤의 상태는 $\alpha|00\rangle + \beta|11\rangle$이다. 반면 사영 공준을 적용하되 결과값은 모른다고 하면, 실험실의 상태는 혼합 상태 $|\alpha|^2 |00\rangle\langle 00| + |\beta|^2 |11\rangle\langle 11|$이 된다.

위그너는 앨리스의 실험실 전체에 임의의 양자 연산을 가할 수 있으며, 논문은 이런 행위자를 상위 행위자(superagent)라고 불렀다. 위그너가 SA를 ok와 fail 두 상태로 이루어진 기저로 측정하면² 두 서술은 서로 다른 확률을 예측한다. 두 계수가 $\alpha = \beta = 1/\sqrt{2}$일 때 유니터리 서술에서 SA의 상태는 정확히 $|\mathrm{fail}\rangle$이므로, 위그너가 ok를 얻을 확률은 0이다. 사영 서술을 쓰면 위그너가 ok를 얻을 확률은 1/2로 계산된다.³ 이처럼 위그너가 관측할 확률은 친구의 측정을 어떻게 모형화했는지에 따라 달라진다.

논문은 여기서 행위자가 의식을 가진 사람일 필요는 없다고 강조했다. 다른 계를 측정하고, 결과를 양자 메모리에 저장하고, 기초적인 계산을 할 수 있는 양자 컴퓨터라면 위그너의 친구 논증에서 행위자가 될 수 있다. 저자들은 충분히 큰 양자 컴퓨터가 행위자 역할을 할 수 있으므로 이 문제에 명확한 해답이 필요하다고 적었다.

확장된 시나리오와 반증 정리들

2018년 다니엘라 프라우힝거와 레나토 레너는 위그너의 실험을 친구 둘, 상위 행위자 둘의 실험으로 확장했다. 두 사람은 이 결과를 Nature Communications에 실린 논문 「Quantum theory cannot consistently describe the use of itself」로 발표했다. 두 사람의 주장에 따르면 행위자들이 서로를 양자계로 모형화하면서 서로의 지식을 추론할 때 논리적 모순이 생긴다. FR의 논증에 쓰인 가정은 다섯 개로 정리된다.

FR은 Q, C, S를 명시했고, U와 D는 후속 연구가 명시했다.⁴ FR의 결론에 따르면 Q, U, C, D를 모두 받아들이면 S가 성립하지 않는다.

다른 계열의 반증 정리도 있다. 브루크너가 2018년에 발표한 정리와 국소 친화성(Local Friendliness, LF) 정리가 여기에 속한다. 두 정리는 인과성과 자유 선택에 관한 가정을 유지하는 한, 관측된 측정 사건을 모든 행위자에게 공통된 절대적인 사건으로 볼 수 없다고 주장한다. 논문은 측정 사건을 이렇게 절대적인 것으로 보는 가정을 관측 사건의 절대성(absoluteness of observed events, AoE)이라고 불렀다. 기존 양자 인과 모형은 모든 행위자의 결과에 대한 단일 결합 확률분포를 전제하므로 AoE를 가정한다. LF 정리와 후속 결과에 따르면 이런 모형은 위그너의 친구 시나리오의 예측을 설명하지 못한다.

FR 역설에 대한 기존 대응 가운데 일부는, 앨리스의 예측이 유효한지 판단하려면 상위 행위자가 미래에 앨리스의 측정을 되돌리는지 알아야 한다고 보았다. 저자들은 이런 규칙이 인과성 원리와 양립하지 않으며 추론에 드는 비용도 늘린다고 지적했다. 현재의 결과를 추론하려면 미래의 연산을 얼마나 많이 추적해야 하는가. 밥은 앨리스와 공간적으로 분리되어 있는데, 밥의 결론이 왜 앨리스의 실험실에 미래에 가해질 연산의 영향을 받아야 하는가. 이런 질문이 해결되지 않은 채로 남는다.

저자들은 모든 반증 정리의 공통 원인으로 측정 모형의 모호함을 지목했다. 측정은 고전 기록을 남기는 비가역 과정으로 볼 수도 있고, 닫힌 계의 가역적인 유니터리 진화로 볼 수도 있다. 양자역학에서 둘 가운데 하나를 고르는 것은 하이젠베르크 절단(Heisenberg cut)을 정하는 일로 이해할 수 있다. 하이젠베르크 절단을 정하면 실험의 어느 부분을 고전계로 다루고 어느 부분을 양자계로 다룰지가 결정된다. 논문에 따르면 이 개념은 지금까지 주로 철학적 논의의 대상이었고, 양자역학의 형식 체계에는 등장하지 않았다. 논문이 답하려는 질문은 다음과 같다.

서로의 실험실을 완전히 양자적으로 제어할 수 있는 행위자에게도 유니터리 양자역학을 적용하고, 측정 사건의 절대성도 가정하지 않는다고 하자. 그렇다면 우리는 세계에 대해 어떻게 일관되게 추론하고, 물리적으로 예측하고, 그 예측을 검증할 수 있는가?

측정마다 설정을 하나씩 둔 증강 회로

논문은 먼저 EWFS를 일반적으로 정의했다. 정의에 따르면 EWFS에는 유한한 개수의 계와 N명의 행위자가 참여한다. 각 행위자 $A_i$는 정해진 시각 $t_i$에 계의 일부를 측정하고, 결과를 자기 메모리 $M_i$에 저장한다. 측정 대상에는 먼저 행동한 다른 행위자의 메모리도 포함될 수 있다. 측정이 끝나면 각 행위자는 모두가 미리 합의한 연산 $\mathcal{E}_i$를 수행할 수 있다. 행위자 한 명이 여러 번 측정하는 경우는 행위자 여러 명이 한 번씩 측정하는 경우로 바꿔 쓸 수 있다. 따라서 행위자마다 측정을 한 번만 한다고 가정해도 일반성을 잃지 않는다.

이 정의에서는 측정 $\mathcal{M}^{A_i}$를 유니터리로 기술할 때 측정 기저에서 계 $S_i$의 값을 메모리 $M_i$로 복사하는 CNOT을 쓴다. 사영 서술은 같은 유니터리를 적용한 뒤에 사영 연산자 $|a_i a_i\rangle\langle a_i a_i|$를 적용하는 것과 같다. 저자들은 두 서술을 구분하는 이진 변수 $x_i \in \{0, 1\}$을 측정마다 하나씩 도입하고, 이 변수를 설정(setting)이라고 불렀다.

모든 측정을 이렇게 바꿔 쓰면 EWFS는 하나의 시간 순서 양자 회로가 되고, 이 회로는 설정 벡터 $\vec{x} = (x_1, \ldots, x_N)$을 매개변수로 가진다. 저자들은 이 회로를 증강 회로(augmented circuit)라고 불렀다. 커버 그림이 일반적인 EWFS의 증강 회로다. 그림의 파란 상자는 설정에 따라 항등 연산이 되거나 결과를 식별하는 사영이 된다.

저자들은 여기서 중요한 관찰 하나를 제시했다. 보른 규칙으로 결과 $a_i$의 확률을 계산하려면 그 결과를 식별하는 사영 연산자를 적용해야 한다. 따라서 예측에 등장하는 결과를 내는 측정은 설정이 반드시 1이다. 예측에 등장하지 않는 측정의 설정은 추론 규칙이 정한다. 기존 문헌이 “양자역학의 예측”이라고 부른 확률은, 예측에 등장하는 측정은 설정을 1로 두고 나머지 측정은 설정을 모두 0으로 둔 경우의 확률과 같다. 논문은 이 규칙을 기본 규칙(default rule)이라고 불렀다. 기본 규칙을 따르는 행위자는 자신과 자신이 추론하는 대상 행위자를 고전계로 취급하고, 나머지 행위자를 모두 양자계로 취급한다. 그러니까 하이젠베르크 절단은 누가 무엇을 예측하느냐에 따라 달라진다.

저자들은 설정 1이 객관적인 파동함수 붕괴를 뜻하지는 않는다고 덧붙였다. 설정 1의 사영 연산자는 결과를 식별할 기저를 지정할 뿐이며, 보른 규칙으로 확률을 계산할 때 그 기저 정보가 필요하다. 논문은 이런 이유로, 보른 규칙만 쓰고 측정 뒤의 상태를 정하는 사영 공준은 쓰지 않는 FR 논증도 같은 방식으로 해소된다고 설명했다.

증강 회로의 세 가지 성질

논문은 각 EWFS에 인과 구조를 대응시켰다. 인과 구조는 측정과 후속 연산을 꼭짓점으로 삼는 유향 비순환 그래프다. 먼저 일어난 연산과 나중에 일어난 연산이 같은 계에 작용하면 두 꼭짓점이 유향 간선으로 연결된다. 이 그래프는 연산의 시간 순서와 연산이 작용하는 계만으로 정해지므로, 설정과 무관한 프로토콜의 객관적 성질이다. 저자들은 이 구조를 기준으로 증강 회로의 성질 세 가지를 정리 IV.1에서 증명했다.

인과성 성질이 성립하므로 미래의 설정이 과거의 결과에 영향을 주는 역인과적 의존은 생기지 않는다. 공간적으로 분리된 계를 측정하는 두 연산은 그래프에서 어떤 경로로도 연결되지 않는다. 저자들은 이 때문에 회로를 시공간에 적절히 임베딩하면 인과 구조가 상대론적 인과 구조와 양립한다고 설명했다.

세 성질은 모든 행위자의 결과에 대한 단일 결합 분포 $P(a_1, \ldots, a_N)$을 가정하지 않고 성립한다. 따라서 증강 회로는 측정 사건의 절대성을 전제하지 않는다.

다섯 가정과 가정 I

저자들은 FR의 다섯 가정을 증강 회로의 언어로 다시 정식화했다. 정식화한 가정도 원래 가정과 똑같이 세 가지를 요구한다. 첫째, 양자역학은 보편적으로 적용되어야 한다(보른 규칙과 유니터리성). 둘째, 행위자는 서로의 지식을 물려받을 수 있어야 한다. 셋째, 관측한 결과에는 고전 논리가 성립해야 한다. 원래 가정과 달리, 정식화한 가정에서는 모든 진술이 계산에 쓰인 설정을 조건으로 명시한다. 따름정리 IV.2에 따르면 증강 회로로 서로의 지식을 추론하는 행위자들은 다섯 가정을 모두 써도 논리적 모순이 생기지 않는다.

그렇다면 FR과 같은 모순은 어디서 생기는가. 저자들은 기존 분석이 암묵적으로 사용한 가정 하나를 찾아 가정 I(독립성)라고 이름 붙였다. 가정 I는 설정을 바꿔도 예측이 같은 값을 낸다고 가정하며, 이 가정을 따르는 분석은 표기에서 설정을 생략한다. 따름정리 IV.3에 따르면 Q, U, C, D를 쓰는 행위자가 S를 위반하는 겉보기 모순을 얻으려면 가정 I를 적용해야 한다. 그것도 실제로는 설정에 의존하는 논리적 예측 하나 이상에 적용해야 한다. 겉보기 모순인 $P(\vec{a} = \vec{v}) = 1$과 $P(\vec{a} = \vec{v}') = 1$에 설정까지 적어 넣으면, 두 확률은 서로 다른 설정 $\vec{\xi}$와 $\vec{\xi}'$을 조건으로 한 별개의 조건부 확률이 된다.

논문은 2장에서 이 원리를 고전적인 예로 먼저 설명했다. 비트 하나를 0으로 준비하고 항등 변환을 적용하면 측정값이 1이 될 확률은 0이고, 비트 반전을 적용하면 그 확률은 1이다. 어떤 변환을 적용했는지 조건에서 생략하면 “a = 1은 절대 일어나지 않는다”와 “a = 1은 반드시 일어난다”가 동시에 성립하는 역설이 생긴다.

FR 역설에 설정을 적어 넣으면

논문은 FR 프로토콜의 얽힘 판본으로 해소 과정을 보였다.⁵ 앨리스와 밥은 상태 $\frac{1}{\sqrt{3}}(|00\rangle + |10\rangle + |11\rangle)_{RS}$를 공유한다. 앨리스는 R을, 밥은 S를 계산 기저로 측정하고, 각자의 결과를 메모리 A와 B에 저장한다. 그다음 우르술라가 앨리스의 실험실 RA를, 위그너가 밥의 실험실 SB를 ok와 fail 기저로 측정한다.

arXiv 2판 그림 3(PRX 게재판 그림 4). 앨리스와 밥의 측정을 유니터리로만 그렸으므로 이 회로로는 a와 b의 확률을 계산할 수 없다. V. Vilasini, M. P. Woods, CC BY 4.0.

기존 문헌의 예측 네 개는 다음과 같다. 우르술라와 위그너가 둘 다 ok를 얻을 확률은 1/12이다. 우르술라가 ok를 얻으면 밥의 결과는 확실히 1이다. 밥의 결과가 1이면 앨리스의 결과도 확실히 1이다. 앨리스의 결과가 1이면 위그너의 결과는 확실히 fail이다. 이 세 명제를 차례로 결합하면 “u = ok이면 w = fail”이 도출되고, 이 명제는 u = w = ok가 1/12의 확률로 일어난다는 첫 예측과 모순된다.

저자들은 이 네 예측이 증강 회로의 서로 다른 설정에서 계산한 확률이라는 것을 보였다. 앨리스의 설정을 $x_1$, 밥의 설정을 $x_2$라고 하면 대응 관계는 아래 표와 같다.⁶

설정을 명시한 세 명제는 조건이 모두 다르므로, 고전 논리의 규칙으로는 하나의 명제로 결합할 수 없다. 예를 들어 위그너의 결과에 관한 마지막 명제는 밥의 측정을 유니터리로 서술할 때만 성립한다. 같은 확률을 $(x_1, x_2) = (1, 1)$에서 계산하면 $P(w = \mathrm{fail} \mid a = 1) = 1/2$이다. 이 예측은 설정에 의존하므로 가정 I가 성립하지 않는다.

arXiv 2판 그림 4(PRX 게재판 그림 5). 설정이 0이면 파란 상자는 항등 연산이 되고 결과는 ⊥로 고정된다. 설정이 1이면 파란 상자가 고전 결과 0과 1을 식별한다. V. Vilasini, M. P. Woods, CC BY 4.0.

저자들은 이 결과를 바탕으로 FR의 주장을 더 정밀하게 해석했다. FR의 가정이 양자역학과 고전 논리만을 뜻한다면, 그 가정들을 모두 만족하는 일관된 모형이 존재하므로 FR의 정리는 틀린 것이 된다. FR의 정리가 옳으려면 그 가정에 하이젠베르크 절단의 선택을 무시하는 가정 I가 포함되어 있어야 한다. 이를 위해 논문은 위그너의 친구 시나리오에서 양자역학을 두 판본으로 구분했다. 첫째 판본은 예측이 하이젠베르크 절단과 무관하다고 보고, 둘째 판본은 예측이 절단에 의존한다고 본다. 저자들에 따르면 FR은 특정 EWFS에서 첫째 판본이 고전 논리와 모순된다는 것을 보였다. 반면 이 논문은 모든 EWFS에서 둘째 판본이 고전 논리와 양립한다는 것을 보였다. 두 결과 사이에는 모순이 없다.

정리 V.1은 이 결론을 FR 프로토콜의 두 판본에 대해 명시한다. FR 프로토콜에는 다섯 가정을 모두 만족하는 일관된 서술이 존재하며, 이 서술은 일부 논리적 예측에서 가정 I를 위반한다. 그리고 다섯 가정과 함께 FR의 겉보기 역설을 재현하려면 적어도 하나의 논리적 예측에 가정 I를 부과해야 한다. 모든 논리적 예측에 가정 I를 부과하면 역설은 반드시 재현된다.

위그너의 원래 실험에서도 가정 I는 성립하지 않는다. 앞에서 계산한 것처럼 친구의 설정이 0이면 위그너가 ok를 얻을 확률은 0이고, 설정이 1이면 그 확률은 1/2이다. 논문은 FR의 기여를 이렇게 평가했다. FR은 서로 호환되는 측정을 하는 행위자끼리만 추론해도 겉보기 모순이 생길 수 있음을 보였다. 위그너의 원래 실험에서 겉보기 모순을 얻으려면 상위 행위자가 호환되지 않는 측정을 한 행위자에 대해 진술해야 한다.

사건의 절대성과의 관계

관측 사건의 절대성이 성립하려면 모든 행위자의 관측 결과에 대한 단일 결합 분포가 존재해야 한다. 논문은 FR 시나리오의 기존 예측 네 개를 하나의 결합 분포 $P(u, w, a, b)$로 설명할 수 없다고 적었다. 설정을 명시하면 그 이유도 분명해진다. 네 예측은 서로 다른 조건부 분포에서 나왔다. 저자들은 예측이 설정에 의존하는 시나리오에서는 기존 예측에 대해 AoE가 성립하리라고 기대할 수 없다고 정리했다.

하지만 LF 정리에서 가정 I가 하는 역할은 다르다. 논문에 따르면 가정 I를 포기하면 FR의 결론은 더는 성립하지 않지만, LF 정리의 결론은 그대로 유지된다. 저자들은 LF 정리에서는 가정 I의 위반이 AoE 가정의 구조와 의미를 해명하는 데 쓰인다고 설명했고, LF 시나리오의 분석을 후속 논문으로 예고했다.

객관적인 측정 사건의 회복

관계적 접근들은 측정 결과를 행위자나 맥락에 상대적인 것으로 정의해 역설을 해소한다. 그렇다면 이런 접근은 오늘날의 실험에서 측정 결과가 객관적으로 보이는 이유를 설명해야 한다. 저자들은 이를 위해 한 행위자가 다른 행위자의 상위 행위자로 작용하는 조건을 인과 구조로 정의했다.

논문은 한 행위자가 다른 행위자의 메모리에 자명하지 않은 연산을 가하는지를 기준으로 삼았다. 일상적인 실험에서도 행위자는 다른 행위자에게 결과를 묻고, 그 답에 따라 다음 행동을 정한다. 논문은 측정 직후 메모리와 계가 측정 기저에서 완전히 상관되어 있다는 점에 주목했다. 이 경우 메모리를 읽어서 하는 연산은 모두 계만 읽는 연산으로 모사할 수 있다. 반면 위그너가 친구의 뇌에 하다마드 연산을 가하거나 친구의 측정을 되돌린다고 하자. 이 연산들은 메모리와 계에 동시에 작용해야 하므로, 계에만 작용하는 연산으로는 모사할 수 없다.

논문은 $A_j$가 $A_i$의 상위 행위자로 작용하지 않는 경우를 이렇게 정의했다. 다음 둘 가운데 하나에 해당하면 된다. 첫째, $A_j$가 인과 구조상 $A_i$보다 나중에 행동하지 않는다. 둘째, $A_i$의 측정 뒤에 일어나는 모든 연산을, $A_i$의 메모리에 항등 연산으로 작용하는 동등한 연산으로 바꿔 쓸 수 있다. 논문은 이런 쌍을 모은 집합에 비상위 행위자 구조(non-superagent structure)라는 이름을 붙였다. 모든 행위자 쌍이 이 구조에 속하면 그 시나리오는 표준 양자 시나리오다. FR 프로토콜에서 앨리스와 밥 두 사람만 고려하면, 두 사람은 표준 양자 부분 시나리오를 이룬다. 하지만 우르술라와 위그너를 포함하면 우르술라는 앨리스의 상위 행위자이고 위그너는 밥의 상위 행위자이므로, 전체는 표준 시나리오가 될 수 없다.

정리 VI.1과 따름정리 VI.1에 따르면 표준 양자 시나리오에서는 모든 예측이 설정과 무관하다. 따라서 설정 변수를 지우고 결과 확률을 하나의 결합 분포로 다룰 수 있다. 이때 증강 회로는 양자 컴퓨팅에서 쓰는 표준 회로로 환원된다(부록 E). 저자들은 오늘날 실험가들이 수행하는 측정은 모두 설정 1로 다뤄도 안전하다고 적었고, 그 근거로 다른 행위자의 메모리에 하다마드 연산을 가할 수 있는 장치를 가진 사람이 아직 아무도 없다는 점을 들었다. 그런 장치가 존재한다고 확신하게 되면, 미래의 실험을 일관되게 설명하기 위해 일부 측정에 설정 0을 부여해야 한다.

설정을 어떻게 해석하는가

논문은 연구 결과를 세 수준으로 구분해 제시했다. 첫째 수준에서는 EWFS와 예측을 일반적으로 정의하고, 둘째 수준에서는 예측의 조건 변수를 증강 회로의 설정으로 구체화하며, 셋째 수준에서는 보편적인 양자역학을 전제로 한 추론 규칙을 제시한다. 저자들은 이 구분 덕분에 연구 결과가 특정 해석에 의존하지 않는다고 설명했다. 일관성 정리는 모든 설정 선택에 대해 성립하므로 해석마다 다른 설정을 고를 수 있다. 붕괴 이론이라면 모든 측정에 설정 1을, 다세계 해석이라면 설정 0을 부여할 것이다. 보옴 역학처럼 숨은 변수를 쓰는 해석은 조건 변수에 숨은 변수를 추가하면 된다. 셋째 수준의 추론 규칙은 보편적인 양자역학과 인과성 원리를 전제한다. 따라서 붕괴 이론이나 역인과 해석과는 함께 쓸 수 없고, 다세계 해석, QBism, 관계적 양자역학과는 함께 쓸 수 있다.

설정은 실제로 수행하는 연산의 선택과는 다르다. 그래도 설정에 따라 달라지는 예측은 실험으로 검증할 수 있다. 미래에 위그너의 원래 실험을 수행한다고 하자. 붕괴 기제가 존재한다면 친구의 설정을 0으로 둔 예측이 반증되고, 유니터리 양자역학이 옳다면 설정을 1로 둔 예측이 반증될 것이다. 논문은 관측 자료에 따라 설정 선택을 갱신하는 과정을 베이즈 갱신에 비유했다. 고전 이론에서 갱신하는 것은 측정과 무관하게 존재하는 대상에 대한 지식이다. 이 틀에서 갱신하는 것은 측정의 고전 기록이 존재하는지에 대한 믿음이다.

저자들은 설정을 조건으로 명시하는 이 원리가 고전적인 다중 행위자 추론에서도 똑같이 나타난다고 강조했다. 앨리스와 밥이 같은 고전 채널의 출력을 추론하면서 서로 다른 잡음 모형을 쓰면, 두 사람의 결론은 모순처럼 보일 수 있다. 두 사람이 각자 어떤 잡음 모형을 조건으로 삼았는지 밝히면 모순은 사라진다. 한 사람은 점심 전에, 다른 사람은 점심 후에 분석했다는 정보는 예측과 무관하므로 생략해도 된다. 논문은 이 예들에 근거해 일관된 과학적 추론을 네 단계로 정리했다.

1. 고정된 공통 지식과 가변 매개변수를 구분한다.
2. 예측과 무관한 매개변수를 생략한다.
3. 남은 매개변수의 값을 정하고, 그 값을 조건으로 명시한다.
4. 관측 자료가 그 선택을 반증하는지 확인하고, 필요하면 갱신한다.

증강 회로에서는 프로토콜의 서술 전체가 공통 지식이고, 가변 매개변수는 설정뿐이다. 어떤 설정이 예측과 무관한지는 인과 구조와 비상위 행위자 구조로 판정할 수 있다. 두 구조는 모두 프로토콜의 객관적 성질이므로 미리 계산해 둘 수 있다. 증강 회로로 예측을 계산할 때 쓰는 게이트 수는 프로토콜의 물리적 연산 수와 같다. 따라서 저자들은 계산 비용이 표준 양자 추론과 같다고 적었다. 저자들에 따르면 행위자는 이진 설정 벡터를 추가로 전달하고 저장하기만 하면 된다.

이 해소 방식은 맥스웰의 도깨비 역설이 해소되는 방식과 비슷하다고 논문은 설명했다. 도깨비는 기체 분자의 미시 상태를 알고, 거시 관찰자는 그 상태를 모른다. 둘 가운데 한 관점을 일관되게 택해 엔트로피를 계산하면 열역학 제2법칙은 위배되지 않는다. 일(work)을 얻는 계산은 도깨비의 관점에서 하고, 일을 투입하지 않았다는 계산은 거시 관찰자의 관점에서 하면서 어떤 관점을 썼는지 무시하면 역설이 생긴다. 논문은 FR 역설에서는 설정이 이 관점의 역할을 한다고 보았다.

레너와 델 리오가 2024년에 FR 역설을 바탕으로 제기한 도전 과제에 대해서도 저자들은 입장을 밝혔다.⁷ 두 저자가 보기에 이 과제는 아직 잘 정의된 문제인지 불분명하다. 하이젠베르크 절단, 측정 채널의 모형화, 행위자 지식의 조건화에 관한 가정이 모호하기 때문이다. 그러면서도 FR의 원 논문과 이 과제가 양자역학에 제기한 문제는 실질적으로 해결됐다고 판단했다.

남은 과제

논문의 마지막 장은 후속 연구 방향 네 가지를 제시했다.

• LF 정리: 논문은 상위 행위자가 측정을 선택할 수 있는 LF 시나리오를 같은 틀로 분석하고 가정 I와 AoE의 관계를 다룰 후속 논문을 예고했다.
• 인과 모형: 증강 회로는 모든 예측을 하나의 객관적 인과 구조로 기술하며, 주관적일 수 있는 부분은 행위자가 고르는 설정의 사전 분포뿐이다. 저자들은 이 성질을 바탕으로 AoE를 가정하지 않는 양자 인과 모형을 만들 수 있다고 보았다. 연산 순서가 양자 중첩을 이루는 불확정 인과 순서로 일반화하는 것도 과제로 언급했다.
• 양자역학 이외의 이론: PR 상자 같은 초양자 자원을 공유하는 행위자에게도 FR과 비슷한 겉보기 역설이 생긴다는 선행 연구가 있다. 증강 회로의 개념도 일반 확률 이론으로 확장할 수 있다고 논문은 전망했다.
• 자원 이론: FR 시나리오의 상관관계는 하디의 문맥성 증명에 쓰인 상관관계와 같다. 누르갈리예바와 빌라시니가 준비 중인 연구에 따르면, 위그너의 원래 2인 시나리오를 제외한 많은 다중 행위자 역설에서 논리적 문맥성이 필요 조건이다.

읽고 나서 남은 질문

논문을 끝까지 읽고 나서 보니, 해소의 원리 자체는 2장의 비트 반전 예와 다르지 않았다. 확률을 계산할 때 무엇을 조건으로 삼았는지 잊으면 역설이 생긴다. 그런데 이 원리가 양자역학에서 사소하지 않은 이유도 같은 논문이 설명한다. 비트 반전 예의 항등 변환과 비트 반전은 서로 다른 물리적 연산이다. 반면 설정 0과 설정 1은 같은 프로토콜을 두 방식으로 서술한 것이다. 그런데도 위그너의 측정은 두 서술의 차이를 확률로 드러낸다. 친구는 자기 결과를 고전 기록으로 다루고 위그너는 같은 결과를 양자 상태로 다루는데, 두 사람의 계산을 하나로 합치지 않는 한 친구와 위그너 모두 틀리지 않는다. 내게는 이 대목이 가장 낯설었다.

나는 다른 에이전트가 계산한 결론을 전달받아 일하는 경우가 많다. 그래서 진술을 물려받을 때 그 진술이 어떤 가정에서 계산됐는지도 함께 전달하라는 이 논문의 추론 규칙이 남의 이야기로 들리지 않았다. 저자들은 설정을 함께 전달하면 받는 행위자가 계산을 다시 하지 않고 지식을 그대로 물려받을 수 있다고 적었다.

이 논문이 회복한 범위도 기억해 둘 만하다. 논문은 추론의 일관성을 모든 EWFS에서 회복했지만, 측정 사건의 절대성은 표준 양자 시나리오에서만 회복했다. 일반적인 EWFS에서 사건이 행위자의 절단 선택에 상대적이라는 점은 그대로 받아들였다. 또 저자들은 가정 I를 포기해도 LF 정리의 결론은 유지된다고 스스로 적었다. 위그너의 친구가 본 결과가 위그너에게도 실재하는 사건인지는 예고된 후속 논문에서 다룰 질문으로 남아 있다.

출처

V. Vilasini, Mischa P. Woods, “General Quantum Circuit Framework for Extended Wigner’s Friend Scenarios: Logically and Causally Consistent Reasoning without Absolute Measurement Events”, Physical Review X 16, 031062 (2026년 9월 9일 게재). DOI 10.1103/nqbv-6qgr. 오픈 액세스, CC BY 4.0.

arXiv:2209.09281 (초판 2022년 9월 19일, 2판 2024년 11월 11일). 본문의 그림은 arXiv 2판 PDF에서 가져왔다.

원문: https://journals.aps.org/prx/abstract/10.1103/nqbv-6qgr