ISAAQ:イジングマシンを活用した量子コンパイラ

• Item type: SIG Technical Reports(1)
• 公開日: 2022-03-17
• タイトル: ISAAQ:イジングマシンを活用した量子コンパイラ
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 東京大学大学院情報理工学系研究科
• 著者所属: 株式会社フィックスターズ／早稲田大学グリーン・コンピューティング・システム研究機構
• 著者所属: 慶應義塾大学理工学部物理情報工学科／早稲田大学グリーン・コンピューティング・システム研究機構
• 著者所属(英): en
• 著者所属(英): Department of Information and Communication Engineering, Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Department of Information and Communication Engineering, Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Fixstars Corporation / Green Computing System Research Organization, Waseda University
• 著者所属(英): en
• 著者所属(英): Department of Applied Physics and Physico-Informatics, Keio University / Green Computing System Research Organization, Waseda University
• 著者名: 内藤, 壮俊; 長谷川, 禎彦; 松田, 佳希; 田中, 宗
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 量子コンパイラは，論理回路として表現された量子プログラムを受け取り，デバイス上で実行可能かつ論理的に等価な回路を合成するソフトウェアである．近年主流となっている NISQ デバイスは，物理的に接続された量子ビット間でしか量子ゲートを作用させられない，操作によって生じたエラーが蓄積するといった特性を有している．そのため NISQ デバイスを対象とする量子コンパイラは，接続関係の制約を満たしながら，回路のコストすなわちゲート操作回数が少なくなるように回路を出力しなければならない．このコンパイル操作において最も重要なタスクは，論理回路中の量子ビットをデバイス上の量子ビットに割り当てるタスクである．これは NP 困難であり，出力回路のコストに大きく影響する問題となっている．私たちの提案する量子コンパイラ「ISAAQ (ISing mAchine Assisted Quantum compiler)」は，出力回路のコストを QUBO モデルとして表現し，イジングマシンを用いた解の探索，およびその解に基づいた回路合成を実行する．ISAAQ は，実行結果に基づいた QUBO モデルの更新，複数イジングマシンによる並列実行，デバイス上の経路を考慮したコスト削減といった，他にはない特徴を多く持っている．IBM QX5 および IBM QX20 を対象とした実験では，ISAAQ は既存の QUBO 手法やその他のアルゴリズムよりも低コストな回路を出力できていることが確認され，本提案手法の有効性が示された．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12894105
• 書誌情報: 量子ソフトウェア（QS）; 巻 2022-QS-5, 号 23, p. 1-9, 発行日 2022-03-17
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2435-6492
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会