bsd猜想 Murmuration of Eliptic Curves(笔记)

news2024/11/11 6:00:00
  • BSD Alexey Pozdnyakov (University of Connecticut) YUTUBE视频, B站搬运地址
  • 新生代女数学家Nina Zubrilina得到椭圆曲线椋鸟群飞模式精确公式与证明

Arithmetic Geometry算术几何

希尔伯特第十问题

  • 希尔伯特第十问题(Hilbert’s Tenth Problem)是由德国数学家大卫·希尔伯特在1900年提出的一系列23个数学问题中的第十个问题。这个问题涉及到对于多项式方程是否存在一种通用的算法,用于判断方程是否有整数解。具体来说,希尔伯特问的是:是否存在一个算法,能够确定一个给定的整系数多项式方程是否有整数解。

  • 这个问题直到1970年才在苏联数学家尤里·马脱维奇·马特亚塔斯耶维奇·达尼洛维奇 (Yuri Matiyasevich) 的工作下得到回答。他证明了类似于戴尔宾斯(Julia Robinson)、马丁-戴维斯(Martin Davis)和普特南(Hilary Putnam)的一般形式的数学逻辑理论是适用于证明这样的算法不存在的

  • 但是简单情况是有办法的。
    在这里插入图片描述

  • 我们只需要考虑一些更简单的问题和一种方法来做到这一点是限制多项式,我们看到限制它们的明显方法是查看变量较少且次数较低的多项式。

  • 因此如果我们一直到单变量多项式,这个问题实际上就变成了有理根定理。允许我们确定该多项式是否有有理根

2-Variable Quadratics

  • 如果我们有一个带有整数系数的二阶二变量多项式,
    在这里插入图片描述
  • 有两种情况, 要么没有有理解,要么有无限多个, 我们使用仓促的明可夫斯基定理来确定这一点,然后我们实际上可以明确地找到第二种情况下的所有解决方案呃
  • 您只需找到一个有理解调用那个 p 然后你采取,通过 p 的所有有理斜率线并计算这些线与圆锥曲线的第二个交点,这实际上会给你所有有理点,这实际上会给你所有有理点
  • 当然, 收集它们的线将具有合理的斜率,因为 x 和 a 会有合理的变化。
  • y 的有理变化 um 反过来有点复杂,但本质上如果你有一条线穿过有理点以计算第二个交点。你把这条线插入二次曲线, 或者你把它代入, 嗯,这给你的是一个二阶一变量多项式,它具有所有有理系数, 并且你知道的根之一是有理数,因为它去有理点, 所以当然二阶也必须是理性的,嗯, 是的, 这基本上就是所有两个变量的情况
  • 有点尴尬, 这是我们可以采取的最高情况。一旦你尝试处理更复杂的情况,哈西·明可夫斯基定理就会失败。

Mordell-Weil Theorem Over Q

椭圆曲线

  • 所以如果你采用三次方程 3 x 立方加 4 y 立方加 5,就会有一个非常著名的反例z 那么这只有平凡的有理数解。
  • 我们无法真正完全解决这些更困难的方程,所以这就是椭圆曲线出现的地方
  • 椭圆曲线是属一的平滑射影代数曲线,平滑意味着没有尖点或扭结,或者导数永远不会同时消失射影意味着我们将在射影平面上工作
  • 所以这个抽象定义与我们一直在研究的方程有一个定理,它说域 k 上的每个椭圆曲线 e 都同构于由以下方程给出的曲线, 正如您所看到的, 它是一个二变量三阶方程关于这个同构的另一件事是它总是可以将指定的点 o 发送为无穷远点
  • 是的, 也许更令人惊讶的是这个定理的逆,所以每条光滑的三次曲线都同构于椭圆曲线
  • 系数的多项式条件, 因此椭圆曲线构成了所有可能的三次曲线的扎斯基开子集,当然这意味着它们在所有三次曲线的集合中是密集的。
    在这里插入图片描述
  • 所以这个定理基本上告诉我们如何在给定一些已知的有理点的情况下生成新的有理点,如果你有两个有理点 p 和 q 你可以画一个穿过这些点的线然后该线将在呃第三个点处与立方体相交,事实证明, 这一点总是有理数。
    在这里插入图片描述

Simple Open Problems

在这里插入图片描述

Understanding Rank - BSD Conjecture

  • 所以如果你让 e 超过 fp 成为一条椭圆曲线有限域,你可以定义这个特定的量 ap , ap 是 p 加一减去 fp 上该曲线上的点数
  • 所以当你查看椭圆曲线 mod p 和 um 时,你有多少个解, 这个量本质上是一个错误对解数量的某种估计,独立于等级, 你可以计算出你期望有多少个解,
    在这里插入图片描述

Strong form BSD Conjecture The L-function of an elliptic curve is defined to be

椭圆曲线的L函数

  • 这是这些非常好的方程之一,它将一个非常分析的对象与一个非常代数的对象联系起来
    在这里插入图片描述

ML探索

在这里插入图片描述

Logistic Regression

在这里插入图片描述

Logistic Regression Results

