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

arXiv:1405.3971 · Physical Review A

Properties of dimension witnesses and their semidefinite programming relaxations

Piotr Mironowicz, Hong-Wei Li, Marcin Pawłowski

Published Aug 20, 2014• 22 citations
arXivHTMLPDF

Abstract

In this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Paw\l{}owski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension witnesses. We also investigate the robustness of some randomness expanders using this method. We show the role of an assumption about the trace of the measurement operators and a way to avoid it. The method is also generalized to systems of arbitrary dimension and for a more general form of dimension witnesses than in our previous paper. Finally, we introduce a procedure of dimension witness reduction, which can be used to obtain from an existing witness a new one with a higher amount of certifiable randomness. The presented methods find an application for experiments [J. Ahrens, P. Badziag, M. Pawlowski, M. Zukowski, and M. Bourennane, Phys. Rev. Lett. 112, 140401 (2014)].

DOI
10.1103/physreva.90.022322

Related papers

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

Semi-device-independent randomness expansion with partially free random sources

Yuqian Zhou, Hongwei Li, Yukun Wang +3 more

By proposing device-independent protocols, Pironio et al. [Nature (London) 464, 1021 (2010)] and Colbeck et al. [Nat. Phys. 8, 450 (2012)] proved that new randomness can be generated by using perfectly free random sources or partially free ones as seed. Subsequently, Li et al. [Phys. Rev. A 84, 034301 (2011)] studied this topic in the framework of semi-device-independent and proved that new randomness can be obtained from perfectly free random sources. Here we discuss whether and how partially free random sources bring us new randomness in a semi-device-independent scenario. We propose a semi-device-independent randomness expansion protocol with partially free random sources and obtain the condition that the partially free random sources should satisfy to generate new randomness. In the process of analysis, we acquire a two-dimensional quantum witness. Furthermore, we get the analytic relationship between the generated randomness and the two-dimensional quantum witness violation.

arXiv:1503.03691•Physical Review A•Aug 13, 2015•16 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

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

Semi-device-independent randomness expansion with partially free random sources using 3→1 quantum random access code

Yuqian Zhou, Fei Gao, Dandan Li +2 more

We have proved that new randomness can be certified by partially free sources using $2\ensuremath{\rightarrow}1$ quantum random access code (QRAC) in the framework of semi-device-independent (SDI) protocols [Y.-Q. Zhou, H.-W. Li, Y.-K. Wang, D.-D. Li, F. Gao, and Q.-Y. Wen, Phys. Rev. A 92, 022331 (2015)]. To improve the effectiveness of the randomness generation, here we propose the SDI randomness expansion using $3\ensuremath{\rightarrow}1$ QRAC and obtain the corresponding classical and quantum bounds of the two-dimensional quantum witness. Moreover, we get the condition which should be satisfied by the partially free sources to successfully certify new randomness, and the analytic relationship between the certified randomness and the two-dimensional quantum witness violation.

Physical Review A•Sep 19, 2016•14 citations

Bounding the Set of Finite Dimensional Quantum Correlations

Miguel Navascués, Tamás Vértesi

We describe a simple method to derive high performance semidefinite programing relaxations for optimizations over complex and real operator algebras in finite dimensional Hilbert spaces. The method is very flexible, easy to program, and allows the user to assess the behavior of finite dimensional quantum systems in a number of interesting setups. We use this method to bound the strength of quantum nonlocality in Bell scenarios where the dimension of the parties is bounded from above. We derive new results in quantum communication complexity and prove the soundness of the prepare-and-measure dimension witnesses introduced in Gallego et al., Phys. Rev. Lett. 105, 230501 (2010). Finally, we propose a new dimension witness that can distinguish between classical, real, and complex two-level systems.

arXiv:1412.0924•Physical Review Letters•Jul 7, 2015•94 citations
In this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Paw\l{}owski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension witnesses. We also investigate the robustness of some randomness expanders using this method. We show the role of an assumption about the trace of the measurement operators and a way to avoid it. The method is also generalized to systems of arbitrary dimension and for a more general form of dimension witnesses than in our previous paper. Finally, we introduce a procedure of dimension witness reduction, which can be used to obtain from an existing witness a new one with a higher amount of certifiable randomness. The presented methods find an application for experiments [J. Ahrens, P. Badziag, M. Pawlowski, M. Zukowski, and M. Bourennane, Phys. Rev. Lett. 112, 140401 (2014)].
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.
By proposing device-independent protocols, Pironio et al. [Nature (London) 464, 1021 (2010)] and Colbeck et al. [Nat. Phys. 8, 450 (2012)] proved that new randomness can be generated by using perfectly free random sources or partially free ones as seed. Subsequently, Li et al. [Phys. Rev. A 84, 034301 (2011)] studied this topic in the framework of semi-device-independent and proved that new randomness can be obtained from perfectly free random sources. Here we discuss whether and how partially free random sources bring us new randomness in a semi-device-independent scenario. We propose a semi-device-independent randomness expansion protocol with partially free random sources and obtain the condition that the partially free random sources should satisfy to generate new randomness. In the process of analysis, we acquire a two-dimensional quantum witness. Furthermore, we get the analytic relationship between the generated randomness and the two-dimensional quantum witness violation.
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.
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.
We have proved that new randomness can be certified by partially free sources using $2\ensuremath{\rightarrow}1$ quantum random access code (QRAC) in the framework of semi-device-independent (SDI) protocols [Y.-Q. Zhou, H.-W. Li, Y.-K. Wang, D.-D. Li, F. Gao, and Q.-Y. Wen, Phys. Rev. A 92, 022331 (2015)]. To improve the effectiveness of the randomness generation, here we propose the SDI randomness expansion using $3\ensuremath{\rightarrow}1$ QRAC and obtain the corresponding classical and quantum bounds of the two-dimensional quantum witness. Moreover, we get the condition which should be satisfied by the partially free sources to successfully certify new randomness, and the analytic relationship between the certified randomness and the two-dimensional quantum witness violation.
We describe a simple method to derive high performance semidefinite programing relaxations for optimizations over complex and real operator algebras in finite dimensional Hilbert spaces. The method is very flexible, easy to program, and allows the user to assess the behavior of finite dimensional quantum systems in a number of interesting setups. We use this method to bound the strength of quantum nonlocality in Bell scenarios where the dimension of the parties is bounded from above. We derive new results in quantum communication complexity and prove the soundness of the prepare-and-measure dimension witnesses introduced in Gallego et al., Phys. Rev. Lett. 105, 230501 (2010). Finally, we propose a new dimension witness that can distinguish between classical, real, and complex two-level systems.