{"id":"arxiv/2608.30933","url":"https://arxiv.org/abs/2608.30933","tags":["math.OC"],"score":0,"title":"Goldfarb-Idnani Revisited:Invariants, Certificates, and the Limits of Guessing","domain":"math.OC","source":"arxiv","authors":["Thomas Schmelzer","Martin Stoll"],"reviews":0,"subject":"math.OC","summary":"The dual active-set method of Goldfarb and Idnani solves the strictly convex quadratic program by adding and dropping one constraint at a time, requiring no phase one. Primal--dual active set and block principal pivoting skip the walk altogether: they guess an entire active set at once and repair it from returning signs. For bound constraints the guess is safe. The system solved on a candidate set is a principal submatrix of $G^{-1}$, positive definite regardless of the guess; this $P$-matrix property guarantees finite termination. For $C^\\top x \\ge b$ that hypothesis fails, which is our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}