Computational Verification of the Erdős-Herzog-Piranian Conjecture for Degrees 3 ≤ n ≤ 14
Description
IEEE 1788 interval-arithmetic branch-and-bound certificate packet for the finite-degree Erdős-Herzog-Piranian lemniscate-length conjecture checks for degrees 3 ≤ n ≤ 14.
Correction in v3.1.0: this version replaces the stale n=13 sidecar that reported bb_total_evals = 0 after an 18-second run with the corrected rerun certificate. The corrected canonical n=13 JSON reports bb_total_evals = 197132288, total_time_secs = 3177.698924691, and SHA-256 c06c633b4053cdf2c4c6003327f30ee2ce683e6a9da70e047d5c5d43e685fd17.
The all-degree Erdős Problem #114 remains open. This deposit is a corrected finite-degree computational certificate packet, not a claimed resolution of the full conjecture.
The GitHub release/tag for this correction is v3.1.0. The attached source archive preserves the repository folder layout, including the corrected canonical n=13 file, the 2026-05-07 rerun folder, and the archived broken 18-second artifact for auditability.
Files
EHP_GENERAL_SUMMARY.json
Files
(55.7 MB)
| Name | Size | |
|---|---|---|
|
md5:4539398948d52e5f67dac5998366d156
|
5.1 kB | Preview Download |
|
md5:4d7f20da7bf232ff38a19af5ec344897
|
1.1 kB | Preview Download |
|
md5:3c6d705344095fa923908f5b9add523d
|
1.6 kB | Preview Download |
|
md5:335d330298b6dc0d92f21e69acdbc02d
|
2.0 kB | Preview Download |
|
md5:80f6d58f02b1360e68c871f747d2079f
|
961 Bytes | Preview Download |
|
md5:85dc8b301b3db3722e9b473a7ea64bf0
|
1.4 kB | Preview Download |
|
md5:bc52633f136f1870b8b197b62dd76093
|
763 Bytes | Preview Download |
|
md5:1e70d3ce7484647d112896ddf7140da6
|
1.1 kB | Preview Download |
|
md5:61218c08178f433d42f3caaab58f4882
|
1.2 kB | Preview Download |
|
md5:0060efd54b52a3e6eaa9aa0551834d09
|
1.2 kB | Preview Download |
|
md5:df89acf09ab734fb7d755975046dfce3
|
1.3 kB | Preview Download |
|
md5:463e9d5dd00bc16a71de63d0d0ac3138
|
1.4 kB | Preview Download |
|
md5:d8c60284dd3a51f90c03140583a9c61a
|
55.3 MB | Preview Download |
|
md5:dacf9eafca6cab002e490ae62139eeae
|
1.5 kB | Preview Download |
|
md5:136b7b8b18474d48e97f45f4fc3caf66
|
64 Bytes | Download |
|
md5:4cff1bdac81e0da34a81bbe5660bda8a
|
616 Bytes | Preview Download |
|
md5:f0cd579426dc7e2ffd1e09e5c69d50ce
|
64 Bytes | Download |
|
md5:e6f6a578c46b0f91d34a828c1f0e60b8
|
676 Bytes | Preview Download |
|
md5:7c86fe3e15c75a8edc670b8bbc5b5f4a
|
64 Bytes | Download |
|
md5:0385b975c8eeb6c6aa855c2ecfafd387
|
681 Bytes | Preview Download |
|
md5:aba73679dc4c97a9f3d36b343dedf8bb
|
64 Bytes | Download |
|
md5:0723b1ee7736897c548e34d454109f18
|
683 Bytes | Preview Download |
|
md5:4ab59840afe901cf13f1175a5604790c
|
64 Bytes | Download |
|
md5:239643d175707e381602c97a3068a0dc
|
46.3 kB | Download |
|
md5:79fae00397b388b2073cf026e9a07aa0
|
685 Bytes | Preview Download |
|
md5:49228ab034cff3ab35de432e072b8f53
|
64 Bytes | Download |
|
md5:79fae00397b388b2073cf026e9a07aa0
|
685 Bytes | Preview Download |
|
md5:49228ab034cff3ab35de432e072b8f53
|
64 Bytes | Download |
|
md5:ac324c9599903bcac7663bb23c1f7440
|
402 Bytes | Preview Download |
|
md5:889b8279b1737d31c7c42f6fc808ec13
|
64 Bytes | Download |
|
md5:90e3d10ddd13f5aa9d745c5157625e5c
|
693 Bytes | Preview Download |
|
md5:686571a52abccd7e8ef2e061f8147262
|
64 Bytes | Download |
|
md5:90f68d55ab89ae85b20d63991d1f1caa
|
654 Bytes | Preview Download |
|
md5:eef2acc57c9f06f3c9a50d650f61b0bd
|
64 Bytes | Download |
|
md5:dc6e099b0e78c7867a866f37bf54f2af
|
659 Bytes | Preview Download |
|
md5:32469c3b827bf1ec031210dc63fe5f76
|
64 Bytes | Download |
|
md5:0886c5e70f941cf2633891ce9726578a
|
678 Bytes | Preview Download |
|
md5:2336d8c488a2160e33b678510d15777a
|
64 Bytes | Download |
|
md5:a9bf789aa58dd5a9dfb335a474aed88e
|
661 Bytes | Preview Download |
|
md5:b31df47dde98c47c6e29c64dcf82e18d
|
64 Bytes | Download |
|
md5:d34efd4160d0b2575e9474d71723b016
|
665 Bytes | Preview Download |
|
md5:9919dd08a3487d2d720362a3c223d119
|
64 Bytes | Download |
|
md5:30542bdb6093e7a13f6daa8a56d1214d
|
666 Bytes | Preview Download |
|
md5:4f124aa3cf625a4051773451ea1a9acd
|
64 Bytes | Download |
|
md5:e6e634c7ffb619bd055960dff1ec29d8
|
667 Bytes | Preview Download |
|
md5:541e6f637784867bc557056b38174877
|
64 Bytes | Download |
|
md5:55818f7a310e1adc4aeefd2a136301d3
|
297.0 kB | Preview Download |