Showing 1–35 of 35 results for author: Rosset, D

Possibilistic approach to network nonlocality

Authors: Antoine Restivo, Nicolas Brunner, Denis Rosset

Abstract: The investigation of Bell nonlocality traditionally relies on joint probabilities of observing certain measurement outcomes. In this work we explore a possibilistic approach, where only patterns of possible outcomes matter, and apply it to Bell nonlocality in networks with independent sources. We present various algorithms for determining whether a given outcome pattern can be achieved via classic… ▽ More The investigation of Bell nonlocality traditionally relies on joint probabilities of observing certain measurement outcomes. In this work we explore a possibilistic approach, where only patterns of possible outcomes matter, and apply it to Bell nonlocality in networks with independent sources. We present various algorithms for determining whether a given outcome pattern can be achieved via classical resources or via non-signaling resources. Next we illustrate these methods considering the triangle and square networks (with binary outputs and no inputs), identifying patterns that are incompatible with the network structure, as well as patterns that imply nonlocality. In particular, we obtain an example of quantum nonlocality in the square network with binary outcomes. Moreover, we show how to construct certificates for detecting the nonlocality of a certain pattern, in the form of nonlinear Bell-type inequalities involving joint probabilities. Finally, we show that these inequalities remain valid in the case where the sources in the network become partially correlated. △ Less

Submitted 20 September, 2022; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: 17 pages, lots of figures, comments welcome

Noncommutative polynomial optimization under symmetry

Authors: Marie Ioannou, Denis Rosset

Abstract: We present a general framework to exploit the symmetries present in the Navascu{é}s-Pironio-Ac{í}n semidefinite relaxations that approximate invariant noncommutative polynomial optimization problems. We put equal emphasis on the moment and sum-of-squares dual approaches, and provide a pedagogical and formal introduction to the Navascu{é}s-Pironio-Ac{í}n technique before working out the impact of s… ▽ More We present a general framework to exploit the symmetries present in the Navascu{é}s-Pironio-Ac{í}n semidefinite relaxations that approximate invariant noncommutative polynomial optimization problems. We put equal emphasis on the moment and sum-of-squares dual approaches, and provide a pedagogical and formal introduction to the Navascu{é}s-Pironio-Ac{í}n technique before working out the impact of symmetries present in the problem. Using our formalism, we compute analytical sum-of-square certificates for various Bell inequalities, and prove a long-standing conjecture about the exact maximal quantum violation of the CGLMP inequalities for dimension 3 and 4. We also apply our technique to the Sliwa inequalities in the Bell scenario with three parties with binary measurements settings/outcomes. Symmetry reduction is key to scale the applications of the NPA relaxation, and our formalism encompasses and generalizes the approaches found in the literature. △ Less

Submitted 30 June, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: Supplementary material available on GitHub https://github.com/marieio/NPOsym

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)

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

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

Postquantum common-cause channels: the resource theory of local operations and shared entanglement

Authors: David Schmid, Haoxing Du, Maryam Mudassar, Ghi Coulter-de Wit, Denis Rosset, Matty J. Hoban

Abstract: We define the type-independent resource theory of local operations and shared entanglement (LOSE). This allows us to formally quantify postquantumness in common-cause scenarios such as the Bell scenario. Any nonsignaling bipartite quantum channel which cannot be generated by LOSE operations requires a postquantum common cause to generate, and constitutes a valuable resource. Our framework allows L… ▽ More We define the type-independent resource theory of local operations and shared entanglement (LOSE). This allows us to formally quantify postquantumness in common-cause scenarios such as the Bell scenario. Any nonsignaling bipartite quantum channel which cannot be generated by LOSE operations requires a postquantum common cause to generate, and constitutes a valuable resource. Our framework allows LOSE operations that arbitrarily transform between different types of resources, which in turn allows us to undertake a systematic study of the different manifestations of postquantum common causes. Only three of these have been previously recognized, namely postquantum correlations, postquantum steering, and non-localizable channels, all of which are subsumed as special cases of resources in our framework. Finally, we prove several fundamental results regarding how the type of a resource determines what conversions into other resources are possible, and also places constraints on the resource's ability to provide an advantage in distributed tasks such as nonlocal games, semiquantum games, steering games, etc. △ Less

Submitted 20 March, 2021; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 11 pages, lots of figures

Journal ref: Quantum 5, 419 (2021)

Genuine Network Multipartite Entanglement

Authors: Miguel Navascues, Elie Wolfe, Denis Rosset, Alejandro Pozas-Kerstjens

