Localized Covariant Quantities Appear To Underlie Quantum Circuits

기술 요약: 국소적 공변량(Localized Covariant Quantities)이 양자 회로의 기초를 이루는 것으로 보임

문제 제기
본 논문은 시공간 내에서 양자 얽힘에 대한 상대론적 공변적 기술을 공식화하는 데 따르는 어려움을 다룬다. 전통적인 양자 역학은 다입자 구성 공간(configuration space) 상에 정의된 상태 벡터 $\psi(x_1, x_2, ..., x_N, t)$를 사용하여 얽힌 시스템을 기술하는데, 이는 일반적인 시공간의 국소적 사건(local events)으로 직접 매핑되지 않는다. 이러한 특성은 얽힌 회로를 서로 다른 참조 프레임에서 분석할 때 모순을 야기한다. 예를 들어, 동시성의 정의가 변함에 따라 특정 시공간 영역 내 하위 시스템의 상태(예: 얽힘 상태 vs 붕괴된 상태)가 달라지게 된다. 부분 추적(partial trace)이나 보름 역학(Bohmian mechanics)과 같은 숨은 변수 이론과 같은 표준적 접근 방식들은 국소 변수를 추출하려고 시도하지만, 그 역학은 종종 강하게 프레임 의존적으로 나타나 상대론적 공변성을 위반하는 것처럼 보인다. 저자들은 비국소적인 구성 공간 파동함수에 의존하지 않고도 양자 회로의 기초가 될 수 있는 일련의 국소적 공변량들이 존재하는지 규명하고자 한다.

방법론
저자들은 **사후 선택된 약한 값(post-selected weak values)**을 사용하여 일반적인 양자 회로를 분석한다. 표준적인 기댓값과 달리, 약한 값은 초기 준비 상태 $|i\rangle$와 최종 사후 선택 측정 결과 $|f\rangle$에 대한 정보를 모두 포함하며, 이는 회로를 미래의 경계 조건이 과거의 역학을 제약하는 "블록 우주(block universe)"로 취급하는 것과 같다.

1. 국소 약한 값의 정의: $N$-큐비트 시스템에 대해, 특정 큐비트에 대한 약한 값 벡터 $\mathbf{w}$는 국소 연산자 $A = \sigma_j \otimes I$ (여기서 $\sigma_j$는 파울리 행렬, $I$는 나머지 큐비트들에 대한 항등 연산자)를 사용하여 정의된다. 약한 값은 다음과 같이 계산된다:
   $$W[A](t) = \frac{\langle f| U[t_f - t] A U[t - t_i] |i\rangle}{\langle f| U[t_f - t_i] |i\rangle}$$
   이는 복소 3-벡터 $\mathbf{w} = (W[\sigma_x], W[\sigma_y], W[\sigma_z])$를 산출한다.

2. 텐서 표현: 저자들은 $\mathbf{w}$의 6개 실수 및 허수 성분을 전자기장 텐서 $F^{\mu\nu}$와 유사한 공변 반대칭 텐서 $W^{\mu\nu}$로 매핑할 것을 제안한다.

3. 역학적 분석: 약한 값의 진화는 다음을 통과하며 분석된다:

   • 와이어 (자유 진화): 불변성 확인.
   • 단일 큐비트 게이트: 국소 회전 확인.
   • 2-큐비트 게이트 (특히 $\sqrt{SWAP}$ 및 교환 상호작용): 국소 역학 방정식 확인.
   • 측정: 경계 조건 확인.

주요 기여 및 결과

