Showing 1–50 of 84 results for author: Bancal, J

Quantum statistics in the minimal scenario

Authors: Victor Barizien, Jean-Daniel Bancal

Abstract: In any given experimental scenario, the rules of quantum theory provide statistical distributions that the observed outcomes are expected to follow. The set formed by all these distributions contains the imprint of quantum theory, capturing some of its core properties. So far, only partial descriptions have been known for this set, even in the simplest scenarios. Here, we obtain the analytical des… ▽ More In any given experimental scenario, the rules of quantum theory provide statistical distributions that the observed outcomes are expected to follow. The set formed by all these distributions contains the imprint of quantum theory, capturing some of its core properties. So far, only partial descriptions have been known for this set, even in the simplest scenarios. Here, we obtain the analytical description of a complete set of quantum statistics in terms of extremal points. This is made possible by finding all bipartite quantum states and pairs of binary measurements which can be self-tested, i.e. identified from statistics only. Our description provides a direct insight into the properties and limitations of quantum theory. These are not expressed in terms of Hilbert spaces, but rather directly in terms of measurement observation statistics. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Comments: 6+16 pages; 3 figures

Custom Bell inequalities from formal sums of squares

Authors: Victor Barizien, Pavel Sekatski, Jean-Daniel Bancal

Abstract: Bell inequalities play a key role in certifying quantum properties for device-independent quantum information protocols. It is still a major challenge, however, to devise Bell inequalities tailored for an arbitrary given quantum state. Existing approaches based on sums of squares provide results in this direction, but they are restricted by the necessity of first choosing measurement settings suit… ▽ More Bell inequalities play a key role in certifying quantum properties for device-independent quantum information protocols. It is still a major challenge, however, to devise Bell inequalities tailored for an arbitrary given quantum state. Existing approaches based on sums of squares provide results in this direction, but they are restricted by the necessity of first choosing measurement settings suited to the state. Here, we show how the sum of square property can be enforced for an arbitrary target state by making an appropriate choice of nullifiers, which is made possible by leaving freedom in the choice of measurement. Using our method, we construct simple Bell inequalities for several families of quantum states, including partially entangled multipartite GHZ states and qutrit states. In most cases we are able to prove that the constructed Bell inequalities achieve self-testing of the target state. We also use the freedom in the choice of measurement to self-test partially entangled two-qubit states with a family of settings with two parameters. Finally, we show that some statistics can be self-tested with distinct Bell inequalities, hence obtaining new insight on the shape of the set of quantum correlations. △ Less

Submitted 26 April, 2024; v1 submitted 16 August, 2023; originally announced August 2023.

Comments: 19+5 pages, 4+1 figures

Journal ref: Quantum 8, 1333 (2024)

Towards the device-independent certification of a quantum memory

Authors: Pavel Sekatski, Jean-Daniel Bancal, Marie Ioannou, Mikael Afzelius, Nicolas Brunner

Abstract: Quantum memories represent one of the main ingredients of future quantum communication networks. Their certification is therefore a key challenge. Here we develop efficient certification methods for quantum memories. Considering a device-independent approach, where no a priori characterisation of sources or measurement devices is required, we develop a robust self-testing method for quantum memori… ▽ More Quantum memories represent one of the main ingredients of future quantum communication networks. Their certification is therefore a key challenge. Here we develop efficient certification methods for quantum memories. Considering a device-independent approach, where no a priori characterisation of sources or measurement devices is required, we develop a robust self-testing method for quantum memories. We then illustrate the practical relevance of our technique in a relaxed scenario by certifying a fidelity of 0.87 in a recent solid-state ensemble quantum memory experiment. More generally, our methods apply for the characterisation of any device implementing a qubit identity quantum channel. △ Less

Submitted 25 April, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: 5+11 pages, 1 figure

Journal ref: Phys. Rev. Lett. 131, 170802 (2023)

Calibration-Independent Certification of a Quantum Frequency Converter

Authors: Matthias Bock, Pavel Sekatski, Jean-Daniel Bancal, Stephan Kucera, Tobias Bauer, Nicolas Sangouard, Christoph Becher, Jürgen Eschner

Abstract: We report on a method to certify a unitary operation with the help of source and measurement apparatuses whose calibration throughout the certification process needs not be trusted. As in the device-independent paradigm our certification method relies on a Bell test, but it removes the need for high detection efficiencies by including the single additional assumption that non-detected events are i… ▽ More We report on a method to certify a unitary operation with the help of source and measurement apparatuses whose calibration throughout the certification process needs not be trusted. As in the device-independent paradigm our certification method relies on a Bell test, but it removes the need for high detection efficiencies by including the single additional assumption that non-detected events are independent of the measurement settings. The relevance of the proposed method is demonstrated experimentally with the certification of a quantum frequency converter. The experiment starts with the heralded creation of a maximally entangled two-qubit state between a single $^{40}$Ca$^+$ ion and a 854$\,$nm photon. Entanglement preserving frequency conversion to the telecom band is then realized with a non-linear waveguide embedded in a Sagnac interferometer. The resulting ion-telecom photon entangled state is characterized by means of a Bell-CHSH test from which the quality of the frequency conversion is quantified. We demonstrate the successful frequency conversion with an average certified fidelity of $\geq 84\,\%$ and an efficiency $\geq 3.1\times 10^{-6}$ at a confidence level of $99\,\%$. This ensures the suitability of the converter for integration in quantum networks from a trustful characterization procedure. △ Less

Submitted 20 April, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Simple Buehler-optimal confidence intervals on the average success probability of independent Bernoulli trials

Authors: Jean-Daniel Bancal, Pavel Sekatski

Abstract: One-sided confidence intervals are presented for the average of non-identical Bernoulli parameters. These confidence intervals are expressed as analytical functions of the total number of Bernoulli games won, the number of rounds and the confidence level. Tightness of these bounds in the sense of Buehler, i.e. as the strictest possible monotonic intervals, is demonstrated for all confidence levels… ▽ More One-sided confidence intervals are presented for the average of non-identical Bernoulli parameters. These confidence intervals are expressed as analytical functions of the total number of Bernoulli games won, the number of rounds and the confidence level. Tightness of these bounds in the sense of Buehler, i.e. as the strictest possible monotonic intervals, is demonstrated for all confidence levels. A simple interval valid for all confidence levels is also provided with a tightness guarantee. Finally, an application of the proposed confidence intervals to sequential sampling is discussed. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 15 pages, 1 figure, 2 tables

Quantum nonlocality in presence of strong measurement dependence

Authors: Ivan Šupić, Jean-Daniel Bancal, Nicolas Brunner

Abstract: It is well known that the effect of quantum nonlocality, as witnessed by violation of a Bell inequality, can be observed even when relaxing the assumption of measurement independence, i.e. allowing for the source to be partially correlated with the choices of measurement settings. But what is the minimal amount of measurement independence needed for observing quantum nonlocality? Here we explore t… ▽ More It is well known that the effect of quantum nonlocality, as witnessed by violation of a Bell inequality, can be observed even when relaxing the assumption of measurement independence, i.e. allowing for the source to be partially correlated with the choices of measurement settings. But what is the minimal amount of measurement independence needed for observing quantum nonlocality? Here we explore this question and consider models with strong measurement-dependent locality, where measurement choices can be perfectly determined in almost all rounds of the Bell test. Yet, we show that quantum nonlocality can still be observed in this scenario, which we conjecture is minimal within the framework we use. We also discuss potential applications in randomness amplification. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Journal ref: Phys. Rev. A 108, 042207 (2023)

Receiver-Device-Independent Quantum Key Distribution Protocols

Authors: Marie Ioannou, Pavel Sekatski, Alastair A. Abbott, Denis Rosset, Jean-Daniel Bancal, Nicolas Brunner

Abstract: We discuss quantum key distribution protocols and their security analysis, considering a receiver-device-independent (RDI) model. The sender's (Alice's) device is partially characterized, in the sense that we assume bounds on the overlaps of the prepared quantum states. The receiver's (Bob's) device requires no characterisation and can be represented as a black-box. Our protocols are therefore rob… ▽ More We discuss quantum key distribution protocols and their security analysis, considering a receiver-device-independent (RDI) model. The sender's (Alice's) device is partially characterized, in the sense that we assume bounds on the overlaps of the prepared quantum states. The receiver's (Bob's) device requires no characterisation and can be represented as a black-box. Our protocols are therefore robust to any attack on Bob, such as blinding attacks. In particular, we show that a secret key can be established even when the quantum channel has arbitrarily low transmission by considering RDI protocols exploiting sufficiently many states. Finally, we discuss how the hypothesis of bounded overlaps can be naturally applied to practical devices. △ Less

Submitted 8 July, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: Updated to journal version. See also the companion paper where a proof-of-principle experiment is reported arXiv:2104.14574

