VIDraft/riemann-zeta-sonification

该存储库包含交互式演示“Hear the Riemann Zeta Zeros”背后的数据、代码和音频。This repository contains the data, code, and audio underlying the interactive demo titled "Hear the Riemann Zeta Zeros".

搜集汇总

数据集介绍

构建方式

该数据集基于M. Suzuki在2026年提出的Weil型算子理论框架，通过数值方法首次实现了该自伴算子的谱刻画。研究团队采用P1有限元方法离散化Weil二次型Q_W^a(v)，将双积分形式的算子转化为广义特征值问题Q v = λ M v，其中刚度矩阵Q由螺旋函数g的双重反导数G₂通过Toeplitz构造组装而成，质量矩阵M为标准P1质量矩阵。通过对均匀网格上的特征值进行Richardson外推（网格数N=1000, 2000）和a二次拟合，提取出极小谱常数μ_k。为验证素数开启效应，在a=log(n)/2处添加单斜坡项g_n(t)，并利用一阶微扰理论分析特征值偏移。所有计算均基于numpy、scipy和mpmath等开源工具，无需特殊硬件支持。

特点

该数据集的核心特色在于提供了Suzuki算子的首个数值谱，并提出了谱常数μ_k的闭式表达式μ_k = ln(k − ½) + γ + ln(π/2)，其加性常数B₀ = −2 ln 2在1σ置信水平上与理论预测吻合，R²达1.000000。数据集揭示了边界相位偏移的Maslov几何本质：从Dirichlet边界条件到Neumann边界条件，偏移量从−0.4946跃迁至+0.4971，呈现完美的整数平移Δc≈+1。同时还发现了素数开启的宇称符号定律——偶特征函数下移、奇特征函数上移，并能以0.08%的精度反演von Mangoldt权重Λ(2)/√2。此外，数据集包含了前100个非平凡黎曼ζ零点的GUE能级统计验证，KS距离为0.068，与泊松分布的0.349形成鲜明对比。

使用方法

用户可通过运行各独立Python脚本复现全部结果：执行suzuki_closedform.py获取特征值闭式表达式，suzuki_boundary_maslov.py验证边界相位偏移，suzuki_onset_lemma.py和suzuki_comb_weights.py研究素数开启效应与权重反演，suzuki_sumrule.py验证迹守恒律Σδλ_k=0，suzuki_spectrum.py生成Weyl计数与Landau阶梯谱。基于mpmath的gen_dataset.py可重新生成ζ零点数据和GUE统计量。数据集还提供了声化功能，通过render_song.py可将前40个零点映射为A小调旋律的WAV音频文件。用户亦可访问HuggingFace Space上的交互式演示页面，直观聆听素数音乐。

背景与挑战

背景概述

该数据集由VIDRAFT团队于2026年创建，核心依托于M. Suzuki在arXiv:2606.09096中提出的Weil型算子理论构造。该研究首次数值实现了Suzuki理论中自伴算子的离散谱，通过有限元方法求解Weil二次型广义特征值问题，揭示了算子常数μ_k的闭式表达μ_k = ln(k−½) + γ + ln(π/2)。数据集还系统记录了黎曼zeta函数前100个非平凡零点及其GUE统计特性，为随机矩阵理论与解析数论的交叉领域提供了可复现的数值基准。这一工作不仅填补了Suzuki纯理论论文缺乏数值验证的空白，也通过音乐化（sonification）手段将数学结构转化为听觉体验，显著拓展了公众对素数分布与量子混沌关联的认知。

当前挑战

数据集面临的核心挑战在于三方面：其一，算子构建需处理Weil二次型中螺线函数（screw function）的积分核奇异性，其Γ因子贡献的半经典渐近行为对所有L函数普适，但素数特异性的大a区域要求完整求和，导致小a光谱的纯解析闭式与大a区域素数效应的分离面临数值精度障碍。其二，谱常数μ_k的闭式虽与理论预测在1σ置信度内吻合，但受限于有限元离散的截断误差（约1e-4），需高精度验证（1e-6级）方能严格确认加性常数等于-2ln2。其三，算子本征值的素数门槛效应（onset）表现出依赖于模数指数的非平凡幅度增长律，其解析形式尚未被理论预测，现有数值结果仅能以0.08%的误差提取von Mangoldt权重，但高模数的退化简并问题限制了更精确的谱重构。

常用场景

经典使用场景

riemann-zeta-sonification数据集的核心用途在于对Suzuki构造的Weil型算子进行数值谱表征，并结合黎曼ζ函数的非平凡零点实现声学映射。研究人员借助该数据集可首次对算子在小尺度下的特征值进行数值解析，通过P1有限元离散化求取广义特征值问题，获得与对数Landau阶梯高度吻合的经验闭式解。同时，该数据集提供了前100个ζ零点及其能级间距的GUE统计验证，为解析数论与随机矩阵理论的交叉研究提供了可复现的数值工具。

解决学术问题

该数据集直面解析数论中若干悬而未决的学术问题，包括Suzuki算子中未定常数μ_k的数值确定、边界条件改变所引发的Maslov相移整数跃迁机制、以及素数幂首次出现时特征值偏移的符号律与权重可读性。通过对操作核中von Mangoldt权重的精确反演（低阶精度达0.08%），数据集验证了迹守恒定律Σδλ=0，从而为Weil显式公式的算子论诠释提供了坚实的数值证据，推动了数论与谱理论深度交融。

衍生相关工作

围绕该数据集已衍生出若干重要工作脉络。在谱理论层面，闭式解μ_k = ln(k−½)+γ+ln(π/2)的提出为Widom型对数核积分算子的渐近分析提供了新的经验基准。在随机矩阵领域，GUE能级间距的精确复现巩固了Montgomery与Odlyzko经典结果的可复现性。边界Maslov相位的数值发现则催生了对流通量相位假说的进一步探索。此外，von Mangoldt权重的可读性实验为素数检测的谱方法开辟了路径，而‘素数音乐’声学映射本身已成为数学艺术化表达的代表性案例。