Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Scientific Reports

Security of Semi-Device-Independent Random Number Expansion Protocols

Dandan Li, Qiaoyan Wen, Yukun Wang, Yuqian Zhou, Fei Gao

Published Oct 27, 2015• 8 citations
Publisher

Abstract

Semi-device-independent random number expansion (SDI-RNE) protocols require some truly random numbers to generate fresh ones, with making no assumptions on the internal working of quantum devices except for the dimension of the Hilbert space. The generated randomness is certified by non-classical correlation in the prepare-and-measure test. Until now, the analytical relations between the amount of the generated randomness and the degree of non-classical correlation, which are crucial for evaluating the security of SDI-RNE protocols, are not clear under both the ideal condition and the practical one. In the paper, first, we give the analytical relation between the above two factors under the ideal condition. As well, we derive the analytical relation under the practical conditions, where devices' behavior is not independent and identical in each round and there exists deviation in estimating the non-classical behavior of devices. Furthermore, we choose a different randomness extractor (i.e., two-universal random function) and give the security proof.

DOI
10.1038/srep15543

Related papers

Bounds on semi-device-independent quantum random-number expansion capabilities

Vaisakh Mannalath, Anirban Pathak

The randomness expansion capabilities of semi-device-independent (SDI) prepare and measure protocols are analyzed under the sole assumption that the Hilbert state dimension is known. It is explicitly proved that the maximum certifiable entropy that can be obtained through this set of protocols is $\ensuremath{-}{log}_{2}[\frac{1}{2}(1+\frac{1}{\sqrt{3}})]$ and the same is independent of the dimension witnesses used to certify the protocol. The minimum number of preparation and measurement settings required to achieve this entropy is also proven. An SDI protocol that generates the maximum output entropy with the least amount of input setting is provided. An analytical relationship between the entropy generated and the witness value is obtained. It is also established that certifiable entropy can be generated as soon as the dimension witness crosses the classical bound, making the protocol noise-robust and useful in practical applications.

arXiv:2111.14082•Physical Review A•Feb 23, 2022•8 citations

Effects of relaxed assumptions on semi-device-independent randomness expansion

Yukun Wang, Su‐Juan Qin, Tingting Song +3 more

Semi-device-independent randomness expansion is the protocol which can generate and certify perfect free random numbers, without making detailed assumptions on the internal working of quantum devices, except the bound on the dimension of the Hilbert space. The two-dimensional (2D) quantum witness violation has been used to generate guaranteed fresh randomness from untrusted devices in the prepare-and-measure configuration. In this paper we first show that the 2D quantum witness violation can be simulated by a classical deterministic process by relaxing the assumption of the dimension. A deterministic process to simulate the generation of random numbers is given, under the hidden variables model, with just the high dimensional measurement device and one qubit communication. This makes the generated number essentially deterministic, which is said to be pseudorandom. Then we also show that when we relax the freedom of choice, there is the exact region for which quantum correlations can be simulated by the classical process in the task of randomness expansion.

Physical Review A•Mar 11, 2014•5 citations

Improvements on Device Independent and Semi-Device Independent Protocols of Randomness Expansion

Rutvij Bhavsar

To generate genuine random numbers, random number generators based on quantum theory are essential. However, ensuring that the process used to produce randomness meets desired security standards can pose challenges for traditional quantum random number generators. This thesis delves into Device Independent (DI) and Semi-Device Independent (semi-DI) protocols of randomness expansion, based on a minimal set of experimentally verifiable security assumptions. The security in DI protocols relies on the violation of Bell inequalities, which certify the quantum behavior of devices. The semi-DI protocols discussed in this thesis require the characterization of only one device - a power meter. These protocols exploit the fact that quantum states can be prepared such that they cannot be distinguished with certainty, thereby creating a randomness resource. In this study, we introduce enhanced DI and semi-DI protocols that surpass existing ones in terms of output randomness rate, security, or in some instances, both. Our analysis employs the Entropy Accumulation Theorem (EAT) to determine the extractable randomness for finite rounds. A notable contribution is the introduction of randomness expansion protocols that recycle input randomness, significantly enhancing finite round randomness rates for DI protocols based on the CHSH inequality violation. In the final section of the thesis, we delve into Generalized Probability Theories (GPTs), with a focus on Boxworld, the largest GPT capable of producing correlations consistent with relativity. A tractable criterion for identifying a Boxworld channel is presented.

