[논문 리뷰] On the minimum output entropy of single-mode phase-insensitive Gaussian channels

Haoyu Qi, Mark M. Wilde외 1명|arXiv (Cornell University)|2016. 07. 18.

Quantum Mechanics and Applications참고 문헌 14인용 수 7

한 줄 요약

이 논문은 단일 모드 위상에민감하지 않은 가우시안 채널의 최소 출력 엔트로피를 조사하며, 고정된 입력 바르누아 엔트로피 제약 조건 하에서 열 상태가 출력 엔트로피를 최소화한다고 제안한다. 라그랑주 승수 기법을 사용하여 저자들은 열 상태가 국소 최소임을 보여주지만, 게이지-변동성 채널에서는 비열 상태의 포크 상태도 임계점으로 나타남을 밝혀내지만, 그 물리적 타당성은 여전히 불확실하다. 이 작업은 게이지-변동성 채널에서 열 상태가 최적임이 입증되면, 게이지-반동성 채널에서도 동일하게 성립함을 증명하며, 이는 양자 제한 증폭기 채널 용량에 대한 열린 문제를 해결할 수 있다.

ABSTRACT

Recently de Palma et al. [IEEE Trans. Inf. Theory 63, 728 (2017)] proved---using Lagrange multiplier techniques---that under a non-zero input entropy constraint, a thermal state input minimizes the output entropy of a pure-loss bosonic channel. In this note, we present our attempt to generalize this result to all single-mode gauge-covariant Gaussian channels by using similar techniques. Unlike the case of the pure-loss channel, we cannot prove that the thermal input state is the only local extremum of the optimization problem. %It is unclear to us why the same techniques do not lead to a proof for amplifier channels. However, we do prove that, if the conjecture holds for gauge-covariant Gaussian channels, it would also hold for gauge-contravariant Gaussian channels. The truth of the latter leads to a solution of the triple trade-off and broadcast capacities of quantum-limited amplifier channels. We note that de Palma et al. [Phys. Rev. Lett. 118, 160503 (2017)] have now proven the conjecture for all single-mode gauge-covariant Gaussian channels by employing a different approach from what we outline here. Proving a multi-mode generalization of de Palma et al.'s above mentioned result---i.e., given a lower bound on the von Neumann entropy of the input to an $n$-mode lossy thermal-noise bosonic channel, an $n$-mode product thermal state input minimizes the output entropy---will establish an important special case of the conjectured Entropy Photon-number Inequality (EPnI). The EPnI, if proven true, would take on a role analogous to Shannon's EPI in proving coding theorem converses involving quantum limits of classical communication over bosonic channels.

연구 동기 및 목표

• 일반적인 게이지-변동성 가우시안 채널에서 고정된 입력 엔트로피 제약 조건 하에 열 상태가 출력 엔트로피를 유일하게 최소화하는지 규명하는 것.
• 데 팔마 등(2017)의 순수 손실 채널에 대한 결과를 라그랑주 승수 기법을 사용하여 일반 게이지-변동성 가우시안 채널으로 확장하는 것.
• 비열 상태의 포크 상태가 최적화 문제에서 유효한 임계점인지 조사하여 열 상태 해법의 유일성에 도전할 수 있는지 밝혀내는 것.
• 게이지-변동성 채널에서의 해가 게이지-반동성 채널의 해를 암시함을 보여주어 삼중 무역-오프 및 브로드캐스트 용량 문제를 해결하는 것.
• 다중 모드 일반화된 가우시안 최적화 추측을 증명하기 위한 기초를 마련하며, 이는 엔트로피 광자 수 불등식(EPnI)을 암시한다.

제안 방법

• 입력 엔트로피를 제약 조건으로 하여 출력 엔트로피 최소화 문제를 라그랑주 승수를 사용해 제약 최적화 문제로 공식화하는 것.
• 채널 역학 하에서 엔트로피 함수의 국소 극값을 분석하기 위해 문제를 무한소 형태로 축소하는 것.
• 게이지-변동성 채널의 라그랑주 방정식 운동을 분석하여 열 상태와 추가적인 비열 상태의 포크 상태 해를 식별하는 것.
• 게이지-변동성 채널의 대칭성과 구조를 활용하여, 열 상태가 출력 엔트로피를 최소화하면 게이지-반동성 채널에서도 동일하게 성립함을 증명하는 것.
• 기존 순수 손실 채널에 대한 결과를 활용하여 전반적인 추측을 증명하는 데로 이어지는 다리를 쌓는 것.
• 가우시안 채널의 린드블라드 연산자 표현을 사용하여 증폭 및 손실 하에서 입력 상태의 진화를 모델링하는 것.

실험 결과

연구 질문

• RQ1 일반적인 게이지-변동성 가우시안 채널에서 고정된 입력 바르누이 엔트로피를 가진 모든 입력 상태 중에서 열 상태가 출력 엔트로피를 유일하게 최소화하는가?
• RQ2 라그랑주 최적화에서 열 상태 외에 다른 임계점(예: 포크 상태)이 존재하는가, 그리고 이러한 상태들은 유효한 국소 극값을 나타내는가?
• RQ3 게이지-변동성 채널에서 열 상태가 출력 엔트로피를 최소화한다면, 이는 게이지-반동성 채널에서도 동일하게 성립하는가, 그리고 이는 양자 용량 영역에 어떤 영향을 미치는가?
• RQ4 추측을 다중 모드 위상에민감하지 않은 가우시안 채널로 확장할 수 있는가, 그리고 이러한 결과가 엔트로피 광자 수 불등식(EPnI)을 증명하는 데 어떤 역할을 하는가?
• RQ5 비열 상태의 포크 상태 해가 최적화에서 유효한 최소화자일 수 없도록 제거할 수 있는 물리적 제약 조건이 존재하는가?

주요 결과

• 고정된 입력 엔트로피 제약 조건 하에서 모든 단일 모드 위상에민감하지 않은 가우시안 채널에서 열 상태는 출력 엔트로피 기능의 국소 최소값이다.
• 순수 손실 케이스와 달리, 라그랑주 승수 방법은 포크 상태에 해당하는 추가적인 임계점을 드러내며, 이는 열 상태보다 더 높은 출력 엔트로피를 가진 국소 극값일 수 있음을 시사한다.
• 이러한 비열 상태의 임계점 존재는 현재 방법으로는 전역 최적성의 완전한 증명을 방해하며, 그 물리적 타당성과 최적화 지형 내에서의 역할은 여전히 명확하지 않다.
• 게이지-변동성 채널에서 열 상태가 전역 최소화자라면, 게이지-반동성 채널에서도 동일하게 성립하며, 이는 양자 제한 증폭기 채널 용량에 대한 열린 문제를 해결할 수 있다.
• 이 결과는 양자 제한 증폭기 채널의 삼중 무역-오프 및 브로드캐스트 용량이 열 상태 최소화 성질에 의해 완전히 결정됨을 암시한다.
• 다중 모드 일반화된 추측—즉, 조인트 입력 엔트로피 제약 조건 하에서 곱 형태의 열 상태가 출력 엔트로피를 최소화함—은 여전히 열려 있으며, 이는 엔트로피 광자 수 불등식(EPnI)의 특수한 경우와 동치이다.