回收公式与五步流程

1. 范数预备:X = X† ⪯ 0、Y† = −Y ⇒ ‖e^{X+Y}‖ ≤ 1(Lie 乘积公式 + 谱半径估计)

2. 生成元 −i(H₋−ηH₊)t 写 η = a+ib:Hermitian 部分为 −bt·H₊——上半平面(b ≥ 0)配合 H₊ ⪰ 0 ⇒ ‖e^{−i(H₋−ηH₊)t}‖ ≤ 1

3. 围道闭向上半平面:半圆弧上积分范数 ≤ 2πR/(R−1)² → 0;唯一极点 η = i(来自 1/(1+η²) = 1/((η−i)(η+i)))

4. 留数:Res = 2e^{i·i·p}/(2i)·M(i) = e^{−p}M(i)/i ⇒ 积分 = 2πi·Res = 2π·e^{−p}·M(i)

5. 代入 η = i:−i(H₋ − iH₊)t = −H₊t − iH₋t(用 (−i)×(−i) = −1)⇒ M(i) = e^{−(H₊+iH₋)t}u₀,证毕

类型definition-derivation(留数证明 + 概率推导)