[논문 리뷰] Strong converse bounds in quantum network information theory: distributed hypothesis testing and source coding

Hao–Chung Cheng, Nilanjana Datta외 1명|arXiv (Cornell University)|2019. 05. 02.

Wireless Communication Security Techniques참고 문헌 43인용 수 10

한 줄 요약

이 논문은 통신 제약 조건 하에서 분산 양자 가설 검정과 고전적 측면 정보가 있는 소스 코딩을 포함한 양자 네트워크 정보 이론 과제에 대해 강력한 역수 경계를 수립한다. 스토인 지수는 정규화된 양자 상대 엔트로피로 주어지며, 대안 가설이 제품 상태이고 보브가 통신 제약 조건이 없을 경우 단일 문자 공식으로 감소한다. 이는 양자 정보 봉쇄 성질과 양자 분해성 반복 수축성의 특성을 활용하여 도출된다.

ABSTRACT

We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing measurements on the systems that he receives, Charlie needs to infer which of the two different states the original bipartite state was in, that is, which of the two hypotheses is true. We prove that the Stein exponent for this problem is given by a regularized quantum relative entropy. The latter reduces to a single letter formula when the alternative hypothesis consists of the products of the marginals of the null hypothesis, and there is no rate constraint imposed on Bob. Our proof relies on certain properties of the so-called quantum information bottleneck function. The second part of this paper concerns the general problem of finding finite blocklength strong converse bounds in quantum network information theory. In the classical case, the analogue of this problem has been reformulated in terms of the so-called image size characterization problem. Here, we extend this problem to the classical-quantum setting and prove a second order strong converse bound for it. As a by-product, we obtain a similar bound for the Stein exponent for distributed hypothesis testing in the special case in which the bipartite system is a classical-quantum system, as well as for the task of quantum source coding with compressed classical side information. Our proofs use a recently developed tool from quantum functional inequalities, namely, the tensorization property of reverse hypercontractivity for the quantum depolarizing semigroup.

연구 동기 및 목표

• 통신 제약 조건 하에서 분산 양자 가설 검정에 대한 강력한 역수 경계를 유도하기 위해.
• 두 번째 차수의 강력한 역수 경계를 위해 고전적 이미지 크기 특성화를 고전-양자 설정으로 확장하기 위해.
• 수신기에서 고전적 측면 정보가 있는 양자 소스 코딩에 대한 두 번째 차수의 강력한 역수 경계를 수립하기 위해.
• 양자 기능 부등식을 활용하여 점 대 점 양자 채널 결과를 네트워크 설정으로 일반화하기 위해.
• 다중 당사자 양자 시스템에서 양자 정보 봉쇄 함수와 스토인 지수를 연결하기 위해.

제안 방법

• 양자 분해성 반복 수축성의 텐서화 성질을 활용하여 유한 블록길이 경계를 유도하기 위해.
• 양자 상대 엔트로피의 변동 공식을 적용하여 확률 측도에 대한 최적화를 연산자 표현식과 연결하기 위해.
• 양자 정보 봉쇄 함수를 사용하여 분산 환경에서 정보 압축과 정밀도 사이의 트레이드오프를 특성화하기 위해.
• 강력한 역수 문제를 고전-양자 영역에서의 이미지 크기 특성화 관점에서 재구성하기 위해.
• 상대 엔트로피와 추적 부등식 간의 이중성을 활용하여 오차 확률에 대한 경계를 유도하기 위해.
• 입력 분포와 연산자에 대한 최적화를 통해 스토인 지수를 정규화된 양자 상대 엔트로피 표현식으로 감소시키기 위해.

실험 결과

연구 질문

• RQ1 통신 제약 조건이 있는 분산 양자 가설 검정에서 스토인 지수의 정확한 형태는 무엇인가?
• RQ2 보브의 통신 비율 제약 조건이 없을 때 대안 가설이 귀무가설의 근사값의 곱이면 강력한 역수 행동은 어떻게 변화하는가?
• RQ3 수신기에서 고전적 측면 정보가 있는 양자 소스 코딩에 대해 두 번째 차수의 강력한 역수 경계를 설정할 수 있는가?
• RQ4 양자 정보 봉쇄 함수는 분산 양자 추론의 기본 한계를 어느 정도 특성화하는가?
• RQ5 고전적 이미지 크기 특성화는 고전-양자 네트워크 설정으로 어떻게 일반화될 수 있는가?

주요 결과

• 통신 제약 조건이 있는 분산 양자 가설 검정에서의 스토인 지수는 정규화된 양자 상대 엔트로피로 주어지며, 오차 감소의 날카운 점근적 경계를 제공한다.
• 대안 가설이 귀무가설의 근사값의 곱이고 보브가 통신 비율 제약 조건이 없을 경우 스토인 지수는 단일 문자 공식으로 감소한다.
• 고전-양자 이미지 크기 문제에 대해 두 번째 차수의 강력한 역수 경계가 수립되었으며, 이는 가능 영역 외부에서 오차 확률이 지수적으로 1로 수렴함을 의미한다.
• 이 방법을 통해 수신기에서 고전적 측면 정보가 있는 양자 소스 코딩에 대한 두 번째 차수의 강력한 역수 경계를 도출할 수 있다.
• 증명은 양자 분해성 반복 수축성의 텐서화 성질에 의존하며, 이는 유한 블록길이 분석을 가능하게 한다.
• 양자 상대 엔트로피의 변동 공식을 사용하여 최적화 문제를 이중화하고, 고전적 확률 측도와 양자 연산자 간의 연결을 맺는다.