在这里插入图片描述

  • 逻辑回归所做的事情与简单地近似不同,逻辑回归具有区分排名第一和排名第二的最佳性能,因此使用 bsd 公式排序,排名越远, 差异就越大。

  • 但逻辑回归实际上表现最好区分排名一和排名二,逻辑回归是一种相当可解释的机器学习方法,只需查看该权重向量即可了解模型的 ap 依赖性。

  • 特别是我们可以绘制权重向量的分量,并尝试了解它如何对不同 ap 进行加权,当我们这样做时, 我们会得到排名 0 与排名 1 的图模型。

在这里插入图片描述

  • 这里的所有或大部分权重都是负数,所以这意味着我们对 ap 进行负权重,这种情况是由 bsd 猜想解释的,

Principle Component Analysis (PCA)

  • 我们还想尝试一种无监督学习方法,我们只需将其交给 ap 并让它对数据进行某种分析,我们所做的就是主成分分析 (PCA) 或主成分分析 (principal)。

在这里插入图片描述

PCA Result

  • 这些是对排名 0、1 和 2 的每个排名的 12 000 条曲线进行采样的结果,似乎第一个主成分实际上是在排名上的,所以这告诉我们, ap 数据集中最大的方差实际上是由排名决定的
    在这里插入图片描述
    在这里插入图片描述
  • 最后的 PCA 结果有点没有最好的分离,特别是在排名零和排名一之间
  • 嗯, 我们感兴趣的一件事是尝试在两者之间获得更好的分离,因此我们能够通过首先删除所有排名二的点来做到这一点,

在这里插入图片描述

PC1 component plot

在这里插入图片描述

  • 它不再是正值或负值,它在两者之间来回振荡,然后它从负值开始变得正也不再是前一百个 ap 中的大部分权重,正如您所看到的, 权重有点遵循这种平滑的振荡
  • 这个主成分图的作用是告诉我们当我们将这些 ap 投影到低维子空间时我们采用什么 ap 的线性组合,在这个高维空间中, 平均等级零平均等级一曲线是什么样子
  • 那么我们如何才能看看这条平均曲线,我们需要定义我们要平均的椭圆曲线集,所以我们在这里使用 n1 到 m2 的 er 来实现这一点,它只是秩等于 r 的所有椭圆曲线的集合
  • 然后我们在这里定义这个函数,因此 n 的 fr 只是这整组椭圆曲线上的第 n 个 ap 的平均值,
    在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

  • 我们将排名零的分布绘制为蓝色,将排名一的分布绘制为红色,大多数分布是这个紫色重叠区域

  • 我想简要谈谈我们一直在研究的这项工作的非常自然的延伸之一,所以嗯安德鲁·怀尔斯(andrew wiles)当他批准马的最后一个定理时,他的一个非常重要的关键步骤是他证明了某个椭圆曲线是模的,这意味着 l 函数将椭圆曲线与 a 的 l 函数关联起来或等于 a 的 l 函数某种模块化形式。从那时起, 这个结果得到了某种程度的扩展,特别是在 2001 年证明了有理数上的所有椭圆曲线都是模的,
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

New Questions

在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1546284.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

TransUNet论文笔记

论文:TransUNet:Transformers Make Strong Encoders for Medical Image Segmentation 目录 Abstract Introduction Related Works 各种研究试图将自注意机制集成到CNN中。 Transformer Method Transformer as Encoder 图像序列化 Patch Embed…

拼板注意事项和步骤

拼板注意事项和步骤 综述:本文讲述了AD软件中拼板的注意事项以及拼板的步骤。 1. 拼板注意事项 拼板时应注意定位孔、光学定位点、工艺边、间距和器件冲突等问题。 2. 拼板步骤 ①点击“放置”→“拼板阵列”→“panels”→“properties”,浏览需要…

晴问算法 动态规划(简单)

动态规划的递归写法和递推写法 斐波那契数列II 题目描述 给定正整数�,求斐波那契数列的第�项�(�)。 令�(�)表示斐波那契数列的第�项,它的定义是: 当&…

【MD】激光驱动原子动力学的全尺寸从头算模拟

Zeng Q, Chen B, Zhang S, et al. Full-scale ab initio simulations of laser-driven atomistic dynamics[J]. npj Computational Materials, 2023, 9(1): 213.核心研究内容: 本文研究了激光驱动的原子动力学的全尺度从头算模拟。研究的重点是探讨在极端条件下材料…

C语言结构体之位段

位段(节约内存),和王者段位联想记忆 位段是为了节约内存的。刚好和结构体相反。 那么什么是位段呢?我们现引入情景:我么如果要记录一个人是男是女,用数字0 1表示。我们发现只要一个bit内存就可以完成我们想…

讯优随身WiFi可靠吗?讯优和格行随身WiFi哪个好?随身wifi推荐测评!随身WiFi哪个牌子比较好用?随身WiFi怎么选?随身WiFi推荐第一名!

随身WiFi挑花眼?不知道哪款好用?今天,我将为大家带来迅优与格行两大随身WiFi品牌的真实测评。 价格方面:迅优随身WiFi以价格优惠为卖点,吸引了众多消费者的目光。对于预算有限的用户来说,迅优确实提供了一个…

