Genuine certifiable randomness from a black-box
Pith reviewed 2026-05-15 19:01 UTC · model grok-4.3
The pith
Single-particle quantum measurements certify genuine randomness in a fully black-box setting without any initial seed.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Randomness can be certified in the black-box setting by applying a certification test to outcomes obtained solely from measurements on single-particle quantum states, without any initial random seed and without assumptions on the internal workings of the apparatus.
What carries the argument
The black-box certification test applied to measurement outcomes from single-particle states, which rejects all deterministic data while accepting quantum randomness.
If this is right
- Provably random bits can be extracted using only single-particle sources and standard measurements.
- No pre-shared random seed is required to start the certification process.
- The protocol remains secure against any deterministic adversary regardless of computational power.
- Randomness generation becomes possible with devices whose internal physics need not be characterized.
Where Pith is reading between the lines
- The approach may simplify the hardware needed for device-independent random number generators.
- Similar certification could apply to other single-particle protocols such as quantum key distribution.
- Experimental tests on actual single-particle systems would provide a direct check of the certification threshold.
Load-bearing premise
That the statistical properties of single-particle measurement outcomes alone are sufficient to distinguish any deterministic classical process from genuine quantum randomness.
What would settle it
Exhibiting a deterministic classical algorithm that produces outcome statistics passing the certification test for single-particle measurements would disprove the claim.
Figures
read the original abstract
Randomness is intrinsic to quantum mechanics; the outcome of a measurement on a quantum state is a random variable. This feature has been applied to randomness certification, where one party must decide whether the data they receive is truly random. However, existing demonstrations are not black-box, to avoid falsely certifying deterministic data, assumptions must be made on how the data was generated. Here we demonstrate genuine randomness certification in the black-box setting -- one in which no deterministic adversary, even with unlimited computational power, will succeed in getting their data certified. We use it to provably generate random numbers using only measurements on single particle states and without a random seed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to demonstrate genuine randomness certification in a fully black-box setting, where no deterministic adversary with unlimited computational power can produce certifiable data. It asserts that this is achieved using only measurements on single-particle states and without requiring an initial random seed for measurement choices.
Significance. If the central claim were valid, the result would be highly significant for quantum randomness generation, as it would remove the standard requirements for entanglement and multi-particle Bell tests while still providing device-independent guarantees against unbounded adversaries. However, the approach as described appears to rest on an assumption that single-system statistics alone can bound adversarial knowledge in a manner equivalent to non-local correlations.
major comments (2)
- [Abstract] Abstract: the claim that measurements on single-particle states suffice for black-box certification is not supported by the protocol. Device-independent certification against deterministic adversaries requires violation of a Bell inequality, which in turn requires at least two subsystems and entanglement to produce non-local correlations; a single-particle black-box admits no such test, allowing a deterministic strategy to reproduce any output distribution exactly.
- [Protocol] Protocol section (as described in the abstract and introduction): without an initial random seed, the measurement choices are fixed or deterministic, so no statistical test on the single-system outcomes can exclude a pre-programmed deterministic adversary while still accepting valid quantum data. This undermines the 'genuine' and 'black-box' certification claim.
minor comments (1)
- [Introduction] Introduction: the distinction between the proposed 'black-box' notion and standard device-independent definitions should be made explicit, including any additional assumptions on the single-particle source or measurement apparatus.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. We address the major comments point by point below, indicating where revisions will be made to clarify the scope of our claims.
read point-by-point responses
-
Referee: [Abstract] Abstract: the claim that measurements on single-particle states suffice for black-box certification is not supported by the protocol. Device-independent certification against deterministic adversaries requires violation of a Bell inequality, which in turn requires at least two subsystems and entanglement to produce non-local correlations; a single-particle black-box admits no such test, allowing a deterministic strategy to reproduce any output distribution exactly.
Authors: We agree that fully device-independent certification against an unbounded deterministic adversary requires Bell nonlocality and thus multiple subsystems. Our protocol achieves certification of randomness from single-particle measurements by verifying consistency with quantum statistics that cannot be reproduced by a classical deterministic model without access to the quantum state itself. We will revise the abstract to explicitly state that the result is a black-box certification for single-system quantum devices (semi-device-independent in nature) rather than a fully device-independent protocol relying on non-local correlations. revision: yes
-
Referee: [Protocol] Protocol section (as described in the abstract and introduction): without an initial random seed, the measurement choices are fixed or deterministic, so no statistical test on the single-system outcomes can exclude a pre-programmed deterministic adversary while still accepting valid quantum data. This undermines the 'genuine' and 'black-box' certification claim.
Authors: The absence of a random seed means measurement settings are fixed, limiting the ability to rule out all pre-programmed deterministic strategies. Our certification test instead relies on the observed output distribution matching the quantum prediction (e.g., via frequency or higher-moment checks) while bounding the adversary's predictive power under the assumption that the device implements the claimed single-particle quantum measurement. We will expand the protocol section with a formal security analysis showing the conditions under which a deterministic adversary fails the test, and we will qualify the 'genuine black-box' terminology accordingly. revision: partial
- The fundamental limitation that single-system statistics cannot provide certification equivalent to Bell nonlocality against an unbounded deterministic adversary who controls the device.
Circularity Check
No significant circularity; derivation self-contained against external quantum principles
full rationale
The abstract and available claims present a demonstration of black-box randomness certification via single-particle measurements without seed or device assumptions. No equations, self-citations, or fitted parameters are shown that reduce the central result to its inputs by construction. The load-bearing premise invokes intrinsic quantum randomness and black-box certification bounds, which are independent of the paper's own data or definitions rather than self-referential. This matches the default expectation of non-circularity for papers whose core claim rests on established quantum features rather than renaming or fitting.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J uniqueness) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1 (No-measurement bound for antipodal phase estimation): without measurement mse=1/2; with measurement mse=1/4 (Theorem 2). Single non-separable |theta> as single-use random box.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Uses single-particle states and Born rule p[psi][x] = <psi|X_x^dagger X_x |psi>; no entanglement or initial seed required.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Pironio, S.et al.Random numbers certified by bell’s theorem.Nature464, 1021–1024 (2010). URLhttps://doi. org/10.1038/nature09008
-
[2]
Certified randomness in quantum physics
Ac´ ın, A. & Masanes, L. Certified randomness in quantum physics.Nature540, 213–219 (2016). URLhttps: //doi.org/10.1038/nature20119
-
[3]
Jordan Berg, Shouvanik Chakrabarti, Florian J
Liu, M.et al.Certified randomness using a trapped-ion quantum processor.Nature1–6 (2025). URLhttps://doi. org/10.1038/s41586-025-08737-1
-
[4]
Brakerski, Z., Christiano, P., Mahadev, U., Vazirani, U. & Vidick, T. A cryptographic test of quantumness and certifiable randomness from a single quantum device.Journal of the ACM (JACM)68, 1–47 (2021)
work page 2021
-
[5]
Mahadev, U., Vazirani, U. & Vidick, T. Efficient certifiable randomness from a single quantum device.arXiv preprint arXiv:2204.11353(2022). URLhttps://doi.org/10.48550/arXiv.2204.11353
-
[6]
Aaronson, S. & Hung, S.-H. Certified randomness from quantum supremacy. InProceedings of the 55th Annual ACM Symposium on Theory of Computing, 933–944 (2023)
work page 2023
-
[7]
Fine, A. Hidden variables, joint probability, and the bell inequalities.Physical Review Letters48, 291–295 (1982). URLhttps://link.aps.org/doi/10.1103/PhysRevLett.48.291
-
[8]
Hensen, B.et al.Loophole-free bell inequality violation using electron spins separated by 1.3 kilometres.Nature 526, 682–686 (2015). URLhttp://dx.doi.org/10.1038/nature15759. GENUINE CERTIFIABLE RANDOMNESS FROM A BLACK-BOX 13
-
[9]
Projecting computational power (2018)
Adleman, L. Projecting computational power (2018). URLhttps://adleman.usc.edu/ projecting-computational-power/
work page 2018
-
[10]
Vazirani, U. & Vidick, T. Certifiable quantum dice: or, true random number generation secure against quantum adversaries. InProceedings of the forty-fourth annual ACM symposium on Theory of computing, 61–76 (2012)
work page 2012
- [11]
-
[12]
Wootters, W. K. & Zurek, W. H. A single quantum cannot be cloned.Nature299, 802–803 (1982). URLhttps: //doi.org/10.1038/299802a0
-
[13]
Barnett, S. M. & Pegg, D. T. On the hermitian optical phase operator.Journal of Modern Optics36, 7–19 (1989). URLhttps://doi.org/10.1080/09500348914550021
-
[14]
Aharonov, Y., Massar, S. & Popescu, S. Measuring energy, estimating hamiltonians, and the time-energy uncertainty relation.Physical Review A66, 052107 (2002). URLhttps://link.aps.org/doi/10.1103/PhysRevA.66.052107
-
[15]
O’Donnell, R. & Wright, J. Efficient quantum tomography (2016). URLhttps://doi.org/10.1145/2897518. 2897544
-
[16]
Shadow tomography of quantum states (2018)
Aaronson, S. Shadow tomography of quantum states (2018). URLhttps://doi.org/10.1145/3188745.3188802
- [17]
-
[18]
S.Probabilistic and Statistical Aspects of Quantum Theory(North-Holland Publishing Company, 1982)
Holevo, A. S.Probabilistic and Statistical Aspects of Quantum Theory(North-Holland Publishing Company, 1982)
work page 1982
-
[19]
Braunstein, S. L., Caves, C. M. & Milburn, G. J. Generalized uncertainty relations: Theory, examples, and lorentz invariance.Annals of Physics247, 135–173 (1996). URLhttp://www.sciencedirect.com/science/article/pii/ S0003491696900408
work page 1996
-
[20]
Boixo, S., Flammia, S. T., Caves, C. M. & Geremia, J. Generalized limits for single-parameter quantum estimation. Phys. Rev. Lett.98(2007). URLhttps://doi.org/10.1103/PhysRevLett.98.090401
-
[21]
Jarzyna, M. & Demkowicz-Dobrza´ nski, R. True precision limits in quantum metrology.New Journal of Physics17, 013010 (2015)
work page 2015
-
[22]
Pang, S. & Jordan, A. N. Optimal adaptive control for quantum metrology with time-dependent hamiltonians. Nature Communications8, 14695 (2017). URLhttp://dx.doi.org/10.1038/ncomms14695
-
[23]
G´ orecki, W., Demkowicz-Dobrza´ nski, R., Wiseman, H. M. & Berry, D. W.π-corrected heisenberg limit.Physical Review Letters124, 030501 (2020). URLhttps://link.aps.org/doi/10.1103/PhysRevLett.124.030501
-
[24]
Cram´ er, H.Mathematical methods of statistics(Princeton University Press, Princeton, 1946)
work page 1946
-
[25]
Jelezko, F. & Wrachtrup, J. Single defect centres in diamond: a review.Phys. Status Solidi203, 3207 (2006). URL http://dx.doi.org/10.1002/pssa.200671403
-
[26]
Maze, J. R.et al.Nanoscale magnetic sensing with an individual electronic spin in diamond.Nature455, 644–647 (2008). URLhttps://doi.org/10.1038/nature07279
-
[27]
URLhttps://doi.org/10.1038/nmat2420
Balasubramanian, G.et al.Ultralong spin coherence time in isotopically engineered diamond.Nature Materials8, 383–387 (2009). URLhttps://doi.org/10.1038/nmat2420
-
[28]
Neumann, P.et al.Single-shot readout of a single nuclear spin.Science329, 542–544 (2010). URLhttp://www. sciencemag.org/cgi/content/abstract/329/5991/542
work page 2010
-
[29]
Kitaev, A. Y., Shen, A. & Vyalyi, M. N.Classical and Quantum Computation(American Mathematical Soc., 2002). See Ch. 13.5 pp.125
work page 2002
-
[30]
Nielsen, M. A. & Chuang, I. L.Quantum Computation and Quantum Information(Cambridge University Press, Cambridge, U. K., 2000). See Ch. 5.2, specifically 5.2.1 Performance and requirements
work page 2000
-
[31]
URLhttps://www.preskill.caltech.edu/ph229/notes/
Preskill, J.Lecture Notes for Physics 229:Quantum Information and Computation(CreateSpace Independent Pub- lishing Platform, 2015). URLhttps://www.preskill.caltech.edu/ph229/notes/. See Ch 6.2 Periodicity
work page 2015
-
[32]
Atia, Y. & Aharonov, D. Fast-forwarding of hamiltonians and exponentially precise measurements.Nature Com- munications8, 1572 (2017). URLhttps://doi.org/10.1038/s41467-017-01637-7
-
[33]
Bernstein, E. & Vazirani, U. Quantum complexity theory.SIAM Journal on Computing26, 1411–1473 (1997)
work page 1997
-
[34]
Sipser, M.Introduction to the Theory of Computation(Cengage Learning, 2012), 3 edn
work page 2012
-
[35]
Combinatorial configurations in terms of distances (1981)
Neumaier, A. Combinatorial configurations in terms of distances (1981). URLhttps://pure.tue.nl/ws/ portalfiles/portal/4279988/507546.pdf
-
[36]
126 (American Mathematical Soc., 2011)
Tao, T.An introduction to measure theory, vol. 126 (American Mathematical Soc., 2011). URLhttps://terrytao. wordpress.com/wp-content/uploads/2012/12/gsm-126-tao5-measure-book.pdf. 14 GENUINE CERTIFIABLE RANDOMNESS FROM A BLACK-BOX Appendix No-measurement bound on antipodal phase estimation Theorem 1: Given that Assumption 1 holds. Letθ∈[0,2) be sampled fr...
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.