[논문 리뷰] Additivity for transpose depolarizing channels

Nilanjana Datta, A. S. Holevo외 1명|ArXiv.org|2004. 12. 05.

Acoustic Wave Resonator Technologies인용 수 5

한 줄 요약

이 논문은 전역 매개수 $ -rac{1}{d-1} ≤ t ≤ rac{1}{d+1} $ 에서 전치 분산 채널의 가작소출력 엔트로피의 가산성을 증명한다. 이는 이전 결과가 $ -rac{2}{d^2-2} ≤ t ≤ rac{1}{d+1} $ 범위에서만 다루었던 것을 확장한 것이다. Datta, Holevo, 및 Suhov(dhs)의 방법을 정교하게 응용하여, 채널의 텐서곱 $ \Phi \otimes \Phi $ 의 출력 엔트로피가 극소를 제품 상태에서 달성함을 입증함으로써, 모든 $ t \in \left[-rac{1}{d-1}, 0\right] $ 에서의 가산성을 확인함으로써 전체 매개수 범위에서의 증명을 완성한다.

ABSTRACT

Additivity of the minimal output entropy for the family of transpose depolarizing channels introduced by Fannes et al. [quant-ph/0410195] is considered. It is shown that using the method of our previous paper [quant-ph/0403072] allows us to prove the additivity for the range of the parameter values for which the problem was left open in [quant-ph/0410195]. Together with the result of [quant-ph/0410195], this covers the whole family of transpose depolarizing channels.

연구 동기 및 목표

• Fannes 등의 이전 연구 이후 남아 있던 열린 문제인 전치 분산 채널 가족의 전체 매개수 범위 $ -\frac{1}{d-1} \leq t \leq \frac{1}{d+1} $ 에서 최소 출력 엔트로피의 가산성을 확장하는 것.
• 특히 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 에서 가산성이 아직 증명되지 않은 매개수 범위의 갭을 메우는 것.
• Datta, Holevo, 및 Suhov(dhs)의 방법을 응용하고 개선하여, 음수 $ t $ 의 경우에 비트리비어스한 대칭 함수의 양성성이 비틀린 경우를 다루는 것.
• 제품 채널 $ \Phi \otimes \Phi $ 의 최소 출력 엔트로피가 항상 제품 상태에서 달성됨을 보여주어, 전체 매개수 범위 $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ 에서의 가산성을 확인하는 것.

제안 방법

• 벨 유사 얽힘 상태와 슈미트 계수 $ \underline{\lambda} $ 를 가진 출력 상태 $ \sigma_{12}(\underline{\lambda}) = (\Phi \otimes \Phi)(|\psi_{12}\rangle\langle\psi_{12}|) $ 를 분석함으로써 문제를 단형 $ \Sigma_d $ 상에서의 바르누아 엔트로피 최소화 문제로 환원한다.
• 채널 $ \Phi $ 는 $ \Phi_+ $ 와 $ \Phi_- $ 의 선형 조합으로 표현되며, 실수 행렬 전치로부터 유도된 크라우스 연산자를 통해 계산 기저에서 출력 상태를 명시적으로 계산할 수 있다.
• 출력 상태는 $ A_{ij} = (\mu_i + \eta_i)\delta_{ij} + \sqrt{\eta_i \eta_j}(1 - \delta_{ij}) $ 의 행렬 $ A $ 로 표현되며, 여기서 $ \mu_i $ 와 $ \eta_j $ 는 $ t $, $ d $, 및 슈미트 계수 $ \lambda_\alpha $ 에 따라 달라진다.
• 대칭 다항식과 특성 다항식을 통한 $ A $ 의 고유값 분석을 통해, 기본 대칭 함수 $ s_k $ 와 매개수 $ t $ 를 포함하는 핵심 부등식을 도출한다.
• 특성 다항식 표현에서 첫 번째 및 두 번째 항의 합이 모든 $ k = 0,1,\dots,n $ 에 대해 비음성임을 증명하기 위해, $ \nu_l $ 변수에 대한 볼록성과 제약 조건 분석을 사용한다.
• 특히 $ k=0 $ 의 경우, $ f(\nu) = \frac{1-\nu}{\nu} $ 의 볼록성과 단형 상의 극단점 분석을 통해 합 $ \sum \frac{1-\nu_l}{\nu_l} $ 의 상한을 구하며, 제약 조건 $ \nu_1 < 0 $, $ \nu_l > 0 $ for $ l \geq 2 $ 하에서 부등식이 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 전치 분산 채널 가족의 열린 매개수 범위인 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 에서 최소 출력 엔트로피의 가산성이 성립하는가?
• RQ2 Datta, Holevo, 및 Suhov(dhs)의 방법이 음수 $ t $ 의 경우, 특히 특정 대칭 함수 항의 양성성이 비트리비어스한 경우를 다룰 수 있는가?
• RQ3 모든 $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ 에서 제품 채널 $ \Phi \otimes \Phi $ 의 최소 출력 엔트로피가 항상 제품 상태에서 달성되는가?
• RQ4 매개수 $ t < 0 $ 에서 출력 상태 행렬 $ A $ 의 특성 다항식의 행동은 어떠하며, 이는 슈미트 단형의 꼭짓점에서 엔트로피가 최소화됨을 보장하는가?

주요 결과

• 모든 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 에서 최소 출력 엔트로피의 가산성 $ h(\Phi \otimes \Phi) = 2h(\Phi) $ 이 증명되었으며, 이는 전치 분산 채널 가족 전체에 대한 증명을 완성한다.
• dhs 방법이 음수 $ t $ 의 경우로 성공적으로 확장되었으며, 단형 상의 볼록성과 극단점 분석을 통해 특성 다항식 표현의 두 번째 항의 비음성 조건이 입증되었다.
• $ k=1,\dots,n $ 에서 제약 조건 $ \sum \nu_l \geq n-2 $ 와 $ \nu_l \leq 1 $ 에 기반하여, 핵심 부등식의 두 번째 항이 비음성임을 보였다.
• $ k=0 $ 의 경우, 합 $ \sum_{l=1}^n \frac{1-\nu_l}{\nu_l} $ 의 상한이 $ \frac{2(1+t(d-1))}{td} $ 이며, 이는 제약 조건 $ \nu_1 < 0 $, $ \nu_l > 0 $, $ \sum \nu_l \geq n-2 $ 하에서 성립함을 확인하였으며, 극단점에서 등호가 성립함을 보였다.
• 증명은 모든 $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ 에서 최소 출력 엔트로피가 슈미트 단형의 꼭짓점, 즉 제품 상태에서 달성됨을 확인함으로써 전체 가산성을 입증한다.
• 결과적으로 전치 분산 채널 가족의 가산성 증명이 완성되었으며, 마지막 열린 케이스를 해결하고 이 클래스 채널에 대한 추측을 확인하였다.