論文の概要: A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

• arxiv url: http://arxiv.org/abs/2506.16244v1
• Date: Thu, 19 Jun 2025 11:59:39 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-23 19:00:05.051076
• Title: A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
• Title（参考訳）: 複数の測定基準を持つ量子制御Lambda-Calculus
• Authors: Alejandro Díaz-Caro, Nicolas A. Monzon,
• Abstract要約: 複数の測定ベースをサポートする型付き量子計算であるLambda-SXを紹介する。 型システム内の任意のベースに対する重複性を追跡することで、Lambda-SXは、測定に関するより柔軟な制御と構成的推論を可能にします。
• 参考スコア（独自算出の注目度）: 49.1574468325115
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lambda-SX enables more flexible control and compositional reasoning about measurements. We formalise its syntax, typing rules, subtyping, and operational semantics, and establish its key meta-theoretical properties. This proof-of-concept shows that support for multiple bases can be coherently integrated into the type discipline of quantum programming languages.
• Abstract（参考訳）: 複数の測定ベースをサポートする型付き量子ラムダ計算であるLambda-SXを紹介する。 型システム内の任意のベースに対する重複性を追跡することで、Lambda-SXは、測定に関するより柔軟な制御と構成的推論を可能にします。 我々は、構文、型付け規則、サブタイプ、操作意味論を定式化し、その重要なメタ理論的性質を確立する。 この概念の証明は、複数の基底をサポートすることは、量子プログラミング言語の型分野にコヒーレントに統合できることを示している。

関連論文リスト

• Categories of quantum cpos [0.0]
  量子cposと呼ばれる$omega$-complete partial order (cpos)の非可換一般化が見つかる。 量子cposは将来の量子領域理論の バックボーンを形成します
  論文  参考訳（メタデータ） (2024-06-03T22:13:32Z)
• The Quantum Monadology [0.0]
  関数型プログラミング言語の現代の理論は、計算サイドエフェクトとサイドコンテキストを符号化するためにモナドを使用する。 我々はGrothendieckの「操作のモチベーションヨガ」によって誘導されるパラメータ化モジュールスペクトルのカテゴリ上での(co)モナドの分析を行う。 本稿では、これらのモナディック量子効果を透明なdo-notationで表現したドメイン固有量子プログラミング言語(QS)を示す。
  論文  参考訳（メタデータ） (2023-10-24T11:19:24Z)
• Determining the ability for universal quantum computing: Testing controllability via dimensional expressivity [39.58317527488534]
  制御性テストは、外部制御の数を減らすために量子デバイスの設計に使用できる。 パラメタライズド量子回路に基づくハイブリッド量子古典アルゴリズムを考案する。
  論文  参考訳（メタデータ） (2023-08-01T15:33:41Z)
• Quantum Bayesian Inference in Quasiprobability Representations [0.0]
  ベイズの法則は情報や物理科学においても重要な論理的推論を担っている。 ベイズの規則の量子バージョンはヒルベルト空間の言語で表現されている。
  論文  参考訳（メタデータ） (2023-01-05T08:16:50Z)
• The Many-Worlds Calculus [0.0]
  このフレームワークで計算をモデル化するための色付きPROPを提案する。 このモデルは、通常のテスト、確率的および非決定論的分岐、および量子分岐をサポートすることができる。 我々は、言語が普遍的であることを証明し、方程式理論は、この意味論に関して完備であるべきである。
  論文  参考訳（メタデータ） (2022-06-21T10:10:26Z)
• LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
  本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。 本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。 アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
  論文  参考訳（メタデータ） (2021-10-04T12:20:23Z)
• The Logic of Quantum Programs [77.34726150561087]
  本稿では,量子プログラムにおける情報フローの論理計算について述べる。 特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
  論文  参考訳（メタデータ） (2021-09-14T16:08:37Z)
• Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
  大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。 解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
  論文  参考訳（メタデータ） (2021-08-30T23:50:05Z)
• PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
  本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。 我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。 我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
  論文  参考訳（メタデータ） (2020-02-21T16:15:58Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。