[논문 리뷰] A Numerical Study of the Performance of a Quantum Adiabatic Evolution Algorithm for Satisfiability

Edward Farhi, Jeffrey Goldstone외 1명|ArXiv.org|2000. 07. 19.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 46

한 줄 요약

이 논문은 만족성 문제를 해결하기 위한 양자 아디아바틱 알고리즘의 수치적 조사를 수행하며, EC3(비결정적 다항식 완전, NP-complete) 및 EC2(고전적으로 다항식 시간 내에 해결 가능한 문제)의 무작위로 생성된 인스턴스에 대해 필요한 진화 시간 T가 qubit 수 n에 대해 천천히 증가함을 보여주며, 이는 이차 함수에 잘 맞아떨어져 잠재적인 효율성을 시사한다. 알고리즘은 시간에 따라 변하는 해밀토니안의 지속적인 지배 상태를 유지하기 위해 아디아바틱 진화를 활용하며, T가 적절하게 스케일링될 경우 유일한 해를 가진 인스턴스에서 성공 확률이 높게 유지됨을 확인한다.

ABSTRACT

Quantum computation by adiabatic evolution, as described in quant-ph/0001106, will solve satisfiability problems if the running time is long enough. In certain special cases (that are classically easy) we know that the quantum algorithm requires a running time that grows as a polynomial in the number of bits. In this paper we present numerical results on randomly generated instances of an NP-complete problem and of a problem that can be solved classically in polynomial time. We simulate a quantum computer (of up to 16 qubits) by integrating the Schrodinger equation on a conventional computer. For both problems considered, for the set of instances studied, the required running time appears to grow slowly as a function of the number of bits.

연구 동기 및 목표

• NP-완전 및 고전적으로 해결 가능한 만족성 문제를 해결하기 위한 양자 아디아바틱 알고리즘의 성능을 평가하기 위해.
• 무작위로 생성된 인스턴스에 대해 필요한 진화 시간 T가 qubit 수 n에 따라 어떻게 스케일링되는지 규명하기 위해.
• 문제의 구조(예: 유일한 해 대 다중 해)가 알고리즘의 성공 확률에 미치는 영향을 조사하기 위해.
• 수치 시뮬레이션을 기반으로 아디아바틱 양자 계산이 어려운 만족성 문제를 효율적으로 해결할 수 있는지 평가하기 위해.

제안 방법

• 알고리즘은 시간에 따라 변하는 해밀토니안 H(t) = (1−t/T)HB + (t/T)HP를 사용하며, HB는 알려진 지배 상태를 가지며 HP는 만족성 인스턴스를 인코딩한다.
• 시스템은 슈뢰딩거 방정식 i∂|ψ(t)⟩/∂t = H(t)|ψ(t)⟩에 따라 진화하며, HB의 지배 상태에서 출발한다.
• 고전적 컴퓨터를 사용하여 최대 16 qubit까지 2^n 차원 힐베르트 공간에서 슈뢰딩거 방정식을 수치적으로 통합한다.
• 성공은 최종 상태와 HP의 지배 상태 간의 오버랩 |⟨g; s=1|ψ(T)⟩|로 측정된다.
• EC3(3비트 클라우즈) 및 EC2(2비트 클라우즈)의 인스턴스는 유일한 해 또는 다중 해를 가진 채로 무작위로 생성된다.
• T의 스케일링은 높은 성공 확률를 달성하기 위해 필요한 T를 n에 대한 함수로 맞추어 분석하며, 문제 해밀토니안을 뒤섞어 구조적 의존성 테스트를 수행한다.

실험 결과

연구 질문

• RQ1 NP-완전(예: EC3) 및 고전적으로 쉽게 해결 가능한(예: EC2) 만족성 인스턴스에 대해 필요한 진화 시간 T가 qubit 수 n에 따라 어떻게 스케일링되는가?
• RQ2 n이 증가함에 따라 어려운 인스턴스에 대해 양자 아디아바틱 알고리즘이 높은 성공 확률을 유지하는가?
• RQ3 다중 만족할 수 있는 할당이 존재할 경우 알고리즘의 성공 확률에 어떤 영향을 미치는가?
• RQ4 알고리즘이 문제 해밀토니안의 기본 비트 구조에 얼마나 의존하는가?

주요 결과

• 유일한 만족할 수 있는 할당이 있는 EC3 인스턴스의 경우, 필요한 진화 시간 T는 n에 대해 약 이차적으로 증가하며, n=7에서 14까지의 데이터에 대한 피팅 결과에서 이를 확인할 수 있다.
• 고전적으로 다항식 시간 내에 해결 가능한 EC2 인스턴스의 경우에도 T는 천천히 증가하며, 다항식 스케일링과 일치한다.
• 문제 해밀토니안을 뒤섞어 비트 구조를 제거한 경우, 성공 확률은 n에 따라 지수적으로 감소하며, 이는 구조가 성능에 필수적임을 시사한다.
• 다중 만족할 수 있는 할당이 있는 EC3 인스턴스(6~9개의 해)의 경우, 중앙값 성공 확률은 약 1/3으로, 유일한 해를 가진 인스턴스에서 관찰된 약 1/8보다 뚜렷이 높다.
• 유일한 해를 가진 EC3 인스턴스의 경우, 사용된 T 값에서 중앙값 성공 확률은 약 1/8로 떨어지며, 이는 지배 상태에서의 이탈이 흔하고 문제적임을 시사한다.
• 데이터는 아디아바틱 양자 알고리즘이 n에 대해 천천히 증가하는(이차적으로 증가하는) T 스케일링을 보이며, NP-완전 인스턴스조차도 일부 어려운 문제를 효율적으로 해결할 수 있음을 시사한다.