First computational upper bound on the infimum for Erdős Problem #1038
Description
v2.0 update: Added Thomson/Riesz energy mapping and stability analysis of the extremal configuration.
Main result (v1): inf ≤ 1.837 (N=200 configuration) for the sublevel set measure |{x ∈ ℝ : |f(x)| < 1}| of monic polynomials with all real roots in [-1,1].
New in v2 — Energy mapping: The log-energy minimizer (Saff-Totik weighted potential theory) reproduces the extremal atom weight within 2.1% (0.809 vs 0.826), demonstrating that the atom+cloud architecture is a structural feature of the problem geometry, not a numerical artifact.
New in v2 — Stability analysis: The extremal configuration sits in a single convex basin with positive-definite Hessian (det = 1726). The basin is highly anisotropic: 35× stiffer in atom weight than cloud width. No secondary local optima detected.
New in v2 — Cloud-potential displacement: The extremal cloud sits 0.343 units left of the Saff-Totik equilibrium point, quantifying the cost-function difference between sublevel minimization and weighted energy minimization.
Conjecture: The exact infimum equals 11/6 ≈ 1.8333.
AI Disclosure
Computations implemented and executed with Claude (Anthropic). Experiment design, analysis, and interpretation assisted by Claude. All numerical results are independently reproducible from the provided source code and data files.
Notes
Files
best_config_n100.json
Files
(62.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:025d63909d6868744888f17a1b21bf7e
|
5.3 kB | Preview Download |
|
md5:aacdf183cdcc32c0100ee94789f4bd8d
|
22.9 kB | Download |
|
md5:b40d1d0fc7c9a6250443ba53e4951252
|
6.8 kB | Preview Download |
|
md5:42ade15bd95b516a410abb6af537fcf3
|
5.6 kB | Preview Download |
|
md5:307a9166027a6594e494cdcf31b33549
|
102 Bytes | Download |
|
md5:937dff1bf1b22fe667696386af579fbe
|
8.4 kB | Preview Download |
|
md5:df01ea5165c74dd26b448f1cf650442e
|
9.1 kB | Preview Download |
|
md5:23a305e54660d2963dff127c3499ed01
|
108 Bytes | Download |
|
md5:0e70150c74462ed9afef6e7c51fa16c6
|
4.2 kB | Preview Download |
Additional details
Related works
- Is version of
- 10.5281/zenodo.19444425 (DOI)
- References
- 10.5281/zenodo.19184467 (DOI)