一句话：提出 Fermihedral 编译器，将费米子-量子比特编码的约束与目标编码为 SAT 问题求解，实现面向目标哈密顿量的最优编码。
费米子到量子比特编码是将量子计算用于高效模拟费米子量子系统的关键步骤。本文提出 Fermihedral 编译器框架，针对给定的费米子哈密顿量自动搜索最优编码方案。其核心思路是利用 Pauli 代数，把编码中复杂的约束和目标重新表述为布尔可满足性（SAT）问题，从而借助高性能求解器获得最优解。为应对大规模场景，作者提出两种新策略给出近似最优解，以缓解子句数量指数级增长带来的开销。在多种费米子系统上的评估表明，Fermihedral 具有明显优势，编译所得电路在实现成本、门数和电路深度上均大幅降低；在 IonQ 真机上的实验进一步验证了其有效性，显著提升了模拟精度。
This paper introduces Fermihedral, a compiler framework focusing on discovering the optimal Fermion-to-qubit encoding for targeted Fermionic Hamiltonians. Fermion-to-qubit encoding is a crucial step in harnessing quantum computing for efficient simulation of Fermionic quantum systems. Utilizing Pauli algebra, Fermihedral redefines complex constraints and objectives of Fermion-to-qubit encoding into a Boolean Satisfiability problem which can then be solved with high-performance solvers. To accommodate larger-scale scenarios, this paper proposed two new strategies that yield approximate optimal solutions mitigating the overhead from the exponentially large number of clauses. Evaluation across diverse Fermionic systems highlights the superiority of Fermihedral, showcasing substantial reductions in implementation costs, gate counts, and circuit depth in the compiled circuits. Real-system experiments on IonQ's device affirm its effectiveness, notably enhancing simulation accuracy.
DOI 原文 · arXiv · PDF（开放获取） · DBLP
@inproceedings{abs-2403-17794,
title = {Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding},
author = {Yuhao Liu and Shize Che and Junyu Zhou and Yunong Shi and Gushu Li},
booktitle = {ASPLOS},
year = {2024},
doi = {10.1145/3620666.3651371}
}