arXiv subjects

Lluis Masanes

Publications and source records attributed to Lluis Masanes.

At least 37 records · Page 2Linked to original sources

arXiv2015

Information-theoretic postulates for quantum theory

Why are the laws of physics formulated in terms of complex Hilbert spaces? Are there natural and consistent modifications of quantum theory that could be tested experimentally? This book chapter gives a self-contained and accessible summary of our paper [New J. Phys. 13, 063001, 2011] addressing these questions, presenting the main ideas, but dropping many technical details. We show that the formalism of quantum theory can be reconstructed from four natural postulates, which do not refer to the mathematical formalism, but only to the information-theoretic content of the physical theory. Our starting point is to assume that there exist physical events (such as measurement outcomes) that happen probabilistically, yielding the mathematical framework of "convex state spaces". Then, quantum theory can be reconstructed by assuming that (i) global states are determined by correlations between local measurements, (ii) systems that carry the same amount of information have equivalent state spaces, (iii) reversible time evolution can map every pure state to every other, and (iv) positivity of probabilities is the only restriction on the possible measurements.

quant-ph↗

arXiv2014

Entanglement and the three-dimensionality of the Bloch ball

We consider a very natural generalization of quantum theory by letting the dimension of the Bloch ball be not necessarily three. We analyze bipartite state spaces where each of the components has a d-dimensional Euclidean ball as state space. In addition to this we impose two very natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing bipartite states by local measurements. We classify all these bipartite state spaces and prove that, except for the quantum two-qubit state space, none of them contains entangled states. Equivalently, in any of these non-quantum theories interacting dynamics is impossible. This result reveals that "existence of entanglement" is the requirement with minimal logical content which singles out quantum theory from our family of theories.

quant-ph↗

arXiv2013

Existence of an information unit as a postulate of quantum theory

Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very particular frameworks, like in classical or quantum theory, or more generally, whenever there exists an information unit such that the state of any system can be reversibly encoded in a sufficient number of such units. In this work we show how the abstract formalism of quantum theory can be deduced solely from the existence of an information unit with suitable properties, together with two further natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing the state of a composite system by local measurements. This constitutes a new set of postulates for quantum theory with a simple and direct physical meaning, like the ones of special relativity or thermodynamics, and it articulates a strong connection between physics and information.

quant-ph↗

arXiv2013

Three-dimensionality of space and the quantum bit: an information-theoretic approach

It is sometimes pointed out as a curiosity that the state space of quantum two-level systems, i.e. the qubit, and actual physical space are both three-dimensional and Euclidean. In this paper, we suggest an information-theoretic analysis of this relationship, by proving a particular mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabilistically (not assuming quantum theory in any way). Furthermore, suppose there are systems that carry "minimal amounts of direction information", interacting via some continuous reversible time evolution. We prove that this uniquely determines spatial dimension d=3 and quantum theory on two qubits (including entanglement and unitary time evolution), and that it allows observers to infer local spatial geometry from probability measurements.

quant-ph↗

arXiv2013

The complexity of energy eigenstates as a mechanism for equilibration

Understanding the mechanisms responsible for the equilibration of isolated quantum many-body systems is a long-standing open problem. In this work we obtain a statistical relationship between the equilibration properties of Hamiltonians and the complexity of their eigenvectors, provided that a conjecture about the incompressibility of quantum circuits holds. We quantify the complexity by the size of the smallest quantum circuit mapping the local basis onto the energy eigenbasis. Specifically, we consider the set of all Hamiltonians having complexity C, and show that almost all such Hamiltonians equilibrate if C is super-quadratic with the system size, which includes the fully random Hamiltonian case in the limit C to infinity, and do not equilibrate if C is sub-linear. We also provide a simple formula for the equilibration time-scale in terms of the Fourier transform of the level density. Our results are statistical and, therefore, do not apply to specific Hamiltonians. Yet, they establish a fundamental link between equilibration and complexity theory.

quant-ph↗

arXiv2012

All entangled states display some hidden nonlocality

A well-known manifestation of quantum entanglement is that it may lead to correlations that are inexplicable within the framework of a locally causal theory --- a fact that is demonstrated by the quantum violation of Bell inequalities. The precise relationship between quantum entanglement and the violation of Bell inequalities is, however, not well understood. While it is known that entanglement is necessary for such a violation, it is not clear whether all entangled states violate a Bell inequality, even in the scenario where one allows joint operations on multiple copies of the state and local filtering operations before the Bell experiment. In this paper we show that all entangled states, namely, all non-fully-separable states of arbitrary Hilbert space dimension and arbitrary number of parties, violate a Bell inequality when combined with another state which on its own cannot violate the same Bell inequality. This result shows that quantum entanglement and quantum nonlocality are in some sense equivalent, thus giving an affirmative answer to the aforementioned open question. It follows from our result that two entangled states that are apparently useless in demonstrating quantum nonlocality via a specific Bell inequality can be combined to give a Bell violation of the same inequality. Explicit examples of such activation phenomenon are provided.

