論文の概要: Refinement orders for quantum programs
- arxiv url: http://arxiv.org/abs/2504.14158v1
- Date: Sat, 19 Apr 2025 03:09:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-04-30 04:37:28.85131
- Title: Refinement orders for quantum programs
- Title（参考訳）: 量子プログラムの精製順序
- Authors: Yuan Feng, Li Zhou,
- Abstract要約: リファインメント(Refinement)は、コンピュータプログラムの検証と開発に使用される重要な技術である。
異なる順序は、決定論的および非決定論的プログラムと同様に、部分的および全体的正しさに関して定義することができる。
本稿では、量子プログラムの異なる洗練順序を徹底的に検討し、それらの関係について検討する。
- 参考スコア（独自算出の注目度）: 4.6914963480854155
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Refinement is an influential technique used in the verification and development of computer programs. It provides a systematic and rigorous approach to software development through stepwise refinement, where a high-level abstract specification is progressively transformed into an implementation that meets the desired requirements. Central to this technique is the notion of a refinement order, which ensures that each refinement step preserves program correctness. Different orders can be defined with respect to partial and total correctness, as well as for deterministic and nondeterministic programs. In the realm of quantum programs, the theory becomes even more intricate due to the existence of various quantum state predicates, leading to different notions of specifications. This paper thoroughly explores different refinement orders for quantum programs and examines the relationships between them.
- Abstract（参考訳）: リファインメント(Refinement)は、コンピュータプログラムの検証と開発に使用される重要な技術である。
段階的な洗練を通じて、ソフトウェア開発に対して体系的で厳格なアプローチを提供し、そこでは、高いレベルの抽象仕様が、徐々に、望ましい要件を満たす実装に変換されます。
この技術の中心は精錬順序の概念であり、各精錬工程がプログラムの正しさを保つことを保証する。
異なる順序は、決定論的および非決定論的プログラムと同様に、部分的および全体的正しさに関して定義することができる。
量子プログラムの領域では、様々な量子状態述語が存在するため、この理論はさらに複雑になり、異なる仕様の概念が導かれる。
本稿では、量子プログラムの異なる洗練順序を徹底的に検討し、それらの関係について検討する。
関連論文リスト
- Design and synthesis of scalable quantum programs [0.8007726207322294]
任意のサイズと複雑さの量子プログラムを作成するためのスケーラブルで堅牢なアプローチを提案する。
量子プログラムは、最終プログラム上の制約と目的とともに、ハイレベルモデルの観点から表現される。
この技術は電子設計の自動化手法を量子コンピューティングに適用し、事実上無限の機能空間で実現可能な実装を見つける。
論文 参考訳（メタデータ） (2024-12-10T10:12:03Z) - An Abstraction Hierarchy Toward Productive Quantum Programming [0.3640881838485995]
本稿では,量子ソフトウェア工学を支援する抽象階層を提案する。
現在の技術で見られるプログラミング、実行、ハードウェアモデル間の重複の結果について論じる。
私たちの研究は、量子プログラミングにおける具体的な概念上の課題とギャップを指していますが、第一のテーマは、進化は抽象的階層についての考え方に直感的に焦点を当てることです。
論文 参考訳（メタデータ） (2024-05-22T18:48:36Z) - Refinement calculus of quantum programs with projective assertions [5.151896714190243]
本稿では,量子プログラムに適した微積分法を提案する。
まず、量子内における非決定論的プログラムの部分的正当性について検討する。
また,ポストコンディションを最も弱いリベラルなポストコンディションに変換する際のセマンティクスも提示する。
論文 参考訳（メタデータ） (2023-11-23T22:12:57Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳（メタデータ） (2023-10-04T17:53:55Z) - Near-Term Distributed Quantum Computation using Mean-Field Corrections
and Auxiliary Qubits [77.04894470683776]
本稿では,限られた情報伝達と保守的絡み合い生成を含む短期分散量子コンピューティングを提案する。
我々はこれらの概念に基づいて、変分量子アルゴリズムの断片化事前学習のための近似回路切断手法を作成する。
論文 参考訳（メタデータ） (2023-09-11T18:00:00Z) - QbC: Quantum Correctness by Construction [4.572433350229651]
提案するQuantum Correctness by Construction (QbC) は,その仕様から量子プログラムを構築するための手法である。
プリコンディションとポストコンディションを使用してプログラム特性を規定し、その仕様から量子状態におけるプログラム構築のための音質および完全改善ルールを提案する。
このアプローチは、プログラムの詳細を導出する方法を自然に提案し、その過程で重要な設計上の選択を強調します。
論文 参考訳（メタデータ） (2023-07-28T16:00:57Z) - Verification of Nondeterministic Quantum Programs [1.9302781323430196]
非決定論的選択は、実装の詳細を指定せずにプログラムの振る舞いを記述する方法を提供する有用なプログラム構成である。
非決定性は量子プログラミングにも導入され、非決定性量子プログラムの終了は広く分析されてきた。
論文 参考訳（メタデータ） (2023-02-15T22:37:23Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。
3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。
私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文 参考訳（メタデータ） (2022-11-14T18:50:27Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳（メタデータ） (2021-12-27T21:15:35Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳（メタデータ） (2021-08-03T17:49:09Z) - Detailed Account of Complexity for Implementation of Some Gate-Based
Quantum Algorithms [55.41644538483948]
特に、状態準備および読み出しプロセスのような実装のいくつかのステップは、アルゴリズム自体の複雑さの側面を超越することができる。
本稿では、方程式の線形系と微分方程式の線形系を解くための量子アルゴリズムの完全な実装に関わる複雑性について述べる。
論文 参考訳（メタデータ） (2021-06-23T16:33:33Z) - On the Principles of Differentiable Quantum Programming Languages [13.070557640180004]
変分量子回路(VQC)は、最も重要な短期量子応用の1つであると予測されている。
本稿では,量子回路における自己微分法の最初の形式化を提案する。
論文 参考訳（メタデータ） (2020-04-02T16:46:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。