Quantum steering is a relatively simple test for proving that the values of quantum-mechanical measurement outcomes come into being only in the act of measurement. By exploiting quantum correlations, Alice can influence-steer-Bob's physical system in a way that is impossible in classical mechanics, as shown by the violation of steering inequalities. Demonstrating this and similar quantum effects for systems of increasing size, approaching even the classical limit, is a long-standing challenging problem. Here, we prove an experimentally feasible unbounded violation of a steering inequality. We derive its universal form where tolerance for measurement-setting errors is explicitly built in by means of the Deutsch-Maassen-Uffink entropic uncertainty relation. Then, generalizing the mutual unbiasedness, we apply the inequality to the multisinglet and multiparticle bipartite Bell state. However, the method is general and opens the possibility of employing multiparticle bipartite steering for randomness certification and development of quantum technologies, e.g., random access codes.
Quantum Bell nonlocality allows for the design of protocols that amplify the randomness of public and arbitrarily biased Santha-Vazirani sources, a classically impossible task. Information-theoretical security in these protocols is certified in a device-independent manner, i.e. solely from the observed nonlocal statistics and without any assumption about the inner-workings of the intervening devices. On the other hand, if one is willing to trust on a complete quantum-mechanical description of a protocol's devices, the elementary scheme in which a qubit is alternatively measured in a pair of mutually unbiased bases is, straightforwardly, a protocol for randomness amplification. In this work, we study the unexplored middle ground. We prove that full randomness amplification can be achieved without requiring entanglement or a complete characterization of the intervening quantum states and measurements. Based on the energy-bounded framework introduced in [Van Himbeeck et al., Quantum 1, 33 (2017)], our prepare-and-measure protocol is able to amplify the randomness of any public Santha-Vazirani source, requiring the smallest number of inputs and outcomes possible and being secure against quantum adversaries.
The outcomes of quantum measurements are generally considered to be random, but despite the fact that this randomness is an important element in quantum information theory, its nature is not well understood. In this thesis, we study several issues relating to the origin and certification of quantum randomness and unpredictability. One of the key results in forming our understanding of quantum mechanics as an intrinsically indeterministic theory is the Kochen-Specker theorem, which shows the impossibility to consistently assign simultaneous noncontextual definite values to all quantum mechanical observables prior to measurement. However, the theorem, under the assumption that any definite values must be noncontextual, only strictly shows that some observables must be value indefinite. We strengthen this result, proving a stronger variant of the Kochen-Specker theorem showing that, under the same assumption, if a system is prepared in an arbitrary state j i, then every observable A is value indefinite unless j i is an eigenstate of A. The indeterministic nature of quantum measurements does little to explain how the quality of quantum randomness differs from classical randomness. We show that, subject to certain physical assumptions, a sequence of bits generated by the measurement of value indefinite observables is guaranteed, in the infinite limit, to be strongly incomputable. We further discuss how this can be used to build a quantum random number generator certified by value indefiniteness. Next, we study the notion of unpredictability, which is central to the concept of (quantum) randomness. In doing so, we propose a formal model of prediction that can be used to asses the predictability of arbitrary physical experiments. We investigate how the quantum features of value indefiniteness and complementarity can be used to certify different levels of unpredictability, and show that the outcome of a single measurement of a value indefinite quantum observable is formally unpredictable. Finally, we study the relation between this notion of unpredictability and the computability-theoretic certification of quantum randomness.