Abstract: The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipart… ▽ More The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipartite entanglement, whereby a quantum state is genuinely network $k$-entangled if it cannot be produced by applying local trace-preserving maps over several $k$-partite states distributed among the parties, even with the aid of global shared randomness. We provide analytic and numerical witnesses of genuine network entanglement, and we reinterpret many past quantum experiments as demonstrations of this feature. △ Less

Submitted 18 December, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: 8 pages, 2 figures, RevTeX 4.2. See the related works arXiv:2002.03970 and arXiv:2003.07153. V3: Published version

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

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)

Type-independent Characterization of Spacelike Separated Resources

Authors: Denis Rosset, David Schmid, Francesco Buscemi

Abstract: Quantum theory describes multipartite objects of various types: quantum states, nonlocal boxes, steering assemblages, teleportages, distributed measurements, channels, and so on. Such objects describe, for example, the resources shared in quantum networks. Not all such objects are useful, however. In the context of space-like separated parties, devices which can be simulated using local operations… ▽ More Quantum theory describes multipartite objects of various types: quantum states, nonlocal boxes, steering assemblages, teleportages, distributed measurements, channels, and so on. Such objects describe, for example, the resources shared in quantum networks. Not all such objects are useful, however. In the context of space-like separated parties, devices which can be simulated using local operations and shared randomness are useless, and it is of paramount importance to be able to practically distinguish useful from useless quantum resources. Accordingly, a body of literature has arisen to provide tools for witnessing and quantifying the nonclassicality of objects of each specific type. In the present work, we provide a framework which subsumes and generalizes all of these resources, as well as the tools for witnessing and quantifying their nonclassicality. △ Less

Submitted 4 June, 2021; v1 submitted 27 November, 2019; originally announced November 2019.

Comments: Close to the published version

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

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)

Quantum Inflation: A General Approach to Quantum Causal Compatibility

Authors: Elie Wolfe, Alejandro Pozas-Kerstjens, Matan Grinberg, Denis Rosset, Antonio Acín, Miguel Navascues

Abstract: Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a… ▽ More Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a systematic technique to falsify if a given quantum causal model is compatible with some observed correlations. We demonstrate the power of the technique by reproducing known results and solving open problems for some paradigmatic examples of causal networks. Our results may find applications in many fields: from the characterization of correlations in quantum networks to the study of quantum effects in thermodynamic and biological processes. △ Less

Submitted 27 May, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: V3 updated to match published version

Journal ref: Phys. Rev. X 11, 021043 (2021)

The type-independent resource theory of local operations and shared randomness

Authors: David Schmid, Denis Rosset, Francesco Buscemi

Abstract: In space-like separated experiments and other scenarios where multiple parties share a classical common cause but no cause-effect relations, quantum theory allows a variety of nonsignaling resources which are useful for distributed quantum information processing. These include quantum states, nonlocal boxes, steering assemblages, teleportages, channel steering assemblages, and so on. Such resource… ▽ More In space-like separated experiments and other scenarios where multiple parties share a classical common cause but no cause-effect relations, quantum theory allows a variety of nonsignaling resources which are useful for distributed quantum information processing. These include quantum states, nonlocal boxes, steering assemblages, teleportages, channel steering assemblages, and so on. Such resources are often studied using nonlocal games, semiquantum games, entanglement-witnesses, teleportation experiments, and similar tasks. We introduce a unifying framework which subsumes the full range of nonsignaling resources, as well as the games and experiments which probe them, into a common resource theory: that of local operations and shared randomness (LOSR). Crucially, we allow these LOSR operations to locally change the type of a resource, so that players can convert resources of any type into resources of any other type, and in particular into strategies for the specific type of game they are playing. We then prove several theorems relating resources and games of different types. These theorems generalize a number of seminal results from the literature, and can be applied to lessen the assumptions needed to characterize the nonclassicality of resources. As just one example, we prove that semiquantum games are able to perfectly characterize the LOSR nonclassicality of every resource of any type (not just quantum states, as was previously shown). As a consequence, we show that any resource can be characterized in a measurement-device-independent manner. △ Less

Submitted 26 April, 2020; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 14 pages, 7 figures. Comments welcome!

Journal ref: Quantum 4, 262 (2020)

Measurement Device Independent Verification of Quantum Channels

Authors: Francesco Graffitti, Alexander Pickston, Peter Barrow, Massimiliano Proietti, Dmytro Kundys, Denis Rosset, Martin Ringbauer, Alessandro Fedrizzi

