Implication of dressed form of relational observable on von Neumann algebra

In quantum gravity, a physically meaningful operator is required to be invariant under the diffeomorphisms. Such gauge invariant operator is typically given by the relational observable, the operator localized in relation to some background states. We point out that the relational observable can be