Differentiation Through Black-Box Quadratic Programming Solvers
<|reference_start|>Differentiation Through Black-Box Quadratic Programming Solvers: In recent years, many deep learning approaches have incorporated layers that solve optimization problems (e.g., linear, quadratic, and semidefinite programs). Integrating these optimization problems as differentiable layers requires computing the derivatives of the optimization problem's solution with respect to its objective and constraints. This has so far prevented the use of state-of-the-art black-box numerical solvers within neural networks, as they lack a differentiable interface. To address this issue for one of the most common convex optimization problems -- quadratic programming (QP) -- we introduce dQP, a modular framework that enables plug-and-play differentiation for any QP solver, allowing seamless integration into neural networks and bi-level optimization tasks. Our solution is based on the core theoretical insight that knowledge of the active constraint set at the QP optimum allows for explicit differentiation. This insight reveals a unique relationship between the computation of the solution and its derivative, enabling efficient differentiation of any solver, that only requires the primal solution. Our implementation, which will be made publicly available, interfaces with an existing framework that supports over 15 state-of-the-art QP solvers, providing each with a fully differentiable backbone for immediate use as a differentiable layer in learning setups. To demonstrate the scalability and effectiveness of dQP, we evaluate it on a large benchmark dataset of QPs with varying structures. We compare dQP with existing differentiable QP methods, demonstrating its advantages across a range of problems, from challenging small and dense problems to large-scale sparse ones, including a novel bi-level geometry optimization problem.<|reference_end|>
@article{magoon2024differentiation,
    title={Differentiation Through Black-Box Quadratic Programming Solvers},
    author={Connor W. Magoon, Fengyu Yang, Noam Aigerman, Shahar Z. Kovalsky},
    journal={arXiv preprint arXiv:2410.06324},
    year={2024},
    archivePrefix={arXiv},
    eprint={2410.06324},
    primaryClass={cs.LG math.OC}
}