論文の概要: The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
- arxiv url: http://arxiv.org/abs/2405.17543v1
- Date: Mon, 27 May 2024 18:00:00 GMT
- ステータス: 処理完了
- システム内更新日: 2024-05-29 23:40:54.858966
- Title: The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
- Title(参考訳): MQTハンドブック: 量子コンピューティングのための設計自動化ツールとソフトウェアの概要
- Authors: Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, Lukas Burgholzer,
- Abstract要約: Munich Quantum Toolkit (MQT) は、ミュンヘン工科大学のChair for Design Automationによって開発された、量子コンピューティングのためのソフトウェアツールの集合体である。
- 参考スコア(独自算出の注目度): 3.274875498478248
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization) and with a long-term perspective (e.g., for cryptography or unstructured search) are currently being investigated. However, designing and realizing potential applications for these devices in a scalable fashion requires automated, efficient, and user-friendly software tools that cater to the needs of end users, engineers, and physicists at every level of the entire quantum software stack. Many of the problems to be tackled in that regard are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. The Munich Quantum Toolkit (MQT) is a collection of software tools for quantum computing developed by the Chair for Design Automation at the Technical University of Munich which explicitly utilizes this design automation expertise. Our overarching objective is to provide solutions for design tasks across the entire quantum software stack. This entails high-level support for end users in realizing their applications, efficient methods for the classical simulation, compilation, and verification of quantum circuits, tools for quantum error correction, support for physical design, and more. These methods are supported by corresponding data structures (such as decision diagrams) and core methods (such as SAT encodings/solvers). All of the developed tools are available as open-source implementations and are hosted on https://github.com/cda-tum.
- Abstract(参考訳): 量子コンピュータは、金融、化学、機械学習、最適化など、短期的な視点(例えば、暗号や非構造化検索)と長期的な視点(例えば、暗号や非構造化検索)を持つ、現実的かつ多数の量子コンピューティングアプリケーションになりつつある。
しかし、これらのデバイスの潜在的なアプリケーションをスケーラブルな方法で設計し、実現するには、量子ソフトウェアスタック全体のすべてのレベルにおいて、エンドユーザー、エンジニア、物理学者のニーズを満たす自動化され、効率的で、ユーザフレンドリなソフトウェアツールが必要である。
この点に対処すべき課題の多くは、過去数十年で洗練された設計自動化ツールが開発された古典的な領域の設計問題に類似している。
Munich Quantum Toolkit (MQT) は、ミュンヘン工科大学のChair for Design Automationによって開発された、量子コンピューティングのためのソフトウェアツールの集合体であり、この設計自動化の専門知識を明示的に活用している。
我々の包括的な目標は、量子ソフトウェアスタック全体にわたる設計タスクのためのソリューションを提供することです。
これには、アプリケーションの実現におけるエンドユーザの高レベルサポート、古典的なシミュレーションのための効率的な方法、コンパイル、量子回路の検証、量子エラー修正ツール、物理設計のサポートなどが含まれる。
これらのメソッドは、対応するデータ構造(決定図など)とコアメソッド(SATエンコーディングや解決器など)によってサポートされます。
開発ツールはすべてオープンソース実装として利用可能であり、https://github.com/cda-tum.comにホストされている。
関連論文リスト
- Q-COSMIC: Quantum Software Metrics Based on COSMIC (ISO/IEC19761) [0.0]
量子ソフトウェア工学(QSE)は、量子技術の情報処理の側面に焦点を当てている。
Q-COSMICは、量子ソフトウェアの機能的サイズを測定する技術である。
論文 参考訳(メタデータ) (2024-02-13T15:02:33Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳(メタデータ) (2023-10-04T17:53:55Z) - The QUATRO Application Suite: Quantum Computing for Models of Human
Cognition [49.038807589598285]
量子コンピューティング研究のための新しい種類のアプリケーション -- 計算認知モデリング -- をアンロックします。
我々は、認知モデルから量子コンピューティングアプリケーションのコレクションであるQUATROをリリースする。
論文 参考訳(メタデータ) (2023-09-01T17:34:53Z) - 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) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳(メタデータ) (2023-01-04T23:37:45Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。
3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。
私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文 参考訳(メタデータ) (2022-11-14T18:50:27Z) - Towards an Automated Framework for Realizing Quantum Computing Solutions [3.610459670994051]
我々は、ユーザーが量子コンピューティングソリューションを自動で利用できるようにするフレームワークを構想する。
GitHubで公開されている2つの異なるクラスの問題に対する概念実証実装を提供する。
論文 参考訳(メタデータ) (2022-10-26T18:00:01Z) - Tools for Quantum Computing Based on Decision Diagrams [4.126108081031457]
我々は、ヨハネス・ケプラー大学(JKU)リンツで開発され、MITライセンス下でリリースされた量子コンピューティングのための一連のツールを提示する。
まず、量子回路のシミュレーションや検証などにおいて、決定図をどのように利用できるかという概念を概観する。
次に、量子決定図の可視化ツールを提案し、ユーザが設計タスクにおける決定図の振る舞いを探索できるようにします。
論文 参考訳(メタデータ) (2021-08-16T11:42:44Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳(メタデータ) (2020-09-02T22:46:47Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。