On Error Bounds for Rank-Constrained Affine Matrix Sets

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Chen, Ruoning, Sun, Defeng, Zhang, Liping
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866916985415139328
author Chen, Ruoning
Sun, Defeng
Zhang, Liping
author_facet Chen, Ruoning
Sun, Defeng
Zhang, Liping
contents Rank-constrained matrix problems appear frequently across science and engineering. The convergence analysis of iterative algorithms developed for these problems often hinges on local error bounds, which correlate the distance to the feasible set with a measure of how much the constraints are violated. Foundational results in semi-algebraic geometry guarantee that such bounds exist, yet the associated exponents are generally not explicitly determined. This paper establishes a local Hölderian error bound with an explicit exponent for the canonical rank-constrained affine feasibility set. This paper proves that, on any compact set, the distance to the feasible set is bounded by a power of a natural residual function capturing violations in both the rank and affine constraints. The exponent in this bound is given explicitly in terms of the problem's dimensions. This provides a fundamental quantitative result on the geometry of the solution set, paving the way for the convergence analysis of a broad class of numerical methods.
format Preprint
id arxiv_https___arxiv_org_abs_2510_01709
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On Error Bounds for Rank-Constrained Affine Matrix Sets
Chen, Ruoning
Sun, Defeng
Zhang, Liping
Optimization and Control
14P10, 49J53, 90C26
Rank-constrained matrix problems appear frequently across science and engineering. The convergence analysis of iterative algorithms developed for these problems often hinges on local error bounds, which correlate the distance to the feasible set with a measure of how much the constraints are violated. Foundational results in semi-algebraic geometry guarantee that such bounds exist, yet the associated exponents are generally not explicitly determined. This paper establishes a local Hölderian error bound with an explicit exponent for the canonical rank-constrained affine feasibility set. This paper proves that, on any compact set, the distance to the feasible set is bounded by a power of a natural residual function capturing violations in both the rank and affine constraints. The exponent in this bound is given explicitly in terms of the problem's dimensions. This provides a fundamental quantitative result on the geometry of the solution set, paving the way for the convergence analysis of a broad class of numerical methods.
title On Error Bounds for Rank-Constrained Affine Matrix Sets
topic Optimization and Control
14P10, 49J53, 90C26
url https://arxiv.org/abs/2510.01709