[论文解读] A Quantum Dot Plot Generation Algorithm for Pairwise Sequence Alignment

Joseph Clapis|arXiv (Cornell University)|Jul 23, 2021

Image Processing Techniques and Applications参考文献 8被引用 6

一句话总结

本文提出了量子点图（QDP），一种用于将经典序列数据编码为叠加态的显式量子预言机构造，以支持量子成对序列比对（QPSA）算法。尽管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的电路深度与运行时间，以支持对比分析。

提出的方法

• 提出量子点图（QDP）作为QPSA所必需预言机的直接、显式构造，替代对假设性非线性克尔介质的依赖。
• 使用与通用门基量子计算机兼容的量子电路原语设计QDP，特别针对Q#和Qiskit编译栈进行优化。
• 利用Q#和Qiskit框架，分析QDP在不同样本序列比对任务中的量子电路深度与门数。
• 评估QDP与QPSA在两种领先量子硬件平台（IBM的超导架构与AQT的离子阱架构）上的资源需求。
• 对两种平台的电路深度与估算运行时间进行对比分析，以评估其实际可行性。
• 使用标准量子编译工具生成并分析机器级指令，实现对性能的现实估算。

实验结果

研究问题

• RQ1 能否构建一种实用的、兼容门模型的量子预言机，以在不依赖非物理性非线性介质的前提下实现QPSA？
• RQ2 在实际序列比对任务中，所提出的QDP预言机在电路深度与门数方面的操作复杂度如何？
• RQ3 在IBM的超导量子架构与AQT的离子阱量子架构之间，QDP与QPSA的估算运行时间与电路深度有何差异？
• RQ4 考虑到其指数级资源需求，QDP在当前及近期内的通用量子计算机上具有多大可扩展性？
• RQ5 从电路级分析中，可为量子序列比对算法的实际部署得出哪些启示？

主要发现

• QDP构造在输入序列大小上表现出指数级复杂度，由于资源开销过大，使其在通用量子计算机上不可行。
• 尽管存在指数级复杂度，本研究仍为QDP与QPSA在IBM的超导架构和AQT的离子阱架构上提供了详细的电路深度与运行时间估算。
• 分析表明，QDP的电路深度随序列长度增长而极不理想，证实了其根本性的可扩展性障碍。
• 运行时间估算表明，即使在中等长度的序列上，当前量子硬件也需耗费不可接受的长执行时间。
• 对比基准测试凸显了架构差异：AQT的离子阱平台在等效操作下表现出比IBM的超导架构更低的电路深度。
• 研究结果强调了需要采用替代性数据编码策略或专用硬件，才能在序列比对中实现量子加速。