符号化量子计算模拟器SymQC

SymQC:A symbolic quantum computing simulator

目前主流的量子计算模拟器一般基于数值计算,存在精度损失、量子态的展示不直观、难以支持参数化量子线路等问题。虽然已有人提出符号化量子计算模拟器,但它们在描述参数化量子态、构建自定义量子门和与量子编程环境进行系统集成等方面受到较大的限制。针对此问题,提出了一个新的符号化量子计算模拟器SymQC。SymQC可使用全振幅向量或狄拉克符号表示量子状态,计算符号参数化的量子线路的等效矩阵并模拟量子状态在量子线路下的演化过程,然后以不同的形式输出量子算法的执行结果。描述了SymQC的软件结构,并给出了一种常用量子状态更新算法的数学证明。通过运行以变分量子本征值求解算法(VQE)为代表的算法实例验证了SymQC的能力。

Currently,mainstream quantum computing simulators are generally based on numerical calculations,which suffer from precision loss,lack of intuitive representation of quantum states,and difficulty in supporting parameterized quantum circuits.Although symbolic quantum computing simulators have been proposed,they are limited in describing parameterized quantum states,constructing custom quantum gates,and integrating with quantum programming environments.To address this issue,this paper proposes a symbolic quantum computing simulator,SymQC.SymQC can use either full amplitude vectors or Dirac symbols to represent quantum states,calculate the equivalent matrix of symbolically parameterized quantum circuits,simulate the evolution of quantum states under quantum circuits,and output the execution results of quantum algorithms in different forms.This paper describes the software structure of SymQC and provides a mathematical proof of a commonly used quantum state update algorithm.Algorithm instances including variational quantum eigensolver(VQE)algorithm are used to verify the ability of SymQC.