Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion constants/80a.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ Equivalently, $C_{80}$ is the asymptotic storage-capacity / satisfiability thres
| ----- | --------- | -------- |
| $0$ | Trivial | |
| $>0$ | [KR1998] | Shows the capacity is bounded away from zero with high probability. |
| $\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}$. |
| $\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}$. |

## Additional comments

Expand Down