Take off the real axis, or more generally require both and to be invertible. The spectral theorem for real symmetric matrices guarantees these inverses for nonreal . Move coordinate to the first position by a simultaneous row and column permutation. With , the permuted matrix is
Solve its equation against the first coordinate vector: if its solution is , then the lower block equation gives . Substitution into the first equation gives . The component is the requested diagonal entry of the matrix inverse, proving the Schur complement formula for a diagonal resolvent entry:
The product is bilinear, with transpose, because is real and is real symmetric, even when the inverse is complex. In a complex Hermitian matrix version the row is instead. The final belongs inside the denominator, as in the original PDF; the converted TeX misplaces it outside the fraction.
The inverse hypotheses matter if is real: is invertible at , while its one-by-one principal minor is not. Thus existence of the full inverse alone is not sufficient to use this formula.
Full column matrix rank makes a positive-definite matrix, and its matrix inverse is symmetric. Thus the hat matrix satisfies
Also and the image of is contained in the column space of . These identities show that is the orthogonal projection matrix onto the column space of .
Write and . The injectivity of makes this Gram matrix a positive-definite matrix, since for . Thus its matrix inverse exists. Construct the least-norm dual certificate
On the active coordinates, . For , symmetry of the real Gram matrix and its matrix inverse gives
Condition (iii) makes the absolute value of this coordinate strictly less than one. Consequently is a strict dual certificate for basis pursuit, and part (c) applies. If is empty, take ; the zero vector uniquely minimizes the L1 norm on its feasible set. Condition (iii) supplies an explicit certificate and therefore unique recovery. There is no claim that this particular least-norm dual certificate is necessary: other valid certificates may exist when this one fails.
There are two closely related objects to distinguish. Inverting the quadratic Proca action gives the usual covariant Proca propagator. After integration by parts, its kernel is
The matrix inverse with the Feynman i-epsilon prescription gives
Multiplication by gives in the distributional limit. The numerator agrees with the polarization sum for a massive vector boson at the poles, but is not a transverse linear projection at arbitrary four-momentum.
For the literal canonical time-ordered product of and , the nondynamical component produces the Proca time-ordering contact term. In the chosen time coordinate the full answer is
To see the local term directly, the three physical polarization vectors give . The canonical two-point correlation function therefore has Fourier transform
By contrast, , so the covariant expression contains an additional . The mixed and spatial components have no additional contact term. Thus
If is used to mean covariant time ordering, commonly denoted , the conventional answer is instead just . Both conventions have the same propagating poles and agree away from coincidence; explicitly separating them respects the printed definition as an ordinary time-ordered product.
In Einstein notation, , so the matrix and, for , its matrix inverse are
If and , then matrix multiplication and the transpose rule give
Thus the product also satisfies the equation.
The equation and part (i) imply that is invertible. Multiplying
on the left by and on the right by gives
Hence the set of solutions is closed under products and matrix inverses.
Let be the downward vertical unit vector and let the rod's weight after buoyancy be . Force balance gives
Because
its matrix inverse is
Using gives
Therefore
and
The required angle is consequently
If , then , so the rod falls vertically. For an anisotropic rod with , the component parallel to its long axis encounters less drag, and the settling direction is generally deflected toward that axis.
For the active set , maintain
The initial matrix inverse costs . At step , compute in operations and all active ridge coefficients in operations; their smallest absolute value determines .
After deleting ,
Part b ensures that the denominator in the Sherman–Morrison formula is positive, and the rank-one downdate
costs . Summing over the steps gives
Since , both earlier terms are bounded by , proving the claimed computational complexity within computational complexity theory.
Since , direct multiplication gives the matrix inverse
provided , as required by invertibility of the K-matrix. For ,
The attached gauge-flux vector is therefore
Relative to the electron in part a, every one of the gauge fields consequently carries the additional flux