The Planted Boolean Vector SoS conjecture for large random-subspace dimension

About 6 years old · traced to

Let nn be the ambient dimension, let pp be the dimension of a random subspace, and let SoS refer to the sum-of-squares hierarchy. The Planted Boolean Vector problem is the dual problem considered in the source, with theorem

givingitscurrentSoSbound.∗∗PlantedBooleanVectorSoSconjecture.∗∗Theoremgiving its current SoS bound. **Planted Boolean Vector SoS conjecture.** Theorem

holds with the bound on the dimension pp of a random subspace loosened to

p≥n1/2+ε.p \geq n^{1/2+\varepsilon}.

This is presented as the dual analogue of the Planted Affine Planes conjecture and predicts SoS hardness for random subspaces of dimension at least n1/2+εn^{1/2+\varepsilon}. The source states it in the open-problems discussion, with no resolution supplied.

References

Primary source

Mrinalkanti Ghosh, Fernando Granha Jeronimo, Chris Jones, Aaron Potechin and Goutham Rajendran, “Sum-of-Squares Lower Bounds for Sherrington-Kirkpatrick via Planted Affine Planes”, arXiv:2009.01874 (2020).

Progress summary

Refreshed
Claimed progress

A 2020 paper strengthened the known lower bound, but the conjectured threshold remains out of reach and no public resolution was found.

The Planted Boolean Vector problem was introduced by Mohanty, Raghavendra, and Xu. The conjecture predicts SoS hardness for random subspaces of dimension at least n1/2+εn^{1/2+\varepsilon}, but the supplied sources report no resolution.

Known results

  • Mohanty, Raghavendra, and Xu proved a degree-44 SoS lower bound for p≥n0.99p\ge n^{0.99}.
  • A later result gives, for every ε>0\varepsilon>0 and sufficiently small δ>0\delta>0, a feasible degree-nδn^\delta SoS solution when p≥n2/3+εp\ge n^{2/3+\varepsilon}, with high probability.

September 2020 partial improvement

The paper Sum-of-Squares Lower Bounds for Sherrington-Kirkpatrick via Planted Affine Planes presents the n2/3+εn^{2/3+\varepsilon} bound as an improvement over n0.99n^{0.99}; it does not reach the conjectured n1/2+εn^{1/2+\varepsilon} threshold.

Current status (as of October 2026): the p≥n2/3+εp\ge n^{2/3+\varepsilon} partial bound is recorded, while the conjectured p≥n1/2+εp\ge n^{1/2+\varepsilon} result remains open.

Sources

Solutions 0

No solutions have been posted yet.