This paper sorts out a common confusion about two ideas in topological many-body physics: symmetry anomalies and the statistics of topological excitations. At first glance, cutting a global symmetry down to a finite patch looks like the same operation as a hopping operator that moves a quasiparticle and creates excitations at the boundary of its support. The authors argue that this superficial similarity is misleading. The correct and robust link between anomalies and statistics comes from requiring hopping operators to be symmetric — that is, to commute with the global symmetry — rather than from equating truncations of symmetry transformations with hopping operators.

To make the point concrete the authors compare two constructions. A symmetry patch operator is what you get when you truncate a global symmetry transformation to an interval on a lattice. That truncation creates defect operators at the interval endpoints, and the algebra of those endpoint operators defines an invariant known as the Else–Nayak index. Physically this index is the obstruction to gauging the symmetry, often called a ’t Hooft anomaly. By contrast, a hopping operator is a local operator that creates or moves topological excitations on the boundary of its support. In simple models, like the toric code, the two constructions can coincide by accident, but in twisted or more general models they need not, because the operators can carry different quantum phases.

The paper gives a precise account of what is meant by the statistics of topological excitations. The authors adopt an axiomatic definition: a family of states and local hopping operators that create excitations on boundaries and satisfy locality conditions. Statistics are then extracted as Berry phases obtained by applying a prescribed sequence of hopping operations that returns the system to its original state. Under these assumptions the authors show the classification of statistics fits the usual cohomological pattern familiar in the literature. They report that their full proof of this classification has been completed and formally checked in the Lean proof assistant, although aspects of the exposition and related papers remain in preparation.