Superlinear convergence of an interior point algorithm on linear semi-definite feasibility problems
Chee-Khian Sim
DOI: https://doi.org/10.1080/10556788.2024.2400705
2024-09-15
Optimization Methods and Software
Abstract:In the literature, besides the assumption of strict complementarity, superlinear convergence of implementable polynomial-time interior point algorithms using known search directions, namely, the HKM direction, its dual or the NT direction, to solve semi-definite programs (SDPs) is shown by (i) assuming that the given SDP is nondegenerate and making modifications to these algorithms [Kojima et al. Local convergence of predictor–corrector infeasible-interior-point algorithms for SDPs and SDLCPs , Math. Program. Ser. A 80 (1998), pp. 129–160], or (ii) considering special classes of SDPs, such as the class of linear semi-definite feasibility problems (LSDFPs) and requiring the initial iterate to the algorithm to satisfy certain conditions [Sim, Superlinear convergence of an infeasible predictor–corrector path-following interior point algorithm for a semidefinite linear complementarity problem using the Helmberg–Kojima–Monteiro direction , SIAM J. Optim. 21 (2011), pp. 102–126], [Sim, Interior point method on semi-definite linear complementarity problems using the Nesterov-Todd (NT) search direction: Polynomial complexity and local convergence , Comput. Optim. Appl. 74 (2019), pp. 583–621]. Otherwise, these algorithms are not easy to implement even though they are shown to have polynomial iteration complexities and superlinear convergence [Luo et al. Superlinear convergence of a symmetric primal–dual path following algorithm for semidefinite programming , SIAM J. Optim. 8 (1998), pp. 59–81]. The conditions in [Sim, Superlinear convergence of an infeasible predictor–corrector path-following interior point algorithm for a semidefinite linear complementarity problem using the Helmberg–Kojima–Monteiro direction , SIAM J. Optim. 21 (2011), pp. 102–126], [Sim, Interior point method on semi-definite linear complementarity problems using the Nesterov-Todd (NT) search direction: Polynomial complexity and local convergence , Comput. Optim. Appl. 74 (2019), pp. 583–621] that the initial iterate to the algorithm is required to satisfy to have superlinear convergence when solving LSDFPs however are not practical. In this paper, we propose a practical initial iterate to an implementable infeasible interior point algorithm that guarantees superlinear convergence when the algorithm is used to solve the homogeneous feasibility model of an LSDFP.
operations research & management science,mathematics, applied,computer science, software engineering