[논문 리뷰] Efficient algorithms for the Deutsch-Jozsa and Simon's problems that only use classical resources

Niklas Johansson, Jan-Åke Larsson|arXiv (Cornell University)|2015. 08. 20.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 디퓨즈-조자 및 시몬의 문제에 대해 고전적 자원만을 사용하여 양자 알고리즘의 행동을 효율적으로 재현하는 고전적 시뮬레이션 프레임워크를 제시한다. 디퓨즈-조자 문제에 대해서는 한 개의 오라클 쿼리로 정확한 해를 도출하고, 시몬의 문제에 대해서는 선형 쿼리로 해결하며, 이는 이 두 문제에서 진정으로 양자적 우월성이 필요로 하지 않음을 보여주며, 이러한 경우에 본질적인 양자 속도 향상의 가정에 도전한다.

ABSTRACT

A long-standing aim of quantum information research is to understand what gives quantum computers their advantage. This requires separating problems that need genuinely quantum resources from those for which classical resources are enough. Two examples of quantum speed-up are the Deutsch-Jozsa and Simon's problem, both efficiently solvable on a quantum Turing machine, and both believed to lack efficient classical solutions. Here we present a framework that can simulate both quantum algorithms efficiently, solving the Deutsch-Jozsa problem with probability 1 using only one oracle query, and Simon's problem using linearly many oracle queries, just as expected of an ideal quantum computer. The presented simulation framework is in turn efficiently simulatable in a classical probabilistic Turing machine. This shows that the Deutsch-Jozsa and Simon's problem do not require any genuinely quantum resources, and that the quantum algorithms show no speed-up when compared with their corresponding classical simulation. Finally, this gives insight into what properties are needed in the two algorithms, and calls for further study of oracle separation between quantum and classical computation.

연구 동기 및 목표

• 디퓨즈-조자 및 시몬의 문제에서 관찰되는 양자 속도 향상이 진정으로 양자 자원을 필요로 하는지 아니면 고전적으로 재현될 수 있는지 조사하기.
• 이 양자 알고리즘의 결과를 동일한 효율성으로 재현하는 고전적 시뮬레이션 프레임워크를 개발하기.
• 이러한 문제들이 고전 계산에 비해 양자 계산의 본질적 우월성을 보여준다는 널리 퍼진 믿음을 도전하기.
• 이 문제들을 해결하기 위해 필요한 최소 자원을 명확히 하고, 효율적인 해결을 가능하게 하는 핵심 구조적 특징을 규명하기.

제안 방법

• 양자 알고리즘의 오라클 쿼리 및 논리 구조를 모방하는 고전적 확률적 튜링 기계 프레임워크 설계하기.
• 디퓨즈-조자 알고리즘에서 관찰되는 양자 간섭 및 진폭 상쇄 효과를 모의하기 위해 결정론적 고전 전략 사용하기.
• 시몬의 문제에서 양자 중첩 및 얽힘의 행동을 모방하는 고전적 쿼리 전략 구현하기.
• 원래의 양자 알고리즘과 동일한 쿼리 복잡도를 유지하기—디퓨즈-조자 문제에 대해 한 번의 쿼리, 시몬의 문제에 대해 선형 쿼리.
• 고전적 프레임워크가 디퓨즈-조자 문제에서는 확실하게, 시몬의 문제에서는 높은 확률로 원래의 양자 알고리즘과 동일한 결과를 생성함을 검증하기.
• 전체 시뮬레이션이 고전적 확률적 튜링 기계에서 효율적으로 계산 가능하다는 것을 입증하여, 그 고전적 실현 가능성 확인하기.

실험 결과

연구 질문

• RQ1 디퓨즈-조자 문제는 양자 중첩을 요구하지 않고도 고전적 자원만으로 효율적으로 해결될 수 있는가?
• RQ2 시몬의 문제는 진정으로 양자적 우월성을 보이며, 아니면 유사한 쿼리 복잡도로 고전적으로 시뮬레이션될 수 있는가?
• RQ3 이러한 양자 알고리즘의 고전적 시뮬레이션을 가능하게 하는 오라클 함수의 구조적 특성은 무엇인가?
• RQ4 이러한 문제들에 대한 양자 알고리즘이 얽힘 또는 간섭과 같은 비고전적 특성에 얼마나 의존하는가?

주요 결과

• 디퓨즈-조자 문제는 단 한 번의 고전적 오라클 쿼리로 확실하게 해결 가능하며, 양자 알고리즘의 성능과 동일하다.
• 시몬의 문제는 선형 수준의 고전적 오라클 쿼리를 사용하여 양자 알고리즘의 쿼리 복잡도를 재현할 수 있다.
• 제안된 고전적 시뮬레이션 프레임워크는 확률적 고전 튜링 기계에서 효율적으로 구현 가능하며, 그 고전적 실현 가능성은 확인되었다.
• 결과적으로 디퓨즈-조자 문제이든 시몬의 문제이든 진정으로 양자 자원이 필요로 하지 않으며, 이러한 경우에 양자 속도 향상의 개념에 도전한다.
• 본 연구는 효율적인 해결의 핵심이 양자 코herence나 얽힘과는 다름없이 오라클 함수의 특정 구조에 있음을 드러낸다.