Finite-dimensional linear minimization is no slower than projection

Let H\mathcal H be the Hilbert space underlying the compact convex set considered, and let PP denote the optimal runtime complexity of its projection operator, while L(0)L(0) denotes the optimal runtime complexity of exact linear minimization. Finite-dimensional complexity claim. If the dimension of H\mathcal H is finite, then

L(0)=O(P).L(0)=\mathcal{O}(P).

This establishes that exact linear minimization is no slower than projection up to a constant factor in finite-dimensional spaces. The surrounding discussion notes that the general relationship between PP and L(0)L(0) warrants further investigation, including whether some compact convex set could satisfy P<L(0)P<L(0); the supplied text does not state whether this finite-dimensional claim has been proved.

Sources & referencesView supporting material

Primary source

Zev Woodstock, “High-precision linear minimization is no slower than projection”, arXiv:2501.18454 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.