[논문 리뷰] Ricci curvature of quantum channels on non-commutative transportation metric spaces

Li Gao, Cambyse Rouzé|arXiv (Cornell University)|2021. 08. 24.

Geometric Analysis and Curvature Flows참고 문헌 65인용 수 5

한 줄 요약

이 논문은 비가환 운반 비용 거리 측도를 사용하여 오비에르의 군중 리치 곡률을 양자 채널에 대해 비가환적으로 일반화한 것을 제안하며, 다양한 양자 워셔슈타인 거리들을 통합한다. 이는 군중 리치 곡률의 하한이 푸앵카레 및 운반 비용 부등식을 암시함을 증명하며, 게이블스 샘플러, 빔 스플리터, 파울리 채널과 같은 주요 양자 채널에 대해 명시적인 양의 곡률 하한을 도출한다.

ABSTRACT

Following Ollivier's work, we introduce the coarse Ricci curvature of a quantum channel as the contraction of non-commutative metrics on the state space. These metrics are defined as a non-commutative transportation cost in the spirit of [N. Gozlan and C. Léonard. 2006], which gives a unified approach to different quantum Wasserstein distances in the literature. We prove that the coarse Ricci curvature lower bound and its dual gradient estimate, under suitable assumptions, imply the Poincaré inequality (spectral gap) as well as transportation cost inequalities. Using intertwining relations, we obtain positive bounds on the coarse Ricci curvature of Gibbs samplers, Bosonic and Fermionic beam-splitters as well as Pauli channels on n-qubits.

연구 동기 및 목표

• 고전적 마코프 체인에서 오비에르의 군중 리치 곡률 개념을 비가환 메트릭 공간 위의 양자 채널로 확장하기 위해.
• 최적 운반 이론에 영감을 얻은 비가환 운반 비용 거리 측도를 사용하여 양자 워셔슈타인 거리의 통합 프레임워크를 정의하기 위해.
• 군중 리치 곡률의 하한이 푸앵카레 및 운반 비용 부등식과 같은 핵심 기능적 부등식을 암시함을 증명하기 위해.
• 파울리 채널, 게이블스 샘플러, 보존/페르미온 빔 스플리터와 같은 물리적으로 관련된 양자 채널에 대해 명시적인 양의 군중 리치 곡률 하한을 계산하기 위해.
• 비가환 설정에서 곡률 하한을 도출하는 데 있어 상호연결 관계와 기울기 추정치의 유용성을 보여주기 위해.

제안 방법

• 양자 시스템의 상태 공간에 비가환 운반 비용 거리 측도를 정의하여 고전적 워셔슈타인 거리들을 비가환 설정으로 일반화하기 위해.
• 이 측도의 수축률을 채널 작용 하에 사용하여 양자 채널의 군중 리치 곡률을 정의하며, 비가환 리프시츠 반노름에 이중적인 워셔슈타인-1 거리 사용하기 위해.
• 이중성과 몽게-칸토로비치 공식을 통해 군중 리치 곡률 하한과 이중 기울기 추정치 사이의 동치성을 확립하기 위해.
• 채널과 그 도함수 사상 간의 상호연결 관계를 사용하여 곡률 하한을 도출하며, 특히 파울리 채널과 대칭 양자 채널에 대해 적용하기 위해.
• 곡률 하한을 활용하여 점프 함수수와 고정점으로의 트레이스 노름 수렴 속도를 워셔슈타인 거리와 연결하여 지수 수렴 속도를 도출하기 위해.
• 파울리 행렬의 구조와 그들의 교환관계를 활용하여 반노름 $\|x\|_{\partial,\infty} = \max_{\alpha} \|\partial_\alpha x\|$ 를 사용해 명시적인 곡률 하한을 계산하기 위해.

실험 결과

연구 질문

• RQ1 오비에르의 군중 리치 곡률은 비가환 최적 운반 거리 측도를 사용하여 양자 채널로 일반화될 수 있는가?
• RQ2 비가환 설정에서 군중 리치 곡률의 하한이 푸앵카레 및 운반 비용 부등식과 같은 기능적 부등식을 암시하는가?
• RQ3 파울리 채널, 빔 스플리터, 게이블스 샘플러와 같은 물리적으로 관련된 양자 채널에 대해 명시적인 군중 리치 곡률 하한은 무엇인가?
• RQ4 채널과 그 도함수 사상 간의 상호연결 관계는 비가환 설정에서 곡률 추정을 어떻게 촉진하는가?
• RQ5 제안된 측도는 기존의 양자 워셔슈타인 거리 개념들을 어느 정도 통합하는가?

주요 결과

• 양자 채널의 군중 리치 곡률은 비가환 워셔슈타인-1 거리의 수축률로 정의되며, 파울리 채널의 경우 곡률 하한은 $\kappa = 2\min_{\beta \in \mathcal{I}} \lambda_\beta$ 이다.
• 군중 리치 곡률의 하한은 이중 기울기 추정치를 통해 푸앵카레 부등식 및 운반 비용 부등식을 암시한다.
• 파울리 채널 $\mathcal{P}(x) = \sum_{\alpha \in \mathcal{I}} \lambda_\alpha \sigma_\alpha x \sigma_\alpha$ 에서 군중 리치 곡률은 $2\min_{\beta \in \mathcal{I}} \lambda_\beta$ 이상으로 하한이 있으며, $\lambda_\alpha > 0$ 이고 $\mathbf{0} \in \mathcal{I}$ 이다.
• 고정점 $E_{\mathcal{I}}(\rho)$ 로의 $\mathcal{P}^k(\rho)$ 의 트레이스 노름 수렴은 $\|\mathcal{P}^k(\rho) - E_{\mathcal{I}}(\rho)\|_1 \leq \frac{(1 - 2\min \lambda_\beta)^k}{2\min \lambda_\beta} \mathcal{J}_{\partial,\infty}(\rho)$ 로 유계화되며, 이는 지수 수렴을 보여준다.
• 이 방법은 상호연결성과 도함수 기법을 사용하여 게이블스 샘플러, 보존 및 페르미온 빔 스플리터, $n$- 큐비트에서의 일반 파울리 채널에 대해 양의 곡률 하한을 도출한다.
• 반노름 $\|\cdot\|_{\partial,\infty}$ 에 이중적인 비가환 측도 $W_{\partial,\infty}$ 는 $\frac{1}{2}\|\rho - \sigma\|_1 \leq W_{\partial,\infty}(\rho, \sigma)$ 를 만족하며, 트레이스 거리와 워셔슈타인 거리를 연결한다.