[논문 리뷰] On maximization of measured $f$-divergence between a given pair of quantum states

Keiji Matsumoto|arXiv (Cornell University)|2014. 12. 11.

Quantum Mechanics and Applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 콘벡스 해석학과 비가환 라돈-니코딤 미분을 사용하여 양자 상태 간 측정된 f-발산의 단일 복사 최대화 문제를 재구성함으로써, f*가 연산자 볼록일 경우 $ D_f^{\text{min}} $에 대한 닫힌 형식의 표현을 도출한다. 이는 $ f = f_2 $ 및 $ f = f_{-1} $의 경우 명시적인 해를 포함하며, $ f^* $의 프레셰 도함수를 통해 최적 측정을 위한 다루기 쉬운 행렬 방정식을 제공한다.

ABSTRACT

This paper deals with maximization of classical $f$-divergence between the distributions of a measurement outputs of a given pair of quantum states. $f$-divergence $D_{f}$ between the probability density functions $p_{1}$ and $p_{2}$ over a discrete set is defined as $D_{f}( p_{1}||p_{2}) :=\sum_{x}p_{2}(x) f\left(p_{1}(x)/p_{2}( x) ight) $. For example, Kullback-Leibler divergence and Renyi type relative entropy are well-known examples with good operational meanings. Thus, finding the maximal value $D_{f}^{\min}$ of measured measured $f$-divergence is also an interesting question. But so far the question is solved only for very restricted example of $f$. \ The purposes of the present paper is to advance the study further, by investigating its properties, rewriting the maximization problem to more tractable form, and giving closed formulas of the quantity in some special cases.

연구 동기 및 목표

• 단일 복사 측정된 f-발산 최대화 문제에 대한 오랜 도전 과제를 해결하고자 하며, 이는 점근적 분석에 비해 거의 다뤄지지 않은 분야이다.
• POVM에 대한 비볼록 최적화 문제를 콘벡스 이중성에 기반해 허미트 연산자에 대한 다루기 쉬운 볼록 최대화 문제로 재구성하고자 한다.
• 특수한 경우, 예를 들어 첫 번째 상태가 순수 상태이거나 $ f $가 특정 함수 형태를 가질 경우 $ D_f^{\text{min}} $에 대한 닫힌 형식의 표현을 유도하고자 한다.
• 최적 f-발산과 비가환 라돈-니코딤 미분 사이의 연결 고리를 $ f^* $의 쌍대 함수를 통해 수립하고자 한다.
• 집합 측정을 피하고 단일 복사 측정의 역할을 더 깊이 이해할 수 있도록 최적 측정된 f-발산을 계산하는 프레임워크를 제공하고자 한다.

제안 방법

