Fugu-MT 論文翻訳(概要): Quantisation of Abstract Data Types

論文の概要: Quantisation of Abstract Data Types

arxiv url: http://arxiv.org/abs/2609.03778v1
Date: Thu, 03 Sep 2026 12:51:10 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-04 18:28:39.059765
Title: Quantisation of Abstract Data Types
Title（参考訳）: 抽象データ型の量子化
Abstract要約: 普遍代数学の枠組みの中で,抽象量子データ型の概念を導入する。我々は、古典的なデータ型の量子化を正式に定義し、それらの方程式仕様が量子設定に忠実に持ち上げられることを示す。
参考スコア（独自算出の注目度）: 27.114033908694022
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In this paper, we introduce a notion of abstract quantum data type within the framework of universal algebra. This notion provides an algebraic foundation for describing data abstraction in quantum programming. We formally define a quantisation of classical data types and show that their equational specifications can be soundly lifted to the quantum setting. Two standard quantisation methods for classical functions, namely the bit oracle and the phase oracle, arise as special cases of this general construction. We illustrate the framework with applications to quantum arrays and quantum error-correcting codes, showing how they can be understood through the lens of data-type quantisation. We further establish conditions under which quantisation preserves structural relationships and constructions of classical data types, including embeddings, isomorphisms, and products.
Abstract（参考訳）: 本稿では,普遍代数学の枠組みにおける抽象量子データ型の概念を紹介する。この概念は量子プログラミングにおけるデータの抽象化を記述するための代数的基盤を提供する。我々は、古典的なデータ型の量子化を正式に定義し、それらの方程式仕様が量子設定に忠実に持ち上げられることを示す。古典関数の2つの標準的な量子化法、すなわちビットオラクルと位相オラクルは、この一般的な構成の特別な場合として生じる。このフレームワークを量子配列や量子エラー訂正符号に適用し、データ型量子化のレンズを通してどのように理解できるかを示す。さらに、量子化が埋め込み、同型、積を含む古典的なデータ型の構造的関係や構成を保存する条件を確立する。

関連論文リスト

Quantum data encoding as a distinct abstraction layer in the design of quantum circuits [1.1510009152620668]
我々は量子データ符号化の概念、すなわち量子状態を通して設定されたデータセットの表現を提供する形式を定式化する。主要な量子アルゴリズムが、データの読み込みに関して、いかに自然な解釈を見出すかを示す。新しい概念的枠組みは、量子ベースのモンテカルロシミュレーションへの応用を考えることで実証されている。
論文参考訳（メタデータ） (2024-09-14T07:00:58Z)
Categories of quantum cpos [0.0]
量子cposと呼ばれる$omega$-complete partial order (cpos)の非可換一般化が見つかる。量子cposは将来の量子領域理論のバックボーンを形成します
論文参考訳（メタデータ） (2024-06-03T22:13:32Z)
Information-theoretic generalization bounds for learning from quantum data [5.0739329301140845]
古典量子データに基づくトレーニングにより量子学習を記述するための数学的定式化を提案する。我々は,古典的および量子的情報理論量の観点から,量子学習者の期待する一般化誤差を証明した。我々の研究は、量子学習に関する量子情報理論的な視点を統一するための基礎を築いた。
論文参考訳（メタデータ） (2023-11-09T17:21:38Z)
Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
本研究では,高エネルギー物理における量子データ学習の実践的問題への適用性について検討する。我々は、量子畳み込みニューラルネットワークに基づくアンサッツを用いて、基底状態の量子位相を認識できることを数値的に示す。これらのベンチマークで示された非自明な学習特性の観察は、高エネルギー物理学における量子データ学習アーキテクチャのさらなる探求の動機となる。
論文参考訳（メタデータ） (2023-06-29T18:00:01Z)
The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning [52.77024349608834]
古典的なディープニューラルネットワークの量子アナログを構築することは、量子コンピューティングにおける根本的な課題である。鍵となる問題は、古典的なディープラーニングの本質的な非線形性にどのように対処するかである。我々は、深層機械学習のこれらの側面を複製できる量子機械学習の定式化であるQuantum Path Kernelを紹介する。
論文参考訳（メタデータ） (2022-12-22T16:06:24Z)
No-signalling constrains quantum computation with indefinite causal structure [45.279573215172285]
我々は、不定因果構造を持つ量子計算の定式化を開発する。我々は高階量子マップの計算構造を特徴付ける。計算的および情報理論的な性質を持つこれらの規則は、量子システム間のシグナル伝達関係のより物理的概念によって決定される。
論文参考訳（メタデータ） (2022-02-21T13:43:50Z)
Generalization Metrics for Practical Quantum Advantage in Generative Models [68.8204255655161]
生成モデリングは量子コンピュータにとって広く受け入れられている自然のユースケースである。我々は,アルゴリズムの一般化性能を計測して,生成モデリングのための実用的な量子優位性を探索する,単純で曖昧な手法を構築した。シミュレーションの結果、我々の量子にインスパイアされたモデルは、目に見えない、有効なサンプルを生成するのに、最大で68倍の費用がかかります。
論文参考訳（メタデータ） (2022-01-21T16:35:35Z)
Quantum references [0.29008108937701327]
我々は、より大きな量子系のサブシステムを指して、その部分の変更/測定を可能にする「量子参照」の理論を提示する。我々のモデリングは、定理プローバーの形式化や量子プログラムにおける変数のモデル化の基盤として好適である。
論文参考訳（メタデータ） (2021-05-23T11:11:03Z)
Quantum information spreading in a disordered quantum walk [50.591267188664666]
量子ウォークスを用いて量子情報拡散パターンを探索する量子探索プロトコルを設計する。我々は、異常や古典的輸送を調査するために、コヒーレントな静的および動的障害に焦点を当てる。以上の結果から,複雑なネットワークで発生する欠陥や摂動の情報を読み取る装置として,量子ウォーク(Quantum Walk)が考えられる。
論文参考訳（メタデータ） (2020-10-20T20:03:19Z)
Geometric viewpoint on the quantization of a fuzzy logic [0.0]
K"アラー構造(量子位相空間)を備えた複素射影空間におけるファジィ事象の項で量子命題を記述する。積t-ノルムの変形によるファジィ論理の量子化版を得る。
論文参考訳（メタデータ） (2020-04-06T13:37:02Z)
From a quantum theory to a classical one [117.44028458220427]
量子対古典的交叉を記述するための形式的アプローチを提示し議論する。この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
論文参考訳（メタデータ） (2020-04-01T09:16:38Z)

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