[논문 리뷰] Computing with highly mixed states

Andris Ambainis, Leonard J. Schulman외 1명|ArXiv.org|2000. 03. 29.

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

한 줄 요약

이 논문은 오직 k 큐비트만 순수 상태에 있고 나머지 n−k 큐비트는 최대 혼합 상태에 있는 모델에서 양자 계산을 조사한다. 이 모델에서 임의의 m 큐비트 양자 계산을 시뮬레이션하는 것은 m = O(k + log n)이 아닐 경우 불가능하다는 것을 증명하며, 현실적인 초기화 제약 조건 하에서 혼합 상태 양자 계산의 계산 능력에 대한 근본적인 한계를 설정한다.

ABSTRACT

We consider quantum computing in the k-qubit model where the starting state of a quantum computer consists of k qubits in a pure state and n-k qubits in a maximally mixed state. We ask the following question: is there a general method for simulating an arbitrary m-qubit pure state quantum computation by a quantum computation in the k-qubit model? We show that, under certain constraints, this is impossible, unless m=O(k+ log n).

연구 동기 및 목표

• 오직 k 큐비트만 순수 상태에 있고 나머지는 최대 혼합 상태에 있는 한계 모델에서 임의의 양자 계산을 시뮬레이션할 수 있는지 여부를 규명하는 것.
• 저극성의 이분포를 가진 액체 NMR 시스템에서의 확장 가능한 양자 계산의 가능성 평가, 여기서 초기화는 낮은 균형을 가진 순수 상태에 대한 이항 분포를 생성한다.
• 작은 수의 초기화된(청소진) 큐비트가 많은 최대 혼합 큐비트가 존재하는 환경에서 보편적인 양자 계산을 가능하게 할 수 있는지 조사하는 것.
• 이러한 혼합 상태 양자 계산 모델의 계산 능력에 대한 이론적 한계를 설정하는 것.
• 대칭군 표현과 이 모델에서 양자 상태의 구별 가능성 간의 연결 고리 탐색

제안 방법

• k 큐비트가 순수 상태에 있고 n−k 큐비트가 최대 혼합 상태에 있는 한 큐비트 모델을 분석하며, 초기 상태를 고정하고 입력은 큐비트의 순서를 따르는 양자 연산의 시퀀스로 간주한다.
• 큐비트 순열에 대한 대칭군의 표현 이론을 사용하여 양자 상태의 불변성 성질을 분석한다.
• 대칭군 작용에 대해 불변인 부분공간의 차원 수를 제약하여 상태의 구별 가능성에 대한 제약을 유도한다.
• 군 작용 하에서 부분공간의 교차 차원과 전체 차원 및 기약 표현의 수를 연결하는 핵심 부등식(보조정리 7)을 적용한다.
• 대칭군의 구조를 유지하는 유니터리 연산은 얼마나 많은 얽힘 또는 중첩을 생성할 수 있는지 제약함을 이용한다.
• 추적 거리와 인코딩된 상태의 구별 가능성에 기반한 확률적 추론을 사용하여, 오직 로그 크기의 계산만이 신뢰성 있게 시뮬레이션될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 오직 k 큐비트만 순수 상태에 있고 나머지는 최대 혼합 상태에 있는 모델에서 임의의 m 큐비트 양자 계산을 시뮬레이션할 수 있는가?
• RQ2 k개의 청소된 큐비트와 n−k개의 최대 혼합 큐비트가 주어졌을 때, 이러한 시뮬레이션을 수행할 수 있는 최대 큐비트 수 m은 얼마인가?
• RQ3 한 개의 청소된 큐비트 모델(k=1)이 O(log n) 큐비트를 초과해 보편적인 양자 계산을 수행하는 데 부족한 이유는 무엇인가?
• RQ4 대칭군의 대칭성은 이 혼합 상태 모델에서 양자 상태의 구별 가능성에 어떻게 제약을 가하는가?
• RQ5 한 개의 청소된 큐비트를 가진 3 큐비트 모델이 NC1의 모든 언어를 시뮬레이션할 수 있으며, 만약 그렇다면 QNC1로 확장되지 않는 이유는 무엇인가?

주요 결과

• 오직 k 큐비트만 순수 상태에 있고 나머지는 최대 혼합 상태에 있는 모델에서 임의의 m 큐비트 양자 계산을 시뮬레이션하는 것은 m = O(k + log n)이 아닐 경우 불가능하다.
• 시뮬레이션 능력은 청소된 큐비트의 수와 n에 대한 로그 스케일링에 의해 본질적으로 제한되며, 이는 큰 m에 대해 고전적 전수 검색보다 효율적이지 않다.
• 핵심 결과는 대칭군의 표현 이론을 사용하여 유도되며, 특히 군 작용 하에서 불변하는 부분공간의 차원을 제약하는 데 중점을 둔다.
• 보조정리 7은 정량적 제약을 설정한다: |dim(X ∩ W_t) − dim(X ∩ Y ∩ W_t)| ≤ √(4cn/M) ⋅ dim W_t로, 이는 증명의 중심에 있다.
• 인코딩된 상태의 구별 가능성은 m에 따라 지수적으로 감소하므로, O(k + log n) 큐비트를 초과한 계산은 신뢰성 있게 수행될 수 없다.
• 한계가 있음에도 불구하고, 한 개의 청소된 큐비트를 가진 3 큐비트 레지스터는 NC1의 모든 언어를 시뮬레이션할 수 있으며, 이는 모델 내에서 비트리스한 계산 능력을 보여준다.