arXiv:2311.13528•Nov 22, 2023•0 citations

Randomness expansion with a one-sided trusted device

Hong Wang, Kai Chen, Ming Gao +4 more

We study a semi-device-independent (SDI) randomness expansion protocol with a trusted source or detector. It is not difficult to characterize the source or the detector when their dimensions are limited in the SDI scenario. By adding the reasonable assumption, our protocol offers higher min-entropy and, thus, can be used to certify more randomness than the standard SDI protocol of H.-W. Li et al. [Phys. Rev. A 84, 034301 (2011)]. Moreover, randomness expansion can be realized with a lower detection efficiency (about 85.4%) in the trusted source case than the standard one (about 93.4%). Meanwhile, this advantage is robust against parameter deviations of the source. But on the other hand, the sharp measurement cannot improve the performance much in this case. So, there is no need to characterize the measurement accurately. Furthermore, an analytical formula describing the relationship between the dimension witness value and the min-entropy of the output string is derived directly.

Physical Review A•May 8, 2015•1 citation

Reduced gap between observed and certified randomness for semi-device-independent protocols

Yukun Wang, Su‐Juan Qin, Xia Wu +2 more

Quantum systems can be used to certify the existence of true randomness in nature, and semi-device-independent (SDI) randomness expansion has been used to achieve this goal under the prepare-measure configuration. Usually, randomness is certified with the degree of violation of some inequalities. However, the observed statistics characterizing SDI protocols contain much richer information than just a single value of the inequality. Thus, there might be a gap between the randomness in observed statistics and the randomness we certify. The purpose of this paper is to optimize the use of the full observed statistics to reduce that gap. It shows that certifying randomness directly from the full observed statistics but not some inequality is available in the SDI protocols. Besides, average of guessing probabilities should be considered as randomness quantitative standards, since it certifies more randomness than the previous maximal guessing probability method. In the analysis, we take into account the assumption that the devices and the potential adversary are classically correlated.

Physical Review A•Nov 19, 2015•4 citations

Semi-device-independent random-number expansion without entanglement

Hong-Wei Li, Zhen−Qiang Yin, Yu-Chun Wu +5 more

By testing the classical correlation violation between two systems, true random numbers can be generated and certified without applying classical statistical method. In this work, we propose a true random-number expansion protocol without entanglement, where the randomness can be guaranteed only by the two-dimensional quantum witness violation. Furthermore, we only assume that the dimensionality of the system used in the protocol has a tight bound, and the whole protocol can be regarded as a semi-device-independent black-box scenario. Compared with the device-independent random-number expansion protocol based on entanglement, our protocol is much easier to implement and test.

