Monotonicity of the principal pivot transform

We prove that the principal pivot transform (also known as the partial inverse, sweep operator, or exchange operator in various contexts) maps matrices with positive imaginary part to matrices with positive imaginary part. We show that the principal pivot transform is matrix monotone by establishing Hermitian square representations for the imaginary part and the derivative.