theoretical-computer-science / Fine-grained complexity

Quadratic-Time Hardness of Furthest Pair in Superconstant Dimension

Furthest Pair and its relatives admit $f(d)\,n^{2-\Theta(1/d)}$ algorithms, making them the standard examples of barely subquadratic computation, and whether that is optimal in superconstant dimension was open. Under SETH it is: Furthest Pair requires quadratic time once the dimension is superconstant.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

theoretical-computer-scienceJun 24, 2026Significance 20/100Registry: unreviewed

Quadratic-Time Hardness of Furthest Pair in Superconstant Dimension

Prior state unknownproved

Furthest Pair and its relatives admit $f(d)\,n^{2-\Theta(1/d)}$ algorithms, making them the standard examples of barely subquadratic computation, and whether that is optimal in superconstant dimension was open. Under SETH it is: Furthest Pair requires quadratic time once the dimension is superconstant.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Furthest Pair and its relatives admit $f(d)\,n^{2-\Theta(1/d)}$ algorithms, making them the standard examples of barely subquadratic computation, and whether that is optimal in superconstant dimension was open. Under SETH it is: Furthest Pair requires quadratic time once the dimension is superconstant.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.