石英:量子回路の超最適化(拡張版)【JST・京大機械翻訳】

Xu Mingkuan; Li Zikun; Padon Oded; Lin Sina; Pointing Jessica; Hirth Auguste; Ma Henry; Palsberg Jens; Aiken Alex; Acar Umut A.; Jia Zhihao

プレプリント

J-GLOBAL ID：202202220635456129 整理番号：22P0334321

石英:量子回路の超最適化(拡張版)【JST・京大機械翻訳】

Quartz: Superoptimization of Quantum Circuits (Extended Version)

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

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

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

既存の量子コンパイラは,専門家によって設計された回路変換を適用することにより,量子回路を最適化する。この手法は,異なるゲートセットを使用する異なる量子デバイスのための回路変換を設計し実装するための重要な手動努力を必要とし,手動で発見するのが難しい最適化を誤らせる。任意の量子ゲート集合のための回路変換を自動的に生成して,検証する量子回路超最適化器である石英を提案した。与えられたゲートセットに対して,石英は,小さな回路を系統的に探索することにより,候補回路変換を生成し,自動定理証明器を用いて発見された変換を検証した。量子回路を最適化するために,水晶は,回路に検証された変換を適用するコストベースのバックトラッキング探索を使用する。3つのポピュラーなゲートセットに関する著者らの評価は,石英が種々のゲートセットのための変換を効果的に発生して,検証することができることを示した。生成された変換は,既存の最適化器によって使用される手動設計変換をカバーし,また,新しい変換を含む。したがって,石英は,多様なゲートセットのための広範囲の回路を最適化でき,手調整回路最適化器の性能に優れ,または整合する。【JST・京大機械翻訳】

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

論理回路

, , ,

前のページに戻る