[논문 리뷰] A Quantum Dot Plot Generation Algorithm for Pairwise Sequence Alignment

Joseph Clapis|arXiv (Cornell University)|2021. 07. 23.

Image Processing Techniques and Applications참고 문헌 8인용 수 6

한 줄 요약

이 논문은 양자 쌍체 서열 정렬(QPSA) 알고리즘을 가능하게 하기 위해 고전적 서열 데이터를 중첩 상태로 인코딩하기 위한 명시적 양자 오라클 구조인 양자 점 프로ット(QDP)을 소개한다. QDP는 일반적인 게이트 기반 양자 컴퓨터에서 지수적 복잡도를 가지지만, 연구는 IBM의 초전도 및 AQT의 트랩된 이온 아키텍처에 대해 세부적인 회로 깊이 및 실행 시간 추정치를 제공하여 기초적 확장성 한계에도 불구하고 실용적 기준을 제시한다.

ABSTRACT

The Quantum Pairwise Sequence Alignment (QPSA) algorithm offers exponential speedups in data alignment tasks. However, it relies on an open problem of efficiently encoding the classical data being aligned into quantum superposition. Previous works suggest the use of specialized nonlinear Kerr media to implement a black-box oracle that achieves the superposition. We provide an alternative, explicit construction of this oracle called the Quantum Dot Plot (QDP), which is compatible with universal gate machines. We evaluate QDP's operational complexity via analysis of the quantum machine instructions generated by the Q# and Qiskit software frameworks for various sample circuits. Our analysis confirms that the data encoding scheme is exponentially difficult, precluding QDP's (and thus, QPSA's) employment on general-purpose quantum computers. Nevertheless, we find utility in estimating the circuit depth and run time of both QDP and QPSA for IBM's superconducting architecture and AQT's trapped ion architecture for direct comparison and overall practicality purposes.

연구 동기 및 목표

• QPSA를 위한 효율적인 고전적 데이터의 양자 중첩 상태로의 인코딩 문제를 해결하기 위해.
• 비선형 킬러 매체에 의존하지 않고 QPSA 오라클을 실현하기 위한 명시적이고 게이트 모델 호환 가능한 대안을 제공하기 위해.
• 기존의 양자 아키텍처에서 QDP 및 QPSA의 운영 복잡도와 실용적 가능성 평가를 위해.
• IBM의 초전도 및 AQT의 트랩된 이온 플랫폼에서 QDP 및 QPSA의 회로 깊이 및 실행 시간 추정치를 산출하여 비교 분석을 수행하기 위해.

제안 방법

• QPSA에서 요구하는 오라클의 직접적이고 명시적인 구성으로서의 양자 점 프로트(QDP)를 제안하여, 가상의 비선형 킬러 매체에 대한 의존도를 제거한다.
• 특히 Q# 및 Qiskit 컴파일 스택을 대상으로 하여, 일반적인 게이트 기반 양자 컴퓨터와 호환되는 양자 회로 원소를 사용해 QDP를 설계한다.
• Q# 및 Qiskit 프레임워크를 활용해 다양한 샘플 서열 정렬에 대해 QDP의 양자 회로 깊이 및 게이트 수를 분석한다.
• IBM의 초전도 및 AQT의 트랩된 이온 아키텍처라는 두 가지 주요 양자 하드웨어 플랫폼에서 QDP 및 QPSA의 자원 요구량을 평가한다.
• 두 플랫폼 간의 회로 깊이 및 추정 실행 시간을 비교 분석하여 실용성 여부를 평가한다.
• 표준 양자 컴파일 도구를 사용해 기계 수준 명령어를 생성하고 분석함으로써 현실적인 성능 추정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 실용적이고 게이트 모델 호환 가능한 양자 오라클을 구성하여 비물리적 비선형 매체에 의존하지 않고 QPSA를 가능하게 할 수 있는가?
• RQ2 실제 서열 정렬 작업을 고려할 때, 제안된 QDP 오라클의 운영 복잡도는 회로 깊이 및 게이트 수 측면에서 어떻게 되는가?
• RQ3 IBM의 초전도 및 AQT의 트랩된 이온 양자 아키텍처 간에 QDP 및 QPSA의 추정 실행 시간과 회로 깊이가 어떻게 비교되는가?
• RQ4 QDP의 지수적 자원 요구량을 감안할 때, 현재 및 근접한 유니버설 양자 컴퓨터에서 QDP의 확장성은 어느 정도 가능한가?
• RQ5 회로 수준 분석으로부터 양자 서열 정렬 알고리즘의 실용적 구현에 대해 어떤 통찰을 얻을 수 있는가?

주요 결과

• QDP 구조는 입력 서열 크기에 따라 지수적으로 복잡도가 증가하여 자원 오버헤드로 인해 일반적인 양자 컴퓨터에서는 실현 불가능하다.
• 지수적 복잡도에도 불구하고, 이 연구는 IBM의 초전도 및 AQT의 트랩된 이온 플랫폼에서 QDP 및 QPSA의 세부적인 회로 깊이 및 실행 시간 추정치를 제공한다.
• 분석 결과 QDP의 회로 깊이는 서열 길이 증가에 따라 불리하게 증가함을 확인하여 근본적인 확장성 장벽을 입증한다.
• 실행 시간 추정치는 현재의 양자 하드웨어에서 중간 수준의 서열 길이 조차도 실행 시간이 극도로 길어지므로 실용적이지 않음을 시사한다.
• 비교 벤치마킹 결과는 아키텍처적 차이를 드러내며, AQT의 트랩된 이온 플랫폼이 IBM의 초전도 아키텍처보다 동일한 연산에 대해 더 낮은 회로 깊이를 보임을 확인한다.
• 연구 결과는 양자 스피드업을 실현하기 위해 보다 나은 데이터 인코딩 전략 또는 전용 하드웨어가 필요하다는 점을 강조한다.