Put . For a real eigenvalue ,
The spectral theorem for real symmetric matrices therefore gives and , since is a sum of with nonnegative coefficients given by squared eigenvector coordinates of . This is the positive imaginary part of a Stieltjes matrix resolvent. Hence
Apply the triangle inequality to the identity above, and add and subtract the minor trace:
The allowed principal minor resolvent trace bound, with the printed normalization, bounds the second average by . Thus the explicit conclusion is
In particular, the final term is with a constant independent of . The upper-half-plane restriction gives the displayed positive denominators; in the lower half-plane the analogous bound uses .
The chosen centering also has a probabilistic meaning. The column vector is independent of the minor, has mean zero and coordinate variance , so its conditional expectation satisfies
This explains why the bound isolates fluctuations of a quadratic form around the minor trace. Mean centering alone is not a concentration estimate; no unrequested limiting assertion is being assumed.