ハイゼンベルク描像
Taking adjoint maps in the Heisenberg picture, the success condition becomes