The SQInstructor: a guide to SQIsign and the Deuring Correspondence with level structures
该论文通过引入映射选定水平结构的额外约束,提出了一个基于水平结构推广 SQIsign 签名方案的通用框架,并在此基础上构建了带水平结构的超奇异椭圆曲线显式 Deuring 对应关系,同时解决了新的受约束范数方程问题。
2630 篇论文
该论文通过引入映射选定水平结构的额外约束,提出了一个基于水平结构推广 SQIsign 签名方案的通用框架,并在此基础上构建了带水平结构的超奇异椭圆曲线显式 Deuring 对应关系,同时解决了新的受约束范数方程问题。
该论文基于证明论语义学提出了一种替代视角,指出对于合适的算术理论,其“支持”(support)这一语义后承概念虽在形式上无法证明自身一致性,却能在语义上支持该一致性陈述,从而将哥德尔不完备性定理重新诠释为同一理论内部“可推导性”与“支持性”这两种后承概念之间的原则性分歧,而非句法证明与独立模型真理之间的鸿沟。
该论文将同伦集、群、连通与截断映射等基础同伦论概念推广至-范畴及在Gray张量积下由-范畴加权的现成范畴,通过引入由范畴圆盘边界索引的同伦偏序集构建了类比纤维化长正合列的范畴结构,并证明了Postnikov塔在-范畴中的收敛性及其在Postnikov完备-范畴子范畴中的极限刻画。
本文利用近期发展的局部谱分析方法,通过特征多项式给出了 Kippenhahn 猜想成立与否的充要条件。
本文旨在建立从具有受控几何结构的广义-流形到欧几里得空间的拟正则值Reshetnyak定理,从而推广了Kangasniemi和Onninen在欧几里得空间情形下的先前结果。
该论文提出了一种针对随机缺陷扩散系数椭圆问题的离线 - 在线子空间分解预处理方法,通过预计算局部子空间解并在线高效组合,解决了不确定性量化中蒙特卡洛模拟因反复构建预处理器而带来的高昂计算成本问题。
该论文提出了一种两阶段近似方法,通过将三维调和狄利克雷问题分解为奇异部分和正则部分,分别利用高阶求值规则和调和基配点法来有效解决解中的奇异性问题。
本文通过理论分析与半离散拉格朗日 - 欧拉数值模拟,研究了径向对称等熵欧拉方程中稀疏波与压缩波在三种不同流态下的演化机制,揭示了亚音速和内向超音速流中特有的非对称波性转换规律,并推导了有限时间奇点形成的充分条件。
本文提出了一种基于锚函数的模型无关框架,通过将外推问题重构为具有严格保证的可行性与投影问题,利用可验证的误差界修正基线近似,从而在理论上确保外推误差不会增加并显著降低外推风险。
本文证明了由 及后续取为能表示为至少两个连续先前项之和的最小整数所定义的贪心自生成序列,其增长阶介于 与 之间,从而证实了该序列遗漏了无穷多个正整数并解决了 OEIS A005243 条目中的猜想。
该论文通过证明解析中心在加权极坐标下存在洛朗逆积分因子,建立了一种通用的理论方法来解决庞加莱中心问题,并成功应用于此前难以处理的非平凡多项式向量场族。
本文研究了在空间维度小于两倍分数阶拉普拉斯算子幂次()且系数不规则的情况下,分数阶非线性薛定谔方程的适定性问题,通过引入“极弱解”概念证明了其存在性、唯一性及与经典解的相容性,并辅以数值实验,首次建立了非线性偏微分方程极弱解适定性的理论框架。
该论文在假设黎曼猜想不成立的前提下,建立了一个渐近关系,将某些狄利克雷-函数非平凡零点处的留数与关于有理数的连续函数联系起来,并探讨了其对黎曼猜想的潜在启示。
该论文从几何视角研究了埃拉托斯特尼筛法,引入了“焦点”与“极值”等概念,揭示了素数分布中的对称性与几何秩序,并给出了产生相同商的最大余数公式。
本文通过引入“全实爆破”这一半局部技术,将局部问题转化为全局问题,证明了欧氏空间中光滑凸曲面上孤立脐点的半整数值局部指数严格小于 2。
本文研究了局部紧群胚中离散群精确性的类比定义,证明了对于一类称为内可迁的étale群胚,其六种自然精确性概念(包括强无穷远可迁性、核性、Kirchberg-Wassermann 精确性及约化 C*-代数精确性等)是等价的,并探讨了这些结果在群胚可迁性与其全 C*-代数与约化 C*-代数重合性关系中的关键作用。
本文提出了一种基于数字复杂度的“智能测度”函数,用于量化实数在特定模型下近似值的质量,并论证了该理论在有理数模型中与经典丢番图逼近理论的一致性。
该论文声称通过建立一种估算固定位移下函数相关性的通用方法,证明了孪生素数猜想,即存在无穷多对孪生素数。
本文通过引入“宇宙”、“诱导社群”及“细胞与斑点”等新概念,证明了对于任意有限宇宙及其诱导社群,总存在一个斑点,其密度不小于二分之一,从而解决了并闭集猜想。
本文提出并解决了一个关于有限阶实矩阵的双变量多项式问题,通过建立其与拉格朗日双变量多项式插值问题的联系,证明了在特定有限维子空间中该问题解的存在性与唯一性,并给出了多项式的构造公式及数值验证。