X ∈ L (H) に対して,
とした.
νM (dγM)Tr UM,γU
(·) :=
μH (dV ) V ⊗t (·) (V †)⊗t −
νR (dγR) (UR (γR))⊗t (·) (UR (γR)†)⊗t
(6.11)
=
(d2 − 1)2
M,γ
2 Tr[X]2 ∆d (X):=Tr X − d
(2)