Radial-type error bounds for semidefinite feasibility problems without strict feasibility: qualitative estimates and asymptotic tightness
Abstract
In this paper, we develop a systematic framework for deriving explicit error bounds for semidefinite feasibility problems without assuming strict feasibility (Slater's condition), a setting in which existing results are limited. Our main technical contribution is the introduction of radial-type Hölder error bounds, where the error bound constant depends explicitly on the norm of the reference matrix through radial modulus functions. By combining facial reduction with recently developed facial residual functions, we obtain explicit descriptions of these modulus functions, yielding qualitative radial-type Hölder error bounds \emph{without imposing any constraint qualifications}. Our results complement the classical work of Sturm by providing explicit estimates for the constants involved in Sturm's local Hölder error bounds over bounded sets with a given size. We further analyze the asymptotic behavior of these bounds as the dimension of the underlying matrix space grows, identifying regimes in which they can be asymptotically tight up to a dimension-free constant. As an application, we establish explicit error bounds for the optimality system of semidefinite programs by reformulating them as feasibility problems, a setting where Slater's condition typically fails. Under the generically satisfied strict complementarity condition, we derive radial-type error bounds without assuming the usual solution uniqueness requirement, and demonstrate their asymptotic tightness through an explicit example.
Related
- Tightness of and counterexamples to several quantum estimates
- Asymptotic perimeter estimates for spirallike functions
- Supercritical dual k-Minkowski flows with general prescribed data: a priori estimates and asymptotic convergence
- New Qualitative and Quantitative Estimates for Neumann Eigenvalues toward Pólya's Conjecture
- From qualitative smoothness to uniform estimates for fully nonlinear elliptic equations
BibTeX
@misc{nishijima2026radialtype,
title = {{Radial-type error bounds for semidefinite feasibility problems without strict feasibility: qualitative estimates and asymptotic tightness}},
author = {Mitsuhiro Nishijima and Guoyin Li and Bruno F. Lourenço},
howpublished = {arXiv},
year = {2026},
month = aug,
doi = {10.48550/arxiv.2608.09013},
eprint = {2608.09013},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.09013},
}
RIS
TY - UNPB
TI - Radial-type error bounds for semidefinite feasibility problems without strict feasibility: qualitative estimates and asymptotic tightness
AU - Mitsuhiro Nishijima
AU - Guoyin Li
AU - Bruno F. Lourenço
PY - 2026
DA - 2026/08/28
PB - arXiv
DO - 10.48550/arxiv.2608.09013
UR - https://arxiv.org/abs/2608.09013
AB - In this paper, we develop a systematic framework for deriving explicit error bounds for semidefinite feasibility problems without assuming strict feasibility (Slater's condition), a setting in which existing results are limited. Our main technical contribution is the introduction of radial-type Hölder error bounds, where the error bound constant depends explicitly on the norm of the reference matrix through radial modulus functions. By combining facial reduction with recently developed facial residual functions, we obtain explicit descriptions of these modulus functions, yielding qualitative radial-type Hölder error bounds \emph{without imposing any constraint qualifications}. Our results complement the classical work of Sturm by providing explicit estimates for the constants involved in Sturm's local Hölder error bounds over bounded sets with a given size. We further analyze the asymptotic behavior of these bounds as the dimension of the underlying matrix space grows, identifying regimes in which they can be asymptotically tight up to a dimension-free constant. As an application, we establish explicit error bounds for the optimality system of semidefinite programs by reformulating them as feasibility problems, a setting where Slater's condition typically fails. Under the generically satisfied strict complementarity condition, we derive radial-type error bounds without assuming the usual solution uniqueness requirement, and demonstrate their asymptotic tightness through an explicit example.
ER -