[논문 리뷰] Concentration of quantum states from quantum functional and transportation cost inequalities

Cambyse Rouzé, Nilanjana Datta|arXiv (Cornell University)|2017. 04. 07.

Spectral Theory in Mathematical Physics참고 문헌 55인용 수 52

한 줄 요약

이 논문은 quantum transportation-cost inequalities TC1 및 TC2를 quantum Wasserstein 거리로 정의하고 MLSI 및 Poincaré 불평등과의 관계를 확립하며, 불변 양자 상태에 대한 concentration 결과를 도출하고, depolarizing semigroups 및 finite-blocklength quantum parameter estimation에 응용한다.

ABSTRACT

Quantum functional inequalities (e.g. the logarithmic Sobolev- and Poincar\\'e inequalities) have found widespread application in the study of the behavior of primitive quantum Markov semigroups. The classical counterparts of these inequalities are related to each other via a so-called transportation cost inequality of order 2 (TC2). The latter inequality relies on the notion of a metric on the set of probability distributions called the Wasserstein distance of order 2. (TC2) in turn implies a transportation cost inequality of order 1 (TC1). In this paper, we introduce quantum generalizations of the inequalities (TC1) and (TC2), making use of appropriate quantum versions of the Wasserstein distances, one recently defined by Carlen and Maas and the other defined by us. We establish that these inequalities are related to each other, and to the quantum modified logarithmic Sobolev- and Poincar\\'e inequalities, as in the classical case. We also show that these inequalities imply certain concentration-type results for the invariant state of the underlying semigroup. We consider the example of the depolarizing semigroup to derive concentration inequalities for any finite dimensional full-rank quantum state. These inequalities are then applied to derive upper bounds on the error probabilities occurring in the setting of finite blocklength quantum parameter estimation.

연구 동기 및 목표

• 고전적 transportation-cost 및 기능적 불평등을 양자 설정으로 확장하여 quantum Wasserstein 거리를 사용하는 것.
• 양자 TC1, TC2, MLSI 및 Poincaré 불평등 간의 관계와 그것이 concentration에 미치는 함의를 조사하는 것.
• 양자 Markov Semigroup의 불변 상태에 대해 Gaussian 및 지수적 concentration 경계를 얻는 것.
• 이 concentration 결과를 유한 블록길이 구간의 양자 상태 매개변수 추정에 적용하는 것.

제안 방법

• 적절한 연산자 도구와 모듈러 이론을 사용하여 order 1 및 2의 quantum Wasserstein 거리를 도입한다.
• Dirichlet 형과 quantum gradient/divergence를 정의하여 quantum MLSI 및 Poincaré 불평등을 형식화한다.
• 차원의 연쇄적 함의: TC2가 TC1을 시사한다; MLSI가 TC2를 시사한다; TC2가 Poincaré를 시사한다; 그리고 대응하는 concentration 결과를 도출한다.
• 엔트로피 생산과 Dirichlet 형을 연결하는 quantum de Bruijn 정체성을 확립한다.
• FULL-RANK 불변 상태를 가진 primitive quantum Markov semigroup에 특수화하고 제너레이터의 GKLS 형태를 제시한다.
• full-rank 상태에 대한 concentration을 설명하기 위한 구체적 예로 depolarizing semigroup를 탐구한다.

실험 결과

연구 질문

• RQ1 양자 Wasserstein 거리를 사용하여 양자 설정에서 TC1 및 TC2를 어떻게 정의할 수 있는가?
• RQ2 양자 TC1/TC2가 양자 MLSI 및 양자 Poincaré 불평등과 어떤 관련이 있는가?
• RQ3 양자 transportation-cost 불평등이 양자 Markov semigroup의 불변 상태에 대한 concentration 현상을 함의하는가?
• RQ4 이 양자 concentration 결과를 설명하는 구체적인 양자 예(예: depolarizing semigroup)가 있는가?
• RQ5 이 결과들을 이용해 유한 블록길이 구간에서의 양자 매개변수 추정 오차를 어떻게 한정할 수 있는가?

주요 결과

• 양자 설정에서 TC1 및 TC2의 양자 아날로그가 정의되고 MLSI 및 Poincaré 불평등과 관련된다.
• 일련의 함의가 확립된다: TC2는 TC1을 시사한다; MLSI는 TC2를 시사한다; TC2는 Poincaré(PI)를 시사한다.
• 이 프레임워크는 양자 Markov semigroup의 불변 상태에 대한 Gaussian 및 지수적 concentration 경계를 도출한다.
• depoloarizing semigroup를 통해 concentration 결과가 구체적으로 나타나며 완전 차원의 full-rank 양자 상태에 대한 경계를 제공한다.
• 유한 블록길이 양자 매개변수 추정에의 응용이 전개되어 오차 확률에 대한 상한을 제공한다.