在含噪中等规模量子(NISQ)时代,量子电路的完整性面临编译变换、硬件约束和潜在恶意修改等挑战。现有验证方法通常仅依赖结构分析或行为评估,导致对电路正确性的评估不完整。本研究首次系统性地探讨了电路完整性的结构、交互和行为三个层面之间的关系,证明单一层面的完整性不足以保证整体完整性;例如,结构相似性并不能确保行为等价。为解决该问题,作者提出了一个三层度量框架,结合了结构完整性分数(SIS)、操作完整性分数(OIS)和交互图语义逻辑分数(IGS)。SIS捕捉全局结构属性,OIS利用Jensen-Shannon距离量化行为偏差,IGS在预执行环境下建模交互模式和依赖关系。通过在基准量子电路上实施可控异常注入实验,研究表明每个度量都能捕获不同的电路偏差方面。特别地,在结构盲点案例(SIS >= 0.95)中,OIS能检测93.85%的异常,而IGS能检测72.58%。这些结果凸显了各度量提供互补信息,单一度量对于可靠的电路验证是不够的。该框架为量子电路完整性评估提供了更全面的视角,有助于未来量子计算系统的安全部署。
💡 推荐理由: 量子计算是新兴领域,电路完整性直接关系到量子算法执行结果的正确性。该框架将结构、交互和行为多维评估结合,可潜在地用于检测针对量子电路的恶意篡改或编译后错误,为量子安全运维提供理论基础。
🎯 建议动作: 研究跟进