| $0.30366300289873265859\!\ldots\!6424297 + 10^{-175}$ | [GKW2026] | Certified spectral enclosure for the infinite-dimensional GKW operator; 175 digits |tracked since 2026-07-24 — no movement seen yet
Lower bound, last-listed row
| $0.30366300289873265859\!\ldots\!6424297 - 10^{-175}$ | [GKW2026] | Certified spectral enclosure for the infinite-dimensional GKW operator; 175 digits |tracked since 2026-07-24 — no movement seen yet
Checked against material for its cited source
Another row, not one shown above: bound row $0.30366327$line 28 citing [MR1987] — the claim we checked: that the cited 1987 paper gives the upper bound 0.30366327 at its equation (5.20), certified by generalized Temple inequalities, as the row says. What we read could not settle it: the abstract says the paper uses generalized Temple's inequalities to determine the relaxation time "with great accuracy", but gives no value and no equation number. source link (reached only at the publisher's abstract and metadata for Journal of Statistical Physics 47 (1987), pp. 149–171; the body is behind a subscription, and the publisher's PDF link and the Internet Archive gave no copy). Selected: drawn by its position in the list of cited rows, not because it looked wrong.
1 bound row(s) here have been checked against material for their cited source (1 drawn by position, 0 chosen because something already looked wrong). Across this whole ledger 70 row(s) have been drawn by position, against 691 rows that name a source, counted on 2026-09-27: 64 were checked against material for their cited sources and for 6 the cited source could not be read at all. 5 more were chosen for suspicion and checked; they are counted apart, because a set selected for suspicion carries no rate. A row not listed here has NOT been checked.
Cite this rowBounds Ledger — The Wirsing Constant (83a)
upper bound: $0.30366300289873265859\!\ldots\!6424297 + 10^{-175}$ (tracked since 2026-07-24 — no movement seen yet)
lower bound: $0.30366300289873265859\!\ldots\!6424297 - 10^{-175}$ (tracked since 2026-07-24 — no movement seen yet)
Mirrored from teorth/optimizationproblems@2c1968c. These are the last-listed rows of that constant's bounds table — a listing position, not a statement that this bound is the strongest or most recent. A snapshot at that sha, not a live read.
https://u00dxk2.github.io/bounds-ledger/c/83a.html