[논문 리뷰] On some entropy inequalities

Lin Zhang|arXiv (Cornell University)|2014. 03. 26.

Mathematical Inequalities and Applications참고 문헌 8인용 수 3

한 줄 요약

이 논문은 레니 상대 엔트로피와 연산자 부등식을 사용하여 새로운 엔트로피 부등식을 수립하며, 양자 상대 엔트로피의 트레이스 기반 바ounds를 통해 알려진 결과를 확장한다. 주요 기여는 삼분할 양자 상태가 조건부 상호정보가 0인 마르코프 상태가 되는 충분조건을 제시하는 것으로, 이는 로그 밀도 조합의 지수의 트레이스 정규화 조건이다.

ABSTRACT

In this short report, we give some new entropy inequalities based on Rényi relative entropy and the observation made by Berta {\em et al} [arXiv:1403.6102]. These inequalities obtained extends some well-known entropy inequalities. We also obtain a condition under which a tripartite operator becomes a Markov state.

연구 동기 및 목표

• 레니 상대 엔트로피와 행렬 노름 부등식을 사용하여 잘 알려진 양자 엔트로피 부등식을 확장하기.
• 트레이스 및 프로베니우스 노름을 이용하여 양자 상대 엔트로피의 더 날카운 감소한 하한을 유도하기.
• 삼분할 양자 상태가 조건부 상호정보가 0인 상태(즉, 마르코프 상태)가 되는 조건을 특성화하기.
• 감소된 밀도 연산자의 조합의 지수가 유효한 양자 상태가 되는 충분조건을 제공하여, 마르코프 성질을 유도하기.

제안 방법

• 레니 상대 엔트로피, 밀도 연산자의 기하 평균의 트레이스, 제곱근 및 밀도 연산자 차이의 프로베니우스 노름을 포함하는 부등식의 사슬을 유도한다.
• 레니 상대 엔트로피의 단조성과 ∥√M − √N∥²₂ ≤ ∥M − N∥₁ ≤ ∥√M − √N∥₂∥√M + √N∥₂를 포함하는 행렬 부등식을 적용한다.
• 골든-트로프 부등식을 사용하여 exp(logρ_AC + logρ_BC)가 부분상태(트레이스 ≤ 1)임을 보이고, 이로 인해 이전의 상대 엔트로피 바ounds를 적용할 수 있음을 보인다.
• 조건부 상호정보를 상대 엔트로피의 형태로 재구성한다: I(A:B|C) = S(ρ_ABC || exp(logρ_AC + logρ_BC − logρ_C)).
• Tr[exp(logρ_AC + logρ_BC − logρ_C)] = 1 이면, 지수 연산자가 유효한 양자 상태이며, ρ_ABC는 마르코프 상태임을 증명한다.
• Proposition 1.2(양자 채널 하에서의 엔트로피 부등식)를 적용하여 상대 엔트로피의 바ounds를 트레이스 및 노름 표현식으로 도출한다.

실험 결과

연구 질문

• RQ1 로그 감소 밀도의 합의 지수가 유효한 양자 상태가 되는 조건은 무엇인가?
• RQ2 삼분할 상태가 언제 I(A:B|C) = 0을 만족하여 마르코프 상태가 되는가?
• RQ3 레니 상대 엔트로피를 어떻게 사용하여 양자 엔트로피 부등식의 더 날카운 바ounds를 도출할 수 있는가?
• RQ4 Tr[exp(logρ_AC + logρ_BC − logρ_C)]의 값과 ρ_ABC의 마르코프 성질 사이의 관계는 무엇인가?
• RQ5 그 트레이스가 1일 때, exp(logρ_AC + logρ_BC − logρ_C)의 연산자 구조를 어떻게 특성화할 수 있는가?

주요 결과

• 모든 양자 상태 ρ와 부분상태 σ에 대해 S(ρ||σ) ≥ −2logTr(√ρ√σ) 부등식이 성립하며, 이는 표준 상대 엔트로피 바ounds를 일반화한다.
• 상대 엔트로피가 프로베니우스 노름과 트레이스 노름을 통해 연결되는 부등식 사슬이 성립한다: S(ρ||σ) ≥ ∥√ρ − √σ∥²₂ ≥ (1/4)∥ρ − σ∥²₁.
• 삼분할 상태에 대해 I(A:B|C) ≥ −2logTr(√ρ_ABC√exp(logρ_AC + logρ_BC − logρ_C)) ≥ ∥√ρ_ABC − √exp(·)∥²₂ ≥ (1/4)∥ρ_ABC − exp(·)∥²₁.
• Tr[exp(logρ_AC + logρ_BC − logρ_C)] = 1 이면, exp(logρ_AC + logρ_BC − logρ_C)는 유효한 양자 상태이며, ρ_ABC는 마르코프 상태이다.
• 연산자 exp(logρ_AC + logρ_BC − logρ_C)는 ρ^{1/2}_{AB}ρ^{-1/2}_Bρ_{BC}ρ^{-1/2}_Bρ^{1/2}_{AB}와 ρ^{1/2}_{BC}ρ^{-1/2}_Bρ_{AB}ρ^{-1/2}_Bρ^{1/2}_{BC}로도 표현되며, 이는 자기 일관성 있는 구조를 확인한다.
• Tr[exp(logρ_AC + logρ_BC)]는 Tr(ρ²_C) ≤ 1로 유계이며, 이는 부분상태임을 보장하여 상대 엔트로피 바ounds의 적용을 가능하게 한다.