論文の概要: Certified Quantum Computation in Isabelle/HOL
- arxiv url: http://arxiv.org/abs/2012.13925v1
- Date: Sun, 27 Dec 2020 11:45:49 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-19 04:07:57.458355
- Title: Certified Quantum Computation in Isabelle/HOL
- Title（参考訳）: Isabelle/HOLにおける認証量子計算
- Authors: Anthony Bordg, Hanna Lachnitt, Yijun He
- Abstract要約: 本稿では,Isabelle/HOLを用いた量子アルゴリズムの定式化と量子情報理論の成果について述べる。
我々は、量子回路の行列表現に基づく、イザベルにおける量子コンピューティングのための大規模なライブラリを開発した。
量子ゲーム理論の分野における我々の研究成果について,設計上の選択と報告について論じる。
- 参考スコア（独自算出の注目度）: 1.2730070122798456
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this article we present an ongoing effort to formalise quantum algorithms
and results in quantum information theory using the proof assistant
Isabelle/HOL. Formal methods being critical for the safety and security of
algorithms and protocols, we foresee their widespread use for quantum computing
in the future. We have developed a large library for quantum computing in
Isabelle based on a matrix representation for quantum circuits, successfully
formalising the no-cloning theorem, quantum teleportation, Deutsch's algorithm,
the Deutsch-Jozsa algorithm and the quantum Prisoner's Dilemma. We discuss the
design choices made and report on an outcome of our work in the field of
quantum game theory.
- Abstract（参考訳）: 本稿では,量子アルゴリズムの形式化と,証明アシスタントであるisabelle/holを用いた量子情報理論の結果について述べる。
形式的手法は,アルゴリズムやプロトコルの安全性や安全性に重要であり,将来量子コンピューティングに広く利用されることを予見する。
我々は,量子回路の行列表現に基づくイザベルの量子計算のための大規模ライブラリを開発し,非閉包定理,量子テレポーテーション,deutschのアルゴリズム,deutsch-jozsaアルゴリズム,量子囚人のジレンマを定式化した。
我々は、量子ゲーム理論の分野における我々の研究成果について、その設計選択と報告について論じる。
関連論文リスト
- Parallel Quantum Computing Simulations via Quantum Accelerator Platform Virtualization [44.99833362998488]
本稿では,量子回路実行の並列化モデルを提案する。
このモデルはバックエンドに依存しない機能を利用することができ、任意のターゲットバックエンド上で並列量子回路の実行を可能にする。
論文 参考訳（メタデータ） (2024-06-05T17:16:07Z) - Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳（メタデータ） (2024-02-26T09:32:07Z) - Efficient Quantum Modular Arithmetics for the ISQ Era [0.0]
本研究は, モジュラー演算関数の精度向上を目的とした, 量子回路の配列について述べる。
我々はPennyLane量子ソフトウェアにおける理論的枠組みと実践的実装を提供する。
論文 参考訳（メタデータ） (2023-11-14T21:34:39Z) - Quantum Algorithms for the computation of quantum thermal averages at
work [0.0]
本稿では,いわゆるQuantum-Quantum Metropolisアルゴリズムの実装について考察する。
3つのフラストレーション量子スピンの基本系をシミュレートし、その体系性について議論する。
論文 参考訳（メタデータ） (2023-08-02T17:05:10Z) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳（メタデータ） (2023-01-04T23:37:45Z) - QuantumSkynet: A High-Dimensional Quantum Computing Simulator [0.0]
量子コンピューティングシミュレータの現在の実装は、2段階の量子システムに限られている。
高次元量子コンピューティングシステムの最近の進歩は、多層重ね合わせと絡み合いで動くことの可能性を実証している。
我々は,新しい高次元クラウドベースの量子コンピューティングシミュレータQuantumSkynetを紹介する。
論文 参考訳（メタデータ） (2021-06-30T06:28:18Z) - On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。
私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文 参考訳（メタデータ） (2021-06-29T14:01:40Z) - Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。
提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文 参考訳（メタデータ） (2020-12-28T18:04:16Z) - Proving Quantum Programs Correct [3.2513560268591735]
グローバーのアルゴリズムや量子位相推定を含む様々な量子アルゴリズムの正確性を検証する。
量子コンテキストにおける形式的検証の成功と課題の両方を強調することを目的としている。
論文 参考訳（メタデータ） (2020-10-03T00:55:41Z) - An Application of Quantum Annealing Computing to Seismic Inversion [55.41644538483948]
小型地震インバージョン問題を解決するために,D波量子アニールに量子アルゴリズムを適用した。
量子コンピュータによって達成される精度は、少なくとも古典的コンピュータと同程度である。
論文 参考訳（メタデータ） (2020-05-06T14:18:44Z) - Quantum simulation of quantum field theories as quantum chemistry [9.208624182273288]
コンフォーマル・トランケーション(英: Conformal truncation)は、一般的な強結合量子場理論を解くための強力な数値法である。
量子計算は格子近似の基本的な物理を理解するのに役立つだけでなく、直接量子場理論の手法をシミュレートすることも示している。
論文 参考訳（メタデータ） (2020-04-28T01:20:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。