[논문 리뷰] Telescopic Relative Entropy--II Triangle inequalities

Koenraad M. R. Audenaert|arXiv (Cornell University)|2011. 02. 15.

Phagocytosis and Immune Regulation참고 문헌 3인용 수 5

한 줄 요약

이 논문은 표준 상대 엔트로피가 무한대가 되는 문제를 피하는 정규화된 양자 상대 엔트로피의 한 형태인 삼각형 상대 엔트로피(TRE)의 변동에 대해 두 개의 상한을 도입하고 증명한다. 볼록 조합을 통한 삼각형 정규화를 활용하여, 유한하고 비자명한 삼각부등식 유사 부등식을 수립함으로써, 원래의 상대 엔트로피 프레임워크에서는 존재하지 않는 연속성 경계를 제공한다.

ABSTRACT

In previous work (see arxiv:1102.3040), we have defined the telescopic relative entropy (TRE), which is a regularisation of the quantum relative entropy $S(ρ||σ)= raceρ(\logρ-\logσ)$, by replacing the second argument $σ$ by a convex combination of the first and the second argument, $τ=aρ+(1-a)σ$ and dividing the result by $-\log a$. We also explored some basic properties of the TRE. In this follow-up paper we state and prove two upper bounds on the variation of the TRE when either the first or the second argument changes. These bounds are close in spirit to a triangle inequality. For the ordinary relative entropy no such bounds are possible due to the fact that the variation could be infinite.

연구 동기 및 목표

• 상대 엔트로피가 상태들이 수직일 경우 무한대가 되는 기본적인 제약을 해결하기 위해.
• 항상 유한하고 잘 행동하는 정규화된 상대 엔트로피 버전인 삼각형 상대 엔트로피(TRE)를 개발하기 위해.
• 첫 번째 또는 두 번째 인수에 대한 작은 변동에 대해 TRE의 연속성 경계를 수립하기 위해, 삼각부등식과 유사한 성질을 갖도록 하기 위해.
• 표준 상대 엔트로피의 경우 잠재적인 발산으로 인해 이러한 경계가 불가능하기 때문에 이를 설명하기 위해.

제안 방법

• 표준 상대 엔트로피를 정규화하기 위해 $ S_a(\rho||\sigma) = \frac{1}{-\log a} S(\rho || a\rho + (1-a)\sigma) $ 를 도입하며, 여기서 $ a \in (0,1) $ 이다.
• 로그의 적분 표현과 연산자 단조성을 사용하여 TRE의 변동에 대한 경계를 유도한다.
• 트레이스 노름과 양성 부분의 변분 특성화를 적용하여 연산자 차이를 제어한다.
• 연산자 로그의 우측 도함수와 트레이스 부등식을 사용하여 연산자 차이에 대한 경계를 유도한다.
• 볼록 조합과 트레이스 부등식을 사용하여 첫 번째 인수에 대한 변동과 두 번째 인수에 대한 변동에 대해 각각 두 가지 핵심 부등식을 수립한다.
• 연속성 추론과 연산자 단조성을 활용하여 결과를 양성에서 일반 밀도 연산자로 확장한다.

실험 결과

연구 질문

• RQ1 입력 상태에 대한 작은 변동에 대해 양자 상대 엔트로피의 변동에 대해 유한하고 비자명한 경계를 설정할 수 있는가?
• RQ2 왜 표준 상대 엔트로피와 그 변형들은 이러한 경계를 허용하지 않으며, 삼각형 버전에서는 어떤 구조적 성질이 이를 가능하게 하는가?
• RQ3 $ a\rho + (1-a)\sigma $ 를 통한 삼각형 정규화가 상대 엔트로피의 연속성 특성을 어떻게 향상시키는가?
• RQ4 유사 삼각부등식으로 유도된 경계가 양자 상태 구별 가능성의 맥락에서 운영적 또는 기하학적 의미를 갖는다는 것은 무엇을 뜻하는가?
• RQ5 TRE의 극한 $ a \to 0 $ 과 $ a \to 1 $ 은 닫힌 형태로 표현될 수 있는가? 그리고 이는 상태의 수직성과 겹침과 어떻게 관련이 있는가?

주요 결과

• 삼각형 상대 엔트로피 $ S_a(\rho||\sigma) $ 는 항상 0과 1 사이에 있으며, $ S_a(\rho||\sigma) = 1 $ 이 되는 것은 $ \rho \perp \sigma $ 인 것과 동치이다.
• 극한 $ S_0(\rho||\sigma) = 1 - \mathop{\rm Tr}\nolimits \rho \{\sigma\} $ 는 $ a \to 0 $ 극한에 대한 닫힌 형태 표현이며, $ \rho $ 와 $ \sigma $ 의 지지부분의 겹침을 캡처한다.
• 극한 $ S_1(\rho||\sigma) = 1 - \mathop{\rm Tr}\nolimits \sigma \{\rho\} $ 는 반대 방향의 겹침을 캡처한다.
• 논문은 $ |S_a(\rho_1||\sigma) - S_a(\rho_2||\sigma)| \leq \frac{\log(1 + \frac{1-a}{a} T(\rho_1,\rho_2))}{-\log a} $ 를 증명하며, 여기서 $ T(\rho_1,\rho_2) $ 는 트레이스 거리이다.
• 두 번째 인수에 대한 변동에 대해, $ |S_a(\rho||\sigma_1) - S_a(\rho||\sigma_2)| \leq \frac{\log(a + (1-a)T(\sigma_1,\sigma_2)) - \log a}{-\log a} $ 라는 경계가 확립되었으며, 이는 유한한 연속성을 보여준다.
• 이 경계들은 표준 상대 엔트로피의 경우와 달리 유한하고 비자명하며, 표준 상대 엔트로피의 경우 발산으로 인해 무한한 상수를 요구하기 때문에 그러한 경계가 불가능하다.