We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.IT

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Information Theory

Title: Generating Randomness from a Computable, Non-random Sequence of Qubits

Authors: Tejas Bhojraj (Department of Mathematics, University of Wisconsin-Madison)
Abstract: Nies and Scholz introduced the notion of a state to describe an infinite sequence of qubits and defined quantum-Martin-Lof randomness for states, analogously to the well known concept of Martin-L\"of randomness for elements of Cantor space (the space of infinite sequences of bits). We formalize how 'measurement' of a state in a basis induces a probability measure on Cantor space. A state is 'measurement random' (mR) if the measure induced by it, under any computable basis, assigns probability one to the set of Martin-L\"of randoms. Equivalently, a state is mR if and only if measuring it in any computable basis yields a Martin-L\"of random with probability one. While quantum-Martin-L\"of random states are mR, the converse fails: there is a mR state, x which is not quantum-Martin-L\"of random. In fact, something stronger is true. While x is computable and can be easily constructed, measuring it in any computable basis yields an arithmetically random sequence with probability one. I.e., classical arithmetic randomness can be generated from a computable, non-quantum random sequence of qubits.
Comments: In Proceedings QPL 2019, arXiv:2004.14750
Subjects: Information Theory (cs.IT); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
Journal reference: EPTCS 318, 2020, pp. 1-12
DOI: 10.4204/EPTCS.318.1
Cite as: arXiv:2005.00207 [cs.IT]
  (or arXiv:2005.00207v1 [cs.IT] for this version)

Submission history

From: EPTCS [view email]
[v1] Fri, 1 May 2020 04:09:49 GMT (17kb)

Link back to: arXiv, form interface, contact.