論文の概要: A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
- arxiv url: http://arxiv.org/abs/2604.05671v1
- Date: Tue, 07 Apr 2026 10:17:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-08 17:42:09.760114
- Title: A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
- Title（参考訳）: $\mathbb{K}$-Linear $\infty$-Local 系の大域的モデル構造
- Authors: Hisham Sati, Urs Schreiber,
- Abstract要約: ホモトピー理論は6つの関手からなる「ヨガ」によって支配されるホモトピー型のスペクトルの局所的な体系を整理する。
最近開発されたLhoTT(Linear Homotopy Type Theory)のセマンティクスを提供するには、これらのスペクトルの優れたモデルカテゴリが必要である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of these spectra are required, preferably monoidal with respect to the external smash product. We focus on the case of parameterized $H\mathbb{K}$-module spectra ($\infty$-local systems), motivated by recent applications of parameterized homotopy to topological quantum computing. While traditionally treated via dg-categories, we leverage combinatorial model structures on simplicial chain complexes to construct the first dedicated global model structure for $\mathbb{K}$-linear $\infty$-local systems, which offers better control than existing models for general parameterized spectra. In particular, when restricted to base 1-types, our model structure is monoidal with respect to the external tensor product, making it a candidate target semantics for the multiplicative fragment of LHoTT.
- Abstract（参考訳）: パラメータ化された安定ホモトピー理論は、6つの関手の「ヨガ」によって支配されるホモトピー型のスペクトルの局所系を整理する。
最近開発されたLhoTT(Linear Homotopy Type Theory)のセマンティクスを提供するには、これらのスペクトルの優れたモデルカテゴリが必要である。
パラメータ化された$H\mathbb{K}$-module spectra(\infty$-local systems)は、最近のパラメータ化ホモトピーのトポロジカル量子コンピューティングへの応用によるものである。
伝統的にdg-圏で扱われるが、simplicial chain complex 上の組合せモデル構造を利用して、$\mathbb{K}$-linear $\infty$-local system に対する最初の専用グローバルモデル構造を構築する。
特に、ベース1型に制限された場合、モデル構造は外部テンソル積に対してモノイダルであり、LHoTTの乗法的フラグメントの候補的セマンティクスとなる。
関連論文リスト
- Non-Hermitian $\mathrm{sl}(3, \mathbb{C})$ three-mode couplers [0.0]
古典的および量子的状態における任意の$N$モードカップルに対する一般的な$mathrmsl(N,mathbbC)$フレームワークを導入する。
正確なWei-Normanプロパゲータは全ダイナミクスを捉え、例外的な点を明示する。
我々は$mathcalPT$-symmetric と non-Hermitian cyclic couplers にまたがる族について研究する。
論文 参考訳（メタデータ） (2025-10-28T04:04:11Z) - Automatic Discovery of One-Parameter Subgroups of Lie Groups: Compact and Non-Compact Cases of $\mathbf{SO(n)}$ and $\mathbf{SL(n)}$ [7.771878859878091]
我々は、$SO(3)$とより一般的には$SO(n)$の1-パラメータ部分群の自動発見のための新しいフレームワークを導入する。
この方法は、標準ジョルダン形式のスキュー対称行列を使い、$SO(n)$のリー代数を定義する。
提案手法の有効性は,振り子モデリング,慣性モーメント・オブ・慣性予測,トップクォークタグ付け,不変回帰といったタスクによって実証される。
論文 参考訳（メタデータ） (2025-09-26T11:31:38Z) - $p$-Adic Polynomial Regression as Alternative to Neural Network for Approximating $p$-Adic Functions of Many Variables [55.2480439325792]
任意の精度で連続関数を近似できる回帰モデルを構築している。
提案モデルは、ニューラルネットワークアーキテクチャに基づく$p$-adicモデルの簡単な代替と見なすことができる。
論文 参考訳（メタデータ） (2025-03-30T15:42:08Z) - Second quantization for classical nonlinear dynamics [0.0]
トリ上の無限次元回転系を通した測度保存エルゴード流の可観測物の進化を表現するための枠組みを提案する。
バナッハ代数スペクトルである $sigma(F_w(mathcal H_tau)$ が、潜在的無限次元のトーラス族に分解されることを示す。
また、このスキームでは、有限次元トーラス上の関数を任意の大きさの$sigma(F_w(mathcal H_tau)$で再現することにより、元のシステムの可観測性を表現する手順も採用している。
論文 参考訳（メタデータ） (2025-01-13T15:36:53Z) - Hierarchical analytical approach to universal spectral correlations in Brownian Quantum Chaos [44.99833362998488]
量子カオスの0次元ブラウンモデルにおけるスペクトル形状因子と時間外順序相関器の解析的アプローチを開発する。
論文 参考訳（メタデータ） (2024-10-21T10:56:49Z) - Dist2Cycle: A Simplicial Neural Network for Homology Localization [66.15805004725809]
単純複体は多方向順序関係を明示的にエンコードするグラフの高次元一般化と見なすことができる。
単体錯体の$k$-homological特徴によってパラメータ化された関数のグラフ畳み込みモデルを提案する。
論文 参考訳（メタデータ） (2021-10-28T14:59:41Z) - Bilinear Classes: A Structural Framework for Provable Generalization in
RL [119.42509700822484]
Bilinear Classesは強化学習の一般化を可能にする新しい構造フレームワークである。
このフレームワークは、サンプルの複雑さが達成可能な、ほとんどすべての既存のモデルを取り込んでいる。
我々の主な成果は、双線形クラスのためのサンプル複雑性を持つRLアルゴリズムである。
論文 参考訳（メタデータ） (2021-03-19T16:34:20Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳（メタデータ） (2020-06-03T17:54:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。