Fugu-MT 論文翻訳(概要): Quantum Hoare Type Theory

論文の概要: Quantum Hoare Type Theory

arxiv url: http://arxiv.org/abs/2012.02154v2
Date: Mon, 15 Nov 2021 17:57:45 GMT
ステータス: 処理完了
システム内更新日: 2023-04-22 05:17:44.594068
Title: Quantum Hoare Type Theory
Title（参考訳）: 量子ホーア型理論
Authors: Kartik Singhal
Abstract要約: 量子ホア型理論(Quantum Hoare Type Theory, QHTT)は、古典計算におけるホア型理論に触発された理論である。 QHTTは、量子状態の変更に関する正確な仕様を提供する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. Inspired by Hoare Type Theory in classical computing, we propose Quantum Hoare Type Theory (QHTT), in which precise specifications about the modification to the quantum state can be provided within the type of computation. These specifications within a Hoare type are given in the form of Hoare-logic style pre- and postconditions following the propositions-as-types principle. The type-checking process verifies that the implementation conforms to the provided specification. QHTT has the potential to be a unified system for programming, specifying, and reasoning about quantum programs.
Abstract（参考訳）: 量子コンピュータが現実になるにつれて、プログラマが正しい量子プログラムを書くのに役立つ効果的なテクニックが思い浮かびます。古典計算におけるホーア型理論に触発されて,量子ホーア型理論 (qhtt) を提案する。ホア型内のこれらの仕様は、命題・アズ・タイプの原則に従ってホア論理スタイルの前条件とポスト条件の形で与えられる。型チェックプロセスは、実装が提供された仕様に準拠していることを検証する。 QHTTは、量子プログラムのプログラミング、特定、推論のための統一されたシステムになる可能性がある。

関連論文リスト

Formal verification of higher dimensional quantum protocols [0.0]
クイディットを用いた高次元量子プロトコルを検証するために,CQPにおける振る舞い等価性理論を拡張した予備的な結果を示す。本稿では,CQPにおける振る舞い等価性理論を拡張して,高次元量子プロトコルを立証するための予備的な結果を示す。
論文参考訳（メタデータ） (2024-09-26T15:53:14Z)
Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文参考訳（メタデータ） (2024-08-22T08:21:28Z)
QbC: Quantum Correctness by Construction [4.572433350229651]
提案するQuantum Correctness by Construction (QbC) は,その仕様から量子プログラムを構築するための手法である。プリコンディションとポストコンディションを使用してプログラム特性を規定し、その仕様から量子状態におけるプログラム構築のための音質および完全改善ルールを提案する。このアプローチは、プログラムの詳細を導出する方法を自然に提案し、その過程で重要な設計上の選択を強調します。
論文参考訳（メタデータ） (2023-07-28T16:00:57Z)
TeD-Q: a tensor network enhanced distributed hybrid quantum machine learning framework [59.07246314484875]
TeD-Qは、量子機械学習のためのオープンソースのソフトウェアフレームワークである。古典的な機械学習ライブラリと量子シミュレータをシームレスに統合する。量子回路とトレーニングの進捗をリアルタイムで視覚化できるグラフィカルモードを提供する。
論文参考訳（メタデータ） (2023-01-13T09:35:05Z)
Qafny: A Quantum-Program Verifier [39.47005122712576]
本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。 Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
論文参考訳（メタデータ） (2022-11-11T18:50:52Z)
Quantum Neuron with Separable-State Encoding [0.0]
現在利用可能な量子プロセッサにおいて、高度な量子ニューロンモデルを大規模にテストすることは、まだ不可能である。マルチキュービットゲート数を削減した量子パーセプトロン(QP)モデルを提案する。シミュレーション量子コンピュータにおいて,QPの量子ビットバージョンをいくつか実装することにより,提案モデルの性能を実証する。
論文参考訳（メタデータ） (2022-02-16T19:26:23Z)
Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文参考訳（メタデータ） (2021-12-27T21:15:35Z)
Quantum Hoare Type Theory: Extended Abstract [0.0]
量子コンピューティングでは、フォーマルな検証と音質の静的型システムによって、いくつかのバグが導入されるのを防ぐ。プログラム仕様として機能する事前条件と後条件をインデックス化してQuantum IO Monadを拡張することで、Quantum Hoare Typesを提案する。 QHTTは、量子プログラムのプログラミング、特定、推論のための統一されたシステムになる可能性を持っている。
論文参考訳（メタデータ） (2021-09-06T01:02:20Z)
The Hintons in your Neural Network: a Quantum Field Theory View of Deep Learning [84.33745072274942]
線形および非線形の層をユニタリ量子ゲートとして表現する方法を示し、量子モデルの基本的な励起を粒子として解釈する。ニューラルネットワークの研究のための新しい視点と技術を開くことに加えて、量子定式化は光量子コンピューティングに適している。
論文参考訳（メタデータ） (2021-03-08T17:24:29Z)
Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文参考訳（メタデータ） (2021-02-09T13:48:00Z)

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