Stochastic and incremental subgradient methods for convex optimization on Hadamard spaces
该论文针对非正曲率度量空间(Hadamard 空间)中缺乏线性结构导致次梯度构造困难的问题,提出了一种基于 Busemann 函数的新型次梯度定义,并据此构建了具有复杂度保证的随机及增量次梯度优化算法,成功应用于 BHV 树空间等场景下的 -均值问题求解。
7189 篇论文
该论文针对非正曲率度量空间(Hadamard 空间)中缺乏线性结构导致次梯度构造困难的问题,提出了一种基于 Busemann 函数的新型次梯度定义,并据此构建了具有复杂度保证的随机及增量次梯度优化算法,成功应用于 BHV 树空间等场景下的 -均值问题求解。
本文通过研究加权等周问题导出了新的加权 Pólya-Szegö 型不等式,进而建立了加权 Sobolev 空间的嵌入定理,从而将相关结果推广至三维情形并用于解决一类半线性退化椭圆方程的边值问题。
本文利用纯稳态局部方法,将熟知的拉普拉斯特征函数内部非集中估计推广至具有光滑边界的紧致流形边界上,并由此结合 Sogge 的结果导出了 Grieser 关于 Dirichlet 或 Neumann 特征函数的 最优上界。
本文提出了一种受 Fayad 和 Lemańczyk 启发的新方法,用于证明具有端点奇异性的分段光滑上循环的区间交换变换斜积的遍历性,该方法突破了以往仅适用于对数型奇点的限制,特别适用于对称区间交换变换与反对称上循环的情形,并能有效研究局部哈密顿流在包含非完美鞍点情形下的谱分解误差项的等分布问题。
该论文证明了在满足特定增长条件的非退化有限熵概率测度下, wreath 积 上随机游走的渐近熵关于步分布是连续的,并通过建立返回概率的连续性以及利用泊松边界上调和测度的弱连续性,将这一结果推广至线性群和作用于 空间的群等新类群。
本文研究了探索者 - 导演博弈的路径变体,证明了在最优策略下,基于路径长度的访问顶点数 与基于距离的访问顶点数 之间的差值可以任意大。
本文证明了自共形测度及仿射不可约自相似测度的分解结果,并由此推导出关于这些测度下向量非对数型丢番图逼近及非奇异性的结论。
该论文证明了对于非平稳伯努利乘积测度,当偏差项 的衰减阶数 大于 时,几乎所有点均满足佩雷斯 - 魏斯意义下的简单泊松通用性,而低于此阈值则可能失效,从而揭示了该测度虽与均匀乘积测度奇异却仍具有泊松通用性的参数范围。
本文计算了全纯海克尖形式海克特征值部分和 在权重 较大且求和长度 情形下的一阶与二阶矩,揭示了当 分别接近 和 时和式大小的相变现象,并指出当 时其平均大小将显著减小。
本文通过利用希尔伯特方案将浅层乘积指数线性逻辑(MELL)证明建模为局部射影概型,并证明了该几何模型在切消下的不变性,从而建立了证明论与代数几何之间的新联系。
本文通过借鉴作者此前关于通用割丛与典范曲线关系的研究,为奇数 genus 一般曲线的格林猜想(Voisin 定理)提供了一种避免复杂计算的简洁新证明。
本文通过结合卡尔森方法、改进的汉克尔行列式分析以及非阿基米德整除性条件,证明了若满足同余保持条件且增长受控的整数序列的生成函数在原点处至多有两个奇异方向,则该序列必为多项式序列,从而表明鲁扎猜想若存在反例,其生成函数必须具有至少三个奇异方向。
本文利用调和分析推翻了关于 Buvoli 提出的一种高阶显式时间步进格式在精度趋于无穷时仍能保持稳定的猜想,同时证明了该方法相较于传统显式格式具有显著增强的稳定性,并给出了确定特定抛物稳定性半径下最大允许精度的判据及统一的稳定性分析策略。
该论文证明了由 Bachmann-Hoyois 引入的 -谱中诺模代数的 -范畴可由任意有限群 的 -对称谱中的严格交换代数建模,并以此在更高范畴层面描述了 Schwede 的超交换全局环谱,将其展现为不同 对应的真正 -谱 -范畴的偏松弛极限。
本文通过引入依赖型有向接线图算子,构建了能够处理输出直接依赖输入(如 Mealy 机和参数化辅助变量的库存流图)的瞬时系统组合代数,并给出了其到 Mealy 机的语义解释。
该论文确定了具有优先连接核的非齐次随机图在次临界状态下最大连通分量的规模,发现其大小与图规模呈多项式关系且指数严格大于最大度指数,这与秩一核情形形成鲜明对比,其证明依赖于超越弱局部极限的分支随机游走局部逼近及次临界截断分支随机游走的新结果。
该论文通过建立随机迭代算子谱半径的新界及其与非交换代数中 Perron-Frobenius 理论的关联,推导出了高斯 - 塞德尔和 Kaczmarz 方法的渐近收敛速率,从而缩小了理论与实践的差距,并量化了松弛参数对性能的提升作用,解决了 Strohmer 和 Vershynin 在 2007 年提出的开放问题。
本文建立了仿射逻辑中的稳定性理论,证明了包括类型定义、非叉分扩张存在性及任意集上的稳定性等经典结果,并确立了稳定性在可测结构直积分下的保持性及其在连续逻辑随机化推广中的应用。
该论文提出了一种统一的谱分解系统框架,通过引入新的简化最小化原理,将希尔伯特空间上谱函数的凸分析问题(如共轭、次梯度及 Bregman 邻近算子的计算)转化为更简单的不变函数问题,从而为傅里叶相位不变函数、混合范数正则化及矩阵特征值函数等广泛应用提供了构造性的解析工具。
该论文定义了强(弱)左雅各布森环,证明了有限维代数上的多项式环满足单侧非交换希尔伯特零点定理(即强左雅各布森且极大左理想余维数有限),并刻画了阿祖马代数及中心有限生成代数的左雅各布森性质。