Journal ref: New J. Phys. 24 063006 (2022)

Experimental quantum key distribution certified by Bell's theorem

Authors: D. P. Nadlinger, P. Drmota, B. C. Nichol, G. Araneda, D. Main, R. Srinivas, D. M. Lucas, C. J. Ballance, K. Ivanov, E. Y-Z. Tan, P. Sekatski, R. L. Urbanke, R. Renner, N. Sangouard, J-D. Bancal

Abstract: Cryptographic key exchange protocols traditionally rely on computational conjectures such as the hardness of prime factorisation to provide security against eavesdrop** attacks. Remarkably, quantum key distribution protocols like the one proposed by Bennett and Brassard provide information-theoretic security against such attacks, a much stronger form of security unreachable by classical means. H… ▽ More Cryptographic key exchange protocols traditionally rely on computational conjectures such as the hardness of prime factorisation to provide security against eavesdrop** attacks. Remarkably, quantum key distribution protocols like the one proposed by Bennett and Brassard provide information-theoretic security against such attacks, a much stronger form of security unreachable by classical means. However, quantum protocols realised so far are subject to a new class of attacks exploiting implementation defects in the physical devices involved, as demonstrated in numerous ingenious experiments. Following the pioneering work of Ekert proposing the use of entanglement to bound an adversary's information from Bell's theorem, we present here the experimental realisation of a complete quantum key distribution protocol immune to these vulnerabilities. We achieve this by combining theoretical developments on finite-statistics analysis, error correction, and privacy amplification, with an event-ready scheme enabling the rapid generation of high-fidelity entanglement between two trapped-ion qubits connected by an optical fibre link. The secrecy of our key is guaranteed device-independently: it is based on the validity of quantum theory, and certified by measurement statistics observed during the experiment. Our result shows that provably secure cryptography with real-world devices is possible, and paves the way for further quantum information applications based on the device-independence principle. △ Less

Submitted 5 September, 2023; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: 5+1 pages in main text and methods with 4 figures and 1 table; 42 pages of supplementary material (replaced with revision accepted for publication in Nature; original title: "Device-Independent Quantum Key Distribution")

Journal ref: Nature 607, 682-686 (2022)

Certification of Genuine Multipartite Entanglement with General and Robust Device-independent Witnesses

Authors: Chao Zhang, Wen-Hao Zhang, Pavel Sekatski, Jean-Daniel Bancal, Michael Zwerger, Peng Yin, Gong-Chu Li, Xing-Xiang Peng, Lei Chen, Yong-Jian Han, **-Shi Xu, Yun-Feng Huang, Geng Chen, Chuan-Feng Li, Guang-Can Guo

Abstract: Genuine multipartite entanglement represents the strongest type of entanglement, which is an essential resource for quantum information processing. Standard methods to detect genuine multipartite entanglement, e.g., entanglement witnesses, state tomography, or quantum state verification, require full knowledge of the Hilbert space dimension and precise calibration of measurement devices, which are… ▽ More Genuine multipartite entanglement represents the strongest type of entanglement, which is an essential resource for quantum information processing. Standard methods to detect genuine multipartite entanglement, e.g., entanglement witnesses, state tomography, or quantum state verification, require full knowledge of the Hilbert space dimension and precise calibration of measurement devices, which are usually difficult to acquire in an experiment. The most radical way to overcome these problems is to detect entanglement solely based on the Bell-like correlations of measurement outcomes collected in the experiment, namely, device-independently (DI). However, it is difficult to certify genuine entanglement of practical multipartite states in this way, and even more difficult to quantify it, due to the difficulty to identify optimal multipartite Bell inequalities and protocols tolerant to state impurity. In this work, we explore a general and robust DI method which can be applied to various realistic multipartite quantum state in arbitrary finite dimension, while merely relying on bipartite Bell inequalities. Our method allows us both to certify the presence of genuine multipartite entanglement and to quantify it. Several important classes of entangled states are tested with this method, leading to the detection of genuinely entangled states. We also certify genuine multipartite entanglement in weakly-entangled GHZ states, thus showing that the method applies equally well to less standard states. △ Less

Submitted 29 August, 2021; originally announced August 2021.

Journal ref: Phys. Rev. Lett 129, 190503 (2022)

Genuine network quantum nonlocality and self-testing

Authors: Ivan Šupić, Jean-Daniel Bancal, Yu Cai, Nicolas Brunner

Abstract: The network structure offers in principle the possibility for novel forms of quantum nonlocal correlations, that are proper to networks and cannot be traced back to standard quantum Bell nonlocality. Here we define a notion of genuine network quantum nonlocality. Our approach is operational and views standard quantum nonlocality as a resource for producing correlations in networks. We show several… ▽ More The network structure offers in principle the possibility for novel forms of quantum nonlocal correlations, that are proper to networks and cannot be traced back to standard quantum Bell nonlocality. Here we define a notion of genuine network quantum nonlocality. Our approach is operational and views standard quantum nonlocality as a resource for producing correlations in networks. We show several examples of correlations that are genuine network nonlocal, considering the so-called bilocality network of entanglement swap**. In particular, we present an example of quantum self-testing which relies on the network structure; the considered correlations are non-bilocal, but are local according to the usual definition of Bell locality. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 5 pages, 3 figures, comments are welcome

Journal ref: Phys. Rev. A 105, 022206 (2022)

Receiver-Device-Independent Quantum Key Distribution

Authors: Marie Ioannou, Maria Ana Pereira, Davide Rusca, Fadri Grünenfelder, Alberto Boaron, Matthieu Perrenoud, Alastair A. Abbott, Pavel Sekatski, Jean-Daniel Bancal, Nicolas Maring, Hugo Zbinden, Nicolas Brunner

