  The gauge theory for random spin systems is extended to quantum spin glasses
to derive a number of exact and/or rigorous results. The transverse Ising model
and the quantum gauge glass are shown to be gauge invariant. For these models,
an identity is proved that the expectation value of the gauge invariant
operator in the ferromagnetic limit is equal to the one in the classical
equilibrium state on the Nishimori line. As a result, a set of inequalities for
the correlation function are proved, which restrict the location of the ordered
phase. It is also proved that there is no long-range order in the
two-dimensional quantum gauge glass in the ground state. The phase diagram for
the quantum XY Mattis model is determined.
