Almost no experiments have classical Kirkwood-Dirac representations

기술 요약: "거의 모든 실험은 고전적인 커크우드-디락 표현을 갖지 않는다"

문제 정의
양자 정보 이론의 핵심 과제는 고전적 현상과 양자적 현상의 경계를 규명하는 것이다. 준확률(quasiprobability) 프레임워크에서, 어떤 상태가 양의 확률 분포로 표현될 수 있다면 그 상태는 "고전적"이라고 간주된다. 위그너 함수(Wigner function)가 이와 관련하여 중추적인 역할을 해왔다면, 커크우드-디락(Kirkwood-Dirac, KD) 분포는 계량(metrology), 약한 값(weak values), 열역학, 그리고 맥락성(contextuality) 분야에 응용되는 이산 변수 양자 정보의 다재다당한 도구로 부상했다.

KD 분포 $Q(\rho)$는 관측량 $A$와 $B$에 연관된 두 임의의 기저 $\{|a_i\rangle\}$ 및 $\{|b_j\rangle\}$에 대해 정의된다. 상태 $\rho$는 $Q(\rho)$의 모든 성분이 실수이며 비음수(non-negative)일 때 KD-양수(KD-positive, 즉 고전적)라고 한다. 중요한 미해결 문제는 KD-양수 상태들의 집합인 $E_{KD+}$를 완전히 규명하는 것이다. Wigner 함수의 경우 양수인 상태들의 집합이 (순수 상태에 대해) 가우시안 상태로 제한된다는 것이 알려져 있는 것과 달리, KD 분포에 대한 $E_{KD+}$의 구조는 복잡하다. 이는 반드시 폴리토프(polytope)인 것은 아니며, 그 극점(extremal points)에는 KD-양수 순수 상태들의 볼록 결합이 아닌 혼합 상태(소위 "이국적인 상태(exotic states)")가 포함될 수 있다. 이러한 복잡성은 KD 분포를 사용하여 비고전성을 식별하거나 양자 회로를 효율적으로 시뮬레이션하는 것을 어렵게 만든다.

방법론
저자들은 KD-양수 상태, KD-실수 관측량, 그리고 KD-양성 보존 유니터리를 규명하기 위해 확률적 기하학적 접근 방식을 채택한다.

1. 무작위 기저 선택: 특정적이거나 잠재적으로 병리적인 사례를 분석하는 대신, 저자들은 유니터리 군 $U(d)$ 상의 하르 측도(Haar measure)에 따라 무작위로 선택된 두 기저 투영 연산자 세트 $A = \{|a_i\rangle\langle a_i|\}$와 $B = \{|b_j\rangle\langle b_j|\}$를 고려한다.
2. 선형 대수적 정식화: 이 문제는 전이 행렬 $U$ (여기서 $U_{ij} = \langle a_i | b_j \rangle$)의 연구로 매핑된다. 저자들은 실수 행렬 공간에 작용하는 선형 사상 $C_U$를 정의한다. 저자들은 KD-실수 관측량의 공간 $V_{KDr}$이 이 사상의 커널(kernel), 즉 $\text{Ker}(C_U)$와 동형임을 입증한다.
3. 차원 분석: 저자들은 기저 투영 연산자들의 볼록 껍질(convex hull) $\text{conv}(A \cup B)$가 항상 $E_{KD+}$에 포함됨을 확립한다. 증명의 핵심은 거의 모든 유니터리 행렬 $U$(구체적으로 영 성분이 없는 $U$)에 대해 KD-실수 관측량의 차원이 최소($2d-1$)라는 것을 보여주는 것이다. 이는 거의 모든 KD 분포에서 기저의 볼록 껍질과 실수 스팬(real span) 외에 "추가적인" KD-양수 상태나 관측량이 존재하지 않음을 의미한다.
4. 측도론: 최소 차원의 커널을 갖는 특정 유니터리 행렬 $U_\star$를 구성하고, 관련 선형 사상의 행렬식이 $U$의 행렬 성분들에 대한 0이 아닌 다항식이라는 사실을 이용하여, 저자들은 Proposition 3(실수 해석 함수의 제로 집합의 하르 측도가 0이라는 결과)을 인용함으로써 이 최소 구조가 확률 1로 성립함을 증명한다.

