Showing 1–15 of 15 results for author: Deutsch, D

Constructor theory of time

Authors: David Deutsch, Chiara Marletto

Abstract: Constructor theory asserts that the laws of physics are expressible as specifications of which transformations of physical systems can or cannot be brought about with unbounded accuracy by devices capable of operating in a cycle ('constructors'). Hence, in particular, such specifications cannot refer to time. Thus, laws expressed in constructor-theoretic form automatically avoid the anomalous prop… ▽ More Constructor theory asserts that the laws of physics are expressible as specifications of which transformations of physical systems can or cannot be brought about with unbounded accuracy by devices capable of operating in a cycle ('constructors'). Hence, in particular, such specifications cannot refer to time. Thus, laws expressed in constructor-theoretic form automatically avoid the anomalous properties of time in traditional formulations of fundamental theories. But that raises the problem of how they can nevertheless give meaning to duration and dynamics, and thereby be compatible with traditionally formulated laws. Here we show how. △ Less

Submitted 14 May, 2025; v1 submitted 13 May, 2025; originally announced May 2025.

Everettian relative states in the Heisenberg picture

Authors: Samuel Kuypers, David Deutsch

Abstract: 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, and it… ▽ More 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, and its inherently approximative nature, and its origin in certain kinds of entanglement and locally inaccessible information. 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 spacetime. △ Less

Submitted 28 September, 2020; v1 submitted 5 August, 2020; originally announced August 2020.

Quantum-gravity effects could in principle be witnessed in neutrino-like oscillations

Authors: C. Marletto, V. Vedral, D. Deutsch

Abstract: Two of us (CM and VV) recently showed how the quantum character of a physical system, in particular the gravitational field, can in principle be witnessed without directly measuring observables of that system, solely by its ability to mediate entanglement between two other systems. Here we propose a variant of that scheme, where the entanglement is again generated via gravitational interaction, bu… ▽ More Two of us (CM and VV) recently showed how the quantum character of a physical system, in particular the gravitational field, can in principle be witnessed without directly measuring observables of that system, solely by its ability to mediate entanglement between two other systems. Here we propose a variant of that scheme, where the entanglement is again generated via gravitational interaction, but now between two particles both at sharp locations (very close to each other) but each in a superposition of two different masses. We discuss an in-principle example using two hypothetical massive, neutral, weakly-interacting particles generated in a superposition of different masses. The key property of such particles would be that, like neutrinos, they are affected only by weak nuclear interactions and gravity. △ Less

Submitted 8 April, 2018; originally announced April 2018.

The Logic of Experimental Tests, Particularly of Everettian Quantum Theory

Authors: David Deutsch

Abstract: Claims that the standard methodology of scientific testing is inapplicable to Everettian quantum theory, and hence that the theory is untestable, are due to misconceptions about probability and about the logic of experimental testing. Refuting those claims by correcting those misconceptions leads to various simplifications, notably the elimination of everything probabilistic from fundamental physi… ▽ More Claims that the standard methodology of scientific testing is inapplicable to Everettian quantum theory, and hence that the theory is untestable, are due to misconceptions about probability and about the logic of experimental testing. Refuting those claims by correcting those misconceptions leads to various simplifications, notably the elimination of everything probabilistic from fundamental physics (stochastic processes) and from the methodology of testing ('Bayesian' credences). △ Less

Submitted 18 June, 2016; v1 submitted 9 August, 2015; originally announced August 2015.

Constructor Theory of Information

Authors: David Deutsch, Chiara Marletto

Abstract: We present a theory of information expressed solely in terms of which transformations of physical systems are possible and which are impossible - i.e. in constructor-theoretic terms. Although it includes conjectured laws of physics that are directly about information, independently of the details of particular physical instantiations, it does not regard information as an a priori mathematical or l… ▽ More We present a theory of information expressed solely in terms of which transformations of physical systems are possible and which are impossible - i.e. in constructor-theoretic terms. Although it includes conjectured laws of physics that are directly about information, independently of the details of particular physical instantiations, it does not regard information as an a priori mathematical or logical concept, but as something whose nature and properties are determined by the laws of physics alone. It does not suffer from the circularity at the foundations of existing information theory (namely that information and distinguishability are each defined in terms of the other). It explains the relationship between classical and quantum information, and reveals the single, constructor-theoretic property underlying the most distinctive phenomena associated with the latter, including the lack of in-principle distinguishability of some states, the impossibility of cloning, the existence of pairs of variables that cannot simultaneously have sharp values, the fact that measurement processes can be both deterministic and unpredictable, the irreducible perturbation caused by measurement, and entanglement (locally inaccessible information). △ Less

