数学

数学理论与方法:符号计算、优化、形式化验证与 AI 辅助推导

稀疏最大仿射回归的稀疏梯度下降变量选择与初始化

结论:在协变量满足次高斯性与反集中性质的条件下,稀疏梯度下降(Sp-GD)可为凸分段线性(最大仿射)回归提供非渐近局部收敛保证,并实现变量选择与参数恢复;该结论为理论分析结果,证据档位C。 设计与做法:属理论/方法类研究,提出Sp-GD用于稀疏最大仿射回归的变量选择,并给出非渐近

离散时间量子行走中投影转移矩阵的峰态转移

结论方向:作者提出并刻画了「峰态转移」这一概念,将两反射离散时间量子行走中的完美态转移推广为酉演化下可达的最高态转移;证据档位为C,属理论/组合数学层面的结果,材料未报告实验验证。 研究设计与做法:属理论分析类工作,采用组合方法与谱方法;核心工具为将转移矩阵投影到子空间后所得矩阵

McKean-Vlasov PDE的线性化反馈镇定

结论:作者提出并证明,基于线性化动力学的Riccati反馈律可在环面上实现McKean-Vlasov PDE的局部指数镇定,并可按选定收敛速率加速收敛;该结论为数学证明加数值验证,属理论性证据。 设计与做法:研究为理论分析与数值实验结合。在加权零均值空间中重写受控PDE,经基态变

物理—数字活动空间隔离框架:多源大数据模拟验证与真实数据概念验证

该研究提出一个区分共在、数字暴露与数字互动的物理—数字活动空间框架,将物理隔离与数字隔离作为两个独立成分而非强行合成;模拟结果显示两类成分对其生成机制具有选择性响应,但真实数据层面未报告收入隔离、数字暴露、物理—数字耦合或不平等的因果效应估计,因此整体证据档位为C,仅提示框架可行

分位数回归生成式元建模实现随机模拟实时决策

提出生成式元建模概念与分位数回归算法QRGMM,目标是构建“模拟器的快速模拟器”,在给定输入下快速生成随机输出并近似保持条件分布,从而支持实时决策中任意汇总统计量的即时计算;作者报告其具有分布收敛性,并在数值实验中表现优于其他先进生成算法。 研究为方法学论文,属算法开发与数值实验

拓扑富集匕首范畴中鞅与倒向鞅的收敛性证明

结论:作者用拓扑富集范畴论给出鞅与倒向鞅依L^p范数收敛的范畴论证明,并称任意网指标倒向鞅的收敛结果似为新结果;该结论属数学证明层面的证据支持,非实验或临床证据。 设计与做法:属理论/数学论文,非人体或动物研究。作者在概率空间与Markov核(模几乎必然相等)构成的拓扑富集匕首范

随机系数椭圆偏微分方程的多层核近似方法

结论:作者提出多层核近似方法,用于高效求解带周期随机系数的椭圆偏微分方程,在保持给定精度ε的同时降低计算成本;该结论基于理论误差分析与数值实验,属方法学层面的证据支持。 设计与做法:本研究为数值数学方法学研究,包含完整正则性理论与误差分析,并开展数值实验,将多层近似与单层近似进行

不同差构型的区间容量与二阶界

本预印本用带边界常数2/3的带符号区间容量证书,为声呐序列、弱Sidon集及相关不同差构型给出显式二阶上界;结论方向为收紧上界,属数学证明而非实验证据,档位为「证据支持」(在所述条件下)。 研究为纯数学证明型工作:以带符号区间容量证书为核心工具,保留Cauchy–Schwarz不

高维约束优化的随机子空间梯度法:迭代复杂度与步长分析

结论方向:作者提出面向高维约束优化问题的随机子空间梯度方法,并在线性与非线性设定下给出最坏情况迭代复杂度,理论上提示其可较确定性对应方法采用更大步长;该结论为理论推导结果,材料未报告数值实验验证。 研究设计与做法:属方法学与理论分析类工作,非人体或动物实验;做法为将梯度向量投影到

POD降阶模型中BDF-q时间积分的收敛性分析

结论:在半线性反应扩散模型的POD降阶模型中,采用BDF-q(1≤q≤5)作时间积分器可达到时间方向q阶最优收敛率,该结论为数值分析层面的理论证明,属证据支持。 研究设计与做法:属数值分析类理论研究,针对半线性反应扩散模型问题,快照集由原问题的有限元近似在不同时刻计算得到,有限元

部分扩展b-度量空间及其若干不动点定理

结论方向:作者提出部分扩展b-度量空间(PEBMS)这一新结构,并在此框架下给出压缩映射的不动点存在性与唯一性定理;该结论属数学理论推演,材料未报告任何数值效应量或统计检验,故不涉及“显著”与否的判断。 研究设计与做法:属纯理论数学研究,非实验或临床设计;材料未报告样本量、干预与

导出微分几何中移位Poisson结构与形变量子化概述

本文为综述性概述,旨在将导出代数几何中的若干近期结果翻译到导出微分几何框架,方向为理论框架的迁移与整理,属证据支持程度较低的综述性陈述。 研究设计为理论综述与框架梳理,材料未报告样本量、干预与对照、随访时长等要素,亦未报告系统检索策略或纳入排除标准。