Abstract: We present protocols for quantum key distribution in a prepare-and-measure setup with an asymmetric level of trust. While the device of the sender (Alice) is partially characterized, the receiver's (Bob's) device is treated as a black-box. The security of the protocols is based on the assumption that Alice's prepared states have limited overlaps, but no explicit bound on the Hilbert space dimensio… ▽ More We present protocols for quantum key distribution in a prepare-and-measure setup with an asymmetric level of trust. While the device of the sender (Alice) is partially characterized, the receiver's (Bob's) device is treated as a black-box. The security of the protocols is based on the assumption that Alice's prepared states have limited overlaps, but no explicit bound on the Hilbert space dimension is required. The protocols are immune to attacks on the receiver's device, such as blinding attacks. The users can establish a secret key while continuously monitoring the correct functioning of their devices through observed statistics. We report a proof-of-principle demonstration, involving mostly off-the-shelf equipment, as well as a high-efficiency superconducting nanowire detector. A positive key rate is demonstrated over a 4.8 km low-loss optical fiber with finite-key analysis. The prospects of implementing these protocols over longer distances is discussed. △ Less

Submitted 18 May, 2022; v1 submitted 29 April, 2021; originally announced April 2021.

Journal ref: Quantum 6, 718 (2022)

Non-Local Boxes for Networks

Authors: Jean-Daniel Bancal, Nicolas Gisin

Abstract: Nonlocal boxes are conceptual tools that capture the essence of the phenomenon of quantum non-locality, central to modern quantum theory and quantum technologies. We introduce network nonlocal boxes tailored for quantum networks under the natural assumption that these networks connect independent sources and do not allow signaling. Hence, these boxes satisfy the No-Signaling and Independence (NSI)… ▽ More Nonlocal boxes are conceptual tools that capture the essence of the phenomenon of quantum non-locality, central to modern quantum theory and quantum technologies. We introduce network nonlocal boxes tailored for quantum networks under the natural assumption that these networks connect independent sources and do not allow signaling. Hence, these boxes satisfy the No-Signaling and Independence (NSI) principle. For the case of boxes without inputs, connecting pairs of bipartite sources and producing binary outputs, we prove that the sources and boxes producing local random outputs and maximal 2-box correlations, i.e. $E_2=\sqrt{2}-1$, $E_2^o=1$, are essentially unique. △ Less

Submitted 4 November, 2021; v1 submitted 6 February, 2021; originally announced February 2021.

Comments: 4 pages + refs and a short appendix

Journal ref: Phys. Rev. A 104, 052212 (2021)

Certifying Numerical Decompositions of Compact Group Representations

Authors: Felipe Montealegre-Mora, Denis Rosset, Jean-Daniel Bancal, David Gross

Abstract: We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of… ▽ More We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of the group action are explicitly known. Rigorous numerical algorithms for decomposing a given group representation into irreps are known, but fairly expensive. To avoid this performance problem, existing software packages -- e.g. RepLAB, which motivated the present work -- use randomized heuristics. While these seem to work well in practice, the problem of to which extent the results can be trusted arises. Here, we provide rigorous guarantees applicable to finite and compact groups, as well as a software implementation that can interface with RepLAB. Under natural assumptions, a commonly used previous method due to Babai and Friedl runs in time O(n^5) for n-dimensional representations. In our approach, the complexity of running both the heuristic decomposition and the certification step is O(max{n^3 log n, D d^2 log d}), where d is the maximum dimension of an irreducible subrepresentation, and D is the time required to multiply elements of the group. A reference implementation interfacing with RepLAB is provided. △ Less

Submitted 27 August, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 17 pages

Improved DIQKD protocols with finite-size analysis

Authors: Ernest Y. -Z. Tan, Pavel Sekatski, Jean-Daniel Bancal, René Schwonnek, Renato Renner, Nicolas Sangouard, Charles C. -W. Lim

Abstract: The security of finite-length keys is essential for the implementation of device-independent quantum key distribution (DIQKD). Presently, there are several finite-size DIQKD security proofs, but they are mostly focused on standard DIQKD protocols and do not directly apply to the recent improved DIQKD protocols based on noisy preprocessing, random key measurements, and modified CHSH inequalities. H… ▽ More The security of finite-length keys is essential for the implementation of device-independent quantum key distribution (DIQKD). Presently, there are several finite-size DIQKD security proofs, but they are mostly focused on standard DIQKD protocols and do not directly apply to the recent improved DIQKD protocols based on noisy preprocessing, random key measurements, and modified CHSH inequalities. Here, we provide a general finite-size security proof that can simultaneously encompass these approaches, using tighter finite-size bounds than previous analyses. In doing so, we develop a method to compute tight lower bounds on the asymptotic keyrate for any such DIQKD protocol with binary inputs and outputs. With this, we show that positive asymptotic keyrates are achievable up to depolarizing noise values of $9.33\%$, exceeding all previously known noise thresholds. We also develop a modification to random-key-measurement protocols, using a pre-shared seed followed by a "seed recovery" step, which yields substantially higher net key generation rates by essentially removing the sifting factor. Some of our results may also improve the keyrates of device-independent randomness expansion. △ Less

Submitted 23 July, 2023; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: Corrected error in Chernoff bound formula

Journal ref: Quantum 6, 880 (2022)

Device-independent quantum key distribution from generalized CHSH inequalities

Authors: P. Sekatski, J. -D. Bancal, X. Valcarce, E. Y. -Z. Tan, R. Renner, N. Sangouard

Abstract: Device-independent quantum key distribution aims at providing security guarantees even when using largely uncharacterised devices. In the simplest scenario, these guarantees are derived from the CHSH score, which is a simple linear combination of four correlation functions. We here derive a security proof from a generalisation of the CHSH score, which effectively takes into account the individual… ▽ More Device-independent quantum key distribution aims at providing security guarantees even when using largely uncharacterised devices. In the simplest scenario, these guarantees are derived from the CHSH score, which is a simple linear combination of four correlation functions. We here derive a security proof from a generalisation of the CHSH score, which effectively takes into account the individual values of two correlation functions. We show that this additional information, which is anyway available in practice, allows one to get higher key rates than with the CHSH score. We discuss the potential advantage of this technique for realistic photonic implementations of device-independent quantum key distribution. △ Less

Submitted 16 April, 2021; v1 submitted 3 September, 2020; originally announced September 2020.

Comments: 9+12 pages, 3 figures. See also related work from E. Woodhead et al. arXiv:2007.16146

Journal ref: Quantum 5, 444 (2021)

Quantum nonlocality in networks can be demonstrated with an arbitrarily small level of independence between the sources

Authors: Ivan Šupić, Jean-Daniel Bancal, Nicolas Brunner

Abstract: Quantum nonlocality can be observed in networks even in the case where every party can only perform a single measurement, i.e. does not receive any input. So far, this effect has been demonstrated under the assumption that all sources in the network are fully independent from each other. Here we investigate to what extent this independence assumption can be relaxed. After formalizing the question,… ▽ More Quantum nonlocality can be observed in networks even in the case where every party can only perform a single measurement, i.e. does not receive any input. So far, this effect has been demonstrated under the assumption that all sources in the network are fully independent from each other. Here we investigate to what extent this independence assumption can be relaxed. After formalizing the question, we show that, in the triangle network without inputs, quantum nonlocality can be observed, even when assuming only an arbitrarily small level of independence between the sources. This means that quantum predictions cannot be reproduced by a local model unless the three sources can be perfectly correlated. △ Less

Submitted 25 July, 2020; originally announced July 2020.

Journal ref: Phys. Rev. Lett. 125, 240403 (2020)

Entanglement for any definition of two subsystems

Authors: Yu Cai, Baichu Yu, Pooja Jayachandran, Nicolas Brunner, Valerio Scarani, Jean-Daniel Bancal

Abstract: The notion of entanglement of quantum states is usually defined with respect to a fixed bipartition. Indeed, a global basis change can always map an entangled state to a separable one. The situation is however different when considering a set of states. In this work we define the notion of an "absolutely entangled set" of quantum states: for any possible choice of global basis, at least one of the… ▽ More The notion of entanglement of quantum states is usually defined with respect to a fixed bipartition. Indeed, a global basis change can always map an entangled state to a separable one. The situation is however different when considering a set of states. In this work we define the notion of an "absolutely entangled set" of quantum states: for any possible choice of global basis, at least one of the states in the set is entangled. Hence, for all bipartitions, i.e. any possible definition of the subsystems, the set features entanglement. We present a minimum example of this phenomenon, with a set of four states in $\mathbb{C}^4 = \mathbb{C}^2 \otimes \mathbb{C}^2$. Moreover, we propose a quantitative measure for absolute set entanglement. To lower-bound this quantity, we develop a method based on polynomial optimization to perform convex optimization over unitaries, which is of independent interest. △ Less

Submitted 11 November, 2020; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: Main: 5 pages, 2 figures; Appendix: 5 pages and 1 figure

Journal ref: Phys. Rev. A 103, 052432 (2021)

Noisy pre-processing facilitating a photonic realisation of device-independent quantum key distribution

Authors: M. Ho, P. Sekatski, E. Y. -Z. Tan, R. Renner, J. -D. Bancal, N. Sangouard

Abstract: Device-independent quantum key distribution provides security even when the equipment used to communicate over the quantum channel is largely uncharacterized. An experimental demonstration of device-independent quantum key distribution is however challenging. A central obstacle in photonic implementations is that the global detection efficiency, i.e., the probability that the signals sent over the… ▽ More Device-independent quantum key distribution provides security even when the equipment used to communicate over the quantum channel is largely uncharacterized. An experimental demonstration of device-independent quantum key distribution is however challenging. A central obstacle in photonic implementations is that the global detection efficiency, i.e., the probability that the signals sent over the quantum channel are successfully received, must be above a certain threshold. We here propose a method to significantly relax this threshold, while maintaining provable device-independent security. This is achieved with a protocol that adds artificial noise, which cannot be known or controlled by an adversary, to the initial measurement data (the raw key). Focusing on a realistic photonic setup using a source based on spontaneous parametric down conversion, we give explicit bounds on the minimal required global detection efficiency. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: 5+16 pages, 4 figures

Journal ref: Phys. Rev. Lett. 124, 230502 (2020)

Algebraic and geometric properties of local transformations

Authors: Denis Rosset, Ämin Baumeler, Jean-Daniel Bancal, Nicolas Gisin, Anthony Martin, Marc-Olivier Renou, Elie Wolfe

Abstract: Some properties of physical systems can be characterized from their correlations. In that framework, subsystems are viewed as abstract devices that receive measurement settings as inputs and produce measurement outcomes as outputs. The labeling convention used to describe these inputs and outputs does not affect the physics; and relabelings are easily implemented by rewiring the input and output p… ▽ More Some properties of physical systems can be characterized from their correlations. In that framework, subsystems are viewed as abstract devices that receive measurement settings as inputs and produce measurement outcomes as outputs. The labeling convention used to describe these inputs and outputs does not affect the physics; and relabelings are easily implemented by rewiring the input and output ports of the devices. However, a more general class of operations can be achieved by using correlated preprocessing and postprocessing of the inputs and outputs. In contrast to relabelings, some of these operations irreversibly lose information about the underlying device. Other operations are reversible, but modify the number of cardinality of inputs and/or outputs. In this work, we single out the set of deterministic local maps as the one satisfying two equivalent constructions: an operational definition from causality, and an axiomatic definition reminiscent of the definition of quantum completely positive trace-preserving maps. We then study the algebraic properties of that set. Surprisingly, the study of these fundamental properties has deep and practical applications. First, the invariant subspaces of these transformations directly decompose the space of correlations/Bell inequalities into nonsignaling, signaling and normalization components. This impacts the classification of Bell and causal inequalities, and the construction of assemblages/witnesses in steering scenarios. Second, the left and right invertible deterministic local operations provide an operational generalization of the liftings introduced by Pironio [J. Math. Phys., 46(6):062112 (2005)]. Not only Bell-local, but also causal inequalities can be lifted; liftings also apply to correlation boxes in a variety of scenarios. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Comments: 46 pages split in three independent parts (8+21+11). Numerous figures

Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments

Authors: Armin Tavakoli, Máté Farkas, Denis Rosset, Jean-Daniel Bancal, Jędrzej Kaniewski

Abstract: Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by: i) introducing families of Bell inequalities that are maximally violated by $d$-dimensional MUBs and SICs respectively, ii) proving device-independent certification of natural operation… ▽ More Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by: i) introducing families of Bell inequalities that are maximally violated by $d$-dimensional MUBs and SICs respectively, ii) proving device-independent certification of natural operational notions of MUBs and SICs, and iii) using MUBs and SICs to develop optimal-rate and nearly optimal-rate protocols for device independent quantum key distribution and device-independent quantum random number generation respectively. Moreover, we also present the first example of an extremal point of the quantum set of correlations which admits physically inequivalent quantum realisations. Our results elaborately demonstrate the foundational and practical relevance of the two most important discrete Hilbert space structures to the field of quantum nonlocality. △ Less

