This paper examines a recent idea that the smooth gravitational path integral does not describe a full quantum theory. Earlier work by McNamara and Wang showed that you can embed the gravitational path integral into a larger, ordinary quantum field theory that does factorize. The author studies that embedding using algebra. He shows the embedding can be seen as a unique kind of projection or “filter” that removes microscopic, erratic data from gravity and leaves the smooth answers the path integral gives.

At a high level the paper recasts the problem in algebraic language. The smooth gravitational observables sit as a subalgebra of a larger algebra that would describe a complete, factorizing theory. The projection from the larger algebra down to the smooth subalgebra is a mathematical object called a conditional expectation. In physical terms that conditional expectation is the filter proposed by Liu: it throws away the erratic microstate data and returns exactly the smooth part computed by the gravitational path integral.

This picture explains how signatures of ensemble averaging can appear even when there is a single underlying, unitary theory. The larger, factorizing theory is reducible: its Hilbert space for the empty space is non-trivial. That extra structure can carry the “erratic” operators that show up as wormhole-like contributions in gravitational computations. Algebraically these extra operators are realized as charged intertwiners. The paper argues that the symmetries of such reducible quantum field theories are captured by weak Hopf algebras, and that this weak structure allows generalized sector labels (called α-sectors) and half-wormholes to coexist inside one Hilbert space.

Using the work of McNamara and Wang, the author gives a precise statement: for a gravitational path integral that is finite, real, continuous, and reflection positive, there exists a reducible unitary quantum field theory and a groupoid symmetry such that the gravitational partition function and observables are the image of the unitary theory under a unique invariant conditional expectation. The extension is unique up to a standard algebraic equivalence known as Morita equivalence. The paper also explains that the operator algebras of the factorizing theory are built from the dual weak Hopf algebra to the groupoid algebra, and that these algebras encode both the generalized sectors and half Einstein–Rosen bridges.