标签:数学

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

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

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

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

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

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

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

AI生成数学证明时代数学人文性之问

该文为资讯类报道,核心指向一个提问而非实证结论:当AI不断产出数学证明时,若只关注答案本身,数学可能失去什么;材料未报告任何量化结果,故不足以对AI对数学的影响作出结论。 研究设计与做法:材料未报告。据标题与摘要,该文属于Science News的资讯报道,围绕DeepMind的