Abstract: The capability to reliably transmit and store quantum information is an essential building block for future quantum networks and processors. Gauging the ability of a communication link or quantum memory to preserve quantum correlations is therefore vital for their technological application. Here, we experimentally demonstrate a measurement-device-independent protocol for certifying that an unknown… ▽ More The capability to reliably transmit and store quantum information is an essential building block for future quantum networks and processors. Gauging the ability of a communication link or quantum memory to preserve quantum correlations is therefore vital for their technological application. Here, we experimentally demonstrate a measurement-device-independent protocol for certifying that an unknown channel acts as an entanglement-preserving channel. Our results show that, even under realistic experimental conditions, including imperfect single-photon sources and the various kinds of noise---in the channel or in detection---where other verification means would fail or become inefficient, the present verification protocol is still capable of affirming the quantum behaviour in a faithful manner without requiring any trust on the measurement device. △ Less

Submitted 27 June, 2019; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: 5 pages, 3 figures, 6 pages supplementary materials

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

SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization

Authors: Denis Rosset

Abstract: Semidefinite relaxations are widely used to compute upper bounds on the objective of optimization problems involving noncommutative polynomials. Such optimization problems are prevalent in quantum information. We present an algorithm able to discover automatically and exploit the symmetries present in the problem formulation. We also provide an open source software library written in Scala ( https… ▽ More Semidefinite relaxations are widely used to compute upper bounds on the objective of optimization problems involving noncommutative polynomials. Such optimization problems are prevalent in quantum information. We present an algorithm able to discover automatically and exploit the symmetries present in the problem formulation. We also provide an open source software library written in Scala ( https://denisrosset.github.io/symdpoly ) that computes symmetry-adapted semidefinite relaxations with interfaces to a variety of open-source and commercial semidefinite solvers. We discuss the advantages of symmetrization, namely reductions in memory use, computation time, and increase in the solution precision. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 21 pages, comments most welcome. For associated software, see https://denisrosset.github.io/symdpoly

Enabling computation of correlation bounds for finite-dimensional quantum systems via symmetrisation

Authors: Armin Tavakoli, Denis Rosset, Marc-Olivier Renou

Abstract: We present a technique for reducing the computational requirements by several orders of magnitude in the evaluation of semidefinite relaxations for bounding the set of quantum correlations arising from finite-dimensional Hilbert spaces. The technique, which we make publicly available through a user-friendly software package, relies on the exploitation of symmetries present in the optimisation prob… ▽ More We present a technique for reducing the computational requirements by several orders of magnitude in the evaluation of semidefinite relaxations for bounding the set of quantum correlations arising from finite-dimensional Hilbert spaces. The technique, which we make publicly available through a user-friendly software package, relies on the exploitation of symmetries present in the optimisation problem to reduce the number of variables and the block sizes in semidefinite relaxations. It is widely applicable in problems encountered in quantum information theory and enables computations that were previously too demanding. We demonstrate its advantages and general applicability in several physical problems. In particular, we use it to robustly certify the non-projectiveness of high-dimensional measurements in a black-box scenario based on self-tests of $d$-dimensional symmetric informationally complete POVMs. △ Less

Submitted 11 December, 2018; v1 submitted 7 August, 2018; originally announced August 2018.

Comments: A. T. and D. R. contributed equally for this project

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

Regularising data for practical randomness generation

Authors: Boris Bourdoncle, Pei-Sheng Lin, Denis Rosset, Antonio Acín, Yeong-Cherng Liang

Abstract: Non-local correlations that obey the no-signalling principle contain intrinsic randomness. In particular, for a specific Bell experiment, one can derive relations between the amount of randomness produced, as quantified by the min-entropy of the output data, and its associated violation of a Bell inequality. In practice, due to finite sampling, certifying randomness requires the development of sta… ▽ More Non-local correlations that obey the no-signalling principle contain intrinsic randomness. In particular, for a specific Bell experiment, one can derive relations between the amount of randomness produced, as quantified by the min-entropy of the output data, and its associated violation of a Bell inequality. In practice, due to finite sampling, certifying randomness requires the development of statistical tools to lower-bound the min-entropy of the data as a function of the estimated Bell violation. The quality of such bounds relies on the choice of certificate, i.e., the Bell inequality whose violation is estimated. In this work, we propose a method for choosing efficiently such a certificate. It requires sacrificing a part of the output data in order to estimate the underlying correlations. Regularising this estimate then allows one to find a Bell inequality that is well suited for certifying practical randomness from these specific correlations. We then study the effects of various parameters on the obtained min-entropy bound and explain how to tune them in a favourable way. Lastly, we carry out several numerical simulations of a Bell experiment to show the efficiency of our method: we nearly always obtain higher min-entropy rates than when we use a pre-established Bell inequality, namely the Clauser-Horne-Shimony-Holt inequality. △ Less

Submitted 6 May, 2019; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 12 pages + 6 figures. Comments welcome

Journal ref: Quantum Sci. Technol. 4, 025007 (2019)

Preliminary investigation of a new state estimation technique using device-independent maximum likelihood estimation

Authors: Sacha Schwarz, Bruno Eckmann, Denis Rosset, André Stefanov

Abstract: In quantum state tomography, the estimated frequencies do not correspond directly to a physical quantum state, due to statistical fluctuations. Thus, one resorts to point estimators that return the state that matches observations the best, and a variety of estimators have been proposed -- linear inversion, least squares, maximum likelihood (ML) -- each making different trade-offs. In this short no… ▽ More In quantum state tomography, the estimated frequencies do not correspond directly to a physical quantum state, due to statistical fluctuations. Thus, one resorts to point estimators that return the state that matches observations the best, and a variety of estimators have been proposed -- linear inversion, least squares, maximum likelihood (ML) -- each making different trade-offs. In this short note, we investigate an alternative approach inspired by device-independent quantum information protocols. We embed a tomographic complete set of measurement operators within the framework of a Bell scenario, and first regularize the estimated frequencies using a device-independent maximum likelihood algorithm. We then run the standard maximum likelihood algorithm to estimate the underlying quantum state. In this preliminary investigation, we do not observe significant differences in the reconstructed state when using the new algorithm. △ Less

Submitted 8 November, 2018; v1 submitted 9 February, 2018; originally announced February 2018.

Comments: 6 pages, 2 figures, analysis substantially improved

Self-testing quantum states and measurements in the prepare-and-measure scenario

Authors: Armin Tavakoli, Jędrzej Kaniewski, Tamás Vértesi, Denis Rosset, Nicolas Brunner

Abstract: The goal of self-testing is to characterize an a priori unknown quantum system based solely on measurement statistics, i.e. using an uncharacterized measurement device. Here we develop self-testing methods for quantum prepare-and-measure experiments, thus not necessarily relying on entanglement and/or violation of a Bell inequality. We present noise-robust techniques for self-testing sets of quant… ▽ More The goal of self-testing is to characterize an a priori unknown quantum system based solely on measurement statistics, i.e. using an uncharacterized measurement device. Here we develop self-testing methods for quantum prepare-and-measure experiments, thus not necessarily relying on entanglement and/or violation of a Bell inequality. We present noise-robust techniques for self-testing sets of quantum states and measurements, assuming an upper bound on the Hilbert space dimension. We discuss in detail the case of a $2 \rightarrow 1$ random access code with qubits, for which we provide analytically optimal self-tests. The simplicity and noise robustness of our methods should make them directly applicable to experiments. △ Less

Submitted 11 September, 2018; v1 submitted 25 January, 2018; originally announced January 2018.

Journal ref: Phys. Rev. A 98, 062307 (2018)

A resource theory of quantum memories and their faithful verification with minimal assumptions

Authors: Denis Rosset, Francesco Buscemi, Yeong-Cherng Liang

Abstract: We provide a complete set of game-theoretic conditions equivalent to the existence of a transformation from one quantum channel into another one, by means of classically correlated pre/post processing maps only. Such conditions naturally induce tests to certify that a quantum memory is capable of storing quantum information, as opposed to memories that can be simulated by measurement and state pre… ▽ More We provide a complete set of game-theoretic conditions equivalent to the existence of a transformation from one quantum channel into another one, by means of classically correlated pre/post processing maps only. Such conditions naturally induce tests to certify that a quantum memory is capable of storing quantum information, as opposed to memories that can be simulated by measurement and state preparation (corresponding to entanglement-breaking channels). These results are formulated as a resource theory of genuine quantum memories (correlated in time), mirroring the resource theory of entanglement in quantum states (correlated spatially). As the set of conditions is complete, the corresponding tests are faithful, in the sense that any non entanglement-breaking channel can be certified. Moreover, they only require the assumption of trusted inputs, known to be unavoidable for quantum channel verification. As such, the tests we propose are intrinsically different from the usual process tomography, for which the probes of both the input and the output of the channel must be trusted. An explicit construction is provided and shown to be experimentally realizable, even in the presence of arbitrarily strong losses in the memory or detectors. △ Less

Submitted 28 February, 2018; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: Addition of a quantitative study of memories as resources, and reformulated part of the results in that light

Journal ref: Phys. Rev. X 8, 021033 (2018)

Practical measurement-device-independent entanglement quantification

Authors: Denis Rosset, Anthony Martin, Ephanielle Verbanis, Charles Ci Wen Lim, Rob Thew

Abstract: The robust estimation of entanglement is key to the validation of implementations of quantum systems. On the one hand, the evaluation of standard entanglement measures, either using quantum tomography or using quantitative entanglement witnesses requires perfect implementation of measurements. On the other hand, measurement-device-independent entanglement witnesses (MDIEWs) can certify entanglemen… ▽ More The robust estimation of entanglement is key to the validation of implementations of quantum systems. On the one hand, the evaluation of standard entanglement measures, either using quantum tomography or using quantitative entanglement witnesses requires perfect implementation of measurements. On the other hand, measurement-device-independent entanglement witnesses (MDIEWs) can certify entanglement of all entangled states using untrusted measurement devices. We show that MDIEWs can be used as well to quantify entanglement according to standard entanglement measures, and present a practical method to derive such witnesses using experimental data only. △ Less

Submitted 30 November, 2018; v1 submitted 10 September, 2017; originally announced September 2017.

Comments: Close to published version. 15 pages incl. 5 pages Appendix, 3 figures

Journal ref: Phys. Rev. A 98, 052332 (2018)

Universal bound on the cardinality of local hidden variables in networks

Authors: Denis Rosset, Nicolas Gisin, Elie Wolfe

Abstract: We present an algebraic description of the sets of local correlations in arbitrary networks, when the parties have finite inputs and outputs. We consider networks generalizing the usual Bell scenarios by the presence of multiple uncorrelated sources. We prove a finite upper bound on the cardinality of the value sets of the local hidden variables. Consequently, we find that the sets of local correl… ▽ More We present an algebraic description of the sets of local correlations in arbitrary networks, when the parties have finite inputs and outputs. We consider networks generalizing the usual Bell scenarios by the presence of multiple uncorrelated sources. We prove a finite upper bound on the cardinality of the value sets of the local hidden variables. Consequently, we find that the sets of local correlations are connected, closed and semialgebraic, and bounded by tight polynomial Bell-like inequalities. △ Less

Submitted 3 September, 2017; originally announced September 2017.

Comments: 5 pages + 6 pages appendix, 2 figures, comments welcome

Journal ref: Quantum Information and Computation, Vol. 18, No. 11 \& 12 (2018) 0910-0926

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)

On the inequivalence of the CH and CHSH inequalities due to finite statistics

Authors: Marc-Olivier Renou, Denis Rosset, Anthony Martin, Nicolas Gisin

Abstract: Different variants of a Bell inequality, such as CHSH and CH, are known to be equivalent when evaluated on nonsignaling outcome probability distributions. However, in experimental setups, the outcome probability distributions are estimated using a finite number of samples. Therefore the nonsignaling conditions are only approximately satisfied and the robustness of the violation depends on the chos… ▽ More Different variants of a Bell inequality, such as CHSH and CH, are known to be equivalent when evaluated on nonsignaling outcome probability distributions. However, in experimental setups, the outcome probability distributions are estimated using a finite number of samples. Therefore the nonsignaling conditions are only approximately satisfied and the robustness of the violation depends on the chosen inequality variant. We explain that phenomenon using the decomposition of the space of outcome probability distributions under the action of the symmetry group of the scenario, and propose a method to optimize the statistical robustness of a Bell inequality. In the process, we describe the finite group composed of relabeling of parties, measurement settings and outcomes, and identify correspondences between the irreducible representations of this group and properties of outcome probability distributions such as normalization, signaling or having uniform marginals. △ Less

Submitted 12 February, 2022; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 27 pages, 12 figures

Journal ref: J. Phys. A: Math. Theor. 50 255301 (2017)

Resource-efficient measurement device independent entanglement witness

Authors: E. Verbanis, A. Martin, D. Rosset, C. C. W. Lim, R. T. Thew, H. Zbinden

Abstract: Imperfections in experimental measurement schemes can lead to falsely identifying, or over estimating, entanglement in a quantum system. A recent solution to this is to define schemes that are robust to measurement imperfections - measurement device independent entanglement witness (MDI-EW). Here we introduce a novel approach for MDI-EW, which significantly reduces the experimental complexity and… ▽ More Imperfections in experimental measurement schemes can lead to falsely identifying, or over estimating, entanglement in a quantum system. A recent solution to this is to define schemes that are robust to measurement imperfections - measurement device independent entanglement witness (MDI-EW). Here we introduce a novel approach for MDI-EW, which significantly reduces the experimental complexity and is applicable to a wide range of physical systems. The scheme requires no prior description of the state, is detection loop-hole free, robust to classical communication, and works for all entangled qubit states. We focus on photonic entanglement, experimentally generating and testing bipartite Werner states, varying the entanglement from the maximally entangled Bell state, past the bound for nonlocal states and down to the separable bound of 1/3. We witness entanglement down to an entangled state fraction close to 0.4. These results could be of particular interest for device independent quantum random number generation. △ Less

Submitted 5 October, 2015; originally announced October 2015.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. Lett. 116, 190501 (2016)

Nonlinear Bell inequalities tailored for quantum networks

Authors: Denis Rosset, Cyril Branciard, Tomer Jack Barnea, Gilles Pütz, Nicolas Brunner, Nicolas Gisin

Abstract: In a quantum network, distant observers sharing physical resources emitted by independent sources can establish strong correlations, which defy any classical explanation in terms of local variables. We discuss the characterization of nonlocal correlations in such a situation, when compared to those that can be generated in networks distributing independent local variables. We present an iterative… ▽ More In a quantum network, distant observers sharing physical resources emitted by independent sources can establish strong correlations, which defy any classical explanation in terms of local variables. We discuss the characterization of nonlocal correlations in such a situation, when compared to those that can be generated in networks distributing independent local variables. We present an iterative procedure for constructing Bell inequalities tailored for networks: starting from a given network, and a corresponding Bell inequality, our technique provides new Bell inequalities for a more complex network, involving one additional source and one additional observer. The relevance of our method is illustrated on a variety of networks, for which we demonstrate significant quantum violations. △ Less

Submitted 24 June, 2015; originally announced June 2015.

Comments: 8 pages, 2 figures. Comments welcome

Journal ref: Phys. Rev. Lett. 116, 010403 (2016)

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)

