math
02-12 00:00
本研究探讨了在具有狄利克雷边界条件的离散方形晶格波导中,由有限横向条带引起的波散射问题。该模型是经典连续波导屏幕问题的离散类比。研究未采用传统的Wiener-Hopf矩阵分解路径,而是通过极点移除技术获得了精确的解析解,这与连续情况下目前只能得到近似解形成对比。计算得到的反射和透射系数精度高达$10^{-13}$,与连续波导理论的理论预测一致,并在入射模式频率接近截止值时再现了全反射和零透射现象。
波散射离散波导精确解wiener-hopf极点移除晶格格林函数
math
02-12 00:00
本文提出了一种在分布空间中处理线性逆问题的新方法,无需对前向模型进行离散近似。研究表明,在特定假设下,数值求解仅依赖于与未知量表示无关的数值积分,从而避免了传统方法中对未知量的离散化需求。该方法为无限维函数空间中的贝叶斯逆问题理论提供了计算实现路径,并分析了与基于离散化方法的联系。
贝叶斯逆问题分布空间无离散化数值积分无限维理论
math
02-12 00:00
本研究针对径向基函数插值中形状参数的选择问题,提出了一种高效的留一交叉验证加速方法。传统方法需要重复求解稠密的N×N核矩阵,计算成本高昂。作者结合Nyström近似与Woodbury恒等式,推导出一个高效的代理目标函数,避免了大规模矩阵求逆。通过在一维、二维和三维空间中使用逆多重二次径向基函数进行数值实验,验证了该近似方法在保持原方法定性行为的同时,显著提升了计算效率,使其能够适用于更大规模的数据集。
径向基函数交叉验证低秩近似参数选择数值计算
math
02-12 00:00
本文针对对数似然函数在参数上为凹函数且先验分布为对数凹的模型,证明了Bernstein-von Mises定理的新版本,适用于正确设定和误设定模型。与经典版本不同,该证明不依赖技术性光滑假设,仅基于凸分析工具,简化了理论框架并扩展了适用范围。
贝叶斯渐近理论对数凹分布凸分析后验分布模型误设定
math
02-12 00:00
本研究探讨了正交变换不变的实随机矩阵特征向量的离域化现象。与酉不变系综不同,实矩阵的特征向量局部化程度与其特征值到实轴的距离相关:特征值越接近实轴,对应特征向量越局部化。研究者使用逆参与率 $\mathrm{IPR}(x) = N|x|_4^4 / |x|_2^4$ 量化局部化程度,并通过分析典型旋转不变矩阵模型的舒尔分解,严格证明了在给定特征值虚部 $|\mathfrak{Im}(\lambda)| = y / \sqrt{N}$ 的条件下,对应特征向量的 IPR 依分布收敛于一个仅依赖于 $y$ 的随机变量 $\ell_y$。进一步得出 $\ell_y \to 3$($y \to 0$,更局部化)和 $\ell_y \to 2$($y \to +\infty$,更离域)的极限行为,该结论对高阶 IPR 及整个实椭圆 Ginibre 系综(包括经典实 Ginibre 系综)均成立。
随机矩阵特征向量离域逆参与率实椭圆系综正交不变性
math
02-12 00:00
本文针对周期边界条件下的不可压Navier-Stokes方程,提出了一种高效、无条件稳定、变步长的二阶指数时间差分格式及其自适应步长变体。该格式的核心创新在于结合了动态二阶标量辅助变量校正(确保二阶时间精度)和均值回复标量辅助变量多步格式(保证长时间稳定性)。其无条件稳定性表现为:只要外力在$L^2$范数下一致有界,则数值解在$L^\infty(0,\infty; L^2(\Omega)^d)$范数下对任意雷诺数和时间步长均一致有界。每步计算仅需求解两个时间依赖的Stokes问题(在周期条件下可用Fourier方法显式计算)和一个标量三次代数方程。二维数值实验验证了其二阶精度、长时间稳定性和自适应策略的有效误差控制。
navier-stokes方程指数时间差分无条件稳定变步长标量辅助变量长时间模拟
math
02-12 00:00
本文证明了非参数可加回归模型与一个适当的高斯白噪声实验之间的渐近等价性。在该白噪声模型中,观测到的是一个多维平移维纳过程,其维度等于回归函数中可加成分的数量。平移量由回归函数的可加成分以及协变量的一维和二维边际分布共同决定,通过一个明确指定的有界但非紧的线性算子 Γ 来描述。研究允许可加成分的数量 d 随样本量适度增长。特别地,当协变量各成分相互独立时,白噪声模型可分解为 d 个独立的单变量过程。此外,文章还在某些半参数设定下研究了 Γ 的近似,其中 Γ 可分解为一个乘法算子和一个渐近可忽略的希尔伯特-施密特算子之和。
渐近等价性非参数回归可加模型高斯白噪声维纳过程半参数估计
math
02-12 00:00
本文针对成像中的盲源分离问题,首先将文献中的可分离性准则推广至任意相关的复值源与加性噪声场景,完善了先前在扩散环境中成像的理论基础。随后,研究验证了该准则在成像中两种常见传播机制(散斑机制与随机几何光学机制)下的适用性。最终,提出了一种基于盲源分离问题的新成像方法,该方法相比经典的时间反转算子分解法,能有效提升成像质量。
盲源分离成像方法散斑机制随机几何光学时间反转算子
math
02-12 00:00
本文研究了带有不动点的线性逻辑的无穷良基系统,其分支规则由不动点的某个闭序数 $\alpha$ 索引。主要结果表明,对于某个可计算序数 $\alpha$,该系统的可证性在超算术层次 $\omega^{\alpha^\omega}$ 级别上是完备的。研究首先发展了证明论基础,包括切割消去和聚焦结果,以控制上界和下界分析。论证采用了精心校准的公式秩概念,精确计算了(无切割)证明搜索空间的高度界限。
线性逻辑不动点证明论超算术层次序数分析复杂度
math
02-12 00:00
本研究将统计学中两种主要的排列距离——肯德尔τ距离和斯皮尔曼足尺距离——自然地扩展到不完全排名数据中,通过坐标嵌入和图实现建立了统一的度量几何框架。该框架将计算社会选择中的热门主题(如度量偏好、极化与比例性)联系起来。其核心应用在于,利用度量结构能够高效识别选民群体及其偏好的候选人阵营。由于定义适用于部分选票,该方法不仅可用于合成选举,还能应用于一系列真实世界选举数据,提供了稳健的聚类方法。
度量几何投票排名社会选择聚类分析不完全排名
math
02-12 00:00
本研究通过无粘性数值模拟与1:10比例水槽实验验证,分析了双翼振荡涌浪波能转换器(OSWEC)的翼板间距对其性能的影响。研究发现,在短间距下,翼板间的流体相互作用会随波频变化产生破坏性或建设性干扰,但在宽频波浪激励下总体效应趋于平衡。长间距则始终产生建设性干扰。然而,在综合考虑所有波浪频率与振幅后,间距对部署于PacWave South站点的装置年发电量影响不显著。
波浪能振荡涌浪阵列间距能量捕获数值模拟水槽实验
math
02-12 00:00
本文证明了在特征不为2的域上,具有第一类对合的完全可分解代数的真射影相似群是R-平凡的。这一结果深化了对代数结构及其自同构群的理解,为代数群和K-理论的相关研究提供了新的工具和视角。
完全可分解代数对合代数r-平凡群射影相似群代数结构
math
02-12 00:00
本文研究定义在代数曲线上的两个一维正则平面多项式自同构族 $f$ 和 $g$。在其中一个族是耗散的条件下,证明了对于任意参数 $b$,要么 $f_b$ 和 $g_b$ 共享一个公共迭代,要么它们的公共周期点集 $\mathrm{Per}(f_b) \cap \mathrm{Per}(g_b)$ 的基数存在一个与参数 $b$ 无关的、统一的常数上界 $D$。该结果将 Mavraki 和 Schmidt 关于有理映射的结论推广到了多项式自同构的情形。
动力系统多项式自同构周期点统一有界性代数几何
math
02-12 00:00
本文在n维时间尺度域上建立了非线性椭圆Dirichlet边值问题的存在性与唯一性结果。时间尺度理论为连续、离散及混合情形提供了统一框架。在非线性项受第一特征值约束的Lipschitz条件下,利用压缩映射定理证明了唯一解的存在性;在更弱的一侧增长条件下,利用Leray-Schauder不动点定理证明了存在性。为应用泛函分析方法,将问题重构为算子方程,这需要发展具有混合nabla-delta导数的Dirichlet拉普拉斯算子的谱理论。证明了算子的自伴性、正定性及特征函数的完备性,其乘积特征函数在n维情形下构成完备正交基。
时间尺度椭圆方程dirichlet问题谱理论不动点定理
math
02-12 00:00
本文将生态与流行病学中用于判断灭绝或疾病消亡稳态稳定性的关键指标——基本再生数 $R_0$ 的理论,从非负矩阵描述的线性模型推广到更一般的数学框架。研究证明,对于作用在Banach空间上、保持锥结构的有限线性算子,其谱半径 $\rho(L)$ 总是满足 $1$ 与 $R_0$ 构成的区间关系,即 $\min(1, R_0) \le \rho(L) \le \max(1, R_0)$。这一扩展为分析更广泛动力系统的稳定性提供了统一的数学工具。
基本再生数banach空间谱半径锥保持算子稳定性分析数学建模
math
02-12 00:00
本文首次证明了有限域上点与球关联的逆定理(维度 d≥3),揭示了近极值配置必然具有代数刚性结构。当点集 P 与球族 S 的关联数显著超过随机基线时,存在一个规模至少为 |P'| ≳ K q^{(d-1)/2} 的子集 P',包含于一个次数至多为 C K^C 的多项式零点集中。证明通过能量分层隔离高重叠层,并对法向集应用射影多项式二分法,建立了一种新的有限域关联几何刚性机制。该结果为有限域上的钉扎距离与点积问题提供了首个逆类型结构刻画。
有限域几何关联定理代数刚性逆定理极值组合
math
02-12 00:00
本文证明了在特定条件下,一类无限约化自由积C*-代数之间的同构关系。具体地,设 $C$ 为可分单的C*-代数,$A$ 为一维NCCW复形的单直极限,两者均配备忠实迹态。若存在一个保持迹的单嵌入 $A \hookrightarrow \mathcal{Z}$(江-苏代数)且在K-理论上是同构,则无限约化自由积 $A * D$(其中 $D$ 是 $C$ 的无限约化自由积)同构于 $D$。该结果推广了经典情形,例如证明了无穷多个 $C([0,1])$(带勒贝格测度)的约化自由积同构于无穷多个江-苏代数的约化自由积。
c*-代数自由积同构定理算子代数k-理论迹态
math
02-12 00:00
本文提出了一种新的“p进转移方法”,能够将Sturm定理(关于模形式在无穷远处零点阶数的显式上界)从一个空间提升到另一个空间,且仅使用非几何输入。作为应用,作者将经典模形式的Sturm界转移到了权为一的拟模形式空间。所得界对系数在ℤ或ℤ/mℤ中的拟模形式均一致适用,这扩展了经典理论仅能针对ℤ/mℤ系数得出的非一致结果。该方法有望进一步应用于其他拟模、混合权模对象乃至完全非模对象。
模形式sturm定理p进方法拟模形式零点阶数数论
math
02-12 00:00
本研究针对四维空间中一大类环面域,确定了哪些乘积拉格朗日环面可以通过哈密顿微分同胚嵌入该域。这等价于计算了由 Hind 和 Zhang 定义的哈密顿形状不变量。核心论证依赖于辛多圆盘中乘积拉格朗日环面的新相交结果:对于将特定拉格朗日乘积环面映射回多圆盘的哈密顿微分同胚,我们证明了其像与一个以原环面为基点的单参数乘积拉格朗日环面族之间存在交集。当面积比小于2时,该结果可强化为哈密顿像与原拉格朗日环面本身相交。作为补充,研究还提供了一个嵌入构造,表明当使用拉格朗日环面的自然填充代替该单参数族时,此相交刚性消失。
辛几何哈密顿形状不变量拉格朗日子流形环面域相交理论辛嵌入
math
02-12 00:00
本文研究了Erdős–Sós极值集合论问题的超饱和版本:对于一个大小为$\ell$的$k$元子集族$\mathcal{F} \subset \binom{[n]}{k}$,其诱导的交集大小恰好为$t$的集合对的最小可能数量是多少?当$k$固定且$n \to \infty$时,我们找到了精确阈值,使得该最小数量与一个随机$\ell$元族中的期望数量仅相差一个常数因子。此外,对于略高于极值函数大小的$\ell$,我们也给出了精确答案。
极值组合超饱和erdős–sós问题集合相交阈值现象
math
02-12 00:00
本文研究了映射的同伦相似关系及其有限阶不变量在复合映射下的行为。具体而言,考虑由映射 $Y \to Z$ 诱导的函数 $[X, Y] \to [X, Z]$,其中该诱导映射与常值映射是强 $r$-相似的。文章描述了在此诱导函数作用下,同伦相似关系的传递规律以及有限阶不变量的变化特性,为代数拓扑中映射空间的分类问题提供了新的理论工具。
代数拓扑同伦论映射空间不变量相似关系
math
02-12 00:00
本文证明了在气体巨星流形上,测地线X射线变换对一类边界光滑的1-形式场具有可逆性。气体巨星流形是一种边界奇异性弱于渐近双曲的共形爆破黎曼流形。证明基于Pestov恒等式与短测地线的渐近分析,为奇异几何结构下的层析成像理论提供了新工具。
层析成像气体巨星流形x射线变换微分几何pestov恒等式渐近分析
math
02-12 00:00
本研究解决了关于有向图中(2,ℓ)-蜘蛛子图存在性的一个猜想。此前已知,最小出度至少为3.23ℓ的有向图必然包含一个(2,ℓ)-蜘蛛(即一个有ℓ片叶子的入星图的1-细分)。本文证明,最小出度至少为2ℓ的充分条件即可保证该子图的存在,且该阈值$2\ell$是最优的,因为具有$2\ell$个顶点的完全有向图不包含(2,ℓ)-蜘蛛。
有向图极值图论子图存在性最小出度蜘蛛图
math
02-12 00:00
本文针对由任意函数上确界定义的子水平集,给出了其法锥的精确且显式的刻画,该刻画完全由数据函数的次微分表示。在凸情形下,公式涉及各数据函数在给定点的近似次微分;而在拟凸情形下,则需要使用数据函数在邻近点的 Fréchet 次微分。这些结果为无限维凸与拟凸优化问题的最优性条件推导提供了有力工具。
凸分析拟凸函数法锥次微分优化理论最优性条件