theoretical-computer-science / Hardness of approximation; graph partitioning

NP-hardness of approximating Uniform Sparsest Cut within every constant factor

Theorem 1.1: for every fixed C>1C>1 there is a polynomial-time reduction from 3SAT producing uniform-demand instances with a multiplicative gap CC, so approximating Uniform Sparsest Cut within any constant factor is NP-hard. The constants and exponents of the reduction depend on CC. It does not give a superconstant (for instance log⁡N\sqrt{\log N}-type) hardness factor, does not address Balanced Separator directly, and says nothing about the Small-Set Expansion hypothesis itself.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

theoretical-computer-scienceSep 24, 2026Significance 45/100Registry: unreviewed

NP-hardness of approximating Uniform Sparsest Cut within every constant factor

Prior state unknown→proved

Theorem 1.1: for every fixed C>1C>1 there is a polynomial-time reduction from 3SAT producing uniform-demand instances with a multiplicative gap CC, so approximating Uniform Sparsest Cut within any constant factor is NP-hard. The constants and exponents of the reduction depend on CC. It does not give a superconstant (for instance log⁡N\sqrt{\log N}-type) hardness factor, does not address Balanced Separator directly, an…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every fixed C>1C>1 there is a polynomial-time reduction from 3SAT producing uniform-demand instances with a multiplicative gap CC, so approximating Uniform Sparsest Cut within any constant factor is NP-hard. The constants and exponents of the reduction depend on CC. It does not give a superconstant (for instance log⁡N\sqrt{\log N}-type) hardness factor, does not address Balanced Separator directly, and says nothing about the Small-Set Expansion hypothesis itself.

Theorem 1.1: for every fixed C>1C>1 there is a polynomial-time reduction from 3SAT producing uniform-demand instances with a multiplicative gap CC, so approximating Uniform Sparsest Cut within any constant factor is NP-hard. The constants and exponents of the reduction depend on CC. It does not give a superconstant (for instance log⁡N\sqrt{\log N}-type) hardness factor, does not address Balanced Separator directly, and says nothing about the Small-Set Expansion hypothesis itself.

Recorded attempts

Evidence graph

Connected research record