Unbounded randomness certification using sequences of measurements

Abstract

Unpredictability, or randomness, of the outcomes of measurements made on an entangled state can be certified provided that the statistics violate a Bell inequality. In the standard Bell scenario where each party performs a single measurement on its share of the system, only a finite amount of randomness, of at most 4 log 2 d bits, can be certified from a pair of entangled particles of dimension d. Our work shows that this fundamental limitation can be overcome using sequences of (nonprojective) measurements on the same system. More precisely, we prove that one can certify any amount of random bits from a pair of qubits in a pure state as the resource, even if it is arbitrarily weakly entangled. In addition, this certification is achieved by near-maximal violation of a particular Bell inequality for each measurement in the sequence.Introduction.-Bell's theorem [1] has shown that the predictions of quantum mechanics demonstrate non-locality. That is, they cannot be described by a theory in which there are objective properties of a system prior to measurement that satisfy the no-signalling principle (sometimes referred to as "local realism"). Thus, if one requires the no-signalling principle to be satisfied at the operational level then the outcomes of measurements demonstrating non-locality must be unpredictable [1][2][3]. This unpredictability, or randomness, is not the result of ignorance about the system preparation but is intrinsic to the theory.Although the connection between quantum non-locality (via Bell's theorem) and the existence of intrinsic randomness is well known [1][2][3][4] it was analyzed in a quantitative way only recently [5,6]. It was shown how to use nonlocality (probability distributions that violate a Bell inequality) to certify the unpredictability of the outcomes of certain physical processes. This was termed device-independent randomness certification, because the certification only relies on the statistical properties of the outcomes and not on how they were produced. The development of information protocols exploiting this certified form of randomness, such as deviceindependent randomness expansion [5][6][7] and amplification protocols [8,9], followed.Entanglement is a necessary resource for quantum nonlocality, which in turn is required for randomness certification. It is thus crucial to understand qualitatively and quantitatively how these three fundamental quantities relate to one another. In our work, we focus on asking how much certifiable randomness can be obtained from a single entangled state as a resource. Progress has been made in this direction for entangled states shared between two parties, Alice (A) and Bob (B), in the standard scenario where each party makes a single measurement on his share of the system and then discards it. An argument adapted from Ref. [10] shows that either of the two parties, A or B can certify at most 2log 2 d bits of randomness [11], where d is the dimension of the local Hilbert space the state lives in, which in turn implies a bound of 4log 2 d b...

Anomalous weak values and the violation of a multiple-measurement Leggett-Garg inequality

“…This is a manifestation of the good quality of our device, which may find applications in random number generators [65][66][67]. Care must be taken, however, in extending these considerations to adversarial scenarios, when the presence of loopholes, either from fair sampling or from "clumsiness" of the experimenter [37,68], can play a role.…”

Unbounded sequence of observers exhibiting Einstein-Podolsky-Rosen steering

“…The last equality is obtained by replacing the factor d by the sum over b i , then remarking that in the integral the index b i can be used to address any other column of U (since they play similar roles), and eventually to permute the sum and the integral to recover exactly Eq. (13). Interestingly, the steering properties of CSMUB have already been characterized [28].…”

“…Moreover, they showed that an arbitrary long sequence of Bobs can establish nonlocal correlations with Alice, given that their measurement inputs are judiciously biased. This motivated further work exploring the potential of these ideas for randomness generation [13] and their classical communication cost [14], and led to experimental demonstrations [15,16]. More recently, these ideas were extended to other types of quantum correlations [17][18][19].…”

A Framework for Quantum-Secure Device-Independent Randomness Expansion

“…Optimizing the choice of min-tradeoff function over F min is a non-convex and not necessarily continuous problem [60]. Our analysis in Sec.…”