Searcharxiv⌕ Search

arXiv subjects

Adrian Kent

Publications and source records attributed to Adrian Kent.

At least 73 records · Page 4Linked to original sources

A Solution to the Lorentzian Quantum Reality Problem

The quantum reality problem is that of finding a mathematically precise definition of a sample space of configurations of beables, events, histories, paths, or other mathematical objects, and a corresponding probability distribution, for any given closed quantum system. Given a solution, we can postulate that physical reality is described by one randomly chosen configuration drawn from the sample space. For a physically sensible solution, this postulate should imply quasiclassical physics in realistic models. In particular, it should imply the validity of Copenhagen quantum theory and classical dynamics in their respective domains. A Lorentzian solution applies to relativistic quantum theory or quantum field theory in Minkowski space and is defined in a way that respects Lorentz symmetry. We outline a new solution to the non-relativistic and Lorentzian quantum reality problems, and associated new generalizations of quantum theory.

quant-ph↗

Secure and Robust Transmission and Verification of Unknown Quantum States in Minkowski Space

An important class of cryptographic applications of relativistic quantum information work as follows. B generates a random qudit and supplies it to A at point P. A is supposed to transmit it at near light speed c to to one of a number of possible pairwise spacelike separated points Q1; : : : ;Qn. A's transmission is supposed to be secure, in the sense that B cannot tell in advance which Qj will be chosen. This poses significant practical challenges, since secure reliable long-range transmission of quantum data at speeds near to c is presently not easy. Here we propose different techniques to overcome these difficulties. We introduce protocols that allow secure long-range implementations even when both parties control only widely separated laboratories of small size. In particular we introduce a protocol in which A needs send the qudit only over a short distance, and securely transmits classical information (for instance using a one time pad) over the remaining distance. We further show that by using parallel implementations of the protocols security can be maintained in the presence of moderate amounts of losses and errors.

quant-ph↗

Quantum nonlocal correlations are not dominated

We show that no probability distribution of spin measurement outcomes on pairs of spin 1/2 particles is unambiguously more nonlocal than the quantum correlations. That is, any distribution that produces a CHSH violation larger than the quantum violation for some axis choices also produces a smaller CHSH violation for some other axis choices. In this sense, it is not possible for nature to be strictly more nonlocal than quantum theory allows.

quant-ph↗

Memory Attacks on Device-Independent Quantum Cryptography

Device-independent quantum cryptographic schemes aim to guarantee security to users based only on the output statistics of any components used, and without the need to verify their internal functionality. Since this would protect users against untrustworthy or incompetent manufacturers, sabotage or device degradation, this idea has excited much interest, and many device-independent schemes have been proposed. Here we identify a critical weakness of device-independent protocols that rely on public communication between secure laboratories. Untrusted devices may record their inputs and outputs and reveal information about them via publicly discussed outputs during later runs. Reusing devices thus compromises the security of a protocol and risks leaking secret data. Possible defences include securely destroying or isolating used devices. However, these are costly and often impractical. We propose other more practical partial defences as well as a new protocol structure for device-independent quantum key distribution that aims to achieve composable security in the case of two parties using a small number of devices to repeatedly share keys with each another (and no other party).

quant-ph↗

One world versus many: the inadequacy of Everettian accounts of evolution, probability, and scientific confirmation

There is a compelling intellectual case for exploring whether purely unitary quantum theory defines a sensible and scientifically adequate theory, as Everett originally proposed. Many different and incompatible attempts to define a coherent Everettian quantum theory have been made over the past fifty years. However, no known version of the theory (unadorned by extra ad hoc postulates) can account for the appearance of probabilities and explain why the theory it was meant to replace, Copenhagen quantum theory, appears to be confirmed, or more generally why our evolutionary history appears to be Born-rule typical. This article reviews some ingenious and interesting recent attempts in this direction by Wallace, Greaves, Myrvold and others, and explains why they don't work. An account of one-world randomness, which appears scientifically satisfactory, and has no many-worlds analogue, is proposed. A fundamental obstacle to confirming many-worlds theories is illustrated by considering some toy many-worlds models. These models show that branch weights can exist without having any role in either rational decision-making or theory confirmation, and also that the latter two roles are logically separate. Wallace's proposed decision theoretic axioms for rational agents in a multiverse and claimed derivation of the Born rule are examined. It is argued that Wallace's strategy of axiomatizing a mathematically precise decision theory within a fuzzy Everettian quasiclassical ontology is incoherent. Moreover, Wallace's axioms are not constitutive of rationality either in Everettian quantum theory or in theories in which branchings and branch weights are precisely defined. In both cases, there exist coherent rational strategies that violate some of the axioms.

quant-ph↗

Path Integrals and Reality

