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:1712.01030 · Physical Review Research

No-go theorem for device-independent security in relativistic causal theories

Roberto Salazar, Michał Kamon, Karol Horodecki, Dardo Goyeneche, Debashis Saha, Ravishankar Ramanathan, Paweł Horodecki

Published Aug 13, 2021• 2 citations
arXivHTMLPDF

Abstract

A fundamental question in device-independent quantum cryptography is to determine the minimal physical principle upon which the security of such a cryptographic protocol (such as for key distribution or for randomness generation) may be based. Since the seminal work on device-independent quantum key distribution by J. Barrett, L. Hardy, and A. Kent [Phys. Rev. Lett. 95, 010503 (2005)], a conjectured candidate for certification of device-independent security has been the principle of relativistic causality, namely the disallowance of causal loops. While this principle has thus far been equated with the no-signaling constraints, it has been shown recently that in multiparty Bell scenarios, the no-signaling constraints are sufficient but not necessary for relativistic causality, and a refined set of constraints has been proposed that more precisely capture the notion of relativistic causality. In this paper, we build upon this finding to show that, in contrast to the no-signaling constraints, the constraints of relativistic causality are not sufficient for certification of device-independent security. More specifically, we show that there exist correlations allowed by the causality principle that allow an adversary to gain complete information about the measurement outcomes of honest parties in any device-independent cryptographic protocol, thereby rendering the protocol completely insecure. As a tool to develop this adversarial attack strategy, we fully characterize the set of correlations allowed by relativistic causality in the tripartite Bell scenario of three parties, each performing two binary measurements, that may be of independent interest. We also demonstrate the difference between the relativistic causal correlations and those allowed by the usual no-signaling constraints by presenting explicit communication tasks wherein the two sets exhibit striking difference in their respective winning probabilities.

DOI
10.1103/physrevresearch.3.033146

Related papers

The relativistic causality versus no-signaling paradigm for multi-party correlations

Paweł Horodecki, Ravishankar Ramanathan

The ubiquitous no-signaling constraints state that the probability distributions of outputs of any subset of parties in a Bell experiment are independent of remaining parties' inputs. These constraints are considered to form ultimate limits for physical correlations and led to the fields of post-quantum cryptography, randomness generation besides identifying information-theoretic principles underlying quantum theory. Here we show that while these constraints are sufficient, they are not necessary to enforce relativistic causality in multi-party correlations, i.e., the rule that correlations do not allow casual loops. Depending on the space-time coordinates of the measurement events, causality only imposes a subset of no-signaling conditions. We first consider the n-party Bell experiment (n > 2) and identify all configurations where subsets of the constraints suffice. Secondly, we examine the implications for device-independent cryptography against an eavesdropper constrained only by relativity, detailing among other effects explicit attacks on well-known randomness amplification and key distribution protocols.

Nature Communications•Apr 12, 2019•25 citations

Jamming Extensions of Quantum Correlations Lead to Hidden Superluminal Signaling

Ravishankar Ramanathan, Xie Sicheng, Michał Eckstein +1 more

Relativistic causality in certain spacetime configurations permits jamming - superluminal causal influences that nevertheless do not enable superluminal signaling. We fully characterize the correlations compatible with relativistic causality (RC) by extending the operator framework of PRL 104, 140404. When the underlying state is required to be quantum, we prove that any nontrivial jamming - whether state-independent or state-dependent - necessarily leads to hidden superluminal signaling. Thus, the only consistent possibilities are standard quantum correlations without jamming or the full relativistically causal correlation set, with intermediate jamming extensions of quantum correlations leading to signaling. As an application of our characterization, we investigate the security of device-independent (DI) cryptographic primitives against adversaries constrained only by relativistic causality. We construct explicit RC attacks that break DI bit commitment and DI secret sharing in jamming geometries, even when these protocols remain secure against no-signaling adversaries. Our results show that security against relativistic adversaries requires behaviors to be specified together with the spacetime locations of their measurement events; input-output statistics alone are insufficient.

quant-pharXiv:2608.20247•Aug 21, 2026•0 citations

