精确合成技术能提供无条件的优化性能和规范结构,但通常仅适用于小而精确定义的范围。该研究团队提出了一个针对Clifford+$T$门集的双量子比特电路的精确合成框架,可精确优化$T$门数量。该方法通过穷举有界搜索空间,利用代数规范化消除冗余,并构建最优实现查询表,将合成过程转化为查询操作。在算法层面,该工作融合了中间相遇策略、可证明的剪枝规则,以及专为现代硬件设计的特定问题算术方案。最终形成的精确可复用合成引擎,在实际性能上实现了显著提升。
作者单位:
VIP可见
页数/图表:
登录可见
提交arXiv:
2026-01-27 03:57