math
04-07 00:00
本文推广了Hadamard三圆定理，为R^n空间中(n-1)维非同心球面上的调和函数（在加权L^2范数下）建立了一个直接类比。研究通过反演技术，将经典的同心球情形扩展至相关但不相交的非同心球情形。该结果在调和函数的小性传播和唯一性问题上具有应用价值。
调和函数三球面定理hadamard定理反演技术唯一性问题小性传播
math
04-07 00:00
本文针对许多安全约束（如正定性或特征值边界）更自然地表示为矩阵值条件的问题，提出了高阶矩阵控制屏障函数（HOMCBF）框架。该框架扩展了传统的标量控制屏障函数，直接处理控制输入不显现在一阶导数中的高阶矩阵约束。研究建立了确保相关约束适定性和可行性的条件，并证明在最优衰减HOMCBF公式下，仅需对最小特征子空间进行控制即可确保前向不变性。该框架通过一个具有非线性测量模型的双积分器系统的信息矩阵正定性约束定位安全问题进行了验证。
控制屏障函数矩阵约束系统安全高阶系统正定性约束
math
04-07 00:00
本文提出D-分裂方法，通过在扩展相空间上应用分裂技术，构建了高效的2N存储嵌入式显式龙格-库塔方法。该方法无需第三存储寄存器，特别适用于基于线方法的时变偏微分方程数值积分，兼顾计算效率与内存需求。研究分析了其伪几何特性，能比方法阶数更高地保持精确解的定性性质，并通过数值算例验证了定制化方法的性能。
数值积分龙格-库塔方法分裂方法偏微分方程低存储算法伪几何方法
math
04-07 00:00
本文推广了经典右理想相似关系，定义了环上模子模的相似概念。针对（忠实）射影模，建立了极大子模数量的精确下界：若N是M的极大子模，则要么N完全不变，要么N至少相似于1+|S|个不同的极大子模，其中S是N的特征环；在后一种情况下，极大子模数量满足|Max(M)|≥1+|S|≥3。对于射影模，构造了从Max(M)到Max_r(End_R(M))的标准单射。当M忠实射影且End_R(M)右Artinian时，证明了M具有有限长度并分解为局部直和项的直和。反之，若M是有限长度的射影右R-模，则E_E具有有限长度且ℓ(E_E)≤ℓ(M_R)；若M忠实射影，则ℓ(E_E)=ℓ(M_R)；该等式成立时，M是轻微可压缩的。这些结果被应用于获得非双边极大单边理想数量的下界，对无限代数上的矩阵环给出了明确推论。
模论射影模子模相似极大子模环论有限长度模
math
04-07 00:00
本研究系统分析了在有限MV效应代数上，通过截断Gudder-Greechie序贯积公理体系得到的二元运算。核心发现是：公理(S4)是首个导致非布尔代数上不存在满足(S1)-(S4)运算的“致命公理”。研究证明，若效应代数包含各向同性指数≥2的原子，则不存在满足(S1)-(S4)的运算，因此有限MV效应代数仅当其为布尔代数时才容许此类运算。此外，研究完全分类了满足(S1)+(S2)的运算（由行次单位非负整数矩阵描述），并解决了首个真正高秩的(S1)-(S3)分类问题，例如在秩为2的布尔代数$B_2$上恰好存在34个此类运算。
效应代数序贯积mv代数公理化有限分类布尔代数
math
04-07 00:00
本研究扩展了Pyomo.DoE软件包，通过回调机制在方程导向优化框架中实现了基于特征值的实验设计准则（如E最优性和ME最优性）的严格计算。这些准则能直接针对信息不足或数值不稳定的参数方向进行优化设计。同时，论文提出了一种新的实验创建建模抽象，用于Pyomo中的侵入式不确定性量化，减少了用户建模工作量，提升了数字孪生工作流的效率。
实验设计优化数字孪生pyomo特征值准则不确定性量化方程导向优化
math
04-07 00:00
本研究将偏积分方程（PIE）框架与Lyapunov稳定性理论相结合，首次将状态空间ODE系统的脉冲峰值响应（I2P）最优控制问题拓展至线性偏微分方程（PDE）系统。通过将I2P响应分析问题转化为可求解的凸优化问题，获得了线性PDE系统I2P范数的可证明边界。通过建立优化问题原形式与对偶形式之间的强对偶性，进一步提出了一种构造性的PDE I2P最优状态反馈控制方法，并在多个算例中验证了该方法的有效性。
偏微分方程控制脉冲峰值响应偏积分方程lyapunov理论凸优化状态反馈
math
04-07 00:00
本文提出了一种针对连续仿射非线性系统的采样数据模型预测控制（MPC）新框架。该框架的核心贡献在于，通过将输入和输出约束在反步法过程中进行传播，构造性地合成了一个与输入限制兼容的可达-避障不变集。将此集合作为终端集，作者证明了在快速采样条件下，所提出的MPC框架能够递归地保证控制输入的可行性，从而安全地将连续系统引导至目标集。数值结果验证了该方法的有效性。
模型预测控制可达-避障递归可行性反步法非线性系统输入约束
math
04-07 00:00
本文研究了维度 $d \geq 3$ 的欧氏空间中有界区域的前两个非零Steklov特征值。在引入一个涉及区域体积和边界测度的自然归一化条件下，作者建立了这两个特征值的上界，并证明了当维度 $d \geq 7$ 时，这些上界是尖锐的。该结果为理解Steklov特征值在几何分析中的分布提供了新的理论工具。
steklov特征值几何分析偏微分方程谱理论最优上界
math
04-07 00:00
本文研究二次k-顶点不相交路径问题（Q-k-VDP），即在有向图中寻找k条顶点不相交的路径，以最小化一个非凸二次目标函数。作者将问题建模为二元二次规划，并应用系统性的图约简技术来管理问题维度。为了获得可处理的边界模型，他们舍弃了子回路消除约束，并推导出一个半定规划（SDP）松弛。随后，在一个分支定界框架内求解该松弛模型，其中边界值通过定制的交替方向乘子法从SDP松弛中计算得出。计算结果表明，所提出的方法在求解更多实例至最优解方面持续优于Gurobi求解器，尤其是在具有挑战性的大规模实例上。
组合优化半定规划顶点不相交路径分支定界法交替方向乘子法
math
04-07 00:00
本文提出一个两阶段鲁棒优化框架，以应对极端天气对电力系统的冲击。第一阶段预先安排发电机组（特别是慢启动机组）的启停，第二阶段在极端天气导致的最坏输电拓扑下进行电力调度，目标是最小化切负荷量。模型创新性地采用了凸化的交流潮流约束以更精确描述物理规律，并设计了一种嵌入列与约束生成框架的问题专用外逼近算法。计算结果表明，该算法能在合理时间内为中等规模算例提供满足标准最优性间隙的解决方案，计算效率显著优于现有通用求解器。
鲁棒优化电力调度极端天气两阶段优化混合整数规划交流潮流
math
04-07 00:00
本研究在实数域的标准解析指数结构 $\mathbb{R}_{an,\exp}$ 上，添加了一个解析的超越指数函数 $\varphi$，构建了新的结构 $\mathbb{R}_{an,\exp,\varphi}$。论文的核心工作是将该新结构的o-极小性（即其可定义集具有简单的拓扑性质）的证明，归结为验证某些可定义函数系统存在“足够多”的正则值。这一条件不仅是o-极小性的必要条件，也为最终证明提供了关键的技术路径。
数理逻辑模型论o-极小结构超越函数实数域
math
04-07 00:00
本文在洛伦兹-闵可夫斯基3维空间中定义了两类非类光前向螺旋曲面，并研究了它们成为光锥标架基曲面的条件。通过构造适当的微分同胚变换，并利用$(i,j)$-尖点和$(i,j)$-尖脊的判别准则，建立了这两类螺旋曲面在其奇点轨迹上的奇点类型识别定理。
微分几何洛伦兹几何奇点理论螺旋曲面前向曲面
math
04-07 00:00
本文研究了从近凯勒流形到黎曼流形的 Clairaut 型广义黎曼映射。作者获得了此类映射成为全流形上全测地叶状结构的条件，并给出了该映射的非平凡示例。广义黎曼映射是等距浸入与黎曼淹没的推广，Clairaut 条件则与映射的几何性质密切相关。
微分几何黎曼映射近凯勒流形叶状结构全测地
math
04-07 00:00
本文证明了孙智伟猜想的一个关于1/π的级数恒等式。核心方法是运用柯西乘积和超几何函数变换。基于此结果，作者进一步推导出两个涉及三次多项式的类似级数。该方法具有普适性，文末表格展示了更多可通过该方法证明的恒等式。
数论级数恒等式柯西乘积超几何函数圆周率
math
04-07 00:00
本文研究了由狄利克雷特征扭曲的完全多重指数和——多重高斯和，并证明了一个新的上界。作为应用，作者改进了 Birch-Goldbach 问题中的结果。具体而言，对于一组次数不同（最高次数为 $D$）且构成非奇异系统的整数系数多项式 $F_1, \ldots, F_R \in \mathbb{Z}[x_1, \ldots, x_s]$，证明了当变量个数 $s \geq D^2 4^{D+2} R^5$ 时，方程组 $\boldsymbol{F}(\boldsymbol{x})=\mathbf{0}$ 存在素数解。
解析数论指数和高斯和素数解丢番图方程
math
04-07 00:00
研究构造了一类定义在素数集上的自伴算子，其矩阵元由素数间的算术差异（而非几何距离）定义。通过分析算子的谱，提取热迹、熵和特征值增长等可观测量，发现特征值呈亚线性增长，熵缓慢缩放，推断出的谱维度严格小于1，揭示了素数序列固有的“谱压缩”刚性。分析表明，非归一化拉普拉斯算子的连续极限对应于经典的一维双拉普拉斯算子，其热迹在短时标度下遵循 $\Theta(t) \propto t^{-1/4}$。根据谱维度公式 $d_s = -2 \, d\log\Theta / d\log t$，可直接从第一性原理推导出 $d_s = 1/2$，标志着最大的谱压缩和经典扩散的缺失，表明算术稀疏性强制了一种相干性受限的非欧几何。
谱几何素数算子理论算术差异谱维度热迹
math
04-07 00:00
本研究证明了KPZ固定点的增量在紧集上与扩散参数为2的布朗运动相互绝对连续，扩展了先前单边绝对连续性的结果。同时发现加性布朗运动在紧集上相对于中心Airy叶绝对连续，但全局不相互绝对连续。应用方面，研究获得了KPZ固定点远离参考点存在记录时间的概率严格介于0与1之间，并利用热容量刻画了其图像击中概率为正的条件，计算了随机交集Hausdorff维数的本质上确界。
kpz固定点布朗运动绝对连续性随机过程hausdorff维数热容量
math
04-07 00:00
本文研究了在有界区域上具有混合边界条件的临界非线性p-Laplacian问题，证明了最小能量解的存在性。研究发现，半线性情形(p=2)与拟线性情形(p≠2)的存在性结果存在显著差异，且两者方法互不通用。特别地，当p>2时，边界条件的几何效应主导了势能的影响；而当p<2时，情况则相反。
p-laplacian临界指数混合边界条件几何分析非线性偏微分方程最小能量解
math
04-07 00:00
本文研究了完全二次曲面簇的胞腔分解，其Borel轨道由μ-对合索引。作者建立了μ-对合的Coxeter理论性质，包括原子的组合描述、交换引理以及刻画Bruhat序的类转置算子。在旗流形中实现轨道闭包后，研究了其同调类代表元——μ-对合Schubert多项式。主要贡献是：当ν细化μ时，将μ-对合Schubert多项式展开为ν-对合Schubert多项式的无重数线性组合，并给出了类似Schubert多项式Monk法则的递推关系。
组合代数几何schubert计算coxeter群对合旗流形多项式展开
math
04-07 00:00
本文系统研究了基本矩阵李超代数中的经典球面子代数，证明了它们可以在任意Borel子代数的选择下，被量化为标准量子超群中的余理想子代数。作者分类了对应的Satake型图，并证明每个图都定义了一族真球面子代数，为超对称对的结构提供了新的数学框架。
李超代数量子超群球面子代数satake图余理想子代数超对称对
math
04-07 00:00
本文是对Wang和Zahl在三维Kakeya猜想证明工作的Bourbaki研讨会综述。Kakeya猜想是几何测度论中的核心问题，探讨在三维空间中，一个包含所有方向单位线段的集合的最小可能体积。该证明融合了多项式方法、代数几何与组合几何技术，通过构造特殊多项式并分析其零点集结构来获得体积下界。综述面向广泛数学读者，用直观图示阐释了证明的核心思想与关键步骤，标志着该领域的重要进展。
kakeya猜想几何测度论多项式方法代数几何组合几何体积下界
math
04-07 00:00
本文研究了尖点图（删除一个顶点后可变为平面图的图）的禁止子式问题。作者通过系统搜索，首次完整列出了顶点数≤12或边数≤26的所有非尖点图的最小禁止子式集合。特别地，对于13个顶点的图，证明了若其最小度$\delta(G) \geq 6$，则该图要么是尖点图，要么包含一个$K_6$子式，从而在阶数为13时验证了Jørgensen猜想。这些结果为最终确定尖点图的有限禁止子式全集提供了关键数据支撑。
图论禁止子式尖点图平面图jørgensen猜想图结构