<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OALibJ</journal-id><journal-title-group><journal-title>Open Access Library Journal</journal-title></journal-title-group><issn pub-type="epub">2333-9705</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/oalib.1101798</article-id><article-id pub-id-type="publisher-id">OALibJ-68546</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Business&amp;Economics</subject><subject> Chemistry&amp;Materials Science</subject><subject> Computer Science&amp;Communications</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Engineering</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  The Deutsch-Jozsa Algorithm Can Be Used for Quantum Key Distribution
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Koji</surname><given-names>Nagata</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Tadao</surname><given-names>Nakamura</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Department of Information and Computer Science, Keio University, Yokohama, Japan</addr-line></aff><aff id="aff1"><addr-line>Department of Physics, Korea Advanced Institute of Science and Technology, Daejeon, Korea</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>ko_mi_na@yahoo.co.jp(KN)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>28</day><month>08</month><year>2015</year></pub-date><volume>02</volume><issue>08</issue><fpage>1</fpage><lpage>6</lpage><history><date date-type="received"><day>20</day>	<month>July</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>11</month>	<year>August</year>	</date><date date-type="accepted"><day>14</day>	<month>August</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   
   We review the new type of Deutsch-Jozsa algorithm proposed in [K. Nagata and T. Nakamura, Int. J. Theor. Phys. 49, 162 (2010)]. We suggest that the Deutsch-Jozsa algorithm can be used for quantum key distribution. Alice sends input 
   N
    1 partite uncorrelated state to a black box. Bob measures output state. Now, Alice and Bob have promised to use a function 
   f
    which is one of two kinds: either the value of 
   f
    is constant or balanced. To Eve, it is secret. Alice’s and Bob’s goal is to determine with certainty whether they have chosen a constant or a balanced function. Alice and Bob get one bit if they determine the function 
   f
   . The speed to get one bit improves by a factor of 2
   <sup>N</sup>
   . This may improve the speed to establish quantum key distribution by a factor of 2
   <sup>N</sup>
   . 
  
 
