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

arXiv:1206.2725

The preparation problem in nonlinear extensions of quantum theory

Eric G. Cavalcanti, Nicolas C. Menicucci, Jacques Pienaar

Published Jun 13, 2012• 13 citations
arXivHTMLPDF

Abstract

Nonlinear modifications to the laws of quantum mechanics have been proposed as a possible way to consistently describe information processing in the presence of closed timelike curves. These have recently generated controversy due to possible exotic information-theoretic effects, including breaking quantum cryptography and radically speeding up both classical and quantum computers. The physical interpretation of such theories, however, is still unclear. We consider a large class of operationally-defined theories that contain "nonlinear boxes" and show that operational verifiability without superluminal signaling implies a split in the equivalence classes of preparation procedures. We conclude that any theory satisfying the above requirements is (a) inconsistent unless it contains distinct representations for the two different kinds of preparations and (b) incomplete unless it also contains a rule for uniquely distinguishing them at the operational level. We refer to this as the preparation problem for nonlinear theories. In addition to its foundational implications, this work shows that, in the presence of nonlinear quantum evolution, the security of quantum cryptography and the existence of other exotic effects remain open questions.

DOI
10.48550/arxiv.1206.2725

Related papers

Probing the Structure of Quantum Mechanics Nonlinearity, Nonlocality, Computation and Axiomatics

Diederik Aerts, Sven Aerts, Marek Czachor +4 more

During the last decade, scientists working in quantum theory have been engaging in promising new fields such as quantum computation and quantum information processing, and have also been reflecting on the possibilities of nonlinear behavior on the quantum level. These are challenging undertakings because (1) they will result in new solutions to important technical and practical problems that were unsolvable by the classical approaches (for example, quantum computers can calculate problems that are intractable if one uses classical computers); and (2) they open up new 'hard' problems of a fundamental nature that touch the foundation of quantum theory itself (for example, the contradiction between locality and nonlinearity and the interpretation of quantum computing as a universal process). In this book, one can distinguish two main streams of research to approach the just-mentioned problem field: (1) a theoretical structural part, which concentrates on the elaboration of a nonlinear quantum mechanics and the fundamentals of quantum computation; and (2) a theoretical experimental part, which focuses on the theoretical aspects of applications that arise from new technology and novel research perspectives such as quantum optics and quantum cryptography. Particular attention is also paid to the measurement problem, the classical limit and alternative interpretations (such as the hidden measurement approach).

•Jan 1, 2000•10 citations

Probing the structure of quantum mechanics : nonlinearity, nonlocality, computation, axiomatics, Brussels, Belgium June 2000

Diederik Aerts, Marek Czachor, Thomas Durt

During the last decade, scientists working in quantum theory have been engaging in promising new fields such as quantum computation and quantum information processing, and have also been reflecting on the possibilities of nonlinear behavior on the quantum level. These are challenging undertakings because (1) they will result in new solutions to important technical and practical problems that were unsolvable by the classical approaches (for example, quantum computers can calculate problems that are intractable if one uses classical computers); and (2) they open up new 'hard' problems of a fundamental nature that touch the foundation of quantum theory itself (for example, the contradiction between locality and nonlinearity and the interpretation of quantum computing as a universal process). In this book, one can distinguish two main streams of research to approach the just-mentioned problem field: (1) a theoretical structural part, which concentrates on the elaboration of a nonlinear quantum mechanics and the fundamentals of quantum computation; and (2) a theoretical experimental part, which focuses on the theoretical aspects of applications that arise from new technology and novel research perspectives such as quantum optics and quantum cryptography. Particular attention is also paid to the measurement problem, the classical limit and alternative interpretations (such as the hidden measurement approach)

WORLD SCIENTIFIC eBooks•Jan 1, 2002•0 citations

Verifiable nonlinear quantum evolution implies failure of density matrices to represent proper mixtures

Eric G. Cavalcanti, Nicolas C. Menicucci