Submitted 20 October, 2020; v1 submitted 6 December, 2019; originally announced December 2019.

Journal ref: Science Advances 7, eabc3847 (2021)

RepLAB: a computational/numerical approach to representation theory

Authors: Denis Rosset, Felipe Montealegre-Mora, Jean-Daniel Bancal

Abstract: We present a MATLAB/Octave toolbox to decompose finite dimensionial representations of compact groups. Surprisingly, little information about the group and the representation is needed to perform that task. We discuss applications to semidefinite programming. We present a MATLAB/Octave toolbox to decompose finite dimensionial representations of compact groups. Surprisingly, little information about the group and the representation is needed to perform that task. We discuss applications to semidefinite programming. △ Less

Submitted 20 November, 2019; originally announced November 2019.

Comments: 8 pages of text + 2 pages of references

Journal ref: Quantum Theory and Symmetries, CRM Series in Mathematical Physics, Springer, pp 643-653 (2021)

What is the minimum CHSH score certifying that a state resembles the singlet?

Authors: Xavier Valcarce, Pavel Sekatski, Davide Orsucci, Enky Oudot, Jean-Daniel Bancal, Nicolas Sangouard

Abstract: A quantum state can be characterized from the violation of a Bell inequality. The well-known CHSH inequality for example can be used to quantify the fidelity (up to local isometries) of the measured state with respect to the singlet state. In this work, we look for the minimum CHSH violation leading to a non-trivial fidelity. In particular, we provide a new analytical approach to explore this prob… ▽ More A quantum state can be characterized from the violation of a Bell inequality. The well-known CHSH inequality for example can be used to quantify the fidelity (up to local isometries) of the measured state with respect to the singlet state. In this work, we look for the minimum CHSH violation leading to a non-trivial fidelity. In particular, we provide a new analytical approach to explore this problem in a device-independent framework, where the fidelity bound holds without assumption about the internal working of devices used in the CHSH test. We give an example which pushes the minimum CHSH threshold from $\approx2.0014$ to $\approx2.05,$ far from the local bound. This is in sharp contrast with the device-dependent (two-qubit) case, where entanglement is one-to-one related to a non-trivial singlet fidelity. We discuss this result in a broad context including device-dependent/independent state characterizations with various classical resources. △ Less

Submitted 13 March, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 15 pages (7+8), 2 figures

Journal ref: Quantum 4, 246 (2020)

How post-selection affects device-independent claims under the fair sampling assumption

Authors: Davide Orsucci, Jean-Daniel Bancal, Nicolas Sangouard, Pavel Sekatski

Abstract: Device-independent certifications employ Bell tests to guarantee the proper functioning of an apparatus from the sole knowledge of observed measurement statistics, i.e. without assumptions on the internal functioning of the devices. When these Bell tests are implemented with devices having too low efficiency, one has to post-select the events that lead to successful detections and thus rely on a f… ▽ More Device-independent certifications employ Bell tests to guarantee the proper functioning of an apparatus from the sole knowledge of observed measurement statistics, i.e. without assumptions on the internal functioning of the devices. When these Bell tests are implemented with devices having too low efficiency, one has to post-select the events that lead to successful detections and thus rely on a fair sampling assumption. The question that we address in this paper is what remains of a device-independent certification under fair sampling. We provide an intuitive description of post-selections in terms of filters and define the fair sampling assumption as a property of these filters, equivalent to the definition introduced in [Berry et. al., PRA 81(1), 012109 (2010)]. When this assumption is fulfilled, the post-selected data is reproduced by an ideal experiment where lossless devices measure a filtered state which can be obtained from the actual state via local probabilistic maps. Trusted conclusions can thus be obtained on the quantum properties of this filtered state and the corresponding measurement statistics can reliably be used, e.g., for randomness generation or quantum key distribution. We also explore a stronger notion of fair sampling leading to the conclusion that the post-selected data is a fair representation of the data that would be obtained with lossless detections. Furthermore, we show that our conclusions hold in cases of small deviations from exact fair sampling. Finally, we describe setups previously or potentially used in Bell-type experiments under fair sampling and identify the underlying device-specific assumptions. △ Less

Submitted 21 February, 2020; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: 24 pages, 3 figures

Journal ref: Quantum 4, 238 (2020)

Constraints on nonlocality in networks from no-signaling and independence

Authors: Nicolas Gisin, Jean-Daniel Bancal, Yu Cai, Patrick Remy, Armin Tavakoli, Emmanuel Zambrini Cruzeiro, Sandu Popescu, Nicolas Brunner

Abstract: Generalising the concept of Bell nonlocality to networks leads to novel forms of correlations, the characterization of which is however challenging. Here we investigate constraints on correlations in networks under the two natural assumptions of no-signaling and independence of the sources. We consider the ``triangle network'', and derive strong constraints on correlations even though the parties… ▽ More Generalising the concept of Bell nonlocality to networks leads to novel forms of correlations, the characterization of which is however challenging. Here we investigate constraints on correlations in networks under the two natural assumptions of no-signaling and independence of the sources. We consider the ``triangle network'', and derive strong constraints on correlations even though the parties receive no input, i.e. each party performs a fixed measurement. We show that some of these constraints are tight, by constructing explicit local models (i.e. where sources distribute classical variables) that can saturate them. However, we also observe that other constraints can apparently not be saturated by local models, which opens the possibility of having nonlocal (but non-signaling) correlations in the triangle network. △ Less

Submitted 9 June, 2020; v1 submitted 15 June, 2019; originally announced June 2019.

Comments: 12 pages, 5 figures

Journal ref: Nature Communications 11, 2378 (2020)

Self-testing with finite statistics enabling the certification of a quantum network link

Authors: Jean-Daniel Bancal, Kai Redeker, Pavel Sekatski, Wenjamin Rosenfeld, Nicolas Sangouard

Abstract: Self-testing is a method to certify devices from the result of a Bell test. Although examples of noise tolerant self-testing are known, it is not clear how to deal efficiently with a finite number of experimental trials to certify the average quality of a device without assuming that it behaves identically at each run. As a result, existing self-testing results with finite statistics have been lim… ▽ More Self-testing is a method to certify devices from the result of a Bell test. Although examples of noise tolerant self-testing are known, it is not clear how to deal efficiently with a finite number of experimental trials to certify the average quality of a device without assuming that it behaves identically at each run. As a result, existing self-testing results with finite statistics have been limited to guarantee the proper working of a device in just one of all experimental trials, thereby limiting their practical applicability. We here derive a method to certify through self-testing that a device produces states on average close to a Bell state without assumption on the actual state at each run. Thus the method is free of the I.I.D. (independent and identically distributed) assumption. Applying this new analysis on the data from a recent loophole-free Bell experiment, we demonstrate the successful distribution of Bell states over 398 meters with an average fidelity of $\geq$55.50% at a confidence level of 99%. Being based on a Bell test free of detection and locality loopholes, our certification is evidently device-independent, that is, it does not rely on trust in the devices or knowledge of how the devices work. This guarantees that our link can be integrated in a quantum network for performing long-distance quantum communications with security guarantees that are independent of the details of the actual implementation. △ Less

Submitted 1 March, 2021; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 7+10 pages, 2+3 figures, 1 table

Journal ref: Quantum 5, 401 (2021)

Device-independent characterization of quantum instruments

Authors: Sebastian Wagner, Jean-Daniel Bancal, Nicolas Sangouard, Pavel Sekatski

