Fugu-MT 論文翻訳(概要): A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

論文の概要: A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

arxiv url: http://arxiv.org/abs/2005.08396v2
Date: Sat, 12 Dec 2020 18:31:19 GMT
ステータス: 処理完了
システム内更新日: 2023-05-19 21:18:36.589451
Title: A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Title（参考訳）: 依存型proto-quipperにおける量子回路プログラミング入門
Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Abstract要約: 本稿では,線形依存型を持つ実験量子回路言語Proto-Quipper-Dを提案する。本稿では,依存型が回路のプログラミングファミリを実現する方法と,依存型がガベージキュービットのタイプセーフ非計算の問題を解決する方法を示す。
参考スコア（独自算出の注目度）: 1.5274311118568713
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several examples to illustrate how linear dependent types can help in the construction of correct quantum circuits. Specifically, we show how dependent types enable programming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other language features along the way.
Abstract（参考訳）: 本稿では,線形依存型を持つ実験量子回路言語Proto-Quipper-Dを提案する。線形依存型が正しい量子回路の構築にどのように役立つかを示すいくつかの例を示す。具体的には、依存型が回路のプログラミングファミリを実現する方法と、依存型がガベージキュービットのタイプセーフ非計算の問題を解決する方法を示す。また、他の言語機能についても議論しています。

関連論文リスト

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime [0.0]
Uncomputationは、プログラマが量子情報を失うことなく値を捨てることができる量子プログラミングの機能である。 Rustの型システムを拡張して、Qurtsと呼ばれる自動非計算のための統一的なフレームワークを提供します。
論文参考訳（メタデータ） (2024-11-16T16:34:08Z)
Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version) [1.3597551064547502]
本稿では,線形依存型・実効性を持つ回路記述言語Proto-Quipper-Rを提案する。提案手法は現実的な量子アルゴリズムを検証するのに十分であることを示す。
論文参考訳（メタデータ） (2023-10-29T18:10:31Z)
A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。 2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文参考訳（メタデータ） (2022-06-21T17:56:31Z)
Analysis of arbitrary superconducting quantum circuits accompanied by a Python package: SQcircuit [0.0]
超伝導量子回路は、フォールトトレラント量子コンピュータを実現するための有望なハードウェアプラットフォームである。超伝導量子回路の量子化ハミルトニアンを物理記述から構築する枠組みを開発する。我々は,オープンソースのPythonパッケージであるSQcircuitで記述した手法を実装した。
論文参考訳（メタデータ） (2022-06-16T17:24:51Z)
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
線形光量子回路を推論するグラフィカル言語LOv-calculusを導入する。 2つのLOv-回路が同じ量子過程を表すのは、LOv-計算の規則で一方を他方に変換できる場合に限る。
論文参考訳（メタデータ） (2022-04-25T16:59:26Z)
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version) [0.0]
本稿では,量子回路記述言語Quipperの中核となる特徴をモデル化したパラダイム計算Proto-Quipper-Mの一般化を紹介する。この拡張はProto-Quipper-Kと呼ばれ、非常に一般的なダイナミックリフトを捉えることを目的としている。
論文参考訳（メタデータ） (2022-02-15T18:33:41Z)
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文参考訳（メタデータ） (2022-02-10T18:59:52Z)
The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文参考訳（メタデータ） (2021-09-14T16:08:37Z)
QUANTIFY: A framework for resource analysis and design verification of quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。 Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文参考訳（メタデータ） (2020-07-21T15:36:25Z)
Linear Dependent Type Theory for Quantum Programming Languages [1.7166794984161973]
現代の量子プログラミング言語は、量子資源と古典的な制御を統合している。それらは量子資源の非閉性を反映するために線形型付けされなければならない。高水準および実用的な言語は、第一級市民として量子回路もサポートすべきである。
論文参考訳（メタデータ） (2020-04-28T13:11:06Z)
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文参考訳（メタデータ） (2020-02-21T16:15:58Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。