>>644
教授は、「見たら分かる」では満足してくれないんですよね。
２次の制御NOTが"・"をテンソル積の記号として|0><0|・I+|1><1|・σ_x
と表せることと、制御に関係無い部分は単なる直積で表せることから
求められないか考えているのですが・・・。


>>645
どこなら適当でしょうか？量子情報通信関連のスレも見つからず、
もしあったとしても、この問題は数学分野なのでここに書き込みました。