Correlation function diagnostics for type-I fracton phases

Fracton phases are recent entrants to the roster of topological phases in three dimensions. They are characterized by subextensively divergent topological degeneracy and excitations that are constrained to move along lower-dimensional subspaces, including the eponymous fractons that are immobile in isolation. We develop correlation function diagnostics to characterize type-I fracton phases which build on their exhibiting partial deconfinement. These are inspired by similar diagnostics from standard gauge theories and utilize a generalized gauging procedure that links fracton phases to classical Ising models with subsystem symmetries. En route, we explicitly construct the space-time partition function for the plaquette Ising model which, under such gauging, maps into the X-cube fracton topological phase. We numerically verify our results for this model via Monte Carlo calculations.