[논문 리뷰] Computational Distinguishability of Quantum Channels

Bill Rosgen|ArXiv.org|2009. 09. 22.

Quantum Computing Algorithms and Architecture참고 문헌 131인용 수 6

한 줄 요약

이 논문은 양자 채널의 계산적 구별 가능성이 QIP-완전하다는 것을 입증한다. 즉, 양자 상호작용 증명 시스템으로 해결할 수 있는 가장 어려운 문제들과 동등한 난이도를 가진다. 이 작업은 혼합-유니터리, 가역가능, 반가역가능, 또는 로그 깊이의 양자 채널로 제한된 경우에도 이러한 난이도가 유지된다는 것을 보여주며, 여러 물리적으로 관련성이 높은 채널 유형에 걸쳐 문제의 강건한 비가역성(robust intractability)을 입증한다.

ABSTRACT

The computational problem of distinguishing two quantum channels is central to quantum computing. It is a generalization of the well-known satisfiability problem from classical to quantum computation. This problem is shown to be surprisingly hard: it is complete for the class QIP of problems that have quantum interactive proof systems, which implies that it is hard for the class PSPACE of problems solvable by a classical computation in polynomial space. Several restrictions of distinguishability are also shown to be hard. It is no easier when restricted to quantum computations of logarithmic depth, to mixed-unitary channels, to degradable channels, or to antidegradable channels. These hardness results are demonstrated by finding reductions between these classes of quantum channels. These techniques have applications outside the distinguishability problem, as the construction for mixed-unitary channels is used to prove that the additivity problem for the classical capacity of quantum channels can be equivalently restricted to the mixed unitary channels.

연구 동기 및 목표

• 양자 컴퓨팅 분야의 핵심 문제인 두 양자 채널을 구별하는 데 필요한 계산 복잡도를 규명하는 것.
• 낮은 깊이의 회로나 특정 채널 유형과 같은 물리적으로 타당한 제약 조건이 적용된 경우에도 채널 구별 문제의 난이도가 유지되는지 조사하는 것.
• 이러한 난이도 결과가 양자 정보 이론의 기초 문제, 예를 들어 양자 채널 용량의 가환성에 미치는 영향을 탐색하는 것.
• 일반적인 양자 채널을 제한된 클래스(예: 혼합-유니터리)로 줄이는 데 사용할 수 있는 시뮬레이션 기법을 개발하는 것.
• 혼합-유니터리 채널은 수학적으로 유리한 성질을 지니고 있음에도 불구하고, 이들의 계산적 복잡도가 전체 구별 문제의 복잡도를 유지할 수 있음을 보여주는 증거를 제공하는 것.

제안 방법

• 일반 QIP 문제를 제한된 채널 유형으로 축소하여, 양자 회로 구별 문제(QCD)의 QIP-완전성을 입증하는 기반에 기반한 증명 기법.
• 제어 연산과 보조 큐비트를 사용하여 계산 능력을 유지하면서 임의의 양자 계산을 시뮬레이션할 수 있는 로그 깊이의 양자 회로를 구성하는 것.
• 스티네플링 확장과 보조 상태 준비를 활용하여 일반적인 양자 채널을 혼합-유니터리 채널로 근사하는 시뮬레이션 프로토콜을 설계하는 것.
• 상수 깊이 설정에서 양자 회로의 출력 상태를 비교하기 위해 스왑 테스트와 제어-스왑 구성 요소를 적용하는 것.
• 구별 가능성과 채널 출력 차이의 범위를 정량화하기 위해 다이아몬드 노름과 충실도 측정법을 사용하는 것.
• 스체텐 p-노름과 최소 출력 엔트로피의 곱셈성 및 가환성 성질을 활용하여 일반 채널의 복잡도를 그들의 혼합-유니터리 대응체와 연결하는 것.

실험 결과

연구 질문

• RQ1 혼합-유니터리 채널로 제한된 경우에도 두 양자 채널을 구별하는 문제가 계산적으로 어려운가?
• RQ2 로그arithmic 깊이의 양자 회로로 실행 가능한 채널로 제한된 경우 QCD 문제도 여전히 QIP-완전한가?
• RQ3 가역가능 및 반가역가능 채널에 대한 구별 문제 역시 QIP-완전한가?
• RQ4 일반적인 양자 채널의 고전적 용량 또는 최대 출력 p-노름의 가환성은 어느 정도까지 혼합-유니터리 채널의 경우로 환원될 수 있는가?
• RQ5 혼합 초기 상태를 가진 자연스러운 양자 계산 모델에서는 구별 문제의 난이도가 여전히 유지되는가?

주요 결과

• 양자 회로 구별 문제(QCD)는 QIP-완전하며, 이는 양자 상호작용 증명 시스템으로 해결 가능한 어떤 문제보다도 어려운 문제임을 의미한다.
• QCD 문제는 로그 깊이의 양자 회로로 제한된 경우에도 여전히 QIP-완전하다. 이는 낮은 깊이의 계산이 이미 전체 계산 난이도를 구현하는 데 충분하다는 것을 보여준다.
• 가역가능 및 반가역가능 채널에 대해서도 QCD 문제의 QIP-완전성은 유지되며, 이는 이러한 물리적으로 타당한 채널 유형이 문제를 단순화시키지 않는다는 것을 보여준다.
• 혼합-유니터리 채널로 제한된 경우에도 QCD 문제의 QIP-난이도는 유지되며, 이는 이러한 채널이 이 문제에 대해 계산적으로 보편적임을 시사한다.
• 일반 채널을 혼합-유니터리 채널로 환원하는 데 사용된 시뮬레이션 기법은, 홀로보 용량 또는 최대 출력 p-노름의 가환성 문제를 혼합-유니터리 클래스 내에서 동등하게 연구할 수 있음을 암시한다.
• 이 논문에서 제시된 환원 기법은 일반적인 양자 채널을 제한된 클래스로 시뮬레이션하는 데 사용할 수 있는 일반적인 프레임워크를 제공하며, 복잡도 이론을 넘어서도 응용 가능성이 있다.