  In this work, we provide an analytical proof of the robustness of topological
entanglement under a model of random local perturbations. We define a notion of
average topological subsystem purity and show that, in the context of quantum
double models, this quantity does detect topological order and is robust under
the action of a random quantum circuit of shallow depth.
