Extensive search of Shannon entropy-based randomness certification protocols
Robert Okuła, Piotr Mironowicz
TL;DR
This work addresses the problem of device-independent randomness certification by evaluating a vast catalog of Bell expressions for a $(4,3)$ measurement configuration using Shannon entropy as the primary randomness metric. It introduces a scalable framework that models the source as a Werner state $\rho = p \tfrac{I}{4} + (1-p)|\psi\rangle\langle\psi|$, computes Tsirelson bounds via the NPA SDP hierarchy, and estimates entropy with both analytic upper-bound distributions $P_H$ and nonlinear optimization. The study identifies five notable protocols with favorable entropy across white-noise levels $p\in\{10^{-6},0.1,0.2\}$ and reveals that analytic entropy bounds generally upper-bound the true randomness, necessitating nonlinear refinement for precise quantification. Additionally, the authors extend the analysis to self-testing for boxes and quantify the Flex metric, finding limited box-certifiability at very low noise and its loss under higher noise, thereby informing robust DI-RNG protocol design.
Abstract
Quantum technologies offer significant advancements in information processing and communication, notably in the domain of random number generation (RNG). The use of Bell inequalities enables users to certify the randomness of outputs produced by untrusted quantum RNG devices. We present a method for quantitatively analyzing Bell expressions used to certify randomness in quantum systems. Using this method, we conducted a comprehensive analysis on more than half a million Bell expressions involving configurations with four measurement settings for one party and three for the other. We identified five notable examples based on entropy scores under varying levels of white noise. As an extension of these results, we further incorporate the concept of self-testing for boxes (Banacki et al 2022, New J. Phys. 24 083003), enabling a more comprehensive characterization of quantum correlations through the evaluation of $Boxes(α, B)$ and the corresponding measure $Flex(α, B)$.
