Fugu-MT 論文翻訳(概要): Completely hereditarily atomic OMLs

論文の概要: Completely hereditarily atomic OMLs

arxiv url: http://arxiv.org/abs/2308.08508v1
Date: Wed, 16 Aug 2023 17:06:24 GMT
ステータス: 処理完了
システム内更新日: 2023-08-17 12:23:55.829900
Title: Completely hereditarily atomic OMLs
Title（参考訳）: 原子性omlは
Authors: John Harding, Andre Kornell
Abstract要約: カルムバッハの構成は代数的かつ 2-被覆性を持つような OML の例を提供する。ケラーの構成は、被覆性を持ち、完全に遺伝学的にアトミックであるようなOMLの例を提供する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: An irreducible complete atomic OML of infinite height cannot both be algebraic and have the covering property. However, Kalmbach's construction provides an example of such an OML that is algebraic and has the 2-covering property, and Keller's construction provides an example of such an OML that has the covering property and is completely hereditarily atomic. Completely hereditarily atomic OMLs generalize algebraic OMLs suitably to quantum predicate logic.
Abstract（参考訳）: 無限高さの既約完全原子型 OML は代数的かつ被覆性を持つことができない。しかし、カルムバッハの構成は代数的で 2-被覆性を持つような OML の例を示し、ケラーの構成は被覆性を持ち、完全に遺伝学的にアトミックであるような OML の例を提供する。完全に遺伝的にアトミックなOMLは、量子述語論理に相応しい代数的OMLを一般化する。

関連論文リスト

Unlocking Tokens as Data Points for Generalization Bounds on Larger Language Models [79.70436109672599]
LLaMA2-70Bほどの大きさの大規模言語モデルの非空一般化境界を導出する。我々の研究は、実際にデプロイされ、高品質なテキストを生成するモデルに対する最初の非空き境界を達成する。
論文参考訳（メタデータ） (2024-07-25T16:13:58Z)
The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。 QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文参考訳（メタデータ） (2024-02-29T01:35:46Z)
Invertible subalgebras [0.30458514384586394]
格子上の局所作用素代数の可逆部分代数を導入する。二次元格子上では、可逆部分代数は可換ハミルトニアンによるキラル・エノン理論をホストする。無限格子上のすべての QCA の群上の計量を考察し、計量完備化が局所ハミルトニアンによる時間発展を含むことを証明する。
論文参考訳（メタデータ） (2022-11-03T18:31:32Z)
Qudit lattice surgery [91.3755431537592]
我々は、フォールトトレラント量子ビット計算のモデルである格子手術が、任意の有限次元量子ビットに直接一般化することを観察する。我々は、このモデルをホップ・フロベニウス代数に基づく図形言語であるZX-計算に関連付ける。
論文参考訳（メタデータ） (2022-04-27T23:41:04Z)
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)
Equivariant representations for molecular Hamiltonians and N-center atomic-scale properties [0.0]
我々は、非常に成功した原子中心密度相関特性をN中心の場合に一般化する構造記述子の族について論じる。特に、原子中心軌道ベースで書かれた(有効)単一粒子ハミルトニアンの行列要素を効率的に学習するために、この構造がどのように適用できるかを示す。
論文参考訳（メタデータ） (2021-09-24T17:19:57Z)
Minimal bosonization of double-graded supersymmetric quantum mechanics [0.0]
Z2$級の超対称量子力学の超代数は、単一のボゾン自由度で実現可能であることが示されている。中心元 $Z$ はハミルトニアンの退化固有状態を区別する性質を持つ。
論文参考訳（メタデータ） (2021-08-13T13:52:27Z)
Jordan-Wigner transformation and qubits with nontrivial exchange rule [91.3755431537592]
よく知られた(スピンのない)フェルミオン量子ビットは、通常の(スピンのない)フェルミオンと比較して、より微妙な考慮を必要とするかもしれない。考察法は超空間の構成と何らかの関係があるが、量子ビットモデルの一般化にしばしば用いられる超対称性の標準的な定義といくつかの相違がある。
論文参考訳（メタデータ） (2021-03-08T09:31:03Z)
Necessary Criteria for Markovian Divisibility of Linear Maps [0.0]
無限小マルコフ可除という概念を一般線型写像や発電機の閉凸集合に拡張する。量子チャネルで証明された形式の無限小マルコフ可除性に必要な基準は、一般に保持できないことを示す。
論文参考訳（メタデータ） (2020-09-14T18:07:10Z)
Generalized string-nets for unitary fusion categories without tetrahedral symmetry [77.34726150561087]
任意の多重度自由なユニタリ融合圏に対するLevin-Wenモデルの構築について述べる。我々はハミルトニアンの行列要素を明示的に計算し、さらに元の要素と同じ性質を持つことを示す。
論文参考訳（メタデータ） (2020-04-15T12:21:28Z)

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