刷题记录:最长公共前缀

编写一个函数来查找字符串数组中的最长公共前缀。 如果不存在公共前缀,返回空字符串 ""。 示例 1: 输入:strs ["flower","flow","flight"] 输出:"fl"示例 2: 输…

治疗植物神经功能紊乱的关键竟是它!

植物神经紊乱,是指交感神经系统和副交感神经系统之间的平衡失调,导致心率不规律、胃肠问题、焦虑、失眠等一系列症状。长期植物神经紊乱可能导致更严重的心血管疾病、消化系统问题以及心理健康隐患。它可能源于饮食结构失衡、物理环境压力过大、心理压力…

Xinstall:用智能数据传递,打造高效的App推广体系

随着移动互联网的快速发展,App已经成为人们日常生活中不可或缺的一部分。然而,对于开发者来说,如何有效地推广App并衡量推广效果却是一个巨大的挑战。这时,Xinstall作为一站式App全渠道统计服务商,提供了强有力的解决方…

模板(一)

文章目录 模板(一)1.泛型编程2.函数模板2.1函数模板概念2.2函数模板格式2.3函数模板的原理2.4函数模板的实例化2.4.1隐式实例化2.4.2显式实例化 2.5模板参数的匹配原则 3.类模板3.1类模板的定义格式3.2类模板的实例化 模板(一) 1…

25.7 MySQL 数据库和表的基本操作

1. 基础知识 1.1 一条数据的存储过程 存储数据确实是处理数据的基石, 只有确保数据被准确无误且有条理地存储, 我们才能对其进行深入的处理和细致的分析. 否则, 这些数据就像是一团毫无章法的乱麻, 让我们难以捉摸其内在的逻辑和价值.那么, 如何才能够将用户那些与经营紧密相关…

人工智能时代如何高效完成营销内容计划

智能对话升级!【Kompas AI】AI对话助手,让沟通更高效 在人工智能时代,要高效完成营销计划,我们可以利用人工智能的多种能力来增强营销策略的精准度和执行效率。借助人工智能的力量,企业不仅可以提高营销计划的执行效率…

Rust高级爬虫:如何利用Rust抓取精美图片

引言 在当今信息爆炸的时代,互联网上的图片资源丰富多彩,而利用爬虫技术获取这些图片已成为许多开发者的关注焦点。本文将介绍如何利用Rust语言进行高级爬虫编程,从而掌握抓取精美图片的关键技术要点。 Rust爬虫框架介绍 Rust语言生态中有…

一文说清:AI大模型在制造业中的应用类型

在过去的几年里,全球制造业的竞争格局正在发生重构,数字化和智能化成为推动变革的关键力量。AI 大模型作为一种通用人工智能技术,其革命性特征体现在能够生成代码、构建人机交互新模式,并与产品研发、工艺设计、生产作业、产品运营…

2024软考

报考链接: 中国计算机技术职业资格网 (ruankao.org.cn) 报名有效时间: 天津2024-03-24 09:00 ~ 2024-04-02 17:00 河北2024-03-20 09:30 ~ 2024-03-26 17:00 山西2024-03-18 14:30 ~ 2024-04-02 11:30 宁波2024-03-20 10:00 ~ 2024-03-26 16:00 辽宁…

C语言调用云端 Python接口

利用C语言调用阿里云Python接口,来实现垃圾的智能识别 文章目录 利用C语言调用阿里云Python接口,来实现垃圾的智能识别1、如何开启阿里云服务2、实验程序介绍2.1 py程序改造2.2 c语言调用py2.3 测试代码 3、实验结果 1、如何开启阿里云服务 大家可以自行…

RHCE作业:搭建web网站

综合练习: 请给openlab搭建web网站 网站需求: 1.域名访问网站 基于域名www.openlab.com可以访问网站内容为 welcome to openlab!!! 2.创建界面 给该公司创建三个子界面分别显示学生信息,教学资料 和缴费网站,基于www.openlab.com…

【精简】Spring笔记

文章目录 跳转链接(学习路线)及前言(更新中) 快速入门配置文件详解依赖注入(bean实例化)自动装配集合注入使用spring加载properties文件容器注解开发bean管理注解开发依赖注入第三方bean整合mybatis整合junit AOP入门案例切入点表…

【git分支管理策略】如何高效的管理好代码版本

目录 1.分支管理策略 2.我用的分支管理策略 3.一些常见问题 1.分支管理策略 分支管理策略就是一些经过实践后总结出来的可靠的分支管理的办法,让分支之间能科学合理、高效的进行协作,帮助我们在整个开发流程中合理的管理好代码版本。 目前有两套Git…

奇偶校验|ECC内存|海明码

前言 大家好,我是jiantaoyab,本篇文章给大家介绍数据出错和有什么方法能减少出错。 单比特翻转 由于硬件故障或其他原因,内存或其他存储设备中的单个比特位发生随机变化的现象。 例如,原本存储为1的位可能变为0,或…