量子科技中心_量科网

可逆计算要求中间数据必须被显式撤销而非直接丢弃。在量子编程中，这一原则体现为“非计算”（uncomputation），通常被视为技术性的清理机制。该研究团队提出将非计算作为语义基础进行重构。在Qutes语言中，研究者引入了作用域受限的活性引导非计算形式化模型，其中词法作用域界定变量生命周期，静态活性分析与纠缠分析共同决定最早的安全回收点。该工作定义了语义生命周期及“复原不变性”，确保临时量子信息一旦在语义上失效即被清除。研究者证明了嵌套作用域下的组合正确性，并表明早期回收能通过避免关键路径开销来降低电路深度，同时通过规范化的辅助比特重用约束存活量子比特峰值数量。最后，该团队展示了参数传递语义如何从相同的生命周期规则中自然涌现——按值传递与按引用传递对应不同的生命周期边界，并阐明了必须限制自动非计算的三种约束条件（不可逆性、持续纠缠和别名问题）。