論文の概要: Combining Semilattices and Semimodules
- arxiv url: http://arxiv.org/abs/2012.14778v3
- Date: Sun, 24 Jan 2021 16:47:41 GMT
- ステータス: 処理完了
- システム内更新日: 2021-04-19 01:12:40.254227
- Title: Combining Semilattices and Semimodules
- Title(参考訳): 半格子と半加群の組み合わせ
- Authors: Filippo Bonchi and Alessio Santamaria
- Abstract要約: そのような$delta$ yield を用いて $mathcal P$ と $mathcal S$ の合成が、ジェイコブスが以前に導入した凸部分集合のモナドにほぼ等しいことを示す。
我々は、$mathcal P$から$mathbbEM(mathcal S)$への正則の弱い持ち上がることの便利な特徴付けと、得られた合成モナドの代数的理論を提供する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We describe the canonical weak distributive law $\delta \colon \mathcal S
\mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over
the $S$-left-semimodule monad $\mathcal S$, for a class of semirings $S$. We
show that the composition of $\mathcal P$ with $\mathcal S$ by means of such
$\delta$ yields almost the monad of convex subsets previously introduced by
Jacobs: the only difference consists in the absence in Jacobs's monad of the
empty convex set. We provide a handy characterisation of the canonical weak
lifting of $\mathcal P$ to $\mathbb{EM}(\mathcal S)$ as well as an algebraic
theory for the resulting composed monad. Finally, we restrict the composed
monad to finitely generated convex subsets and we show that it is presented by
an algebraic theory combining semimodules and semilattices with bottom, which
are the algebras for the finite powerset monad $\mathcal P_f$.
- Abstract(参考訳): 我々は、半環のクラスに対して$s$-left-semimodule monad $\mathcal s$ に対して、powerset monad $\mathcal p$ の標準的弱分散則 $\delta \colon \mathcal s \mathcal p \to \mathcal p \mathcal s$ を記述する。
そのような$\delta$ による $\mathcal P$ と $\mathcal S$ の合成は、それまでヤコブによって導入された凸部分集合のモナドのほとんどを収得する: 唯一の違いは、空凸集合のモナドが存在しないことである。
我々は、生成したモナドの代数理論と同様に、$\mathcal p$ から $\mathbb{em}(\mathcal s)$ の標準的弱持ち上げの便利な特徴付けを提供する。
最後に、構成されたモナドを有限生成凸部分集合に制限し、半加群と半格子と底部を結合した代数理論により、有限集合モナド $\mathcal p_f$ の代数として示されることを示した。
関連論文リスト
- New estimates for character sums over sparse elements of finite fields [6.5990719141691825]
例えば$sum_ginmathcalGchi(f(g))$, $mathcalG$ は $mathbbF_qr$ と $f(X)$ のスパース部分集合であり、$mathbbF_qr$ は $mathbbF_qr$ の和である。
論文 参考訳(メタデータ) (2025-02-20T10:40:48Z) - Unitary orthonormal bases of finite dimensional inclusions [0.0]
ピムズナーとポパの意味でのユニタリ正規直交基底を$(mathcalBsubseteq MathcalA, E)$で、$mathcalA, MathcalB$は有限次元フォン・ノイマン代数である。
我々は、アーベル相対可換な深度 2 の大きいクラスに対するユニタリ正規直交基底の存在を証明した。
論文 参考訳(メタデータ) (2025-02-17T14:14:55Z) - Provably learning a multi-head attention layer [55.2904547651831]
マルチヘッドアテンション層は、従来のフィードフォワードモデルとは分離したトランスフォーマーアーキテクチャの重要な構成要素の1つである。
本研究では,ランダムな例から多面的注意層を実証的に学習する研究を開始する。
最悪の場合、$m$に対する指数的依存は避けられないことを示す。
論文 参考訳(メタデータ) (2024-02-06T15:39:09Z) - There Are No Post-Quantum Weakly Pseudo-Free Families in Any Nontrivial Variety of Expanded Groups [0.0]
最悪のケース設定やブラックボックスモデルであっても、$mathfrak V$に量子後、弱い擬似自由な家族が存在しないことを示す。
また、計算とブラックボックスのファミリに対して、いくつかの弱い擬似自由度を定義し、研究する。
論文 参考訳(メタデータ) (2023-02-21T17:55:42Z) - Monogamy of entanglement between cones [68.8204255655161]
モノガミーは量子論の特徴であるだけでなく、凸錐の一般対の極小テンソル積を特徴づけることを示した。
我々の証明は、アフィン同値まで単純化された生成物の新たな特徴を生かしている。
論文 参考訳(メタデータ) (2022-06-23T16:23:59Z) - Learning a Single Neuron with Adversarial Label Noise via Gradient
Descent [50.659479930171585]
モノトン活性化に対する $mathbfxmapstosigma(mathbfwcdotmathbfx)$ の関数について検討する。
学習者の目標は仮説ベクトル $mathbfw$ that $F(mathbbw)=C, epsilon$ を高い確率で出力することである。
論文 参考訳(メタデータ) (2022-06-17T17:55:43Z) - Topological phases of unitary dynamics: Classification in Clifford category [0.0]
量子セルオートマトン (QCA) あるいは因果ユニタリ (Cousal Unitary) は、定義によって局所作用素代数の自己同型である。
クリフォード QCA は、任意のパウリ作用素をパウリ作用素の有限テンソル積に写像するものである。
論文 参考訳(メタデータ) (2022-05-18T18:00:38Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
量子系 $S$ に関連する可観測物は非可換代数 $mathcal A_S$ を形成する。
密度行列 $rho$ は可観測物の期待値から決定できると仮定される。
アーベル代数は内部自己同型を持たないので、測定装置は可観測物の平均値を決定することができる。
論文 参考訳(メタデータ) (2021-12-14T16:29:53Z) - Threshold Phenomena in Learning Halfspaces with Massart Noise [56.01192577666607]
ガウス境界の下でのマスアートノイズ付きmathbbRd$におけるPAC学習ハーフスペースの問題について検討する。
この結果は,Massartモデルにおける学習ハーフスペースの複雑さを定性的に特徴づけるものである。
論文 参考訳(メタデータ) (2021-08-19T16:16:48Z) - Near-Optimal SQ Lower Bounds for Agnostically Learning Halfspaces and
ReLUs under Gaussian Marginals [49.60752558064027]
ガウス境界の下では、半空間とReLUを不可知的に学習する基本的な問題について検討する。
我々の下限は、これらのタスクの現在の上限が本質的に最良のものであるという強い証拠を与える。
論文 参考訳(メタデータ) (2020-06-29T17:10:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。