johnson-scheme

Here is 1 public repository matching this topic...

CGandGameEngineLearner / log-rank-spectral-hls

Restricted-column theorems for the HLS two-level log-rank formulation: sharp 2/5 two-point escape, logarithmic communication on Johnson products and sparse columns. Does not prove general Log-Rank. Paper, Lean core, and verification scripts.

communication-complexity lean4 log-rank-conjecture johnson-scheme

Updated Aug 27, 2026
TeX

Add this topic to your repo

To associate your repository with the johnson-scheme topic, visit your repo's landing page and select "manage topics."

Learn more