Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Locality in the Heisenberg picture

Pickering, Phil

Published Feb 24, 2025• 0 citations
OpenAlex

Abstract

A growing body of literature supports Deutsch and Hayden’s (2000) claim that in the Heisenberg picture, quantum entanglement can be characterised locally using objects they call descriptors. I argue that their notion of locality rests, in part, on a qualified version of the principle of separability that I call spatial separability. I show that spatial separability is not sufficient for separability simpliciter, and that the more general version, spatiotemporal separability, reveals that their claim is false. Deutsch and Hayden’s approach also has a novel implication: if descriptors represent actual physical properties, they are non-qualitative properties, which are profoundly different from the qualitative properties we have come to expect from other branches of physics.

Related papers

Restoring Locality: The Heisenberg Picture as a Separable Description of Quantum Theory

Sam Kuypers

Local realism has been the subject of much discussion in modern physics, partly because our deepest theories of physics appear to contradict one another in regard to whether reality is local. According to general relativity, it is, as physical quantities (perceptible or not) in two spacelike separated regions cannot affect one another. Yet, in quantum theory, it has traditionally been thought that local realism cannot hold and that such effects do occur. This apparent discrepancy between the two theories is resolved by Everettian quantum theory, as first proven by Deutsch & Hayden (2000). In this paper, I will explain how local realism is respected in quantum theory and review the advances in our understanding of locality since Deutsch & Hayden's work, including the concept of local branching and the more general analysis by Raymond-Robichaud (2021)

quant-pharXiv:2601.06522•Jan 13, 2026•1 citation

Local Many Worlds in Spacetime: Deutsch-Hayden Descriptors and Local Wavefunctions

Mordecai Waegell

Bell's theorem establishes that a local and spatially separable physical theory with no superdeterminism or retrocausality must be a theory of many local worlds. The local many worlds formalism of quantum mechanics is a transparent separable physical theory in spacetime with a Lorentz covariant causal structure. Unlike the Everett many worlds interpretation, there is no nonseparable universal wavefunction in configuration space, but like Everett, there is only local unitary evolution which conserves probability (fluid) current, and no wavefunction collapse. Each event in spacetime has its own local wavefunction which is built up using only the local wavefunctions and local unitary evolution operators within its past light cone, and which is entirely disconnected from spacelike separated local wavefunctions. We call this the local Schrödinger picture. Local many worlds can also be described in the Heisenberg picture by ascribing Deutsch-Hayden (DH) descriptors to each individual system, each of which evolves under local unitary operations. Both the local wavefunctions and DH descriptors contain records of past interactions, and while the local wavefunctions provide a clear and intuitive physical narrative, the descriptors contain all of the same information in a much more compact form. Unfortunately, the compact form is also somewhat cryptic, which has made the local Heisenberg picture relatively inaccessible. The purpose of this article is to show that the local wavefunctions for any $N$-qubit system can always be constructed directly from the DH descriptors, allowing us to combine the benefits of both pictures.

quant-pharXiv:2609.33453•Sep 29, 2026•0 citations

Vindication of quantum locality

David Deutsch

In a previous paper, Hayden and I ( Deutsch & Hayden 2000 Proc. R. Soc. Lond. A 456 , 1759–1774. ( doi:10.1098/rspa.2000.0585 )) proved, using the Heisenberg picture, that quantum physics satisfies Einstein's criterion of locality. Wallace and Timpson ( Wallace & Timpson 2007 Found. Phys. 37 , 951–955. ( doi:10.1007/s10701-007-9135-7 )) have argued that certain transformations of the Heisenberg-picture description of a quantum system must be regarded as leaving invariant the factual situation being described, and that taking this into account reveals that Einstein's criterion is violated after all. Here, I vindicate the proof and explain some misconceptions that have led to this and other criticisms of it.

arXiv:1109.6223•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Oct 26, 2011•19 citations

Comment on an alleged refutation of non-locality

R. L. Schafir

A recent claim (Deutsch and Hayden (2000)), that non-locality can be refuted by considering the evolution of the system in the Heisenberg picture, is denied. What they demonstrated was not the falsity of non-locality but the no-superluminal-signalling principle.

arXiv:quant-ph/0201065•Jan 16, 2002•1 citation

Entanglement without nonlocality

Dominic C. Horsman, Vlatko Vedral

We consider the characterization of entanglement from the perspective of a Heisenberg formalism. We derive a two-party generalized separability criterion, and from this describe a physical understanding of entanglement. We find that entanglement may be considered as fundamentally a local effect, and therefore as a separate computational resource from nonlocality. We show how entanglement differs from correlation physically, and explore the implications of this concept of entanglement for the notion of classicality. We find that this understanding of entanglement extends naturally to multipartite cases.

arXiv:quant-ph/0611237•Physical Review A•Dec 21, 2007•15 citations

On the definition and characterisation of multipartite causal (non)separability

Julian Wechs, Alastair A. Abbott, Cyril Branciard

