发表机构
Nagoya University; Xi’an Jiaotong University（名古屋大学; 西安交通大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文针对耗散稳定化量子目标缺乏可靠控制序列的问题，提出可检验的鲁棒物理控制条件，通过Lyapunov收缩界和路径认证，实现有界误差下的收敛，并给出四能级模型的显式序列。
AI 中文摘要
耗散动力学可以稳定量子目标，但无法提供可靠的有限控制操作序列。我们推导了在不完美控制下实现这种稳定性的可检验条件，并给出了收敛性、操作过程中的误差以及物理代价的界限。分析包括脉冲、空闲间隔以及所有同时作用的背景动力学。使用一个常见的偏离目标的Lyapunov度量，我们要求一个收缩界，在考虑实现误差后，该界在规定的非确定性集合上均匀低于1。如果所有允许的路径在每次操作中保持目标子空间，则重复循环从每个初始状态收敛到该子空间，即使误差在循环之间变化。与这些经过认证的保持目标的路径进行比较，在有界泄漏下给出了一个显式的长时间误差界。两个单量子比特的反例表明，通过酉共轭获得的稳定平均或稳定生成器不能确保这些路径条件。该认证方法还支持有限库搜索。对于指定的四能级级联模型，包含有限脉冲、校准和定时误差、退相以及有界泵浦，该搜索产生一个具有显式制备时间界的序列。对于每个初始状态，它保证在制备结束时以及后续循环中，与目标的迹距离至多为0.1。
英文摘要
Dissipative dynamics can stabilize a quantum target without providing a reliable sequence of finite control operations. We derive checkable conditions for implementing such stabilization with imperfect controls, with bounds on convergence, errors during operations, and physical cost. The analysis includes pulses, idle intervals, and all simultaneously acting background dynamics. Using a common Lyapunov measure of deviation from the target, we require a contraction bound that remains uniformly below one over the prescribed uncertainty set after accounting for implementation errors. If all allowed paths preserve the target subspace throughout each operation, repeated cycles converge to that subspace from every initial state, even when errors vary between cycles. Comparison with these certified target-preserving paths gives an explicit long-time error bound under bounded leakage. Two single-qubit counterexamples show why a stabilizing average or a stabilizing generator obtained by unitary conjugation does not ensure these path conditions. The certification approach also supports a finite-library search. For a specified four-level cascade model with finite pulses, calibration and timing errors, dephasing, and bounded pumping, this search yields a sequence with an explicit preparation-time bound. For every initial state, it guarantees trace distance at most $0.1$ from the target at the end of preparation and throughout subsequent cycles.
