Everettian relative states in the Heisenberg picture

Everett's relative-state construction in quantum theory has never been satisfactorily expressed in the Heisenberg picture. What one might have expected to be a straightforward process was impeded by conceptual and technical problems that we solve here. The result is a construction which, unlike Everett's one in the Schrödinger picture, makes manifest the locality of Everettian multiplicity, its inherently approximative nature and its origin in certain kinds of entanglement and locally inaccessible information. (By Everettian, we are referring not only to Everett's own work, but also to versions of quantum theory that elaborate and refine his. The notion of relative states first appeared in Everett (Everett 1973 In The many worlds interpretation of quantum mechanics (eds BS DeWitt, N Graham)). We are proposing a formalism for relative states that is more detailed and more illuminating than Everett's.) Our construction also allows us to give a more precise definition of an Everett 'universe', under which it is fully quantum, not quasi-classical, and we compare the Everettian decomposition of a quantum state with the foliation of a space-time.