[논문 리뷰] A Simplified Expression for Quantum Fidelity

Adrian Müller|arXiv (Cornell University)|2023. 09. 19.

Quantum Information and CryptographyComputer Science인용 수 3

한 줄 요약

이 논문은 두 혼합 양자 상태 사이의 양자 허상도에 대한 간단하고 대칭적인 표현을 제시한다: $ F(\rho,\sigma) = \left(\sum_i \sqrt{\lambda_i(\rho\sigma)}\right)^2 $, 이는 행렬의 기하평균이나 의사역행렬을 사용하지 않고도 유려한 스펙트럼 매핑 증명을 통해 입증된다. 재구성된 표현은 $ \rho\sigma $의 고유분해 하나만을 요구하는 계산적으로 효율적인 방법을 가능하게 하며, 이는 이전의 접근 방식보다 실용적으로 뛰어나다.

ABSTRACT

Quantum fidelity is one of the most important measures of similarity between mixed quantum states. However, the usual formulation is cumbersome and hard to understand when encountering the first time. This work shows in a novel, elegant proof that the expression can be rewritten into a form, which is not only more concise but also makes its symmetry property more obvious. Further, the simpler expression gives rise to a formulation that is subsequently shown to be more computationally efficient than the best previous methods by avoiding any full decomposition. Future work might look for ways in which other theorems could be affected or utilize the reformulation where fidelity is the computational bottleneck.

연구 동기 및 목표

• 혼합 양자 상태에 대한 양자 허상도의 더 직관적이고 대칭적인 표현을 제공하는 것.
• 허상도 표현 유도 과정에서 행렬 기하평균이나 의사역행렬에 의존하지 않도록 하는 것.
• 간소화된 표현이 허상도 계산을 위한 더 효율적인 알고리즘을 가능하게 하는지 보여주는 것.
• 기존의 접근 방식과 비교하여 새로운 방법의 계산적 우수성을 실증적으로 검증하는 것.
• 허상도 계산이 계산 병목 현상이 되는 미래의 응용을 가능하게 하기 위해 복잡도를 감소시키는 것.

제안 방법

• 행렬 스펙트럼의 순환성과 스펙트럼 매핑 성질을 이용하여 $ \sqrt{\sqrt{\rho}\sigma\sqrt{\rho}} $의 스펙트럼이 $ \sqrt{\rho\sigma} $의 스펙트럼과 동일하다는 것을 증명한다.
• 트레이스-고유값 관계를 적용하여 $ \Tr\left(\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}}\right) = \Tr\left(\sqrt{\rho\sigma}\right) $ 를 보여준다.
• 간소화된 허상도 공식 $ F(\rho,\sigma) = \left(\sum_i \sqrt{\lambda_i(\rho\sigma)}\right)^2 $ 를 유도하며, 이는 대칭적이고 간결하다.
• 단일 일반 고유분해를 사용하여 새로운 방법을 구현하고 벤치마크를 수행하며, 전체 행렬 분해를 피한다.
• Apple M1 칩에서 랜덤 밀도 행렬을 사용하여 기존의 방법들과 성능을 비교한다: 2x sqrtm, 3x svd, sqrtmh + eigvalsh, sqrtm_svd + svd.
• $ \rho\sigma $가 음이 아닌 고유값을 가진다는 사실을 활용하여 계산을 추가로 최적화한다.

Figure 1: Comparing the performance of different methods to calculate quantum fidelity. “2x sqrtm” refers to calculating two general eigendecompositions to calculate the matrix square roots of $\rho$ and $\sqrt{\rho}\sigma\sqrt{\rho}$ in equation ( 1 ). “3x svd” is another commonly used method based

실험 결과

연구 질문

• RQ1 혼합 상태 사이의 표준 양자 허상도 표현을 더 대칭적이고 직관적인 형태로 단순화할 수 있는가?
• RQ2 행렬 기하평균이나 의사역행렬에 의존하지 않고 간소화된 허상도 표현을 도출할 수 있는가?
• RQ3 간소화된 표현이 전체 행렬 분해를 피하는 더 효율적인 계산 방법을 이끌어낼 수 있는가?
• RQ4 기존의 최첨단 접근 방식과 비교할 때 새로운 방법의 속도와 확장성 측면에서 성능은 어떠한가?
• RQ5 새로운 표현이 허상도 계산이 계산 병목 현상이 되는 응용 분야에서 더 빠른 계산을 가능하게 할 수 있는가?

주요 결과

• 간소화된 허상도 표현 $ F(\rho,\sigma) = \left(\sum_i \sqrt{\lambda_i(\rho\sigma)}\right)^2 $ 는 스펙트럼 매핑과 순환 스펙트럼 성질을 통해 표준 형태와 동치임을 입증되었다.
• 새로운 표현은 $ \rho $와 $ \sigma $ 사이의 허상도의 대칭성을 즉각적으로 드러내어 이해하기 쉽게 한다.
• 이 방법은 $ \rho\sigma $의 고유분해 하나만을 요구하며, 전체 행렬 분해를 피하고 계산 오버헤드를 줄인다.
• 실증 평가 결과, 작은 크기와 큰 크기의 밀도 행렬 모두에서 새로운 방법이 가장 우수한 대안 방법보다 약 2배 빠르게 동작한다.
• 시스템 크기의 변화에 관계없이 성능 향상이 일관되게 유지되며, 중간 크기의 차원에서도 경쟁력이 있다.
• 이 방법은 기존 최적화 기법(예: $ \rho\sigma $의 음이 아닌 고유값 활용)과 호환되며, 향후 고유값 계산 기술의 발전으로부터도 유익을 볼 수 있다.