Arbitrarily small amount of measurement independence is sufficient to manifest quantum nonlocality

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

Abstract: The use of Bell's theorem in any application or experiment relies on the assumption of free choice or, more precisely, measurement independence, meaning that the measurements can be chosen freely. Here, we prove that even in the simplest Bell test - one involving 2 parties each performing 2 binary-outcome measurements - an arbitrarily small amount of measurement independence is sufficient to manif… ▽ More The use of Bell's theorem in any application or experiment relies on the assumption of free choice or, more precisely, measurement independence, meaning that the measurements can be chosen freely. Here, we prove that even in the simplest Bell test - one involving 2 parties each performing 2 binary-outcome measurements - an arbitrarily small amount of measurement independence is sufficient to manifest quantum nonlocality. To this end, we introduce the notion of measurement dependent locality and show that the corresponding correlations form a convex polytope. These correlations can thus be characterized efficiently, e.g., using a finite set of Bell-like inequalities - an observation that enables the systematic study of quantum nonlocality and related applications under limited measurement independence. △ Less

Submitted 13 November, 2014; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 5+5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 113, 190402 (2014)

Classifying 50 years of Bell inequalities

Authors: Denis Rosset, Jean-Daniel Bancal, Nicolas Gisin

Abstract: Since John S. Bell demonstrated the interest of studying linear combinations of probabilities in relation with the EPR paradox in 1964, Bell inequalities have lead to numerous developments. Unfortunately, the description of Bell inequalities is subject to several degeneracies, which make any exchange of information about them unnecessarily hard. Here, we analyze these degeneracies and propose a de… ▽ More Since John S. Bell demonstrated the interest of studying linear combinations of probabilities in relation with the EPR paradox in 1964, Bell inequalities have lead to numerous developments. Unfortunately, the description of Bell inequalities is subject to several degeneracies, which make any exchange of information about them unnecessarily hard. Here, we analyze these degeneracies and propose a decomposition for Bell-like inequalities based on a set of reference expressions which is not affected by them. These reference expressions set a common ground for comparing Bell inequalities. We provide algorithms based on finite group theory to compute this decomposition. Implementing these algorithms allows us to set up a compendium of reference Bell-like inequalities, available online at http://www.faacets.com . This website constitutes a platform where registered Bell-like inequalities can be explored, new inequalities can be compared to previously-known ones and relevant information on Bell inequalities can be added in a collaborative manner. △ Less

