Randomness Expansion Secured by Quantum Contextuality

  title={Randomness Expansion Secured by Quantum Contextuality},
  author={Mark Um and Qi Zhao and Junhua Zhang and Pengfei Wang and Ye Wang and Mu Qiao and Hongyi Zhou and Xiongfeng Ma and Kihwan Kim},
  journal={Physical Review Applied},
The output randomness from a random number generator can be certified by observing the violation of quantum contextuality inequalities based on the Kochen-Specker theorem. Contextuality can be tested in a single quantum system, which significantly simplifies the experimental requirements to observe the violation comparing to the ones based on nonlocality tests. However, it is not yet resolved how to ensure compatibilities for sequential measurements that is required in contextuality tests. Here… 
2 Citations

Figures and Tables from this paper

Semi-device-independent randomness certification using Mermin’s proof of Kochen–Specker contextuality
It is conjecture that the proposed semi-device-independent randomness certification protocols can be extended to certify any arbitrary bit of randomness through a suitable KS proof of contextuality valid for higher-dimensional system.


Experimental Certification of Random Numbers via Quantum Contextuality
A random number generator is demonstrated where the randomness is certified by quantum contextuality in connection with the Kochen-Specker theorem and is guaranteed to have 5.2 × 104 bits of minimum entropy with a 99% confidence level.
Device-independent quantum random-number generation
Genuine, unpredictable quantum random-number generation that is provably secure against quantum and classical adversaries is demonstrated, certified by the loophole-free violation of a Bell inequality.
Experimentally generated randomness certified by the impossibility of superluminal signals
1,024 random bits that are uniformly distributed to within 10−12 and unpredictable assuming the impossibility of superluminal communication are generated and certified using a loophole-free Bell test and a protocol is described that is optimized for devices that are characterized by a low per-trial violation of Bell inequalities.
Security of practical private randomness generation
It is pointed out that in most real, practical situations, where the concept of device independence is used as a protection against unintentional flaws or failures of the quantum apparatuses, it is sufficient to show that the generated string is random with respect to an adversary that holds only classical side information; i.e., proving randomness against quantum side information is not necessary.
Realization of a Quantum Random Generator Certified with the Kochen-Specker Theorem.
An experimental realization of a quantum random number generator (QRNG) with randomness certified by quantum contextuality and the Kochen-Specker theorem is reported.
Random numbers certified by Bell’s theorem
It is shown that the non-local correlations of entangled quantum particles can be used to certify the presence of genuine randomness, and it is thereby possible to design a cryptographically secure random number generator that does not require any assumption about the internal working of the device.
Universal Security for Randomness Expansion from the Spot-Checking Protocol
A new uncertainty principle for the Schatten norm, which is based on the uniform convexity ineq... gives the first security proof for randomness expansion based on Kochen--Specker inequalities.
Sustained State-Independent Quantum Contextual Correlations from a Single Ion.
A single trapped-ion qutrit is used to demonstrate the quantum-state-independent violation of noncontextuality inequalities using a sequence of randomly chosen quantum nondemolition projective measurements, which unambiguously violate an optimal noncontextual bound.
Source-independent quantum random number generation
This work proposes a source-independent scheme for quantum random number generation in which output randomness can be certified, even when the source is uncharacterized and untrusted, and takes into account the finite-key effect with the composable security definition.
Contextuality without nonlocality in a superconducting quantum system
This work uses a superconducting qutrit with deterministic, binary-outcome readouts to violate a noncontextuality inequality while addressing the detection, individual-existence and compatibility loopholes, demonstrating the fitness ofsuperconducting quantum circuits for fault-tolerant quantum computation in surface-code architectures.