The concept of causal nonseparability has been recently introduced, in opposition to that of causal separability, to qualify physical processes that locally abide by the laws of quantum theory, but cannot be embedded in a well-defined global causal structure. While the definition is unambiguous in the bipartite case, its generalisation to the multipartite case is not so straightforward. Two seemingly different generalisations have been proposed, one for a restricted tripartite scenario and one for the general multipartite case. Here we compare the two, showing that they are in fact inequivalent. We propose our own definition of causal (non)separability for the general case, which—although a priori subtly different—turns out to be equivalent to the concept of ‘extensible causal (non)separability’ introduced before, and which we argue is a more natural definition for general multipartite scenarios. We then derive necessary, as well as sufficient conditions to characterise causally (non)separable processes in practice. These allow one to devise practical tests, by generalising the tool of witnesses of causal nonseparability.

arXiv:1807.10557•New Journal of Physics•Nov 23, 2018•44 citations
A growing body of literature supports Deutsch and Hayden’s (2000) claim that in the Heisenberg picture, quantum entanglement can be characterised locally using objects they call descriptors. I argue that their notion of locality rests, in part, on a qualified version of the principle of separability that I call spatial separability. I show that spatial separability is not sufficient for separability simpliciter, and that the more general version, spatiotemporal separability, reveals that their claim is false. Deutsch and Hayden’s approach also has a novel implication: if descriptors represent actual physical properties, they are non-qualitative properties, which are profoundly different from the qualitative properties we have come to expect from other branches of physics.
Local realism has been the subject of much discussion in modern physics, partly because our deepest theories of physics appear to contradict one another in regard to whether reality is local. According to general relativity, it is, as physical quantities (perceptible or not) in two spacelike separated regions cannot affect one another. Yet, in quantum theory, it has traditionally been thought that local realism cannot hold and that such effects do occur. This apparent discrepancy between the two theories is resolved by Everettian quantum theory, as first proven by Deutsch & Hayden (2000). In this paper, I will explain how local realism is respected in quantum theory and review the advances in our understanding of locality since Deutsch & Hayden's work, including the concept of local branching and the more general analysis by Raymond-Robichaud (2021)
Bell's theorem establishes that a local and spatially separable physical theory with no superdeterminism or retrocausality must be a theory of many local worlds. The local many worlds formalism of quantum mechanics is a transparent separable physical theory in spacetime with a Lorentz covariant causal structure. Unlike the Everett many worlds interpretation, there is no nonseparable universal wavefunction in configuration space, but like Everett, there is only local unitary evolution which conserves probability (fluid) current, and no wavefunction collapse. Each event in spacetime has its own local wavefunction which is built up using only the local wavefunctions and local unitary evolution operators within its past light cone, and which is entirely disconnected from spacelike separated local wavefunctions. We call this the local Schrödinger picture. Local many worlds can also be described in the Heisenberg picture by ascribing Deutsch-Hayden (DH) descriptors to each individual system, each of which evolves under local unitary operations. Both the local wavefunctions and DH descriptors contain records of past interactions, and while the local wavefunctions provide a clear and intuitive physical narrative, the descriptors contain all of the same information in a much more compact form. Unfortunately, the compact form is also somewhat cryptic, which has made the local Heisenberg picture relatively inaccessible. The purpose of this article is to show that the local wavefunctions for any NNN-qubit system can always be constructed directly from the DH descriptors, allowing us to combine the benefits of both pictures.
In a previous paper, Hayden and I ( Deutsch & Hayden 2000 Proc. R. Soc. Lond. A 456 , 1759–1774. ( doi:10.1098/rspa.2000.0585 )) proved, using the Heisenberg picture, that quantum physics satisfies Einstein's criterion of locality. Wallace and Timpson ( Wallace & Timpson 2007 Found. Phys. 37 , 951–955. ( doi:10.1007/s10701-007-9135-7 )) have argued that certain transformations of the Heisenberg-picture description of a quantum system must be regarded as leaving invariant the factual situation being described, and that taking this into account reveals that Einstein's criterion is violated after all. Here, I vindicate the proof and explain some misconceptions that have led to this and other criticisms of it.
We consider the characterization of entanglement from the perspective of a Heisenberg formalism. We derive a two-party generalized separability criterion, and from this describe a physical understanding of entanglement. We find that entanglement may be considered as fundamentally a local effect, and therefore as a separate computational resource from nonlocality. We show how entanglement differs from correlation physically, and explore the implications of this concept of entanglement for the notion of classicality. We find that this understanding of entanglement extends naturally to multipartite cases.
The concept of causal nonseparability has been recently introduced, in opposition to that of causal separability, to qualify physical processes that locally abide by the laws of quantum theory, but cannot be embedded in a well-defined global causal structure. While the definition is unambiguous in the bipartite case, its generalisation to the multipartite case is not so straightforward. Two seemingly different generalisations have been proposed, one for a restricted tripartite scenario and one for the general multipartite case. Here we compare the two, showing that they are in fact inequivalent. We propose our own definition of causal (non)separability for the general case, which—although a priori subtly different—turns out to be equivalent to the concept of ‘extensible causal (non)separability’ introduced before, and which we argue is a more natural definition for general multipartite scenarios. We then derive necessary, as well as sufficient conditions to characterise causally (non)separable processes in practice. These allow one to devise practical tests, by generalising the tool of witnesses of causal nonseparability.