ブール関数を計算する量子回路の局所変換ルールの完全集合

• Item type: SIG Technical Reports(1)
• 公開日: 2001-07-27
• タイトル: ブール関数を計算する量子回路の局所変換ルールの完全集合
• タイトル / 言語: en
• タイトル: A Complete Set of Transformation Rules for Quantum Boolean Circuits
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 科学技術振興事業団今井量子計算機構プロジェクト／NTTコミュニケーション科学研究所
• 著者所属: 科学技術振興事業団今井量子計算機構プロジェクト／京都大学大学院情報学研究科
• 著者所属(英): en
• 著者所属(英): Quantum Computation and Information, ERATO, Japan Science and Technology Corporation (JST) /NTT Communication Science Laboratories
• 著者所属(英): en
• 著者所属(英): Quantum Computation and Information, ERATO, Japan Science and Technology Corporation (JST) /School of Infomatics,Kyoto University
• 著者名: 山下, 茂; 岩間, 一雄
• 著者名(英): Shigeru, Yamashita; Kazuo, Iwama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，CNOT(制御NOT)ゲートにより構成されるブール関数を計算する量子回路における，回路の局所変換ルールの集合について述べる. 本稿で述べる局所変換ルールの集合は単純であるが自明ではない. また，その集合が完全であること，つまり，任意の二つの回路に対して一方から他方への変換が本稿で述べるルールのみを適用することによって可能であることも示す.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper gives a simple but nontrivial set of local transformation rules for CNOT-based quantum circuits. It is shown that this rule set is complete, namely for any two equivalent circuits, S1 and S2, there is a sequence of transformations, each of them in the rule set, which changes S1 to S2.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 情報処理学会研究報告アルゴリズム（AL）; 巻 2001, 号 79(2001-AL-079), p. 13-20, 発行日 2001-07-27
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会