Varieties of De Morgan bisemilattices
本文完整刻画了德摩根半格（DMBL）变体格的子变体格结构，为其中每个子变体确定了有限生成元、德摩根 - 普洛纳和表示特征、有效恒等式的语法描述以及相对于 DMBL 的公理化系统。
🔢 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
本文利用基于 Nualart 和 Vives 发展的 Bouleau-Hirsch 准则的 Malliavin 微积分方法，证明了一类包含非线性随机热方程及线性化随机 Cahn-Hilliard 方程在内的单维非线性随机偏微分方程解的上确界关于勒贝格测度存在密度，并建立了 Malliavin 导数的 Hölder 连续性。
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
本文在自反 Banach 空间中建立了一套针对字典受限一阶下降方法的通用理论，通过引入基于范数集的几何条件替代传统的稠密性假设，统一处理张量格式和神经网络等非线性逼近族，并证明了在温和条件下该贪婪算法具有优于经典最速下降法的代数收敛率，甚至在特定情形下可实现任意高阶多项式或指数收敛。
Evil Twins in Sums of Wildflowers
该论文研究了形如 的野花之和的“邪恶双胞胎”性质，不仅扩展了既有研究成果并部分推广了康威的错局种理论，还证明了特定突变花集合是该性质的最大闭集，且计算其错局或正常局结果属于 NP 难问题。
Hybrid Approximate Message Passing
本文提出了一种名为混合广义近似消息传递（HyGAMP）的系统框架，通过将图模型中的依赖关系划分为强边和弱边，利用中心极限定理对弱边聚合进行高斯近似，从而在保持性能与复杂度平衡的同时，显著简化了通用图模型中的消息传递算法实现。
Zero-Noise Limit for High-Dimensional ODE with Measurable Drift
本文通过融合随机分析、几何测度论与微分包含理论，证明了在高维非利普夫解不唯一的有界可测漂移系统中，零噪声极限分布由瞬时逃逸解主导，其支撑集具有低于环境空间维数的分形结构且关于勒贝格测度奇异。
Balanced matrices
本文引入并研究了“平衡矩阵”这一概念，揭示了其行列式、特征值与迹等统计量之间的内在联系，特别是对于二阶矩阵，能够仅凭谱信息预测其二次型而无需知晓具体元素。
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) 上正则代数尖点自守表示的 Betti 欧拉系，进而证明了 Coates-Perrin-Riou 和 Panchishkin 关于此类表示 p-进 L-函数的猜想，首次为任意维数 n>2 的非函子提升型 GL(n) 自守表示构造了 p-进 L-函数。
On distribution of the depth index on perfect matchings
该论文研究了完美匹配上深度指数统计量的限制，提供了其组合描述并计算了生成多项式，证明了该指数与 Bruhat 序的秩函数是等分布的。
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
本文证明了对于强连通有向图，若存在不经过某顶点的有向回路，则基于该图的满足凸开集条件的自相似图导向迭代函数系统，其关联该顶点的吸引子通常无法被表示为任何标准迭代函数系统的吸引子。
Towards a Higher-Order Mathematical Operational Semantics
本文通过将 Turi 和 Plotkin 的双代数抽象 GSOS 框架推广至高阶语言，建立了基于点状高阶 GSOS 律的抽象规范理论，从而为 SKI 演算和-演算等系统的组合性证明提供了通用的数学语义框架。