Relativistic Causal correlations and their properties

Roberto Salazar, Michał Kamon, Dardo Goyeneche +4 more

The characterization of non-local correlations with respect to the causal order of events in spacetime is still an open question. We systematically investigate the polytope of relativistic causal boxes in the three-party Bell scenario and compute the complete set of extremal boxes in the (3,2,2) scenario with three parties each performing two binary measurements. We highlight the difference with the usual no-signaling polytope by computing the dimension of the RC polytope and contrasting the RC bounds for some well-known multi-player games. We show that no two-party Bell inequality obeys a monogamy relation when constrained only by causality as opposed to the no-signaling conditions. We identify multi-party Bell inequalities and measurement configurations where trade-off relations do exist, showing that device-independent cryptography against adversaries constrained only by relativistic causality is still not excluded.

•Dec 4, 2017•0 citations

Device independence for two-party cryptography and position verification with memoryless devices

Jérémy Ribeiro, Lê Phuc Thinh, Jędrzej Kaniewski +2 more

Quantum communication has demonstrated its usefulness for quantum cryptography far beyond quantum key distribution. One domain is two-party cryptography, whose goal is to allow two parties who may not trust each other to solve joint tasks. Another interesting application is position-based cryptography whose goal is to use the geographical location of an entity as its only identifying credential. Unfortunately, security of these protocols is not possible against an all powerful adversary. However, if we impose some realistic physical constraints on the adversary, there exist protocols for which security can be proven, but these so far relied on the knowledge of the quantum operations performed during the protocols. In this work we improve the device-independent security proofs of Kaniewski and Wehner [New J. Phys. 18, 055004 (2016)] for two-party cryptography (with memoryless devices) and we add a security proof for device-independent position verification (also memoryless devices) under different physical constraints on the adversary. We assess the quality of the devices by observing a Bell violation, and, as for Kaniewski and Wehner [New J. Phys. 18, 055004 (2016)], security can be attained for any violation of the Clauser-Holt-Shimony-Horne inequality.

arXiv:1606.08750•Physical Review A•Jun 5, 2018•22 citations

Practical No-Signalling proof Randomness Amplification using Hardy paradoxes and its experimental implementation

Ravishankar Ramanathan, Michał Horodecki, Hammad Anwer +6 more

Abstract Device-Independent (DI) security is the gold standard of quantum cryptography, providing information-theoretic security based on the very laws of nature. In its highest form, security is guaranteed against adversaries limited only by the no-superluminal signalling rule of relativity. The task of randomness amplification, to generate secure fully uniform bits starting from weakly random seeds, is of both cryptographic and foundational interest, being important for the generation of cryptographically secure random numbers as well as bringing deep connections to the existence of free-will. DI no-signalling proof protocols for this fundamental task have thus far relied on esoteric proofs of non-locality termed pseudo-telepathy games, complicated multi-party setups or high-dimensional quantum systems, and have remained out of reach of experimental implementation. In this paper, we construct the first practically relevant no-signalling proof DI protocols for randomness amplification based on the simplest proofs of Bell non-locality and illustrate them with an experimental implementation in a quantum optical setup using polarised photons. Technically, we relate the problem to the vast field of Hardy paradoxes, without which it would be impossible to achieve amplification of arbitrarily weak sources in the simplest Bell non-locality scenario consisting of two parties choosing between two binary inputs. Furthermore, we identify a deep connection between proofs of the celebrated Kochen-Specker theorem and Hardy paradoxes that enables us to construct Hardy paradoxes with the non-zero probability taking any value in (0,1]. Our methods enable us, under the fair-sampling assumption of the experiment, to realize up to 25 bits of randomness in 20 hours of experimental data collection from an initial private source of randomness 0.1 away from uniform.

arXiv:1810.11648•Sep 11, 2020•9 citations

Quantum correlations in prepare-and-measure scenarios and their semi-device-independent applications

Jonatan Bohr Brask, Nicolas Brunner, Jef Pauwels +2 more

