math
03-27 00:00
本文提出了一种基于响应感知风险约束控制屏障函数的统一控制框架,用于解决车辆动力学安全边界控制中物理模型参数失配问题。该框架融合名义动力学先验与直接车身响应,构建不确定性传播模型,并引入条件风险价值理论,将传统确定性安全约束重构为关于屏障函数导数尾部风险的概率约束。结合基于逆Wishart先验的贝叶斯在线学习机制,实时识别环境噪声协方差,自适应调整安全裕度。最终基于控制李雅普诺夫函数构建统一的二阶锥规划控制器。高保真动力学仿真表明,该方法在极端条件下不仅消除了传统方法的输出发散现象,还在安全性与跟踪性能上实现了帕累托改进。
车辆控制安全屏障函数条件风险价值二阶锥规划贝叶斯学习不确定性传播
math
03-27 00:00
本文在输入-状态稳定性理论的基础上,针对输入信号具有周期性这一常见场景,提出了“周期感知渐近增益”这一新概念。当系统收敛于周期解时,PAG能够利用输入信号的周期性信息,提供比经典渐近增益更精确的输出渐近估计。该方法能够区分短周期(高频)与长周期(低频)信号,从而为量化系统的带宽、谐振行为和高频阻尼等特性提供了严格的理论工具。文中讨论了PAG的计算方法,并以电力电子领域的同步电路为例进行了数值验证。
渐近增益周期输入系统稳定性输出估计频域特性
math
03-27 00:00
本文研究了远离平衡态动力系统坍缩至流体力学吸引子的过程。传统上,该吸引子通过梯度展开近似。作者利用拉格朗日反演公式,首次推导出了所有阶Chapman–Enskog系数的精确闭式解。研究发现,非相对论空间梯度级数虽然呈阶乘发散,但严格满足Borel可和性。进一步分析表明,这种发散源于无界的伽利略速度;当施加相对论因果律约束时,空间流体力学展开变为收敛级数,并具有有限收敛半径。
流体力学吸引子梯度展开borel求和chapman–enskog理论非平衡动力学
math
03-27 00:00
本文证明了若 $(B,+,\cdot)$ 是一个加法群可解的双边斜环,则其乘法群 $(B,\cdot)$ 的任意有限商群都是可解的。该结果推广了 Nasybullov 在有限情况下的定理,将其扩展至任意可解型双边斜环,为斜环理论中群结构性质的研究提供了新的统一框架。
斜环理论可解群乘法群代数结构群论
math
03-27 00:00
本文提出了关于某些椭圆纤维化Mordell-Weil群秩的界限的两个证明。该界限适用于卡拉比-丘流形,这些流形在弦理论物理中也具有重要意义。我们证明了三维卡拉比-丘流形的显式界限,这与物理学的预测一致,并在温和假设下给出了四维流形的新显式界限。这些结果激发了对任意维数界限的猜想。
椭圆纤维化mordell-weil群卡拉比-丘流形弦理论代数几何
math
03-27 00:00
本文在整数环ℤ₁₂₁上构造了一类特殊的循环码——二次剩余码,针对满足特定同余条件的素数长度p(如p≡±1,±5,±7,±9,±19 mod 44)进行定义。通过生成幂等元的方法构建了这些码,并讨论了其扩展形式及Gray像的性质。研究表明,扩展二次剩余码具有由移位、乘法和逆运算生成的大置换自同构群,使得置换译码成为可能。作为示例,构造了参数为[55,5,33]和[77,7,44]的新码。
二次剩余码循环码整数环置换译码编码理论代数编码
math
03-27 00:00
本文研究了右角度Artin群在阿贝尔子群上的分裂条件。通过几何方法,证明了群$A(\Gamma)$在阿贝尔子群上分裂的充要条件是:存在一个次指数增长的子群族对其进行粗分离。这等价于对应的图$\Gamma$是完全图,或者可以被一个完全子图分离。该结果为理解这类群的几何结构与代数分裂之间的关系提供了清晰的刻画。
几何群论右角度artin群群分裂粗几何阿贝尔子群图论
math
03-27 00:00
本文研究光滑核Fredholm积分算子$K\psi = \lambda \psi$的特征值问题,重点分析特征值及其谱子空间数值逼近的收敛性。采用偶次分片多项式空间上的插值投影法,使用$2r+1$个非高斯配置点,建立了显式收敛速率。改进的配置法在特征值与特征函数逼近上比经典方案收敛更快,且迭代可产生特征函数的超收敛近似。数值实验验证了理论结果。
积分算子特征值问题投影法超收敛数值分析配置法
math
03-27 00:00
本文证明了对于任意整数 m ≥ 3,有向三维环面 D₃(m)(即三个有向 m-环的笛卡尔积)可以分解为三个弧不相交的有向哈密顿圈。证明的核心是将哈密顿性问题约化到层截面 S = i + j + k = 0 上的 m-步返回映射。对于奇数 m,通过对标准着色进行五次 Kempe 交换,得到的返回映射被证明与标准的二维里程表(odometer)仿射共轭。对于偶数 m,则通过符号积不变量排除了 Kempe 交换构造的可能性,并利用不同的低层见证,在一步首次返回映射后约化为一个有限缺陷的“时钟-进位”系统。剩余部分的闭合性通过有限拼接分析完成,其中 m = 4 的情况通过一个有限见证单独处理。该构造已通过 Lean 4 进行了形式化验证。
图分解哈密顿圈有向环面返回映射里程表形式化验证
math
03-27 00:00
本文研究了将全局域(如数域或函数域)视为其自身上的向量空间,并附加一个绝对值谓词的理论。主要贡献包括:证明了带有超度量(非阿基米德)或实阿基米德绝对值的全局域理论是可判定的;而带有复绝对值的全局域理论总是不可判定的。此外,作者还研究了这些理论的存在片段,并对全局域及其所有非复绝对值谓词同时进行了公理化。
模型论全局域可判定性绝对值公理化
math
03-27 00:00
本文证明了与有限阿贝尔群相关的 Clifford 群到辛群的自然扩张,当且仅当群阶不被 4 整除时,分裂为半直积。这证实了 Korbelář 和 Tolar 的猜想,并将他们关于循环群的结果推广到了任意有限阿贝尔群的情形。该结果为量子计算与数学物理中相关对称性结构的研究提供了理论基础。
clifford 群有限阿贝尔群群扩张分裂辛群半直积
math
03-27 00:00
本文提出了一种用于协调路径跟随的分布式模型预测控制算法。该方法基于时空解耦的框架,将协调问题简化为一维时间协调问题。利用归一化拉普拉斯矩阵的性质,将MPC动力学解耦为独立模态,并推导了当前状态与预测状态之间的递归关系。理论证明,在预测时域$K=1$且通信网络固定连通的情况下,即使存在路径跟随误差,系统仍能保持指数稳定。这是该框架下首个关于离散时间分布式MPC收敛性分析的结果。所提方法具有可扩展性、通信开销低,且其优化结构允许融入任务特定约束,如车辆限制、碰撞避免和冲突消解,降低了对预先规划的依赖。仿真验证了其在复杂场景下的适用性、敏捷性及在通信故障下的指数收敛性。
分布式控制模型预测控制路径跟随多智能体协调指数稳定性
math
03-27 00:00
本文提出了二进制展开组交集网络(BEGIN),一种用于多元二进制数据和比特编码多项变量的分布无关图表示方法。作者证明,对于任意二进制随机向量,条件独立性等价于条件期望的稀疏线性表示、相应交互协方差矩阵的块分解,以及相关广义舒尔补的块对角性。该模型将数据比特视为原子,将局部BEGIN分子作为大型马尔可夫随机场的构建模块,为高斯图模型之外的条件独立性分析提供了新工具。核心数学工具是连接交互协方差与群结构的哈达玛棱镜线性映射。
条件独立性图模型二进制数据交互协方差分布无关马尔可夫随机场
math
03-27 00:00
本研究为Zeeman分类中的第28类三维竞争Lotka-Volterra系统构造了一个具有四个极限环的实例。结合已有研究(第27、29、26类分别由Gyllenberg & Yan (2009)、Wang等 (2011)、Yu等 (2016) 证明),该发现表明在Zeeman分类的第26至29类中,每一类都存在至少具有四个极限环的系统。这推进了对三维竞争系统复杂动力学行为的理解。
动力系统lotka-volterra系统极限环竞争模型zeeman分类三维系统
math
03-27 00:00
本文研究了经典的三分康托尔集 $C$ 与序列 $\{\frac{1}{n!}: n\in\mathbb{N}\}$ 的交集。作者证明,在该集合中,仅有 $1$ 和 $\frac{1}{5!}$ 两个阶乘倒数,即 $\left\{\frac{1}{n!}: n\in\mathbb{N}\right\}\cap C=\left\{1, \frac{1}{5!}\right\}$。这一结论回答了近期文献中提出的一个公开问题。更重要的是,作者的方法可以推广到一般的缺位数字集,证明了在任何此类集合中,形如 $\frac{1}{n!}$ 的元素都只有有限多个,并且这些元素都可以被有效地确定。
康托尔集阶乘倒数数论缺位数字集有限性
math
03-27 00:00
本研究探讨了具有边界参数 $c$ 的半空间几何最后通道渗流模型,该参数连接了亚临界、临界和超临界行为。模型产生一族交错的随机曲线(线系综),编码了通常的最终通过时间及其高阶类似物。研究确定了在边界效应最强的对角线附近区域,亚临界 ($c < 1$) 和超临界 ($c > 1$) 相中该线系综的普适标度极限。亚临界情况下,经适当中心化和标度后,整个线系综收敛于钉扎半空间 Airy 线系综。超临界情况下,则证明了类似的收敛性及曲线分离现象:下部曲线收敛于同一钉扎半空间 Airy 极限,而顶部曲线解耦并收敛于布朗运动。这些结果基本完成了半空间几何最后通道渗流的渐近描述,并为钉扎半空间 Airy 线系综作为普适标度极限提供了新的严格实例。
最后通道渗流kpz普适类线系综标度极限半空间模型随机过程
math
03-27 00:00
本研究证明了对于所有 $k \ge 3$ 及满足 $n \ge 2^\Delta$ 的整数 $\Delta, n$,存在一个最大度不超过 $\Delta$ 的 $k$-均匀超图 $H$,使得其拉姆齐数 $r(H) \geq \text{tw}_{k-1}(c_k \Delta) \cdot n$,其中 $\text{tw}_k$ 为塔函数,$c_k > 0$ 为常数。这一结果在 Conlon, Fox 和 Sudakov (2009) 提出的问题上取得了首次突破,他们曾猜想下界是否可达 $\text{tw}_{k}(c_k \Delta) \cdot n$。证明的核心在于一种新颖的构造方法,能在顶点数 $n$ 增长的同时,将超图的最大度严格控制在固定的 $\Delta$ 以内。
拉姆齐理论超图有界度组合数学下界构造
math
03-27 00:00
本研究通过达布变换及其可交换性,构造了具有周期性的离散正交系统(曲率线系统),从而得到了在任意n维欧氏空间中完全嵌入的离散与半离散k维等温环面,其中k为介于2与n之间的任意自然数。该方法为离散微分几何中高维曲面构造提供了新途径。
离散微分几何等温曲面达布变换正交系统高维环面
math
03-27 00:00
本文提出了一种统一的方法来推导和证明模拟θ函数的m-剖分。该方法基于Hickerson和Mortenson提出的Appell-Lerch和变换公式,将这类和表示为Appell-Lerch和的线性组合与特定θ函数乘积之和。通过系统性地利用这一表示,并借助Maple进行广泛的符号计算,研究者以直接有效的方式推导出了显式的剖分恒等式,并专注于2-剖分和3-剖分的情况。
模拟θ函数数论剖分恒等式appell-lerch和符号计算
math
03-27 00:00
本文推广了扭曲Brin-Thompson群 $SV_G$ 的构造,允许群 $G$ 非忠实地作用于集合 $S$,从而得到抽象版本。虽然所得群 $SV_G$ 不是单群(它满射到 $SV_{G/\ker(G \curvearrowright S)}$),但证明了其所有真正规子群均位于该满射的核中,因此是“相对简单”的。这一推广的关键优势在于,可以证明每个有限展示的单群都能嵌入到一个有限展示的抽象扭曲Brin-Thompson群中,且与该核平凡相交。这为Boone-Higman猜想及相关可解字问题群的刻画猜想提供了新的联系。此外,研究还证明了抽象扭曲Brin-Thompson群的一系列新性质,如一致完美性、性质NL与FW$_\infty$、有界非循环性、$\ell^2$-不可见性,以及在具有平凡可解根基时是$C^*$-单的。
几何群论brin-thompson群相对简单群有限展示群嵌入定理群作用
math
03-27 00:00
本研究利用I-方法框架下的线性与双线性Strichartz型估计,解决了定义在$\mathbb{R}^2$和$\mathbb{R} \times \mathbb{T}$上的$k$-广义Zakharov-Kuznetsov方程的Cauchy问题。主要成果包括:在$\mathbb{R} \times \mathbb{T}$上,Zakharov-Kuznetsov方程在$H^s$空间中全局适定,正则性要求低至$s>\frac{11}{13}$;修正Zakharov-Kuznetsov方程在$\mathbb{R}^2$上全局适定要求$s>\frac{2}{3}$,在$\mathbb{R} \times \mathbb{T}$上要求$s>\frac{36}{49}$。此外,证明了$k$-gZK方程光滑实值解的$H^s(\mathbb{R} \times \mathbb{T})$范数随时间至多呈多项式增长。
偏微分方程全局适定性sobolev空间i-方法zakharov-kuznetsov方程低正则性
math
03-27 00:00
本研究证明,通过调整设计参数的缩放规律,无需修改闭环动力学,嵌套极值搜索算法可从收敛至纳什均衡转向收敛至斯塔克尔伯格均衡。利用李括号平均和奇异摄动理论,研究为两级嵌套情况提供了严格的稳定性证明,表明在适当的时间尺度分离下,算法能实现半全局实际渐近收敛。该结果为电力网络、网络化动力系统等分层优化问题提供了无需模型的解决方案。
极值搜索斯塔克尔伯格均衡分层优化模型无关控制多时间尺度系统博弈论
math
03-27 00:00
本文研究了有界区域上具有齐次Neumann边界条件的半线性椭圆方程。经典结果表明,在凸区域中不存在稳定的非常数解,但可能仍存在不稳定的空间模式。本文在不施加稳定性假设的情况下,探究经典解的刚性性质,旨在识别非线性项的结构条件以确保所有解均为常数。作者证明,只要非线性项满足合适的“单调性”条件(包括非线性项具有固定符号或在零点附近以受控方式变号的情况),Neumann问题的每个经典解都是常数。这一刚性结果仅依赖于非线性项的结构,而不需要区域具有凸性。此外,通过构造存在非常数解的非线性项示例,讨论了假设条件的尖锐性。特别地,受Lin-Ni-Takagi方法的启发,在维度$N=2$中考虑了指数型非线性项,并证明了当参数超过一个临界阈值时,对于足够小的扩散系数,相关的Neumann问题允许非平凡且非常数的解。
半线性椭圆方程neumann问题刚性结果非线性项单调性常数解