[논문 리뷰] Static Quantum Computation

Haiqing Wei, Xin Xue|ArXiv.org|1997. 02. 22.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 3

한 줄 요약

이 논문은 다체 양자 시스템의 기본 상태에 계산 문제의 해를 인코딩하는 새로운 정적 양자 계산 모델을 제안한다. 상호작용을 설계하여 이진 논리 관계를 저장함으로써, 다항수준의 양자 회로를 사용하여 P 또는 NP 문제를 해결할 수 있으며, 해는 점진적으로 시스템을 안정화시킴으로써 취득된다—이를 통해 계산 복잡도와 양자 역학 간의 직접적인 연결을 수립한다.

ABSTRACT

Tailoring many-body interactions among a proper quantum system endows it with computing ability by means of static quantum computation in the sense that some of the physical degrees of freedom can be used to store binary information and the corresponding binary variables satisfy some given logic relations if and only if the system is in the ground state. Two theorems are proved showing that the universal static quantum computer can encode the solutions for any P and NP problem into its ground state using only polynomial number (in the problem input size) of logic gates. The second step is to read out the solutions by relaxing the system. The time complexity is relevant when one tries to read out the solution by relaxing the system, therefore our model of static quantum computation provides a new connection between the computational complexity and the dynamics of a complex system.

연구 동기 및 목표

• 계산 해가 다체 양자 시스템의 기본 상태에 인코딩되는 새로운 양자 계산 모델을 제안하는 것.
• 계산 중에 활성 게이트 연산 없이도 유니버설 양자 계산을 달성할 수 있는 정적 상호작용만을 사용하는 것.
• 기본 상태에 도달하는 데 소요되는 시간을 통해 계산 복잡도와 양자 시스템의 역학 간의 연결 고리를 수립하는 것.
• 이 정적 프레임워크에서 다항 수준의 양자 논리 게이트를 사용해 어떤 P 또는 NP 문제라도 인코딩할 수 있음을 보여주는 것.
• 복잡한 양자 시스템의 기본 상태 성질을 계산 자원으로 사용할 수 있는 이론적 기반을 제공하는 것.

제안 방법

• 기본 상태가 주어진 계산 문제의 해를 인코딩하도록 다체 양자 하미르토니안을 설계하는 것.
• 큐비트 간 국소적이고 두 개체 간 상호작용만을 사용하여 부울 공식에 해당하는 논리 관계를 구현하는 것.
• 기본 상태가 문제의 모든 제약 조건을 만족하도록 시스템을 구성함으로써, 해를 양자 상태에 효과적으로 인코딩하는 것.
• 간단한 초기 하미르토니안에서 출발하여 최종 문제 하미르토니안으로 점진적으로 진화시키는 점진적 진화를 적용하여 기본 상태를 준비하는 것.
• 최종 하미르토니안의 기본 상태가 문제의 유효한 해에 해당하며, 이는 안정화 이후 측정 가능하다는 사실을 활용하는 것.
• 큐비트 수와 상호작용 수가 문제의 입력 크기와 다항적으로 증가함을 증명하여, 인코딩의 효율성을 확보하는 것.

실험 결과

연구 질문

• RQ1 P 또는 NP에 속하는 어떤 계산 문제라도 다항 자원만으로 다체 양자 시스템의 기본 상태에 인코딩될 수 있는가?
• RQ2 동적 게이트 시퀀스 없이도 정적 상호작용만으로 유니버설 양자 계산을 달성할 수 있는가?
• RQ3 기본 상태를 준비하는 데 소요되는 시간은 문제의 계산 복잡도와 어떻게 관련되는가?
• RQ4 다체 양자 얽힘과 상호작용 설계는 기본 상태에 해를 인코딩하는 데 어떤 역할을 하는가?
• RQ5 점진적 안정화 과정은 이 정적 모델에서 해를 읽어내는 데 실용적인 메커니즘이 될 수 있는가?

주요 결과

• 논문은 P 또는 NP에 속하는 어떤 문제라도 다항 수준의 양자 논리 게이트만으로 다체 양자 시스템의 기본 상태에 인코딩될 수 있음을 증명한다.
• 해는 특별히 설계된 다체 하미르토니안의 기본 상태에 인코딩되며, 물리적 상호작용을 통해 논리 제약 조건이 강제된다.
• 시스템의 기본 상태는 문제의 유효한 해에 해당하며, 단순한 초기 하미르토니안에서 점진적으로 진화함으로써 준비될 수 있다.
• 기본 상태에 도달하는 데 소요되는 시간은 문제의 계산 복잡도와 직접적으로 관련되어 있으며, 이는 역학과 복잡도 이론 간의 연결 고리를 형성한다.
• 이 모델은 계산 단계 중 활성 게이트 연산 없이도 유니버설 양자 계산을 달성한다.
• 이러한 구성은 상호작용을 정교하게 설계한 정적 양자 시스템이 유니버설 계산 장치로 작용할 수 있음을 보여주며, 해는 안정화 과정을 통해 회수된다.