주요 기여 및 결과
본 논문은 두 개의 $d$차원 기저에 대한 거의 모든 선택에 대해, KD 프레임워크에서의 고전적 대상들이 최소화되며 명시적으로 규명된다는 **정리 1(Theorem 1)**을 제시한다:

• KD-양수 상태 ($E_{KD+}$): KD-양수 상태의 집합은 두 기저의 볼록 껍질과 정확히 일치한다:
  $$E_{KD+} = \text{conv}(A \cup B)$$
  이 집합은 $2(d-1)$ 차원의 폴리토프이며, 정확히 $2d$개의 알려진 정점(두 기저의 투영 연산자들)을 갖는다. 거의 모든 KD 분포에서 "이국적인" 혼합 극점 상태는 존재하지 않는다.
• KD-실수 관측량 ($V_{KDr}$): 관측량이 KD-실수라는 것은 두 기저의 실수 벡터 공간 내에 존재한다는 것과 동치이다:
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• KD-양수 측정 ($M_{KD+}$): 양의 KD 표현을 갖는 모든 측정 요소는 비음수 계수를 가진 기저 투영 연산자들의 선형 결합이어야 한다.
• KD-양성 보존 유니터리: KD-양수 상태를 KD-양수 상태로 매핑하는 유니터리 변환은 오직 자명한 전역 위상(global phases)뿐이다:
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

의의 및 시사점
저자들은 이러한 결과가 "거의 모든" 실험적 설정에 대해 KD 프레임워크에서의 고전성을 이해하는 방식을 근본적으로 단순화한다고 주장한다:

1. 비고전성의 견고성: 고전적 상태의 집합이 알려진 면(facet)을 가진 단순한 폴리토프이므로, 비고전성에 대한 증거(witness)를 구축하는 것이 매우 용이하다. 주어진 상태가 고전적 집합으로부터 떨어져 있는 거리를 $E_{KD+}$의 기하학적 구조를 통해 쉽게 하한(lower-bound)할 수 있다.
2. 맥락성: 이 결과는 일반화된 맥락성의 조건을 명확히 한다. 고전적(비맥락적) 행동을 생성하는 입력 상태들의 집합이 거의 모든 관측량에 대해 최소화되어 있고 잘 정의되어 있으므로, 맥락성의 탐지는 기저의 구체적인 선택에 대해 견고하다.
3. 이국적 상태의 부재: 본 논문은 "이국적인" KD-양수 상태(KD-양수 순수 상태들로 분해될 수 없는 혼합 상태)가 드문 현상임을 보여준다. 이러한 상태들은 맞춤화된, 비일반적인(non-generic) KD 분포(예: 특정 스핀-1 또는 멀티 큐비트 시스템)에서만 존재한다.
4. 고전적 시뮬레이션: 이 결과는 KD 분포를 사용하는 양자 회로의 효율적인 고전적 시뮬레이션에 심각한 제한이 있음을 시사한다. 오직 $\text{conv}(A \cup B)$에서의 초기화와 직후의 $M_{KD+}$ 측정을 포함하는 회로만이 KD-양수이기 때문에, 거의 모든 비자명한 양자 회로는 KD 비양수성을 나타낼 것이며, 이는 양의 준확률에 의존하는 몬테카를로 샘플링 방법 등을 통한 고전적 시뮬레이션을 어렵게 만든다.

결론적으로, 본 논문은 KD 분포와 관련된 복잡성이 규칙이 아니라 예외적인 경우임을 확립한다. 대다수의 실험적 구성에서 고전적-양자 경계는 날카롭고, 단순하며, 측정 기저의 볼록 기하학에 의해 완전히 규명된다.