Explicit Criteria for Finite-Time Identification in Sparse Primal--Dual Dynamics
Abstract
We study when selected coordinates become and remain zero in a finite-dimensional sparse-regression primal--dual flow and its exact full resolvent iteration. Invariant balls centered at (0,z), with z strictly dual feasible, give computable deadlines without rank assumptions or optimizer knowledge. The certificates may be available at initialization. We determine the smallest invariant radius for the continuous flow within this family. For a prescribed positive feasibility margin, center selection is convex and admits an exact finite conic formulation. We bound the coordinate margins for all centers in this family and give a normalized correlated example attaining the bound. A composite Bregman Lyapunov estimate proves rank-free convergence without primal uniqueness and finite identification under strict dual margins. Under restricted injectivity, the discrete gap-based deadlines multiplied by the step size tend to the continuous bound for fixed data, observed state, and certificate parameters. Numerical experiments assess certificate timing. A noisy weak-form oscillator regression illustrates the difference between fitted and physical support.
Related
- Corrected Block Sparse Spectral Optimization: Exact Models, Finite Identification, and Local Dynamics
- PSI-SINDy: Post-Selection Inference for Sparse Identification of Nonlinear Dynamics
- Sparse Lifts of q-Linearized Permutation Polynomials with Explicit Inverses
- Rational Bishop determinants and explicit cyclicity criteria
- Explicit Bounds on Hoffman Constants for Sparse Polyhedral Regularizers
BibTeX
@misc{saoud2026explicit,
title = {{Explicit Criteria for Finite-Time Identification in Sparse Primal--Dual Dynamics}},
author = {Hassan Saoud},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.24163},
eprint = {2610.24163},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.24163},
}
RIS
TY - UNPB
TI - Explicit Criteria for Finite-Time Identification in Sparse Primal--Dual Dynamics
AU - Hassan Saoud
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.24163
UR - https://arxiv.org/abs/2610.24163
AB - We study when selected coordinates become and remain zero in a finite-dimensional sparse-regression primal--dual flow and its exact full resolvent iteration. Invariant balls centered at (0,z), with z strictly dual feasible, give computable deadlines without rank assumptions or optimizer knowledge. The certificates may be available at initialization. We determine the smallest invariant radius for the continuous flow within this family. For a prescribed positive feasibility margin, center selection is convex and admits an exact finite conic formulation. We bound the coordinate margins for all centers in this family and give a normalized correlated example attaining the bound. A composite Bregman Lyapunov estimate proves rank-free convergence without primal uniqueness and finite identification under strict dual margins. Under restricted injectivity, the discrete gap-based deadlines multiplied by the step size tend to the continuous bound for fixed data, observed state, and certificate parameters. Numerical experiments assess certificate timing. A noisy weak-form oscillator regression illustrates the difference between fitted and physical support.
ER -