MathLabs

埃尔德什偏差问题

已解决,2015年组合数学与离散数学算术与数论埃尔德什
问题陈述

对任意取值于 {−1,+1}\{-1, +1\} 的无穷序列 f(1),f(2),f(3),…f(1), f(2), f(3), \dots 及任意常数 C>0C > 0,均存在正整数 nn 和 dd 使得 ∣∑j=1nf(jd)∣>C\left|\sum_{j=1}^{n} f(jd)\right| > C;等价地说,sup⁡n,d∈N∣∑j=1nf(jd)∣=∞\sup_{n, d \in \mathbb{N}} \left|\sum_{j=1}^{n} f(jd)\right| = \infty。

陶哲轩于2015年9月证明了该猜想(2016年发表于 Discrete Analysis)。他将2010年 Polymath5 协作项目建立的傅里叶分析化归(将原问题归结为完全积性函数)与关于积性函数相关性的对数平均版埃利奥特猜想相结合,其中后者建立在凯萨·马托迈基和马克西姆·拉济维乌的突破性工作之上。

陶哲轩的证明同时确立了丘代科夫提出的向量值推广(其中每个 f(n)f(n) 为希尔伯特空间中的单位向量)。目前遗留的核心问题是确定偏差不超过 CC 的最长序列长度随 CC 增长的精确速率,以及进一步精细化马托迈基–拉济维乌–陶积性函数理论中的定量界。

参考文献

  1. Terence Tao (2016). The Erdős discrepancy problem · DOI:10.19086/da.609 · arXiv:1509.05363
  2. Boris Konev, Alexei Lisitsa (2014). A SAT attack on the Erdős discrepancy conjecture · arXiv:1402.2184