Certified Scalable Enclosures for Uncertain Underdetermined Systems
Abstract
The central challenge in underdetermined models with bounded uncertainty, such as in nonlinear design and estimation, is certifying the solution sets. Conventional solution methodologies, such as those based on Newton's method or on sampling-based uncertainty quantification, are either not applicable due to the underdetermined nature or do not give guarantees that all solutions have been found, assuming they converge. We addressed this issue for a problem that arises in nonlinear design, where a target steady-state box is prescribed and the parameters have to be found. We developed a trapezoidal linearisation method that rigorously encloses all solutions and combined it with a tractable linear programming method to compute the component-wise bounds. We showed that the resulting families of linear programs can iteratively contract an initial parameter region. A subdivision of the target state and the initial parameter region can improve the contraction and provide tighter enclosures. The trapezoidal relaxation gives a family of linear programs that can also be used for finding solutions for interval linear systems via the Oettli-Prager characterisation. We demonstrate the generality of the method through different applications, including nonlinear design in biomolecular circuits, a sensitivity analysis method, and in a compressed sensing context, and discuss the trade-off between enclosure tightness and computational cost.
Related
- Temporally constraining source imaging estimates in an underdetermined neural system with eigenmodes of cortical geometry
- ApproxBrain: Certified Sufficiency Frontiers in Connectome-Constrained Neural Systems
- StoichRNA: A Scalable Framework to Map and Optimize Combinatorial RNA Systems at Single-Cell Resolution
- Points to consider for the reporting of variants of uncertain significance in germline genetic and genomic testing: A statement of the American College of Medical Genetics and Genomics (ACMG)
- Phenotypic Evidence for the Reclassification of the RYR1 p.(Glu4410Asp) Variant: From Uncertain Significance to Likely Benign.
BibTeX
@misc{prakash2026certified,
title = {{Certified Scalable Enclosures for Uncertain Underdetermined Systems}},
author = {Rudra Prakash and Shaunak Sen},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.11660},
eprint = {2610.11660},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.11660},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Certified Scalable Enclosures for Uncertain Underdetermined Systems
AU - Rudra Prakash
AU - Shaunak Sen
PY - 2026
DA - 2026/10/08
PB - arXiv
DO - 10.48550/arxiv.2610.11660
UR - https://arxiv.org/abs/2610.11660
AB - The central challenge in underdetermined models with bounded uncertainty, such as in nonlinear design and estimation, is certifying the solution sets. Conventional solution methodologies, such as those based on Newton's method or on sampling-based uncertainty quantification, are either not applicable due to the underdetermined nature or do not give guarantees that all solutions have been found, assuming they converge. We addressed this issue for a problem that arises in nonlinear design, where a target steady-state box is prescribed and the parameters have to be found. We developed a trapezoidal linearisation method that rigorously encloses all solutions and combined it with a tractable linear programming method to compute the component-wise bounds. We showed that the resulting families of linear programs can iteratively contract an initial parameter region. A subdivision of the target state and the initial parameter region can improve the contraction and provide tighter enclosures. The trapezoidal relaxation gives a family of linear programs that can also be used for finding solutions for interval linear systems via the Oettli-Prager characterisation. We demonstrate the generality of the method through different applications, including nonlinear design in biomolecular circuits, a sensitivity analysis method, and in a compressed sensing context, and discuss the trade-off between enclosure tightness and computational cost.
ER -