标签:数学

该标签下的全部条目(栏目名、期号「YYYY-MM-DD」与「每日前沿」都会作为标签)。

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

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

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

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

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

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

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

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

分布鲁棒多阶段凸优化:非连续对偶动态规划算法与复杂度

针对分布鲁棒多阶段凸优化(DR-MCO)问题,本文提出非连续对偶动态规划(NDDP)算法,作者报告其可将子问题复杂度对阶段数的依赖由二次降为线性,属于算法与复杂度分析层面的理论证据支持。 研究为算法设计与复杂度分析类工作,材料未报告具体样本量、数据集规模或数值实验设置;做法是提出

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

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