Submitted 4 April, 2014; originally announced April 2014.

Comments: 13+10 pages, 10 figures, submitted to the special edition of JPA for the 50 years of Bell's theorem. Comments especially welcome. See also faacets.com

Correlations of entangled quantum states cannot be classically simulated

Authors: Denis Rosset, Cyril Branciard, Nicolas Gisin, Yeong-Cherng Liang

Abstract: Simulation tasks are insightful tools to compare information-theoretic resources. Considering a generalization of usual Bell scenarios where external quantum inputs are provided to the parties, we show that any entangled quantum state exhibits correlations that cannot be simulated using only shared randomness and classical communication, even when the amount and rounds of classical communication i… ▽ More Simulation tasks are insightful tools to compare information-theoretic resources. Considering a generalization of usual Bell scenarios where external quantum inputs are provided to the parties, we show that any entangled quantum state exhibits correlations that cannot be simulated using only shared randomness and classical communication, even when the amount and rounds of classical communication involved are unrestricted. We indeed construct explicit Bell-like inequalities that are necessarily satisfied by such classical resources but nevertheless violated by correlations obtainable from entangled quantum states, when measured a single copy at a time. △ Less

Submitted 5 June, 2013; v1 submitted 15 November, 2012; originally announced November 2012.

Comments: 9 pages, 1 figure. Version published in NJP