Abstract: Among certification techniques, those based on the violation of Bell inequalities are appealing because they do not require assumptions on the underlying Hilbert space dimension and on the accuracy of calibration methods. Such device-independent techniques have been proposed to certify the quality of entangled states, unitary operations, projective measurements following von Neumann's model and ra… ▽ More Among certification techniques, those based on the violation of Bell inequalities are appealing because they do not require assumptions on the underlying Hilbert space dimension and on the accuracy of calibration methods. Such device-independent techniques have been proposed to certify the quality of entangled states, unitary operations, projective measurements following von Neumann's model and rank-one positive-operator-valued measures (POVM). Here, we show that they can be extended to the characterization of quantum instruments with post-measurement states that are not fully determined by the Kraus operators but also depend on input states. We provide concrete certification recipes that are robust to noise. △ Less

Submitted 16 March, 2020; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: 8+4 pages, 5+1 figures

Journal ref: Quantum 4, 243 (2020)

Bipartite nonlocality with a many-body system

Authors: Enky Oudot, Jean-Daniel Bancal, Pavel Sekatski, Nicolas Sangouard

Abstract: We consider a bipartite scenario where two parties hold ensembles of $1/2$-spins which can only be measured collectively. We give numerical arguments supporting the conjecture that in this scenario no Bell inequality can be violated for arbitrary numbers of spins if only first order moment observables are available. We then give a recipe to achieve a significant Bell violation with a split many-bo… ▽ More We consider a bipartite scenario where two parties hold ensembles of $1/2$-spins which can only be measured collectively. We give numerical arguments supporting the conjecture that in this scenario no Bell inequality can be violated for arbitrary numbers of spins if only first order moment observables are available. We then give a recipe to achieve a significant Bell violation with a split many-body system when this restriction is lifted. This highlights the strong requirements needed to detect bipartite quantum correlations in many-body systems device-independently. △ Less

Submitted 19 October, 2018; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 7+5 pages, 4 figures

Journal ref: New J. Phys. 21 103043 (2019)

Device-independent detection of genuine multipartite entanglement for all pure states

Authors: M. Zwerger, W. Dür, J. -D. Bancal, P. Sekatski

Abstract: We show that genuine multipartite entanglement of all multipartite pure states in arbitrary finite dimension can be detected in a device-independent way by employing bipartite Bell inequalities on states that are deterministically generated from the initial state via local operations. This leads to an efficient scheme for large classes of multipartite states that are relevant in quantum computatio… ▽ More We show that genuine multipartite entanglement of all multipartite pure states in arbitrary finite dimension can be detected in a device-independent way by employing bipartite Bell inequalities on states that are deterministically generated from the initial state via local operations. This leads to an efficient scheme for large classes of multipartite states that are relevant in quantum computation or condensed-matter physics, including cluster states and the ground state of the Affleck-Kennedy-Lieb-Tasaki (AKLT) model. For cluster states the detection of genuine multipartite entanglement involves only measurements on a constant number of systems with an overhead that scales linear with the system size, while for the AKLT model the overhead is polynomial. In all cases our approach shows robustness against experimental imperfections. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Journal ref: Phys. Rev. Lett. 122, 060502 (2019)

Noise-resistant device-independent certification of Bell state measurements

Authors: Jean-Daniel Bancal, Nicolas Sangouard, Pavel Sekatski

Abstract: Device-independent certification refers to the characterization of an apparatus without reference to the internal description of other devices. It is a trustworthy certification method, free of assumption on the underlying Hilbert space dimension and on calibration methods. We show how it can be used to quantify the quality of a Bell state measurement, whether deterministic, partial or probabilist… ▽ More Device-independent certification refers to the characterization of an apparatus without reference to the internal description of other devices. It is a trustworthy certification method, free of assumption on the underlying Hilbert space dimension and on calibration methods. We show how it can be used to quantify the quality of a Bell state measurement, whether deterministic, partial or probabilistic. Our certification is noise resistant and opens the way towards the device-independent self-testing of Bell state measurements in existing experiments. △ Less

Submitted 13 July, 2018; originally announced July 2018.

Comments: 5+5 pages, 3+3 figures. See also related work by Marc-Olivier Renou et al

Journal ref: Phys. Rev. Lett. 121, 250506 (2018)

Randomness extraction from Bell violation with continuous parametric down conversion

Authors: Lijiong Shen, Jianwei Lee, Le Phuc Thinh, Jean-Daniel Bancal, Alessandro Cerè, Antia Lamas-Linares, Adriana Lita, Thomas Gerrits, Sae Woo Nam, Valerio Scarani, Christian Kurtsiefer

Abstract: We present a violation of the CHSH inequality without the fair sampling assumption with a continuously pumped photon pair source combined with two high efficiency superconducting detectors. Due to the continuous nature of the source, the choice of the duration of each measurement round effectively controls the average number of photon pairs participating in the Bell test. We observe a maximum viol… ▽ More We present a violation of the CHSH inequality without the fair sampling assumption with a continuously pumped photon pair source combined with two high efficiency superconducting detectors. Due to the continuous nature of the source, the choice of the duration of each measurement round effectively controls the average number of photon pairs participating in the Bell test. We observe a maximum violation of S= 2.01602(32) with average number of pairs per round of ~0.32, compatible with our system overall detection efficiencies. Systems that violate a Bell inequality are guaranteed to generate private randomness, with the randomness extraction rate depending on the observed violation and on the repetition rate of the Bell test. For our realization, the optimal rate of randomness generation is a compromise between the observed violation and the duration of each measurement round, with the latter realistically limited by the detection time jitter. Using an extractor composably secure against quantum adversary with quantum side information, we calculate an asymptotic rate of ~1300 random bits/s. With an experimental run of 43 minutes, we generated 617,920 random bits, corresponding to ~240 random bits/s. △ Less

Submitted 8 May, 2018; originally announced May 2018.

Comments: 10 pages, 3 figures

Journal ref: Phys. Rev. Lett. 121, 150402 (2018)

Witnessing Opto-Mechanical Entanglement with Photon-Counting

Authors: Melvyn Ho, Enky Oudot, Jean-Daniel Bancal, Nicolas Sangouard

Abstract: The ability to coherently control mechanical systems with optical fields has made great strides over the past decade, and now includes the use of photon counting techniques to detect the non-classical nature of mechanical states. These techniques may soon be used to perform an opto-mechanical Bell test, hence highlighting the potential of cavity opto-mechanics for device-independent quantum inform… ▽ More The ability to coherently control mechanical systems with optical fields has made great strides over the past decade, and now includes the use of photon counting techniques to detect the non-classical nature of mechanical states. These techniques may soon be used to perform an opto-mechanical Bell test, hence highlighting the potential of cavity opto-mechanics for device-independent quantum information processing. Here, we propose a witness which reveals opto-mechanical entanglement without any constraint on the global detection efficiencies in a setup allowing one to test a Bell inequality. While our witness relies on a well-defined description and correct experimental calibration of the measurements, it does not need a detailed knowledge of the functioning of the opto-mechanical system. A feasibility study including dominant sources of noise and loss shows that it can readily be used to reveal opto-mechanical entanglement in present-day experiments with photonic crystal nanobeam resonators. △ Less

Submitted 5 April, 2018; originally announced April 2018.

Comments: 5+7 pages, 4 figures

Journal ref: Phys. Rev. Lett. 121, 023602 (2018)

Bell correlations depth in many-body systems

Authors: Flavio Baccari, Jordi Tura, Matteo Fadel, Albert Aloy, Jean-Daniel Bancal, Nicolas Sangouard, Maciej Lewenstein, Antonio Acín, Remigiusz Augusiak

Abstract: While the interest in multipartite nonlocality has grown in recent years, its existence in large quantum systems is difficult to confirm experimentally. This is mostly due to the inadequacy of standard multipartite Bell inequalities to many-body systems: such inequalities usually rely on expectation values involving many parties and require an individual addressing of each party. In a recent work… ▽ More While the interest in multipartite nonlocality has grown in recent years, its existence in large quantum systems is difficult to confirm experimentally. This is mostly due to the inadequacy of standard multipartite Bell inequalities to many-body systems: such inequalities usually rely on expectation values involving many parties and require an individual addressing of each party. In a recent work [J. Tura et al. Science 344, 6189 (2014)] some of us proposed simpler Bell inequalities overcoming such difficulties, opening the way for the detection of Bell correlations with trusted collective measurements through Bell correlation witnesses [R. Schmied et al. Science 352, 441 (2016)], hence demonstrating the presence of Bell correlations with assumptions on the statistics. Here, we address the question of assessing the number of particles sharing genuinely nonlocal correlations in a multipartite system. This endeavour is a priori challenging, as known Bell inequalities for genuine nonlocality suffer from the above shortcomings, plus a number of measurement settings scaling exponentially with the system size. We first show that most of these constraints drop once the witnesses corresponding to these inequalities are expressed: in systems where multipartite expectation values can be evaluated, these witnesses can reveal genuine nonlocality for an arbitrary number of particles with just two collective measurements. We then introduce a general framework focused on two-body Bell-like inequalities. We show that they also provide information about the number of particles that are genuinely nonlocal. Then, we characterize all such inequalities for a finite system size. We provide witnesses of Bell correlation depth $k\leq6$ for any number of parties, within experimental reach. A violation for depth $6$ is achieved with existing data from an ensemble of 480 atoms. △ Less

