論文の概要: High-level quantum structured programs as quantum registers compositions
- arxiv url: http://arxiv.org/abs/2608.03873v1
- Date: Tue, 04 Aug 2026 16:13:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-05 15:30:23.277693
- Title: High-level quantum structured programs as quantum registers compositions
- Title（参考訳）: 量子レジスタ組成としての高レベル量子構造化プログラム
- Abstract要約: 現在の量子プログラムは、主に個々の量子ビットに作用する量子ゲートのレベルに設計されている。
この研究は、高レベルな量子構造化プログラミングを実現するための方法論的原則の確立に寄与する。
- 参考スコア（独自算出の注目度）: 0.16992697670497803
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Current quantum programs are mainly designed at the level of quantum gates acting on individual qubits; on a large scale and for complex problems this may involve a high cognitive load on the programmer, making the program specification nontrivial and error-prone. In this context, providing quantum programming with higher abstraction mechanisms will assist in making this task more manageable and robust against design errors. In this work, a conceptual framework is addressed following the notion of the whole quantum computation as a structure composed of quantum registers representing each an undivided entity. Thus, computation progresses through semantically well-defined transformations that act on, or entangle, quantum registers, thereby modifying the global state. Ultimately, the program reaches the desired state by following a specific composition strategy. With this in mind, high-level syntax is presented through an algebraic formalism that bridges them with their low-level semantics. Proposed syntax is based on certain well-know operations used on quantum algorithms that apply phase shifts upon logical condition satisfaction or leverage on parallel evaluation. Based solely on the formalized operations, a quantum satisfiability modulo theories (SMT) solver can be designed. At its core, this work contributes to establishing some methodological principles towards realizing a high-level quantum structured programming.
- Abstract（参考訳）: 現在の量子プログラムは、主に個々の量子ビットに作用する量子ゲートのレベルに設計されており、大規模かつ複雑な問題に対して、プログラマに高い認知的負荷がかかる可能性があるため、プログラム仕様は非自明でエラーを起こしやすい。
この文脈では、より高い抽象化機構を備えた量子プログラミングを提供することで、このタスクをより管理しやすく、設計エラーに対して堅牢にすることができる。
この研究では、量子計算全体の概念に従って、各未分割実体を表す量子レジスタから構成される構造として、概念的枠組みに対処する。
したがって、計算は意味論的に明確に定義された変換によって進行し、量子レジスタに作用し、あるいは絡み合う。
最終的に、プログラムは特定の構成戦略に従うことによって、望ましい状態に達する。
このことを念頭に置いて、高レベルの構文は、それらの低レベルの意味論でそれらをブリッジする代数的な形式主義を通して提示される。
提案された構文は、論理条件の満足度に位相シフトを適用したり、並列評価に活用する量子アルゴリズムで使われる特定の知識演算に基づいている。
形式化された演算のみに基づいて、量子満足度変調理論(SMT)を設計することができる。
この研究は、高レベルな量子構造化プログラミングを実現するための方法論的原則の確立に寄与する。
関連論文リスト
- Strategic Plan for Neutral Atom Quantum Computation [84.56908019536233]
我々は中性原子量子計算の戦略的計画を提案し、ハードウェア開発と理論の進歩をもたらした。
実用的な量子優位性の概念は、利点の主張を検証する方法や、実用的な利点をもたらす量子アルゴリズムを設計するためのアプローチとともに定義される。
論文 参考訳（メタデータ） (2026-07-23T17:36:19Z) - Artificial intelligence for representing and characterizing quantum systems [49.29080693498154]
大規模量子システムの効率的なキャラクタリゼーションは、量子科学における中心的な課題である。
人工知能(AI)の最近の進歩は、この課題に対処するための強力なツールとして現れている。
本稿では、これらのAIパラダイムが量子システム評価における2つのコアタスクにどのように貢献するかを論じる。
論文 参考訳（メタデータ） (2025-09-05T08:41:24Z) - Design and synthesis of scalable quantum programs [0.8007726207322294]
任意のサイズと複雑さの量子プログラムを作成するためのスケーラブルで堅牢なアプローチを提案する。
量子プログラムは、最終プログラム上の制約と目的とともに、ハイレベルモデルの観点から表現される。
この技術は電子設計の自動化手法を量子コンピューティングに適用し、事実上無限の機能空間で実現可能な実装を見つける。
論文 参考訳（メタデータ） (2024-12-10T10:12:03Z) - QCircuitBench: A Large-Scale Dataset for Benchmarking Quantum Algorithm Design [63.02824918725805]
量子コンピューティングは、量子アルゴリズムによる古典的コンピューティングよりも大幅にスピードアップされていることが認識されている。
QCircuitBenchは、量子アルゴリズムの設計と実装におけるAIの能力を評価するために設計された最初のベンチマークデータセットである。
論文 参考訳（メタデータ） (2024-10-10T14:24:30Z) - Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects [59.07692103357675]
本調査では,アルゴリズムレベルから量子ハードウェアにまたがる,統合設計および最適化スキームの実現可能性について検討する。
手動設計のコストを削減し、実行の精度と効率を高め、ハードウェア上での量子アルゴリズムの優位性の実装と検証を容易にする。
論文 参考訳（メタデータ） (2024-06-30T15:50:10Z) - Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers [0.52197339162908]
ハイレベルプログラミングパラダイムと量子ハードウェアのギャップを埋めるために設計されたフレームワークであるQrispを紹介する。
Qrispの特長は、プログラムを回路レベルにコンパイルし、既存の物理バックエンドで実行可能にすることである。
論文 参考訳（メタデータ） (2024-06-20T23:40:22Z) - Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design [3.8425905067219492]
本稿では,量子回路のアンサーゼを分類したカタログを提案する。
各アンザッツは、意図、モチベーション、適用性、回路図、実装、例などの詳細とともに記述される。
量子アルゴリズム設計におけるそれらの応用を説明するための実例が提供されている。
論文 参考訳（メタデータ） (2024-05-08T12:44:37Z) - 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 [88.57261102552016]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳（メタデータ） (2023-10-04T17:53:55Z) - Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。
3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。
私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文 参考訳（メタデータ） (2022-11-14T18:50:27Z) - Modularized and scalable compilation for quantum program in double
quantum dots [0.0]
我々は、Ansatz回路をトレーニングし、半導体二重量子ドットにおける一重項量子ビットに対する一連の普遍量子ゲートの高忠実度コンパイルを実現する。
我々の研究は、先進的で複雑な量子アルゴリズムのために、この物理資源の可能性を活用するための重要な足掛かりとなっている。
論文 参考訳（メタデータ） (2022-11-10T02:32:39Z) - No-signalling constrains quantum computation with indefinite causal
structure [45.279573215172285]
我々は、不定因果構造を持つ量子計算の定式化を開発する。
我々は高階量子マップの計算構造を特徴付ける。
計算的および情報理論的な性質を持つこれらの規則は、量子システム間のシグナル伝達関係のより物理的概念によって決定される。
論文 参考訳（メタデータ） (2022-02-21T13:43:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。