論文の概要: Design and synthesis of scalable quantum programs
- arxiv url: http://arxiv.org/abs/2412.07372v2
- Date: Wed, 22 Jan 2025 21:49:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-01-24 15:56:17.567379
- Title: Design and synthesis of scalable quantum programs
- Title（参考訳）: スケーラブル量子プログラムの設計と合成
- Authors: Tomer Goldfriend, Israel Reichental, Amir Naveh, Lior Gazit, Nadav Yoran, Ravid Alon, Shmuel Ur, Shahak Lahav, Eyal Cornfeld, Avi Elazari, Peleg Emanuel, Dor Harpaz, Tal Michaeli, Nati Erez, Lior Preminger, Roman Shapira, Erik Michael Garcell, Or Samimi, Sara Kisch, Gil Hallel, Gilad Kishony, Vincent van Wingerden, Nathaniel A. Rosenbloom, Ori Opher, Matan Vax, Ariel Smoler, Tamuz Danzig, Eden Schirman, Guy Sella, Ron Cohen, Roi Garfunkel, Tali Cohn, Hanan Rosemarin, Ron Hass, Klem Jankiewicz, Karam Gharra, Ori Roth, Barak Azar, Shahaf Asban, Natalia Linkov, Dror Segman, Ohad Sahar, Niv Davidson, Nir Minerbi, Yehuda Naveh,
- Abstract要約: 任意のサイズと複雑さの量子プログラムを作成するためのスケーラブルで堅牢なアプローチを提案する。
量子プログラムは、最終プログラム上の制約と目的とともに、ハイレベルモデルの観点から表現される。
この技術は電子設計の自動化手法を量子コンピューティングに適用し、事実上無限の機能空間で実現可能な実装を見つける。
- 参考スコア（独自算出の注目度）: 0.8007726207322294
- License:
- Abstract: We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity. The approach is based on the true abstraction of the problem. The quantum program is expressed in terms of a high-level model together with constraints and objectives on the final program. Advanced synthesis algorithms transform the model into a low-level quantum program that meets the user's specification and is directed at a stipulated hardware. This separation of description from implementation is essential for scale. The technology adapts electronic design automation methods to quantum computing, finding feasible implementations in a virtually unlimited functional space. The results show clear superiority over the compilation and transpilation methods used today. We expect that this technological approach will take over and prevail as quantum software become more demanding, complex, and essential.
- Abstract（参考訳）: 任意のサイズと複雑さの量子プログラムを作成するためのスケーラブルで堅牢なアプローチを提案する。
このアプローチは問題の真の抽象化に基づいている。
量子プログラムは、最終プログラム上の制約と目的とともに、ハイレベルモデルの観点から表現される。
高度な合成アルゴリズムは、モデルをユーザの仕様を満たす低レベルの量子プログラムに変換し、規定されたハードウェアに向ける。
この実装と説明の分離は、スケールに不可欠である。
この技術は電子設計の自動化手法を量子コンピューティングに適用し、事実上無限の機能空間で実現可能な実装を見つける。
この結果は、現在使用されている編纂法やトランスパイル法よりも明らかに優れていることを示している。
量子ソフトウェアがより要求され、複雑で、必要不可欠なものになるにつれて、この技術的アプローチが引き継がれ、普及することを期待しています。
関連論文リスト
- Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects [0.0]
本稿では,論理回路設計とコンパイル最適化のステップを組み合わせて,アルゴリズムレベルから量子ハードウェアにまたがる統合設計と最適化スキームの実現可能性について検討する。
AIアルゴリズムの異常な認知と学習能力を活用することで、手作業による設計コストを削減し、実行の精度と効率を高め、ハードウェア上での量子アルゴリズムの優位性の実装と検証を容易にする。
論文 参考訳（メタデータ） (2024-06-30T15:50:10Z) - An Abstraction Hierarchy Toward Productive Quantum Programming [0.3640881838485995]
本稿では,量子ソフトウェア工学を支援する抽象階層を提案する。
現在の技術で見られるプログラミング、実行、ハードウェアモデル間の重複の結果について論じる。
私たちの研究は、量子プログラミングにおける具体的な概念上の課題とギャップを指していますが、第一のテーマは、進化は抽象的階層についての考え方に直感的に焦点を当てることです。
論文 参考訳（メタデータ） (2024-05-22T18:48:36Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳（メタデータ） (2023-10-04T17:53:55Z) - Near-Term Distributed Quantum Computation using Mean-Field Corrections
and Auxiliary Qubits [77.04894470683776]
本稿では,限られた情報伝達と保守的絡み合い生成を含む短期分散量子コンピューティングを提案する。
我々はこれらの概念に基づいて、変分量子アルゴリズムの断片化事前学習のための近似回路切断手法を作成する。
論文 参考訳（メタデータ） (2023-09-11T18:00:00Z) - Demonstration of a Hardware-Independent Toolkit for Automated Quantum
Subcircuit Synthesis [2.828466685313335]
本稿では、合成、コンパイル、最適化のための自動量子ソフトウェアツールキットについて述べる。
古典的に特定され、不可逆な関数を、技術に依存しない量子回路と技術に依存した量子回路に変換する。
我々は、量子読み取り専用メモリ、量子乱数生成器、量子オラクルの3つの状況におけるツールキットの応用について記述し、分析する。
論文 参考訳（メタデータ） (2023-09-02T21:46:38Z) - Symbolic quantum programming for supporting applications of quantum
computing technologies [0.0]
本稿の主な焦点は、ツール開発による最も直接的なメリットを享受できる量子コンピューティング技術である。
量子ソフトウェア開発の分野で最も人気のあるアプローチについて、簡単な調査を行い、その長所と短所を示すことを目指しています。
次に、シンボリックアプローチを用いた量子プログラムの開発を支援するソフトウェアアーキテクチャとその予備実装について述べる。
論文 参考訳（メタデータ） (2023-02-18T18:30:00Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。
完全に自動化された量子ソフトウェアスタックを開発する必要がある。
この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
論文 参考訳（メタデータ） (2023-01-10T19:00:00Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。
3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。
私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文 参考訳（メタデータ） (2022-11-14T18:50:27Z) - Modularized and scalable compilation for quantum program in double
quantum dots [0.0]
我々は、Ansatz回路をトレーニングし、半導体二重量子ドットにおける一重項量子ビットに対する一連の普遍量子ゲートの高忠実度コンパイルを実現する。
我々の研究は、先進的で複雑な量子アルゴリズムのために、この物理資源の可能性を活用するための重要な足掛かりとなっている。
論文 参考訳（メタデータ） (2022-11-10T02:32:39Z) - Standard Model Physics and the Digital Quantum Revolution: Thoughts
about the Interface [68.8204255655161]
量子システムの分離・制御・絡み合いの進歩は、かつての量子力学の興味深い特徴を、破壊的な科学的・技術的進歩のための乗り物へと変えつつある。
本稿では,3つの領域科学理論家の視点から,絡み合い,複雑性,量子シミュレーションのインターフェースについて考察する。
論文 参考訳（メタデータ） (2021-07-10T06:12:06Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳（メタデータ） (2020-09-02T22:46:47Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。