[논문 리뷰] Code Generator for Quantum Simulated Annealing

Robert R. Tucci|ArXiv.org|2009. 08. 12.

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

한 줄 요약

이 논문은 Wocjan 등이 제안한 알고리즘(arXiv:0804.4259) 기반으로 양자 시뮬레이티드 앤날링을 위한 양자 회로를 생성하는 무료 자바 애플리케이션인 QuSAnn v1.2과 Multiplexor Expander v1.2을 제시한다. 이는 고전적 시뮬레이티드 앤날링의 스케일링을 향상시키기 위해 양자 점착 효과 대신 그로버 고정점 검색을 사용하는 Somma 등이 제안한 방법의 개선된 버전이다. QuSAnn은 양자 다중선택기(multiplexors)를 사용한 회로를 출력하고, Multiplexor Expander는 이를 제어-노트(CNOT) 및 회전 게이트와 같은 기본 게이트로 분해하여 근접한 양자 하드웨어에서의 실용적 구현을 가능하게 한다. 이는 정확한 또는 오라클 기반 근사법 두 가지 확장 옵션을 제공한다.

ABSTRACT

This paper introduces QuSAnn v1.2 and Multiplexor Expander v1.2, two Java applications available for free. (Source code included in the distribution.) QuSAnn is a "code generator" for quantum simulated annealing: after the user inputs some parameters, it outputs a quantum circuit for performing simulated annealing on a quantum computer. The quantum circuit implements the algorithm of Wocjan et al. (arXiv:0804.4259), which improves on the original algorithm of Somma et al. (arXiv:0712.1008). The quantum circuit generated by QuSAnn includes some quantum multiplexors. The application Multiplexor Expander allows the user to replace each of those multiplexors by a sequence of more elementary gates such as multiply controlled NOTs and qubit rotations.

연구 동기 및 목표

• Wocjan 등이 제안한 알고리즘을 구현하는 양자 시뮬레이티드 앤날링 코드 생성기를 개발하여 고전적 시뮬레이티드 앤날링 대비 더 나은 스케일링 성능을 확보한다.
• 제어-노트 및 단일 큐비트 회전과 같은 기본 게이트로 복잡한 양자 다중선택기를 분해함으로써 양자 회로의 실용적 구현을 가능하게 한다.
• 정확한 합성 및 오라클 근사법이라는 두 가지 확장 모드를 제공하여 사용자에게 회로 생성의 유연성을 제공하고 현재의 양자 하드웨어와의 호환성을 높인다.
• 공개 소스로 제공되며 공통 코드 라이브러리(QLib)를 통해 확장 가능하고 통합 가능한 도구를 제공함으로써 연구자와 실무자들이 양자 최적화를 탐색할 수 있도록 지원한다.

제안 방법

• QuSAnn은 Wocjan 등이 제안한 알고리즘을 기반으로 하여, 스체지디 양자 워크 연산자와 위상 추정을 활용해 함수의 최솟값을 찾는 양자 시뮬레이티드 앤날링을 위한 회로를 생성한다. 이는 기존 방법에 비해 더 나은 스케일링 성능을 제공한다.
• 회로는 세 가지 단순화된 가정 하에 구성된다: 선형 앤날링 스케줄(β₀=0, Δβ>0), 이차 에너지 함수 E(x)=(x−NS/2)², 그리고 근접 이웃 전이(|x−y|≤1).
• 출력된 회로에는 양자 다중선택기가 포함되어 있으며, 이는 Multiplexor Expander를 통해 제어-노트 및 큐비트 회전과 같은 기본 게이트의 시퀀스로 대체된다.
• Multiplexor Expander는 정확한 합성(유니터리 분해 기반)과 오라클 기반 근사법이라는 두 가지 확장 전략을 제공하며, 둘 다 회로 깊이와 게이트 수를 줄이는 것을 목표로 한다.
• 이 도구들은 QLib 라이브러리를 통해 공유되는 소스 코드를 기반으로 자바로 구현되어 있으며, 양자 회로 개발 워크플로우 전반에 걸쳐 모듈화 및 재사용이 가능하다.
• 생성된 회로는 인간이 읽을 수 있는 영어 문장 형식과 시각적 Picture 형식으로 출력되어 검증 및 표준 양자 회로 형식으로의 추가 컴파일이 용이하다.

실험 결과

연구 질문

• RQ1 Wocjan 등이 제안한 알고리즘을 기반으로 한 양자 시뮬레이티드 앤날링을 위한 양자 회로를 자동으로 생성하는 방법은 무엇인가? 이는 고전적 시뮬레이티드 앤날링의 요구하는 연산 수를 O(1/δ)에서 O(1/√δ)로 줄여 성능을 향상시킨다.
• RQ2 현재의 노이지 중간 규모 양자(NISQ) 장치에서 실행 가능한 기본 양자 게이트 시퀀스로 복잡한 양자 다중선택기를 효과적으로 분해하는 방법은 무엇인가?
• RQ3 Wocjan 등의 알고리즘에서 양자 점착 효과 대신 그로버 고정점 검색을 사용할 경우, 양자 최적화의 수렴 안정성과 효율성이 향상되는가?
• RQ4 심층적인 양자 회로 컴파일 지식이 없는 연구자들이 사용할 수 있도록 회로 생성 파이프라인을 어떻게 확장 가능하고 사용자 友好的하게 만들 수 있는가?
• RQ5 다중선택기 분해에서 정확한 합성과 오라클 근사법 간의 상호 교환 관계는 무엇인가? 특히 회로 깊이, 게이트 수, 신뢰도 측면에서의 성능 차이를 고려할 것.

주요 결과

• QuSAnn 도구는 Wocjan 등이 제안한 양자 시뮬레이티드 앤날링 알고리즘을 위한 양자 회로를 성공적으로 생성하였으며, 고전적 방법 대비 O(1/√δ)의 연산 수로 이르는 제곱근의 속도 향상을 달성한다.
• 생성된 양자 회로는 스체지디 양자 워크와 위상 추정 구성 요소를 구현하는 데 필수적인 다중선택기를 포함하고 있다.
• Multiplexor Expander는 각 다중선택기를 제어-노트 및 단일 큐비트 회전과 같은 기본 게이트의 시퀀스로 효과적으로 분해하여 NISQ 시대의 양자 프로세서에 컴파일할 수 있도록 한다.
• 이 도구는 정확한 합성과 오라클 근사법이라는 두 가지 분해 전략을 지원하여 사용자가 신뢰도와 자원 오버헤드 사이에서 유연하게 균형을 맞출 수 있도록 한다.
• 생성된 회로는 텍스트(영어) 및 시각적 그림(Picture) 형식으로 출력되며, 루프 전개까지 포함해 기본 연산 수를 정확히 세어낸다.
• 전체 시스템은 공개 소스이며 공통 자바 라이브러리(QLib)를 통해 제공되어 확장성과 다양한 양자 알고리즘 개발 워크플로우에의 통합을 촉진한다.