量智信息中心_量科网

当前学界对开发“量子特性”的严格验证方法兴趣日增，这类验证即便在实现实际量子优势之前也具有可行性。这类测试不仅能验证系统的量子属性，还可作为精确量子操控的基准指标。该工作提出：有限自动机理论中的承诺问题，为设计可靠的量子门质量测试提供了天然框架。其中“可靠性”——即只有达到足够高质量的实施方案才能通过测试——是有效认证的核心要求。研究人员分析了多个与量子门测试相关的承诺问题，并证实了量子有限自动机与经典有限自动机在解决这些问题时所需内存资源的本质差异。这些差异构成了将承诺问题作为量子特性测试的理论基础。最后，该团队展示了如何利用自动机理论成果（特别是自动机极小性）来推导可靠性的理论保证。