quant-ph↗

arXiv2012

Device-independent quantum key distribution secure against adversaries with no long-term quantum memory

Device-Independent Quantum Key Distribution (DIQKD) is a formalism that supersedes traditional quantum key distribution, as its security does not rely on any detailed modelling of the internal working of the devices. This strong form of security is possible only using devices producing correlations that violate a Bell inequality. Full security proofs of DIQKD have been recently reported, but they tolerate zero or small amounts of noise and are restricted to protocols based on specific Bell inequalities. Here, we provide a security proof of DIQKD that is both more efficient and noise resistant, and also more general as it applies to protocols based on arbitrary Bell inequalities and can be adapted to cover supra-quantum eavesdroppers limited by the no-signalling principle only. It requires, however, the extra assumption that the adversary does not have a long-term quantum memory, a condition that is not a limitation at present since the best existing quantum memories have very short coherence times.

quant-ph↗

arXiv2012

Full randomness from arbitrarily deterministic events

Do completely unpredictable events exist in nature? Classical theory, being fully deterministic, completely excludes fundamental randomness. On the contrary, quantum theory allows for randomness within its axiomatic structure. Yet, the fact that a theory makes prediction only in probabilistic terms does not imply the existence of any form of randomness in nature. The question then remains whether one can certify randomness independent of the physical framework used. While standard Bell tests approach this question from this perspective, they require prior perfect randomness, which renders the approach circular. Recently, it has been shown that it is possible to certify full randomness using almost perfect random bits. Here, we prove that full randomness can indeed be certified using quantum non-locality under the minimal possible assumptions: the existence of a source of arbitrarily weak (but non-zero) randomness and the impossibility of instantaneous signalling. Thus we are left with a strict dichotomic choice: either our world is fully deterministic or there exist in nature events that are fully random. Apart from the foundational implications, our results represent a quantum protocol for full randomness amplification, an information task known to be impossible classically. Finally, they open a new path for device-independent protocols under minimal assumptions.

quant-ph↗

arXiv2011

Deriving quantum theory from its local structure and reversibility

We investigate the class of physical theories with the same local structure as quantum theory, but a potentially different global structure. It has previously been shown that any bipartite correlations generated by such a theory must be simulatable in quantum theory, but that this does not hold for tripartite correlations. Here we explore whether imposing an additional constraint on this space of theories - that of dynamical reversibility - will allow us to recover the global quantum structure. In the particular case in which the local systems are identical qubits, we show that any theory admitting at least one continuous reversible interaction must be identical to quantum theory.

quant-ph↗

arXiv2011

A derivation of quantum theory from physical requirements

Quantum theory is usually formulated in terms of abstract mathematical postulates, involving Hilbert spaces, state vectors, and unitary operators. In this work, we show that the full formalism of quantum theory can instead be derived from five simple physical requirements, based on elementary assumptions about preparation, transformations and measurements. This is more similar to the usual formulation of special relativity, where two simple physical requirements -- the principles of relativity and light speed invariance -- are used to derive the mathematical structure of Minkowski space-time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three-dimensionality), and it suggests several natural possibilities to construct consistent modifications of quantum theory.

quant-ph↗

arXiv2010

Secure device-independent quantum key distribution with causally independent measurement devices

Device-independent quantum key distribution aims to provide key distribution schemes whose security is based on the laws of quantum physics but which does not require any assumptions about the internal working of the quantum devices used in the protocol. This strong form of security, unattainable with standard schemes, is possible only when using correlations that violate a Bell inequality. We provide a general security proof valid for a large class of device-independent quantum key distribution protocols in a model in which the raw key elements are generated by causally independent measurement processes. The validity of this independence condition may be justifiable in a variety of implementations and is necessarily satisfied in a physical realization where the raw key is generated by N separate pairs of devices. Our work shows that device-independent quantum key distribution is possible with key rates comparable to those of standard schemes.

quant-ph↗

arXiv2010

An area law for the entropy of low-energy states

It is often observed in the ground state of spatially-extended quantum systems with local interactions that the entropy of a large region is proportional to its surface area. In some cases, this area law is corrected with a logarithmic factor. This contrasts with the fact that in almost all states of the Hilbert space, the entropy of a region is proportional to its volume. This paper shows that low-energy states have (at most) an area law with the logarithmic correction, provided two conditions hold: (i) the state has sufficient decay of correlations, (ii) the number of eigenstates with vanishing energy-density is not exponential in the volume. These two conditions are satisfied by many relevant systems. The central idea of the argument is that energy fluctuations inside a region can be observed by measuring the exterior and a superficial shell of the region.

quant-ph↗

arXiv2009

Universally-composable privacy amplification from causality constraints

