量子科技中心_量科网

鉴于量子电路变换在量子编译器链中无处不在，混合量子电路的等价性验证至关重要。虽然现有方法可自动化完成该任务，但多数仅聚焦于单一酉电路的简单情形。而实际量子计算需要配备测量算子的混合电路。此外，少数针对混合电路的方法也仅限于特定问题类别。该研究团队提出通过“延迟测量”变换提升酉电路验证能力，以解决量子混合电路等价性验证问题。研究表明，仅采用该方法就显著优于先前工作；若结合被称为“分离”与“投影”的酉电路级专用技术，还能处理更广泛的混合电路等价性问题。该团队已在标准电路变换（如量子隐形传态、单向测量及IBM Qiskit编译器）中实现并评估该方法，验证了其优越性。作为额外发现，研究人员还识别并报告了Qiskit编译器的若干异常行为。