論文の概要: Qunity: A Unified Language for Quantum and Classical Computing (Extended
Version)
- arxiv url: http://arxiv.org/abs/2204.12384v3
- Date: Tue, 15 Nov 2022 02:44:37 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-15 11:54:31.146007
- Title: Qunity: A Unified Language for Quantum and Classical Computing (Extended
Version)
- Title(参考訳): Qunity: 量子コンピューティングと古典コンピューティングのための統一言語(拡張バージョン)
- Authors: Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
- Abstract要約: 量子プログラミング言語Quinityを紹介します。
Qunityは量子コンピューティングを古典コンピューティングの自然な一般化として扱う。
我々はQunityがいくつかの量子アルゴリズムをきれいに表現する方法を示す。
- 参考スコア(独自算出の注目度): 3.5348690973777006
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce Qunity, a new quantum programming language designed to treat
quantum computing as a natural generalization of classical computing. Qunity
presents a unified syntax where familiar programming constructs can have both
quantum and classical effects. For example, one can use sum types to implement
the direct sum of linear operators, exception-handling syntax to implement
projective measurements, and aliasing to induce entanglement. Further, Qunity
takes advantage of the overlooked BQP subroutine theorem, allowing one to
construct reversible subroutines from irreversible quantum algorithms through
the uncomputation of "garbage" outputs. Unlike existing languages that enable
quantum aspects with separate add-ons (like a classical language with quantum
gates bolted on), Qunity provides a unified syntax and a novel denotational
semantics that guarantees that programs are quantum mechanically valid. We
present Qunity's syntax, type system, and denotational semantics, showing how
it can cleanly express several quantum algorithms. We also detail how Qunity
can be compiled into a low-level qubit circuit language like OpenQASM, proving
the realizability of our design.
- Abstract(参考訳): 量子コンピューティングを古典コンピューティングの自然な一般化として扱うために設計された新しい量子プログラミング言語qunityを紹介する。
Qunityは、よく知られたプログラミング構造が量子効果と古典効果の両方を持つような統一構文を示す。
例えば、線形演算子の直接和を実装するためにsum型、射影測定を実装するために例外処理構文、絡み合いを誘発するためにエイリアシングを使うことができる。
さらに、qunity は見落とされた bqp subroutine 定理を活用し、"garbage" 出力の非計算を通じて可逆量子アルゴリズムから可逆サブルーチンを構築することができる。
量子ゲートを持つ古典言語のような)別々のアドオンで量子アスペクトを可能にする既存の言語とは異なり、qunityは統一構文と、プログラムが量子力学的に有効なことを保証する新しい記述意味論を提供する。
qunityの構文、型システム、表記意味論を紹介し、いくつかの量子アルゴリズムをクリーンに表現する方法を示す。
また、qunityがopenqasmのような低レベルの量子ビット回路言語にどのようにコンパイルできるかを詳しく説明します。
関連論文リスト
- Quantum Algorithms for Compositional Text Processing [1.3654846342364308]
本稿では、最近提案された自然言語用DisCoCircフレームワークに注目し、量子適応QDisCoCircを提案する。
これはAI解釈可能なレンダリングに対する構成的アプローチによって動機付けられている。
テキスト類似性のモデルネイティブな原始演算に対しては、フォールトトレラントな量子コンピュータのための量子アルゴリズムを導出する。
論文 参考訳(メタデータ) (2024-08-12T11:21:40Z) - Qwerty: A Basis-Oriented Quantum Programming Language [0.4999814847776098]
Qwertyは、プログラマがゲートよりもより表現力のある量子ビットを操作できる新しい量子プログラミング言語である。
Qwertyは高レベルの量子古典計算のための強力なフレームワークである。
論文 参考訳(メタデータ) (2024-04-19T03:13:43Z) - TeD-Q: a tensor network enhanced distributed hybrid quantum machine
learning framework [59.07246314484875]
TeD-Qは、量子機械学習のためのオープンソースのソフトウェアフレームワークである。
古典的な機械学習ライブラリと量子シミュレータをシームレスに統合する。
量子回路とトレーニングの進捗をリアルタイムで視覚化できるグラフィカルモードを提供する。
論文 参考訳(メタデータ) (2023-01-13T09:35:05Z) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳(メタデータ) (2023-01-04T23:37:45Z) - Recent Advances for Quantum Neural Networks in Generative Learning [98.88205308106778]
量子生成学習モデル(QGLM)は、古典的な学習モデルを上回る可能性がある。
機械学習の観点からQGLMの現状を概観する。
従来の機械学習タスクと量子物理学の両方におけるQGLMの潜在的な応用について論じる。
論文 参考訳(メタデータ) (2022-06-07T07:32:57Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳(メタデータ) (2021-10-04T12:20:23Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Foundations for Near-Term Quantum Natural Language Processing [0.17205106391379021]
量子自然言語処理(QNLP)の概念と数学的基礎を提供する。
自然言語の量子モデルがどのように言語的意味と豊かな言語構造を正準的に組み合わせているかを思い出す。
実証的エビデンスと数学一般性に関する正式な記述を支援するための参照を提供します。
論文 参考訳(メタデータ) (2020-12-07T14:49:33Z) - Compiling quantamorphisms for the IBM Q Experience [0.0]
本稿では,古典的プログラム代数の法則を量子プログラミングに拡張するために貢献する。
IBM Q Experienceで利用可能な量子デバイスにデプロイされるように、正しく構成された量子回路を構築することを目的としている。
論文 参考訳(メタデータ) (2020-10-21T13:32:24Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-08T12:49:07Z) - On the Principles of Differentiable Quantum Programming Languages [13.070557640180004]
変分量子回路(VQC)は、最も重要な短期量子応用の1つであると予測されている。
本稿では,量子回路における自己微分法の最初の形式化を提案する。
論文 参考訳(メタデータ) (2020-04-02T16:46:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。