学术动态

邓东灵、李婷婷 成果收录于AAAI 2026

邓东灵、李婷婷团队提出了一种在形式化正确性约束下进行成本优化的统一框架。该方法引入轻量级中间表示 QCore，并定义关系型操作语义，使全态等价、测量分布保持、部分迹一致与近似正确性等不同层次的正确性契约，能够在同一语义体系中统一表达、组合与验证。基于此，优化过程被建模为满足用户指定关系契约 ( Φ , Ψ ) 的约束综合问题，并引入可调的多目标成本模型，联合度量门数、线路深度及纠错相关开销，以指导优化搜索。

邓东灵、李婷婷 成果收录于AAAI 2026

邓东灵、李婷婷团队提出了一种量子程序自适应保真度评估框架（QuFid），将量子程序首先表示成一个有向无环图，用一种“考虑控制流”的随机游走来模拟噪声如何沿着门的依赖关系传播；同时量化编译后电路结构被改变的程度。进一步，QuFid 将这两部分信息合并成一个噪声传播算子，并用该算子的谱特征来衡量电路复杂度，据此在运行时动态决定每一轮所需采样次数，并在达到目标精度后尽早停止采样。