A key aspect in quantum information is to understand the advantage offered by quantum systems over classical ones in communication tasks. In recent years, a fundamental approach to this problem has been developed, focusing on quantum correlations in prepare-and-measure scenarios. Inspired by the developments in Bell nonlocality and device-independent information processing, this line of research aims to characterize the possibilities and limits of quantum systems for communication, in particular to precisely capture the advantage they offer over classical systems. In addition to fundamental insights, these ideas also underpin the concept of semi-device-independent quantum information processing. Exploring trade-offs between security, performance and ease-of-implementation, this approach opens promising directions for novel quantum information processing technologies and devices. A number of protocols and proof-of-principle demonstrations have been reported in recent years, in particular for quantum randomness certification and key distribution. Here, we provide a comprehensive introduction to quantum prepare-and-measure correlations and semi-device independent applications.

quant-pharXiv:2603.23604•Mar 26, 2026•0 citations
A fundamental question in device-independent quantum cryptography is to determine the minimal physical principle upon which the security of such a cryptographic protocol (such as for key distribution or for randomness generation) may be based. Since the seminal work on device-independent quantum key distribution by J. Barrett, L. Hardy, and A. Kent [Phys. Rev. Lett. 95, 010503 (2005)], a conjectured candidate for certification of device-independent security has been the principle of relativistic causality, namely the disallowance of causal loops. While this principle has thus far been equated with the no-signaling constraints, it has been shown recently that in multiparty Bell scenarios, the no-signaling constraints are sufficient but not necessary for relativistic causality, and a refined set of constraints has been proposed that more precisely capture the notion of relativistic causality. In this paper, we build upon this finding to show that, in contrast to the no-signaling constraints, the constraints of relativistic causality are not sufficient for certification of device-independent security. More specifically, we show that there exist correlations allowed by the causality principle that allow an adversary to gain complete information about the measurement outcomes of honest parties in any device-independent cryptographic protocol, thereby rendering the protocol completely insecure. As a tool to develop this adversarial attack strategy, we fully characterize the set of correlations allowed by relativistic causality in the tripartite Bell scenario of three parties, each performing two binary measurements, that may be of independent interest. We also demonstrate the difference between the relativistic causal correlations and those allowed by the usual no-signaling constraints by presenting explicit communication tasks wherein the two sets exhibit striking difference in their respective winning probabilities.
The ubiquitous no-signaling constraints state that the probability distributions of outputs of any subset of parties in a Bell experiment are independent of remaining parties' inputs. These constraints are considered to form ultimate limits for physical correlations and led to the fields of post-quantum cryptography, randomness generation besides identifying information-theoretic principles underlying quantum theory. Here we show that while these constraints are sufficient, they are not necessary to enforce relativistic causality in multi-party correlations, i.e., the rule that correlations do not allow casual loops. Depending on the space-time coordinates of the measurement events, causality only imposes a subset of no-signaling conditions. We first consider the n-party Bell experiment (n > 2) and identify all configurations where subsets of the constraints suffice. Secondly, we examine the implications for device-independent cryptography against an eavesdropper constrained only by relativity, detailing among other effects explicit attacks on well-known randomness amplification and key distribution protocols.
Relativistic causality in certain spacetime configurations permits jamming - superluminal causal influences that nevertheless do not enable superluminal signaling. We fully characterize the correlations compatible with relativistic causality (RC) by extending the operator framework of PRL 104, 140404. When the underlying state is required to be quantum, we prove that any nontrivial jamming - whether state-independent or state-dependent - necessarily leads to hidden superluminal signaling. Thus, the only consistent possibilities are standard quantum correlations without jamming or the full relativistically causal correlation set, with intermediate jamming extensions of quantum correlations leading to signaling. As an application of our characterization, we investigate the security of device-independent (DI) cryptographic primitives against adversaries constrained only by relativistic causality. We construct explicit RC attacks that break DI bit commitment and DI secret sharing in jamming geometries, even when these protocols remain secure against no-signaling adversaries. Our results show that security against relativistic adversaries requires behaviors to be specified together with the spacetime locations of their measurement events; input-output statistics alone are insufficient.
The characterization of non-local correlations with respect to the causal order of events in spacetime is still an open question. We systematically investigate the polytope of relativistic causal boxes in the three-party Bell scenario and compute the complete set of extremal boxes in the (3,2,2) scenario with three parties each performing two binary measurements. We highlight the difference with the usual no-signaling polytope by computing the dimension of the RC polytope and contrasting the RC bounds for some well-known multi-player games. We show that no two-party Bell inequality obeys a monogamy relation when constrained only by causality as opposed to the no-signaling conditions. We identify multi-party Bell inequalities and measurement configurations where trade-off relations do exist, showing that device-independent cryptography against adversaries constrained only by relativistic causality is still not excluded.
Quantum communication has demonstrated its usefulness for quantum cryptography far beyond quantum key distribution. One domain is two-party cryptography, whose goal is to allow two parties who may not trust each other to solve joint tasks. Another interesting application is position-based cryptography whose goal is to use the geographical location of an entity as its only identifying credential. Unfortunately, security of these protocols is not possible against an all powerful adversary. However, if we impose some realistic physical constraints on the adversary, there exist protocols for which security can be proven, but these so far relied on the knowledge of the quantum operations performed during the protocols. In this work we improve the device-independent security proofs of Kaniewski and Wehner [New J. Phys. 18, 055004 (2016)] for two-party cryptography (with memoryless devices) and we add a security proof for device-independent position verification (also memoryless devices) under different physical constraints on the adversary. We assess the quality of the devices by observing a Bell violation, and, as for Kaniewski and Wehner [New J. Phys. 18, 055004 (2016)], security can be attained for any violation of the Clauser-Holt-Shimony-Horne inequality.
Abstract Device-Independent (DI) security is the gold standard of quantum cryptography, providing information-theoretic security based on the very laws of nature. In its highest form, security is guaranteed against adversaries limited only by the no-superluminal signalling rule of relativity. The task of randomness amplification, to generate secure fully uniform bits starting from weakly random seeds, is of both cryptographic and foundational interest, being important for the generation of cryptographically secure random numbers as well as bringing deep connections to the existence of free-will. DI no-signalling proof protocols for this fundamental task have thus far relied on esoteric proofs of non-locality termed pseudo-telepathy games, complicated multi-party setups or high-dimensional quantum systems, and have remained out of reach of experimental implementation. In this paper, we construct the first practically relevant no-signalling proof DI protocols for randomness amplification based on the simplest proofs of Bell non-locality and illustrate them with an experimental implementation in a quantum optical setup using polarised photons. Technically, we relate the problem to the vast field of Hardy paradoxes, without which it would be impossible to achieve amplification of arbitrarily weak sources in the simplest Bell non-locality scenario consisting of two parties choosing between two binary inputs. Furthermore, we identify a deep connection between proofs of the celebrated Kochen-Specker theorem and Hardy paradoxes that enables us to construct Hardy paradoxes with the non-zero probability taking any value in (0,1]. Our methods enable us, under the fair-sampling assumption of the experiment, to realize up to 25 bits of randomness in 20 hours of experimental data collection from an initial private source of randomness 0.1 away from uniform.
A key aspect in quantum information is to understand the advantage offered by quantum systems over classical ones in communication tasks. In recent years, a fundamental approach to this problem has been developed, focusing on quantum correlations in prepare-and-measure scenarios. Inspired by the developments in Bell nonlocality and device-independent information processing, this line of research aims to characterize the possibilities and limits of quantum systems for communication, in particular to precisely capture the advantage they offer over classical systems. In addition to fundamental insights, these ideas also underpin the concept of semi-device-independent quantum information processing. Exploring trade-offs between security, performance and ease-of-implementation, this approach opens promising directions for novel quantum information processing technologies and devices. A number of protocols and proof-of-principle demonstrations have been reported in recent years, in particular for quantum randomness certification and key distribution. Here, we provide a comprehensive introduction to quantum prepare-and-measure correlations and semi-device independent applications.