Journal ref: New J. Phys. 15 053025 (2013)

Measurement-Device-Independent Entanglement Witnesses for All Entangled Quantum States

Authors: Cyril Branciard, Denis Rosset, Yeong-Cherng Liang, Nicolas Gisin

Abstract: The problem of demonstrating entanglement is central to quantum information processing applications. Resorting to standard entanglement witnesses requires one to perfectly trust the implementation of the measurements to be performed on the entangled state, which may be an unjustified assumption. Inspired by the recent work of F. Buscemi [Phys. Rev. Lett. 108, 200401 (2012)], we introduce the conce… ▽ More The problem of demonstrating entanglement is central to quantum information processing applications. Resorting to standard entanglement witnesses requires one to perfectly trust the implementation of the measurements to be performed on the entangled state, which may be an unjustified assumption. Inspired by the recent work of F. Buscemi [Phys. Rev. Lett. 108, 200401 (2012)], we introduce the concept of Measurement-Device-Independent Entanglement Witnesses (MDI-EWs), which allow one to demonstrate entanglement of all entangled quantum states with untrusted measurement apparatuses. We show how to systematically obtain such MDI-EWs from standard entanglement witnesses. Our construction leads to MDI-EWs that are loss-tolerant, and can be implemented with current technology. △ Less