arXiv:1108.1480•Physical Review A•Sep 14, 2011•128 citations
Semi-device-independent random number expansion (SDI-RNE) protocols require some truly random numbers to generate fresh ones, with making no assumptions on the internal working of quantum devices except for the dimension of the Hilbert space. The generated randomness is certified by non-classical correlation in the prepare-and-measure test. Until now, the analytical relations between the amount of the generated randomness and the degree of non-classical correlation, which are crucial for evaluating the security of SDI-RNE protocols, are not clear under both the ideal condition and the practical one. In the paper, first, we give the analytical relation between the above two factors under the ideal condition. As well, we derive the analytical relation under the practical conditions, where devices' behavior is not independent and identical in each round and there exists deviation in estimating the non-classical behavior of devices. Furthermore, we choose a different randomness extractor (i.e., two-universal random function) and give the security proof.
The randomness expansion capabilities of semi-device-independent (SDI) prepare and measure protocols are analyzed under the sole assumption that the Hilbert state dimension is known. It is explicitly proved that the maximum certifiable entropy that can be obtained through this set of protocols is $\ensuremath{-}{log}_{2}[\frac{1}{2}(1+\frac{1}{\sqrt{3}})]$ and the same is independent of the dimension witnesses used to certify the protocol. The minimum number of preparation and measurement settings required to achieve this entropy is also proven. An SDI protocol that generates the maximum output entropy with the least amount of input setting is provided. An analytical relationship between the entropy generated and the witness value is obtained. It is also established that certifiable entropy can be generated as soon as the dimension witness crosses the classical bound, making the protocol noise-robust and useful in practical applications.
Semi-device-independent randomness expansion is the protocol which can generate and certify perfect free random numbers, without making detailed assumptions on the internal working of quantum devices, except the bound on the dimension of the Hilbert space. The two-dimensional (2D) quantum witness violation has been used to generate guaranteed fresh randomness from untrusted devices in the prepare-and-measure configuration. In this paper we first show that the 2D quantum witness violation can be simulated by a classical deterministic process by relaxing the assumption of the dimension. A deterministic process to simulate the generation of random numbers is given, under the hidden variables model, with just the high dimensional measurement device and one qubit communication. This makes the generated number essentially deterministic, which is said to be pseudorandom. Then we also show that when we relax the freedom of choice, there is the exact region for which quantum correlations can be simulated by the classical process in the task of randomness expansion.
To generate genuine random numbers, random number generators based on quantum theory are essential. However, ensuring that the process used to produce randomness meets desired security standards can pose challenges for traditional quantum random number generators. This thesis delves into Device Independent (DI) and Semi-Device Independent (semi-DI) protocols of randomness expansion, based on a minimal set of experimentally verifiable security assumptions. The security in DI protocols relies on the violation of Bell inequalities, which certify the quantum behavior of devices. The semi-DI protocols discussed in this thesis require the characterization of only one device - a power meter. These protocols exploit the fact that quantum states can be prepared such that they cannot be distinguished with certainty, thereby creating a randomness resource. In this study, we introduce enhanced DI and semi-DI protocols that surpass existing ones in terms of output randomness rate, security, or in some instances, both. Our analysis employs the Entropy Accumulation Theorem (EAT) to determine the extractable randomness for finite rounds. A notable contribution is the introduction of randomness expansion protocols that recycle input randomness, significantly enhancing finite round randomness rates for DI protocols based on the CHSH inequality violation. In the final section of the thesis, we delve into Generalized Probability Theories (GPTs), with a focus on Boxworld, the largest GPT capable of producing correlations consistent with relativity. A tractable criterion for identifying a Boxworld channel is presented.
We study a semi-device-independent (SDI) randomness expansion protocol with a trusted source or detector. It is not difficult to characterize the source or the detector when their dimensions are limited in the SDI scenario. By adding the reasonable assumption, our protocol offers higher min-entropy and, thus, can be used to certify more randomness than the standard SDI protocol of H.-W. Li et al. [Phys. Rev. A 84, 034301 (2011)]. Moreover, randomness expansion can be realized with a lower detection efficiency (about 85.4%) in the trusted source case than the standard one (about 93.4%). Meanwhile, this advantage is robust against parameter deviations of the source. But on the other hand, the sharp measurement cannot improve the performance much in this case. So, there is no need to characterize the measurement accurately. Furthermore, an analytical formula describing the relationship between the dimension witness value and the min-entropy of the output string is derived directly.
Quantum systems can be used to certify the existence of true randomness in nature, and semi-device-independent (SDI) randomness expansion has been used to achieve this goal under the prepare-measure configuration. Usually, randomness is certified with the degree of violation of some inequalities. However, the observed statistics characterizing SDI protocols contain much richer information than just a single value of the inequality. Thus, there might be a gap between the randomness in observed statistics and the randomness we certify. The purpose of this paper is to optimize the use of the full observed statistics to reduce that gap. It shows that certifying randomness directly from the full observed statistics but not some inequality is available in the SDI protocols. Besides, average of guessing probabilities should be considered as randomness quantitative standards, since it certifies more randomness than the previous maximal guessing probability method. In the analysis, we take into account the assumption that the devices and the potential adversary are classically correlated.
By testing the classical correlation violation between two systems, true random numbers can be generated and certified without applying classical statistical method. In this work, we propose a true random-number expansion protocol without entanglement, where the randomness can be guaranteed only by the two-dimensional quantum witness violation. Furthermore, we only assume that the dimensionality of the system used in the protocol has a tight bound, and the whole protocol can be regarded as a semi-device-independent black-box scenario. Compared with the device-independent random-number expansion protocol based on entanglement, our protocol is much easier to implement and test.