diff --git a/README.md b/README.md index c2c630f..ccfa6e2 100644 --- a/README.md +++ b/README.md @@ -33,7 +33,7 @@ Bounds for which the level of available verification is currently at minimal lev | [9](https://teorth.github.io/optimizationproblems/constants/9a.html) | Shannon capacity of the 7-cycle | 3.2578 | 3.3177 | | [10a](https://teorth.github.io/optimizationproblems/constants/10a.html) | The real Grothendieck constant | $\frac{6\pi}{11}\approx 1.71360$ | $\frac{\pi}{2\log(1+\sqrt{2})} - 10^{-4} \approx 1.78211$ | | [10b](https://teorth.github.io/optimizationproblems/constants/10b.html) | The complex Grothendieck constant | 1.338 | 1.40491 | -| [10c](https://teorth.github.io/optimizationproblems/constants/10c.html) | Spencer discrepancy constant (“six standard deviations suffice”) | 1.697749 | 3.674235 (3.65*) | +| [10c](https://teorth.github.io/optimizationproblems/constants/10c.html) | Spencer discrepancy constant (“six standard deviations suffice”) | 1.697749 | 4.1 (3.65*) | | [11a](https://teorth.github.io/optimizationproblems/constants/11a.html) | $L^1$ Poincaré constant on the Hamming cube | $\sqrt{\pi/2} \approx 1.2533$ | $\pi/2 - 0.00013 \approx 1.5707$ | | [11b](https://teorth.github.io/optimizationproblems/constants/11b.html) | Critical exponent for isoperimetric inequality on the Hamming cube | 0.5 | 0.5 | | [12](https://teorth.github.io/optimizationproblems/constants/12a.html) | The Beardwood–Halton–Hammersley constant | 0.6277 | 0.90304 | diff --git a/constants/10c.md b/constants/10c.md index aa8e7e5..a7a12b1 100644 --- a/constants/10c.md +++ b/constants/10c.md @@ -36,7 +36,7 @@ $$ | $5.32$ | [Spe1985] | Usually reported as $6$. The celebrated “six standard deviations suffice” theorem of Spencer; also applies to rectangular matrices or set systems. | | $5.199$ | [Bel2013] | Re-optimizes Spencer’s method. | | $3.65$ (unpublished) | Schmidt [Bel2013] | Some of the computations are given only as a personal communication. | -| $3\sqrt{3/2}\approx 3.674235$ | [PV2022] | Also gives an algorithmic version. | +| $4.1$ | [PV2022] | Theorem 4.5 in v2 (14 Apr 2026) corrects the constant from $3.7$ to $4.1$; also gives an algorithmic version. | ## Known lower bounds