Submitted 11 February, 2013; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: 5 pages

Journal ref: Phys. Rev. Lett. 110, 060405 (2013)

All entangled states display some hidden nonlocality

Authors: Yeong-Cherng Liang, Lluis Masanes, Denis Rosset

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

Submitted 6 December, 2012; v1 submitted 1 October, 2012; originally announced October 2012.

Comments: v2: Essentially published version

Journal ref: Physical Review A vol. 86, art. 052115 (2011)

Imperfect measurements settings: implications on quantum state tomography and entanglement witnesses

Authors: Denis Rosset, Raphael Ferretti-Schöbitz, Jean-Daniel Bancal, Nicolas Gisin, Yeong-Cherng Liang

Abstract: Reliable and well-characterized quantum resources are indispensable ingredients in quantum information processing. Typically, in a realistic characterization of these resources, apparatuses come with intrinsic uncertainties that can manifest themselves in the form of systematic errors. While systematic errors are generally accounted for through careful calibration, the effect of remaining imperfec… ▽ More Reliable and well-characterized quantum resources are indispensable ingredients in quantum information processing. Typically, in a realistic characterization of these resources, apparatuses come with intrinsic uncertainties that can manifest themselves in the form of systematic errors. While systematic errors are generally accounted for through careful calibration, the effect of remaining imperfections on the characterization of quantum resources has been largely overlooked in the literature. In this paper, we investigate the effect of systematic errors that arise from imperfect alignment of measurement bases --- an error that can conceivably take place due to the limited controlability of measurement devices. We show that characterization of quantum resources using quantum state tomography or entanglement witnesses can be undermined with an amount of such imprecision that is not uncommon in laboratories. Curiously, for quantum state tomography, we find that having entanglement can help to reduce the susceptibility to this kind of error. We also briefly discuss how a given entanglement witness can be modified to incorporate the effect of such errors. △ Less

