Title:Efficient Quantum Key Distribution Based Solely on Bell's Theorem

Abstract: Information-theoretic key agreement is impossible to achieve from scratch and must be based on some - ultimately physical - premise. In 2005, Barrett, Hardy, and Kent showed that unconditional security can be obtained based on the impossibility of faster-than-light signaling. They start with a protocol for entanglement-based quantum key distribution and reduce the conditions under which it can be proven secure to the fact that no superluminal signaling is possible. In particular, the resulting security is device independent. Unfortunately, their protocol is inefficient: it has quantum-communication complexity Omega(1/epsilon) if Eve's information is to be limited in terms of a security parameter epsilon. Moreover, no noise can be tolerated. Previous results indicate that this is optimal if signaling is excluded between events in Alice's and Bob's laboratories only. The situation changes if such a separation is also given within each of the laboratories. Indeed, Masanes has shown that the quantum-communication complexity of key agreement can then be reduced to O(log(1/epsilon)), whereas the amount of classical communication remains exponential in his protocol. We propose a scheme that is efficient in terms of any communication, and that can tolerate noise in the quantum channel. The crucial insight is that privacy amplification can be achieved by a fixed, simple function: the key bits can be computed as XORs of measured bits. In summary, our scheme is the first efficient protocol for key agreement between parties connected by a possibly noisy quantum channel, not requiring trust in the manufacturer, the devices, or the laws of quantum physics.