ヒビルテ(2008-08-24)

日々の流転 トラックバックスパムを大量に喰らったので、トラックバックを一時的に無効にしています。 λ. 量子テレポーテーションの行列計算 QMLから量子回路へのコンパイルでは以下のTeleのコンパイル結果の量子ゲートを見てみた。 -- The Teleport algorithm Tele (a,qb) |- let (b,c) = Epr () in let f = Bnmeas (a,b) in U (c,f) :: qb; 結果は1qubitの入出力に加えて、2qubitのヒープと2qubitのゴミがある回路だったのだけど、ヒープの初期化と最後の観測を除いた回路本体は3qubitの入出力を持つ回路になっている。この部分はユニタリー変換になっているはずなので、行列に変換してみる。 Prelude QML> s <- readFile "teleport.qml" Prelude QM

[kgbu]

手を動かして、なんかすごいおもしろく結果が出てくるのがうらやましい。ひたすらうらやましい。どのあたりから入ったら、この何分の一かでも楽しめるだろうか。