[논문 리뷰] Implications of quantum automata for contextuality

Jibran Rashid, Abuzer Yakaryılmaz|arXiv (Cornell University)|2014. 04. 10.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 11

한 줄 요약

이 논문은 영오차 양자 유한 오토마타(QFAs)가 펄스 프로브 문제, 예를 들어 페레스-머민 마법의 정사각형의 변형과 같은 특정 문제들을 유한 메모리가 없는 유계 오차 고전적 유한 오토마타보다 지수적으로 더 효율적으로 해결할 수 있음을 보여준다. 핵심 기여는 단일 큐비트 양자 오토마타가 유한 메모리 고전적 모델로 시뮬레이션할 수 없는 상황적 특성을 나타낼 수 있음을 증명함으로써, 양자 상황성에 대한 계산적 증거를 제공한다는 데 있다.

ABSTRACT

We construct zero-error quantum finite automata (QFAs) for promise problems which cannot be solved by bounded-error probabilistic finite automata (PFAs). Here is a summary of our results: - There is a promise problem solvable by an exact two-way QFA in exponential expected time, but not by any bounded-error sublogarithmic space probabilistic Turing machine (PTM). - There is a promise problem solvable by an exact two-way QFA in quadratic expected time, but not by any bounded-error $ o(\log \log n) $-space PTMs in polynomial expected time. The same problem can be solvable by a one-way Las Vegas (or exact two-way) QFA with quantum head in linear (expected) time. - There is a promise problem solvable by a Las Vegas realtime QFA, but not by any bounded-error realtime PFA. The same problem can be solvable by an exact two-way QFA in linear expected time but not by any exact two-way PFA. - There is a family of promise problems such that each promise problem can be solvable by a two-state exact realtime QFAs, but, there is no such bound on the number of states of realtime bounded-error PFAs solving the members this family. Our results imply that there exist zero-error quantum computational devices with a \emph{single qubit} of memory that cannot be simulated by any finite memory classical computational model. This provides a computational perspective on results regarding ontological theories of quantum mechanics \cite{Hardy04}, \cite{Montina08}. As a consequence we find that classical automata based simulation models \cite{Kleinmann11}, \cite{Blasiak13} are not sufficiently powerful to simulate quantum contextuality. We conclude by highlighting the interplay between results from automata models and their application to developing a general framework for quantum contextuality.

연구 동기 및 목표

• 양자 상황성의 맥락에서 양자와 고전적 유한 오토마타 사이의 계산적 분리를 확립하기 위해.
• 영오차 양자 유한 오토마타가 단일 큐비트를 사용할 경우, 유계 오차 고전적 오토마타가 조차도 무한 메모리가 있더라도 해결할 수 없는 프로브 문제를 해결할 수 있음을 보여주기 위해.
• 유한 정밀도가 있는 경우에도 고전적 시뮬레이션 모델이 상황성을 충분히 설명하지 못함을 입증하고, 오토마타 이론과 기본 양자역학을 연결하기 위해.
• 이러한 분리가 숨겨진 변수 이론과 양자 상황성의 시뮬레이션에 미치는 영향을 탐색하기 위해.

제안 방법

• 정확하거나 라스베가스 양자 유한 오토마타(QFAs)가 해결할 수 있지만, 유계 오차 확률적 유한 오토마타(PFAs)는 해결할 수 없는 프로브 문제를 구성하기 위해.
• 비상황성 불평등의 위반이 발생하는 상황을 나타내는 표준 예로 펄스-머민 마법의 정사각형을 사용하여, 그 양자 상관관계를 오토마타 기반 계산으로 매핑하기 위해.
• 양자 및 고전적 오토마타 모델의 시간 및 메모리 복잡도를 분석하며, 특히 양방향, 실시간, 일방향 QFAs와 양자 헤드를 갖춘 모델에 초점을 맞추기 위해.
• 기대 시간 및 공간 복잡도의 분리를 증명함: 고전적 PTMs의 경우 지수적 대비 하위로그 시간 복잡도, PFAs의 경우 선형 대비 무한 상태 수의 차이를 고려하기 위해.
• 실제 정밀도 제약 조건 하에서도 양자 우위가 유지되는지 평가하기 위해 유한 정밀도 양자 오토마타(FPQA) 개념을 도입하기 위해.
• 비상황성 부등식의 양자 값 위반과 양자 오토마타 실행 횟수 사이의 관계를 분석하여, 계산 성능과 상황성 강도를 연결하기 위해.

실험 결과

연구 질문

• RQ1 영오차 양자 유한 오토마타는 무한 메모리가 있는 유계 오차 고전적 유한 오토마타가 해결할 수 없는 프로브 문제를 해결할 수 있는가?
• RQ2 상황성 시나리오에서 계산적 분리를 달성하기 위해 필요한 최소한의 양자 메모리(예: 단일 큐비트)는 무엇인가?
• RQ3 양자와 고전적 오토마타 간의 분리가, 유한 정밀도 조건 하에서도 고전적 양자 상황성 시뮬레이션의 한계를 암시하는가?
• RQ4 유한 정밀도를 갖는 양자 오토마타도 여전히 상황적 프로브 문제를 해결하는 데 있어 고전적 오토마타를 초월할 수 있는가?
• RQ5 양자 값 위반을 달성하기 위해 필요한 실행 횟수와 고전적 시뮬레이션의 메모리 비용 사이에 직접적인 연관성이 존재하는가?

주요 결과

• 정확한 양방향 QFA가 지수적 기대 시간 내에 해결할 수 있는 프로브 문제가 존재하지만, 어떤 유계 오차 하위로그 시간 복잡도 확률적 Turning 기계(PTM)도 이를 해결할 수 없다.
• 다른 프로브 문제는 정확한 양방향 QFA가 제곱형 기대 시간 내에 해결할 수 있지만, 어떤 유계 오차 o(log log n)-공간 PTM도 다항 기대 시간 내에 이를 해결할 수 없다.
• 동일한 문제는 양자 헤드를 갖춘 일방향 라스베가스 또는 정확한 양방향 QFA를 통해 선형 기대 시간 내에 해결 가능하며, 이는 시간적 우위를 보여준다.
• 라스베가스 실시간 QFA는 어떤 유계 오차 실시간 PFA도 해결할 수 없는 프로브 문제를 해결할 수 있으며, 정확한 양방향 QFA는 선형 기대 시간 내에 이를 해결할 수 있다. 반면, 정확한 양방향 PFA는 이를 해결할 수 없다.
• 각각의 문제는 두 상태의 정확한 실시간 QFA가 해결할 수 있지만, 어떤 유계 상태의 실시간 PFA도 모든 구성원을 동시에 해결할 수 없으며, 이는 고전적 모델이 무한한 상태 수가 필요함을 보여준다.
• 결과적으로, 단일 큐비트를 갖는 양자 오토마타는 어떤 유한 메모리 고전적 모델로도 시뮬레이션할 수 없는 상황적 특성을 나타낼 수 있으며, 이는 양자 상황성에 대한 계산적 증거를 확립한다.