Submitted 14 July, 2014; v1 submitted 21 May, 2014; originally announced May 2014.

Vindication of Quantum Locality

Authors: David Deutsch

Abstract: In a previous paper [arXiv:quant-ph/9906007] Hayden and I proved, using the Heisenberg picture, that quantum physics satisfies Einstein's criterion of locality. Wallace and Timpson 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… ▽ More In a previous paper [arXiv:quant-ph/9906007] Hayden and I proved, using the Heisenberg picture, that quantum physics satisfies Einstein's criterion of locality. Wallace and Timpson 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. △ Less

Submitted 28 September, 2011; originally announced September 2011.

Qubit Field Theory

Authors: David Deutsch

Abstract: The canonical commutation relations of quantum field theory require all pairs of observables located in spacelike-separated regions to commute. In the theory as it is currently constituted, this implies that the information-carrying capacity of a finite volume of space is infinite. Yet Bekenstein's bound gives us strong reason to believe that it is finite. A class of quantum field theories is pr… ▽ More The canonical commutation relations of quantum field theory require all pairs of observables located in spacelike-separated regions to commute. In the theory as it is currently constituted, this implies that the information-carrying capacity of a finite volume of space is infinite. Yet Bekenstein's bound gives us strong reason to believe that it is finite. A class of quantum field theories is presented in which observables localised in spacelike-separated regions do not necessarily commute, but which nevertheless has no physical pathologies. △ Less

Submitted 6 January, 2004; originally announced January 2004.

The Structure of the Multiverse

Authors: David Deutsch

Abstract: The structure of the multiverse is determined by information flow. The structure of the multiverse is determined by information flow. △ Less

Submitted 6 April, 2001; originally announced April 2001.

Comments: 21 pages, 3 illustrations

Machines, Logic and Quantum Physics

Authors: David Deutsch, Artur Ekert, Rossella Lupacchini

Abstract: Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, ar… ▽ More Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, are purely logical notions independent of that of computation as a physical process. Henceforward, a proof must be regarded not as an abstract object or process but as a physical process, a species of computation, whose scope and reliability depend on our knowledge of the physics of the computer concerned. △ Less

Submitted 19 November, 1999; originally announced November 1999.

Comments: 19 pages, 8 figures

MSC Class: 00A30; 03-01

Quantum Theory of Probability and Decisions

Authors: David Deutsch

Abstract: The probabilistic predictions of quantum theory are conventionally obtained from a special probabilistic axiom. But that is unnecessary because all the practical consequences of such predictions follow from the remaining, non-probabilistic, axioms of quantum theory, together with the non-probabilistic part of classical decision theory. The probabilistic predictions of quantum theory are conventionally obtained from a special probabilistic axiom. But that is unnecessary because all the practical consequences of such predictions follow from the remaining, non-probabilistic, axioms of quantum theory, together with the non-probabilistic part of classical decision theory. △ Less

Submitted 3 June, 1999; originally announced June 1999.

Information Flow in Entangled Quantum Systems

Authors: David Deutsch, Patrick Hayden

Abstract: All information in quantum systems is, notwithstanding Bell's theorem, localised. Measuring or otherwise interacting with a quantum system S has no effect on distant systems from which S is dynamically isolated, even if they are entangled with S. Using the Heisenberg picture to analyse quantum information processing makes this locality explicit, and reveals that under some circumstances (in part… ▽ More All information in quantum systems is, notwithstanding Bell's theorem, localised. Measuring or otherwise interacting with a quantum system S has no effect on distant systems from which S is dynamically isolated, even if they are entangled with S. Using the Heisenberg picture to analyse quantum information processing makes this locality explicit, and reveals that under some circumstances (in particular, in Einstein-Podolski-Rosen experiments and in quantum teleportation) quantum information is transmitted through 'classical' (i.e. decoherent) information channels. △ Less

Submitted 4 June, 1999; v1 submitted 1 June, 1999; originally announced June 1999.

Comments: PostScript version now available: http://www.qubit.org/people/patrickh/Papers/InformationFlow.ps

