Gauge theory for quantum spin glasses

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.