Porteous Meets Walsh: Counting Critical Points for ℋ2-Norm Model Order Reduction Using Algebraic Geometry Behind Multiparameter Eigenvalue Problems
Abstract
Several polynomial systems arising in systems and control have been shown to exhibit a partially linear structure, which allows them to be reformulated as a multiparameter eigenvalue problem (MEP). In this work, we show how such MEP formulations can be leveraged to obtain refined information about the solution set of the polynomial system. We demonstrate, in the setting of single-input single-output ℋ2-norm model order reduction, how the Thom--Porteous formula can be used to derive an exact count of the complex solutions of the critical equations derived from Walsh's theorem. We prove, under suitable genericity assumptions, that their set of complex solutions is finite and that all solutions occur without multiplicity. Moreover, we derive an explicit formula for the total number of complex solutions as a function of the model orders. Throughout, we provide a self-contained and application-oriented exposition of the algebro-geometric tools required for our analysis, with the aim of making them accessible to the broader engineering community.
Related
- Homotopy for Rectangular Multiparameter Eigenvalue Problems
- A Contour Method for Multiparameter Eigenvalue Problems
- Multiparameter counting of numerical semigroups: recurrences and leaf-discriminating trees
- Nearest structured matrix having an eigenvalue with prescribed lower bounds of algebraic and geometric multiplicities
- SEAC from EAC modulo Schanuel: reduction to algebraic exponentials
BibTeX
@misc{lagauw2026porteous,
title = {{Porteous Meets Walsh: Counting Critical Points for $\mathcalH_2$-Norm Model Order Reduction Using Algebraic Geometry Behind Multiparameter Eigenvalue Problems}},
author = {Sibren Lagauw and Leonie Kayser and Bart De Moor},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.00258},
eprint = {2611.00258},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.00258},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Porteous Meets Walsh: Counting Critical Points for ℋ_2-Norm Model Order Reduction Using Algebraic Geometry Behind Multiparameter Eigenvalue Problems
AU - Sibren Lagauw
AU - Leonie Kayser
AU - Bart De Moor
PY - 2026
DA - 2026/11/01
PB - arXiv
DO - 10.48550/arxiv.2611.00258
UR - https://arxiv.org/abs/2611.00258
AB - Several polynomial systems arising in systems and control have been shown to exhibit a partially linear structure, which allows them to be reformulated as a multiparameter eigenvalue problem (MEP). In this work, we show how such MEP formulations can be leveraged to obtain refined information about the solution set of the polynomial system. We demonstrate, in the setting of single-input single-output ℋ_2-norm model order reduction, how the Thom--Porteous formula can be used to derive an exact count of the complex solutions of the critical equations derived from Walsh's theorem. We prove, under suitable genericity assumptions, that their set of complex solutions is finite and that all solutions occur without multiplicity. Moreover, we derive an explicit formula for the total number of complex solutions as a function of the model orders. Throughout, we provide a self-contained and application-oriented exposition of the algebro-geometric tools required for our analysis, with the aim of making them accessible to the broader engineering community.
ER -