$A$ はエルミート行列としたので、$U = e^{itA}$ はユニタリ行列である。ここで、$t$ の存在が気になるというか、$t=1$ にして良いんじゃ？と思える。原論文 [0811.3171] Quantum algorithm for solving linear systems of equations を見ると、ハミルトニア…