math
02-24 00:00
本文研究了欧氏空间中的“等距间距”族：一族集合，若从每个集合中任取一点，所得点集构成一个完全距离图（即所有点对距离均为1）。一个等距间距称为“最大”的，如果每个集合在包含关系下是极大的。作者利用经典几何论证，证明了每个等距间距关联一个中心和半径，且其中心构成一个垂心系。通过引入一种称为“签名”的离散组合对象，建立了分类定理：两个最大等距间距等距当且仅当它们具有相同的签名。此外，本文还构造了R^1、R^2和R^3中的所有最大等距间距，概述了在R^n中的一般构造过程，并给出了一个时间复杂度为O(n)的算法来判定一个点集是否为等距间距，优于朴素的O(n^2)算法。
等距间距欧氏空间几何组合垂心系分类定理算法
math
02-24 00:00
本文引入并形式化了一个名为“templex”的拓扑对象，它作为混沌吸引子拓扑分析的新工具，连接了同调理论与模板理论。研究证明，templex 对于定向空间（如混沌流）所扮演的角色，类似于胞腔复形对于一般拓扑空间所扮演的角色。其核心贡献在于为混沌拓扑提供了一个函子化表述，将定向空间的动力学性质转化为分层的代数不变量（同调群），从而为先前基于算法的混沌拓扑理论建立了严格的数学基础，并确立了有限时间混沌的拓扑判据。文章以气候模拟和语音信号分析为例展示了其应用。
混沌拓扑函子不变量定向空间同调理论templex动力系统
math
02-24 00:00
本文提出渐近分量及其关联关系作为一维膨胀铺砌空间的强有力不变量，能够区分许多MLD类铺砌。与大多数其他不变量不同，它常能阻碍铺砌空间与其反射的MLD等价。作者给出了计算原始一维膨胀铺砌渐近分量的简单算法，并展示了如何利用它们区分不同MLD类。附录进一步证明，结合轨道分离维数，渐近分量结构可完全区分具有纯点谱的小膨胀因子铺砌的所有MLD类，凸显了这些不变量的强大能力。
铺砌理论动力系统渐近分量mld等价膨胀映射不变量
math
02-24 00:00
本文精确计算了使用n个不同变量各一次，仅通过加、减、乘、除四种基本运算，且不考虑常数，所能构造出的不同有理函数的数量。关键创新在于将表达式划分为12个互斥类别，并考虑了变量置换下的等价性（同构）。研究给出了序列的前几项：1, 4, 18, 93, 500, 2844, 16621, 99674, 608448, ...，为组合数学与符号计算领域提供了新的枚举结果。
算术表达式组合枚举有理函数变量置换同构分类
math
02-24 00:00
本文研究一类在光滑约束超曲面上演化的耗散动力系统，该曲面具有退化的诱导双线性形式。由于缺乏强制性的Lyapunov泛函，经典Riemannian相空间吸引子理论无法直接应用。作者通过引入与零分布相容的泛函，证明了所有有界轨迹渐近地限制在相应叶状结构的不变叶上。在零分布满足适当对合性和正则性假设下，通过将动力学约化到由特征分布确定的商流形上的投影半流，建立了内在演化的渐近紧性。当存在有界吸收集和连续半流结构时，系统具有由零叶饱和的紧致全局吸引子，其有效渐近动力学由约化相空间的紧致不变子集控制。该框架为约束诱导的退化如何强制耗散几何演化系统实现有效降维提供了机制。
退化约束流形全局吸引子耗散动力系统叶状结构几何演化降维机制
math
02-24 00:00
本文研究了在顶点数受限的条件下，用内接多面体在内在体积差度量下逼近光滑严格凸体 $K \subset \mathbb{R}^d$ 的渐近最优逼近问题。研究发现了一种刚性现象：在确定性模型中，如果存在一个单一的多面体序列能同时以最优渐近速率逼近 $K$ 的体积和平均宽度差，那么 $K$ 必须是欧几里得球。在概率模型中，结论更强：如果存在一个单一的边界采样密度，使得由此生成的随机内接多面体对于任意两个不同的内在体积偏差（在期望意义下）都是渐近最优的，那么 $K$ 也必须是欧几里得球。研究还通过极性原理，建立了关于外接多面体（面数受限）在体积和平均宽度情况下的对偶刚性定理。这些结果解决了 Besau, Hoehner 和 Kur (2021) 提出的一个公开问题。
凸几何多面体逼近内在体积渐近最优刚性定理欧几里得球
math
02-24 00:00
本研究在Khinchin家族的概率框架下，证明了将正整数n拆分为k次幂的分拆数p_k(n)的Hardy-Ramanujan渐近公式：当n趋于无穷时，p_k(n) ~ α_k / n^{(3k+1)/(2k+2)} * exp(β_k * n^{1/(k+1)})，其中α_k和β_k为仅依赖于k的显式常数。核心论证在于验证了相关Khinchin家族的强高斯性，并计算了其均值与方差的渐近逼近。
解析数论分拆理论渐近分析概率方法khinchin家族
math
02-24 00:00
本文对Kunen关于满足Moufang型恒等式(N1)的拟群必为幺拟群（loop）的经典定理，给出了一个范畴论视角的重新表述。核心在于将原代数证明转化为集合范畴(Set)中的一个固定点提取原理：从N1可典范地导出一个幂等自同态j，其固定点对象Fix(j)是一个收缩子。N1的对称性迫使j共等化正则平移作用，从而j可通过终对象分解，最终得到Fix(j)同构于1，即存在唯一的全局单位元。这为原证明提供了更结构化的概念框架。
范畴论固定点原理拟群幺拟群幂等自同态kunen定理
math
02-24 00:00
针对数据有限、未知量维度高的病态动态逆问题，本研究提出一种基于稀疏字典的求解方法。该方法将解的空间特征与时间相关性编码至字典原子中，通过随机分层稀疏先验模型，利用迭代交替序列算法计算系数的最大后验估计。在真实动态计算机断层扫描和磁共振成像数据集上的测试表明，该方法在压缩感知方面与交替方向乘子法性能相当，且对超参数选择的敏感性显著降低。
动态逆问题稀疏字典最大后验估计医学成像压缩感知迭代算法
math
02-24 00:00
本文研究了单纯复形上Hodge拉普拉斯算子相关的热方程。利用近期发展的磁薛定谔算子技术，作者证明了ℓ^2空间上热半群核的Davies-Gaffney-Grigoryan型估计，进而在合适的曲率和体积增长条件下，将半群延拓至ℓ^p空间（p∈[1,∞]）。在形式有界曲率和一致次指数体积增长的假设下，建立了Hodge拉普拉斯算子谱的p-独立性。虽然论文聚焦于单纯复形上的Hodge拉普拉斯算子，但结果实际上适用于图上一般的正磁薛定谔算子。
hodge拉普拉斯算子热方程谱独立性单纯复形磁薛定谔算子ℓ^p空间
math
02-24 00:00
本文基于作者在CIRM-IHP研究学校的讲座，旨在向非算子代数专家的研究生和数学家介绍C*-代数的表示理论与Morita等价。核心内容是详细阐释A. Wassermann的一个定理：实约化群的约化C*-代数，在Morita等价意义下，可等同于一系列更简单C*-代数的直和。文章系统介绍了理解该定理及其证明所需的基本理论框架。
c*-代数表示理论morita等价实约化群算子代数数学讲座
math
02-24 00:00
本文针对高对比度多层介质中的波传播数值模拟难题，提出了一种基于边界积分方程的高效离散化方法。研究表明，传统的基于全域最大波数进行网格划分的策略在多层结构中效率低下，因为高波数往往局限于局部子域。通过系统分析，作者发现背景（外部）介质的波数对确定最优边界分辨率起主导作用，而非简单的最大波数或材料对比度。基于此，他们提出了一种自适应方法，能在多层结构中实现均匀精度和高效计算。数值实验验证了该方法的可扩展性和鲁棒性。
波传播多层介质边界积分法高对比度自适应离散化数值模拟
math
02-24 00:00
本文对两点插值型埃尔米特求积公式进行了推广，使其适用于在区间两端点处函数值及其前(n-1)阶导数已知的情形。通过巧妙地反向运用分部积分法，作者给出了一种推导该求积公式精确误差表示的基本方法。与经典方法相比，此方法优势显著：推导仅需分部积分；对函数正则性要求更低（仅需n阶导数存在，而非2n阶）；更重要的是，该方法自然地重新发现了勒让德多项式，并揭示了其与埃尔米特插值之间一个优美关系——勒让德多项式正是插值型埃尔米特求积的误差核。作为发现的一部分，罗德里格斯公式也得到了重新推导。
数值积分埃尔米特求积勒让德多项式误差分析分部积分
math
02-24 00:00
本文指出原论文论证中存在一处疏漏，并引用了近期文献中给出的完整证明，确认了主要结论的正确性。该研究涉及迭代单值群在动力系统与数论交叉领域的重要性质。
迭代单值群不动点动力系统数论群论
math
02-24 00:00
本文研究了紧连通李群分类空间$BG$的同伦分解，通过相对纤维-余纤维构造得到空间序列$X_{m}(F,F')$，其在同伦意义下收敛于$BG$。在满足特定上同调条件时，这些分解是“尖锐的”（在有理数域上），且$X_{m}(F,F')$是有理形式、Cohen-Macaulay的，其上同调环是$H^*(BG, \mathbb{Q})$上的有限秩自由模。研究涵盖基本（极大环面）纤维化$G/T \to BT \to BG$以及Adem和Gómez引入的交换元分类空间$B_{\rm com}G$的万有纤维化等实例，并给出了（等变）上同调环与$K$-理论的显式计算。
同伦分解李群分类空间有理形式性纤维-余纤维构造等变上同调cohen-macaulay环
math
02-24 00:00
本文推广了Batson-Spielman-Srivastava的稀疏化算法，使其部分结果与维度无关。我们恢复了有限维子空间上$L_2$范数和上确界范数的离散化不等式，证明了合适的无限维变体，并讨论了基于样本的最小二乘逼近误差的启示。这为最近建立的几个逼近界提供了更具构造性的版本，其中一些依赖于Marcus-Spielman-Srivastava更强但构造性较弱的结果。我们还改进了这些结果中的常数和过采样因子。
稀疏化算法离散化不等式再生核希尔伯特空间最小二乘逼近构造性方法逼近理论
math
02-24 00:00
本研究首次为黎曼流形的等距嵌入问题建立了严格的数值分析框架。针对具有正高斯曲率的二维流形嵌入三维欧氏空间的Weyl问题，作者提出了一种新的弱形式，并设计了适用于高阶有限元离散化的数值格式。通过系统分析，证明了该弱形式是适定的，其数值解存在唯一，并给出了收敛性及误差估计。该框架为计算黎曼流形到欧氏空间的等距嵌入奠定了基础，并可自然地扩展到Ricci流等内蕴曲率流的等距嵌入可视化。数值实验验证了方法的收敛性和有效性。
等距嵌入有限元方法黎曼几何数值分析weyl问题ricci流
math
02-24 00:00
本文为Song和Wang在分圆Schur范畴中猜想存在的高阶（level-ℓ）Robinson-Schensted-Knuth（RSK）对应给出了一个组合实现。作者证明，分圆基元素可以被规范地重组为编码双字族的有标记块组合矩阵，从而通过分量式应用经典RSK对应来获得该高阶对应。这一视角将高阶RSK对应识别为经典RSK的迭代，当ℓ=1时特化为通常的对应，并且在限制到更低层级时表现出自然的行为。
组合数学rsk对应分圆schur范畴双字块组合矩阵
math
02-24 00:00
本文研究了双椰树锥图的沙堆群结构，其阶数等于图的生成树数量。作者推广了Reiner和Smith对椰树锥图的工作，计算了双椰树锥图的生成树数并确定了沙堆群的代数结构。同时，通过构造一族叶子数无界但沙堆群均为循环群的树，回答了前人提出的一个公开问题。
沙堆群生成树代数图论组合数学有限阿贝尔群
math
02-24 00:00
本文解决了Soojin Cho提出的关于移位plactic幺半群中Schur函数定义的问题。Serrano曾提出一种定义，但Cho证明其不满足所需代数性质，无法为表格校正提供解释。作者引入了一个新的定义，并证明其具备期望的代数行为。同时，提出了一种新的jeu de taquin理论，用于计算Haiman的混合插入算法，完善了类型B的plactic代数结构。
组合数学移位plactic幺半群schur函数jeu de taquin混合插入算法代数组合
math
02-24 00:00
本文聚焦于研究在阶为$n$的循环群$C_n$上，常数积分Mackey函子$\underline{\mathbb{Z}}$的模与链复形范畴。作者系统性地发展了处理这些范畴的基础工具，并完成了相关的同调计算。这些结果为后续研究$RO(C_n)$-分次Bredon上同调提供了关键的代数基础。
mackey函子同调代数循环群链复形bredon上同调
math
02-24 00:00
本研究聚焦于奇数阶循环群$G$的情形，深入探讨了点空间在$RO(G)$-分次下的Bredon等变上同调。研究侧重于该问题的纯代数层面，将其解释为常系数Mackey环模范畴上的“稳定球面同伦群”问题，拓展了该领域的现有认知。
等变上同调bredon上同调循环群mackey函子稳定同伦
math
02-24 00:00
本文针对指标为二的四维伪欧空间，构造了局部零曲线的表示公式，并由此推导出无需积分即可获得的局部极小类时曲面的参数化方法。作为特例，还给出了涉及积分的三维伪欧空间（指标为一）中局部零曲线的表示公式。这些结果为极小类时曲面提供了新的具体实例。
微分几何伪欧空间类时曲面极小曲面参数化
math
02-24 00:00
本文针对空间维度 $N \geq 4$ 的非线性薛定谔方程，在非零边界条件下提出了一种新的极小化程序来构造行波解（孤子），并将所得孤子族记为 $\mathscr{J}$。研究将新构造的孤子族 $\mathscr{J}$ 与已有的两类孤子族——通过 Pohozaev 约束极小化作用泛函得到的 $\mathscr{P}$ 族，以及通过固定动量下极小化能量得到的 $\mathscr{Q}$ 族——进行了比较。结果表明，在一定条件下，存在包含关系 $\mathscr{Q} \subset \mathscr{J} \subset \mathscr{P}$，并且在特定条件下也有 $\mathscr{P} \subset \mathscr{J}$。这为高维非线性波动力学提供了新的解族和理论框架。
非线性薛定谔方程孤子解非零边界条件变分方法高维空间行波解