计算机工程与科学 ›› 2023, Vol. 45 ›› Issue (07): 1159-1169.
付祥1,黎梓浩2,黄子潇2,杨曜嘉2,刘定东2,张春晖2,李小芳2
FU Xiang1,LI Zi-hao2,HUANG Zi-xiao2,YANG Yao-jia2,LIU Ding-dong2,ZHANG Chun-hui2,LI Xiao-fang2
摘要: 目前主流的量子计算模拟器一般基于数值计算,存在精度损失、量子态的展示不直观、难以支持参数化量子线路等问题。虽然已有人提出符号化量子计算模拟器,但它们在描述参数化量子态、构建自定义量子门和与量子编程环境进行系统集成等方面受到较大的限制。针对此问题,提出了一个新的符号化量子计算模拟器SymQC。SymQC可使用全振幅向量或狄拉克符号表示量子状态,计算符号参数化的量子线路的等效矩阵并模拟量子状态在量子线路下的演化过程,然后以不同的形式输出量子算法的执行结果。描述了SymQC的软件结构,并给出了一种常用量子状态更新算法的数学证明。通过运行以变分量子本征值求解算法(VQE)为代表的算法实例验证了SymQC的能力。