theoretical-computer-science / Theoretical computer science
Steurer conjectured in 2010 that any family of $n$ unit vectors with polynomially small average correlation $\mathbb{E}_{i,j}|\langle v_i,v_j\rangle| \le n^{-\varepsilon}$ contains linear-sized constant-separated sets. Refuted in a strong sense, using sparse high-dimensional expanders.
Temporal state
No reconciled state yet.
Append-only history
Steurer conjectured in 2010 that any family of $n$ unit vectors with polynomially small average correlation $\mathbb{E}_{i,j}|\langle v_i,v_j\rangle| \le n^{-\varepsilon}$ contains linear-sized constant-separated sets. Refuted in a strong sense, using sparse high-dimensional expanders.
Research memory
Steurer conjectured in 2010 that any family of $n$ unit vectors with polynomially small average correlation $\mathbb{E}_{i,j}|\langle v_i,v_j\rangle| \le n^{-\varepsilon}$ contains linear-sized constant-separated sets. Refuted in a strong sense, using sparse high-dimensional expanders.
Evidence graph
No public relationships recorded yet.