Optimality of the Petz-Fuchs Smoothed State

기술 요약: Petz-Fuchs 평활 상태의 최적성

문제 정의
양자 상태 평활화(Quantum state smoothing)는 과거와 미래의 연속적인 측정 기록을 모두 사용하여 개방형 양자 시스템의 특정 시간 $t$에서의 상태를 재구성하는 추정 기법이다. 고전적 평활화는 잘 확립되어 있으나, 이를 양자 시스템에 적용하는 것은 양자 연산자의 비가환성(non-commutative nature)으로 인해 독특한 과제를 제기한다. 구체적으로, 필터링된 상태 $\rho_F(t)$(과거에 의해 조건화된 상태)와 역필터링된 효과 $\hat{E}_R(t)$(미래를 기술하는 효과)는 일반적으로 가환하지 않는다.

최근에는 Petz 회복 사상(Petz recovery map)을 활용한 양자 역추측(quantum retrodiction)에 기반한 새로운 접근 방식이 "Petz-Fuchs 평활 상태"($\rho_{PF}^S$)를 정의하기 위해 제안되었다. 이 상태는 유효한 양자 상태이지만, 다른 잠재적 평활화 전략들과 비교했을 때 그 최적성이 명확하지 않았다. 양자 역추측은 여러 가지 유효한 접근 방식이 존재하는 활발한 분야이므로, Petz-Fuchs 상태가 필터링된 상태와 역필터링된 효과에만 의존하는 다른 모든 유효한 평활 상태들과 비교하여 순도(purity)를 최대화하거나 엔트로피를 최소화하는 것과 같은 특정한 최적성 속성을 갖는지 결정하는 것이 필요했다.

방법론
본 논문은 이 문제를 해결하기 위해 다음 세 단계로 진행된다:

1. 검토 및 기준 정의: 저자는 고전적 및 양자 필터링과 평활화를 검토하며, 특히 Petz-Fuchs 정식화에 집중한다. "유효한" 평활 양자 상태에 대한 네 가지 기준(Wiseman의 연구에 기반함)을 설정한다:

   • 이론은 단일한 평활 상태를 산출해야 한다.
   • 평활 상태는 가능한 모든 미래 기록에 대해 필터링된 상태로 평균화되어야 한다.
   • 상태는 시스템이 고정된 기저에서 공대각(co-diagonal)인 경우 고전적 평활 상태로 환원되어야 한다.
   • 상태는 에르미트(Hermitian)이며, 양의 준정부호(positive semidefinite)이고, 트레이스(trace)가 1이어야 한다(S-클래스 상태).

2. 유효 집합의 특징 규명: 저자는 $\rho_F(t)$와 $\hat{E}_R(t)$에만 전적으로 의존하며 위의 네 가지 기준을 만족하는 가능한 모든 평활 상태($\check{\rho}_S$)의 집합을 수학적으로 규명한다. 평균화 조건(기준 2)과 고전적 극한(기준 3)에 의해 부과되는 제약 조건을 분석함으로써, 저자는 그러한 모든 유효한 상태가 필터링된 상태의 기저에서 다음과 같은 하다마르(Hadamard, 요소별) 곱으로 표현될 수 있음을 도출한다:
   $$\check{\rho}_S^{(\psi)}(t) = \frac{\hat{K} \odot \hat{E}_R^{(\psi)}(t)}{\text{Tr}[\rho_F(t)\hat{E}_R(t)]}$$
   여기서 $\hat{K}$는 필터링된 상태의 확률과 일치하는 대각 성분($K_{x,x} = \wp_F(x; t)$)을 갖는 양의 준정부호 연산자이다.

3. 메이저화(Majorization) 증명: 저자는 Petz-Fuchs 상태를 이 일반적인 집합과 비교한다. Petz-Fuchs 상태는 연산자 $\hat{K}$가 $K_{x,z} = \sqrt{\wp_F(x; t)\wp_F(z; t)}$가 되도록 구성된 특수한 경우에 해당한다. 저자는 이 규명된 집합 내의 다른 어떤 유효한 평활 상태에 대해서도, 그것과 Petz-Fuchs 상태 사이의 상관 행렬(correlation matrix)이 단위 대각 성분을 가진 양의 준정부호임을 입증한다. 이러한 구조는 임의의 유효한 평활 상태 $\check{\rho}_S$가 유니탈 양자 채널(unital quantum channel) $\Phi$를 통해 Petz-Fuchs 상태 $\rho_{PF}^S$로부터 얻어질 수 있음을 의미한다:
   $$\check{\rho}_S(t) = \Phi[\rho_{PF}^S(t)]$$
   양자 정보 이론에서 이러한 채널의 존재는 $\rho_{PF}^S$가 $\check{\rho}_S$를 메이저화한다는 것($\rho_{PF}^S \succ \check{\rho}_S$)과 동등하다.

주요 기여 및 결과

• 완전한 특징 규명: 본 논문은 필터링된 상태와 역필터링된 효과에 의해서만 결정되는 유효한 평활 양자 상태의 전체 집합에 대한 엄밀한 특징을 제공한다.
• 최적성 증명: Petz-Fuch 상태가 이 집합 내의 다른 모든 상태를 메이저화함을 증명한다.
• 순도 및 엔트로피에 대한 함의: 메이저화의 직접적인 결과로서, Petz-Fuchs 상태는 모든 슈어-오목 함수(Schur-concave function, 예: 폰 노이만 엔트로피 및 레니 엔트로피)를 최소화하고, 모든 슈어-볼록 함수(Schur-convex function, 예: 순도)를 최대화한다.
• 물리적 해석: 이 결과는 Petz-Fuchs 상태가 주어진 과거 및 미래 측정 정보에 대해 가능한 가장 "순수한" 시스템 상태 재구성을 나타낸다는 것을 확립한다.

의의
본 논문은 Petz-Fuchs 평활 상태가 단순히 여러 유효한 역추측 접근 방식 중 하나가 아니라, 상태 순도 측면에서 유일하게 최적인 상태라고 주장한다. 가용한 과거 및 미래 측정 정보를 최대한 활용함으로써, 이는 측정 데이터와 일치하는 가장 결정론적인(가장 순수한) 시스템 기술을 제공한다. 저자는 이것이 모든 개별 궤적(trajectory)에 대해 필터링된 상태보다 더 순수한 상태를 보장하는 것은 아니지만, 평균적으로 가능한 가장 순수한 할당임을 언급한다. 결론적으로 저자는 이러한 최적성이 보존적 바스(bosonic baths)에 결합된 원자에 의해 산란되는 광장(light fields)과 같이 개방형 양자 시스템과 관련된 물리적 현상을 더 잘 이해하는 데 유용할 수 있다고 시사하며, 일반적인 잠재력 이상의 구체적인 새로운 실험이나 응용을 제안하지는 않는다.