对比两种基因编辑优化方法,发现结构约束更稳定可靠。
COMET: Combinatorial Optimization for Multiplex Editing Targets Via Constraint-Preserving QAOA
- 用量子混频器结构化约束,避免惩罚项调参难题
- 实机运行中,结构法在深度3时最优解概率超95%
- 适合关注量子算法在生物计算中落地的科研人员
多重CRISPR-Cas9基因编辑需为每个靶基因选择一条引导RNA,受基因间互作约束,属带约束的二次无约束二值优化(QUBO)问题,可用量子近似优化算法(QAOA)求解。传统方法通过添加二次惩罚项强制单基因选择约束,但惩罚系数选取依赖经验,且会放大硬件噪声。另一种方案是通过XY混频器结构性地保持可行性。本文提出COMET,对三种基因(PDCD1、LAG3、HAVCR2)共12量子比特实例,系统比较了基于惩罚项与结构化约束的QAOA方法。仿真结果显示,使用XY混频器的QAOA在深度p=3时达到超过95%的最优解概率,而三个惩罚系数跨度达一个数量级的变体在所有深度均低于6%。在IBM ibm_kingston(Heron r2)处理器上,结构法的能量间隙始终维持在|0.8|以内,而最差调参惩罚法间隙高达+53.9。本文还如实分析了结构保证在门级噪声下部分失效的情况。该12量子比特实例经典可解,研究重点在于生物场景下约束策略的方法论比较,并完成了真实硬件验证。
原文摘要 · Abstract (English)
Multiplex CRISPR-Cas9 gene editing requires selecting one guide RNA per target gene subject to cross-gene interactions: a constrained combinatorial problem that can be formulated as a Quadratic Unconstrained Binary Optimization (QUBO) and solved via the Quantum Approximate Optimization Algorithm (QAOA). The one-hot per-gene constraint is conventionally enforced by adding quadratic penalty terms to the cost Hamiltonian, but penalty coefficient selection is heuristic and penalties amplify hardware noise. An alternative is to enforce the constraint structurally via the XY-mixer, which preserves feasibility by construction. We present COMET, a systematic comparison of penalty-based and XY-mixer QAOA on a three-gene, twelve-qubit multiplex editing instance targeting the immune-checkpoint genes PDCD1, LAG3, and HAVCR2. In simulation, the XY-mixer exceeds 95% probability of the optimum by QAOA depth p=3, while three penalty variants spanning an order of magnitude in penalty coefficient remain below 6% at every depth. On IBM's ibm_kingston (Heron r2) processor, the XY-mixer's simulator-hardware energy gap stays within |0.8| across all depths, while the worst-tuned penalty variant's gap reaches +53.9. We provide an honest account of where the structural guarantee partially breaks under gate-level noise. The twelve-qubit instance is classically trivial; our contribution is a methodological comparison of constraint-enforcement strategies in a biologically motivated domain, with real-hardware validation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。