We define the idea of {\it real path quantum theory}, a realist generalisation of quantum theory in which it is postulated that the configuration space path actually followed by a closed quantum system is probabilistically chosen. This is done a postulate defining probabilities for paths, which we propose are determined by an expression involving path amplitudes and a distance function that quantifies path separation. We suggest a possible form for a path probability postulate and explore possible choices of distance function, including choices suitable for Lorentz or generally covariant versions of real path quantum theory. We set out toy models of quantum interferometry and show that in these models the probability postulate and specific distance functions do indeed give a physically sensible path ontology. These functions can be chosen so as to predict quantum interference for interference of microscopic quantum systems and the failure of interference for macroscopic quantum systems. More generally, they predict interference when the beams are close, and its failure when they are far apart, as determined by the distance function. If taken seriously in its present relatively unconstrained form, real path quantum theory thus motivates experimental tests of quantum interference in all unexplored regimes defined by potentially physically interesting parameters, including the mass of the beam object, the beam separation distance, the beam separation time, and many others. We discuss open questions raised by these ideas.

quant-ph↗

Might quantum-induced deviations from the Einstein equations detectably affect gravitational wave propagation?

A quantum measurement-like event can produce any of a number of macroscopically distinct results, with corresponding macroscopically distinct gravitational fields, from the same initial state. Hence the probabilistically evolving large-scale structure of space-time is not precisely or even always approximately described by the deterministic Einstein equations. Since the standard treatment of gravitational wave propagation assumes the validity of the Einstein equations, it is questionable whether we should expect all its predictions to be empirically verified. In particular, one might expect the stochasticity of amplified quantum indeterminacy to cause coherent gravitational wave signals to decay faster than standard predictions suggest. This need not imply that the radiated energy flux from gravitational wave sources differs from standard theoretical predictions. An underappreciated bonus of gravitational wave astronomy is that either detecting or failing to detect predicted gravitational wave signals would constrain the form of the semi-classical theory of gravity that we presently lack.

quant-ph↗

Unconditionally secure device-independent quantum key distribution with only two devices

Device-independent quantum key distribution is the task of using uncharacterized quantum devices to establish a shared key between two users. If a protocol is secure regardless of the device behaviour, it can be used to generate a shared key even if the supplier of the devices is malicious. To date, all device-independent quantum key distribution protocols that are known to be secure require separate isolated devices for each entangled pair, which is a significant practical limitation. We introduce a protocol that requires Alice and Bob to have only one device each. Although inefficient, our protocol is unconditionally secure against an adversarial supplier limited only by locally enforced signalling constraints.

quant-ph↗

Fundamental quantum optics experiments conceivable with satellites -- reaching relativistic distances and velocities

Physical theories are developed to describe phenomena in particular regimes, and generally are valid only within a limited range of scales. For example, general relativity provides an effective description of the Universe at large length scales, and has been tested from the cosmic scale down to distances as small as 10 meters. In contrast, quantum theory provides an effective description of physics at small length scales. Direct tests of quantum theory have been performed at the smallest probeable scales at the Large Hadron Collider, ${\sim} 10^{-20}$ meters, up to that of hundreds of kilometers. Yet, such tests fall short of the scales required to investigate potentially significant physics that arises at the intersection of quantum and relativistic regimes. We propose to push direct tests of quantum theory to larger and larger length scales, approaching that of the radius of curvature of spacetime, where we begin to probe the interaction between gravity and quantum phenomena. In particular, we review a wide variety of potential tests of fundamental physics that are conceivable with artificial satellites in Earth orbit and elsewhere in the solar system, and attempt to sketch the magnitudes of potentially observable effects. The tests have the potential to determine the applicability of quantum theory at larger length scales, eliminate various alternative physical theories, and place bounds on phenomenological models motivated by ideas about spacetime microstructure from quantum gravity. From a more pragmatic perspective, as quantum communication technologies such as quantum key distribution advance into Space towards large distances, some of the fundamental physical effects discussed here may need to be taken into account to make such schemes viable.

quant-ph↗

A No-summoning theorem in Relativistic Quantum Theory

Alice gives Bob an unknown localized physical state at some point P. At some point Q in the causal future of P, Alice will ask Bob for the state back. Bob knows this, but does not know at which point Q until the request is made. Bob can satisfy Alice's summons, with arbitrarily short delay, for a quantum state in Galilean space-time or a classical state in Minkowski space-time. However, given an unknown quantum state in Minkowski space-time, he cannot generally fulfil her summons. This {\it no-summoning theorem} is a fundamental feature of, and intrinsic to, relativistic quantum theory. It follows from the no-signalling principle and the no-cloning theorem, but not from either alone.

quant-ph↗

Quantum Tasks in Minkowski Space

