[논문 리뷰] Inequalities for the quantum Renyi divergences with applications to compound coding problems

Milán Mosonyi|arXiv (Cornell University)|2013. 10. 28.

Quantum Information and Cryptography참고 문헌 32인용 수 3

한 줄 요약

이 논문은 기존의 양자 레니 엔트로피 분산과 최근에 도입된 양자 레니 엔트로피 분산 사이의 이면 경계를 수립하며, α=1 근처에서 이들의 상호 교환 가능성을 입증한다. 이를 통해 양자 정보 이론의 핵심 정리들 — 복합 영가 가설이 있는 양자 스텐의 정리, 보편적 소스 압축, 복합 양자 채널의 고전적 용량 — 에 대한 더 단순하고 효율적인 증명이 가능해지며, 이는 새로 증명된 신규 분산의 약한 준볼록성 성질을 기반으로 한다.

ABSTRACT

We show two-sided bounds between the conventional quantum R\'enyi divergences and the new notion of R\'enyi divergences introduced recently in M\uller-Lennert, Dupuis, Szehr, Fehr and Tomamichel, J. Math. Phys. 54, 122203, (2013), and Wilde, Winter, Yang, arXiv:1306.1586. The bounds imply that the two versions can be used interchangeably near alpha=1, and hence one can benefit from the best properties of both when proving coding theorems in the case of asymptotically vanishing error. We illustrate this by giving short and simple proofs of the quantum Stein's lemma with composite null-hypothesis, universal source compression, and the achievability part of the classical capacity of compound quantum channels. Apart from the above interchangeability, we benefit from a weak quasi-concavity property of the new Renyi divergences that we also establish here.

연구 동기 및 목표

• 기존의 양자 레니 엔트로피 분산과 Müller-Lennert 등이 도입한 최신 레니 엔트로피 분산 간의 정량적 관계 수립
• 두 분산 정의가 점 渐진적 영역에서 오차가 점점 줄어들 때, 특히 α=1 근처에서 상호 교환 가능함을 입증
• 이 상호 교환 가능성을 활용하여 양자 정보 이론의 기본 코딩 정리에 대해 간결하고 명확한 증명 제공
• 신규 레니 엔트로피 분산의 약한 준볼록성 성질 수립 — 이는 코딩 정리에서의 분석적 사용을 지원함
• 복합 영가 가설이 있는 양자 스텐의 정리, 보편적 소스 압축, 복합 양자 채널의 고전적 용량에 대한 기존 증명을 통합하고 단순화

제안 방법

• Müller-Lennert 등과 Wilde 등이 도입한 새로운 버전의 양자 레니 엔트로피 분산과 기존의 양자 레니 엔트로피 분산 사이의 이면 경계 유도 — 특히 α=1 근처의 행동에 집중
• 유도된 경계를 바탕으로, 두 분산 정의가 오차가 점점 줄어드는 극한에서 동일한 점 渐진적 결과를 도출함을 보이며, 코딩 정리에서의 상호 교환 가능성을 입증
• 상호 교환 가능성을 활용하여 기존에 알려진 결과 — 복합 영가 가설이 있는 양자 스텐의 정리, 보편적 소스 압축, 복합 채널의 고전적 용량 — 을 더 단순하고 직접적인 추론으로 재유도
• 신규 레니 엔트로피 분산에 대한 약한 준볼록성 성질 수립 — 이는 코딩 정리에서 흔히 나타나는 변분 표현 및 최적화 문제에서의 사용을 지원함
• 통합된 프레임워크 내에서 양자 상대 엔트로피와 샌드위치 레니 엔트로피 분산 등의 표준 도구를 사용함

실험 결과

연구 질문

• RQ1 α=1 근처에서 기존의 양자 레니 엔트로피 분산과 최근에 도입된 양자 레니 엔트로피 분산 간의 관계는 어떠한가?
• RQ2 두 버전의 레니 엔트로피 분산은 점점 줄어드는 오차를 갖는 점 渐진적 코딩 정리에서 상호 교환 가능하게 사용될 수 있는가?
• RQ3 신규 레니 엔트로피 분산은 양자 코딩 정리 증명에서 어떤 분석적 이점을 제공하는가?
• RQ4 신규 레니 엔트로피 분산은 증명 단순화에 기여하는 유용한 볼록성 또는 볼록성 성질을 만족하는가?
• RQ5 분산의 상호 교환 가능성은 복합 가설이 있는 양자 스텐의 정리나 복합 채널의 고전적 용량과 같은 기본 결과의 증명을 단순화하는 데 기여하는가?

주요 결과

• 기존의 양자 레니 엔트로피 분산과 신규 양자 레니 엔트로피 분산 사이의 이면 경계가 수립되었으며, 이는 α=1 근처에서의 점 渐진적 동치성을 입증함
• 두 분산 정의는 오차가 점점 줄어드는 점 渐진적 영역에서 상호 교환 가능하며, 증명의 각 부분에서 분석적으로 가장 유리한 버전을 선택해 사용할 수 있음
• 신규 레니 엔트로피 분산은 약한 준볼록성 성질을 만족하며, 이는 변분 특성화 및 최적화 문제에서의 사용을 지원함
• 복합 영가 가설이 있는 양자 스텐의 정리, 보편적 소스 압축, 복합 양자 채널의 고전적 용량에 대해 짧고 개념적으로 단순한 증명이 제시됨
• 결과적으로 신규 레니 엔트로피 분산는 수학적으로 잘 정의되어 있음은 물론, 양자 정보 이론에서의 코딩 정리 유도에 실질적인 이점을 제공함을 보여줌