Submitted 26 February, 2018; originally announced February 2018.

Comments: 32 pages (23 + appendices), 3 figures, 9 tables

Journal ref: Phys. Rev. A 100, 022121 (2019)

Certifying the building blocks of quantum computers from Bell's theorem

Authors: Pavel Sekatski, Jean-Daniel Bancal, Sebastian Wagner, Nicolas Sangouard

Abstract: The power of quantum computers relies on the capability of their components to maintain faithfully and process accurately quantum information. Since this property eludes classical certification methods, fundamentally new protocols are required to guarantee that elementary components are suitable for quantum computation. These protocols must be device-independent, that is, they cannot rely on a par… ▽ More The power of quantum computers relies on the capability of their components to maintain faithfully and process accurately quantum information. Since this property eludes classical certification methods, fundamentally new protocols are required to guarantee that elementary components are suitable for quantum computation. These protocols must be device-independent, that is, they cannot rely on a particular physical description of the actual implementation if one is to qualify a block for all possible usages. Bell's theorem has been proposed to certify, in a device-independent way, blocks either producing or measuring quantum states. In this manuscript, we provide the missing piece: a method based on Bell's theorem to certify coherent operations such as storage, processing and transfer of quantum information. This completes the set of tools needed to certify all building blocks of a quantum computer. Our method is robust to experimental imperfections, and so can be readily used to certify that today's quantum devices are qualified for usage in future quantum computers. △ Less

Submitted 29 March, 2018; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 5+11 pages, 3+5 figures

Journal ref: Phys. Rev. Lett. 121, 180505 (2018)

Device-independent Certification of One-shot Distillable Entanglement

Authors: Rotem Arnon-Friedman, Jean-Daniel Bancal

Abstract: Entanglement sources that produce many entangled states act as a main component in applications exploiting quantum physics such as quantum communication and cryptography. Realistic sources are inherently noisy, cannot run for an infinitely long time, and do not necessarily behave in an independent and identically distributed manner. An important question then arises -- how can one test, or certify… ▽ More Entanglement sources that produce many entangled states act as a main component in applications exploiting quantum physics such as quantum communication and cryptography. Realistic sources are inherently noisy, cannot run for an infinitely long time, and do not necessarily behave in an independent and identically distributed manner. An important question then arises -- how can one test, or certify, that a realistic source produces high amounts of entanglement? Crucially, a meaningful and operational solution should allow us to certify the entanglement which is available for further applications after performing the test itself (in contrast to assuming the availability of an additional source which can produce more entangled states, identical to those which were tested). To answer the above question and lower bound the amount of entanglement produced by an uncharacterised source, we present a protocol that can be run by interacting classically with uncharacterised (but not entangled to one another) measurement devices used to measure the states produced by the source. A successful run of the protocol implies that the remaining quantum state has high amounts of one-shot distillable entanglement. That is, one can distill many maximally entangled states out of the single remaining state. Importantly, our protocol can tolerate noise and, thus, certify entanglement produced by realistic sources. With the above properties, the protocol acts as the first "operational device-independent entanglement certification protocol" and allows one to test and benchmark uncharacterised entanglement sources which may be otherwise incomparable. △ Less

Submitted 26 March, 2019; v1 submitted 26 December, 2017; originally announced December 2017.

Journal ref: New Journal of Physics (2019)

Many-box locality

Authors: Yuqian Zhou, Yu Cai, Jean-Daniel Bancal, Fei Gao, Valerio Scarani

Abstract: There is an ongoing search for a physical or operational definition for quantum mechanics. Several informational principles have been proposed which are satisfied by a theory less restrictive than quantum mechanics. Here, we introduce the principle of "many-box locality", which is a refined version of the previously proposed "macroscopic locality". These principles are based on coarse-graining the… ▽ More There is an ongoing search for a physical or operational definition for quantum mechanics. Several informational principles have been proposed which are satisfied by a theory less restrictive than quantum mechanics. Here, we introduce the principle of "many-box locality", which is a refined version of the previously proposed "macroscopic locality". These principles are based on coarse-graining the statistics of several copies of a given box. The set of behaviors satisfying many-box locality for $N$ boxes is denoted $MBL_N$. We study these sets in the bipartite scenario with two binary measurements, in relation with the sets $\mathcal{Q}$ and $\mathcal{Q}_{1+AB}$ of quantum and "almost quantum" correlations. We find that the $MBL_N$ sets are in general not convex. For unbiased marginals, by working in the Fourier space we can prove analytically that $MBL_{N}\subsetneq\mathcal{Q}$ for any finite $N$, while $MBL_{\infty}=\mathcal{Q}$. Then, with suitably developed numerical tools, we find an example of a point that belongs to $MBL_{16}$ but not to $\mathcal{Q}_{1+AB}$. Among the problems that remain open, is whether $\mathcal{Q}\subset MBL_{\infty}$. △ Less

Submitted 27 November, 2017; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: 10 pages, 4 figures, 2 ancillary files; v2: similar to published version

Journal ref: Phys. Rev. A 96, 052108 (2017)

Device-independent point estimation from finite data and its application to device-independent property estimation

Authors: Pei-Sheng Lin, Denis Rosset, Yanbao Zhang, Jean-Daniel Bancal, Yeong-Cherng Liang

