Punctually Standard and Nonstandard Models of Natural Numbers
该论文通过引入“点态标准性基”的概念,探讨了在自然数同构模型中哪些操作集能保证原始递归函数类保持标准性,从而回答了 Grabmayr 提出的问题并确立了某些自然有限生成结构的点态范畴性。
3956 篇论文
该论文通过引入“点态标准性基”的概念,探讨了在自然数同构模型中哪些操作集能保证原始递归函数类保持标准性,从而回答了 Grabmayr 提出的问题并确立了某些自然有限生成结构的点态范畴性。
本文针对顶点集为因子笛卡尔积的多种图乘积(包括直积、笛卡尔积、强积、字典积、对称差积、析取积和谢尔宾斯基积),推导出了计算 M-多项式的显式公式,从而为度基拓扑指数提供了统一的结构性描述框架。
该论文证明了对于复椭圆算子的特征函数,当特征值趋于无穷时,其非零集补集的内半径要么具有量级的下界,要么特征函数的范数几乎全部集中在宽度为的边界层内。
本文利用图变换方法,确定了具有固定直径的树和单圈图在逆和指标(ISI)下的最大键入度指数,并分别刻画了达到该最大值的极值图结构。
本文研究了集合幂集着色中避免彩虹弱或强偏序集拷贝的最大色数(反拉姆齐数),建立了其与极值数的联系,并确定了树形偏序集和皇冠偏序集对应的强反拉姆齐数的渐近值。
本文通过建立赫米特 - 杨 - 米尔斯张量的新比较定理,证明了在存在正定初始张量的条件下,任意紧凯勒流形上全纯向量丛的指定赫米特 - 杨 - 米尔斯张量问题存在唯一光滑解,并由此导出了适用于全纯向量丛和法诺流形的量化陈数不等式。
本文研究了弗伦德塔尔魔术方阵中半单代数群的上同调不变量与动机不变量,证明了若强内型群的罗特不变量模 2 可表示为至多两个符号之和则其在奇次域扩张下各向同性,并构造了检测型群各向同性的 5 次上同调不变量。
本文计算了以常值 Mackey 函子 为系数的 -群 -分次 Bredon 上同调,给出了相关系数环及其乘法结构的显式描述,并将其应用于通过等变复射影空间的上同调来研究上同调运算的提升问题。
本文提出了一种基于能量相关矩模型的确定性有限元离散框架,通过结合单调凸限制(MCL)策略与 Strang 型算子分裂技术,构建了能够严格保持物理可实现性(IDP)的算法,从而实现了质子治疗中准确且物理一致的剂量计算。
该论文在 Ricci 曲率、内射半径有下界且直径有上界的闭黎曼流形类中,建立了与 Cheng 定理类似的 Hodge 拉普拉斯算子特征值一致上界,推广了此前需要截面曲率界的结果,并由此获得了 1-形式上联络拉普拉斯算子的特征值估计。
本文提出了一种结合正则化更新与松弛 Armijo 线搜索的噪声鲁棒拟牛顿法,通过引入 Objective-Function-Free Optimization 和 AdaGrad-Norm 策略,在函数值存在数值误差的情况下实现了全局收敛性,并在 CUTEst 基准测试及低精度浮点运算中展现出优于现有方法的鲁棒性与效率。
本文利用双移空间不变子集的复杂度函数,计算了一类一维动力系统诱导的超空间连续统动力学的多项式熵,并给出了导致其具有无限拓扑熵的简单判据。
本文证明了在闭流形上,若临界点度量满足迹零 Ricci 算子范数为常数(任意维)或三维情形下满足特定的迹不等式条件,则爱因斯坦度量猜想成立。
本文研究了由 Erdős–Rényi 随机图生成的高维对称边多胞形,结合组合几何分析与离散 Malliavin–Stein 方法,推导了多胞形边数及其单模三角剖分边数的渐近期望与方差,建立了具有显式收敛速率的中心极限定理,并揭示了导致方差主导项抵消的特殊参数值所引发的非典型波动机制,从而首次为随机格点多胞形建立了分布极限定理。
该论文通过数学证明揭示了三维空间中间歇性柯西行走()具有独特的尺度不变性,能够针对广泛的目标尺寸和形状实现近最优检测,从而为莱维飞行觅食假说奠定了严谨基础。
本文利用线几何工具,对由三线性双有理映射产生的参数线丛在实数域上进行了分类。
本文利用函数类对的可容性概念,建立了在满足小性可积条件的非局部扰动下非均匀指数二分性得以保持的充分条件。
本文针对传统多层智能超表面存在的复杂度高、功耗大等问题,提出并分析了两种代表性的双层架构(MF-SIM 和 FILM),通过权衡信号处理灵活性与功率效率,验证了其在降低损耗和优化负担的同时保持良好性能,为实用化 6G 系统提供了新路径。
本文证明了整数对称次模函数中所有值为 的割集族 admits 一个多项式大小的表示,并给出了构造该表示及在固定 下解决带基数约束的割集寻找问题的多项式时间算法。
本文研究了复仿射变换群中反合变换(coninvolution)的乘积分解问题,证明了仿射变换可分解为两个反合变换之积当且仅当其线性部分共轭于其共轭逆矩阵,并进一步刻画了可分解为三个反合变换的元素特征以及行列式模长为 1 的变换最多可分解为四个反合变换之积的结论。