条件哈密顿进化算符的符号
我正在阅读Harrow,Hassidim和Lloyd的论文《线性方程组的量子算法》。他们在该论文的第三页上写道 接下来,我们应用条件哈密顿进化上的∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots 对于我的一生,我无法弄清楚的含义。在那里做什么?如何将Σ 牛逼- 1 τ = 0 | τ ⟩ ⟨ τ | Ç ⊗ ê 我甲τ 吨ø / Ť作用于(比方说)| 0 ⟩&CircleTimes; | 0 ⟩或| 1 ⟩&CircleTimes; | 0 ⟩?CCC∑T− 1τ= 0|τ⟩ ⟨τ|C⊗ è我甲τŤØ/吨∑τ=0Ť-1个|τ⟩⟨τ|C⊗Ë一世一种τŤØ/Ť\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}| 0 ⟩&CircleTimes; | 0 ⟩|0⟩⊗|0⟩\left|0\right>\otimes \left|0\right>| 1 ⟩&CircleTimes; | …