Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
复制标题
自动将量子程序从公共门的子集转换为绝热表示
DOI：
10.1007/978-3-030-21500-2_9
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Regan M., Eastwood B.
中科院分区：
文献类型：
--
作者：
Regan M., Eastwood B.
具有两个自由度的 2-局部哈密顿量的绝热计算在理论上已被证明与通用量子计算的门模型等效。但今天的量子退火器，即 D-Wave 的 2000Q 平台，仅提供具有单自由度的 2 局部伊辛哈密顿抽象。这就提出了一个问题：什么门程序子集可以表示为 D-Wave 上的二次无约束二元问题 (QUBO)。这个问题很有趣，因为基于门的量子平台目前仅限于 20 个量子位，而 D-Wave 提供 2,000 个量子位。然而，当将整个门电路转换为 QUBO 时，将需要额外的量子位。这项工作的目标是确定适合在公共量子位基础表示下转换为单次 2-局域伊辛哈密顿量的量子门子集，以便它们包含适合纯量子计算的复合电路，即无需在不同基础的经典计算和量子计算之间切换。为此，这项工作首次提供了一种完全自动化的方法，将由表示为 IBM Qiskit 程序的公共门子集组成的量子门电路转换为单次 2 局部伊辛哈密顿量，随后将其嵌入到 D-Wave 2000Q 嵌合图中。这些门元件被放置在嵌合图中，并通过强制门间逻辑关系的约束进行增强，从而产生完全表征整个门电路的退火器嵌入。然后在 D-Wave 2000Q 硬件上评估几个示例量子门电路的退火器嵌入。
Adiabatic computing with two degrees of freedom of 2-local Hamiltonians has been theoretically shown to be equivalent to the gate model of universal quantum computing. But today’s quantum annealers, namely D-Wave’s 2000Q platform, only provide a 2-local Ising Hamiltonian abstraction with a single degree of freedom. This raises the question what subset of gate programs can be expressed as quadratic unconstrained binary problems (QUBOs) on the D-Wave. The problem is of interest because gate-based quantum platforms are currently limited to 20 qubits while D-Wave provides 2,000 qubits. However, when transforming entire gate circuits into QUBOs, additional qubits will be required.The objective of this work is to determine a subset of quantum gates suitable for transformation into single-degree 2-local Ising Hamiltonians under a common qubit base representation such that they comprise a compound circuit suitable for pure quantum computation, i.e., without having to switch between classical and quantum computing for different bases. To this end, this work contributes, for the first time, a fully automated method to translate quantum gate circuits comprised of a subset of common gates expressed as an IBM Qiskit program to single-degree 2-local Ising Hamiltonians, which are subsequently embedded in the D-Wave 2000Q chimera graph. These gate elements are placed in the chimera graph and augmented by constraints that enforce inter-gate logical relationships, resulting in an annealer embedding that completely characterizes the overall gate circuit. Annealer embeddings for several example quantum gate circuits are then evaluated on D-Wave 2000Q hardware.