[논문 리뷰] Models of Quantum Algorithms in Sets and Relations

William J. Zeng|arXiv (Cornell University)|2015. 03. 19.

Quantum Computing Algorithms and Architecture참고 문헌 19인용 수 5

한 줄 요약

이 논문은 힐버트 공간과 선형 사상 대신 집합과 관계를 사용하는 양자 계산의 관계적 모델인 QCRel을 소개한다. 이 모델은 드류지-조자, 단일 쿼리 그로버, 군형태식별(GroupHomID)과 같은 핵심 양자 알고리즘에 대해 충실한 관계적 모델을 구축하여, 이들의 쿼리 복잡도와 추상적 구조가 유지됨을 보여준다. 주요 기여는 비물리적이지만 구조적으로 충실한 관계적 모델을 통해 양자 가속의 원리를 분석하는 새로운 프레임워크를 제공하는 것이다.

ABSTRACT

We construct abstract models of blackbox quantum algorithms using a model of quantum computation in sets and relations, a setting that is usually considered for nondeterministic classical computation. This alternative model of quantum computation (QCRel), though unphysical, nevertheless faithfully models its computational structure. Our main results are models of the Deutsch-Jozsa, single-shot Grovers, and GroupHomID algorithms in QCRel. These results provide new tools to analyze the semantics of quantum computation and improve our understanding of the relationship between computational speedups and the structure of physical theories. They also exemplify a method of extending physical/computational intuition into new mathematical settings.

연구 동기 및 목표

• 집합과 관계를 사용하여 힐버트 공간에 의존하지 않는 비물리적이지만 구조적으로 충실한 양자 계산 모델인 QCRel을 개발하는 것.
• 양자 알고리즘을 관계적 설정에서 모델링하여 물리 이론의 기초 구조와 계산 가속 간의 관계를 분석하는 것.
• 전통적으로 비결정적 고전 계산에 사용되는 수학적 영역에 양자 알고리즘의 형식화를 통해 물리적 및 계산적 직관을 새로운 수학적 영역으로 확장하는 것.
• 힐버트 공간에서의 추상화를 제거하고 관계의 복합성과 쌍대성에 집중함으로써 양자 알고리즘의 의미론과 검증을 위한 새로운 도구를 제공하는 것.
• 관계적 모델이 양자 알고리즘의 핵심 구조, 즉 쿼리 복잡도와 유니터리 변환을 포함하여 충실하게 포착할 수 있음을 보여주는 것.

제안 방법

• 힐버트 공간을 집합으로, 선형 사상 대신 관계로 바꾸어 양자역학의 공리를 집합과 관계의 언어로 재구성하는 것.
• 유니터리 관계를 R ∘ R⁻¹ = id 및 R⁻¹ ∘ R = id를 만족하는 전단사 사상으로 정의하여 유니터리 연산자의 관계적 해석을 제공하는 것.
• 양자 상태를 집합 H의 부분집합으로 모델링하고, 상태 준비 및 후선택(post-selection)을 관계의 역(역효과) 연산으로 수행하는 것.
• 블랙박스 함수를 인코딩하는 관계로서의 관계적 오라클을 정의하여, 양자 알고리즘에서의 유니터리 변환의 구조를 유지하는 것.
• 문자열 다이어그램 기반의 그림적 계산법을 사용하여 관계적 과정을 표현하고 추론함으로써 시각적 및 대수적 검증을 가능하게 하는 것.
• QCRel 프레임워크를 사용하여 드류지-조자, 단일 쿼리 그로버, 군 준동형식별(GroupHomID)이라는 세 가지 표준 양자 알고리즘을 관계의 복합성과 후선택을 통해 모델링하는 것.

실험 결과

연구 질문

• RQ1 힐버트 공간에 의존하지 않고도 양자 알고리즘을 관계적 설정에서 충실하게 모델링할 수 있는가?
• RQ2 관계적 모델이 양자 알고리즘의 쿼리 복잡도와 구조적 특성을 어느 정도 유지하는가?
• RQ3 양자 계산의 관계적 모델이 계산 가속과 기초 물리적 구조 간의 관계를 어떻게 드러내는가?
• RQ4 쌍대성과 유니터리성은 관계적 모델에서 어떤 역할을 하는가? 그리고 그것들은 양자 대응물과 비교해 볼 때 어떻게 다른가?
• RQ5 비유니터리 또는 비양자 관계도 여전히 양자 알고리즘 모델링의 맥락에서 의미 있고 비자명한 결과를 낳을 수 있는가?

주요 결과

• QCRel에서 드류지-조자 알고리즘은 단일 쿼리로 상수 함수를 정확히 식별하며, 고전적 결정론적 알고리즘 대비 지수적 가속이 유지된다.
• QCRel에서 단일 쿼리 그로버 알고리즘은 오라클이 전단사일 경우 성공 확률가 정확히 1이 되며, 이상적인 조건에서 양자 경우와 동일한 행동을 보인다.
• QCRel에서 GroupHomID 알고리즘은 입력 관계 f가 군oid 동형사상일 경우 모든 가능한 고전적 상태를 반환하며, 관계적 설정에서의 정확성을 확인한다.
• QCRel에서 후선택은 두 상태의 교차가 공집합이 아님을 확인하는 것으로 해석되며, 양자 측정 결과에 대해 결정론적인 해석을 제공한다.
• QCRel에서 유니터리 관계는 정확히 전단사 사상이며, 관계적 모델은 시스템 진화에 엄격한 기수 제약 조건을 부여하여 양자역학을 그대로 반영한다.
• 관계적 모델은 관계의 복합성과 쌍대성을 통해 양자 알고리즘의 추상적 구조, 즉 초위상, 간섭, 얽힘의 사용을 성공적으로 포착한다.