math
04-13 00:00
本文研究了具有乘性噪声和局部控制的随机热方程的长时间行为。首先分析了无控系统的动力学，推导了均方和几乎必然指数稳定性的显式衰减率，揭示了两种稳定性概念在不同参数条件下成立，反映了漂移项与乘性噪声之间的相互作用。随后，引入了一个基于解有限个傅里叶模式构建的、作用于正测度可测子集上的有限维反馈控制。研究表明，受控模式的数量决定了衰减率，并允许在均方意义下实现任意快速的镇定。通过概率论证，几乎必然指数稳定性得以恢复，从而在同一框架内、以相同衰减率实现了两种稳定性。作为应用，本文基于反馈形式适应控制的迭代构造，为随机热方程的能控性提供了一个新的证明，避免了使用伴随方程。
随机热方程乘性噪声反馈控制稳定性分析有限维控制
math
04-13 00:00
研究超图数据被投影为加权邻接矩阵后，如何检测和恢复其中隐藏的团结构。论文证明，在仅观测此矩阵的情况下，基于谱范数的检验方法在团规模为 $\sqrt{n}$ 时能实现渐近最优检测。同时，基于主特征向量的多项式时间谱方法可在相同规模下实现精确恢复。分析还扩展至背景超边概率依赖于 $n$ 的稀疏情形，为仅依赖矩阵观测的图分析提供了严格的理论保证。
超图分析隐藏团检测谱方法统计推断图模型
math
04-13 00:00
本文提出了一种新的 h-γ 开花法，将 γ-开花法（适用于由两个线性无关函数 γ₁、γ₂ 张成的函数空间）与 h-开花法（适用于 h-Bernstein 基和 h-Bézier 曲线）相结合。该方法针对平移不变的 (γ₁, γ₂) 空间，定义了相应的 h-γ Bernstein 基和 h-γ Bézier 曲线。研究建立了这些新方案的递归求值算法、细分过程、Marsden 恒等式，以及升阶和插值公式，为多项式、三角函数、双曲函数及其离散类似物提供了统一的框架。
几何造型bézier曲线开花法函数空间平移不变性bernstein基
math
04-13 00:00
本文提出了一种通用框架，用于构造性地证明一维Thomas模型中稳态局部化解、空间周期解及其解分支的存在性。该方法基于Newton-Kantorovich方法，通过为近似解$\bar{\mathbf{u}}$构造线性化算子的近似逆，并验证特定不动点映射在$\bar{\mathbf{u}}$邻域内的收缩性，从而为计算机辅助分析提供了严格的理论基础。针对模型的非多项式非线性项，研究采用了特殊处理技术，相关验证代码已在GitHub开源。
thomas模型局部化解周期解计算机辅助证明非线性分析动力系统
math
04-13 00:00
本文研究了定义在维数大于等于四的闭黎曼自旋流形$(M,g)$上的一类广义共形不变方程，该方程涉及Dirac算子与卷积型非线性项。作者证明了，除非$(M,g)$共形等价于标准球面，否则该问题对应的Aubin型不等式总是严格的。这一关键结论直接导出了四维情形下共形Dirac-Einstein问题基态解的存在性结果。这是首次在四维情形下，摆脱了微扰或特殊条件的限制，为该类方程提供了普遍的存在性定理。
共形几何dirac算子自旋流形存在性定理非线性方程几何分析
math
04-13 00:00
本文针对Adam优化器在理论上的不完整性，提出了一种收敛的重构方法。通过结合变量与算子分裂以及曲率感知梯度校正，作者构建了连续时间的Adam-HNAG流，并证明了其具有指数衰减的Lyapunov函数。同时，提出了两种离散化方法：Adam-HNAG及其同步变体Adam-HNAG-s。在统一的Lyapunov分析框架下，为这两种方法在凸光滑优化问题中建立了收敛性保证，包括加速收敛。数值实验支持了理论结果，并展示了两种离散化方法的不同经验行为。据作者所知，这是首次为凸优化中的Adam类方法提供收敛性证明。
优化算法adam优化器收敛性分析lyapunov函数加速收敛
math
04-13 00:00
本文研究了群 $G=\SL(2,\R)\ltimes(\R^2)^{k}$ 在算术商空间 $\Gamma\backslash G$ 上的动力学。其中 $\Gamma$ 为 $\SL(2,\Z)\ltimes(\Z^2)^{k}$ 的同余子群，$u_{\R}=(u_x)_{x\in\R}$ 是由 $u_x=\left(\begin{pmatrix} 1 & x \\ 0 & 1 \end{pmatrix},0\right)$ 定义的单参数子群。作者证明了 $u_{\R}$-轨道的扩张平移以及长轨道段在 $\Gamma\backslash G$ 中具有多项式有效的渐近等分布性质。证明的一个关键工具是圆法的 delta 符号版本。
齐性空间等分布单参数子群圆法动力学数论
math
04-13 00:00
本文针对大语言模型的多比特生成式水印问题，在严格的最坏情况误报约束下，首次完全刻画了最优水印性能。研究指出先前声称达到理论下界的方案实际是次优的，并通过构建两种新的编码-解码方案，严格达到了理论下界。核心方法是将水印设计问题建模为线性规划，并推导出实现最优性的结构条件。该工作解决了有限文本长度下检测概率与误报率之间的根本权衡问题。
生成式水印大语言模型信息论最优编码线性规划误报约束
math
04-13 00:00
本文从随机最大值原理（SMP）出发，为伴随匹配方法建立了严格的理论基础。该方法用于学习扩散模型奖励微调、玻尔兹曼分布采样等随机最优控制问题中的最优控制。研究提出了一个适用于控制依赖漂移和扩散、具有凸运行成本的通用哈密顿伴随匹配目标，并证明其期望值的一阶变分与原SOC目标相同，因此其临界点满足Hamilton–Jacobi–Bellman（HJB）平稳条件。在扩散项与状态和控制无关这一重要实际情形下，研究恢复了先前提出的精简伴随匹配损失，其临界点与最优控制一致。最后，研究将伴随匹配解释为由SMP诱导的连续时间逐次逼近方法，为基于SMP的算法提供了可实现的替代方案。
随机最优控制伴随匹配随机最大值原理扩散模型哈密顿系统hjb方程
math
04-13 00:00
本研究证明了在空间维度 $d \ge 3$ 的超临界短程依赖情形下，具有高斯随机初始条件的Allen-Cahn反应-扩散方程的解，在经过扩散尺度缩放后，其大尺度行为收敛于一个由白噪声驱动的热方程的解。该极限的初始条件同时依赖于随机源和非线性项。证明结合了比较原理和Malliavin微积分，为其他超临界问题的研究提供了新思路。
随机偏微分方程中心极限定理allen-cahn方程超临界反应扩散大尺度行为
math
04-13 00:00
本文首先证明了有序亨泽尔赋值域在Denef-Pas语言中允许相对域量词消去，这得益于其“重辉煌性”。其次，通过维度约简定理，推导出任何在有序亨泽尔赋值域上可定义的集合，相对于序拓扑都是Borel集。这些结果被置于Shelah的NIP域分类猜想框架下，并与可定义亨泽尔赋值及统计学习基本定理的研究相联系。
模型论赋值域量词消去borel集nip理论拓扑
math
04-13 00:00
本文系统阐述了有限域的伽罗瓦理论。对于一个度为 $n$ 的有限域扩张 $K \subset F$，证明了其所有中间域集合与 $n$ 的所有正因子集合 $k$ 之间存在一一对应。该扩张的伽罗瓦群是 $n$ 阶循环群，其子群集合同样与 $n$ 的因子一一对应，从而完整建立了该扩张的伽罗瓦对应。最后，概述了适用于任意域的伽罗瓦理论基本定理。
伽罗瓦理论有限域域扩张循环群中间域多项式方程
math
04-13 00:00
本文构造了不可压缩磁流体动力学（MHD）方程组的一族解 $(u, B)$，其 $L^\infty$ 范数以临界速率在初始时刻瞬时爆破，但在爆破时间之外保持光滑。构造的核心是结合了逆能量级串机制和沿时间序列的凸积分方案，灵感源于作者先前对Navier-Stokes方程的研究。主要挑战在于处理MHD系统的耦合性，并需在迭代凸积分过程中始终保持主解的相同拟设。为此，作者引入了一个新的耦合几何引理，可同时分解对称张量和反对称张量，该引理本身具有独立的研究价值。
磁流体动力学凸积分瞬时爆破非唯一性光滑解逆能量级串
math
04-13 00:00
本文系统发展了无限群的子因子与子指数理论，建立了群论与加性组合数学、数论之间的深刻联系。核心贡献包括：证明了所有无限群都是指数不稳定的；引入了适用于无限群的右子因子算法（RSFA）；为可数群子集的指数稳定性提供了普适性判据；精确计算了多个重要整数序列的子指数；并修正了早期研究中的若干不准确之处。该工作将相关研究从有限群拓展至无限群（特别是数群），并围绕素数差等问题提出了弱化版本的猜想及一系列待解决的公开问题。
子因子理论无限群指数稳定性加性组合数论算法
math
04-13 00:00
该研究探讨了三个互异非零有理数 {a, b, c} 的集合，要求满足 a+1, b+1, c+1, ab+1, ac+1, bc+1 以及 abc+1 这七个表达式均为完全平方数。研究证明，存在无限多组这样的有理数三元组。然而，当限制 a, b, c 为正整数时，则不存在任何解。这一结果揭示了该丢番图问题在有理数域与正整数域上的根本性差异。
数论丢番图方程平方数有理数解正整数解
math
04-13 00:00
本文研究了在非自反Banach空间$X$上，序列空间$\ell^p(X)$（$1 < p < \infty$）中单位向量状态空间$S_x$上恒等映射的弱$^*$-弱和弱$^*$-范数连续性点。利用这些结果，刻画了$\ell^p(X)$中单位向量状态空间的弱紧性和范数紧性。此外，解决了关于Bochner可积函数空间$L^1(\mu, X)$中弱紧状态空间刻画的一个公开问题，并在不对$X$附加假设的情况下给出了局部解。受S. Daptari等人的工作启发，证明了若$L^1(\mu, X)_1^*$中所有弱$^*$-弱连续性点的集合在$L^1(\mu, X)_1^*$中弱稠密，则$X^*$具有Radon-Nikodým性质（RNP）。
banach空间状态空间弱连续性radon-nikodým性质函数空间紧性刻画
math
04-13 00:00
本文研究了一类具有p次线性扰动的拟线性奇异各向异性椭圆问题。作者证明了弱解的唯一性，并以Lazer和McKenna的经典论文为范本，给出了弱解存在的充分必要条件。该研究为处理具有奇异性和各向异性结构的非线性偏微分方程提供了新的理论工具。
奇异椭圆方程各向异性问题弱解存在性唯一性证明拟线性方程
math
04-13 00:00
本文研究了有限维向量空间上线性变换在非完美域（即域的特征可能为正且不可分扩张）上的Jordan-Chevalley分解问题。作者给出了此类分解的完整分类，即线性变换可分解为交换的半单部分与幂零部分之和的条件与结构。该结果推广了经典完美域（如特征零域或代数闭域）上的理论，为表示论及相关领域提供了更一般的工具。
jordan-chevalley分解非完美域线性变换半单部分幂零部分表示论
math
04-13 00:00
本研究针对具有指数索赔和比例投资的Cramér-Lundberg模型，给出了生存概率的精确解。通过将原积分微分方程简化为双合流Heun方程，得到了用Heun函数表示的显式解，并提供了验证定理。该工作实现了对破产概率与投资份额关系的定性分析，为风险管理提供了新的理论工具。
风险理论破产概率heun函数比例投资精确解保险数学
math
04-13 00:00
本文在大基数假设下，研究了自由左分配代数（LDA）的代数性质。主要贡献包括：证明了具有不同生成元个数的有限生成自由LDA是Σ₁初等等价但非Σ₂初等等价的；构造了单生成自由LDA的一个典范扩展，其中任意固定元素的左乘作用都是LDA间的初等嵌入。该扩展具有齐次性和泛性，为Laver的表示定理提供了部分结构类比。这些结果进一步展示了某些代数性质可在大基数下证明，但在ZFC公理系统中尚无已知证明。
自由左分配代数大基数初等等价典范扩展集合论代数逻辑
math
04-13 00:00
本文研究了代数群表示的中性性质及其在模场理论中的应用。主要贡献包括：1）完全分类了三维及以下有限群的忠实中性表示；2）提出了适用于任意维度的有限阿贝尔群表示中性性质的通用计算判别法；3）发展了任意站点上叠态射正规化子的抽象理论，证明了正规化子仅依赖于态射的几何类型。这些结果为研究Tannakian范畴、商奇点及模空间剩余叠的上同调提供了新工具。
代数群表示中性表示模场理论有限群分类叠理论tannakian范畴
math
04-13 00:00
本文提出了一种算法，用于确定椭圆曲线上奇数阶单点生成的数域中素数的分解类型。该算法通过分析椭圆曲线挠点的性质，能够高效计算相应数域的Dedekind zeta函数系数，为数论与算术几何的交叉研究提供了新的计算工具。
椭圆曲线dedekind zeta函数素数分解数域算法
math
04-13 00:00
本文提出一种适用于AI丰富环境的高等数学服务课程教学方法。其核心并非禁止使用工具，而是将评估信任从书面作业转移到学生的现场口头解释、即时提问以及教师根据课程目标进行的累积性观察上。该方法以现实数学教育为指导，采用“问题先行”的任务构建、短小精悍的数学任务，并强调学生在尝试后由教师进行知识整合。论文贡献包括可操作的每周教学循环、区分专业、学科与经验真实性的框架、对工具的中间立场，以及适用于中小规模班级的累积性口头证据评估模型。
数学教育人工智能教学方法口头评估高等教育现实数学教育
math
04-13 00:00
本文基于伽罗瓦理论，证明了代数方程根式可解的一个必要条件。文章首先回顾了伽罗瓦理论的基本结果，并直接引用了标准教材中的若干结论。该证明是多项式方程可解性理论的核心组成部分，为理解方程根式求解的深层结构提供了理论依据。
伽罗瓦理论根式可解多项式方程域扩张群论