The fundamental properties of quantum information and its applications to computing and cryptography have been greatly illuminated by considering information-theoretic tasks that are provably possible or impossible within non-relativistic quantum mechanics. I describe here a general framework for defining tasks within (special) relativistic quantum theory and illustrate it with examples from relativistic quantum cryptography and relativistic distributed quantum computation. The framework gives a unified description of all tasks previously considered and also defines a large class of new questions about the properties of quantum information in relation to Minkowski causality. It offers a way of exploring interesting new fundamental tasks and applications, and also highlights the scope for a more systematic understanding of the fundamental information-theoretic properties of relativistic quantum theory.

quant-ph↗

Unconditionally Secure Bit Commitment by Transmitting Measurement Outcomes

We propose a new unconditionally secure bit commitment scheme based on Minkowski causality and the properties of quantum information. The receiving party sends a number of randomly chosen BB84 qubits to the committer at a given point in space-time. The committer carries out measurements in one of the two BB84 bases, depending on the committed bit value, and transmits the outcomes securely at light speed in opposite directions to remote agents. These agents unveil the bit by returning the outcomes to adjacent agents of the receiver. The security proofs rely only on simple properties of quantum information and the impossibility of superluminal signalling.

quant-ph↗

Real World Interpretations of Quantum Theory

I propose a new class of interpretations, {\it real world interpretations}, of the quantum theory of closed systems. These interpretations postulate a preferred factorization of Hilbert space and preferred projective measurements on one factor. They give a mathematical characterisation of the different possible worlds arising in an evolving closed quantum system, in which each possible world corresponds to a (generally mixed) evolving quantum state. In a realistic model, the states corresponding to different worlds should be expected to tend towards orthogonality as different possible quasiclassical structures emerge or as measurement-like interactions produce different classical outcomes. However, as the worlds have a precise mathematical definition, real world interpretations need no definition of quasiclassicality, measurement, or other concepts whose imprecision is problematic in other interpretational approaches. It is natural to postulate that precisely one world is chosen randomly, using the natural probability distribution, as the world realised in Nature, and that this world's mathematical characterisation is a complete description of reality.

quant-ph↗

Unconditionally Secure Bit Commitment with Flying Qudits

In the task cryptographers call bit commitment, one party encrypts a prediction in a way that cannot be decrypted until they supply a key, but has only one valid key. Bit commitment has many applications, and has been much studied, but completely and provably secure schemes have remained elusive. Here we report a new development in physics-based cryptography which gives a completely new way of implementing bit commitment that is perfectly secure. The technique involves sending a quantum state (for instance one or more photons) at light speed in one of two or more directions, either along a secure channel or by quantum teleportation. Its security proof relies on the no-cloning theorem of quantum theory and the no superluminal signalling principle of special relativity.

quant-ph↗

Quantum Tagging for Tags Containing Secret Classical Data

Various authors have considered schemes for {\it quantum tagging}, that is, authenticating the classical location of a classical tagging device by sending and receiving quantum signals from suitably located distant sites, in an environment controlled by an adversary whose quantum information processing and transmitting power is potentially unbounded. This task raises some interesting new questions about cryptographic security assumptions, as relatively subtle details in the security model can dramatically affect the security attainable. We consider here the case in which the tag is cryptographically secure, and show how to implement tagging securely within this model.

quant-ph↗

Why Classical Certification is Impossible in a Quantum World

We give a simple proof that it is impossible to guarantee the classicality of inputs into any mistrustful quantum cryptographic protocol. The argument illuminates the impossibility of unconditionally secure quantum implementations of essentially classical tasks such as bit commitment with a certified classical committed bit, classical oblivious transfer, and secure classical multi-party computations of secret classical data. It applies to both non-relativistic and relativistic protocols.

quant-ph↗

Quantum Tagging: Authenticating Location via Quantum Information and Relativistic Signalling Constraints

We define the task of {\it quantum tagging}, that is, authenticating the classical location of a classical tagging device by sending and receiving quantum signals from suitably located distant sites, in an environment controlled by an adversary whose quantum information processing and transmitting power is unbounded. We define simple security models for this task and briefly discuss alternatives. We illustrate the pitfalls of naive quantum cryptographic reasoning in this context by describing several protocols which at first sight appear unconditionally secure but which, as we show, can in fact be broken by teleportation-based attacks. We also describe some protocols which cannot be broken by these specific attacks, but do not prove they are unconditionally secure. We review the history of quantum tagging protocols, which we first discussed in 2002 and described in a 2006 patent (for an insecure protocol). The possibility has recently been reconsidered by other authors. All the more recently discussed protocols of which we are aware were either previously considered by us in 2002-3 or are variants of schemes then considered, and all are provably insecure.

quant-ph↗