高阶WKBJ理论中斯托克斯乘子的自同构研究
本文研究了线性微分方程和积分问题WKBJ分析中出现的渐近超级数的斯托克斯现象及其高阶形式。作者引入了一个自同构框架，通过晚期项展开和参数化Alien演算来解释发散展开的斯托克斯常数，以捕捉这一现象。该方法应用于突变理论中的燕尾问题，获得了其完整的斯托克斯线结构和自同构。研究表明，在具有四个或更多WKBJ分量的系统中，与高阶斯托克斯现象相关的自同构本身可以在另一条高阶斯托克斯线上改变其值，这发生在不同高阶斯托克斯线相交时。
2026-03-17 速览 · 数学
2026-03-17 共 24 条抓取，按综合热度排序
有限字母表洗牌隐私的混合高斯-复合泊松极限理论
本文作为系列研究的第三部分，完成了有限字母表洗牌隐私的弱极限理论。通过引入主导块商几何结构，揭示了相邻洗牌实验的极限行为：投影到主导切空间的和上产生高斯因子，而商掉这些切空间则在稀有块中分离出复合泊松跳跃场。研究还确定了该几何描述完全决定隐私曲线的机制，以及当投影跳跃极限不足时出现的障碍。进一步证明了全混合实验的 $O(n^{-1/2})$ 收敛速率在一般情况下是最优的，并给出了恢复 $O(n^{-1})$ 速率的兼容性条件。结合前两部分，最终构建了包含三个普适性区域和精确有限字母表 Lévy–Khintchine 层的完整理论框架。
经典群局部Arthur包表示波前集上界的Jiang猜想研究
本文针对经典群局部Arthur包中表示的波前集上界，研究了Jiang猜想。该猜想是著名Shahidi猜想的自然推广，揭示了波前集结构与局部Arthur参数之间的关系。通过应用局部Arthur包的特征恒等式与内窥提升的匹配方法，作者将上界问题转化为一般线性群对应双扭子表示的波前集性质研究，为理解表示论中轨道结构与参数对应提供了新视角。
经验贝叶斯视角下的异方差均值估计：一种无需方差知识的稳健方法
本文研究在观测方差未知且任意变化时，如何从异方差高斯观测中估计均值参数。作者提出一种基于经验贝叶斯的简单方法：将观测建模为来自正态尺度混合分布的独立同分布样本，并将非参数混合分布视为冗余参数，计算均值的轮廓最大似然估计量。结果表明，该估计量在多种异方差模型下均能达到近乎最优的误差界。特别地，在“信号子集”问题中，它能自适应地达到所有信号规模下的极小极大速率，包括尖锐的相变点，且无需任何调参。关键技术贡献是通过切比雪夫近似在变换多项式基上获得了更尖锐的正态尺度混合度量熵界，将方差比的依赖改进为多对数级。
基于立方体-平面相交面积的离散Radon变换
本研究针对体素化数据，推导了任意维度$d$下轴对齐立方体Radon变换的闭式分段多项式表达式。基于此公式，提出了一种在$\mathbb{R}^d$中既对体素数据解析精确又计算高效的离散Radon变换方法。为提高数值稳定性，引入正则化变体，将立方体的Radon变换（即立方体与超平面相交的$(d-1)$维面积）替换为立方体与超平面周围薄板相交的$d$维体积。数值实验验证了该方法在3D形状匹配、分类及切片Wasserstein重心等应用中的有效性，并通过与蒙特卡洛积分的比较证实了其在更高维度下的计算效率。
环形振荡器真随机数生成器的联合验证框架：关联理论与经验指标
本文首次提出了一个联合验证框架，将用于评估真随机数生成器（TRNG）伪随机性的理论指标（Mauduit-Sárközy二阶非峰值关联度量 $C_2$）与经验指标（Maurer通用统计检验的Z分数）联系起来。研究推导了在基于计数器的环形振荡器TRNG架构中，上述指标与高阶马尔可夫链转移概率之间的数学关系。通过OpenTRNG实现的计算验证表明，实际实现能达到Schmidt改进的理论界限，且Maurer Z分数与 $C_2$ 之间存在强正相关性，为构建统一的TRNG质量评估简化指标提供了基础。
多机器人系统动态拓扑控制：基于领导节点的分布式边增删机制
本文针对存在未知动态扰动和通信延迟的多机器人系统，提出了一种新颖的混合拓扑控制方法。该方法采用基于动态领导节点的分布式决策算法，通过中心节点进行实时图重构，将决策时间从依赖节点数减少为依赖图直径，且仅需一轮网络信息传递。核心贡献包括：1）提出一种能主动补偿未知扰动和通信延迟的机器人位置估计算法；2）中心节点基于位置估计，在保证新图直径不超过阈值的前提下，智能选择待删除边并允许新边形成。仿真结果验证了该方法的有效性。
基于草图技术的Tucker张量高效求和算法
本文提出了一种基于草图技术的Tucker张量高效求和方法。该方法利用Khatri-Rao和Kronecker乘积的代数结构，在控制秩增长和计算成本的同时，实现了对Tucker张量的压缩算术运算。所提出的草图框架避免了大型中间张量的显式构造，而是直接对因子矩阵和核心张量进行操作，以生成张量和的精确低秩近似。理论分析涵盖了计算复杂度和近似性质。数值实验在四个问题上验证了方法的有效性：两个合成测试案例、一个通过GMRES求解的参数依赖椭圆方程（即“饼干问题”），以及一个通过高阶间断伽辽金方法离散化的一维线性输运问题。在这些例子中，基于草图的求和方法在保持相对于直接求和与重压缩高精度的同时，实现了显著的计算节省。
匹配规则与上闭链条件的等价性：彭罗斯与投影拼图的离散势函数
本文首次在数学上严格建立了非周期拼图中匹配规则与高度函数之间的等价关系。通过引入一个上链优先的框架，证明了匹配规则、Ammann 棒连续性、关联 1-上闭链的循环闭合性以及高度函数存在性之间的四重等价。该框架通过半边/粘合构造实现：为每个 Ammann 棒族分配一个有符号的穿棒计数，得到一个反对称 1-上链。当相邻拼图在共享边上一致时，全局上链存在，其循环闭合性通过离散庞加莱引理产生一个标量势，即经典的 Ammann 高度函数。该框架可统一推广到来自 $\mathbb{Z}^N$ 的典型投影拼图，其坐标上链重构顶点位置 $v = \sum_{k=1}^N x_k(v)\,\mathbf{e}_k^*$，并形成 $\check{H}^1 \cong \mathbb{Z}^N$ 的 $\mathbb{Z}$-基，从而产生具有识别间隙 $\mathcal{R}(\mathcal{T}) \cong \mathbb{Z}^N$ 的守恒强制结构。
C*-代数与群的MF性质：关于融合自由积的新结果
本文研究了C*-代数与群的MF（矩阵场）性质。主要证明了：对于任意MF C*-代数A及其子代数C，其融合自由积A∗_C A也是MF的。对于一般的融合自由积A∗_C B，给出了其为MF的充要条件。研究还表明，一系列重要群的全群C*-代数具有MF性质，包括可解群的融合自由积、自由群与可解群的半直积，以及Z²⋊SL₂(Z)。此外，证明了MF C*-代数类在与自由群C*-代数的极大张量积下封闭，并对Hilbert-Schmidt稳定C*-代数及其融合自由积上的超线性迹的MF性质进行了探讨。
范畴论新框架：用极化范畴统一理解数学中的“完备化”构造
本文提出了“极化范畴”理论，为数学中多种“完备化”、“包络”和“壳”构造（如布尔代数完备化、Dedekind–MacNeille完备化、乘子环、C*-代数的乘子代数与冯·诺依曼包络）提供了一个统一的范畴论框架。通过引入“正/负箭头”的区分，定义了“极性”与“电压”概念，并利用“电容器”（极化版本的反射子范畴）构造出“完备化函子”。该框架的核心贡献在于，即使完备化无法在整个范畴上由函子给出（常见情况），也能确保函子性完备化函子的存在唯一性，并通过关于正负箭头的两个万有性质来刻画每个对象的完备化。
基于Wasserstein梯度流计算Gross-Pitaevskii基态的新方法
本研究提出一种通过微分同胚空间中的Wasserstein梯度下降计算Gross-Pitaevskii方程基态的新方法。该方法将密度 $\rho=u^2$ 表示为固定参考测度通过参数化传输映射 $T_\theta$ 的前推，该映射由边界保持神经ODE实现。概率密度上的Wasserstein梯度流提升为有限维参数空间中的自然梯度下降，其度量张量由Wasserstein度量的拉回给出。该方法完全无网格且无需归一化即可保持单位质量约束。数值实验表明，参数化Wasserstein梯度流输出可用于初始化 $H^1$ Sobolev梯度流，在2D和3D中分别将初始能量间隙减少了7倍和4.5倍。
单事件多项凯利最优解：隐含状态头寸视角
本文针对具有有限互斥结果的单事件，重新审视了最大化期望对数财富的“全凯利”问题。作者提出了一种基于状态价格的简洁推导方法，将现金头寸 $c$ 解释为对每个结果的隐含基准投注 $cq_i$（$q_i$ 为状态价格）。在活跃结果集上，最优显性投注 $x_i$ 只需将总头寸从基准 $cq_i$ 补充至最优水平 $p_i$，从而得到公式 $x_i = (p_i - c q_i)_+$ 与阈值规则 $p_i/q_i > c$。通过对 $p_i/q_i$ 排序，可一次性贪心算法确定活跃集。该视角提供了标准结果的紧凑证明与便于记忆的求解框架。
基于集合控制理论的状态空间模型训练分析
本研究将状态空间模型的训练问题重新表述为一个集合最优控制问题，其中共享的控制律支配着一组依赖于输入的动态系统。通过推导该集合控制公式的庞特里亚金最大值原理，为训练过程提供了最优性的必要条件。基于这些条件，研究团队引入了一种基于逐次逼近法的算法，并证明了该迭代方案沿子序列的收敛性，同时建立了全局最优性的充分条件。该框架为理解SSM的训练动态提供了严格的控制理论视角。
基于Wasserstein梯度流的反馈控制与局部凸化方法
本文研究了一类自由能泛函的Wasserstein梯度流（即平均场朗之万动力学）在平稳态附近的动力学行为。核心贡献在于：首先，将Wasserstein Hessian算子与一个在势变量希尔伯特空间上具有紧预解式的自伴算子等同起来，该算子生成了线性化梯度流。基于此谱分析，作者设计了一种有限秩反馈控制律（通过代数Riccati方程实现），能够将闭环Hessian谱移动至任意预设阈值 $\delta > 0$ 之上。这一控制策略确保了非线性闭环流以速率 $\delta$ 局部指数收敛到平稳态 $\bar{\mu}$。在满足一阶变分二阶余项假设的条件下，相应的闭环能量在坐标卡中也是局部强凸的。该框架在平坦环面上得到验证，并可推广至多物种系统、矩约束Fokker-Planck方程及闭黎曼流形等场景。
哈代-李特尔伍德猜想推广至殆素数元组
本文推广了经典的哈代-李特尔伍德猜想，从素数元组密度问题延伸至殆素数元组（具有指定素数因子数量的数）。研究考察了每个元素满足特定因子分解要求的自然数元组，并提出了此类元组数量的渐近公式。公式中的密度由两个常数的乘积决定：仅依赖于元组模式的经典塞尔伯格常数，以及仅依赖于元组各位置素数因子数量要求集合的修正因子。作者证明了素数模式的可容许性蕴含了其对殆素数模式的可容许性，并建立了对称性原理——修正因子仅依赖于要求的多重集，而与元组内元素的顺序无关。此外，基于塞尔伯格常数在模式拉伸下的不变性，本文发展了一种计算修正因子的经验分析方法，并在小长度元组（如对和三元组）上进行了测试，提供了高精度的计算系数表。
高阶算法突破ℓp范数非单调变分不等式求解瓶颈
本文针对一类具有ℓp范数结构的非单调变分不等式，提出了一系列新颖的高阶算法。先前工作（Diakonikolas et al., 2021）在求解弱Minty变分不等式时，其ℓp范数平稳点保证仅限于参数ρ=0的标准MVI情形。本工作填补了这一关键空白，所提出的高阶方法能够在ρ>0的合适范围内收敛到ℓp范数平稳点，从而规避了ℓp设置中的根本性挑战。此外，研究还将结果推广至高阶光滑单调算子（p≥2），并将欧几里得技术延伸至连续时间场景。
AutoSCEP：自动化容量扩展规划方法，实现大规模不确定性下的高效决策
本研究提出AutoSCEP方法，用于解决大规模不确定性下的容量扩展规划问题。该方法通过自动化、统计驱动的流程，为固定规划方案确定估算生产成本所需的最小场景数量和运营周期长度，以达到给定精度。利用这些估算，训练线性和神经网络代理模型来近似任意规划方案的预期生产成本，并将代理模型嵌入规划模型。在洲际规模的EMPIRE系统上测试，AutoSCEP在缩减模型上达到2%的最优性差距，在大模型上达到8%的差距，在同等计算预算下优于并行渐进对冲算法。该方法使得在现实系统规模下进行高分辨率不确定性建模成为可能。
图论中的支配着色博弈：最小度与博弈数的关系
本文研究图上的支配着色博弈，两名玩家轮流为顶点着色，Alice的目标是使所有颜色类都成为支配集。作者证明了对于任意n阶图G，其博弈支配数满足 $\operatorname{dom_g}(G,X)=\Omega\left(\frac{\delta(G)}{\log n}\right)$，其中$\delta(G)$为最小度。同时构造了最小度为k但博弈数仅为1的图，以及博弈数为1但传统支配数可达k的图，揭示了博弈版本与传统概念的显著差异。
非平凡 nebentypus 模形式 Galois 表示场的 Bogomolov 性质
本文研究了具有 Bogomolov 性质（即 Weil 高度有正下界）的数域。作者将 Amoroso 和 Terracini 关于模形式 Galois 表示场的结果，从平凡 nebentypus 特征的情形推广到了非平凡 nebentypus 特征的情形。此外，受 Amoroso、David 和 Zannier 工作的启发，本文引入了 ADZ 场的概念，证明了这类场在任意复合运算下能保持 Bogomolov 性质。
正积分算子在Lorentz-Gamma空间有界性的刻画
本文研究了定义在$\mathbb{R}^{2n}$上非负可测核$K$生成的正积分算子$T_K$，在Lorentz-Gamma空间$\Gamma_{p,\phi_2}(\mathbb{R}^n)$与$\Gamma_{q,\phi_1}(\mathbb{R}^n)$（其中$1<p, q<\infty$）之间的有界性。作者通过引入并分析一个由核$K$和权函数$\phi_1, \phi_2$构造的辅助函数$\psi$，给出了该算子有界性的充要条件。这一结果为调和分析与函数空间理论中算子有界性的判定提供了新的工具和视角。
含时间分数阶导数的非线性抛物问题：双奇异Hardy势下的p-Laplacian
本文研究了带有双奇异Hardy型势的时间分数阶p-Laplacian抛物问题。作者证明了弱解的比较原理和先验估计，并深入探讨了全局弱解的存在性与解的有限时间爆破现象。研究发现，解的行为（存在或爆破）取决于一个最优的Hardy常数，这为理解此类复杂非线性分数阶偏微分方程的解的性质提供了关键理论依据。
循环平坦嵌入定理：连接拟阵与q-拟阵的桥梁
本文通过循环平坦这一共同结构不变量，在拟阵与一类称为坐标q-拟阵的子类之间建立了对应关系。核心成果是一个循环平坦嵌入定理，证明横截拟阵的循环平坦结构在此对应下得以保持。这为将拟阵理论的结构性质转移到q-拟阵领域提供了机制。应用上，证明了嵌套q-拟阵是横截的，从而是可表示的。此外，分析了横截q-拟阵在二元运算下的性质，证明了其在自由积下封闭，并为直和提出了自然的表示。
谱分析新进展：经典哈密顿系统的逆问题与混合谱问题
本文综述了利用作者先前发展的方法在经典哈密顿微分方程系统谱分析领域取得的最新成果。重点讨论了经典哈密顿系统的逆谱问题以及薛定谔算子的混合谱问题。研究揭示了逆谱问题与希尔伯特变换、正交多项式、间隙问题及黎曼-希尔伯特问题等经典分析工具之间的深刻联系，并以实例加以说明。