theoretical-computer-science / Average-case complexity

The Polynomial-Time Low-Degree Conjecture

The low-degree conjecture predicts that when the low-degree advantage between a planted distribution and a uniform null distribution stays bounded, no polynomial-time algorithm can distinguish them. It is false. There is a planted distribution that agrees with the null through the relevant degree, is invariant under vertex relabeling, and is nevertheless distinguished in polynomial time by a rank argument.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

Research memory

Claims and attempts

Scoped claims

Source authenticated

The low-degree conjecture predicts that when the low-degree advantage between a planted distribution and a uniform null distribution stays bounded, no polynomial-time algorithm can distinguish them. It is false. There is a planted distribution that agrees with the null through the relevant degree, is invariant under vertex relabeling, and is nevertheless distinguished in polynomial time by a rank argument.

the construction is probabilistic; an explicit uniformly samplable example remains open

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.