量子科技中心_量科网

该研究团队提出了一种可扩展的量子相位估计(QPE)电路形式化验证方法。该方法采用基于无量词位向量逻辑的符号化量子比特抽象，能够捕捉包括量子叠加态、旋转操作和测量在内的关键量子现象。研究人员将量子电路在希尔伯特空间中的功能行为映射至位向量域，并开发了与该抽象模型相匹配的形式化属性，以确保QPE电路的功能正确性。该方法具有高效的可扩展性，在内存占用低于3.5GB的条件下，成功验证了具有6个精度量子比特和1,024个相位量子比特的QPE电路。