Iterating reflection over intuitionistic arithmetic
本文研究了直觉主义算术（HA）上的迭代一致性、局部与均匀反射原理，并借鉴 Rathjen 对经典结果证明的方法，为 Dragalin 关于 HA 的 Feferman 完备性定理扩展提供了新的证明。
🔢 Category
math
2553 篇论文
Long-range one-dimensional internal diffusion-limited aggregation
本文研究了长程一维内部扩散限制聚集模型，证明了当驱动随机游走的增量具有有限方差时，聚集团簇在 步后几乎由围绕原点的对称连续块构成（将已有结果推广至最优矩条件），而当增量属于 $1<\alpha<2\alpha$-稳定律吸引域时，团簇虽包含比例小于 1 的连续块，但无法达到完全连续。
Analytic Properties of an Orthogonal Fourier-Jacobi Dirichlet Series
本文通过正交型克林根艾森斯坦级数的积分表示，研究了涉及正交群尖点形式傅里叶 - 雅可比系数的狄利克雷级数的解析性质，在特定格条件下建立了其与辛群艾森斯坦级数的theta对应，从而证明了该级数的全纯延拓，并在格情形下导出了精确的函数方程。
Witt Group of Nondyadic Curves
本文通过研究 Theta 特性的存在性，利用约化方法计算了特征不为 2 的非阿基米德局部域上光滑本征曲线的导出 Witt 群。
Stochastic and incremental subgradient methods for convex optimization on Hadamard spaces
该论文针对非正曲率度量空间（Hadamard 空间）中缺乏线性结构导致次梯度构造困难的问题，提出了一种基于 Busemann 函数的新型次梯度定义，并据此构建了具有复杂度保证的随机及增量次梯度优化算法，成功应用于 BHV 树空间等场景下的 -均值问题求解。
On some Sobolev and Pólya-Szegö type inequalities with weights and applications
本文通过研究加权等周问题导出了新的加权 Pólya-Szegö 型不等式，进而建立了加权 Sobolev 空间的嵌入定理，从而将相关结果推广至三维情形并用于解决一类半线性退化椭圆方程的边值问题。
Non-concentration estimates for Laplace eigenfunctions on compact manifolds with boundary
本文利用纯稳态局部方法，将熟知的拉普拉斯特征函数内部非集中估计推广至具有光滑边界的紧致流形边界上，并由此结合 Sogge 的结果导出了 Grieser 关于 Dirichlet 或 Neumann 特征函数的 最优上界。
On the ergodicity of anti-symmetric skew products with singularities and its applications
本文提出了一种受 Fayad 和 Lemańczyk 启发的新方法，用于证明具有端点奇异性的分段光滑上循环的区间交换变换斜积的遍历性，该方法突破了以往仅适用于对数型奇点的限制，特别适用于对称区间交换变换与反对称上循环的情形，并能有效研究局部哈密顿流在包含非完美鞍点情形下的谱分解误差项的等分布问题。
Continuity of asymptotic entropy on wreath products
该论文证明了在满足特定增长条件的非退化有限熵概率测度下， wreath 积 上随机游走的渐近熵关于步分布是连续的，并通过建立返回概率的连续性以及利用泊松边界上调和测度的弱连续性，将这一结果推广至线性群和作用于 空间的群等新类群。
A Path Variant of the Explorer Director Game on Graphs
本文研究了探索者 - 导演博弈的路径变体，证明了在最优策略下，基于路径长度的访问顶点数 与基于距离的访问顶点数 之间的差值可以任意大。
Disintegration results for fractal measures and applications to Diophantine approximation
本文证明了自共形测度及仿射不可约自相似测度的分解结果，并由此推导出关于这些测度下向量非对数型丢番图逼近及非奇异性的结论。
A threshold for Poisson behavior of non-stationary product measures
该论文证明了对于非平稳伯努利乘积测度，当偏差项 的衰减阶数 大于 $1/2$ 时，几乎所有点均满足佩雷斯 - 魏斯意义下的简单泊松通用性，而低于此阈值则可能失效，从而揭示了该测度虽与均匀乘积测度奇异却仍具有泊松通用性的参数范围。
The Second Moment of Sums of Hecke Eigenvalues I
本文计算了全纯海克尖形式海克特征值部分和 在权重 较大且求和长度 情形下的一阶与二阶矩，揭示了当 分别接近 和 时和式大小的相变现象，并指出当 时其平均大小将显著减小。
Linear Logic and the Hilbert Scheme
本文通过利用希尔伯特方案将浅层乘积指数线性逻辑（MELL）证明建模为局部射影概型，并证明了该几何模型在切消下的不变性，从而建立了证明论与代数几何之间的新联系。
A proof of generic Green's conjecture in odd genus
本文通过借鉴作者此前关于通用割丛与典范曲线关系的研究，为奇数 genus 一般曲线的格林猜想（Voisin 定理）提供了一种避免复杂计算的简洁新证明。
On Ruzsa's conjecture on congruence preserving functions
本文通过结合卡尔森方法、改进的汉克尔行列式分析以及非阿基米德整除性条件，证明了若满足同余保持条件且增长受控的整数序列的生成函数在原点处至多有两个奇异方向，则该序列必为多项式序列，从而表明鲁扎猜想若存在反例，其生成函数必须具有至少三个奇异方向。
On the Conjecture of Stability Preservation in Arbitrary-Order Adams-Bashforth-Type Integrators
本文利用调和分析推翻了关于 Buvoli 提出的一种高阶显式时间步进格式在精度趋于无穷时仍能保持稳定的猜想，同时证明了该方法相较于传统显式格式具有显著增强的稳定性，并给出了确定特定抛物稳定性半径下最大允许精度的判据及统一的稳定性分析策略。
Norms in equivariant homotopy theory
该论文证明了由 Bachmann-Hoyois 引入的 -谱中诺模代数的 -范畴可由任意有限群 的 -对称谱中的严格交换代数建模，并以此在更高范畴层面描述了 Schwede 的超交换全局环谱，将其展现为不同 对应的真正 -谱 -范畴的偏松弛极限。
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
本文通过引入依赖型有向接线图算子，构建了能够处理输出直接依赖输入（如 Mealy 机和参数化辅助变量的库存流图）的瞬时系统组合代数，并给出了其到 Mealy 机的语义解释。
The largest subcritical component in inhomogeneous random graphs of preferential attachment type
该论文确定了具有优先连接核的非齐次随机图在次临界状态下最大连通分量的规模，发现其大小与图规模呈多项式关系且指数严格大于最大度指数，这与秩一核情形形成鲜明对比，其证明依赖于超越弱局部极限的分支随机游走局部逼近及次临界截断分支随机游走的新结果。