</p></abstract><kwd-group><kwd>Quantum Information Theory</kwd><kwd> Quantum Computation</kwd><kwd> Quantum Cryptography</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The quantum theory (cf. [<xref ref-type="bibr" rid="scirp.68546-ref1">1</xref>] - [<xref ref-type="bibr" rid="scirp.68546-ref6">6</xref>] ) gives approximate and at times remarkably accurate numerical predictions. Much experimental data approximately fits to the quantum predictions for the past some 100 years. We do not doubt the correctness of the quantum theory. The quantum theory also says new science with respect to information theory. The science is called the quantum information theory [<xref ref-type="bibr" rid="scirp.68546-ref6">6</xref>] . Therefore, the quantum theory gives us very useful another theory in order to create new information science and to explain the handling of raw experimental data in our physical world.</p><p>As for the foundations of the quantum theory, Leggett-type non-local variables theory [<xref ref-type="bibr" rid="scirp.68546-ref7">7</xref>] is experimentally investigated [<xref ref-type="bibr" rid="scirp.68546-ref8">8</xref>] - [<xref ref-type="bibr" rid="scirp.68546-ref10">10</xref>] . The experiments report that the quantum theory does not accept Leggett-type non-local variables interpretation. As for the applications of the quantum theory, implementation of a quantum algorithm to solve Deutsch’s problem [<xref ref-type="bibr" rid="scirp.68546-ref11">11</xref>] on a nuclear magnetic resonance quantum computer is reported firstly [<xref ref-type="bibr" rid="scirp.68546-ref12">12</xref>] . Implementation of the Deutsch-Jozsa algorithm on an ion-trap quantum computer is also reported [<xref ref-type="bibr" rid="scirp.68546-ref13">13</xref>] . There are several attempts to use single-photon two-qubit states for quantum computing. Oliveira et al. implement Deutsch’s algorithm with polarization and transverse spatial modes of the electromagnetic field as qubits [<xref ref-type="bibr" rid="scirp.68546-ref14">14</xref>] . Single-photon Bell states are prepared and measured [<xref ref-type="bibr" rid="scirp.68546-ref15">15</xref>] . Also the decoherence-free implementation of Deutsch’s algorithm is reported by using such single-photon and by using two logical qubits [<xref ref-type="bibr" rid="scirp.68546-ref16">16</xref>] . More recently, a one- way based experimental implementation of Deutsch’s algorithm is reported [<xref ref-type="bibr" rid="scirp.68546-ref17">17</xref>] .</p><p>The most well known and developed application of quantum cryptography is quantum key distribution (QKD), which is the process of using quantum communication to establish a shared key between two parties without a third party (Eve) learning anything about that key, even if Eve can eavesdrop on all communication between Alice and Bob. This is achieved by Alice encoding the bits of the key as quantum data and sending them to Bob; if Eve tries to learn these bits, the messages will be disturbed and Alice and Bob will notice. The key is then typically used for encrypted communication using classical techniques. For instance, the exchanged key could be used as the seed of the same random number generator both by Alice and Bob.</p><p>The security of QKD can be proven mathematically without imposing any restrictions on the abilities of an eavesdropper, something not possible with classical key distribution. This is usually described as “unconditional security”, although there are some minimal assumptions required including that the laws of quantum mechanics apply and that Alice and Bob are able to authenticate each other, i.e. Eve should not be able to impersonate Alice or Bob as otherwise a man-in-the-middle attack would be possible.</p><p>To date, the relation between quantum computer and QKD is not reported. The earliest quantum algorithm, the Deutsch-Jozsa algorithm, is representative to show that quantum computation is faster than classical counterpart with a magnitude that grows exponentially with the number of qubits.</p><p>Recently, it is discussed that von Neumann’s theory does not meet the Deutsch-Jozsa algorithm [<xref ref-type="bibr" rid="scirp.68546-ref18">18</xref>] . In von Neumann’s theory, control of quantum state and observations of quantum state cannot be existential, simul- taneously. In reference [<xref ref-type="bibr" rid="scirp.68546-ref18">18</xref>] , we propose a solution of the problem. The problem is solved if measurement out- come is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x5.png" xlink:type="simple"/></inline-formula>.</p><p>In this paper, we review the Deutsch-Jozsa algorithm. We suggest that the Deutsch-Jozsa algorithm can be used for improving quantum key distribution. Alice sends input <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x6.png" xlink:type="simple"/></inline-formula> partite uncorrelated state to a black box. Bob measures output state. Now, Alice and Bob has promised to use a function f which is of one of two kinds; either the value of f is constant or balanced. To Eve, it is secret. Alice’s and Bob’s goal is to determine with certainty whether they have chosen a constant or a balanced function. Alice and Bob get one bit if they determine the function f. The speed to get one bit improves by a factor of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x7.png" xlink:type="simple"/></inline-formula>. This may improve the speed to establish quantum key distribution by a factor of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x8.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s2"><title>2. The Deutsch-Jozsa Algorithm Can Be Used for Quantum Key Distribution</title><p>The earliest quantum algorithm, the Deutsch-Jozsa algorithm, is representative to show that quantum computa- tion is faster than classical counterpart with a magnitude that grows exponentially with the number of qubits.</p><p>Let us follow the argumentation presented in [<xref ref-type="bibr" rid="scirp.68546-ref6">6</xref>] . The application, known as Deutsch’s problem, may be described as the following game. Alice, in Amsterdam, selects a number x from 0 to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x9.png" xlink:type="simple"/></inline-formula>, and mails it in a letter to Bob, in Boston. Bob calculates the value of some function</p><disp-formula id="scirp.68546-formula383"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x10.png"  xlink:type="simple"/></disp-formula><p>and replies with the result, which is either 0 or 1. Now, Bob has promised to use a function f which is of one of two kinds; either the value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x11.png" xlink:type="simple"/></inline-formula> is constant for all values of x, or else the value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x12.png" xlink:type="simple"/></inline-formula> is balanced, that</p><p>is, equal to 1 for exactly half of all the possible x, and 0 for the other half. Alice’s goal is to determine with certainty whether Bob has chosen a constant or a balanced function, corresponding with him as little as possible. How fast can she succeed?</p><p>In the classical case, Alice may only send Bob one value of x in each letter. At worst, Alice will need to query Bob at least</p><disp-formula id="scirp.68546-formula384"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x13.png"  xlink:type="simple"/></disp-formula><p>times, since she may receive <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x14.png" xlink:type="simple"/></inline-formula> 0 s before finally getting a 1, telling her that Bob’s function is balanced. The best deterministic classical algorithm she can use therefore requires <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x15.png" xlink:type="simple"/></inline-formula> queries. Note that in each letter, Alice sends Bob N bits of information. Furthermore, in this example, physical distance is being used to artificially elevate the cost of calculating<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x16.png" xlink:type="simple"/></inline-formula>, but this is not needed in the general problem, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x17.png" xlink:type="simple"/></inline-formula> may be inherently difficult to calculate.</p><p>If Bob and Alice were able to exchange qubits, instead of just classical bits, and if Bob agreed to calculate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x18.png" xlink:type="simple"/></inline-formula> using a unitary transformation<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x19.png" xlink:type="simple"/></inline-formula>, then Alice could achieve her goal in just one correspondence with Bob, using the following algorithm.</p><p>Alice has an N qubit register to store her query in, and a single qubit register which she will give to Bob, to store the answer in. She begins by preparing both her query and answer registers in a superposition state. Bob will evaluate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x20.png" xlink:type="simple"/></inline-formula> using quantum parallelism and leave the result in the answer register. Alice then interferes states in the superposition using a Hadamard transformation (a unitary transformation),</p><disp-formula id="scirp.68546-formula385"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x21.png"  xlink:type="simple"/></disp-formula><p>on the query register, and finishes by performing a suitable measurement to determine whether f was constant or balanced.</p><p>Let us follow the quantum states through this algorithm. The input state is</p><disp-formula id="scirp.68546-formula386"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x22.png"  xlink:type="simple"/></disp-formula><p>Here the query register describes the state of N qubits all prepared in the</p><disp-formula id="scirp.68546-formula387"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x23.png"  xlink:type="simple"/></disp-formula><p>state. After the Hadamard transformation on the query register and the Hadamard gate on the answer register we have</p><disp-formula id="scirp.68546-formula388"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x24.png"  xlink:type="simple"/></disp-formula><p>The query register is now a superposition of all values, and the answer register is in an evenly weighted superposition of</p><disp-formula id="scirp.68546-formula389"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x25.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.68546-formula390"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x26.png"  xlink:type="simple"/></disp-formula><p>Next, the function f is evaluated (by Bob) using</p><disp-formula id="scirp.68546-formula391"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x27.png"  xlink:type="simple"/></disp-formula><p>giving</p><disp-formula id="scirp.68546-formula392"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x28.png"  xlink:type="simple"/></disp-formula><p>Here</p><disp-formula id="scirp.68546-formula393"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x29.png"  xlink:type="simple"/></disp-formula><p>is the bitwise XOR (exclusive OR) of y and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x30.png" xlink:type="simple"/></inline-formula>. Alice now has a set of qubits in which the result of Bob’s function evaluation is stored in the amplitude of the qubit superposition state. She now interferes terms in the superposition using a Hadamard transformation on the query register. To determine the result of the Hadamard transformation it helps to first calculate the effect of the Hadamard transformation on a state</p><disp-formula id="scirp.68546-formula394"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x31.png"  xlink:type="simple"/></disp-formula><p>By checking the cases <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x32.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x33.png" xlink:type="simple"/></inline-formula> separately we see that for a single qubit</p><disp-formula id="scirp.68546-formula395"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x34.png"  xlink:type="simple"/></disp-formula><p>Thus</p><disp-formula id="scirp.68546-formula396"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x35.png"  xlink:type="simple"/></disp-formula><p>This can be summarized more succinctly in the very useful equation</p><disp-formula id="scirp.68546-formula397"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x36.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.68546-formula398"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x37.png"  xlink:type="simple"/></disp-formula><p>is the bitwise inner product of x and z, modulo 2. Using this equation and (10) we can now evaluate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x38.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.68546-formula399"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x39.png"  xlink:type="simple"/></disp-formula><p>Alice now observes the query register. Note that the absolute value of the amplitude for the state</p><disp-formula id="scirp.68546-formula400"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x40.png"  xlink:type="simple"/></disp-formula><p>is</p><disp-formula id="scirp.68546-formula401"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x41.png"  xlink:type="simple"/></disp-formula><p>Let’s look at the two possible cases―f constant and f balanced―to discern what happens. In the case where f is constant the absolute value of the amplitude for</p><disp-formula id="scirp.68546-formula402"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x42.png"  xlink:type="simple"/></disp-formula><p>is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x43.png" xlink:type="simple"/></inline-formula>. Because</p><disp-formula id="scirp.68546-formula403"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x44.png"  xlink:type="simple"/></disp-formula><p>is of unit length it follows that all the other amplitudes must be zero, and an observation will yield</p><disp-formula id="scirp.68546-formula404"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x45.png"  xlink:type="simple"/></disp-formula><p>times for all N qubits in the query register. Thus, global measurement outcome is</p><disp-formula id="scirp.68546-formula405"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x46.png"  xlink:type="simple"/></disp-formula><p>If f is balanced then the positive and negative contributions to the absolute value of the amplitude for</p><disp-formula id="scirp.68546-formula406"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x47.png"  xlink:type="simple"/></disp-formula><p>cancel, leaving an amplitude of zero, and a measurement must yield a result other than</p><disp-formula id="scirp.68546-formula407"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x48.png"  xlink:type="simple"/></disp-formula><p>that is,</p><disp-formula id="scirp.68546-formula408"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/68546x49.png"  xlink:type="simple"/></disp-formula><p>on at least one qubit in the query register. Summarizing, if Alice measures all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x50.png" xlink:type="simple"/></inline-formula>s and global measurement outcome is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x51.png" xlink:type="simple"/></inline-formula> the function is constant; otherwise the function is balanced.</p><p>We suggest that the Deutsch-Jozsa algorithm can be used for quantum key distribution.</p><p>• First Alice prepares the qubits in (6) and sends the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x52.png" xlink:type="simple"/></inline-formula> qubits to Bob.</p><p>• Next, Bob picks a random function “f” that is either balanced or constant and Bob applies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x53.png" xlink:type="simple"/></inline-formula> Equation (9) evolving the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x54.png" xlink:type="simple"/></inline-formula> qubits to Equation (10). He then sends the N qubit Query register to Alice.</p><p>• Finally, Alice applies the Hadamard transformation to each of the qubits and measures. She learns whether f was balanced or constant-Alice and Bob now share a random bit of information (the “type” of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x55.png" xlink:type="simple"/></inline-formula>).</p><p>On safety, a questionable point is left in various ways, but this is a future problem. For example, we can consider the following situation:</p><p>Alice has to send the Query (N-qubit) and Answer (1-qubit) registers to Bob. Bob will then apply <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x56.png" xlink:type="simple"/></inline-formula> and send the Query register back to Alice who will apply the second step of the Deutsch-Jozsa algorithm to this register and learn the “type” of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x57.png" xlink:type="simple"/></inline-formula>. What’s to prevent the attacker Eve from doing this same thing? That is, Eve will capture the N qubits from Bob, apply <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x58.png" xlink:type="simple"/></inline-formula> to the query qubits, and measure. She now learns the type of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x59.png" xlink:type="simple"/></inline-formula> and thus the key bit. She can then prepare fresh qubits of the form:</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x60.png" xlink:type="simple"/></inline-formula>if her measurement result was all zeros (f is constant) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x61.png" xlink:type="simple"/></inline-formula>otherwise (f is balanced).</p><p>Alice will then apply <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x62.png" xlink:type="simple"/></inline-formula> (the second part of the Deutsch-Jozsa algorithm) unaware that Eve interfered. Her action will cancel out Eve’s operation and Alice will then measure either all zeros if f is constant or some random non-zero state otherwise. This seems like an undetectable attack. We will need to find a way to counter this in our protocol somehow.</p></sec><sec id="s3"><title>3. Conclusions</title><p>In conclusion, we have reviewed the new type of Deutsch-Jozsa algorithm. We have suggested that the Deutsch- Jozsa algorithm can be used for quantum key distribution. Alice has sent input <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x63.png" xlink:type="simple"/></inline-formula> partite uncorrelated state to a black box. Bob has measured output state. Now, Alice and Bob have promised to use a function f which is one of two kinds: either the value of f is constant or balanced. To Eve, it has been secret. Alice’s and Bob’s goal has been to determine with certainty whether they have chosen a constant or a balanced function. Alice and Bob have gotten one bit if they determine the function f. The speed to get one bit has improved by a factor of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x64.png" xlink:type="simple"/></inline-formula>. This may have improved the speed to establish quantum key distribution by a factor of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/68546x65.png" xlink:type="simple"/></inline-formula>.</p><p>On safety, a questionable point has been left in various ways, but this has been a future problem.</p></sec><sec id="s4"><title>Cite this paper</title><p>Koji Nagata,Tadao Nakamura, (2015) The Deutsch-Jozsa Algorithm Can Be Used for Quantum Key Distribution. Open Access Library Journal,02,1-6. doi: 10.4236/oalib.1101798</p></sec></body><back><ref-list><title>References</title><ref id="scirp.68546-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">von Neumann, J. (1955) Mathematical Foundations of Quantum Mechanics. Princeton University Press, Princeton.</mixed-citation></ref><ref id="scirp.68546-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Feynman, R.P., Leighton, R.B. and Sands, M. (1965) Lectures on Physics. Volume 3, Quantum Mechanics, Addison-Wesley Publishing Company.</mixed-citation></ref><ref id="scirp.68546-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Redhead, M. (1989) Incompleteness, Nonlocality, and Realism. 2nd Edition, Clarendon Press, Oxford.</mixed-citation></ref><ref id="scirp.68546-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Peres, A. (1993) Quantum Theory: Concepts and Methods. Kluwer Academic, Dordrecht.</mixed-citation></ref><ref id="scirp.68546-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Sakurai, J.J. (1995) Modern Quantum Mechanics. Addison-Wesley Publishing Company.</mixed-citation></ref><ref id="scirp.68546-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Nielsen, M.A. and Chuang, I.L. (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge.</mixed-citation></ref><ref id="scirp.68546-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Leggett, A.J. (2003) Nonlocal Hidden-Variable Theories and Quantum Mechanics: An Incompatibility Theorem. Foundations of Physics, 33, 1469-1493. http://dx.doi.org/10.1023/A:1026096313729</mixed-citation></ref><ref id="scirp.68546-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Gr&amp;#246;blacher, S., Paterek, T., Kaltenbaek, R., Brukner, &amp;#268;., &amp;#379;ukowski, M., Aspelmeyer, M. and Zeilinger, A. (2007) An Experimental Test of Non-Local Realism. Nature (London), 446, 871-875. http://dx.doi.org/10.1038/nature05677</mixed-citation></ref><ref id="scirp.68546-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Paterek, T., Fedrizzi, A., Gr&amp;#246;blacher, S., Jennewein, T., &amp;#379;ukowski, M., Aspelmeyer, M. and Zeilinger, A. (2007) Experimental Test of Nonlocal Realistic Theories without the Rotational Symmetry Assumption. Physical Review Letters, 99, Article ID: 210406. http://dx.doi.org/10.1103/PhysRevLett.99.210406</mixed-citation></ref><ref id="scirp.68546-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Branciard, C., Ling, A., Gisin, N., Kurtsiefer, C., Lamas-Linares, A. and Scarani, V. (2007) Experimental Falsification of Leggett’s Nonlocal Variable Model. Physical Review Letters, 99, Article ID: 210407. http://dx.doi.org/10.1103/PhysRevLett.99.210407</mixed-citation></ref><ref id="scirp.68546-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Deutsch, D. (1985) Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society of London. Series A, 400, 97. http://dx.doi.org/10.1098/rspa.1985.0070</mixed-citation></ref><ref id="scirp.68546-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Jones, J.A. and Mosca, M. (1998) Implementation of a Quantum Algorithm on a Nuclear Magnetic Resonance Quantum Computer. The Journal of Chemical Physics, 109, 1648. http://dx.doi.org/10.1063/1.476739</mixed-citation></ref><ref id="scirp.68546-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Gulde, S., Riebe, M., Lancaster, G.P.T., Becher, C., Eschner, J., H&amp;#228;ffner, H., Schmidt-Kaler, F., Chuang, I.L. and Blatt, R. (2003) Implementation of the Deutsch-Jozsa Algorithm on an Ion-Trap Quantum Computer. Nature, 421, 48-50. http://dx.doi.org/10.1038/nature01336</mixed-citation></ref><ref id="scirp.68546-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">de Oliveira, A.N., Walborn, S.P. and Monken, C.H. (2005) Implementing the Deutsch Algorithm with Polarization and Transverse Spatial Modes. Journal of Optics B: Quantum and Semiclassical Optics, 7, 288-292. http://dx.doi.org/10.1088/1464-4266/7/9/009</mixed-citation></ref><ref id="scirp.68546-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Kim, Y.-H. (2003) Single-Photon Two-Qubit Entangled States: Preparation and Measurement. Physical Review A, 67, Article ID: 040301(R).</mixed-citation></ref><ref id="scirp.68546-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Mohseni, M., Lundeen, J.S., Resch, K.J. and Steinberg, A.M. (2003) Experimental Application of Decoherence-Free Subspaces in an Optical Quantum-Computing Algorithm. Physical Review Letters, 91, Article ID: 187903. http://dx.doi.org/10.1103/PhysRevLett.91.187903</mixed-citation></ref><ref id="scirp.68546-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Tame, M.S., Prevedel, R., Paternostro, M., B&amp;#246;hi, P., Kim, M.S. and Zeilinger, A. (2007) Experimental Realization of Deutsch’s Algorithm in a One-Way Quantum Computer. Physical Review Letters, 98, Article ID: 140501. http://dx.doi.org/10.1103/PhysRevLett.98.140501</mixed-citation></ref><ref id="scirp.68546-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Nagata, K. and Nakamura, T. (2010) Can von Neumann’s Theory Meet the Deutsch-Jozsa Algorithm? International Journal of Theoretical Physics, 49, 162-170. http://dx.doi.org/10.1007/s10773-009-0189-5</mixed-citation></ref></ref-list></back></article>