Kochen-Specker Theorem Revisited and Strong Incomputability of Quantum Randomness

Abbott, A.A; Calude, C.S.; Conder, J.; Svozil, K

dc.contributor.author	Abbott, A.A	en
dc.contributor.author	Calude, C.S.	en
dc.contributor.author	Conder, J.	en
dc.contributor.author	Svozil, K	en
dc.date.accessioned	2013-01-06T23:09:23Z	en
dc.date.available	2013-01-06T23:09:23Z	en
dc.date.issued	2012	en
dc.identifier.citation	CDMTCS Research Reports CDMTCS-422 (2012)	en
dc.identifier.issn	1178-3540	en
dc.identifier.uri	http://hdl.handle.net/2292/19811	en
dc.description.abstract	We present a stronger variant of the Kochen-Specker theorem in which some quantum observables are identiﬁed to be provably value indeﬁnite. This result is utilised for the construction and certiﬁcation of a dichotomic quantum random number generator operating in a three-dimensional Hilbert space.	en
dc.publisher	Department of Computer Science, The University of Auckland, New Zealand	en
dc.relation.ispartofseries	CDMTCS Research Report Series	en
dc.rights.uri	https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm	en
dc.source.uri	http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial	en
dc.title	Kochen-Specker Theorem Revisited and Strong Incomputability of Quantum Randomness	en
dc.type	Technical Report	en
dc.subject.marsden	Fields of Research::280000 Information, Computing and Communication Sciences	en
dc.rights.holder	The author(s)	en
dc.rights.accessrights	http://purl.org/eprint/accessRights/OpenAccess	en