[논문 리뷰] Distinguishability and copiability of programs in general process theories

Giulio Chiribella|arXiv (Cornell University)|2014. 11. 11.

Formal Methods in Verification인용 수 9

한 줄 요약

이 논문은 일반적 과정 이론에서 확률을 사용하지 않는 상태 구별 가능성의 개념을 도입하며, 이는 상태가 서로 다른 연산을 프로그래밍할 수 있는 능력에 기반한다. 이는 구별 가능성과 복제 가능성의 동치성을 입증하고 암호학적 정보 유출 없이 상태를 손상시키지 않는 원리를 암시하며, 특정 물리 이론에 의존하지 않는 정보 처리 작업 간의 내재된 운영적 연결 고리를 드러낸다.

ABSTRACT

We propose a notion of state distinguishability that does not refer to probabilities, but rather to the ability of a set of states to serve as programs for a desired set of gates. Using this notion, we reconstruct the structural features of the task of state discrimination, such as the equivalence with cloning and the impossibility to extract information from two non-distinguishable pure states without causing a disturbance. All these features express intrinsic links among operational tasks, which are valid independently of the particular theory under consideration.

연구 동기 및 목표

• 확률에 의존하지 않고 이론에 종속되지 않는 상태 구별 가능성의 개념을 개발하는 것.
• 일반적 과정 이론에서 구별 가능성과 복제 가능성 간의 운영적 동치성을 탐구하는 것.
• 어느 물리 이론이든에서 구별 가능성의 논리적 결과로서 암호학적 정보 유출 없이 상태를 손상시키지 않는 원리를 확립하는 것.
• 운영-확률 이론의 범주화를 위해 운영적 요소를 확률적 요소보다 우선시하는 데 기여하는 것.

제안 방법

• 대칭 모나드 카테고리 기반의 그림 기반 계산법을 사용하여, 상태가 두 개의 다른 게이트를 프로그래밍할 수 있는 능력에 의해 구별 가능성을 정의한다.
• 다수의 복제본으로부터 임의의 정밀도로 상태를 식별할 수 있는 조건을 형식화하기 위해 상태 공간에 위상 구조를 도입한다.
• 측정 결과의 측정값을 생성하는 개념을 사용하여 구별 가능성과 상태의 복제 또는 브로드캐스트 능력 간의 연결 고리를 맺는다.
• 정의 2.3에 기반한 순수성 개념을 사용하여 순수 상태의 특성과 정보 추출 과정에서의 행동을 기술한다.
• 상태, 효과, 게이트를 상자와 선으로 표현하는 그림 언어를 사용하여 정보 흐름에 대한 직관적 추론을 가능하게 한다.
• 카테고리 내에서 교환 다이어그램으로서 비손상 조건과 정보 추출 조건을 유도함으로써 상태의 구별 불가능성에 대한 논리적 함의를 이끌어낸다.

실험 결과

연구 질문

• RQ1 양자 상태의 구별 가능성은 확률이나 측정 결과에 대한 참조 없이 정의될 수 있는가?
• RQ2 일반적인 물리 이론에서 구별 가능성과 상태를 복제하거나 클론할 수 있는 능력 사이에 근본적인 운영적 동치성이 존재하는가?
• RQ3 정보를 양자 시스템으로부터 추출할 수 있는 상태가 손상되지 않은 채로 이루어지기 위한 조건은 무엇인가?
• RQ4 암호학적 정보 유출 없이 상태를 손상시키지 않는 원리는 모든 과정 이론에 대해 일반적으로 성립하는가, 아니면 양자역학에만 국한되는가?
• RQ5 확률적 가정 없이도 상태 식별, 복제, 프로그래머블 게이트 간의 구조적 연결 고리가 순수하게 운영 원리로부터 유도될 수 있는가?

주요 결과

• 상태 집합의 구별 가능성은 그 상태들이 두 개의 서로 다른 게이트를 실행하기 위해 프로그램으로 사용될 수 있는 능력으로 운영적으로 정의된다.
• 상태 집합은 한 프로세스를 통해 그들에 대한 보조 정보를 생성할 수 있을 경우에만 구별 가능하며, 이는 그 상태들이 복제되거나 클론될 수 있음을 암시한다.
• 구별 가능성과 복제 가능성 간의 동치성은 양자역학 외의 일반적 과정 이론에서도 항상 성립한다.
• 순수 상태 두 개가 서로 구별 가능하지 않다면, 시스템을 손상시키지 않고서는 그들로부터 정보를 추출할 수 없으며, 이는 본 틀의 논리적 결과로서 암호학적 정보 유출 없이 상태를 손상시키지 않는 원리를 입증한다.
• 이 틀은 상태 식별, 복제, 프로그래머블 게이트 간의 구조적 연결 고리가 물리 이론의 운영적 구조에 내재되어 있으며, 그들의 확률적 특성과는 독립적임을 입증한다.