Journal ref: Proc. R. Soc. Lond. A 456(1999):1759-1774, 2000.

Quantum privacy amplification and the security of quantum cryptography over noisy channels

Authors: D. Deutsch, A. Ekert, R. Jozsa, C. Macchiavello, S. Popescu, A. Sanpera

Abstract: Existing quantum cryptographic schemes are not, as they stand, operable in the presence of noise on the quantum communication channel. Although they become operable if they are supplemented by classical privacy-amplification techniques, the resulting schemes are difficult to analyse and have not been proved secure. We introduce the concept of quantum privacy amplification and a cryptographic sch… ▽ More Existing quantum cryptographic schemes are not, as they stand, operable in the presence of noise on the quantum communication channel. Although they become operable if they are supplemented by classical privacy-amplification techniques, the resulting schemes are difficult to analyse and have not been proved secure. We introduce the concept of quantum privacy amplification and a cryptographic scheme incorporating it which is provably secure over a noisy channel. The scheme uses an `entanglement purification' procedure which, because it requires only a few quantum Controlled-Not and single-qubit operations, could be implemented using technology that is currently being developed. The scheme allows an arbitrarily small bound to be placed on the information that any eavesdropper may extract from the encrypted message. △ Less

Submitted 30 April, 1996; originally announced April 1996.

Comments: 13 pages, Latex including 2 postcript files included using psfig macros

Journal ref: Phys.Rev.Lett.77:2818-2821,1996; Erratum-ibid.80:2022-2022,1998

Stabilisation of Quantum Computations by Symmetrisation

Authors: Adriano Barenco, Andre` Berthiaume, David Deutsch, Artur Ekert, Richard Jozsa, Chiara Macchiavello

Abstract: We propose a method for the stabilisation of quantum computations (including quantum state storage). The method is based on the operation of projection into $\cal SYM$, the symmetric subspace of the full state space of $R$ redundant copies of the computer. We describe an efficient algorithm and quantum network effecting $\cal SYM$--projection and discuss the stabilising effect of the proposed me… ▽ More We propose a method for the stabilisation of quantum computations (including quantum state storage). The method is based on the operation of projection into $\cal SYM$, the symmetric subspace of the full state space of $R$ redundant copies of the computer. We describe an efficient algorithm and quantum network effecting $\cal SYM$--projection and discuss the stabilising effect of the proposed method in the context of unitary errors generated by hardware imprecision, and nonunitary errors arising from external environmental interaction. Finally, limitations of the method are discussed. △ Less

Submitted 25 April, 1996; originally announced April 1996.

Comments: 20 pages LaTeX, 2 postscript figures

Universality in Quantum Computation

Authors: D. Deutsch, A. Barenco, A. Ekert

Abstract: We show that in quantum computation almost every gate that operates on two or more bits is a universal gate. We discuss various physical considerations bearing on the proper definition of universality for computational components such as logic gates. We show that in quantum computation almost every gate that operates on two or more bits is a universal gate. We discuss various physical considerations bearing on the proper definition of universality for computational components such as logic gates. △ Less

Submitted 24 May, 1995; originally announced May 1995.

Comments: 11 pages, LaTeX

Conditional Quantum Dynamics and Logic Gates

Authors: A. Barenco, D. Deutsch, A. Ekert, R. Jozsa

Abstract: Quantum logic gates provide fundamental examples of conditional quantum dynamics. They could form the building blocks of general quantum information processing systems which have recently been shown to have many interesting non--classical properties. We describe a simple quantum logic gate, the quantum controlled--NOT, and analyse some of its applications. We discuss two possible physical realis… ▽ More Quantum logic gates provide fundamental examples of conditional quantum dynamics. They could form the building blocks of general quantum information processing systems which have recently been shown to have many interesting non--classical properties. We describe a simple quantum logic gate, the quantum controlled--NOT, and analyse some of its applications. We discuss two possible physical realisations of the gate; one based on Ramsey atomic interferometry and the other on the selective driving of optical resonances of two subsystems undergoing a dipole--dipole interaction. △ Less

Submitted 24 March, 1995; originally announced March 1995.

Comments: 5 pages, RevTeX, two figures in a uuencoded, compressed file

Journal ref: Phys.Rev.Lett. 74 (1995) 4083-4086