A solution to the Erdős Problem #1040
math.CA · cs.AI
Quick verdict
声称对于所有紧集 cap-1 集合 ϑ(K)=0，解决了 Erdős #1040 消失性问题；证明看起来合理，但由 AI 辅助且未经同行评审。
Summary
本文解决了 Erdős–Herzog–Piranian 提出的问题（在其 1958 年论文中的问题 4；Erdős 问题 1040）：对于每个超限直径至少为 1 的闭无限集 F，是否都有 ϑ(F)=0，其中 ϑ(F) 是以 F 中的点为零点的首一多项式的单位 lemniscates 的下确界平面面积。新的核心结果是定理 1.1：对于每个紧集 K 且 cap(K)=1，在没有任何正则性假设下，ϑ(K)=0，将 Krishnapur–Lundberg–Ramachandran 的 C² 边界定理扩展到了任意紧集。该证明遵循该团队的策略，并引入了三个新要素：(i) Cauchy 变换奇异性加上 Hahn–Banach 论证（引理 3.1），产生了一个中心化调和多项式，其在多项式包中除一个任意小的平面面积的集合之外取值均超过 1/2；(ii) 外部调和测度的傅里叶平均，受 ((R+r)/(R−r))×平衡测度支配（引理 2.1），将该多项式实现为一个符号测度的位势，其密度相对于平衡测度是有界的（引理 4.1）；(iii) 概率测度弱收敛下对数位势的 L¹ 收敛（引理 5.1），via 命题 5.2，将 ϑ(K) 限制在位势的非正下水平集的面积上。结合 Ghosh–Ramachandran 的 cap>1 情况和无界集的初等两点论证，得出推论 7.3，即肯定的答案。主要局限性：该构造是完全存在性的 — 没有次数界限、收敛率或明确的零点（第 8 节）— 并且，正如论文最后一节所披露的，该证明是 AI 辅助的（GPT-6-Astra via Codex），没有进行独立的人类验证或形式化。
Review complete
Assessment at a glance
3
risk flags identified
● high 0
● medium 3
● low 0
5 strengths · 0 weaknesses · 5 author questions
AI text signal = Binoculars zero-shot detector score over 20 sampled passages (Fast-DetectGPT co-reported) — absence does not prove human authorship, and a flag does not imply misconduct.
Levels reflect verification complexity — not a quality score. Evolve never rates your paper.
Key claims under review
- 对于每个紧集 K ⊂ C，其中 cap(K)=1，且对于每个 a>0，某些以 K 中的点为零点的首一多项式具有面积小于 a 的单位 lemniscate，即 ϑ(K)=0（定理 1.1），而对 K 没有任何正则性假设。
- 引理 3.1：via Cauchy 变换边界奇异性和 Hahn–Banach，任何面积均为正的全紧集 H 都允许存在一个中心化调和多项式，其在任意小的平面面积的子集之外取值超过 1/2。
- 引理 4.1：任何中心化实调和多项式在 m-几乎处处等于一个符号测度 σ 的对数位势，该测度支撑在 K 上，满足 σ(K)=0，且其全变差受平衡测度的 C_h 倍限制。
- 引理 5.1/命题 5.2：K 上概率测度的弱收敛意味着对数位势在有界圆盘上的 L¹ 收敛，因此对于任何位势 U_ρ，ϑ(K) 受限于其非正下水平集的面积。
- 推论 7.3：每个超限直径至少为 1 的闭无限集 F ⊂ C 都满足 ϑ(F)=0，回答了 Erdős–Herzog–Piranian [1, Problem 4] 的消失性问题。
Strengths
尖锐的问题选择和清晰的定位
本文描绘了精确的先前前沿：EHP 处理了单位圆上的零点和次容量-1 的下界 ([1, Theorems 4 and 6, pp. 133–135])，Ghosh–Ramachandran 处理了 cap>1 的情况 ([3, Theorem 3.1])，KLR 处理了 C² 边界情况 ([4, Theorem 6])；定理 1.1 去除了 cap=1 时最后的正则性假设。
引理 3.1 用面积控制取代了边界平滑性
引理 3.1（第 3 节）使用 Cauchy 变换泰勒圆盘奇异性加上 Hahn–Banach 定理，得到 ∫h dμ = 0 且 h > 1/2 在 E 上，其中 E = H\V_δ 且 m(E) < η，适用于任何面积均为正的全紧集 H；备注 3.2 正确地指出，既不需要 a ∈ H 也不需要 E 的全性。
在没有边界平滑性的情况下具有显式支配常数
L¹ 离散化取代了几何边界逼近
验证卫生和诚实的范围陈述
Full Review Report
$1.99 · one-timeUnlock the complete preliminary analysis Evolve produced for this paper.
Report preview
范围与主张
本文攻击了来自 Erdős–Herzog–Piranian [1, Problem 4, p. 135] 的消失性问题（编目为 Erdős 问题 1040）。在 (1.1) 中定义 ϑ(F) 为遍历所有以 F 中的点为零点的首一多项式时单位 lemniscate {|p|<1} 平面面积的下确界，问题是对于每个超限直径 ≥ 1 的闭无限集 F，是否有 ϑ(F)=0。先前状态记录得很精确：零点限制在单位圆上时的消失性，以及容量 1 以下的正下界 ([1, Theorems 4 and 6, pp. 133–135])；cap(K)>1 且无正则性时的消失性，加上一个尖锐的指数率 ([3, Theorems 3.1, 3.3])；在容量 1 处具有 C² 边界的有界开集闭包的消失性 ([4, Theorem 6])。所声称的贡献是定理 1.1 — 对于每个紧集 K 且 cap(K)=1，在无正则性假设下 ϑ(K)=0 — 结合命题 7.1 和初等命题 7.2，得出推论 7.3，即肯定的答案。作者没有过度声称：via [2, §3.3] 和 [3, Example 2.1]，单独的“由超限直径决定”问题被明确留给否定，第 8 节承认该构造是完全存在性的。
The remaining sections cover Methodology Assessment, Statistical Evidence, Results & Reproducibility, Limitations & Risks, and Verdict & Recommendations.
- All 5 strengths & 0 weaknesses, analyzed in detail
- 3 risk flags with severity, section & reviewer questions
- Methods & statistical evidence assessment
- 5 questions a peer reviewer would ask
- Full six-dimension evaluation report & recommendations
One-time purchase · this paper only
One-time purchase, this paper only. AI-generated preliminary analysis — not peer review.
Frequently asked questions
什么是 Erdős 问题 1040？
在 Erdős、Herzog 和 Piranian 1958 年的论文《多项式的度量性质》（问题 4，第 135 页）中，他们提出了对于量 ϑ(F) —— 即当 p 取遍所有以闭集 F 中的点为零点的首一多项式时，集合 {|p|<1} 的下确界平面面积 —— ϑ(F) 是否由 F 的超限直径（对数容量）决定，具体而言，对于每个超限直径至少为 1 的闭无限集 F，是否都有 ϑ(F)=0。决定性问题有否定答案；本文肯定地回答了消失性问题。
这篇论文证明了什么？
对于复平面中具有精确容量 1 的每个紧集 K，通过以 K 中的点为零点的首一多项式，可以获得任意小的单位 lemniscate 面积（ϑ(K)=0），而对 K 没有任何正则性假设。结合先前已知的容量大于 1 的情况和无界集的基本论证，可以得出对于每个超限直径至少为 1 的闭无限集 F，都有 ϑ(F)=0。
这个证明使用了 AI 吗？
是的，论文在专门的章节中披露了这一点：结果是通过作者对 OpenAI 的 GPT-6-Astra 模型 via Codex 的提示获得的，包括证明探索、起草以及并行 AI 代理的内部审查。作者明确指出这些内部检查不是独立的人类验证，并且尚未进行证明辅助的形式化。
容量阈值 1 是锐利的吗？
是的。Erdős、Herzog 和 Piranian 证明 ([1, Theorem 6, p. 135]) 对于超限直径小于 1 的闭集，每个可容许的单位 lemniscate 都包含一个具有固定正半径的圆盘，因此 ϑ(F) 在阈值以下保持正值。本论文涵盖了阈值（容量精确为 1）以及结合先前的所有工作，涵盖了其上的所有情况。
About this review
This is an AI-generated preliminary review by Evolve.Pub, produced from the openly available text of the paper. It is not peer review and does not represent the authors' views. The canonical record of the paper is at the publisher link above.
- PDF 提取扁平化了显示数学（定义 (1.1)、展开式 (4.3)、正交性显示）；常数/符号检查是在重构的公式上进行的。
- 提供的文本中未见作者所属机构、电子邮件或致谢部分；标题页仅显示了作者姓名和日期。
Go deeper on this paper
Wrote a paper? Stress-test it before reviewers do.
Upload your manuscript for the same structured scrutiny — reasoning, statistics, evidence, figures, and reproducibility.