Related papers: Local Variables and Quantum Relational Hoare Logic
We present a theory of "quantum references", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Mutable classical variables, quantum…
In a recent article, Dieks has proposed a way to implement the modal interpretation of (nonrelativistic) quantum theory in relativistic quantum field theory. We show that his proposal fails to yield a well-defined prescription for which…
The empirical validity of the locality (LOC) principle of relativity is used to argue in favour of a local hidden variable theory (HVT) for individual quantum processes. It is shown that such a HVT may reproduce the statistical predictions…
The essence of a general formulation to accommodate non-equilibrium local states in relativistic quantum field theory is explained from the viewpoint of comparison at a spacetime point between unknown generic states to be characterized as…
A connection is revealed between the superposition principle and locality. A self consistent interpretation of the superposition principle is put forth, from which it is shown that quantum mechanics may be a local statistical theory. Then…
Hoare-style program logics are a popular and effective technique for software verification. Relational program logics are an instance of this approach that enables reasoning about relationships between the execution of two or more programs.…
Quantum mechanics is strictly incompatible with local realism. It has been shown by Bell and others that it is possible, in principle, to experimentally differentiate between local realism and quantum mechanics. Numerous experiments have…
A recent Nature Physics editorial (Nat. Phys. (2022) 18, 961) falsely claims ``any theory that uses hidden variables still requires non-local physics.'' We correct this claim and explain why it is important to get this right.
We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models,…
Characterization and categorization of quantum correlations are both fundamentally and practically important in quantum information science. Although quantum correlations such as non-separability, steerability, and non-locality can be…
We study the localization properties of bipartite channels, whose action on a subsystem yields a unitary channel. In particular we show that, under such channel, the subsystem must evolve independent of its environment. This point of view…
We derive a Bell-like inequality involving all correlations in local observables with uncertainty free states and show that the inequality is violated in quantum mechanics for EPR and GHZ states. If the uncertainties are allowed in local…
In this paper we investigate the role of local information in the decoding of the repetition and surface error correction codes for the protection of quantum states. Our key result is an improvement in resource efficiency when local…
Local observation is an important problem both for the foundations of a quantum theory of gravity and for applications to quantum-cosmological problems such as eternal inflation. While gauge invariant local observables can't be defined, it…
The need for a time-shift invariant formulation of quantum theory arises from fundamental symmetry principles as well as heuristic cosmological considerations. Such a description then leaves open the question of how to reconcile global…
Bell nonlocality is an intriguing property of quantum mechanics with far reaching consequences for information processing, philosophy and our fundamental understanding of nature. However, nonlocality is a statement about static correlations…
We study relationships between different formulations of the local principle. Also we establish a connection among the local principle and the non-commutative Fourier transform approach to the investigation of convolution operator algebras.…
The local uncertainty relation (LUR) criteria for quantum entanglement, which is dependent on chosen observables, is developed recent. In the paper, applying the uncertainty principle, an entanglement criteria for multipartite Gaussian…
Within the Local Unitarity formalism, any physical cross-section is re-written in such a way that cancellations of infrared singularities between real and virtual contributions are realised locally. Consequently, phase-space and loop…
Contextuality in quantum physics provides a key resource for quantum information and computation. The topological approach in [Abramsky and Brandenburger, New J. Phys., 2011, Abramsky et al., CSL 2015, 2015] characterizes contextuality as…