math
02-03 00:00
本文研究了用于学习微分方程解的神经算子网络的数学基础。核心贡献在于推广了有限维编码/解码定理：对于任意局部凸空间 $E$ 和 $F$，其间的连续映射 $f$ 均可由通过两个有限维巴拿赫空间的连续映射，在紧集一致收敛拓扑下逼近。这比已知结果（要求 $E, F$ 具有逼近性质）更具一般性。同时，文章指出对于 $C^k$-光滑映射（$k \geq 1$）及 $C^k$ 紧开拓扑，类似结论成立当且仅当 $E$ 具有逼近性质。该分析对微分方程理论中常见的非赋范局部凸函数空间具有重要意义。
神经算子函数空间逼近局部凸空间编码解码定理微分方程数值解逼近性质
math
02-03 00:00
本研究旨在预测随机生成的线丛截面在经过平滑算子处理后，其带符号零点的分布情况。研究在封闭单纯复形的离散设定下进行，通过计算每个面上的期望指标和，来分析平滑后截面最显著的特征——零点（截面值围绕特定点旋转的位置）的分布规律。该方法受到[Knoeppel et al. 2013]关于全局最优方向场工作的启发，专注于对平滑截面结构的一个关键方面进行量化预测。
随机截面线丛零点分布平滑算子离散几何期望指标
math
02-03 00:00
本研究提出了一种定量框架，用于评估信息在固体结构中的传播能力。作者将弹性体视为信息编码器，应用信息论工具量化了从施加载荷到离散传感器位置的信息传输。该框架将信息传输度量与经典的力学现象（如圣维南效应和主应力线）联系起来。研究进一步表明，通过几何设计和材料架构可以调控信息传输，使弹性域能够选择性地传递或阻断信息。这项工作为机械智能领域提供了可量化的指标和基准任务。
机械智能信息传播弹性体信息论材料设计定量框架
math
02-03 00:00
针对无人机集群指令控制(C&C)通信面临的无线资源紧张与超可靠低时延(URLLC)需求挑战，本文提出一种语义感知传输框架。该方法利用连续传输时间间隔内指令的语义相似性来衡量信息变化，并捕捉无人机间指令的相关性以启用组播。基于语义相似度与指令重要性设计触发函数量化服务质量(QoS)，并采用近端策略优化(PPO)算法联合优化传输模式(单播/组播/空闲)与基站资源块分配，以最大化长期QoS。实验表明，该框架相比传统比特导向传输显著提升了效率与有效性。
语义通信无人机集群资源分配近端策略优化组播传输低空经济
math
02-03 00:00
本文研究了正交矩阵在对称随机矩阵上的共轭作用。给定一个定义在代数数域上的固定正交矩阵，以及一个在整数环上充分均匀随机的矩阵，我们精确计算了其共轭结果仍为整矩阵的概率。主要结果建立了一个用正交矩阵的Smith理想表示的精确公式。作为应用，论文推导了在二维和三维情形下，对于任意固定分母，能保持随机矩阵整性的有理正交矩阵的期望数量的精确公式。有趣的是，由于数论波动，该数量对分母的依赖关系是非单调的。研究还证明了分母有界但可任意大的有理共谱概率的界。
随机矩阵正交矩阵数论概率smith理想共谱性整性保持
math
02-03 00:00
本文提出了一种用于双曲平衡律反馈边界控制的贝叶斯框架。该方法利用李雅普诺夫衰减估计作为似然函数，传播反馈参数的概率分布。在线性情形下，该框架恢复了已有的解析结果，并同时将其推广到非线性与随机情形。研究通过线性模型（解耦波系统和线性化圣维南方程）验证了方法，恢复了已知的稳定性区间和混合边界耦合。随后在非线性圣维南系统、带随机初值的Burgers方程以及含源项的非保守扰动等复杂场景中，证明了所计算的稳定性域对于指标选择和先验分布具有准确性和鲁棒性。该方法进一步被推广至二阶半离散LLF格式以及激光粉末床熔融中具有反馈功率调节的双参数温度场模型，数值实验证实了其与现有理论的一致性，并凸显了该与离散化无关的反馈选择流程的实用性。
贝叶斯控制双曲平衡律反馈边界控制李雅普诺夫分析数值稳定性非线性系统
math
02-03 00:00
本文首次对3波动力学方程的数值离散方程进行了严格的数学分析。证明了在ℓ¹(ℕ)空间中非负经典解的全局存在性、唯一性和Lipschitz稳定性，并给出了矩的一致有界性和衰减性。进一步证明了能量的指数衰减，以及由初始支撑算术结构刻画的尖锐正性传播与生成。此外，获得了多项式、Mittag-Leffler和指数矩的传播与瞬时生成，为高能尾部的定量控制提供了理论依据。数值结果验证了理论发现。
波动力学方程数值分析全局解能量衰减矩估计
math
02-03 00:00
本文研究了复约化群G的Higg丛模空间上，中心化子维数为常数d>rk(G)的轨迹M^d。在中心化子水平集几何条件温和时，描述了M^d上Hitchin纤维化的非阿贝尔结构。对于经典群，证明了限制在一般半单Higg丛轨迹上的Hitchin映射可通过阿贝尔纤维化分解，其纤维可用Donagi-Gaitsgory的cameral数据推广描述。这些构造被应用于实形式G_ℝ的Hitchin纤维化，扩展了拟分裂情形的已知描述，并以SU(p,q)和SO*(4m+2)为例具体阐明。研究还通过轨道方法，将M^d上Hitchin纤维化的几何与李代数𝔤的表示论联系起来，确定了伴随轨道与泛包络代数本原理想两种重数概念间的显式渐近关系。
hitchin纤维化higg丛cameral数据表示论轨道方法实形式
math
02-03 00:00
本文针对机器人学和三维视觉中的核心问题——特殊欧几里得群SE(3)上的姿态同步，提出了一种基于对偶四元数表示的新方法。该方法采用两阶段算法：首先通过幂法计算埃尔米特对偶四元数测量矩阵的谱初始化器，随后采用对偶四元数广义幂法，通过每步迭代的投影来确保解的可行性。研究建立了谱估计器的误差界，并证明广义幂法具有有限迭代误差界，能在明确的噪声阈值内实现线性误差收缩。实验表明，该流程在合成基准和真实世界多扫描点集配准任务中，相比代表性的基于矩阵的方法，在精度和效率上均有提升。
姿态同步对偶四元数se(3)谱方法广义幂法点云配准
math
02-03 00:00
本文研究了Torse-forming向量场——一类重要向量场的推广。作者提出了若干技术方法，能够将一般的Torse-forming向量场转化为其特殊形式，并给出了具体的数学实例。这些变形技术有助于简化相关几何结构的研究，为微分几何中的向量场分类与处理提供了新的工具。
微分几何向量场几何变形数学结构
math
02-03 00:00
本文对动机Steenrod代数中的命中问题进行了结构分析，聚焦于Kameko分解的顶层。研究发现，该层中的命中子空间与由Kameko单项式$z_k$的单调平移张成的空间$V$的交集，恰好是$V$中的偶宇称超平面。这导致商空间$V/(\text{hits})$是一维的，并由这些平移的任意奇宇称线性组合生成，从而确立了“奇宇称间隙”是该层命中性质的精确障碍。作为该结构结果的算术推论，作者识别出一个新的无限数值族（$n=2^r+1$, $k=n-4$, $r\ge 5$），其中$\beta(d)>n$，为动机Peterson型猜想提供了与Kameko原始族不同的新反例。这些结果在任意特征为0的代数闭域上均成立。
动机上同调steenrod代数命中问题奇偶性kameko分解反例
math
02-03 00:00
本文研究了定义在 $\mathbb{C}^n$ 中凸Reinhardt域上的复值多复变全纯映射的几何性质。首先建立了Noshiro-Warschawski定理的多维推广，基于偏导实部给出了全纯映射单叶的充分条件。其次，引入并研究了规范化全纯映射类 $\mathcal{B}_{\mathcal{H}_{n}^{0}}(M)$，证明了该类与相应全纯函数类之间存在一一对应关系：全纯映射 $f=h+\overline{g}$ 是稳定单叶的当且仅当其全纯对应 $F=h+g$ 在单位多圆盘 $\mathbb{P}\Delta(0;1)$ 上稳定单叶。最后给出了该函数类的精确系数估计及判别条件，将单叶调和函数的经典结果推广至多复变情形。
多复变全纯映射凸reinhardt域稳定单叶性系数估计noshiro-warschawski定理
math
02-03 00:00
该研究将凯尔特结艺术与日本一目刺子绣视为一种特殊的“双面交错饰带”模式，探讨了31种可能的两面饰带模式中哪些能够通过这两种传统工艺实现。研究发现，并非所有理论上的模式都能在刺子绣中完成，这与凯尔特结的情况形成对比。研究揭示了数学对称性与传统手工艺之间的深刻联系，为组合几何与艺术设计的交叉领域提供了新的理论框架。
组合几何对称模式凯尔特结刺子绣饰带群数学艺术
math
02-03 00:00
本文研究了模奇素数p的高斯整数幂和$\G_p(p)=\sum_{a,b=1}^{p-1}(a+b\ii)^p$。当$p\equiv 1\pmod 4$时，确定了其模$p^3$的余项。主要贡献在于对$p\equiv 3\pmod 4$且$p\ge 7$的情形，证明了一个深度为5的超同余式：$\G_p(p)\equiv -\frac{p^5}{12}(p-1)^2(p-2)B_{p-3}(1-\ii)\pmod{p^6}$，其中$B_m$为伯努利数。这一结果将同余关系提升到了更高阶的p进精度。
p进分析超同余式高斯整数幂和伯努利数
math
02-03 00:00
本文证明了一个关于偏序集的嵌入定理：任意满足升链条件（ACC）的偏序集 $P = (P, \le)$，都可以同构地嵌入到一个由从 $P$ 到其所有反链集合 $A(P)$ 的映射构成的偏序集中，该映射集配备了一个特定的偏序关系。研究为偏序结构提供了新的表示方法，并明确构造了该同构嵌入。
偏序集凯莱定理同构嵌入升链条件反链组合数学
math
02-03 00:00
本文通过研究矩形长方体空间对角线交汇处三个面的算术约束，提出了一种新的证明方法。利用沿该对角线的传播机制，基于特定三角余数中出现的最小奇素数，推导出可能结构的强限制条件。这些约束导致沿空间对角线的无限下降，从而阻止了兼容整数结构的存在。该方法仅依赖于可除性和同余论证，避免了高斯整数或经典二次分解的使用，为完美长方体不存在性提供了初等障碍。
完美长方体数论算术约束同余论证无限下降初等证明
math
02-03 00:00
本文建立了整数幂运算与整数超幂运算（tetration）之间的深刻联系。通过引入具有特定“恒定同余速度”的完美幂集合，揭示了任意模20同余类中完美幂的指数与其在十进制下超幂运算中“冻结数字”数量之间的对应关系。核心贡献在于构造性地证明了：对于任意正整数c，存在无穷多个c次完美幂，其恒定同余速度恰好为c。
数论超幂运算完美幂同余速度冻结数字
math
02-03 00:00
本文研究了连通紧致李群 $G$ 在流形 $M$ 上的自由光滑作用 $\Phi \colon G \times M \to M$。作者考察了 $M$ 上微分形式复形的 Cartan 滤过及其谱序列 ${E}^{{p,q}}_{_{r}}$，该序列收敛于 $M$ 的上同调。已知该谱序列的第二页 ${E}^{{p,q}}_{_{2}}$ 同构于 $H^{^p} (M/G) \otimes H^{^q} (\mathfrak g)$，其中 $\mathfrak g$ 是 $G$ 的李代数。本文提供了一个不使用 Mayer-Vietoris 序列、调和算子等复杂工具的简明证明，并将结果推广到 $G$ 非紧但作用可延拓至某个紧致李群 $K$ 的局部自由作用情形。此时 $H^{^p} (M/G)$ 解释为由 $G$ 作用确定的叶状结构的基本上同调。
谱序列李群作用微分形式上同调叶状结构
math
02-03 00:00
本文研究了随机图 $G_{n,p}$ 包含特定子图 $H$ 的阈值 $p_c(H)$ 与其分数期望阈值 $q_f(H)$ 之间的关系。此前已知 $p_c(H)$ 显著大于 $q_f(H)$ 的图 $H$ 都满足 $v_H > n/2$。作者构造了一类小图，其阈值阶数突破了这一限制：存在常数 $c > 0$，使得对任意 $m \; (\leq n)$，存在顶点数为 $m$ 的图 $H$，满足 $p_c(H) > q_f(H) \cdot c \log^{1/2}(v_H)$。这表明即使对于小图，其包含阈值也可能远高于基于简单期望的预测。
随机图包含阈值期望阈值图论概率方法
math
02-03 00:00
本文针对有理函数（两个多项式的商）的Bernstein-Sato多项式计算难题，提出了一种基于非交换PBW代数中Gröbner基的算法。该算法通过计算分子与分母构成的“对”的消去子，进而推导出有理函数本身的消去子与Bernstein-Sato多项式，并依赖于该“对”的Bernstein-Sato理想的一个非零条件。该算法已在开源计算机代数系统SINGULAR中实现，并首次提供了非平凡的具体算例，为验证相关猜想提供了计算支持。
bernstein-sato多项式有理函数奇点非交换代数gröbner基计算代数
math
02-03 00:00
本文构造了一个与倍映射拓扑共轭的C¹圆周覆盖映射，其物理测度支撑在一个双曲排斥不动点上。通过在某一点放松C¹条件，进一步构造了物理测度吸引盆具有满测度的例子。一个关键的技术步骤是一个具有独立意义的实现引理，它提供了一种给定诱导映射构造满分支映射的规范方法。
动力系统物理测度圆周映射双曲不动点拓扑共轭
math
02-03 00:00
本文系统研究了离散Bourgain-Morrey序列空间$\ell^{p}_{q,r}(\mathbb{Z})$的结构性质。证明了$c_{00}$在其中稠密，空间可分。建立了关键嵌入关系$\ell^{1}\hookrightarrow \ell^{p}_{q,r}\hookrightarrow \ell^{r}$（$r>1$），并指出当$r=1$时空间退化为$\ell^{1}$。特别地，$\ell^{p}_{q,p}=\ell^{p}$为经典$\ell^{p}$空间提供了不可数多个等价范数。通过引入块空间作为其自然预对偶，证明了完整的对偶关系$(\ell^{p}_{q,r})^{*}=\mathrm{h}^{p'}_{q',r'}$，从而在$1<p,q,r<\infty$条件下得到自反性。该工作完成了离散Bourgain-Morrey理论的基础构建。
序列空间bourgain-morrey空间对偶理论泛函分析嵌入定理空间结构
math
02-03 00:00
本文在齐型空间的一般框架下，研究了通过超度量构建的多线性位势对多线性恒等式的逼近问题。经典牛顿位势基于二元度量，定义了线性积分算子的核心核函数。本研究将度量的二元性推广为超度量的$(k+1)$元性，从而导出了$k+1$个变量的核函数族，并由此定义了$k$阶多线性积分算子（即$k$-线性算子）。这项工作将线性调和分析的基本问题推广到了多线性情形。
多线性算子超度量齐型空间近似恒等式调和分析