• f의 쌍대 함수 $ f^* $를 사용하여 측정된 f-발산 최대화 문제를 허미트 연산자 $ T $의 볼록 함수에 대한 상한으로 재기반함. 이때 $ f^* $는 연산자 볼록이어야 한다.
• 최적 f-발산을 $ D_f^{\text{min}}(\rho_1||\rho_2) = \sup_T \left\{ \mathrm{tr}\, \rho_1 T - \mathrm{tr}\, \rho_2 f^*(T) \right\} $로 표현하며, $ \mathrm{spec}\, T \subset \mathrm{dom}\, f^* $ 조건을 만족함으로써 POVM 기반 접근을 피한 수식 표현을 가능하게 한다.
• 최적 $ T_0 $를 구하기 위해 프레셰 도함수 $ \mathrm{D}f^* $를 사용한 행렬 방정식 $ \rho_1 = \mathrm{D}f^*(T_0)(\rho_2) $를 유도함으로써 최대 f-발산을 도출한다.
• 특수한 경우에 적용: $ f_2(\lambda) = \lambda^2 $일 경우 해는 $ D_{f_2}^{\text{min}} = \mathrm{tr}\, \rho_2 (T_0)^2 $를 얻고, $ f_{-1}(\lambda) = \lambda^{-1} $일 경우 유사한 닫힌 형식의 해를 도출한다.
• 파erturbative 영역, 즉 $ \rho_{\eta'} $가 $ \rho_\eta $의 작은 변화를 겪을 경우 라파노프 유형 방정식을 사용하여 $ T_0 $를 구함으로써 점근적 전개를 가능하게 한다.
• $ \rho_1 $의 비자명한 핵을 가질 경우 최적화를 $ \mathrm{supp}\, \rho_1 $의 부분공간으로 축소함으로써 계산을 단순화한다.

실험 결과

연구 질문

• RQ1 f가 최대화된 f-발산을 다루기 쉬운 형태로 쌍대 함수 $ f^* $를 통해 표현할 수 있도록 하는 데 필요한 충분한 조건은 무엇인가?
• RQ2 f*가 연산자 볼록이라는 조건을 f 자체의 언어로 재구성할 수 있는가? 이는 양자 f-발산 이론에서 일반적으로 사용되는 가정과 일치하도록 하기 위함이다.
• RQ3 단일 복사와 점근적 성능를 비교할 수 있는 계산 가능한 상한 $ D_f^{\text{min}} $이 존재하는가?
• RQ4 $ \rho_1 $의 비자명한 핵을 가질 경우 최적 측정의 구조는 어떻게 변화하며, 이는 계산 복잡도를 줄이는 데 활용될 수 있는가?
• RQ5 이 방법을 상태 매개변수의 변화에 대한 $ D_f^{\text{min}} $의 고차 도함수를 계산하는 데로 확장할 수 있는가? 이를 통해 민감도 분석이 가능해진다.

주요 결과

• 논문은 $ f^* $가 연산자 볼록이고 $ \mathrm{spec}\, T \subset \mathrm{dom}\, f^* $일 때, $ D_f^{\text{min}}(\rho_1||\rho_2) = \sup_T \left\{ \mathrm{tr}\, \rho_1 T - \mathrm{tr}\, \rho_2 f^*(T) \right\} $의 닫힌 형식의 표현을 수립함으로써 POVM 최적화 문제를 행렬 볼록 최적화 문제로 전환한다.
• $ f = f_2(\lambda) = \lambda^2 $일 경우 최적 f-발산은 $ D_{f_2}^{\text{min}} = \mathrm{tr}\, \rho_2 T_0^2 $이며, $ T_0 $는 $ \rho_1 = \frac{1}{2} (T_0 \rho_2 + \rho_2 T_0) $를 만족한다. 이는 라파노프 방정식을 통해 다루기 쉬운 해를 제공한다.
• $ f = f_{-1}(\lambda) = \lambda^{-1} $일 경우 해는 $ D_{f_{-1}}^{\text{min}} = \mathrm{tr}\, \rho_2 (T_0)^{-2} $이며, $ T_0 $는 동일한 방정식을 만족한다. 이는 역함수 유형의 발산에 대해서도 방법이 적용됨을 보여준다.
• $ \rho_1 $가 비자명한 핵을 가질 경우 최적화는 $ \mathrm{supp}\, \rho_1 $로 축소되며, $ D_f^{\text{min}} $는 힐버트 공간의 확장을 통해 불변성을 유지하므로 계산이 단순해진다.
• 파라미터 변화가 있는 상태의 가족 $ \rho_\eta $에 대해, $ f_b^* $의 전개를 사용하여 $ D_f^{\text{min}} $의 두 번째 도함수를 계산함으로써 $ D_{f_b}^{\text{min}} = \frac{1}{4} \mathrm{tr}\, (L_\eta^{S,2} \rho_\eta L_\eta^{S,2}) (\eta' - \eta)^2 + O((\eta' - \eta)^3) $를 도출함으로써 민감도 분석이 가능해진다.
• 이 방법은 상태 주변에서 $ D_f^{\text{min}} $의 전개의 두 번째 항을 계산할 수 있게 하며, 결과는 대칭 도함수 $ L_\eta^{S,2} $에 의존한다. 이는 f-발산의 국소 기하학을 분석하는 데 도구가 된다.