Minor (linear algebra) 2026-10-14
A matrix minor is the determinant of a square submatrix obtained by selecting rows and columns of a matrix. Over a field, the matrix rank is less than exactly when every -by- matrix minor vanishes. In a matrix of regular functions, these equations define a closed rank-defect locus, explaining the determinantal variety construction.
Let be the all-ones matrix. Every feasible block matrix in the first formulation has , because its principal submatrix on indices is and is a positive semidefinite matrix. In particular, .
By the Schur complement,
Set . Then , , and on every edge. Conversely, for a feasible in the second formulation, its nonnegative diagonal gives , and has , on edges, and .
Both transformations preserve the objective . Hence the two semidefinite programs defining the complement theta number have the same feasible objective values and the same minimum.
Every principal submatrix of a kernel matrix is positive semidefinite, so
The Cauchy-Schwarz inequality for integrals therefore gives
Thus every entry of is well defined. For any finite coefficients and points , linearity of the integral gives
because the integrand is nonnegative. Hence is a positive-semidefinite kernel. This proves the integral closure of positive-semidefinite kernels.
Principal minor Created 2026-10-05 Updated 2026-10-14
A principal minor is the determinant of a square submatrix selected using the same index set for rows and columns. For a three-by-three matrix, the coefficient of in its monic characteristic polynomial is the sum of its three principal minors of order two.