もっと一般的に、量子状態は物理的に許容される自明な状態である直積状態に対して
半正定値と呼ばれる性質を持った変換で変換可能な状態しか許されません
半正定値性は物理的に実現可能な量子演算の性質です