Abstract: The device-independent approach to physics is one where conclusions are drawn directly from the observed correlations between measurement outcomes. In quantum information, this approach allows one to make strong statements about the properties of the underlying systems or devices solely via the observation of Bell-inequality-violating correlations. However, since one can only perform a {\em finite… ▽ More The device-independent approach to physics is one where conclusions are drawn directly from the observed correlations between measurement outcomes. In quantum information, this approach allows one to make strong statements about the properties of the underlying systems or devices solely via the observation of Bell-inequality-violating correlations. However, since one can only perform a {\em finite number} of experimental trials, statistical fluctuations necessarily accompany any estimation of these correlations. Consequently, an important gap remains between the many theoretical tools developed for the asymptotic scenario and the experimentally obtained raw data. In particular, a physical and concurrently practical way to estimate the underlying quantum distribution has so far remained elusive. Here, we show that the natural analogs of the maximum-likelihood estimation technique and the least-square-error estimation technique in the device-independent context result in point estimates of the true distribution that are physical, unique, computationally tractable and consistent. They thus serve as sound algorithmic tools allowing one to bridge the aforementioned gap. As an application, we demonstrate how such estimates of the underlying quantum distribution can be used to provide, in certain cases, trustworthy estimates of the amount of entanglement present in the measured system. In stark contrast to existing approaches to device-independent parameter estimations, our estimation does not require the prior knowledge of {\em any} Bell inequality tailored for the specific property and the specific distribution of interest. △ Less

Submitted 26 March, 2018; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: Essentially published version, but with the typo in Eq. (E5) corrected

Journal ref: Phys. Rev. A 97, 032309 (2018)

Experimental many-pairs nonlocality

Authors: Hou Shun Poh, Alessandro Cerè, Jean-Daniel Bancal, Yu Cai, Nicolas Sangouard, Valerio Scarani, Christian Kurtsiefer

Abstract: Collective measurements on large quantum systems together with a majority voting strategy can lead to a violation of the CHSH Bell inequality. In presence of many entangled pairs, this violation decreases quickly with the number of pairs, and vanishes for some critical pair number that is a function of the noise present in the system. Here, we show that a different binning strategy can lead to a m… ▽ More Collective measurements on large quantum systems together with a majority voting strategy can lead to a violation of the CHSH Bell inequality. In presence of many entangled pairs, this violation decreases quickly with the number of pairs, and vanishes for some critical pair number that is a function of the noise present in the system. Here, we show that a different binning strategy can lead to a more substantial Bell violation when the noise is sufficiently small. Given the relation between the critical pair number and the source noise, we then present an experiment where the critical pair number is used to quantify the quality of a high visibility photon pair source. Our results demonstrate nonlocal correlations using collective measurements operating on clusters of more than 40 photon pairs. △ Less

Submitted 4 April, 2017; originally announced April 2017.

Comments: 7 pages, 5 figures

Journal ref: Phys. Rev. A 96, 022101 (2017)

Optimal entanglement witnesses in a split spin-squeezed Bose-Einstein condensate

Authors: Enky Oudot, Jean-Daniel Bancal, Roman Schmied, Philipp Treutlein, Nicolas Sangouard

Abstract: How to detect quantum correlations in bi-partite scenarios using a split many-body system and collective measurements on each party? We address this question by deriving entanglement witnesses using either only first or first and second order moments of local collective spin components. In both cases, we derive optimal witnesses for spatially split spin squeezed states in the presence of local whi… ▽ More How to detect quantum correlations in bi-partite scenarios using a split many-body system and collective measurements on each party? We address this question by deriving entanglement witnesses using either only first or first and second order moments of local collective spin components. In both cases, we derive optimal witnesses for spatially split spin squeezed states in the presence of local white noise. We then compare the two optimal witnesses with respect to their resistance to various noise sources operating either at the preparation or at the detection level. We finally evaluate the statistics required to estimate the value of these witnesses when measuring a split spin-squeezed Bose-Einstein condensate. Our results can be seen as a step towards Bell tests with many-body systems. △ Less

Submitted 28 February, 2017; originally announced February 2017.

Comments: 8 pages, 6 figures

Journal ref: Phys. Rev. A 95, 052347 (2017)

Bell correlations in a many-body system with finite statistics

Authors: Sebastian Wagner, Roman Schmied, Matteo Fadel, Philipp Treutlein, Nicolas Sangouard, Jean-Daniel Bancal

Abstract: A recent experiment reported the first violation of a Bell correlation witness in a many-body system [Science 352, 441 (2016)]. Following discussions in this paper, we address here the question of the statistics required to witness Bell correlated states, i.e. states violating a Bell inequality, in such experiments. We start by deriving multipartite Bell inequalities involving an arbitrary number… ▽ More A recent experiment reported the first violation of a Bell correlation witness in a many-body system [Science 352, 441 (2016)]. Following discussions in this paper, we address here the question of the statistics required to witness Bell correlated states, i.e. states violating a Bell inequality, in such experiments. We start by deriving multipartite Bell inequalities involving an arbitrary number of measurement settings, two outcomes per party and one- and two-body correlators only. Based on these inequalities, we then build up improved witnesses able to detect Bell-correlated states in many-body systems using two collective measurements only. These witnesses can potentially detect Bell correlations in states with an arbitrarily low amount of spin squeezing. We then establish an upper bound on the statistics needed to convincingly conclude that a measured state is Bell-correlated. △ Less

Submitted 10 February, 2017; originally announced February 2017.

Comments: 5+12 pages, 3+4 figures

Journal ref: Phys. Rev. Lett. 119, 170403 (2017)

Proposal for witnessing non-classical light with the human eye

Authors: A. Dodel, A. Mayinda, E. Oudot, A. Martin, P. Sekatski, J. -D. Bancal, N. Sangouard

Abstract: We give a complete proposal showing how to detect the non-classical nature of photonic states with naked eyes as detectors. The enabling technology is a sub-Poissonian photonic state that is obtained from single photons, displacement operations in phase space and basic non-photon-number-resolving detectors. We present a detailed statistical analysis of our proposal including imperfect photon creat… ▽ More We give a complete proposal showing how to detect the non-classical nature of photonic states with naked eyes as detectors. The enabling technology is a sub-Poissonian photonic state that is obtained from single photons, displacement operations in phase space and basic non-photon-number-resolving detectors. We present a detailed statistical analysis of our proposal including imperfect photon creation and detection and a realistic model of the human eye. We conclude that a few tens of hours are sufficient to certify non-classical light with the human eye with a p-value of 10%. △ Less

Submitted 12 April, 2017; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: 9 pages, 5 figures, accepted version

Journal ref: Quantum 1, 7 (2017)

Witnessing irreducible dimension

Authors: Wan Cong, Yu Cai, Jean-Daniel Bancal, Valerio Scarani

Abstract: The Hilbert space dimension of a quantum system is the most basic quantifier of its information content. Lower bounds on the dimension can be certified in a device-independent way, based only on observed statistics. We highlight that some such "dimension witnesses" capture only the presence of systems of some dimension, which in a sense is trivial, not the capacity of performing information proces… ▽ More The Hilbert space dimension of a quantum system is the most basic quantifier of its information content. Lower bounds on the dimension can be certified in a device-independent way, based only on observed statistics. We highlight that some such "dimension witnesses" capture only the presence of systems of some dimension, which in a sense is trivial, not the capacity of performing information processing on them, which is the point of experimental efforts to control high-dimensional systems. In order to capture this aspect, we introduce the notion of irreducible dimension of a quantum behaviour. This dimension can be certified, and we provide a witness for irreducible dimension four. △ Less

Submitted 1 August, 2017; v1 submitted 3 November, 2016; originally announced November 2016.

Comments: 9 pages, 4 figure

Journal ref: Phys. Rev. Lett. 119, 080401 (2017)

A new device-independent dimension witness and its experimental implementation

Authors: Yu Cai, Jean-Daniel Bancal, Jacquiline Romero, Valerio Scarani

Abstract: A dimension witness is a criterion that sets a lower bound on the dimension needed to reproduce the observed data. Three types of dimension witnesses can be found in the literature: device-dependent ones, in which the bound is obtained assuming some knowledge on the state and the measurements; device-independent prepare-and-measure ones, that can be applied to any system including classical ones;… ▽ More A dimension witness is a criterion that sets a lower bound on the dimension needed to reproduce the observed data. Three types of dimension witnesses can be found in the literature: device-dependent ones, in which the bound is obtained assuming some knowledge on the state and the measurements; device-independent prepare-and-measure ones, that can be applied to any system including classical ones; and device-independent Bell-based ones, that certify the minimal dimension of some entangled systems. Here we consider the Collins-Gisin-Linden-Massar-Popescu (CGLMP) Bell-type inequality for four outcomes. We show that a sufficiently high violation of this inequality witnesses $d \geq 4$ and present a proof-of-principle experimental observation of such a violation. This presents a first experimental violation of the third type of dimension witness beyond qutrits. △ Less

Submitted 5 June, 2016; originally announced June 2016.

Comments: 4 figures

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 49, Number 30, 2016

Bell Correlations in a Bose-Einstein Condensate

Authors: Roman Schmied, Jean-Daniel Bancal, Baptiste Allard, Matteo Fadel, Valerio Scarani, Philipp Treutlein, Nicolas Sangouard

Abstract: Characterizing many-body systems through the quantum correlations between their constituent particles is a major goal of quantum physics. Although entanglement is routinely observed in many systems, we report here the detection of stronger correlations - Bell correlations - between the spins of about 480 atoms in a Bose-Einstein condensate. We derive a Bell correlation witness from a many-particle… ▽ More Characterizing many-body systems through the quantum correlations between their constituent particles is a major goal of quantum physics. Although entanglement is routinely observed in many systems, we report here the detection of stronger correlations - Bell correlations - between the spins of about 480 atoms in a Bose-Einstein condensate. We derive a Bell correlation witness from a many-particle Bell inequality involving only one- and two-body correlation functions. Our measurement on a spin-squeezed state exceeds the threshold for Bell correlations by 3.8 standard deviations. Our work shows that the strongest possible non-classical correlations are experimentally accessible in many-body systems, and that they can be revealed by collective measurements. △ Less

Submitted 21 April, 2016; originally announced April 2016.

Comments: 20 pages, 6 figures, including supplementary information

Journal ref: Science vol. 352, issue 6284, p. 441 (2016)

Certified Randomness from a Two-Level System in a Relativistic Quantum Field

Authors: Le Phuc Thinh, Jean-Daniel Bancal, Eduardo Martin-Martinez

Abstract: Randomness is an indispensable resource in modern science and information technology. Fortunately, an experimentally simple procedure exists to generate randomness with well-characterized devices: measuring a quantum system in a basis complementary to its preparation. Towards realizing this goal one may consider using atoms or superconducting qubits, promising candidates for quantum information pr… ▽ More Randomness is an indispensable resource in modern science and information technology. Fortunately, an experimentally simple procedure exists to generate randomness with well-characterized devices: measuring a quantum system in a basis complementary to its preparation. Towards realizing this goal one may consider using atoms or superconducting qubits, promising candidates for quantum information processing. However, their unavoidable interaction with the electromagnetic field affects their dynamics. At large time scales, this can result in decoherence. Smaller time scales in principle avoid this problem, but may not be well analysed under the usual rotating wave and single-mode approximation (RWA and SMA) which break the relativistic nature of quantum field theory. Here, we use a fully relativistic analysis to quantify the information that an adversary with access to the field could get on the result of an atomic measurement. Surprisingly, we find that the adversary's guessing probability is not minimized for atoms initially prepared in the ground state (an intuition derived from the RWA and SMA model). △ Less

Submitted 22 January, 2016; originally announced January 2016.

Comments: 11 pages. 8 figures. RevTeX 4.1

Journal ref: Phys. Rev. A 94, 022321 (2016)

Device-independent parallel self-testing of two singlets

Authors: Xingyao Wu, Jean-Daniel Bancal, Matthew McKague, Valerio Scarani

Abstract: Device-independent self-testing is the possibility of certifying the quantum state and the measurements, up to local isometries, using only the statistics observed by querying uncharacterized local devices. In this paper, we study parallel self-testing of two maximally entangled pairs of qubits: in particular, the local tensor product structure is not assumed but derived. We prove two criteria tha… ▽ More Device-independent self-testing is the possibility of certifying the quantum state and the measurements, up to local isometries, using only the statistics observed by querying uncharacterized local devices. In this paper, we study parallel self-testing of two maximally entangled pairs of qubits: in particular, the local tensor product structure is not assumed but derived. We prove two criteria that achieve the desired result: a double use of the Clauser-Horne-Shimony-Holt inequality and the $3\times 3$ Magic Square game. This demonstrate that the magic square game can only be perfectly won by measureing a two-singlets state. The tolerance to noise is well within reach of state-of-the-art experiments. △ Less

Submitted 5 January, 2016; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 9 pages, 2 figures

Journal ref: Phys. Rev. A 93, 062121 (2016)

Measurement-device-independent quantification of entanglement for given Hilbert space dimension

Authors: Koon Tong Goh, Jean-Daniel Bancal, Valerio Scarani

Abstract: We address the question of how much entanglement can be certified from the observed correlations and the knowledge of the Hilbert space dimension of the measured systems. We focus on the case in which both systems are known to be qubits. For several correlations (though not for all), one can certify the same amount of entanglement as with state tomography, but with fewer assumptions, since nothing… ▽ More We address the question of how much entanglement can be certified from the observed correlations and the knowledge of the Hilbert space dimension of the measured systems. We focus on the case in which both systems are known to be qubits. For several correlations (though not for all), one can certify the same amount of entanglement as with state tomography, but with fewer assumptions, since nothing is assumed about the measurements. We also present security proofs of quantum key distribution without any assumption on the measurements. We discuss how both the amount of entanglement and the security of quantum key distribution (QKD) are affected by the inefficiency of detectors in this scenario. △ Less

Submitted 25 April, 2016; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 19 pages, 6 figures

Journal ref: New J. Phys. 18, 045022 (2016)

Randomness in post-selected events

Authors: Le Phuc Thinh, Gonzalo de la Torre, Jean-Daniel Bancal, Stefano Pironio, Valerio Scarani

Abstract: Bell inequality violations can be used to certify private randomness for use in cryptographic applications. In photonic Bell experiments, a large amount of the data that is generated comes from no-detection events and presumably contains little randomness. This raises the question as to whether randomness can be extracted only from the smaller post-selected subset corresponding to proper detection… ▽ More Bell inequality violations can be used to certify private randomness for use in cryptographic applications. In photonic Bell experiments, a large amount of the data that is generated comes from no-detection events and presumably contains little randomness. This raises the question as to whether randomness can be extracted only from the smaller post-selected subset corresponding to proper detection events, instead of from the entire set of data. This could in principle be feasible without opening an analogue of the detection loophole as long as the min-entropy of the post-selected data is evaluated by taking all the information into account, including no-detection events. The possibility of extracting randomness from a short string has a practical advantage, because it reduces the computational time of the extraction. Here, we investigate the above idea in a simple scenario, where the devices and the adversary behave according to i.i.d. strategies. We show that indeed almost all the randomness is present in the pair of outcomes for which at least one detection happened. We further show that in some cases applying a pre-processing on the data can capture features that an analysis based on global frequencies only misses, thus resulting in the certification of more randomness. We then briefly consider non-i.i.d strategies and provide an explicit example of such a strategy that is more powerful than any i.i.d. one even in the asymptotic limit of infinitely many measurement rounds, something that was not reported before in the context of Bell inequalities. △ Less

Submitted 8 March, 2016; v1 submitted 12 June, 2015; originally announced June 2015.

Comments: similar to published version, new section (III) on photonic experiments

Journal ref: New J. Phys. 18 (2016) 035007

Revealing Genuine Optical-Path Entanglement

Authors: F. Monteiro, V. Caprara Vivoli, T. Guerreiro, A. Martin, J. -D. Bancal, H. Zbinden, R. T. Thew, N. Sangouard

Abstract: How can one detect entanglement between multiple optical paths sharing a single photon? We address this question by proposing a scalable protocol, which only uses local measurements where single photon detection is combined with small displacement operations. The resulting entanglement witness does not require post-selection, nor assumptions about the photon number in each path. Furthermore, it gu… ▽ More How can one detect entanglement between multiple optical paths sharing a single photon? We address this question by proposing a scalable protocol, which only uses local measurements where single photon detection is combined with small displacement operations. The resulting entanglement witness does not require post-selection, nor assumptions about the photon number in each path. Furthermore, it guarantees that entanglement lies in a subspace with at most one photon per optical path and reveals genuinely multipartite entanglement. We demonstrate its scalability and resistance to loss by performing various experiments with two and three optical paths. We anticipate applications of our results for quantum network certification. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 4 pages + Appendix, 7 figures

Journal ref: Phys. Rev. Lett. 114, 170504 (2015)

Family of Bell-like inequalities as device-independent witnesses for entanglement depth

Authors: Yeong-Cherng Liang, Denis Rosset, Jean-Daniel Bancal, Gilles Pütz, Tomer Jack Barnea, Nicolas Gisin

Abstract: We present a simple family of Bell inequalities applicable to a scenario involving arbitrarily many parties, each of which performs two binary-outcome measurements. We show that these inequalities are members of the complete set of full-correlation Bell inequalities discovered by Werner-Wolf-Zukowski-Brukner. For scenarios involving a small number of parties, we further verify that these inequalit… ▽ More We present a simple family of Bell inequalities applicable to a scenario involving arbitrarily many parties, each of which performs two binary-outcome measurements. We show that these inequalities are members of the complete set of full-correlation Bell inequalities discovered by Werner-Wolf-Zukowski-Brukner. For scenarios involving a small number of parties, we further verify that these inequalities are facet-defining for the convex set of Bell-local correlations. Moreover, we show that the amount of quantum violation of these inequalities naturally manifests the extent to which the underlying system is genuinely many-body entangled. In other words, our Bell inequalities, when supplemented with the appropriate quantum bounds, naturally serve as device-independent witnesses for entanglement depth, allowing one to certify genuine k-partite entanglement in an arbitrary $n\ge k$-partite scenario without relying on any assumption about the measurements being performed, nor the dimension of the underlying physical system. A brief comparison is made between our witnesses and those based on some other Bell inequalities, as well as the quantum Fisher information. A family of witnesses for genuine k-partite nonlocality applicable to an arbitrary $n\ge k$-partite scenario based on our Bell inequalities is also presented. △ Less

Submitted 30 June, 2018; v1 submitted 26 November, 2014; originally announced November 2014.

Comments: v2: Essentially published version, but with a typo in Table II concerning the entanglement depth certifiable by our witness corrected; v1: 4+8 pages, 1 figure, 6 tables (this is [33] of arXiv:1411.4656). Comments welcomed!

Journal ref: Phys. Rev. Lett. 114, 190401 (2015)

Comparing different approaches for generating random numbers device-independently using a photon pair source

Authors: V. Caprara Vivoli, P. Sekatski, J. -D. Bancal, C. C. W. Lim, A. Martin, R. T. Thew, H. Zbinden, N. Gisin, N. Sangouard

Abstract: What is the most efficient way to generate random numbers device-independently using a photon pair source based on spontaneous parametric down conversion (SPDC)? We consider this question by comparing two implementations of a detection-loophole-free Bell test. In particular, we study in detail a scenario where a heralded single photon source (HSPS) is used to herald path-entangled states, i.e. ent… ▽ More What is the most efficient way to generate random numbers device-independently using a photon pair source based on spontaneous parametric down conversion (SPDC)? We consider this question by comparing two implementations of a detection-loophole-free Bell test. In particular, we study in detail a scenario where a heralded single photon source (HSPS) is used to herald path-entangled states, i.e. entanglement between two spatial modes sharing a single photon and where non-locality is revealed using photon counting preceded by small displacement operations. We start by giving a theoretical description of such a measurement. We then show how to optimize the Bell-CHSH violation through a non-perturbative calculation, taking the main experimental imperfections into account. We finally bound the amount of randomness that can be extracted and compare it to the one obtained with the conventional scenario using photon pairs entangled e.g. in polarization and analyzed through photon counting. While the former requires higher overall detection efficiencies, it is far more efficient in terms of both the entropy per experimental run and the rate of random bit generation. △ Less

Submitted 16 February, 2015; v1 submitted 29 September, 2014; originally announced September 2014.

Comments: 12 pages, 5 figures

Journal ref: New Journal of Physics 17 (2), 023023 (2015)