math
04-01 00:00
该研究证明了一个代数恒等式:对于任意复数序列 $(\alpha_1, \ldots, \alpha_n)$,将形式指数 $\exp\bigl(-\sum_{k=1}^{\infty} \frac{\alpha_k}{k} x^k\bigr)$ 截断至 $n$ 次,所得多项式的根 $\rho_1, \ldots, \rho_n$ 恰好满足 $\sum_{i=1}^n \rho_i^{-k} = \alpha_k$($k = 1, \ldots, n$)。这为从指定幂和精确构造多项式提供了一种自然的嵌入方法,并导出了一个 $O(n^2)$ 的计算算法。研究进一步应用于多对数族 $\alpha_k = k^{1-s}$,揭示了其与黎曼 $\zeta$ 函数值的联系:$\lim_{n\to\infty} P_n^{(s)}(1) = \exp(-\zeta(s))$($\mathrm{Re}(s) > 1$)。
幂和约束截断指数多项式构造代数恒等式黎曼ζ函数
math
04-01 00:00
本文研究了任意阶数 $k \geq 2$ 的Cayley树上“魔杖”图中HC-Blume-Capel模型的平移不变分裂吉布斯测度。已知存在一个精确的临界值 $\theta_{cr}$:当 $\theta \geq \theta_{cr}$ 时,存在唯一的平移不变分裂吉布斯测度;当 $\theta < \theta_{cr}$ 时,则恰好存在三个。本研究完全解决了其中一种测度对于任意阶数 $k$ 的(非)极值性问题,深化了对该模型相变行为的理解。
统计物理吉布斯测度cayley树相变极值性
math
04-01 00:00
本研究在元Racah代数及其有限维表示的框架下,统一研究了有限族Racah型双正交有理函数与正交多项式。这些函数被识别为定义在表示空间上的广义与标准特征值问题的特征解之间的重叠系数。该方法自然地导出了它们的正交关系与双谱性质,为特殊函数理论提供了新的代数视角。
元racah代数双正交有理函数正交多项式特殊函数代数框架双谱性质
math
04-01 00:00
本文探讨了鲁棒控制理论中用于保证系统稳定性的小增益定理,如何被攻击者逆向利用来设计最小规模的恶意反馈攻击,以驱动闭环系统失稳。研究首先回顾了构建最小破坏器的现有理论,并指出此类攻击仅将系统推至稳定边界,对于非线性系统,即使其线性化模型失稳,系统本身也可能保持稳定。主要贡献在于,利用线性扰动理论,在状态空间框架下明确证明:对于一大类非线性系统,当攻击增益略微增加时,系统内部失稳将得到保证。
鲁棒控制脆弱性分析反馈攻击非线性系统小增益定理稳定性边界
math
04-01 00:00
本文证明了在无序环境中,通过对量子系统进行重复测量所产生的离散时间量子轨迹,其测量记录中有限模式计数的中心极限定理。研究首先在由动态平稳态决定的退火律下建立了中心极限定理,适用于一般的无序量子仪器,不限于完美测量情形。随后,通过引入基于耦合的初始态可容许性概念,证明了相同的高斯极限可推广至所有可容许的初始律,且中心化和渐近方差保持不变。在完美测量设定下,进一步识别出确保所有初始态均可容许的通用条件,从而获得普适的退火中心极限定理。
量子轨迹中心极限定理无序系统重复测量退火平均统计物理
math
04-01 00:00
本文针对定义在开集Ω上的有限Radon奇异测度μ,证明了散度方程div V = f与雅可比方程det DΦ = g的Lipschitz可解性。对于任意ε>0及Borel数据f或g,存在紧集K⊂Ω使得μ(Ω\K)<ε,并在K上精确满足方程。解V与Φ-Id的Lipschitz常数可被控制为(1+ε)‖f‖_{L^∞(Ω,μ)}或(1+ε)‖g-1‖_{L^∞(Ω,μ)},且可任意小。
奇异测度散度方程雅可比方程lipschitz解偏微分方程lusin型定理
math
04-01 00:00
本文揭示了在正定矩阵锥上,由任意镜像映射诱导的Bregman散度进行对称化背后的变分原理。研究表明,计算对称化所需的“典范均值”可归结为在一组满足特定公理性质的均值泛函上最小化目标对称散度。对于前向对称化,证明了对任意镜像映射,原始空间上的算术均值都是典范的。对于反向对称化,典范均值是原始空间上对偶空间算术均值的拉回。将此结果应用于三种常用镜像映射,发现对应的反向对称化典范均值分别为算术均值、对数欧几里得均值和谐波均值。该研究为文献中已有的对称化实践提供了理论依据,并为不同场景下的均值选择提供了指导。
bregman散度正定矩阵对称化变分原理矩阵均值镜像映射
math
04-01 00:00
本文研究自然数集ω的子集族在渐近密度d下的独立性。主要贡献包括:构造了极大d-独立族A,使得其密度集d[A]可在(0,1)中取到除至多可数多个点外的任意预设值;在假设cov(N)=c下,可构造无例外的此类族。此外,还构造了2^c个具有不同生成密度域的极大d-独立族,并获得了具有强可定义性病理的极大族,包括无Baire性质及(一致地)不可测的例子。
渐近密度独立集族集合论测度论描述集合论基数
math
04-01 00:00
研究从两个均匀随机函数 $\mathbf{a},\mathbf{b}:[n]\to[n]$ 出发,通过复合一个未知字 $w\in\{a,b\}^k$ 得到的随机函数 $\mathbf{w}$。当 $n\to\infty$ 时,仅凭 $\mathbf{w}$ 的一个样本,能以高概率恢复 $w$ 的长度和指数(最大 $d$ 使得 $w=u^d$)。进一步证明,若两个字 $w_1,w_2$ 的“自相关”常数 $c(w_1)\neq c(w_2)$,则对应的随机函数在总变差距离下可分。给出了 $c(w)$ 的显式表达式,并猜想非同构字具有不同的 $c(w)$;该猜想在超越数论中的 Schanuel 猜想成立时可被证明。
随机函数字重构复合运算总变差距离schanuel猜想概率恢复
math
04-01 00:00
本文在单纯形d-多面体数上引入了一种新的微积分,并以此定义了超几何伯努利多项式的S_d-模拟。研究给出了两种S_d-导数的定义,并利用它们推导出库默合流超几何函数与Touchard多项式之间的恒等式。该微积分与d-Hoggatt二项式系数密切相关,同时给出了指数函数和超几何函数的S_d-模拟。
组合数学数论超几何函数伯努利多项式多面体数s_d-模拟
math
04-01 00:00
本文提出了一种数值算法,用于求解具有奇异敏感性和信号吸收特性的抛物-抛物型Keller-Segel系统。该算法采用代数操作有限元方法进行空间离散,时间保持连续,并通过引入基于图拉普拉斯算子和激波探测器的稳定项,确保数值近似解在时空离散参数趋于零时收敛于二维多边形区域上的广义解。该方法在节点处保持了物理约束(如正性、最大值原理)和质量性质,并通过测试函数与数值解重整化乘积的方式处理极限过程。
keller-segel方程有限元方法奇异敏感性信号吸收数值算法广义解
math
04-01 00:00
本文运用语言的相对密度理论,研究了非阿贝尔自由群子集的密度问题。核心贡献包括:证明了自由约化词语言上的“无限猴子定理”类比,为具有正密度的有理子集提供了语言理论刻画;由此推广了Burillo和Ventura关于自由群中本原元密度为零的结果,证明了自由群元素的自同构轨道自然密度为零。文章深入刻画了具有正密度的有理子集,特别对有限生成子群证明了:子群具有正密度当且仅当其具有有限指数,并分析了密度收敛的条件。在因奇偶性约束导致收敛失败的情况下,证明了子集密度始终弱收敛,且其上、下确界密度的平均值收敛于期望值。
自由群语言理论子集密度有理子集有限生成子群弱收敛
math
04-01 00:00
本文在2-一致凸性的假设下,研究了最小范数插值器(MNI)的泛化性能。该条件弱于内积诱导范数,且通常无闭式解。研究证明,该条件能为线性和非线性模型中的MNI偏差提供上界。对于过参数化线性回归,当范数单位球处于各向同性位置且协变量为各向同性、对称的i.i.d.亚高斯分布时,该上界是尖锐的。此外,在相同协变量假设下,对于$p \in \bigl(1 + C/\log d, 2\bigr]$的$\ell_p$-MNI,本文也证明了尖锐的泛化界。这是首个在非高斯协变量且范数非内积诱导的情况下,为线性模型建立尖锐界的工作。
最小范数插值2-一致凸性泛化误差过参数化模型banach空间几何各向同性位置
math
04-01 00:00
本文针对大规模对称正定线性系统在矩阵自由环境与有限迭代次数下的求解问题,研究了采用谱预条件子的预条件共轭梯度法。谱预条件子通过一个缩放参数将部分特征值映射到一个正簇,其余谱保持不变,旨在减少收敛所需迭代次数。研究将谱预条件子的设计表述为一个约束优化问题,其最优簇位置定义为在固定迭代次数下最小化能量范数误差。该最优性准则为PCG在提前终止时设计高效谱预条件子提供了新见解。文章提出了选择缩放参数(即簇位置)的实用策略,计算成本可忽略不计。数值实验强调了簇位置的重要性,并展示了在能量范数误差方面,特别是在初始迭代阶段的显著改进。
谱预条件子共轭梯度法线性系统求解特征值聚类迭代预算能量范数
math
04-01 00:00
本文证明了当参数q不是单位根时,Temperley-Lieb范畴$\mathbf{TL}(q;\mathbb{C})$可嵌入到一系列模张量范畴的超积中。基于此,作者证明了其Drinfeld中心是半单的,并描述了其简单对象。研究还表明,由辫结构和$\mathbb{Z}/2\mathbb{Z}$分次诱导的典范函子$\mathbf{TL}(q;\mathbb{C})\boxtimes \mathbf{TL}(q;\mathbb{C})^{\mathrm{rev}} \boxtimes \mathbf{Rep}(\mathbb{Z}/2\mathbb{Z}) \to \mathcal Z(\mathbf{TL}(q;\mathbb{C}))$是一个幺半等价,在通过特定双特征扭曲辫结构后成为辫等价。
temperley-lieb范畴drinfeld中心模张量范畴辫结构超积半单范畴
math
04-01 00:00
本文是对先前一系列关于“自然信息度量”争论的回应。作者认为对方观点“甚至算不上错误”,并试图通过系统性的反驳来澄清相关概念,以恢复学术讨论的理性基础。
信息论数学物理学术争论信息度量
math
04-01 00:00
本文在洛伦兹n维空间中,基于经典的矫正曲线与法向曲线概念,引入了g-矫正曲线(类空与零曲线)与g-法向曲线。其核心推广在于考虑一个由可积函数g(s)定义的g-位置向量场 $\xi_g(s) = \int g(s) d\xi$。若一条弧长参数化曲线$\xi$的g-位置向量始终位于其矫正空间(或法空间)内,则分别称为g-矫正曲线(或g-法向曲线)。研究的主要目标是对这些广义曲线进行全面刻画与分类,从而拓展对洛伦兹空间中曲线几何性质的理解。
微分几何洛伦兹空间广义曲线矫正曲线法向曲线弧长参数
math
04-01 00:00
本文研究了单位圆盘解析自映射的一个子类 $\mathcal{A}_{\beta}$,该类函数与单参数连续半群的生成子相关。通过结合复动力系统与几何函数论的方法,我们改进了经典的Bohr半径,并建立了广义的Bohr不等式与Bohr-Rogosinski不等式,确定了这些不等式成立的最佳半径。此外,我们解决了该函数类的经典Fekete-Szeg\"o问题,对所有实数 $\mu$ 给出了泛函 $|a_3 - \mu a_2^2|$ 的精确界,并推导了函数及其逆函数对数系数模差的精确不等式。
复分析bohr现象半群生成子系数估计几何函数论fekete-szegö问题
math
04-01 00:00
本文研究了单位圆盘上几类保向调和映射的Landau型定理。对于类 $\mathcal{P}_{\mathcal{H}}^{0}(M)$ 和参数化类 $\mathcal{W}_{\mathcal{H}}^{0}(\alpha)$($\alpha \ge 0$),作者建立了精确的Landau型定理。特别地,对于 $\mathcal{W}_{\mathcal{H}}^{0}(\alpha)$ 中的映射,作者推导了其单叶半径以及像中包含的最大单叶圆盘半径,这些结果用Lerch超越函数 $\Phi(z,s,a)$ 和双对数函数 ${\rm Li}_2(z)$ 表示。通过为每个类构造适当的极值函数,证明了所得半径的精确性。这些结果推广并扩展了调和映射理论中已知的Landau型定理。
调和映射landau定理单叶半径极值函数特殊函数
math
04-01 00:00
本文在黎曼假设成立的条件下,通过引入新的因子,成功将欧拉素数乘积函数解析延拓至复平面区域 $\Re(s)>\tfrac{1}{2}$(除极点 $s=1$ 外)。研究还讨论了如何在 $s=1$ 处恢复梅滕斯第三定理,并将该技术应用于延拓其他类似的欧拉乘积。最后,作者构建了 Pari/GP 脚本进行数值计算验证。
解析延拓欧拉乘积黎曼假设素数理论复分析
math
04-01 00:00
本文提出了一种无需实际求解方程,即可判断四次方程实根与复根数量的新方法。该方法通过将四次方程与切比雪夫恒等式 $8\cos^4\theta - 8\cos^2\theta + 1 = \cos 4\theta$ 匹配,将问题转化为分析函数 $f(\theta) = a\cos\theta + \cos 4\theta + b$ 在区间 $[0, \pi]$ 上的行为。相比传统的六次判别式,此方法计算轻量、概念直观,从三角视角揭示了四次方程根的几何本质。
四次方程实根判别三角函数切比雪夫多项式方程分类
math
04-01 00:00
本文研究了内接于固定圆且外切于中心圆锥曲线的三角形族,在Poncelet几何框架下推广了经典的Chapple-Euler关系。当三角形的外心与圆锥曲线的中心或焦点重合时,发现了多个几何不变量,包括垂足三角形、切点三角形、极圆以及三角函数表达式如 $\sin^2 A + \sin^2 B + \sin^2 C$ 的不变性。进一步给出了特殊配置下(如焦点位于外心和垂心)与给定三角形相关的中心圆锥曲线的显式解析构造,并探讨了Poncelet族内的极值面积问题,发展了同位相似与非同位相似的Poncelet对序列构造方法。这些结果为经典三角形几何、中心圆锥曲线和Poncelet闭包定理提供了统一的几何框架。
三角形几何圆锥曲线poncelet闭包定理几何不变量chapple-euler关系解析构造
math
04-01 00:00
本文引入了优先格,这是一种源于有根树和森林上优先搜索算法的结构。通过组合双射,证明了其极大链可由停车函数标记,而其主理想的极大链可由部分停车函数标记。研究确立了优先格是一个分次格,并计算了其默比乌斯函数和特征多项式,揭示了算法过程与组合对象之间的深刻联系。
优先格停车函数组合结构分次格默比乌斯函数树搜索
math
04-01 00:00
本文证明了在维度d和余维k = d_*-d+1(其中d_*为Janet维度)下,Monge-Ampère系统的$\mathcal{C}^{1,\alpha}$解在连续函数空间中稠密,对任意Hölder指数$\alpha<1$成立。该结果强化了[Lewicka 2022]中针对k = 2d_*的结论,并推广了[Inauen-Lewicka 2025]在d=2、k=2时建立的完全灵活性。同一证明框架还可推广至d维黎曼度量到$\mathbb{R}^{d_*+1}$的等距浸入的局部完全灵活性。
monge-ampère系统完全灵活性等距浸入偏微分方程几何分析