論文の概要: Quantum Petri Nets with Event Structures semantics
- arxiv url: http://arxiv.org/abs/2508.14531v1
- Date: Wed, 20 Aug 2025 08:39:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-21 16:52:41.394739
- Title: Quantum Petri Nets with Event Structures semantics
- Title（参考訳）: イベント構造セマンティクスを用いた量子ペトリネット
- Authors: Julien Saan Joachim, Marc de Visme, Stefan Haar,
- Abstract要約: 既存の 'quantum Petri nets' には、厳密な並行性と健全な量子意味論、分析ツール、展開理論が欠如している。
本稿では、Clayramba、De Visme、Winskelの量子イベント構造セマンティクスと互換性のある量子バリュエーションを備えた量子ペトリネットであるQuantum Petri Nets (QPNs)を紹介する。
これは、量子論、ブリッジングネット理論、量子プログラミングのセマンティックな基礎モデルを確立する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Classical Petri nets provide a canonical model of concurrency, with unfolding semantics linking nets, occurrence nets, and event structures. No comparable framework exists for quantum concurrency: existing ''quantum Petri nets'' lack rigorous concurrent and sound quantum semantics, analysis tools, and unfolding theory. We introduce Quantum Petri Nets (QPNs), Petri nets equipped with a quantum valuation compatible with the quantum event structure semantics of Clairambault, De Visme, and Winskel (2019). Our contributions are: (i) a local definition of Quantum Occurrence Nets (LQONs) compatible with quantum event structures, (ii) a construction of QPNs with a well-defined unfolding semantics, (iii) a compositional framework for QPNs. This establishes a semantically well grounded model of quantum concurrency, bridging Petri net theory and quantum programming.
- Abstract（参考訳）: 古典的なペトリネットは、ネット、発生ネット、イベント構造をリンクする展開セマンティクスを備えた並行性の標準的なモデルを提供する。
既存の '量子ペトリネット' には厳密な並行性と健全な量子意味論、分析ツール、展開理論がない。
我々は,Crairambault,De Visme,Winskel (2019) の量子イベント構造セマンティクスと互換性のある量子バリュエーションを備えた量子ペトリネット (Quantum Petri Nets, QPNs) を紹介する。
私たちの貢献は次のとおりです。
(i)量子イベント構造に適合する量子発生ネット(LQON)の局所的定義。
(ii) 明確に定義された展開セマンティクスを持つQPNの構成。
(iii)QPNのための構成枠組み。
これは、量子並行性、ブリッジングペトリネット理論、量子プログラミングのセマンティックな基礎的なモデルを確立する。
関連論文リスト
- VQC-MLPNet: An Unconventional Hybrid Quantum-Classical Architecture for Scalable and Robust Quantum Machine Learning [60.996803677584424]
変分量子回路(VQC)は、量子機械学習のための新しい経路を提供する。
それらの実用的応用は、制約付き線形表現性、最適化課題、量子ハードウェアノイズに対する鋭敏感といった固有の制限によって妨げられている。
この研究は、これらの障害を克服するために設計されたスケーラブルで堅牢なハイブリッド量子古典アーキテクチャであるVQC-MLPNetを導入している。
論文 参考訳（メタデータ） (2025-06-12T01:38:15Z) - QKAN: Quantum Kolmogorov-Arnold Networks [0.6597195879147557]
Kolmogorov-Arnold Networks (KAN)と呼ばれる新しいニューラルネットワークアーキテクチャが登場し、コルモゴロフ-Arnold表現定理の構成構造に着想を得た。
我々のQKANは、量子特異値変換を含む強力な量子線型代数ツールを利用して、ネットワークの端にパラメータ化活性化関数を適用する。
QKANはブロックエンコーディングに基づいており、本質的に直接量子入力に適している。
論文 参考訳（メタデータ） (2024-10-06T10:11:57Z) - Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
本研究では,高エネルギー物理における量子データ学習の実践的問題への適用性について検討する。
我々は、量子畳み込みニューラルネットワークに基づくアンサッツを用いて、基底状態の量子位相を認識できることを数値的に示す。
これらのベンチマークで示された非自明な学習特性の観察は、高エネルギー物理学における量子データ学習アーキテクチャのさらなる探求の動機となる。
論文 参考訳（メタデータ） (2023-06-29T18:00:01Z) - Quantum Network Utility: A Framework for Benchmarking Quantum Networks [14.638996634412976]
本稿では,量子ネットワークの性能を定量化するための一般的なフレームワークを提案する。
我々は,量子ネットワークの社会的・経済的価値を捉えるために,量子ネットワークユーティリティメトリックである$U_QN$を定義した。
論文 参考訳（メタデータ） (2022-10-19T17:50:11Z) - End-to-End Capacities of Hybrid Quantum Networks [0.0]
将来の量子ネットワークは、量子チャネルで相互接続された量子リピータの複雑なアーキテクチャから構築されるハイブリッド構造である。
このハイブリッド環境では、ネットワークサブ構造内のチャネル品質間の相互作用を慎重に検討する必要がある。
我々は、任意のハイブリッド量子ネットワークの容量を研究するための一般的な形式を、大気および宇宙ベースの量子チャネルの状況に規定する前に提示する。
論文 参考訳（メタデータ） (2022-07-12T11:49:17Z) - Quantum Semantic Communications for Resource-Efficient Quantum Networking [52.3355619190963]
本稿では、量子機械学習と量子意味表現の進歩を活かした新しい量子意味通信(QSC)フレームワークを提案する。
提案手法は,高い量子セマンティック忠実度を達成しつつ,必要な量子通信資源の約50～75%の削減を実現する。
論文 参考訳（メタデータ） (2022-05-05T03:49:19Z) - Quantum Federated Learning with Quantum Data [87.49715898878858]
量子機械学習(QML)は、量子コンピューティングの発展に頼って、大規模な複雑な機械学習問題を探求する、有望な分野として登場した。
本稿では、量子データ上で動作し、量子回路パラメータの学習を分散的に共有できる初めての完全量子連合学習フレームワークを提案する。
論文 参考訳（メタデータ） (2021-05-30T12:19:27Z) - Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits
at Exascale [57.84751206630535]
本稿では,E-scale ACCelerator(XACC)フレームワークにおける量子回路シミュレーションバックエンドとして機能する量子仮想マシン(TNQVM)の近代化版を提案する。
新バージョンは汎用的でスケーラブルなネットワーク処理ライブラリであるExaTNをベースにしており、複数の量子回路シミュレータを提供している。
ポータブルなXACC量子プロセッサとスケーラブルなExaTNバックエンドを組み合わせることで、ラップトップから将来のエクサスケールプラットフォームにスケール可能なエンドツーエンドの仮想開発環境を導入します。
論文 参考訳（メタデータ） (2021-04-21T13:26:42Z) - Foundations for Near-Term Quantum Natural Language Processing [0.17205106391379021]
量子自然言語処理(QNLP)の概念と数学的基礎を提供する。
自然言語の量子モデルがどのように言語的意味と豊かな言語構造を正準的に組み合わせているかを思い出す。
実証的エビデンスと数学一般性に関する正式な記述を支援するための参照を提供します。
論文 参考訳（メタデータ） (2020-12-07T14:49:33Z) - Dynamic framework for criticality-enhanced quantum sensing [1.819932604590499]
量子臨界性は、魅力的な量子現象として、量子センシングに大きな利点をもたらす可能性がある。
量子位相遷移を行うハミルトン系の量子センシングの枠組みを提案する。
臨界強度量子センシングの実装に向けた道筋を提供すると期待されている。
論文 参考訳（メタデータ） (2020-08-26T05:36:46Z) - Entanglement Classification via Neural Network Quantum States [58.720142291102135]
本稿では、学習ツールと量子絡み合いの理論を組み合わせて、純状態における多部量子ビット系の絡み合い分類を行う。
我々は、ニューラルネットワーク量子状態(NNS)として知られる制限されたボルツマンマシン(RBM)アーキテクチャにおいて、人工ニューラルネットワークを用いた量子システムのパラメータ化を用いる。
論文 参考訳（メタデータ） (2019-12-31T07:40:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。