Operator formalism of statistical mechanics of gauge theory in covariant gauges