We consider schemes for secret key distribution which use as a resource correlations that violate Bell inequalities. We provide the first security proof for such schemes, according to the strongest notion of security, the so called universally-composable security. Our security proof does not rely on the validity of quantum mechanics, it solely relies on the impossibility of arbitrarily-fast signaling between separate physical systems. This allows for secret communication in situations where the participants distrust their quantum devices.

quant-ph↗

arXiv2008

A non-distillability criterion for secret correlations

Within entanglement theory there are criteria which certify that some quantum states cannot be distilled into pure entanglement. An example is the positive partial transposition criterion. Here we present, for the first time, the analogous thing for secret correlations. We introduce a computable criterion which certifies that a probability distribution between two honest parties and an eavesdropper cannot be (asymptotically) distilled into a secret key. The existence of non-distillable correlations with positive secrecy cost, also known as bound information, is an open question. This criterion may be the key for finding bound information. However, if it turns out that this criterion does not detect bound information, then, a very interesting consequence follows: any distribution with positive secrecy cost can increase the secrecy content of another distribution. In other words, all correlations with positive secrecy cost constitute a useful resource.

quant-ph↗

arXiv2008

Key Distillation and the Secret-Bit Fraction

We consider distillation of secret bits from partially secret noisy correlations P_ABE, shared between two honest parties and an eavesdropper. The most studied distillation scenario consists of joint operations on a large number of copies of the distribution (P_ABE)^N, assisted with public communication. Here we consider distillation with only one copy of the distribution, and instead of rates, the 'quality' of the distilled secret bits is optimized, where the 'quality' is quantified by the secret-bit fraction of the result. The secret-bit fraction of a binary distribution is the proportion which constitutes a secret bit between Alice and Bob. With local operations and public communication the maximal extractable secret-bit fraction from a distribution P_ABE is found, and is denoted by Lambda[P_ABE]. This quantity is shown to be nonincreasing under local operations and public communication, and nondecreasing under eavesdropper's local operations: it is a secrecy monotone. It is shown that if Lambda[P_ABE]>1/2 then P_ABE is distillable, thus providing a sufficient condition for distillability. A simple expression for Lambda[P_ABE] is found when the eavesdropper is decoupled, and when the honest parties' information is binary and the local operations are reversible. Intriguingly, for general distributions the (optimal) operation requires local degradation of the data.

cs.CR↗

arXiv2008

Classification of the separable maps which preserve Werner states

We classify the completely-positive maps acting on two $d$-dimensional systems which commute with all $U\otimes U$ unitaries, where $U\in SU(d)$. This set of operations map Werner states to Werner states. We find a simple condition for a map being implementable by stochastic local operations and classical communication (SLOCC). We show that all PPT-preserving maps can be implemented by SLOCC. This can be used to prove that the entanglement of Werner states cannot be stochastically increased, even if we allow PPT entanglement for free.

quant-ph↗

arXiv2007

All bipartite entangled states display some hidden nonlocality

We show that a violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality can be demonstrated in a certain kind of Bell experiment for all bipartite entangled states. Our protocol allows local filtering measurements and involves shared ancilla states that do not themselves violate CHSH. Our result follows from two main steps. We first provide a simple characterization of the states that violate the CHSH-inequality after local filtering operations in terms of witness-like operators. Second, we prove that for each entangled state $σ$, there exists another state $ρ$ not violating CHSH, such that $ρ\otimesσ$ violates CHSH. Hence, in this scenario, $σ$ cannot be substituted by classical correlations without changing the statistics of the experiment; we say that $σ$ is not simulable by classical correlations and our result is that entanglement is equivalent to non-simulability.

quant-ph↗

arXiv2006

Secrecy extraction from no-signalling correlations

Quantum cryptography shows that one can guarantee the secrecy of correlation on the sole basis of the laws of physics, that is without limiting the computational power of the eavesdropper. The usual security proofs suppose that the authorized partners, Alice and Bob, have a perfect knowledge and control of their quantum systems and devices; for instance, they must be sure that the logical bits have been encoded in true qubits, and not in higher-dimensional systems. In this paper, we present an approach that circumvents this strong assumption. We define protocols, both for the case of bits and for generic $d$-dimensional outcomes, in which the security is guaranteed by the very structure of the Alice-Bob correlations, under the no-signalling condition. The idea is that, if the correlations cannot be produced by shared randomness, then Eve has poor knowledge of Alice's and Bob's symbols. The present study assumes, on the one hand that the eavesdropper Eve performs only individual attacks (this is a limitation to be removed in further work), on the other hand that Eve can distribute any correlation compatible with the no-signalling condition (in this sense her power is greater than what quantum physics allows). Under these assumptions, we prove that the protocols defined here allow extracting secrecy from noisy correlations, when these correlations violate a Bell-type inequality by a sufficiently large amount. The region, in which secrecy extraction is possible, extends within the region of correlations achievable by measurements on entangled quantum states.

quant-ph↗