Search papers, labs, and topics across Lattice.
This study explores how the highest-order coefficients of characteristic polynomials can effectively distinguish totally positive matrices from non-totally positive ones. By employing neural-network classifiers and feature-attribution methods on datasets derived from various structured totally positive families, the authors demonstrate that the coefficients \(a_{n-1}, a_{n-2}, a_{n-3}\) provide significant discriminatory power across multiple dimensions. The findings reveal a nonlinear separation in a three-dimensional coefficient space characterized by Mahalanobis ellipsoids, which encapsulate totally positive samples while largely excluding non-totally positive ones, suggesting a conjecture about their geometric separation.
The highest-order coefficients of characteristic polynomials can uniquely identify totally positive matrices, revealing distinct geometric signatures that scale with dimensionality.
We investigate the extent to which totally positive matrices can be distinguished through the highest-order coefficients of their characteristic polynomials. To identify the most informative coefficients, we also employed neural-network classifiers together with feature-attribution methods. Using datasets built from several structured totally positive families, including products of positive bidiagonal matrices, Vandermonde matrices, and Cauchy matrices, we find that the coefficients (a_{n-1}, a_{n-2}, a_{n-3}) already contain strong discriminatory information for separating totally positive from non-totally positive matrices in dimensions 5, 10, and 30. The resulting separation is markedly nonlinear and admits a natural geometric description in the corresponding three-dimensional coefficient space by means of Mahalanobis ellipsoids. These ellipsoids enclose the totally positive samples while excluding most non-totally positive ones. Moreover, different structured totally positive families exhibit distinct ellipsoidal signatures, and the separation between these signatures increases with the dimension. These observations lead us to formulate a conjecture on the geometric separation of structured totally positive families in the space determined by the three highest-order characteristic coefficients.