该研究团队提出“分层统一图表示”(HUGR)——一种基于图的新型中间表示方法,用于混合量子-经典程序。HUGR的设计具有高表达性和可扩展性,既能捕捉近期及未来量子计算设备的特性,又可适配新兴量子编程范式提出的抽象概念。其基于图的结构便于机器处理,支持强大的基于模式匹配的编译技术。受MLIR启发,HUGR的可扩展性使编译工具能在多个抽象层次上分析程序,并实现平滑的层级转换。结构中内置的安全保障(包括严格的静态类型系统和线性量子类型)确保编译工具能快速开发,同时避免程序失效风险。HUGR的完整规范与参考实现已开源发布。
页数/图表:
登录可见
提交arXiv:
2025-10-13 13:55