Fugu-MT 論文翻訳(概要): Kleene algebra with commutativity conditions is undecidable

論文の概要: Kleene algebra with commutativity conditions is undecidable

arxiv url: http://arxiv.org/abs/2411.15979v1
Date: Sun, 24 Nov 2024 20:44:27 GMT
ステータス: 翻訳完了
システム内更新日: 2024-11-26 14:19:20.074223
Title: Kleene algebra with commutativity conditions is undecidable
Title（参考訳）: 可換条件を持つクリーネ代数は決定不能である
Authors: Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi,
Abstract要約: 原始体上の可換条件を持つクリーネ代数の方程式理論は決定不能であることを示す。我々の結果は、クリーネ代数の帰納公理を支えないより弱い理論に対しても成り立つ。
参考スコア（独自算出の注目度）: 12.189056858192778
License:
Abstract: We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also been recently solved independently by Kuznetsov, our results hold even for weaker theories that do not support the induction axioms of Kleene algebra.
Abstract（参考訳）: 我々は、原始体(または原子項)上の可換条件を持つクリーネ代数の方程式論が決定不能であることを証明する。この問題は最近クズネツォフによって独立に解かれたが、この結果はクリーネ代数の帰納公理をサポートしないより弱い理論に対しても成り立つ。

関連論文リスト

Machine Learning of the Prime Distribution [49.84018914962972]
素数の可学習性に関するヤン・フイ・ヘの実験的な観察を説明する理論的論証を提供する。我々はまた、ErdHos-Kac法が現在の機械学習技術によって発見される可能性は極めて低いと仮定している。
論文参考訳（メタデータ） (2024-03-19T09:47:54Z)
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory [0.0]
集合論宇宙が可算部分代数と結びついていることは、それが ZFC に満足であるときに限る。我々は、一意に極大な ZFC を満たす部分ユニバースが「単純定義可能」であることを示す。
論文参考訳（メタデータ） (2023-11-15T11:39:43Z)
An algebraic formulation of nonassociative quantum mechanics [0.0]
我々は、可観測体の非連想代数を扱える量子力学のバージョンを開発した。我々のアプローチは自然確率的であり、一般非連想代数の普遍包絡代数を利用する。
論文参考訳（メタデータ） (2023-11-07T01:36:23Z)
Connecting classical finite exchangeability to quantum theory [69.62715388742298]
交換性は確率論と統計学の基本的な概念である。有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
論文参考訳（メタデータ） (2023-06-06T17:15:19Z)
Supersymmetric Quantum Mechanics, multiphoton algebras and coherent states [0.0]
代数は多光子と生成作用素、および適当な数作用素の関数であるハミルトニアンによって生成される。作用素の消滅状態であるバルト・ジラルデロコヒーレント状態が得られ、その不確実性関係を探求する。
論文参考訳（メタデータ） (2023-04-11T19:18:43Z)
Negations and Meets in Topos Quantum Theory [0.0]
ダセイン化(英: daseinization)は、通常の量子論における正則格子からトポス量子論におけるハイティング代数への写像である。本研究は, 否定と集会をダセイン化して保存する条件について検討する。
論文参考訳（メタデータ） (2021-11-30T09:16:54Z)
Annihilating Entanglement Between Cones [77.34726150561087]
ローレンツ錐体は、ある種の強いレジリエンス特性を満たす対称基底を持つ唯一の円錐体であることを示す。我々の証明はローレンツ・コーンの対称性を利用しており、エンタングルメント蒸留のプロトコルに類似した2つの構造を適用している。
論文参考訳（メタデータ） (2021-10-22T15:02:39Z)
Some Hoeffding- and Bernstein-type Concentration Inequalities [47.24550702683417]
独立確率変数の関数の濃度不等式を準ガウジアンおよび準指数条件下で証明する。不等式の実用性は、リプシッツ函数クラスと非有界部分指数分布へのラデマチャー複素数の現在の古典的方法の拡張によって証明される。
論文参考訳（メタデータ） (2021-02-11T23:09:13Z)
Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
我々は、リッチフローの幾何学理論に関連する位相量子重力理論の族を示す。まず、BRST量子化を用いて空間計量のみに対する「原始的」トポロジカルリーフシッツ型理論を構築する。葉保存時空対称性をゲージすることで原始理論を拡張する。
論文参考訳（メタデータ） (2020-10-29T06:15:30Z)
A criterion to characterize interacting theories in the Wightman framework [0.0]
量子場理論のワイトマンフレームワークにおいて相互作用する理論を特徴づけるための基準を提案する。我々は、不安定な(複合)粒子か、質量のない粒子の存在下で赤外線粒子となる荷電粒子を特徴付けると推測する。
論文参考訳（メタデータ） (2020-02-20T09:52:49Z)
A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文参考訳（メタデータ） (2019-09-04T11:46:26Z)

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