論文の概要: Spectral Sign Implication for Quantum Logic

• arxiv url: http://arxiv.org/abs/2609.08099v1
• Date: Tue, 08 Sep 2026 01:18:41 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-11 19:33:38.670646
• Title: Spectral Sign Implication for Quantum Logic
• Title（参考訳）: 量子論理におけるスペクトルサインの意義
• Authors: Kenji Tokuo,
• Abstract要約: 量子論理のスペクトル記号含意は、連続射影から先行射影を減じて得られる演算子の非負スペクトル射影によって定義される。 ハル度の4つの最小限の暗黙の条件、反則の法則、虚偽の条件を満たす。 結果は、2つの射影の作用素理論と二項量子微分の量子含意を結びつける。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We study the spectral sign implication for quantum logic, defined by the nonnegative spectral projection of the operator obtained by subtracting the antecedent projection from the consequent projection. The construction agrees with classical material implication on commuting projections and compares arbitrary pairs of projections through the spectral structure of their difference. It satisfies Hardegree's four minimal implicative conditions, his law of contraposition, and a falsity condition. It differs from the standard polynomial implications in that its value need not belong to the ortholattice generated by its arguments. Within a uniform class of Borel constructions for pairs of projections, the operations satisfying entailment, contraposition, and the falsity condition correspond exactly to measurable choices of spectral branch. In the continuous subclass, these three conditions determine the spectral sign implication uniquely. In finite dimensions, the operation is also the largest among the acceptance projections of optimal projective tests for Helstrom discrimination between subspace states with priors proportional to rank. These results connect quantum implication with the operator theory of two projections and binary quantum discrimination.
• Abstract（参考訳）: 本稿では,演算子の非負スペクトル射影によって定義される量子論理に対するスペクトル記号の含意について検討する。 この構成は、通勤射影に関する古典的な物質的含意と一致し、その差のスペクトル構造を通して任意の射影の対を比較する。 ハル度の4つの最小限の暗黙の条件、反則の法則、虚偽の条件を満たす。 これは、その値がその引数によって生成される直交に属さなくてもよいという、標準多項式の含意とは異なっている。 一組の射影に対するボレル構成の均一なクラスの中で、包含、反置、虚偽条件を満たす操作は、スペクトル分岐の可測な選択と正確に一致する。 連続部分クラスでは、これらの3つの条件はスペクトル記号の含意を一意に決定する。 有限次元において、この演算は、ランクに比例する前の部分空間状態の間のヘルストロム判別のための最適射影テストの受理射影の中でも最大である。 これらの結果は、2つの射影の作用素理論と二項量子微分の量子含意を結びつける。

関連論文リスト

• Quantum non-local games: Quantum relations, projection lattices and rule operators [51.56484100374058]
  (mathcal R)-射影テスト 有限次元入力とノイマン代数の出力を持つ量子ゲーム。 (mathcal R)-射影テスト 有限次元入力とノイマン代数の出力を持つ量子ゲーム。 (mathcal R)-射影テスト 有限次元入力とノイマン代数の出力を持つ量子ゲーム。 (mathcal R)-射影テスト 有限次元入力とノイマン代数の出力を持つ量子ゲーム。
  論文  参考訳（メタデータ） (2026-08-31T09:41:14Z)
• Boltzmann counting in Hilbert space [39.146761527401424]
  量子準備のための幾何学的エントロピーを導入し、与えられた制約の集合と互換性のある純粋状態のヒルベルト空間体積の対数として定義される。 サブスペースへの制約、固定期待値、粗粒度のサブシステム記述の3種類の制約を解析する。 結果として得られるフレームワークは、準備のレベルでの量子無知の幾何学的尺度を提供する。
  論文  参考訳（メタデータ） (2026-08-20T15:01:51Z)
• Quantum simulation of the Liouville equation in classical mechanics with discontinuous potential via Schrödingerization [42.22857110018992]
  我々は、不連続ポテンシャルを持つ古典力学のリウヴィル方程式の量子シミュレーションアルゴリズムを開発した。 我々は、Math. Sci. 3(3), 285-315 (2005) における Jin と Wen によるハミルトニアン保存スキームとSchrdingerization 法を組み合わせる。
  論文  参考訳（メタデータ） (2026-06-13T02:49:05Z)
• Four negations and the spectral presheaf [0.0]
  我々は(共)準直観論理の健全性と完全性を証明する。 本研究は, スペクトルプレシーフの内部対象として, 基礎となる補足格子を再構成可能であることを示す。
  論文  参考訳（メタデータ） (2026-03-09T17:57:00Z)
• On the Spectral Flattening of Quantized Embeddings [25.64641307046705]
  超低精度での大規模言語モデルの訓練は、離散量子化制約と言語データの本質的な重み付きスペクトル特性の相違に根ざした不安定性によって、決定的に阻害される。 この研究は、LLMのスペクトル感度を定量化するだけでなく、安定な低ビット最適化に必要な条件としてスペクトル忠実性を確立する。
  論文  参考訳（メタデータ） (2026-02-01T02:21:53Z)
• Error exponents of quantum state discrimination with composite correlated hypotheses [40.82628972269358]
  2組の量子状態間の量子仮説試験における誤差指数について検討する。 量子ホーフディングの発散と反発散の2つの自然な拡張を量子状態の集合に導入し比較する。
  論文  参考訳（メタデータ） (2025-08-18T13:04:06Z)
• Optimal Semiclassical Regularity of Projection Operators and Strong Weyl Law [0.0]
  射影作用素が位相空間の特徴関数に収束することを証明する。 これは、シューテンノルムにおける可換作用素のサイズに関する半古典的であると解釈できる。
  論文  参考訳（メタデータ） (2023-02-09T18:05:17Z)
• Quantum Bayesian Inference in Quasiprobability Representations [0.0]
  ベイズの法則は情報や物理科学においても重要な論理的推論を担っている。 ベイズの規則の量子バージョンはヒルベルト空間の言語で表現されている。
  論文  参考訳（メタデータ） (2023-01-05T08:16:50Z)
• Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
  ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。 プレゼンテーションの大部分では、無限の散乱長が考慮される。
  論文  参考訳（メタデータ） (2020-06-03T17:54:43Z)

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

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