In a recent Letter, Bennett and coworkers [1] argue that proofs of exotic quantum effects using closed timelike curves (CTC's) based on the work of Deutsch [2], or other nonlinear quantum dynamics, suffer from a fallacy that they call the "linearity trap," by which one cannot assume that a classical mixture of input states will lead to the same mixture of corresponding output states. We show that this prescription is inconsistent with the assumption that one can verify the postulated nonlinear evolution. Specifically, if some agent can empirically verify the deterministic nonlinear action of a physical device for some set of pure-state inputs, then one cannot generally use density matrices to represent the input for a second agent who is ignorant of the actual pure state prepared. Our argument is epistemological and makes no appeal to the detailed physics of CTC's.

arXiv:1004.1219•Apr 8, 2010•10 citations

Quantum computational complexity in the presence of closed timelike curves

Dave Bacon

Quantum computation with quantum data that can traverse closed timelike curves represents a new physical model of computation. We argue that a model of quantum computation in the presence of closed timelike curves can be formulated which represents a valid quantification of resources given the ability to construct compact regions of closed timelike curves. The notion of self-consistent evolution for quantum computers whose components follow closed timelike curves, as pointed out by Deutsch [Phys. Rev. D 44, 3197 (1991)], implies that the evolution of the chronology respecting components which interact with the closed timelike curve components is nonlinear. We demonstrate that this nonlinearity can be used to efficiently solve computational problems which are generally thought to be intractable. In particular we demonstrate that a quantum computer which has access to closed timelike curve qubits can solve $\mathit{NP}$-complete problems with only a polynomial number of quantum gates.

arXiv:quant-ph/0309189•Physical Review A•Sep 13, 2004•73 citations

On the Computational Power of Physical Systems, Undecidability, the Consistency of Phenomena, and the Practical Uses of Paradoxes

Karl Svozil

The classical methods used by recursion theory and formal logic to block paradoxes do not work in quantum information theory. Since quantum information can exist as a coherent superposition of the classical ``yes'' and ``no'' states, certain tasks which are not conceivable in the classical setting can be performed in the quantum setting. Classical logical inconsistencies do not arise, since there exist fixed point states of the diagonalization operator. In particular, closed timelike curves need not be eliminated in the quantum setting, since they would not lead to any paradoxical outcome controllability. Quantum information theory can also be subjected to the treatment of inconsistent information in databases and expert systems. It is suggested that any two pieces of contradicting information are stored and processed as coherent superposition. In order to be tractable, this strategy requires quantum computation.

arXiv:quant-ph/9502008•Annals of the New York Academy of Sciences•Apr 1, 1995•11 citations

Nonlinearity without superluminality

Adrian Kent

Quantum theory is compatible with special relativity. In particular, though measurements on entangled systems are correlated in a way that cannot be reproduced by local hidden variables, they cannot be used for superluminal signaling. As Czachor, Gisin, and Polchinski pointed out, this is not generally true of general nonlinear modifications of the Schr\"odinger equation. Excluding superluminal signaling has thus been taken to rule out most nonlinear versions of quantum theory. The no-superluminal-signaling constraint has also been used for alternative derivations of the optimal fidelities attainable for imperfect quantum cloning and other operations. These results apply to theories satisfying the rule that their predictions for widely separated and slowly moving entangled systems can be approximated by nonrelativistic equations of motion with respect to a preferred time coordinate. This paper describes a natural way in which this rule might fail to hold. In particular, it is shown that quantum readout devices which display the values of localized pure states need not allow superluminal signaling, provided that the devices display the values of the states of entangled subsystems as defined in a nonstandard, although natural, way. It follows that any locally defined nonlinear evolution of pure states can be made consistent with Minkowski causality.

arXiv:quant-ph/0204106•Physical Review A•Jul 18, 2005•65 citations
Nonlinear modifications to the laws of quantum mechanics have been proposed as a possible way to consistently describe information processing in the presence of closed timelike curves. These have recently generated controversy due to possible exotic information-theoretic effects, including breaking quantum cryptography and radically speeding up both classical and quantum computers. The physical interpretation of such theories, however, is still unclear. We consider a large class of operationally-defined theories that contain "nonlinear boxes" and show that operational verifiability without superluminal signaling implies a split in the equivalence classes of preparation procedures. We conclude that any theory satisfying the above requirements is (a) inconsistent unless it contains distinct representations for the two different kinds of preparations and (b) incomplete unless it also contains a rule for uniquely distinguishing them at the operational level. We refer to this as the preparation problem for nonlinear theories. In addition to its foundational implications, this work shows that, in the presence of nonlinear quantum evolution, the security of quantum cryptography and the existence of other exotic effects remain open questions.
During the last decade, scientists working in quantum theory have been engaging in promising new fields such as quantum computation and quantum information processing, and have also been reflecting on the possibilities of nonlinear behavior on the quantum level. These are challenging undertakings because (1) they will result in new solutions to important technical and practical problems that were unsolvable by the classical approaches (for example, quantum computers can calculate problems that are intractable if one uses classical computers); and (2) they open up new 'hard' problems of a fundamental nature that touch the foundation of quantum theory itself (for example, the contradiction between locality and nonlinearity and the interpretation of quantum computing as a universal process). In this book, one can distinguish two main streams of research to approach the just-mentioned problem field: (1) a theoretical structural part, which concentrates on the elaboration of a nonlinear quantum mechanics and the fundamentals of quantum computation; and (2) a theoretical experimental part, which focuses on the theoretical aspects of applications that arise from new technology and novel research perspectives such as quantum optics and quantum cryptography. Particular attention is also paid to the measurement problem, the classical limit and alternative interpretations (such as the hidden measurement approach).
During the last decade, scientists working in quantum theory have been engaging in promising new fields such as quantum computation and quantum information processing, and have also been reflecting on the possibilities of nonlinear behavior on the quantum level. These are challenging undertakings because (1) they will result in new solutions to important technical and practical problems that were unsolvable by the classical approaches (for example, quantum computers can calculate problems that are intractable if one uses classical computers); and (2) they open up new 'hard' problems of a fundamental nature that touch the foundation of quantum theory itself (for example, the contradiction between locality and nonlinearity and the interpretation of quantum computing as a universal process). In this book, one can distinguish two main streams of research to approach the just-mentioned problem field: (1) a theoretical structural part, which concentrates on the elaboration of a nonlinear quantum mechanics and the fundamentals of quantum computation; and (2) a theoretical experimental part, which focuses on the theoretical aspects of applications that arise from new technology and novel research perspectives such as quantum optics and quantum cryptography. Particular attention is also paid to the measurement problem, the classical limit and alternative interpretations (such as the hidden measurement approach)
In a recent Letter, Bennett and coworkers [1] argue that proofs of exotic quantum effects using closed timelike curves (CTC's) based on the work of Deutsch [2], or other nonlinear quantum dynamics, suffer from a fallacy that they call the "linearity trap," by which one cannot assume that a classical mixture of input states will lead to the same mixture of corresponding output states. We show that this prescription is inconsistent with the assumption that one can verify the postulated nonlinear evolution. Specifically, if some agent can empirically verify the deterministic nonlinear action of a physical device for some set of pure-state inputs, then one cannot generally use density matrices to represent the input for a second agent who is ignorant of the actual pure state prepared. Our argument is epistemological and makes no appeal to the detailed physics of CTC's.
Quantum computation with quantum data that can traverse closed timelike curves represents a new physical model of computation. We argue that a model of quantum computation in the presence of closed timelike curves can be formulated which represents a valid quantification of resources given the ability to construct compact regions of closed timelike curves. The notion of self-consistent evolution for quantum computers whose components follow closed timelike curves, as pointed out by Deutsch [Phys. Rev. D 44, 3197 (1991)], implies that the evolution of the chronology respecting components which interact with the closed timelike curve components is nonlinear. We demonstrate that this nonlinearity can be used to efficiently solve computational problems which are generally thought to be intractable. In particular we demonstrate that a quantum computer which has access to closed timelike curve qubits can solve NP\mathit{NP}NP-complete problems with only a polynomial number of quantum gates.
The classical methods used by recursion theory and formal logic to block paradoxes do not work in quantum information theory. Since quantum information can exist as a coherent superposition of the classical ``yes'' and ``no'' states, certain tasks which are not conceivable in the classical setting can be performed in the quantum setting. Classical logical inconsistencies do not arise, since there exist fixed point states of the diagonalization operator. In particular, closed timelike curves need not be eliminated in the quantum setting, since they would not lead to any paradoxical outcome controllability. Quantum information theory can also be subjected to the treatment of inconsistent information in databases and expert systems. It is suggested that any two pieces of contradicting information are stored and processed as coherent superposition. In order to be tractable, this strategy requires quantum computation.
Quantum theory is compatible with special relativity. In particular, though measurements on entangled systems are correlated in a way that cannot be reproduced by local hidden variables, they cannot be used for superluminal signaling. As Czachor, Gisin, and Polchinski pointed out, this is not generally true of general nonlinear modifications of the Schr\"odinger equation. Excluding superluminal signaling has thus been taken to rule out most nonlinear versions of quantum theory. The no-superluminal-signaling constraint has also been used for alternative derivations of the optimal fidelities attainable for imperfect quantum cloning and other operations. These results apply to theories satisfying the rule that their predictions for widely separated and slowly moving entangled systems can be approximated by nonrelativistic equations of motion with respect to a preferred time coordinate. This paper describes a natural way in which this rule might fail to hold. In particular, it is shown that quantum readout devices which display the values of localized pure states need not allow superluminal signaling, provided that the devices display the values of the states of entangled subsystems as defined in a nonstandard, although natural, way. It follows that any locally defined nonlinear evolution of pure states can be made consistent with Minkowski causality.