Varieties of De Morgan bisemilattices
この論文は、ド・モルガン半束の多様体の部分多様体の完全な分類を行い、各部分多様体に対して有限生成元の集合、ド・モルガン・プロナ和による表現の特性、および妥当な恒等式の構文論的記述を提供するものである。
🔢 Category
math
2549 件の論文
Zonal states and improved bounds for eigenfunctions of magnetic Laplacians on hyperbolic surfaces
本論文は、双曲面上の磁気ラプラシアンの固有関数について、臨界エネルギー領域では多項式的に改善された評価を確立し、臨界エネルギー以下では球面上の極帯調和関数に類似し、位相空間のラグランジュトーラス上で等分布する「磁気極帯状態」と呼ばれる明示的な固有状態によってホルマンダーの上限が飽和することを示している。
On the density of the supremum of nonlinear SPDEs
本論文は、有界領域上の非線形確率偏微分方程式の解の supremum がルベーグ測度に関して密度を持つことを、Malliavin 微分法（特に Nualart と Vives による supremum 版の Bouleau-Hirsch 基準）を用いて証明し、その過程で解の Malliavin 微分の正則性も確立したものである。
A normality criterion for a family of meromorphic functions
この論文は、ある領域で定義された有理型関数の族 に対し、、、および のすべての零点の位数が 以上であるという条件の下で、その族の正規性を証明するものである。
Parameter unbounded Uzawa and penalty-splitted accelerated algorithms for frictionless contact problems
この論文は、摩擦なし接触問題に対して、標準的な剛性行列のみを用いた変位 - 力の分割反復法に交差接線法による加速を適用し、収束速度の大幅な向上と増大パラメータの制約からの解放を実現する統合的な反復フレームワークを提案するものである。
Dictionary-Restricted First-Order Descent Methods: Bounds and Convergence Rates
この論文は、反射的バナッハ空間における辞書に制限された第一順序降下法に対し、ノルミング集合に基づく幾何的条件を導入してその収束性を保証し、凸変分問題や高次元近似などへの適用において、従来の最急降下法を上回る代数的・多項式的・指数関数的な収束速度の明示的な評価を導出する一般理論を構築しています。
Evil Twins in Sums of Wildflowers
この論文は、悪魔の双子（evil twin）性質を持つ野の花（wildflowers）や変異花（mutant flowers）の和に関する閉集合を特定し、その性質の拡張定理を証明するとともに、変異花の和の勝敗判定が 3-SAT からの帰着により NP 困難であることを示しています。
Hybrid Approximate Message Passing
この論文は、一般のグラフィカルモデルにおける依存関係を「強いエッジ」と「弱いエッジ」に分割し、中央極限定理に基づく近似メッセージパッシング（AMP）を弱いエッジの集約に適用することで、複雑な計算を簡素化しつつ性能と計算量のバランスを調整できる「ハイブリッド一般化近似メッセージパッシング（HyGAMP）」という新しい枠組みを提案しています。
Zero-Noise Limit for High-Dimensional ODE with Measurable Drift
本論文は、有界可測なドリフトを持つ高次元の微小ノイズ拡散過程のゼロノイズ極限を解析し、フィルパフ解のうち「瞬間的脱出」解が支配的となり、その支持集合がルベーグ測度に対して特異な低次元構造を持つことを、ストローク・ヴァラダハンのサポート定理や比較定理、法則則、ハウスドルフ次元解析を統合することで示した。
Balanced matrices
この論文は、行列演算や統計量、特に 2 次形式の予測における行列式や固有値との関係を明らかにする「バランス行列」という新たな行列のクラスを定義し、その性質を研究しています。
The spanning method and the Lehmer totient problem
この論文は、整数の「スパンニング」という概念を導入・発展させ、特にリーマーのオイラー関数問題（ の解の存在）に対して、 以下の解の個数に関する新たな下限評価を示しています。
A spectral sequence for tangent cohomology of algebras over algebraic operads
この論文は、代数の塔によるフィルトレーションを用いて一般の代数上の演算子タングントコホモロジーに収束するスペクトル系列を構築し、有理ホモトピー論におけるセールのスペクトル系列や自己ファイバーホモトピー同値写像空間の有理ホモトピー群の計算に応用することを示しています。
Simple close curve magnetization and application to Bellman's lost in the forest problem
この論文では、単純閉曲線の磁化という概念を導入・発展させ、特定の幾何学的条件下におけるベルマンの森で迷う問題への応用を提案しています。
Quantized flag manifolds and non-restricted modules over quantum groups at roots of unity
この論文は、特定の条件を満たす奇素数冪におけるデ・コンチニ・カック型量子群の非制限モジュールに対するルスジットの予想された重複度公式の証明を提供するものである。
P-adic L-functions for GL(3)
GL(3) 上の正則代数的尖点表現に対して、球面多様体の理論を用いて「ベッティ・オイラー系」を構成し、p-近似的に通常の条件のもとで p-進 L 関数の存在を証明することで、n>2 における一般型の GL(n) 表現に対する p-進 L 関数の構築を初めて達成した。
On distribution of the depth index on perfect matchings
この論文は、完全マッチング上の深さ指数の統計量を研究し、その生成多項式を導出するとともに、この統計量がブラター順序のランク関数と等分布であることを示しています。
On quotients of bounded homogeneous domains by unipotent discrete groups
本論文は、有界斉次領域をユニポテント離散群で割った商が正則分離可能であることを示し、その商がシュタインとなるための必要十分条件の一部を論じている。
Estimates on the Kodaira dimension for fibrations over abelian varieties
この論文は、アーベル多様体上のファイバー束に対する Kodaira 次元の評価を与え、その結果としてアーベル多様体上のファイバー束における Kodaira 次元の半加算性の強化を示すとともに、いくつかの応用を論じている。
A dichotomy on the self-similarity of graph-directed attractors
この論文は、強連結有向グラフにおいて特定の頂点を通らない有向閉路が存在する場合、その頂点に関連するグラフ指向反復関数系（GD-IFS）の吸引子が標準的な反復関数系（IFS）の吸引子として実現できないための代数的条件を示し、そのような GD-IFS の大部分が標準 IFS で記述できないことを証明している。
Towards a Higher-Order Mathematical Operational Semantics
この論文は、Turi と Plotkin の抽象 GSOS 枠組みを高次言語へ拡張し、高次言語の操作意味論を「指向付き高次 GSOS 法則」として定式化することで、SKI 計算や計算などの高次言語における構成性の保証を可能にする一般理論を構築したものである。