Toffoli-Hadamardおよび量子計算の二項フラグメントに対する和オーバパスの完全性【JST・京大機械翻訳】

Vilmart Renaud

プレプリント

J-GLOBAL ID：202202211970280397 整理番号：22P0344745

Toffoli-Hadamardおよび量子計算の二項フラグメントに対する和オーバパスの完全性【JST・京大機械翻訳】

Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年05月05日プレプリントサーバーでの情報更新日： 2022年11月07日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

「Sum-Over-Paths」形式は,量子システムを記述する線形マップを記号的に操作する方法であり,そのようなシステムの形式的検証に用いられるツールである。ここでは,形式に対する書き込み規則の新しいセットを示し,量子力学の最も単純な普遍的フラグメントである「Toffoli-Hadamard」に対して完全であることを示した。書き換えは用語化であるが,コンフルエント(フラグメントの普遍性から期待される)ではないことを示した。著者らは,Sum-over-Pathsとグラフィカル言語ZH-Calculusの間の接続を使用し,また,axiomatizationが後者に翻訳する方法を示した。最後に,量子計算のダイアディックフラグメントに対して,πのダイアディック多重を持つ位相ゲートをToffoli-Hadamardゲートセットに,特に量子Fourier変換で使うことにより,量子計算のダイアディックフラグメントに対する完全性に到達するために,書き込みシステムをいかに濃縮するかを示した。【JST・京大機械翻訳】

, , , , , , ,
, , , 【Automatic Indexing@JST】

計算理論

, ,

前のページに戻る