Submitted 2 July, 2012; v1 submitted 5 March, 2012; originally announced March 2012.

Comments: 13 pages, 9 figures. Key results moved from Appendices to main text, proofs strengthened, figures added and text corrected to aid readability

Journal ref: Physical Review A 86, 062325 (2012)

Classical simulation of entanglement swap** with bounded communication

Authors: Cyril Branciard, Nicolas Brunner, Harry Buhrman, Richard Cleve, Nicolas Gisin, Samuel Portmann, Denis Rosset, Mario Szegedy

Abstract: Entanglement appears under two different forms in quantum theory, namely as a property of states of joint systems and as a property of measurement eigenstates in joint measurements. By combining these two aspects of entanglement, it is possible to generate nonlocality between particles that never interacted, using the protocol of entanglement swap**. We show that even in the more constraining bi… ▽ More Entanglement appears under two different forms in quantum theory, namely as a property of states of joint systems and as a property of measurement eigenstates in joint measurements. By combining these two aspects of entanglement, it is possible to generate nonlocality between particles that never interacted, using the protocol of entanglement swap**. We show that even in the more constraining bilocal scenario where distant sources of particles are assumed to be independent, i.e. to share no prior randomness, this process can be simulated classically with bounded communication, using only 9 bits in total. Our result thus provides an upper bound on the nonlocality of the process of entanglement swap**. △ Less

Submitted 2 March, 2012; originally announced March 2012.

Comments: 6 pages, 1 figure

Journal ref: Phys. Rev. Lett. 109, 100401 (2012)

Bilocal versus non-bilocal correlations in entanglement swap** experiments

Authors: Cyril Branciard, Denis Rosset, Nicolas Gisin, Stefano Pironio

Abstract: Entanglement swap** is a process by which two initially independent quantum systems can become entangled and generate nonlocal correlations. To characterize such correlations, we compare them to those predicted by bilocal models, where systems that are initially independent are described by uncorrelated states. We extend in this paper the analysis of bilocal correlations initiated in [Phys. Rev.… ▽ More Entanglement swap** is a process by which two initially independent quantum systems can become entangled and generate nonlocal correlations. To characterize such correlations, we compare them to those predicted by bilocal models, where systems that are initially independent are described by uncorrelated states. We extend in this paper the analysis of bilocal correlations initiated in [Phys. Rev. Lett. 104, 170401 (2010)]. In particular, we derive new Bell-type inequalities based on the bilocality assumption in different scenarios, we study their possible quantum violations, and analyze their resistance to experimental imperfections. The bilocality assumption, being stronger than Bell's standard local causality assumption, lowers the requirements for the demonstration of quantumness in entanglement swap** experiments. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Journal ref: Phys. Rev. A 85, 032119 (2012)

Communication cost of simulating entanglement swap**

Authors: Nicolas Brunner, Cyril Branciard, Nicolas Gisin, Denis Rosset

Abstract: Entanglement appears in two different ways in quantum mechanics, namely as a property of states and as a property of measurement outcomes in joint measurements. By combining these two aspects of entanglement, it is possible to generate nonlocality between particles that never interacted, using the protocol of entanglement swap**. We investigate the communication cost of classically simulating th… ▽ More Entanglement appears in two different ways in quantum mechanics, namely as a property of states and as a property of measurement outcomes in joint measurements. By combining these two aspects of entanglement, it is possible to generate nonlocality between particles that never interacted, using the protocol of entanglement swap**. We investigate the communication cost of classically simulating this process. While the communication cost of simulating nonlocal correlations of entangled states appears to be generally quite low, we show here that infinite communication is required to simulate entanglement swap**. This result is derived in the scenario of bilocality, where distant sources of particles are assumed to be independent, and takes advantage of a previous result of Massar et al. [Phys. Rev. A {\bf 63}, 052305 (2001)]. Our result implies that any classical model simulating entanglement swap** must either assume that (i) infinite shared randomness is available between any two locations in the universe, or that (ii) infinite communication takes place. △ Less

Submitted 25 September, 2012; v1 submitted 25 March, 2011; originally announced March 2011.

Comments: 4 pages. This paper has been withdrawn by the authors. It is actually shown in Phys. Rev. Lett. 109, 100401 (2012) (preprint ar** can be simulated in a bilocal manner with finite communication, which contradicts the wrong claims of this paper