← all constants

Ising perceptron capacity threshold

80a
Upper bound, last-listed row
| $\alpha_{\star} \approx 0.833$ | [H2024] | Conditional on an explicit numerical maximization hypothesis for a two-variable function $\mathscr{S}_{\star}(\lambda_1,\lambda_2)$. |tracked since 2026-07-24 — no movement seen yet
Lower bound, last-listed row
| $\alpha_{\star} \approx 0.833$ | [DS2025], [NS2023] | Conditional on an explicit numerical maximization hypothesis for a one-variable function $\mathscr{S}\_{\star}(\lambda)$; Ding–Sun prove the lower bound with positive probability, and the sharp-threshold theory of Nakajima–Sun upgrades this to with high probability for every $\alpha < \alpha_{\star}$. |tracked since 2026-07-24 — no movement seen yet
Checked or tried against material for its cited source
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. Also attempted, and the source could NOT be read: the bound row $>0$ citing [KR1998] line 32. That row is not counted as read. A row not listed here has NOT been checked.
the mirrored file · upstream source · looks wrong?
Cite this rowBounds Ledger — Ising perceptron capacity threshold (80a) upper bound: $\alpha_{\star} \approx 0.833$ (tracked since 2026-07-24 — no movement seen yet) lower bound: $\alpha_{\star} \approx 0.833$ (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/80a.html