研究人员提出验证量子电路等价性的方法

慕尼黑工业大学、约翰内斯·开普勒大学林茨分校和Hagenberg软件能力中心的研究人员正在研究检查两个量子电路的等价性。量子计算中的每个操作本质上都是可逆的。这允许轻松反转量子电路。将原始电路和另一个电路的反相结合可以减少两个电路是否等价的问题。检查两个考虑的电路是否等价的有效方法是交替应用来自任一电路（G或G'-1）的门以尽可能接近同一性。如果在此过程结束时产生同一性，则所讨论的电路被认为是等价的。

量子特性还大大改善了在经典计算中，许多逻辑门引入的不可避免的信息丢失经常使经典电路和系统中的错误难以检测的情况。由于可逆性，即使是很小的错误也会经常影响量子电路的整个功能。这使得用随机选择的输入状态探测量子电路成为一种可行的的替代方法。

这些用于检查量子电路等效性的补充观察形成了一个高级等价性检查流程。相应的方法已发布并纳入该领域所有研究人员和工程师可用的开源软件中。生成的工具与IBM的SDK Qiskit原生集成，可用于验证高级量子电路是否已使用Qiskit正确编译到特定设备。这使用户确信在量子计算机上执行的操作是预期的，并且没有通过编译引入错误。

来源：Open Access Government