• 역학적 국소성: 본 논문은 얽힌 상태에 있는 임의의 큐비트에 대해, 그 국소 약한 값 벡터 $\mathbf{w}$가 다른 먼 큐비트들의 동시적 진화나 얽힘에 관계없이 "와이어"(게이트 사이)를 따라 일정하게 유지됨을 입증한다. 큐비트가 단일 큐비트 게이트를 통과할 때, $\mathbf{w}$는 나머지 시스템의 상태와 독립적으로 게이트가 블로흐 구(Bloch sphere) 벡터를 회전시키는 것과 정확히 일치하게 회전한다.
• 공변 텐서 구조: 저자들은 약한 값이 자연스럽게 반대칭 텐서 $W^{\mu\nu}$를 형성함을 보여준다. 단일 큐비트의 경우, 이 텐서의 불변량($\text{Re}(\mathbf{w})^2 - \text{Im}(\mathbf{w})^2 = 1$ 및 $\text{Re}(\mathbf{w}) \cdot \text{Im}(\mathbf{w}) = 0$)이 보존되며, 이는 $\mathbf{w}$를 상대론적 공변량으로 해석하는 근거를 뒷받침한다.
• 2-큐비트 게이트에서의 국소 역학: 수치 시뮬레이션과 해석적 증명을 통해, 저자들은 교환 상호작용( $SWAP_\alpha$ 게이트로 모델링됨) 동안 두 큐비트의 약한 값이 다음과 같은 단순한 국소 미분 방정식을 따른다는 것을 보여준다:
  $$\frac{d^2 \mathbf{w}_a}{d\tau^2} = \frac{\pi^2}{2} (\mathbf{w}_b - \mathbf{w}_a)$$
  이는 두 큐비트 사이의 조화 진동을 기술한다. 결정적으로, 이 상호작용은 국소적이다. 즉, 두 큐비트가 물리적으로 가까워져야 한다. 이 방정식은 결합된 조화 진동자를 포함하는 공변 라그랑지안(Lagrangian)으로부터 유도되며, 이는 역학이 프레임에 독립적임을 확인해 준다.
• 미래 입력 의존성: 이 분석은 미래의 측정 기저를 경계 조건으로 취급하는 "all-at-once" 접근 방식에 의존한다. 이를 통해 국소 약한 값은 "통계적 독립성"(숨은 변수가 미래의 측정 설정과 독립적이라는 가정)을 위반함으로써 벨의 정리(Bell's theorem) 제약을 만족할 수 있다.

의의 및 주장
본 논문은 양자 회로가 (비국소적인 구성 공간 파동함수와 구별되는) 국소적이고 상대론적인 구조를 가지고 있다는 증거를 제공한다고 주장한다.

• 존재론적 전환: 결과는 구성 공간 파동함수가 존재론적 실체가 아닐 수 있음을 시사한다. 대신, "실제" 밑바탕의 물리학은 국소적 공변량(약한 값 텐서)들로 구성되어 있으며, 이들은 국소적이고 공변적인 역학 규칙에 따라 진화할 수 있다.
• 비국소성의 해소: 얽힘의 외견상 비국소성은 단일 회로 실행 내에서의 역학적 영향이 아니라, 서로 다른 회로 실행들을 비교할 때 나타나는 반사실적(counterfactual) 특징으로 재정의된다. 단일 회로 실행 내에서 국소 약한 값은 먼 곳의 사건에 즉각적으로 반응하지 않으므로 상대론적 공변성을 유지한다.
• 확장성: 저자들은 이 숨겨진 구조가 (국소 텐서들의 집합으로서) 큐비트 수 $N$에 따라 선형적으로 확장된다고 주장하며, 이는 표준 파동함수보다 더 경제적인 양자 시스템의 기술 방식을 제공한다.
• 재구성 가능성: 이 연구는 상태 벡터 자체를 배제하고 국소 약한 값을 주요 변수로 사용하는 양자 이론의 재구성이 가능하다는 점을 지지한다. 이러한 접근 방식은 비국소적 인과율을 호출하지 않고도 양자 현상을 상대론적 시공간과 조화시킬 수 있는 "미래 입력 의존적(future-input dependent)" 모델과 궤를 같이한다.

논문은 중간 단계로서의 상태 벡터 사용 없이 이러한 국소 값을 계산하는 방법을 아직 제시하지 못했다는 점을 언급하며 겸허히 결론을 맺지만, 국소적 직접 분석이 가능한 프레임워크를 구축했으며 양자 기초 연구의 유망한 방향을 제시했다고 밝히고 있다.