[논문 리뷰] The sum-over-histories formulation of quantum computing

Ben Rudiak-Gould|ArXiv.org|2006. 07. 21.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 양자 컴퓨팅에서 표준 상태벡터 접근법과 보완적인 프레임워크로 역사에 대한 합(sum-over-histories) 형식을 도입하며, 경로 적분 원리를 사용하여 양자 회로를 모델링한다. 수학적으로 표준 형식과 동치임을 보이며, 양자 진폭 계산을 가능한 모든 계산 역사에 대한 합으로 재구성함으로써 복잡성에 대한 새로운 통찰과 회로 시뮬레이션 및 양자 언어 설계에서의 잠재적 이점 제공.

ABSTRACT

Since Deutsch (1985), quantum computers have been modeled exclusively in the language of state vectors and the Schroedinger equation. We present a complementary view of quantum circuits inspired by the path integral formalism of quantum mechanics, and examine its application to some simple textbook problems.

연구 동기 및 목표

• 표준 상태벡터 및 쇼링거 방정식 프레임워크가 아닌 경로 적분(역사에 대한 합) 접근법에 기반한 양자 컴퓨팅을 위한 대체 형식을 제시하는 것.
• 경로 적분 기법을 이산적 양자 회로에 적용하여 양자 장 이론 기법과 양자 회로 설계 사이의 격차를 메우는 것.
• 역사에 대한 합 형식이 양자 알고리즘, 복잡성, 회로 시뮬레이션 이해에 있어 개념적 또는 계산적 이점이 있는지 탐색하는 것.
• 특히 토폴로지적 또는 비순차적 회로 모델에 대해 새로운 양자 프로그래밍 언어 설계에 활용 가능성을 탐색하는 것.
• 교육적 이해를 돕기 위해 추상적인 상태벡터 해석을 넘어서 양자 계산을 이해하는 데 도움이 되는 직관적인 대안적 시각을 제공하는 것.

제안 방법

• 계산 가능한 상태의 수를 2^n개로 제한하고 시간 간격을 δt로 이산화함으로써 연속적 경로 적분 형식을 이산화한다.
• 각 양자 역사를 시간에 따른 계산 기저 상태의 순서로 표현하여 가능한 상태 궤적 전체에 대한 이산적 합으로 표현한다.
• 연속된 상태 간 전이에 기반한 이산화된 라그랑지안 L(φ_t, φ_{t+δt}, t)을 정의하며, 이는 각 역사에 대한 위상 기여를 결정한다.
• 모든 역사에 대해 복소 가중치 B(φ_t, φ_{t+δt}, t) = exp(i/ħ × L(φ_t, φ_{t+δt}, t))의 곱을 취한 후 총 전이 진폭을 합으로 표현한다.
• 주어진 입력-출력 전이에 대해 둘 다 동일한 진폭을 도출함으로써 표준 유니터리 진동과 역사에 대한 합 형식 사이의 수학적 동치성을 입증한다.
• 교과서적 양자 회로에 이 형식을 적용하여 개념적 명료성과 계산 가능성을 실증한다.

실험 결과

연구 질문

• RQ1 역사에 대한 합 형식은 표준 양자 회로를 효과적으로 모델링하는 데 적용될 수 있는가? 이는 표준 상태벡터 접근법의 대안이 될 수 있는가?
• RQ2 역사에 대한 합 형식은 회로 시뮬레이션의 계산 복잡성과 공간 효율성 측면에서 표준 형식과 비교해 어떻게 다를까?
• RQ3 경로 적분적 시각은 양자 알고리즘의 구조와 고전적 계산과 양자 계산 간의 관계에 대해 어떤 통찰을 제공하는가?
• RQ4 이 형식은 토폴로지적 또는 비순차적 양자 회로에 대해 새로운 양자 프로그래밍 언어 설계를 지원할 수 있는가?
• RQ5 역사에 대한 합 접근법은 BQP가 PSPACE에 포함된다는 기초 개념을 단순화하거나 명확하게 하는 데 기여하는가?

주요 결과

• 역사에 대한 합 형식은 표준 유니터리 진동 형식과 수학적으로 동치이며, 어떤 양자 회로에 대해서도 동일한 전이 진폭을 도출한다.
• BQP가 PSPACE에 포함되어 있음을 역사에 대한 합 형식을 통해 개념적으로 명확히 할 수 있다. 이는 역사에 대한 합을 다항식 공간 내에서 계산할 수 있기 때문이다.
• 사전적 시뮬레이션을 역사에 대한 합 접근법을 사용할 경우, 특히 대규모 시스템에서 상태벡터 시뮬레이션보다 공간을 훨씬 적게 소비한다.
• 이 접근법은 양자 회로를 역사들의 집합으로 이해하는 직관적인 프레임워크를 제공하며, 고전적 게이트는 대부분의 역사를 효과적으로 걸러내거나 거부하는 것으로 간주할 수 있다.
• 이 형식은 상태벡터 해석을 넘어서 양자역학을 이해하는 데 도움이 되는 이중적 시각을 제공함으로써 교육에 기여할 수 있다.
• 새로운 다항시간 시뮬레이션 알고리즘을 도출할 것으로 기대되지는 않지만, 복잡성 이론에서는 개념적 이점이 있으며, 양자 언어 설계에서 새로운 추상화를 유도할 수 있다.