[논문 리뷰] On metric of classical channel spaces: non-asymptotic theory

Keiji Matsumoto|arXiv (Cornell University)|2010. 01. 20.

Quantum Mechanics and Applications인용 수 2

한 줄 요약

이 논문은 채널 연결 및 항등 채널과의 텐서 곱에 대해 불변성을 요구함으로써 고전적 채널 공간에서 단조성 지표의 비점근적이고 내적 기반에서 벗어난 이론을 제안한다. 이 이론은 이러한 '지표'들 중 가장 크고 가장 작은 것을 특정하며, 둘 다 내적에 의해 유도되지 않음을 보여, 이러한 공리들을 만족하는 단조성 지표가 진정한 거리 함수가 될 수 없음을 입증함으로써 양자 및 고전적 정보 기하학의 기초적 가정에 도전한다.

ABSTRACT

The aim of the manuscript is to characterize monotone `metric' in the space of Markov map. Here, `metric' means the square of the norm defined on the tangent space, and not necessarily induced from an inner product (this property hereafter will be called inner-product-assumption), different from usual metric used in differential geometry. As for metrics in So far, there have been plenty of literatures on the metric in the space of probability distributions and quantum states. Among them, Cencov proved the monotone metric in probability distribution space is unique up to constant multiple, and identical to Fisher information metric. Petz characterized all the monotone metrics in the quantum state space using operator mean. As for channels, however, only a little had been known. In this paper, we impose monotonicity by concatenation of channels before and after the given channel families, and invariance by tensoring identity channels. (Notably, we do not use the inner-product-assumption.) To obtain this result, `resource conversion' technique, which is widely used in quantum information, is used. We consider distillation from and formation to a family of channels. Under these axioms, we identify the largest and the smallest `metrics'. Interestingly, they are not induced from any inner product, i.e., not a metric. Indeed, one can prove that any `metric' satisfying our axioms can not be a metric. This result has some impact on the axiomatic study of the monotone metric in the space of classical and quantum states, since both conventional theory relies on the inner-product-assumption. Also, we compute the lower and the upper bound for some concrete examples.

연구 동기 및 목표

• 내적의 구조를 가정하지 않고 고전적 채널 공간에서의 비점근적 단조성 지표 이론을 개발하는 것.
• 자연스러운 공리들—채널 연결 및 항등 채널과의 텐서 곱에 대한 불변성—하에 가능한 가장 크고 가장 작은 '지표'를 특성화하는 것.
• 양자 및 고전적 상태의 지표 이론에서 전통적으로 가정되는 내적 가정의 의존도를 도전하는 것.
• 자원 변환 프레임워크를 양자 정보에서 고전적 채널으로 확장하여 지표에 대한 구조적 제약을 도출하는 것.
• 제안된 공리들 하에 구체적인 채널 가닥에 대해 명시적인 하한과 상한을 계산하는 것.

제안 방법

• 채널 정제와 형성 과정을 쌍대 과정으로 모델링함으로써 자원이론적 접근을 채택한다.
• 목표 채널 가닥에 앞서나 뒤이어 임의의 채널과의 복합에 대해 불변성을 통해 단조성을 정의한다.
• 물리적 일관성을 확보하기 위해 항등 채널과의 텐서 곱에 대한 불변성을 도입한다.
• 자원 전환 기법을 사용하여 내적을 가정하지 않고도 허용 가능한 '지표'에 대한 제약을 유도한다.
• 접선 공간의 구조를 분석하여 공리들 하에서 극한 지표를 특정한다.
• 극한 '지표'들이 어떤 내적에 의해도 유도되지 않음을 보여, 따라서 진정한 리만 기하학적 지표가 아님을 입증한다.

실험 결과

연구 질문

• RQ1 고전적 채널에서 '지표'가 채널 복합 및 항등 채널과의 텐서 곱에 대해 단조성이 되기 위한 필수 및 필요조건은 무엇인가?
• RQ2 제안된 공리들 하에 고전적 채널 공간에서 단조성 '지표'가 내적에 의해 유도될 수 있는가?
• RQ3 제안된 공리들을 만족하는 가장 크고 가장 작은 '지표'는 무엇인가?
• RQ4 극한 '지표'들은 구체적인 채널 가닥에서 어떻게 행동하는가? 그리고 그들의 범위는 무엇인가?
• RQ5 이 결과들은 양자 및 고전적 정보 기하학의 기초적 가정에 어떤 영향을 미치는가?

주요 결과

• 공리들을 만족하는 가장 크고 가장 작은 '지표'들이 명시적으로 특정되었으며, 둘 다 어떤 내적에 의해도 유도되지 않는다.
• 공리들을 만족하는 어떤 '지표'도 진정한 리만 기하학적 지표가 될 수 없으며, 내적에 의해 유도되지 않기 때문이다.
• 극한 '지표'들은 전통적인 의미의 노름이 아니므로 표준 미분기하학 프레임워크에서 근본적인 이탈을 나타낸다.
• 이 이론은 Cencov와 Petz의 결과에 핵심적인 역할을 하는 내적 가정이 제안된 공리들과 호환되지 않음을 드러낸다.
• 특정 채널 가닥에 대해 명시적인 하한과 상한이 계산되었으며, 이는 프레임워크의 실용적 적용 가능성을 보여준다.
• 결과들은 양자 및 고전적 상태의 공리적 지표 이론에서 내적 가정의 기초적 역할을 도전한다.