Imaginarity measures induced by real part states and the complementarity relations

기술 요약: 실수부 상태(Real Part States)에 의해 유도된 허수성(Imaginarity) 측정 및 상보성 관계

문제 제기
복소수는 양자 역학의 근간을 이루지만, 양자 상태의 밀도 행렬에서 소멸하지 않는 허수 성분을 정량화하는 "허수성(imaginarity)"의 자원 이론은 최근에야 비로소 정립되었다. 여러 허수성 척도(예: 트레이스 노름, 상대 엔트로피, 기하학적 척도)가 존재하지만, 이들은 종종 최적화 문제나 특정 거리 메트릭을 통해 정의된다. 본 연구에서 다루는 핵심 질문은, $\text{Re}(\rho) = \frac{1}{2}(\rho + \rho^*)$로 정의되는 "실수부 상태(real part state)"가 허수성 척도를 구축하기 위한 일반적인 토대로 기능할 수 있는가 하는 점이다. 구체적으로, 저자들은 상태 $\rho$와 그 실수부 $\text{Re}(\rho)$ 사이의 거리가 유효한 자원 척도를 구성하는지 조사하며, 상호 무편향 기저(MUBs)에서 허수성이 직면하는 물리적 제약(상보성)을 탐구한다.

방법론
본 논문은 양자 상태 $\rho$와 그 실수부 상태 $\text{Re}(\rho)$ 사이의 거리를 기반으로 허수성 척도를 구축하기 위한 일반적인 프레임워크를 제안한다.

1. 일반적 구축: 저자들은 비음수성, 완전 양의 보존(CPTP) 사상에 대한 수축성, 직합에 대한 가법성을 만족하는 함수 $D(\rho, \sigma)$를 정의한다. 이들은 $M(\rho) = D(\rho, \text{Re}(\rho))$가 허수성 척도의 다섯 가지 공리(충실성, 단조성, 확률적 단조성, 볼록성, 가법성)를 만족함을 증명한다.
2. 특정 척도 제안: 함수 $D(\rho, \sigma) = 1 - F(\rho, \sigma)$를 선택함으로써(여기서 $F$는 충실도), 저자들은 새로운 척도인 $M_{\text{Re}}(\rho) = 1 - F(\rho, \text{Re}(\rho))$를 도입한다.
3. 해석적 유도: 저자들은 블로흐 벡터 표현을 사용하여 큐비트 시스템에 대한 $M_{\text{Re}}$의 폐쇄형 해석적 식을 유도한다.
4. 비교 분석: 새로운 척도를 기존의 척도들(기하학적, 타리스 상대 엔트로피, 트레이스 노름)과 비교하여 부등식 및 관계를 확립한다.
5. 상보성 분석: 저차원 시스템(큐비트 및 큐트릿)에서 완전한 MUB 세트 하에서의 허수성 척도의 합을 조사하여, 허수성 분포에 대한 물리적 제약을 결정한다.

주요 기여 및 결과

• 일반적 구축 방법: 정리 1은 특정 물리적 조건(비음수성, 수축성, 가법성)을 만족하는 임의의 거리 함수 $D$가 쌍 $(\rho, \text{Re}(\rho))$에 적용될 때 유효한 허수성 척도를 생성함을 확립한다. 이는 트레이스 노름, 상대 엔트로피, 타리스 상대 엔트로피와 같은 기존 척도들을 이 프레임워크의 특정 사례로서 통합한다.
• 새로운 충실도 기반 척도 ($M_{\text{Re}}$): 저자들은 $M_{\text{Re}}$를 제안하고 이것이 잘 정의된 척도임을 증명한다. 주요 특성은 다음과 같다:
  • 경계값: $0 \leq M_{\text{Re}}(\rho) \leq 1 - \frac{\sqrt{2}}{2}$. 상한값은 최대 허수 상태 $|+i\rangle = \frac{|0\rangle + i|1\rangle}{\sqrt{2}}$에 의해 달성된다.
  • 순수 상태: 순수 상태 $|\psi\rangle$에 대해, $M_{\text{Re}}(|\psi\rangle) = 1 - \frac{1}{\sqrt{2}}\sqrt{1 + |\langle\psi|\psi^*\rangle|^2}$이다.
  • 큐비트 해석적 공식: 블로흐 벡터 $\rho = \frac{1}{2}(I + \mathbf{r} \cdot \boldsymbol{\sigma})$에 대한 명시적 공식을 유도하며, 이는 허수성이 블로흐 벡터의 $y$ 성분($r_y$)에 따라 증가함을 보여준다.
• 타 척도와의 관계:
  • 기하학적 허수성 ($M_g$): 본 논문은 $M_{\text{Re}}(\rho) \leq M_g(\rho) \leq 1 - [1 - M_{\text{Re}}(\rho)]^2$의 부등식을 확립한다. 등호는 $\rho$가 실수 상태이거나 $M_g$를 위한 최적의 실수 상태가 $\text{Re}(\rho)$와 일치할 때만 성립한다.
  • 최적 실수 상태: 저자들은 큐비트 시스템에서 기하학적 허수성의 경우, 최적의 실수 상태가 일반적으로 $\text{Re}(\rho)$가 아님을 밝힌다(예: $r_x=r_z=0$ 또는 $r_y=0$인 경우 제외).
  • 트레이스 노름 및 순도: $M_{\text{Re}}$, 트레이스 노름 허수성 $M_{\text{tr}}$, 그리고 순도 $P(\rho)$ 사이의 관계를 나타내는 경계가 유도된다: $[1 - M_{\text{Re}}(\rho)]^2 + M_{\text{tr}}(\rho)^2 \geq P(\rho)$.
• 상보성 관계:
  • 큐비트: 임의의 큐비트 상태에 대해, 세 개의 파울리 고유 기저($B_1, B_2, B_3$)에서의 허수성 척도는 블로흐 벡터 길이 $|\mathbf{r}|$에 의해 제한되는 상보성 관계를 만족한다. 순수 상태의 경우, 이 관계는 등식이 된다.
  • 큐트릿: 큐트릿의 경우, 완전한 4개의 MUB 세트에 대한 상보성 관계가 확립되었으며, 이는 1로부터의 제곱 편차의 합이 상태의 순도에 의해 제약됨을 보여준다: $\sum_{k=1}^4 (1 - M_{\text{Re}}^{Z_k})^2 > \frac{31}{14}P(\rho)$.

의의 및 주장
본 논문은 실수부 상태 $\text{Re}(\rho)$가 허수성 자원 이론에서 수행하는 "두드러진 역할"을 강조하며, 이것이 본질적으로 자원을 특징짓는다는 점을 입증한다고 주장한다. 기하학적 척도의 초기 정의와 달리 최적화 없이 척도를 구축하는 방법을 제공함으로써, 본 연구는 계산적으로 더 용이한 접근 방식을 제시한다.

또한, 유도된 상보성 관계는 물리적 제약을 드러낸다: 양자 상태가 보유할 수 있는 허수성의 양은 상호 무편향 기저의 완전한 집합 전체에서 동시에 클 수 없다. 이러한 측정 기저에 대한 의존성은 허수성이 양자 자원으로서 갖는 본질적인 특성을 강조한다. 결론적으로, 본 연구는 이러한 발견이 실수부 상태를 통한 양자 상태의 해석을 심화시키고, 저차원 시스템에서 허수성이 직면하는 제약을 규명한다고 밝힌다.