%\documentclass[pra,amsfonts,showpacs,showkeys,twocolumn]{revtex4}
\documentclass[pra,amsfonts,showpacs,showkeys,preprint]{revtex4}
\usepackage{xcolor}
%\usepackage[dvipsnames*]{xcolor}
%\documentclass[rmp,amsfonts,showpacs,showkeys,twocolumn]{revtex4}
%\documentclass[pra,showpacs,showkeys,amsfonts]{revtex4}
\usepackage{graphicx}% Include figure files
\usepackage{dcolumn}% Align table columns on decimal point
\usepackage{bm}% bold math
\usepackage{eepic}
\bibpunct{[}{]}{,}{a}{}{;}
\RequirePackage{times}
%\RequirePackage{courier}
\RequirePackage{mathptm}



\begin{document}






\title{Three criteria for quantum random number generators based on beam splitters}

\author{Karl Svozil}
\email{svozil@tuwien.ac.at}
\homepage{http://tph.tuwien.ac.at/~svozil}
\affiliation{Institute for Theoretical Physics, Vienna University of Technology,  \\
Wiedner Hauptstra\ss e 8-10/136, A-1040 Vienna, Austria}


\begin{abstract}
We propose three criteria for the generation of random digital strings from quantum beam splitters:
(i) three or more mutually exclusive outcomes corresponding to the invocation of three- and higher dimensional Hilbert spaces;
(ii) the mandatory use of pure states in conjugated bases for preparation and detection; and
(iii) the use of entangled singlet (unique) states for elimination of bias.
\end{abstract}

\pacs{03.67.Hk,03.65.Ud}
\keywords{Quantum information, quantum cryptography, singlet states, entanglement, quantum nonlocality}

\maketitle


Quantum random number generators are important for quantum information
processing, as they are likely to be one of the first technologies applied for various physical and commercial applications.
They also serve as components of other quantum devices for quantum key distribution
and experiments testing and utilizing quantum nonlocality.

Randomness is a notorious property, both from  theoretical and  practical points of view.
It is commonly accepted that there is a satisfactory definition~\cite{calude:02}
of {\em infinite} random sequences in terms of algorithmic incompressibility \cite{ch6}
as well as of the equivalent statistical tests~\cite{MartinLöf1966602}.
Besides the obvious fact that all computable and physically operational entities are limited to {\em finite} objects and methods,
algorithmic pseudo-random generators suffer from von Neumann's verdict that~\cite{von-neumann1}:
{\it ``anyone who considers arithmetical methods of producing random digits is, of course, in a state of sin.''}
The halting probability $\Omega$~\cite{chaitin:01} shares three perplexing properties:
it is computably enumerable (computable in a weak sense), provable random
(which implies that $\Omega$ is non-computable), as well as infinitely knowledgeable in its role as a ``rosetta stone''
for all decision problems encodable as halting problems \cite{calude:02}.
A few of its starting bits have been computed~\cite{calude-dinneen06}, yet due to its randomness,
only finitely many bits of this number can ever be computed.

%a lack of computable radius of
%convergence~\cite{specker49}, the execution time  exceeds all computable functions thereof~\cite{chaitin-bb}.

From the numerous random number generators based on physical processes
(cf. Refs.~\cite{rand-55,0022-3735-3-8-303,er-put:85,schmidt:462,Martino:91,walker-hotbits} to name but a few),
the use of single photons (or other quanta such as neutrons) subjected to beam splitters
appears particularly promising~\cite{svozil-qct,rarity-94,zeilinger:qct,stefanov-2000} for the following reasons:
(i) due to (ideally) single-photon events, the physical systems are ``elementary;''
(ii) they can be controlled to a great degree; and
(iii) they can be certified to be random relative to the postulates of quantum theory~\cite{zeil-05_nature_ofQuantum}.

Three features of quantum theory directly relate to random sequences generated from beam splitter experiments:
(i) the randomness of individual events (cf. Ref.~\cite[p.~866]{born-26-1} and Ref.~\cite[p.~804]{born-26-2});
(ii) complementarity~\cite[p.~7]{pauli:58}; and
(iii) value indefiniteness; i.e., the absence of two-valued states
interpretable as ``global'' (i.e., valid on all observables) truth functions~\cite{kochen1}.
In order to fully implement these quantum features,
we propose three improvements to existing protocols~\cite{svozil-qct,rarity-94,zeilinger:qct,stefanov-2000,0256-307X-21-10-027,wang:056107,fiorentino:032334}.


The first criterion ensures that the quantum random number generators can be certified to be subjected to quantum value indefiniteness.
A necessary condition for this to apply is the possibility
of {\em three or more mutually exclusive outcomes} in measurements of single quanta.
Formally, this is due to the fact that violations of Bell-type inequalities, as well as proofs of Gleason's
and  Kochen-Specker-type theorems are only realizable~\cite{svozil-tkadlec} in three- and higher dimensional Hilbert spaces.
Only from three-dimensional vector space onwards it is possible to nontrivially interconnect bases through
one  (or up to $n-2$ for $n$-dimensional Hilbert space) common base element(s).
This can be explicitly demonstrated by
certain, even dense~\cite{godsil-zaks,meyer:99,havlicek-2000}, ``dilutions'' of bases, which break up the possibility to interconnect,
thus allowing value definiteness.
In more operational terms, if some ``exotic'' scenarios (e.g., Ref.~\cite{pitowsky-82,pitowsky-83}) are excluded,
the violation of Bell-type inequalities for two two-state particles (corresponding to two outcomes on each side)
is a sufficient criterion for quantum value indefiniteness.

Of course, one could  argue that protocols based on two outcomes are still protected by quantum complementarity,
and the full range of quantum indeterminism, in particular quantum value indefiniteness, is not needed.
There is also the possibility that the Born rule might be derived through some other argument
(possibly from another set of axioms)
than Gleason's theorem~\cite{Gleason,pitowsky:218,rich-bridge,r:dvur-93}.
However, there exist sufficiently many two-valued states on propositional structures with two outcomes
to allow for a homeomorphic embedding of this structure into a classical Boolean algebra.
In any case, it appears prudent to use all the ``mind-boggling'' features of quantum mechanics against
cryptananalytic attacks on some quantum-generated sequence.


The resulting trivalent or multi-valued sequence can be easily ``downgraded'' or ``translated''
to binary sequences through elimination or identification without loss of randomness:  systematically eliminating $n-2$ symbol(s)
will transform a random sequence on an alphabet with $n \ge 3$  symbols into a random sequence on an alphabet with two
symbols \cite{calude:02}.



\if01
if the sequence contains an even number of symbols, the set of symbols could be arbitrarily equipartitioned into two parts,
followed by the identification of the first and the second partition element with ``$0$'' and ``$1$,'' respectively.
For example, if there are four  mutually exclusive outcomes encoded by the symbols $1,2,3,4$, then any one of the equipartitions
$\{\{1,2\},\{3,4\}\}$,
$\{\{1,3\},\{2,4\}\}$, and
$\{\{1,4\},\{2,3\}\}$ can be used for this two-to-one mapping; e.g., $\{1,2\} \mapsto 0$  and  $\{3,4\} \mapsto 1$.
If the sequence contains an even number of symbols, then it suffices to eliminate one of these symbols from the sequence~\cite{MR997340}
and apply the previous procedure for sequences with an even number of symbols.
\fi


The second criterion proposes the mandatory use of {\em pure} states from maximally conjugated bases for preparation and detection.
This requirement deals with the {\em single particle source} of quantum random number generators.
Indeed, many two-particle experiments have been using this criterion already, as
full tomography is performed to characterize the state as completely as possible.
These experiments use a (Bell) state which is as pure and maximally entangled as operationally feasible; quite
often they produce the singlet Bell state (which, due to technical issues related to other degrees of freedom,
can never be ideally pure). Tomography is used to characterize the state and hence certify the randomness of outcomes.
Hence in this sense and in these experiments, the criterion is already implicitly implemented.

Although it is generally believed that mixed (nonpure) quantum states can be ``produced''
and operationalized ``for all practical purposes,''
one might cautiously argue that this may actually be a subjective statement on behalf of the observer:
whereas the experimenter might ``pretend'' that the exact state leaving the particle source is unknown,
it might still be possible to conceive of the state to be in some, albeit unknown but not principally unknowable, unique pure state.
This is related to the question of whether or not mixed states should be thought of as merely subjective constructions
which even in the epistemic view --- as the wave function (the quantum state) representing a catalog of expectations~\cite{schrodinger}
--- represent only certain partial, incomplete representations of systems which might be completely defined by a single unique context.

Even if one is unwilling to accept these principal concerns, it remains prudent
not to expose the protocols for generating quantum randomness
to the possibility of hidden regularities of the source.
After all, beam splitters are just one-to-one bijective devices representable by reversible
unitary operators~\cite{Mandel-Ou1987118,green-horn-zei,zeilinger:882}; a fact which can be seen by recombining the two paths by a second beam splitter in a Mach-Zender
interferometer, thereby recovering the original signal.
Thus, in order to assure quantum randomness, the beam splitter should not be considered as an isolated element,
but has to be examined in combination with the source.
In accordance with this principle, a {\em mismatch} between state preparation and  measurement guarantees
that quantum complementarity ensures the indeterministic outcome.
This can, for instance, be implemented by preparing the single particle in a pure state which corresponds to an element of a certain basis,
and then measuring it in a different basis,
in which the original state is in a coherent superposition of more than one states
(cf. Ref.~\cite{svozil-qct} and the first protocol using beam splitting polarizers in Ref.~\cite{zeilinger:qct}).


Third and finally,  in order to eliminate any possible bias
(for some ``classical'' methods to eliminate bias, we refer to Refs.~\cite{elias-72,PeresY-1992,dichtl-2007,Lacharme-2008}),
we propose  to utilize
Einstein-Podolsky-Rosen type  measurements  of two quanta in a unique entangled state.
Any state satisfying the uniqueness property~\cite{svozil-2006-uniquenessprinciple} in at least two directions,  such as the singlet states
${1\over \sqrt{2}} \left(  \vert \frac{1}{2},-\frac{1}{2} \rangle - \vert -\frac{1}{2},\frac{1}{2} \rangle \right)$,
$ \frac{1}{\sqrt{3}}\left(-|0,0\rangle + |-1,1\rangle + |1,-1\rangle \right)$, or
$\frac{1}{2} \left(
\left| \left. \frac{3}{2}, -\frac{3}{2}\right\rangle \right.
 - \left| \left.  -\frac{3}{2}, \frac{3}{2}\right\rangle    \right.
- \left| \left.  \frac{1}{2}, -\frac{1}{2}\right\rangle  \right.
+ \left| \left.  -\frac{1}{2}, \frac{1}{2}\right\rangle   \right.
\right)$ of two spin--$\frac{1}{2}$, -$1$, or -$\frac{3}{2}$ particles, could be used for this purpose.
In that way, the outcome of one particle can be combined with the outcome of the other particle to eliminate bias.
Again, it should be kept in mind that physical realizations of this protocol can never be made ideal
and necessarily suffer from, for instance, the nonideal behavior of the beam splitters.

For the sake of demonstration, suppose Alice and Bob share successive pairs of quanta
in the singlet Bell state ${1\over \sqrt{2}} \left(  \vert \frac{1}{2},-\frac{1}{2} \rangle - \vert -\frac{1}{2},\frac{1}{2} \rangle \right)$.
Denote Alices's and Bob's outcomes in the $j$th measurement by $a_j$ and $b_j$,
with the coding $a_j,b_j \in \{0,1\}$,
respectively.
Using XOR operations on their combined results by a product mod~2 of $a_j$ and $b_j$, i.e., by defining
$s_j = a_j \oplus b_j = a_j  b_j \text{ mod }2$,
yields a totally unbiased sequence $s_j$ of bits.
Remarkably, as the state guarantees a 50:50 occurrence of 0's and 1's on either side,
the associated bases of Alice and Bob  need not even be maximally ``apart'':
one outcome on Alice's side can be thought of as serving as ``one time pad'' in encrypting the
other outcome on Bob's side, and vice versa.
Again, this method will be as good as the entangled particle source.
In order to eliminate causal influences, the events recorded by Alice and Bob should be
separated by strict {E}instein locality conditions \cite{wjswz-98,arXiv:0811.3129},
although separating the particles will be experimentally challenging.

Alternatively, in an adaptive ``delayed choice'' experiment
the outcome on Alice's side could be transferred to Bob, who adjusts his experiment (e.g., by changing the direction of spin state measurements)
according to Alice's input~\cite{VincentJacques02162007}.
This method resembles the previously implemented self-calibration techniques
utilizing coincidence measurements~\cite{0256-307X-21-10-027},
entropy measures~\cite{fiorentino:032334},
and iterative sampling~\cite{wang:056107}.
Whether or not it could also be used for classical angular momentum zero states ``exploding''
into two parts~\cite{peres222} remains unknown.


In summary we have argued that the present protocols for generating quantum random sequences with beam splitters should be improved
to be certifiable against value definiteness and hidden bias of the source.
We have also proposed a procedure to eliminate bias by using one particle of a singlet in an Einstein-Podolsky-Rosen configuration
as a one-time pad for the other particle.

$\;$\\
{\bf Acknowledgements}
\\
The author gratefully acknowledges discussions with and suggestions by Cristian Calude, as well as the kind hospitality of the {\it Centre for Discrete Mathematics
and Theoretical Computer Science (CDMTCS)} of the {\it Department of Computer Science at
The University of Auckland.}
This work was also supported by {\it The Department for International Relations}
of the {\em Vienna University of Technology.}


%\bibliography{svozil}
%\bibliographystyle{revtex}


\begin{thebibliography}{10}
\providecommand*{\bibinfo}[2]{#2}
\providecommand*{\eprint}[1]{#1}
\providecommand*{\url}[1]{#1}
\bibitem{calude:02}
\bibinfo{author}{C.~Calude}, \bibinfo{title}{\emph{Information and
  Randomness---An Algorithmic Perspective}} (\bibinfo{publisher}{Springer},
  Berlin, \bibinfo{year}{2002}), 2nd ed.
\bibitem{ch6}
\bibinfo{author}{G.~J. Chaitin}, \bibinfo{journal}{IBM Journal of Research and
  Development} \bibinfo{volume}{\textbf{21}}, \bibinfo{pages}{350}
  (\bibinfo{date}{1977}), reprinted in \cite{chaitin2}.
\bibitem{MartinLöf1966602}
\bibinfo{author}{P.~Martin-L{\"{o}}f}, \bibinfo{journal}{Information and
  Control} \bibinfo{volume}{\textbf{9}}(6), \bibinfo{pages}{602}
  (\bibinfo{date}{1966}), \url{http://dx.doi.org/10.1016/0030-4018(87)90271-9}.
\bibitem{von-neumann1}
\bibinfo{author}{J.~von Neumann}, \bibinfo{journal}{National Bureau of
  Standards Applied Math Series} \bibinfo{volume}{\textbf{3}},
  \bibinfo{pages}{36} (\bibinfo{date}{1951}), reprinted in {\sl John von
  Neumann, Collected Works, (Vol. V)}, A. H. Traub, editor, MacMillan, New
  York, 1963, p. 768.
\bibitem{chaitin:01}
\bibinfo{author}{G.~J. Chaitin}, \bibinfo{title}{\emph{Exploring Randomness}}
  (\bibinfo{publisher}{Springer Verlag}, London, \bibinfo{year}{2001}).
\bibitem{calude-dinneen06}
\bibinfo{author}{C.~S. Calude} and \bibinfo{author}{M.~J. Dinneen},
  \bibinfo{journal}{International Journal of Bifurcation and Chaos}
  \bibinfo{volume}{\textbf{17}}, \bibinfo{pages}{1937} (\bibinfo{date}{2007}),
  {CDMTCS} report series 293,
  \url{http://dx.doi.org/10.1142/S0218127407018130}.
\bibitem{rand-55}
\bibinfo{author}{{The RAND Corporation}}, \bibinfo{title}{\emph{A Million
  Random Digits with 100,000 Normal Deviates Free Press Publishers}}
  (\bibinfo{publisher}{Knolls Atomic Power Lab. Report KAPL-3147}, Glencoe,
  Illinois, \bibinfo{year}{1955}), the data digits are obtainable {\em via}
  http://www.rand.org/pubs/monograph\_reports/2005/digits.txt.zip, the
  introduction {\it via}
  http://www.rand.org/pubs/monograph\_reports/MR1418/index2.html,
  \url{http://www.rand.org/pubs/monograph\_reports/MR1418/}.
\bibitem{0022-3735-3-8-303}
\bibinfo{author}{C.~H. Vincent}, \bibinfo{journal}{Journal of Physics E:
  Scientific Instruments} \bibinfo{volume}{\textbf{3}}(8), \bibinfo{pages}{594}
  (\bibinfo{date}{1970}), \url{http://dx.doi.org/10.1088/0022-3735/3/8/303}.
\bibitem{er-put:85}
\bibinfo{author}{T.~Erber} and \bibinfo{author}{S.~Putterman},
  \bibinfo{journal}{Nature} \bibinfo{volume}{\textbf{318}}, \bibinfo{pages}{41}
  (\bibinfo{date}{1985}), \url{http://dx.doi.org/10.1038/318041a0}.
\bibitem{schmidt:462}
\bibinfo{author}{H.~Schmidt}, \bibinfo{journal}{Journal of Applied Physics}
  \bibinfo{volume}{\textbf{41}}(2), \bibinfo{pages}{462}
  (\bibinfo{date}{1970}), \url{http://dx.doi.org/10.1063/1.1658698}.
\bibitem{Martino:91}
\bibinfo{author}{A.~J. Martino} and \bibinfo{author}{G.~M. Morris},
  \bibinfo{journal}{Applied Optics} \bibinfo{volume}{\textbf{30}}(8),
  \bibinfo{pages}{981} (\bibinfo{date}{1991}),
  \url{http://ao.osa.org/abstract.cfm?URI=ao-30-8-981}.
\bibitem{walker-hotbits}
\bibinfo{author}{J.~Walker}, \bibinfo{title}{\emph{Hotbits hardware}}
  (\bibinfo{date}{1986-2009}),
  \url{http://www.fourmilab.ch/hotbits/hardware3.html}.
\bibitem{svozil-qct}
\bibinfo{author}{K.~Svozil}, \bibinfo{journal}{Physics Letters A}
  \bibinfo{volume}{\textbf{143}}, \bibinfo{pages}{433} (\bibinfo{date}{1990}),
  \url{http://dx.doi.org/10.1016/0375-9601(90)90408-G}.
\bibitem{rarity-94}
\bibinfo{author}{J.~G. Rarity}, \bibinfo{author}{M.~P.~C. Owens}, and
  \bibinfo{author}{P.~R. Tapster}, \bibinfo{journal}{Journal of Modern Optics}
  \bibinfo{volume}{\textbf{41}}, \bibinfo{pages}{2435} (\bibinfo{date}{1994}),
  \url{http://dx.doi.org/10.1080/09500349414552281}.
\bibitem{zeilinger:qct}
\bibinfo{author}{T.~Jennewein}, \bibinfo{author}{U.~Achleitner},
  \bibinfo{author}{G.~Weihs}, \bibinfo{author}{H.~Weinfurter}, and
  \bibinfo{author}{A.~Zeilinger}, \bibinfo{journal}{Review of Scientific
  Instruments} \bibinfo{volume}{\textbf{71}}, \bibinfo{pages}{1675}
  (\bibinfo{date}{2000}), \eprint{quant-ph/9912118},
  \url{http://dx.doi.org/10.1063/1.1150518}.
\bibitem{stefanov-2000}
\bibinfo{author}{A.~Stefanov}, \bibinfo{author}{N.~Gisin},
  \bibinfo{author}{O.~Guinnard}, \bibinfo{author}{L.~Guinnard}, and
  \bibinfo{author}{H.~Zbinden}, \bibinfo{journal}{Journal of Modern Optics}
  \bibinfo{volume}{\textbf{47}}, \bibinfo{pages}{595} (\bibinfo{date}{2000}),
  \url{http://dx.doi.org/10.1080/095003400147908}.
\bibitem{zeil-05_nature_ofQuantum}
\bibinfo{author}{A.~Zeilinger}, \bibinfo{journal}{Nature}
  \bibinfo{volume}{\textbf{438}}, \bibinfo{pages}{743} (\bibinfo{date}{2005}),
  \url{http://dx.doi.org/10.1038/438743a}.
\bibitem{born-26-1}
\bibinfo{author}{M.~Born}, \bibinfo{journal}{Zeitschrift f{\"{u}}r Physik}
  \bibinfo{volume}{\textbf{37}}, \bibinfo{pages}{863} (\bibinfo{date}{1926}),
  \url{http://dx.doi.org/10.1007/BF01397477}.
\bibitem{born-26-2}
\bibinfo{author}{M.~Born}, \bibinfo{journal}{Zeitschrift f{\"{u}}r Physik}
  \bibinfo{volume}{\textbf{38}}, \bibinfo{pages}{803} (\bibinfo{date}{1926}),
  \url{http://dx.doi.org/10.1007/BF01397184}.
\bibitem{pauli:58}
\bibinfo{author}{W.~Pauli}, in \bibinfo{editors}{S.~Fl{\"{u}}gge}, ed.,
  \emph{{H}andbuch der {P}hysik. {B}and {V}, {T}eil 1. {P}rinzipien der
  {Q}uantentheorie {I}} (\bibinfo{publisher}{Springer}, Berlin, G{\"{o}}ttingen
  and Heidelberg, \bibinfo{year}{1958}), \bibinfo{pages}{pp. 1--168}.
\bibitem{kochen1}
\bibinfo{author}{S.~Kochen} and \bibinfo{author}{E.~P. Specker},
  \bibinfo{journal}{Journal of Mathematics and Mechanics (now Indiana
  University Mathematics Journal)} \bibinfo{volume}{\textbf{17}}(1),
  \bibinfo{pages}{59} (\bibinfo{date}{1967}), reprinted in \cite[pp.
  235--263]{specker-ges}, \url{http://dx.doi.org/10.1512/iumj.1968.17.17004}.
\bibitem{0256-307X-21-10-027}
\bibinfo{author}{M.~Hai-Qiang}, \bibinfo{author}{W.~Su-Mei},
  \bibinfo{author}{Z.~Da}, \bibinfo{author}{C.~Jun-Tao},
  \bibinfo{author}{J.~Ling-Ling}, \bibinfo{author}{H.~Yan-Xue}, and
  \bibinfo{author}{W.~Ling-An}, \bibinfo{journal}{Chinese Physics Letters}
  \bibinfo{volume}{\textbf{21}}(10), \bibinfo{pages}{1961}
  (\bibinfo{date}{2004}), \url{http://dx.doi.org/0256-307X/21/1961}.
\bibitem{wang:056107}
\bibinfo{author}{P.~X. Wang}, \bibinfo{author}{G.~L. Long}, and
  \bibinfo{author}{Y.~S. Li}, \bibinfo{journal}{Journal of Applied Physics}
  \bibinfo{volume}{\textbf{100}}(5), \bibinfo{pages}{056107},
  \bibinfo{eid}{056107} (\bibinfo{numpages}{3}  pages)  (\bibinfo{date}{2006}),
  \url{http://dx.doi.org/10.1063/1.2338830}.
\bibitem{fiorentino:032334}
\bibinfo{author}{M.~Fiorentino}, \bibinfo{author}{C.~Santori},
  \bibinfo{author}{S.~M. Spillane}, \bibinfo{author}{R.~G. Beausoleil}, and
  \bibinfo{author}{W.~J. Munro}, \bibinfo{journal}{Physical Review A (Atomic,
  Molecular, and Optical Physics)} \bibinfo{volume}{\textbf{75}}(3),
  \bibinfo{pages}{032334}, \bibinfo{eid}{032334} (\bibinfo{numpages}{5}  pages)
   (\bibinfo{date}{2007}), \url{http://dx.doi.org/10.1103/PhysRevA.75.032334}.
\bibitem{svozil-tkadlec}
\bibinfo{author}{K.~Svozil} and \bibinfo{author}{J.~Tkadlec},
  \bibinfo{journal}{Journal of Mathematical Physics}
  \bibinfo{volume}{\textbf{37}}(11), \bibinfo{pages}{5380}
  (\bibinfo{date}{November 1996}), \url{http://dx.doi.org/10.1063/1.531710}.
\bibitem{godsil-zaks}
\bibinfo{author}{C.~D. Godsil} and \bibinfo{author}{J.~Zaks},
  \bibinfo{title}{\emph{Coloring the sphere}} (\bibinfo{date}{1988}),
  university of Waterloo research report CORR 88-12.
\bibitem{meyer:99}
\bibinfo{author}{D.~A. Meyer}, \bibinfo{journal}{Physical Review Letters}
  \bibinfo{volume}{\textbf{83}}(19), \bibinfo{pages}{3751}
  (\bibinfo{date}{1999}), \eprint{quant-ph/9905080},
  \url{http://dx.doi.org/10.1103/PhysRevLett.83.3751}.
\bibitem{havlicek-2000}
\bibinfo{author}{H.~Havlicek}, \bibinfo{author}{G.~Krenn},
  \bibinfo{author}{J.~Summhammer}, and \bibinfo{author}{K.~Svozil},
  \bibinfo{journal}{J. Phys. A: Math. Gen.} \bibinfo{volume}{\textbf{34}},
  \bibinfo{pages}{3071} (\bibinfo{date}{April 2001}),
  \url{http://dx.doi.org/10.1088/0305-4470/34/14/312}.
\bibitem{pitowsky-82}
\bibinfo{author}{I.~Pitowsky}, \bibinfo{journal}{Physical Review Letters}
  \bibinfo{volume}{\textbf{48}}, \bibinfo{pages}{1299} (\bibinfo{date}{1982}),
  \url{http://dx.doi.org/10.1103/PhysRevLett.48.1299}.
\bibitem{pitowsky-83}
\bibinfo{author}{I.~Pitowsky}, \bibinfo{journal}{Physical Review D}
  \bibinfo{volume}{\textbf{27}}, \bibinfo{pages}{2316} (\bibinfo{date}{1983}),
  \url{http://dx.doi.org/10.1103/PhysRevD.27.2316}.
\bibitem{Gleason}
\bibinfo{author}{A.~M. Gleason}, \bibinfo{journal}{Journal of Mathematics and
  Mechanics (now Indiana University Mathematics Journal)}
  \bibinfo{volume}{\textbf{6}}(4), \bibinfo{pages}{885} (\bibinfo{date}{1957}),
  \url{http://dx.doi.org/10.1512/iumj.1957.6.56050}.
\bibitem{pitowsky:218}
\bibinfo{author}{I.~Pitowsky}, \bibinfo{journal}{Journal of Mathematical
  Physics} \bibinfo{volume}{\textbf{39}}(1), \bibinfo{pages}{218}
  (\bibinfo{date}{1998}), \url{http://dx.doi.org/10.1063/1.532334}.
\bibitem{rich-bridge}
\bibinfo{author}{F.~Richman} and \bibinfo{author}{D.~Bridges},
  \bibinfo{journal}{Journal of Functional Analysis}
  \bibinfo{volume}{\textbf{162}}, \bibinfo{pages}{287} (\bibinfo{date}{1999}),
  \url{http://dx.doi.org/10.1006/jfan.1998.3372}.
\bibitem{r:dvur-93}
\bibinfo{author}{A.~Dvure{\v{c}}enskij}, \bibinfo{title}{\emph{{G}leason's
  Theorem and Its Applications}} (\bibinfo{publisher}{Kluwer Academic
  Publishers}, Dordrecht, \bibinfo{year}{1993}).
\bibitem{schrodinger}
\bibinfo{author}{E.~Schr{\"{o}}dinger}, \bibinfo{journal}{Naturwissenschaften}
  \bibinfo{volume}{\textbf{23}}, \bibinfo{pages}{807} (\bibinfo{date}{1935}),
  {E}nglish translation in \cite{trimmer} and \cite[pp.
  152-167]{wheeler-Zurek:83}, \url{http://dx.doi.org/10.1007/BF01491891,
  \\http://dx.doi.org/10.1007/BF01491914,
  \\http://dx.doi.org/10.1007/BF01491987}.
\bibitem{Mandel-Ou1987118}
\bibinfo{author}{Z.~Ou}, \bibinfo{author}{C.~Hong}, and
  \bibinfo{author}{L.~Mandel}, \bibinfo{journal}{Optics Communications}
  \bibinfo{volume}{\textbf{63}}(2), \bibinfo{pages}{118}
  (\bibinfo{date}{1987}), \url{http://dx.doi.org/10.1016/0030-4018(87)90271-9}.
\bibitem{green-horn-zei}
\bibinfo{author}{D.~M. Greenberger}, \bibinfo{author}{M.~A. Horne}, and
  \bibinfo{author}{A.~Zeilinger}, \bibinfo{journal}{Physics Today}
  \bibinfo{volume}{\textbf{46}}, \bibinfo{pages}{22} (\bibinfo{date}{August
  1993}).
\bibitem{zeilinger:882}
\bibinfo{author}{A.~Zeilinger}, \bibinfo{journal}{American Journal of Physics}
  \bibinfo{volume}{\textbf{49}}(9), \bibinfo{pages}{882}
  (\bibinfo{date}{1981}), \url{http://dx.doi.org/10.1119/1.12387}.
\bibitem{elias-72}
\bibinfo{author}{P.~Elias}, \bibinfo{journal}{Ann. Math. Statist.}
  \bibinfo{volume}{\textbf{43}}(3), \bibinfo{pages}{865}
  (\bibinfo{date}{1972}), \url{http://dx.doi.org/10.1214/aoms/1177692552}.
\bibitem{PeresY-1992}
\bibinfo{author}{Y.~Peres}, \bibinfo{journal}{The Annals of Statistics}
  \bibinfo{volume}{\textbf{20}}(1), \bibinfo{pages}{590}
  (\bibinfo{date}{1992}), \url{http://www.jstor.org/stable/2242181}.
\bibitem{dichtl-2007}
\bibinfo{author}{M.~Dichtl}, in \bibinfo{editors}{A.~Biryukov}, ed., \emph{Fast
  Software Encryption. Lecture Notes in Computer Science Volume 4593/2007}
  (\bibinfo{publisher}{Springer}, Berlin and Heidelberg, \bibinfo{year}{2007}),
  \bibinfo{pages}{pp. 137--152}, 14th International Workshop, FSE 2007,
  Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers,
  \url{http://dx.doi.org/10.1007/978-3-540-74619-5\_9}.
\bibitem{Lacharme-2008}
\bibinfo{author}{P.~Lacharme}, in \bibinfo{editors}{K.~Nyberg}, ed., \emph{Fast
  Software Encryption. Lecture Notes in Computer Science Volume 5086/2008}
  (\bibinfo{publisher}{Springer}, Berlin and Heidelberg, \bibinfo{year}{2008}),
  \bibinfo{pages}{pp. 334--342}, 15th International Workshop, FSE 2008,
  Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers,
  \url{http://dx.doi.org/10.1007/978-3-540-71039-4\_21}.
\bibitem{svozil-2006-uniquenessprinciple}
\bibinfo{author}{K.~Svozil}, \bibinfo{journal}{New Journal of Physics}
  \bibinfo{volume}{\textbf{8}}, \bibinfo{pages}{39} (\bibinfo{date}{2006}),
  \eprint{quant-ph/0401113}, \url{http://dx.doi.org/10.1088/1367-2630/8/3/039}.
\bibitem{wjswz-98}
\bibinfo{author}{G.~Weihs}, \bibinfo{author}{T.~Jennewein},
  \bibinfo{author}{C.~Simon}, \bibinfo{author}{H.~Weinfurter}, and
  \bibinfo{author}{A.~Zeilinger}, \bibinfo{journal}{Phys. Rev. Lett.}
  \bibinfo{volume}{\textbf{81}}, \bibinfo{pages}{5039} (\bibinfo{date}{1998}),
  \url{http://dx.doi.org/10.1103/PhysRevLett.81.5039}.
\bibitem{arXiv:0811.3129}
\bibinfo{author}{T.~Scheidl}, \bibinfo{author}{R.~Ursin},
  \bibinfo{author}{J.~Kofler}, \bibinfo{author}{S.~Ramelow},
  \bibinfo{author}{X.-S. Ma}, \bibinfo{author}{T.~Herbst},
  \bibinfo{author}{L.~Ratschbacher}, \bibinfo{author}{A.~Fedrizzi},
  \bibinfo{author}{N.~Langford}, \bibinfo{author}{T.~Jennewein}, \emph{et~al.},
  \bibinfo{title}{\emph{Violation of local realism with freedom of choice}}
  (\bibinfo{date}{2008}), eprint: arXiv:0811.3129, \eprint{arXiv:0811.3129},
  \url{http://arxiv.org/abs/0811.3129}.
\bibitem{VincentJacques02162007}
\bibinfo{author}{V.~Jacques}, \bibinfo{author}{E.~Wu},
  \bibinfo{author}{F.~Grosshans}, \bibinfo{author}{F.~Treussart},
  \bibinfo{author}{P.~Grangier}, \bibinfo{author}{A.~Aspect}, and
  \bibinfo{author}{J.-F. Roch}, \bibinfo{journal}{Science}
  \bibinfo{volume}{\textbf{315}}(5814), \bibinfo{pages}{966}
  (\bibinfo{date}{2007}), \eprint{http://arxiv.org/abs/quant-ph/0610241v1},
  \url{http://dx.doi.org/10.1126/science.1136303}.
\bibitem{peres222}
\bibinfo{author}{A.~Peres}, \bibinfo{journal}{American Journal of Physics}
  \bibinfo{volume}{\textbf{46}}, \bibinfo{pages}{745} (\bibinfo{date}{1978}),
  \url{http://dx.doi.org/10.1119/1.11393}.
\bibitem{chaitin2}
\bibinfo{author}{G.~J. Chaitin}, \bibinfo{title}{\emph{Information, Randomness
  and Incompleteness}} (\bibinfo{publisher}{World Scientific}, Singapore,
  \bibinfo{year}{1990}), 2nd ed., this is a collection of G. Chaitin's early
  publications.
\bibitem{specker-ges}
\bibinfo{author}{E.~Specker}, \bibinfo{title}{\emph{Selecta}}
  (\bibinfo{publisher}{Birkh{\"{a}}user Verlag}, Basel, \bibinfo{year}{1990}).
\bibitem{trimmer}
\bibinfo{author}{J.~D. Trimmer}, \bibinfo{journal}{Proceedings of the American
  Philosophical Society} \bibinfo{volume}{\textbf{124}}, \bibinfo{pages}{323}
  (\bibinfo{date}{1980}), reprinted in \cite[pp. 152-167]{wheeler-Zurek:83},
  \url{http://www.tu-harburg.de/rzt/rzt/it/QM/cat.html}.
\bibitem{wheeler-Zurek:83}
\bibinfo{author}{J.~A. Wheeler} and \bibinfo{author}{W.~H. Zurek},
  \bibinfo{title}{\emph{Quantum Theory and Measurement}}
  (\bibinfo{publisher}{Princeton University Press}, Princeton,
  \bibinfo{year}{1983}).

\end{thebibliography}

\end{document}