Abstract
We address the problem of preconditioning sequences of regularized KKT systems, such as those arising in interior point methods for convex quadratic programming. In this case, constraint preconditioners (CPs) are very effective and widely used; however, when solving large-scale problems, the computational cost for their factorization may be high, and techniques for approximating them appear as a convenient alternative. Here, given a block \(LDL^T\) factorization of the CP associated with a KKT matrix of the sequence, called seed matrix, we present a technique for updating the factorization and building inexact CPs for subsequent matrices of the sequence. We have recently proposed an updating procedure that performs a low-rank correction of the Schur complement of the (1,1) block of the CP for the seed matrix. Now we focus on KKT sequences with nonzero (2,2) blocks and make a step further, by enriching the low-rank correction of the Schur complement by an additional cheap update. The latter update takes into account information not included in the former one and expressed as a diagonal modification of the low-rank correction. Theoretical results and numerical experiments show that the new strategy can be more effective than the procedure based on the low-rank modification alone.
Similar content being viewed by others
References
Baryamureeba, V., Steihaug, T., Zhang, Y.: Properties of a class of preconditioners for weighted least squares problems. Technical Report No. 170, Department of Informatics, University of Bergen, and Technical Report No. TR99-16, Department of Computational and Applied Mathematics. Rice University, Houston (1999)
Bellavia, S.: Inexact interior-point method. J. Optim. Theory Appl. 96, 109–121 (1998)
Bellavia, S., De Simone, V., di Serafino, D., Morini, B.: Efficient preconditioner updates for shifted linear systems. SIAM J. Sci. Comput. 33, 1785–1809 (2011)
Bellavia, S., De Simone, V., di Serafino, D., Morini, B.: A preconditioning framework for sequences of diagonally modified linear systems arising in optimization. SIAM J. Numer. Anal. 50, 3280–3302 (2012)
Bellavia, S., De Simone, V., di Serafino, D., Morini, B.: Updating constraint preconditioners for KKT systems in quadratic programming via low-rank corrections. SIAM J. Optim. 25, 1787–1808 (2015)
Benzi, M., Golub, G.H., Liesen, J.: Numerical solution of saddle point problems. Acta Numer. 14, 1–137 (2005)
Benzi, M., Simoncini, V.: On the eigenvalues of a class of saddle point matrices. Numer. Math. 103, 173–196 (2006)
Bergamaschi, L.: Eigenvalue distribution of constraint-preconditioned symmetric saddle point matrices. Numer. Linear Algebra Appl. 19, 754–772 (2012)
Bergamaschi, L., Gondzio, J., Venturin, M., Zilli, G.: Inexact constraint preconditioners for linear systems arising in interior point methods. Comput. Optim. Appl. 36, 137–147 (2007)
Bergamaschi, L., Gondzio, J., Zilli, G.: Preconditioning indefinite systems in interior point methods for optimization. Comput. Optim. Appl. 28, 149–171 (2004)
Cafieri, S., D’Apuzzo, M., De Simone, V., di Serafino, D.: On the iterative solution of KKT systems in potential reduction software for large-scale quadratic problems. Comput. Optim. Appl. 38, 27–45 (2007)
Cafieri, S., D’Apuzzo, M., De Simone, V., di Serafino, D.: Stopping criteria for inner iterations in inexact potential reduction methods: a computational study. Comput. Optim. Appl. 36, 165–193 (2007)
Cafieri, S., D’Apuzzo, M., De Simone, V., di Serafino, D., Toraldo, G.: Convergence analysis of an inexact potential reduction method for convex quadratic programming. J. Optim. Theory Appl. 135, 355–366 (2007)
Chen, Y., Davis, T.A., Hager, W.W., Rajamanickam, S.: Algorithm 887: CHOLMOD, supernodal sparse Cholesky factorization and update/downdate. ACM Trans. Math. Softw. 35, 22:1–22:14 (2008)
D’Apuzzo, M., De Simone, V., di Serafino, D.: On mutual impact of numerical linear algebra and large-scale optimization with focus on interior point methods. Comput. Optim. Appl. 45, 283–310 (2010)
D’Apuzzo, M., De Simone, V., di Serafino, D.: Starting-point strategies for an infeasible potential reduction method. Optim. Lett. 4, 131–146 (2010)
Davis, T.A., Hager, W.W.: Dynamic supernodes in sparse Cholesky update/downdate and triangular solves. ACM Trans. Math. Softw. 35, 27:1–27:23 (2009)
Dollar, H.S.: Constraint-style preconditioners for regularized saddle point problems. SIAM J. Matrix Anal. Appl. 29, 672–684 (2007)
Dollar, H.S., Gould, N.I.M., Schilders, W.H.A., Wathen, A.J.: Using constraint preconditioners with regularized saddle-point systems. Comput. Optim. Appl. 36, 249–270 (2007)
Dollar, H.S., Wathen, A.J.: Approximate factorization constraint preconditioners for saddle-point matrices. SIAM J. Sci. Comput. 27, 1555–1572 (2006)
Durazzi, C., Ruggiero, V.: Indefinitely preconditioned conjugate gradient method for large sparse equality and inequality constrained quadratic problems. Numer. Linear Algebra Appl. 10, 673–688 (2003)
Freund, R., Nachtigal, N.: Software for simplified Lanczos and QMR algorithms. Appl. Numer. Math. 19, 319–341 (1995)
Friedlander, M.P., Orban, D.: A primal-dual regularized interior-point method for convex quadratic programs. Math. Program. Comput. 4, 71–107 (2012)
Forsgren, A., Gill, P.E., Griffin, J.D.: Iterative solution of augmented systems arising in interior methods. SIAM J. Optim. 18, 666–690 (2007)
Gondzio, J.: Interior point methods 25 years later. Eur. J. Oper. Res. 218, 587–601 (2012)
Gondzio, J.: Matrix-free interior point method. Comput. Optim. Appl. 51, 457–480 (2012)
Gould, N.I.M., Orban, D., Toint, Ph.L.: CUTEst: a constrained and unconstrained testing environment with safe threads. Technical Report RAL-TR-2013-005, STFC Rutherford Appleton Laboratory. Chilton, Oxfordshire (2013)
Keller, C., Gould, N.I.M., Wathen, A.J.: Constraint preconditioning for indefinite linear systems. SIAM J. Matrix Anal. Appl. 21, 1300–1317 (2000)
Lukšan, L., Vlček, J.: Indefinitely preconditioned inexact newton method for large sparse equality constrained non-linear programming problems. Numer. Linear Algebra Appl. 5, 219–247 (1998)
Meurant, G.: On the incomplete Cholesky decomposition of a class of perturbed matrices. SIAM J. Sci. Comput. 23, 419–429 (2001)
Perugia, I., Simoncini, V.: Block-diagonal and indefinite symmetric preconditioners for mixed finite element formulations. Numer. Linear Algebra Appl. 7, 585–616 (2000)
Sesana, D., Simoncini, V.: Spectral analysis of inexact constraint preconditioning for symmetric saddle point matrices. Linear Algebra Appl. 438, 2683–2700 (2013)
Wang, W., O’Leary, D.P.: Adaptive use of iterative methods in predictor-corrector interior point methods for linear programming. Numer. Algorithms 25, 387–406 (2000)
Wright, S.J.: Primal-Dual Interior-Point Methods. SIAM, Philadelphia (1997)
Acknowledgments
We are grateful to William Hager for helping us to understand some details in the implementation of the sparse Cholesky factorization available from the CHOLMOD package. We also appreciate the anonymous referees for their insightful comments, which led us to improve our work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Work partially supported by INdAM-GNCS (2015 Projects Metodi di regolarizzazione per problemi di ottimizzazione e applicazioni and Metodi numerici per l’ottimizzazione non convessa o non differenziabile e applicazioni).
Rights and permissions
About this article
Cite this article
Bellavia, S., De Simone, V., di Serafino, D. et al. On the update of constraint preconditioners for regularized KKT systems. Comput Optim Appl 65, 339–360 (2016). https://doi.org/10.1007/s10589-016-9830-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10589-016-9830-4