Temporal Kirkwood-Dirac Quasiprobability Distribution and Unification of Temporal State Formalisms through Temporal Bloch Tomography

기술 요약: 시간적 커크우드-디락 준확률 분포와 시간적 블로흐 토모그래피를 통한 시간적 상태 형식론의 통합

문제 제기
시간적 양자 상태는 다중 파티션 밀도 연산자 형식을 시간 영역으로 일반화하여, 시간적(timelike) 상관관계와 공간적(spacelike) 상관관계를 모두 보이는 양자 계를 통합적으로 다룰 수 있게 한다. 일관된 역사(consistent histories), 의사 밀도 연산자(pseudo-density operators, PDO), 퀀텀 콤(quantum combs), 프로세스 텐서(process tensors), 그리고 다중 시간 상태(multiple-time states)를 포함한 다양한 시간적 상태 형식론이 산재해 있음에도 불구하고, 이들의 정확한 운용적 관계와 개념적 구별은 여전히 불분명하다. 또한, 커크우드-디락(Kirkwood–Dirac, KD) 준확률 분포는 공간적 설정에서 비고전성(nonclassicality)을 특징짓는 잘 확립된 도구이지만, 이를 시간적 및 시공간적 과정으로 체계적으로 확장하는 연구는 아직 충분히 이루어지지 않았다. 본 연구는 이러한 다양한 시간적 형식론에 대한 통일된 운용적 기초의 부재와, 다중 시간 양자 과정의 비고전성을 특징짓기 위한 필요성을 다룬다.

방법론
저자들은 임의의 다중 시간 양자 과정 및 일반적인 시공간 설정으로 KD 준확률 분포를 확장한다. 방법론은 다음과 같다:

1. 시간적 KD 분포의 정의: 저자들은 세 가지 구별되는 시간적 KD 준확률 분포를 도입한다: 과정 $P = (\rho_{t_0}, \mathcal{E}_{t_1 \leftarrow t_0}, \dots, \mathcal{E}_{t_n \leftarrow t_{n-1}})$에 대하여:
   • 우측 KD ($\overrightarrow{Q}_{KD}$): 브라(bra) 공간에 투영 연산자를 작용시켜 정의됨 (역진화 측정).
   • 좌측 KD ($\overleftarrow{Q}_{KD}$): 켓(ket) 공간에 투영 연산자를 작용시켜 정의됨.
   • 이중 KD ($\overleftrightarrow{Q}_{KD}$): 브라와 켓 공간 모두에 투영 연산자를 작용시켜 정의되며, 정보 완결성을 제공함.
2. 마진겐-힐(Margenau-Hill, MH) 분포 유도: 이 KD 분포의 실수 성분이 시간적 MH 준확률로 식별된다.
3. 실험적 접근성: 이 분포들이 특성 함수(characteristic functions)를 사용하는 간섭계 측정 방식이나 양자 스냅샷 프로토콜을 통해 실험적으로 접근 가능하다는 것을 보여준다.
4. 시간적 블로흐 토모그래피: 저자들은 이러한 준확률 분포에 대해 블로흐 토모그래피를 수행함으로써 시간적 상태를 구성한다. 이들은 시간적 힐베르트 공간 상의 연산자를 재구성하기 위해 형식론에 의존하는 시간적 곱 연산($\star_{TS}$)을 정의한다.
5. 비고전성 정량화: 준확률의 절대값 합에서 1을 뺀 값을 기반으로 시간적 KD 비고전성($N$) 측도를 정의한다. 이 측도의 성질(볼록성 및 거친 격자화(coarse-graining) 하에서의 거동 포함)을 분석한다.

주요 기여 및 결과

• 통합된 프레임워크: 일반화된 KD 프레임워크는 광범위한 시간적 상태 접근법에 대한 통일된 운용적 기초를 제공한다. 이 분포들의 비고전적 특징을 특징짓는 과정을 통해, 저자들은 기존의 다양한 형식론들이 부분 트레이스(partial trace) 또는 에르미트화(Hermitianization)를 통해 시간적 KD 상태로부터 유도되거나 관련될 수 있음을 입증한다.
• 시간적 상태 정의:
  • KD 시간적 상태: 우측, 좌측, 이중 KD 시간적 상태가 정의된다. 이중 KD 상태는 "이중 밀도 연산자" 형식론과 일치한다. 고정된 시간의 밀도 연산자들은 양자 콜모고로프 일관성 조건(quantum Kolmogorov consistency condition)을 만족하며, 이 시공간적 상태들로부터 부분 트레이스를 통해 회복될 수 있다.
  • MH 시간적 상태: MH 시간적 상태는 KD 상태의 에르미트화 버전($\Upsilon_{MH} = \frac{1}{2}(\Upsilon + \Upsilon^\dagger)$)으로 정의된다.
• 기존 형식론과의 관계:
  • 두 시간(two-time) 사례의 경우, 좌측/우측 MH 시간적 상태는 의사 밀도 연산자(PDO)와 정확히 일치한다.
  • 다중 시간 사례($n > 2$)의 경우, 좌측/우측 MH 시간적 상태는 PDO와 다르다. PDO는 초기 상태와 자미올코프스키 연산자(Jamiołkowski operators)의 곱(모든 순열을 포함함)의 특정 선형 결합임이 밝혀졌으나, MH 상태는 고정된 곱 순서를 유지한다.
  • 뤼더스-폰 노이만(Lüders–von Neumann, LvN) 분포는 이중 KD 분포의 대각 제한(diagonal restriction)으로 나타난다.
• 고전성 기준: 본 논문은 시간적 KD 분포의 고전성을 위한 필요충분조건을 확립한다. 과정이 고전적(즉, 콜모고로프 공리를 만족하는 결합 확률 분포를 가짐)이기 위한 조건은 시간적 결합 측정 연산자들이 가환(commute)하는 것이다. 만약 비고전성 측도 $N > 0$이면, 연산자들이 가환하지 않는 인덱스가 반드시 존재해야 한다.
• 비고전성 성질: 시간적 KD 비고전성 측도는 비음수이며, 충실(faithful)하고, 초기 상태 및 양자 채널에 대해 볼록하며, 거친 격자화 하에서 감소함을 보인다. 결정적으로, 표준 공간적 KD 비고전성(상태와 측정에 의해서만 결정됨)과 달리, 시공간적 KD 양자성은 기저에 깔린 양자 진화(채널)에 의존한다.

의의
본 논문은 일반화된 KD 프레임워크가 시간적(및 시공간적) 블로흐 토모그래피에 기반한 단일 구성을 통해 이질적인 시간적 상태 형식론들을 통합한다고 주장한다. 좌측, 우측, 이중 시간적 KD 준확률을 정의함으로써, 저자들은 PDO, 프로세스 텐서, 퀀텀 콤과 같은 형식론들 사이의 운용적 관계에 대한 모호성을 해결한다. 또한, 저자들은 시간적 결합 측정 연산자의 비가환성에 직접 연결함으로써 시간적 과정의 비고전성에 대한 명확한 운용적 기원을 제공한다. 나아가, 이 프레임워크는 이러한 분포들을 실험적으로 접근하고 시간적 상태를 재구성할 수 있는 실질적인 경로를 제공하여, 시간적 상관관계, 양자 카오스, 그리고 양자 다체 시스템에서의 정보 스크램블링 연구를 용이하게 한다. 저자들은 이 프레임워크가 기존 형식론들을 통합하지만, 특정 차이점(예: 다중 시간 MH 상태와 PDO의 차이)이 두 시간 한계를 넘어서는 풍부한 시간적 양자 구조를 강조한다는 점을 언급한다.