<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/' xmlns:blogger='http://schemas.google.com/blogger/2008' xmlns:georss='http://www.georss.org/georss' xmlns:gd="http://schemas.google.com/g/2005" xmlns:thr='http://purl.org/syndication/thread/1.0'><id>tag:blogger.com,1999:blog-7360042936702217618</id><updated>2024-11-01T17:11:23.802+05:30</updated><title type='text'>Its Quantum Computing</title><subtitle type='html'>If Quantum Computing hasn&#39;t profoundly shocked you, you haven&#39;t understood it yet!</subtitle><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/posts/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default?redirect=false'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/'/><link rel='hub' href='http://pubsubhubbub.appspot.com/'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>16</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-3779421464395165296</id><published>2012-04-10T23:36:00.001+05:30</published><updated>2012-04-10T23:36:50.907+05:30</updated><title type='text'>Qbit–What it is ?</title><content type='html'>&lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;p&gt;&lt;img style=&quot;display: inline; float: left&quot; align=&quot;left&quot; src=&quot;http://franchisessentials.files.wordpress.com/2012/02/confused.jpg&quot; width=&quot;203&quot; height=&quot;126&quot; /&gt;&lt;/p&gt;  &lt;p&gt;In &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_computing&quot;&gt;quantum computing&lt;/a&gt;, a &lt;b&gt;qubit&lt;/b&gt; or &lt;b&gt;quantum bit&lt;/b&gt; is a unit of &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_information&quot;&gt;quantum information&lt;/a&gt;—the quantum analogue of the classical &lt;a href=&quot;http://en.wikipedia.org/wiki/Bit&quot;&gt;bit&lt;/a&gt;—with additional dimensions associated to the &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_mechanics&quot;&gt;quantum properties&lt;/a&gt; of a physical &lt;a href=&quot;http://en.wikipedia.org/wiki/Atom&quot;&gt;atom&lt;/a&gt;. The physical construction of a quantum computer is itself an arrangement of &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_entanglement&quot;&gt;entangled&lt;/a&gt; atoms, and the qubit represents both the state memory and the state of entanglement in a system. A quantum computation is performed by &lt;a href=&quot;http://en.wikipedia.org/wiki/Initialization_(programming)&quot;&gt;initializing&lt;/a&gt; a system of qubits with a &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_algorithm&quot;&gt;quantum algorithm&lt;/a&gt; —&amp;quot;initialization&amp;quot; here referring to some advanced physical process that puts the system into an entangled state.&lt;/p&gt;  &lt;p&gt;The qubit is described by a &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_state&quot;&gt;quantum state&lt;/a&gt; in a &lt;a href=&quot;http://en.wikipedia.org/wiki/Two-state_quantum_system&quot;&gt;two-state quantum-mechanical system&lt;/a&gt;, which is formally equivalent to a two-dimensional &lt;a href=&quot;http://en.wikipedia.org/wiki/Vector_space&quot;&gt;vector space&lt;/a&gt; over the &lt;a href=&quot;http://en.wikipedia.org/wiki/Complex_number&quot;&gt;complex numbers&lt;/a&gt;. One example of a two-state quantum system is the &lt;a href=&quot;http://en.wikipedia.org/wiki/Photon_polarization&quot;&gt;polarization&lt;/a&gt; of a single &lt;a href=&quot;http://en.wikipedia.org/wiki/Photon&quot;&gt;photon&lt;/a&gt;: here the two states are vertical polarization and horizontal polarization. In a classical system, a bit would have to be in one state or the other, but quantum mechanics allows the qubit to be in a &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_superposition&quot;&gt;superposition&lt;/a&gt; of both states at the same time, a property which is fundamental to quantum computing.&lt;/p&gt;  &lt;h4&gt;Bit versus qubit&lt;/h4&gt;  &lt;p&gt;A &lt;a href=&quot;http://en.wikipedia.org/wiki/Bit&quot;&gt;bit&lt;/a&gt; is the basic unit of computer information. Regardless of its physical realization, a bit is always understood to be either a 0 or a 1. An analogy to this is a light switch— with the off position representing 0 and the on position representing 1.&lt;/p&gt;  &lt;p&gt;A qubit has some similarities to a classical bit, but is overall very different. Like a bit, a qubit can have two possible values—normally a 0 or a 1. The difference is that whereas a bit &lt;i&gt;must be&lt;/i&gt; either 0 or 1, a qubit &lt;i&gt;can be&lt;/i&gt; 0, 1, or a &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_superposition&quot;&gt;superposition&lt;/a&gt; of both.&lt;/p&gt;  &lt;h4&gt;Representation&lt;/h4&gt;  &lt;p&gt;The two states in which a qubit may be measured are known as &lt;a href=&quot;http://en.wikipedia.org/wiki/Basis_(linear_algebra)&quot;&gt;basis&lt;/a&gt; states (or basis &lt;a href=&quot;http://en.wikipedia.org/wiki/Vector_space&quot;&gt;vectors&lt;/a&gt;). As is the tradition with any sort of &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_states&quot;&gt;quantum states&lt;/a&gt;, Dirac, or &lt;a href=&quot;http://en.wikipedia.org/wiki/Bra-ket_notation&quot;&gt;bra-ket notation&lt;/a&gt;, is used to represent them. This means that the two computational basis states are conventionally written as &lt;img alt=&quot;| 0 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt; and &lt;img alt=&quot;| 1 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/e/7/ee73186e90463a7382893d182c1314c3.png&quot; /&gt; (pronounced &amp;quot;ket 0&amp;quot; and &amp;quot;ket 1&amp;quot;).&lt;/p&gt;  &lt;h4&gt;Qubit states&lt;/h4&gt;  &lt;p&gt;&lt;a href=&quot;http://en.wikipedia.org/wiki/File:Bloch_sphere.svg&quot;&gt;&lt;img style=&quot;display: inline; float: right&quot; alt=&quot;&quot; align=&quot;right&quot; src=&quot;http://upload.wikimedia.org/wikipedia/commons/thumb/6/6b/Bloch_sphere.svg/220px-Bloch_sphere.svg.png&quot; width=&quot;220&quot; height=&quot;234&quot; /&gt;&lt;/a&gt;&lt;/p&gt;  &lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;p&gt;&lt;a href=&quot;http://en.wikipedia.org/wiki/Bloch_sphere&quot;&gt;Bloch sphere&lt;/a&gt; representation of a qubit. The probability amplitudes in the text are given by &lt;img alt=&quot; \alpha = \cos\left(\frac{\theta}{2}\right) &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/2/6/e26b9ca99141e11bfdcca752208cfb90.png&quot; /&gt; and &lt;img alt=&quot; \beta = e^{i \phi}  \sin\left(\frac{\theta}{2}\right) &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/2/8/4288851a75918a9c4a77ef9ceb6a973a.png&quot; /&gt;.&lt;/p&gt;  &lt;p&gt;A pure qubit state is a linear &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_superposition&quot;&gt;superposition&lt;/a&gt; of the basis states. This means that the qubit can be represented as a &lt;a href=&quot;http://en.wikipedia.org/wiki/Linear_combination&quot;&gt;linear combination&lt;/a&gt; of &lt;img alt=&quot;|0 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt;and &lt;img alt=&quot;|1 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/e/7/ee73186e90463a7382893d182c1314c3.png&quot; /&gt; :&lt;/p&gt; &lt;dl&gt;&lt;dd&gt;&lt;img alt=&quot;| \psi \rangle = \alpha |0 \rangle + \beta |1 \rangle,\,&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/9/e/3/9e361c9a730bdbb3e007b02fb838bb19.png&quot; /&gt;&lt;/dd&gt;&lt;/dl&gt;  &lt;p&gt;where &lt;var&gt;α&lt;/var&gt; and &lt;var&gt;β&lt;/var&gt; are &lt;a href=&quot;http://en.wikipedia.org/wiki/Probability_amplitude&quot;&gt;probability amplitudes&lt;/a&gt; and can in general both be &lt;a href=&quot;http://en.wikipedia.org/wiki/Complex_number&quot;&gt;complex numbers&lt;/a&gt;.&lt;/p&gt;  &lt;p&gt;When we measure this qubit in the standard basis, the probability of outcome &lt;img alt=&quot;|0 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt; is &lt;img alt=&quot;| \alpha |^2&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/3/b/3/3b365236a64918e01a9aee6de57219a2.png&quot; /&gt; and the probability of outcome &lt;img alt=&quot;|1 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/e/7/ee73186e90463a7382893d182c1314c3.png&quot; /&gt; is &lt;img alt=&quot;| \beta |^2&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/f/f/c/ffc3531600f6fa9ede25c4094b16527f.png&quot; /&gt;. Because the absolute squares of the amplitudes equate to probabilities, it follows that &lt;var&gt;α&lt;/var&gt; and &lt;var&gt;β&lt;/var&gt; must be constrained by the equation&lt;/p&gt; &lt;dl&gt;&lt;dd&gt;&lt;img alt=&quot;| \alpha |^2 + | \beta |^2 = 1 \,&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/2/b/7/2b737c322cd7d6ef9225ad1c64d2a514.png&quot; /&gt;&lt;/dd&gt;&lt;/dl&gt;  &lt;p&gt;simply because this ensures you must measure either one state or the other.&lt;/p&gt;  &lt;h5&gt;Bloch Sphere&lt;/h5&gt;  &lt;p&gt;The possible states for a single qubit can be visualised using a &lt;a href=&quot;http://en.wikipedia.org/wiki/Bloch_sphere&quot;&gt;Bloch sphere&lt;/a&gt; (see diagram). Represented on such a sphere, a classical bit could only be at the &amp;quot;North Pole&amp;quot; or the &amp;quot;South Pole&amp;quot;, in the locations where &lt;img alt=&quot;|0 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt; and &lt;img alt=&quot;|1 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/e/7/ee73186e90463a7382893d182c1314c3.png&quot; /&gt; are respectively. The rest of the surface of the sphere is inaccessible to a classical bit, but a pure qubit state can be represented by any point on the surface. For example the pure qubit state &lt;img alt=&quot;{|0 \rangle +i|1 \rangle}\over{\sqrt{2}}  &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/7/4/0/7407856524920ed10090dc58c65c0456.png&quot; /&gt; would lie on the equator of the sphere, on the positive y axis.&lt;/p&gt;  &lt;p&gt;The surface of the sphere is two-dimensional space, which represents the &lt;a href=&quot;http://en.wikipedia.org/wiki/State_space_(physics)&quot;&gt;state space&lt;/a&gt; of the pure qubit states. This state space has two local &lt;a href=&quot;http://en.wikipedia.org/wiki/Degrees_of_freedom_(physics_and_chemistry)&quot;&gt;degrees of freedom&lt;/a&gt;. It might at first sight seem that there should be four degrees of freedom, as α and β are &lt;a href=&quot;http://en.wikipedia.org/wiki/Complex_numbers&quot;&gt;complex numbers&lt;/a&gt; with two degrees of freedom each. However, one degree of freedom is removed by the constraint &lt;img alt=&quot;| \alpha |^2 + | \beta |^2 = 1 \,&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/2/b/7/2b737c322cd7d6ef9225ad1c64d2a514.png&quot; /&gt;. Another, the overall &lt;a href=&quot;http://en.wikipedia.org/wiki/Phase_factor&quot;&gt;phase&lt;/a&gt; of the state, has no physically observable consequences, so we can arbitrarily choose α to be real, leaving just two degrees of freedom.&lt;/p&gt;  &lt;p&gt;It is possible to put the qubit in a &lt;a href=&quot;http://en.wikipedia.org/wiki/Mixed_state&quot;&gt;mixed state&lt;/a&gt;, a statistical combination of different pure states. Mixed states can be represented by points inside the Bloch sphere.&lt;/p&gt;  &lt;h5&gt; Operations on pure qubit states&lt;/h5&gt;  &lt;p&gt;There are various kinds of physical operations that can be performed on pure qubit states.&lt;sup&gt;[&lt;i&gt;&lt;a href=&quot;http://en.wikipedia.org/wiki/Wikipedia:Citation_needed&quot;&gt;citation needed&lt;/a&gt;&lt;/i&gt;]&lt;/sup&gt;&lt;/p&gt;  &lt;ul&gt;   &lt;li&gt;A &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_logic_gate&quot;&gt;quantum logic gate&lt;/a&gt; can operate on a qubit: mathematically speaking, the qubit undergoes a &lt;a href=&quot;http://en.wikipedia.org/wiki/Unitary_transformation&quot;&gt;unitary transformation&lt;/a&gt;. Unitary transformations correspond to rotations of the Bloch sphere. &lt;/li&gt;    &lt;li&gt;&lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_measurement&quot;&gt;Standard basis measurement&lt;/a&gt; is an operation in which information is gained about the state of the qubit. The result of the measurement will be either &lt;img alt=&quot;| 0 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt;, with probability &lt;img alt=&quot;|\alpha|^2&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/3/b/3/3b365236a64918e01a9aee6de57219a2.png&quot; /&gt;, or &lt;img alt=&quot;| 1 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/e/7/ee73186e90463a7382893d182c1314c3.png&quot; /&gt;, with probability &lt;img alt=&quot;|\beta|^2&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/f/f/c/ffc3531600f6fa9ede25c4094b16527f.png&quot; /&gt;. Measurement of the state of the qubit alters the values of &lt;var&gt;α&lt;/var&gt; and &lt;var&gt;β&lt;/var&gt;. For instance, if the result of the measurement is &lt;img alt=&quot;| 0 \rangle &quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt;, &lt;var&gt;α&lt;/var&gt; is changed to 1 (up to phase) and &lt;var&gt;β&lt;/var&gt; is changed to 0. Note that a measurement of a qubit state entangled with another quantum system transforms a pure state into a &lt;a href=&quot;http://en.wikipedia.org/wiki/Mixed_state&quot;&gt;mixed state&lt;/a&gt;.&lt;/li&gt; &lt;/ul&gt;  &lt;h4&gt; Entanglement&lt;/h4&gt;  &lt;p&gt;An important distinguishing feature between a qubit and a classical bit is that multiple qubits can exhibit &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_entanglement&quot;&gt;quantum entanglement&lt;/a&gt;. Entanglement is a &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_nonlocality&quot;&gt;nonlocal&lt;/a&gt; property that allows a set of qubits to express higher correlation than is possible in classical systems. Take, for example, two entangled qubits in the &lt;a href=&quot;http://en.wikipedia.org/wiki/Bell_state&quot;&gt;Bell state&lt;/a&gt;&lt;/p&gt; &lt;dl&gt;&lt;dd&gt;&lt;img alt=&quot;\frac{1}{\sqrt{2}} (|00\rangle + |11\rangle).&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/3/6/c/36c9c1ae536c4fa02bb215a4a0a3ae50.png&quot; /&gt;&lt;/dd&gt;&lt;/dl&gt;  &lt;p&gt;In this state, called an &lt;i&gt;equal superposition,&lt;/i&gt; there are equal probabilities of measuring either &lt;img alt=&quot;|00\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/f/6/7/f67a04f8bd95291a9f9d4c48deaae92e.png&quot; /&gt; or &lt;img alt=&quot;|11\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/8/0/0/800d8bdaf99f7762759c95ad07691ab2.png&quot; /&gt;, as &lt;img alt=&quot;|1/\sqrt{2}|^2 = 1/2&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/f/b/e/fbe3b70486b68cedabb7e73d949ae891.png&quot; /&gt;.&lt;/p&gt;  &lt;p&gt;Imagine that these two entangled qubits are separated, with one each given to Alice and Bob. Alice makes a measurement of her qubit, obtaining—with equal probabilities—either &lt;img alt=&quot;|0\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt; or &lt;img alt=&quot;|1\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/e/e/7/ee73186e90463a7382893d182c1314c3.png&quot; /&gt;. Because of the qubits&#39; entanglement, Bob must now get exactly the same measurement as Alice; i.e., if she measures a &lt;img alt=&quot;|0\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt;, Bob must measure the same, as &lt;img alt=&quot;|00\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/f/6/7/f67a04f8bd95291a9f9d4c48deaae92e.png&quot; /&gt; is the only state where Alice&#39;s qubit is a &lt;img alt=&quot;|0\rangle&quot; src=&quot;http://upload.wikimedia.org/wikipedia/en/math/4/9/6/4964d23384c66fc9420ae1133ef47c24.png&quot; /&gt;.&lt;/p&gt;  &lt;p&gt;Entanglement also allows multiple states (such as the &lt;a href=&quot;http://en.wikipedia.org/wiki/Bell_state&quot;&gt;Bell state&lt;/a&gt; mentioned above) to be acted on simultaneously, unlike classical bits that can only have one value at a time. Entanglement is a necessary ingredient of any quantum computation that cannot be done efficiently on a classical computer.&lt;/p&gt;  &lt;p&gt;Many of the successes of quantum computation and communication, such as &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_teleportation&quot;&gt;quantum teleportation&lt;/a&gt; and &lt;a href=&quot;http://en.wikipedia.org/wiki/Superdense_coding&quot;&gt;superdense coding&lt;/a&gt;, make use of entanglement, suggesting that entanglement is a &lt;a href=&quot;http://en.wikipedia.org/wiki/Computational_resource&quot;&gt;resource&lt;/a&gt; that is unique to quantum computation.&lt;/p&gt;  &lt;h5&gt;Quantum register&lt;/h5&gt;  &lt;p&gt;A number of entangled qubits taken together is a &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_register&quot;&gt;qubit register&lt;/a&gt;. &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_computer&quot;&gt;Quantum computers&lt;/a&gt; perform calculations by manipulating qubits within a register. A &lt;i&gt;qubyte&lt;/i&gt; is a collection of eight&lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_entanglement&quot;&gt;entangled&lt;/a&gt; qubits. It was first demonstrated by a team at the Institute of Quantum Optics and Quantum Information at the &lt;a href=&quot;http://en.wikipedia.org/wiki/University_of_Innsbruck&quot;&gt;University of Innsbruck&lt;/a&gt; in Austria in December 2005.&lt;/p&gt;  &lt;h4&gt;Variations of the qubit&lt;/h4&gt;  &lt;p&gt;Similar to the qubit, a &lt;a href=&quot;http://en.wikipedia.org/wiki/Qutrit&quot;&gt;qutrit&lt;/a&gt; is a unit of quantum information in a 3-level quantum system. This is analogous to the unit of classical information &lt;a href=&quot;http://en.wikipedia.org/wiki/Trit&quot;&gt;trit&lt;/a&gt;. The term &amp;quot;&lt;b&gt;qudit&lt;/b&gt;&amp;quot; is used to denote a unit of quantum information in a &lt;i&gt;d&lt;/i&gt;-level quantum system. A &lt;i&gt;quiet qubit&lt;/i&gt; refers to a qubit that can be efficiently decoupled from the environment.&lt;/p&gt;  &lt;h4&gt;Physical representation&lt;/h4&gt;  &lt;p&gt;Any two-level system can be used as a qubit. Multilevel systems can be used as well, if they possess two states that can be effectively decoupled from the rest (e.g., ground state and first excited state of a nonlinear oscillator). There are various proposals. Several physical implementations which approximate two-level systems to various degrees were successfully realized. Similarly to a classical bit where the state of a transistor in a processor, the magnetization of a surface in a hard disk and the presence of current in a cable can all be used to represent bits in the same computer, an eventual quantum computer is likely to use various combinations of qubits in its design.&lt;/p&gt;      &lt;div style=&quot;padding-bottom: 0px; padding-left: 0px; width: 448px; padding-right: 0px; display: block; float: none; margin-left: auto; margin-right: auto; padding-top: 0px&quot; id=&quot;scid:5737277B-5D6D-4f48-ABFC-DD9C333F4C5D:f048d2fc-8e1d-4712-9157-ffbae323ef6e&quot; class=&quot;wlWriterEditableSmartContent&quot;&gt;&lt;div id=&quot;959466b1-e3c0-4b2e-9718-be7bbb9b4bd0&quot; style=&quot;margin: 0px; padding: 0px; display: inline;&quot;&gt;&lt;div&gt;&lt;a href=&quot;http://www.youtube.com/watch?v=X2q1PuI2RFI&quot; target=&quot;_new&quot;&gt;&lt;img src=&quot;https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgnGmAKNI6DpgkKEy2hXaX_kDQrvdQqBSI-kU9NLeZKsejLDtmBn72P480Qw7Si056r6_2kp6lv-TvL9lfY5JBkCwh3voqGSHK_U5MzPNVBtFxCHY5xzpEqtDRUOfFzqt7ZSccXXdKEO6y_/?imgmax=800&quot; style=&quot;border-style: none&quot; galleryimg=&quot;no&quot; onload=&quot;var downlevelDiv = document.getElementById(&#39;959466b1-e3c0-4b2e-9718-be7bbb9b4bd0&#39;); downlevelDiv.innerHTML = &amp;quot;&amp;lt;div&amp;gt;&amp;lt;object width=\&amp;quot;448\&amp;quot; height=\&amp;quot;252\&amp;quot;&amp;gt;&amp;lt;param name=\&amp;quot;movie\&amp;quot; value=\&amp;quot;http://www.youtube.com/v/X2q1PuI2RFI?hl=en&amp;amp;hd=1\&amp;quot;&amp;gt;&amp;lt;\/param&amp;gt;&amp;lt;embed src=\&amp;quot;http://www.youtube.com/v/X2q1PuI2RFI?hl=en&amp;amp;hd=1\&amp;quot; type=\&amp;quot;application/x-shockwave-flash\&amp;quot; width=\&amp;quot;448\&amp;quot; height=\&amp;quot;252\&amp;quot;&amp;gt;&amp;lt;\/embed&amp;gt;&amp;lt;\/object&amp;gt;&amp;lt;\/div&amp;gt;&amp;quot;;&quot; alt=&quot;&quot;&gt;&lt;/a&gt;&lt;/div&gt;&lt;/div&gt;&lt;div style=&quot;width:448px;clear:both;font-size:.8em&quot;&gt;Part of a series on &quot;Quantum computing for the determined&quot;.&lt;/div&gt;&lt;/div&gt;  &lt;h4&gt;Qubit storage&lt;/h4&gt;  &lt;p&gt;In a paper entitled: &amp;quot;Solid-state quantum memory using the &lt;sup&gt;31&lt;/sup&gt;P nuclear spin,&amp;quot; published in the October 23, 2008 issue of the journal &lt;i&gt;&lt;a href=&quot;http://en.wikipedia.org/wiki/Nature_(journal)&quot;&gt;Nature&lt;/a&gt;&lt;/i&gt;,&lt;sup&gt; &lt;/sup&gt;an international team of scientists that included researchers with the U.S. Department of Energy&#39;s &lt;a href=&quot;http://en.wikipedia.org/wiki/Lawrence_Berkeley_National_Laboratory&quot;&gt;Lawrence Berkeley National Laboratory&lt;/a&gt; (Berkeley Lab) reported the first relatively long (1.75 seconds) and coherent transfer of a superposition state in an electron spin &amp;quot;processing&amp;quot; qubit to a &lt;a href=&quot;http://en.wikipedia.org/wiki/Nuclear_spin&quot;&gt;nuclear spin&lt;/a&gt; &amp;quot;memory&amp;quot; qubit. This event can be considered the first relatively consistent quantum Data storage, a vital step towards the development of &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_computing&quot;&gt;quantum computing&lt;/a&gt;.&lt;/p&gt;  &lt;h4&gt;Origin of the concept and term&lt;/h4&gt;  &lt;p&gt;The concept of the qubit was unknowingly introduced by &lt;a href=&quot;http://en.wikipedia.org/wiki/Stephen_Wiesner&quot;&gt;Stephen Wiesner&lt;/a&gt; in 1983, in his proposal for unforgeable &lt;a href=&quot;http://en.wikipedia.org/wiki/Quantum_money&quot;&gt;quantum money&lt;/a&gt;, which he had tried to publish for over a decade. &lt;/p&gt;  &lt;p&gt;The coining of the term &amp;quot;qubit&amp;quot; is attributed to &lt;a href=&quot;http://en.wikipedia.org/wiki/Benjamin_Schumacher&quot;&gt;Benjamin Schumacher&lt;/a&gt;. In the acknowledgments of his paper, Schumacher states that the term &lt;i&gt;qubit&lt;/i&gt; was invented in jest (due to its phonological resemblance with an ancient unit of length called &lt;a href=&quot;http://en.wikipedia.org/wiki/Cubit&quot;&gt;cubit&lt;/a&gt;), during a conversation with &lt;a href=&quot;http://en.wikipedia.org/wiki/William_Wootters&quot;&gt;William Wootters&lt;/a&gt;. The paper describes a way of compressing states emitted by a quantum source of information so that they require fewer physical resources to store. This procedure is now known as &lt;a href=&quot;http://en.wikipedia.org/w/index.php?title=Schumacher_compression&amp;amp;action=edit&amp;amp;redlink=1&quot;&gt;Schumacher compression&lt;/a&gt;.&lt;/p&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/3779421464395165296/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2012/04/qbitwhat-it-is.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3779421464395165296'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3779421464395165296'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2012/04/qbitwhat-it-is.html' title='Qbit–What it is ?'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-2433545429931022128</id><published>2010-08-28T07:43:00.004+05:30</published><updated>2010-08-28T07:47:19.559+05:30</updated><title type='text'>Upper bounds on fault tolerance thresholds of noisy Clifford-based quantum computers</title><content type='html'>&lt;object height=&quot;385&quot; width=&quot;300&quot;&gt;&lt;param name=&quot;movie&quot; value=&quot;http://www.youtube.com/v/hYDu7wHfyJY&amp;amp;rel=0&amp;amp;color1=0xb1b1b1&amp;amp;color2=0xd0d0d0&amp;amp;hl=en_US&amp;amp;feature=player_embedded&amp;amp;fs=1&quot;&gt;&lt;/param&gt;&lt;param name=&quot;allowFullScreen&quot; value=&quot;true&quot;&gt;&lt;/param&gt;&lt;param name=&quot;allowScriptAccess&quot; value=&quot;always&quot;&gt;&lt;/param&gt;&lt;embed src=&quot;http://www.youtube.com/v/hYDu7wHfyJY&amp;amp;rel=0&amp;amp;color1=0xb1b1b1&amp;amp;color2=0xd0d0d0&amp;amp;hl=en_US&amp;amp;feature=player_embedded&amp;amp;fs=1&quot; type=&quot;application/x-shockwave-flash&quot; allowfullscreen=&quot;true&quot; allowScriptAccess=&quot;always&quot; width=&quot;640&quot; height=&quot;385&quot;&gt;&lt;/embed&gt;&lt;/object&gt;&lt;br /&gt;
&lt;br /&gt;
Abstract:&lt;br /&gt;
We consider the possibility of adding noise to a quantum circuit to make it efficiently simulatable classically. In previous works this approach has been used to derive upper bounds to fault tolerance thresholds - usually by identifying a privileged resource, such as an entangling gate or a non-Clifford operation, and then deriving the noise levels required to make it `unprivileged&#39;. In this work we consider extensions of this approach where noise is added to Clifford gates too, and then `commuted&#39; around until it concentrates on attacking the non-Clifford resource. While commuting noise around is not always straightforward, we find that easy instances can be identified in popular fault tolerance proposals, thereby enabling sharper upper bounds to be derived in these cases. For instance we find that if we take Knill&#39;s high threshold proposal together with the ability to prepare any possible state in the $XY$ plane of the Bloch sphere, then no more than 3.69% error-per-gate noise is sufficient to make it classical, and 13.71% of Knill&#39;s gamma noise model is sufficient. These bounds have been derived without noise being added to the decoding parts of the circuits. Introducing such noise in a toy example suggests that the present approach can be optimised further to yield tighter bounds.</content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/2433545429931022128/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/08/upper-bounds-on-fault-tolerance.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/2433545429931022128'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/2433545429931022128'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/08/upper-bounds-on-fault-tolerance.html' title='Upper bounds on fault tolerance thresholds of noisy Clifford-based quantum computers'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-3611448932988093755</id><published>2010-08-27T14:01:00.004+05:30</published><updated>2010-08-27T14:57:40.292+05:30</updated><title type='text'>Quantum Algorithms A Different View</title><content type='html'>&lt;div style=&quot;color: #333333; font-family: Georgia, &#39;Times New Roman&#39;, Times, serif; font-size: 1em; line-height: 22px; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;em&gt;A view of quantum algorithms via linear algebra&amp;nbsp;&lt;/em&gt;&lt;/div&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;color: #333333; font-family: Georgia, &#39;Times New Roman&#39;, Times, serif; font-size: 13px; line-height: 22px;&quot;&gt;&lt;/span&gt;&lt;br /&gt;
&lt;span class=&quot;Apple-style-span&quot; style=&quot;color: #333333; font-family: Georgia, &#39;Times New Roman&#39;, Times, serif; font-size: 13px; line-height: 22px;&quot;&gt;&lt;/span&gt;&lt;br /&gt;
&lt;span class=&quot;Apple-style-span&quot; style=&quot;color: #333333; font-family: Georgia, &#39;Times New Roman&#39;, Times, serif; font-size: 13px; line-height: 22px;&quot;&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;a href=&quot;http://rjlipton.files.wordpress.com/2010/08/hilbert1.jpg&quot; style=&quot;color: #772124; font-weight: bold; text-decoration: none;&quot;&gt;&lt;img alt=&quot;&quot; class=&quot;alignright size-full wp-image-5338&quot; src=&quot;http://rjlipton.files.wordpress.com/2010/08/hilbert1.jpg?w=130&quot; style=&quot;border-bottom-style: none; border-color: initial; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; border-width: initial; float: right; margin-bottom: 10px; margin-left: 15px; margin-right: 0px; margin-top: 0px; text-decoration: none;&quot; title=&quot;hilbert&quot; width=&quot;130&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;David Hilbert is famous, beyond famous. He is one of the greatest mathematicians of all time. I wish to quote him on theories:&lt;/div&gt;&lt;blockquote style=&quot;background-attachment: initial; background-clip: initial; background-color: #e7e6e2; background-image: url(http://s1.wp.com/wp-content/themes/pub/vigilance/images/blockquote.gif); background-origin: initial; background-position: 0% 0%; background-repeat: no-repeat no-repeat; color: #141310; display: block; font-size: 14px; font-style: italic; margin-bottom: 20px; margin-left: 0px; margin-right: 0px; margin-top: 20px; padding-bottom: 10px; padding-left: 45px; padding-right: 20px; padding-top: 20px;&quot;&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;A mathematical theory is not to be considered complete until you have made it so clear that you can explain it to the first man whom you meet on the street.&lt;/div&gt;&lt;/blockquote&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;br /&gt;
&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;b&gt;Algorithms Not Physics&lt;/b&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;My goal was to remove QA’s from any physical considerations. If this offends the quantum experts, then I am sorry. No I am not sorry. I think we need to do this to make progress.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;We have done this decoupling almost completely with classical algorithms. When we explain a new classical algorithm we talk about high level operations—we do not talk about transistors and wires. Nor gates and memory cells. I would venture that few theorists could explain the details of how an L2 cache works, or how a modern arithmetic unit does pipelining, or in general how processors really work. The beautiful point is, it just does not matter for most of theory.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;It is this ability to think at a high level for the creation and analysis of classical algorithms that, I believe, is the reason theory has been able to create such powerful algorithms. These algorithms are often described at a level way above any implementation details. I believe this is fundamental, and one of the cornerstones of why theory works.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;Here are two classical algorithms: RSA Encryption and the Number Field Sieve (NFS). Both have changed the world, and were on Dick Karp’s list at the last&amp;nbsp;Theory Day&amp;nbsp;at Tech as great algorithms. Neither is described at a low level. For example, RSA is usually described in terms of operations on large integers—each of these operations requires millions of binary operations to perform. NFS is described also at a very high level. Without this ability I doubt that either algorithm would have been discovered.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;I think that to make radical progress on QA’s we need to move away from a bit-level understanding and analysis and move to a high-level understanding. This is what I tried to supply in the previous post on quantum algorithms. If I failed in that goal, I apologize to you, but I believe that this goal is the right one. Perhaps someone else will be able to succeed in raising the level of detail—I hope so.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;b&gt;Geometry Not Quantum Mechanics&lt;/b&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;In that previous discussion I tried to make the assumptions needed to understand the Deutsch algorithm as simple as possible. This was to help a non-expert to “see” what was happening without any quantum mechanics details. I also believe that by stripping away tensor products, qubits, Hadamard Transforms, and all the rest we could lay bare what is really happening. I agree that none of these concepts are too difficult, but are they&amp;nbsp;&lt;i&gt;essential&lt;/i&gt;&amp;nbsp;to make a person have a “feel” for what is happening with QA’s? I do not believe that they are.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;I also hope that this view can be used by theory experts to make further progress on QA’s. If the details are pushed aside and all that is left is a simple question about unit vectors on the sphere, then I hope that we might be able to find new insights. I am working right now on doing this, and I believe that I may succeed. If QA are “just” questions about geometry, then I assert that we may be able to find new QA’s or prove new lower bounds. I still believe that is true.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;b&gt;Grover’s Algorithm&lt;/b&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;Lov Grover&amp;nbsp;discovered&amp;nbsp;one of the most important QA known in 1996. Or is that “invented?” The algorithm named after him is able to search a space of size&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;&amp;nbsp;in cost&amp;nbsp;&lt;img alt=&quot;{O(\sqrt N)}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BO%28%5Csqrt+N%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{O(\sqrt N)}&quot; /&gt;. Of course, this is much faster than any classical algorithm, which would take linear time, even for random algorithms.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;Grover’s beautiful result has many applications. You can think of his algorithm as allowing the computation of an&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;&amp;nbsp;sized “OR” in time square root of&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;. This is so general that it has had many applications in various areas of complexity. For example, it can be used to perform triangle detection faster than any known classical method—see the beautiful&amp;nbsp;&lt;a href=&quot;http://arxiv.org/abs/quant-ph/0310134&quot; style=&quot;color: #772124; font-weight: bold; text-decoration: none;&quot;&gt;paper&lt;/a&gt;&amp;nbsp;by Frederic Magniez, Miklos Santha, and Mario Szegedy.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;It should be noted in this and many other applications there are nice interactions between Grover and standard methods. That is, the optimal results often follow from a “clever” use of Grover’s algorithm.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;b&gt;The Linear Algebra View&lt;/b&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;Let me explain Grover’s algorithm using just linear algebra. We begin in a state&amp;nbsp;&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;&amp;nbsp;of not knowing anything about the space of possible solutions—&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;&amp;nbsp;is the all-&lt;img alt=&quot;{1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{1}&quot; /&gt;&amp;nbsp;vector, but divided by&amp;nbsp;&lt;img alt=&quot;{\sqrt{N}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%5Csqrt%7BN%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{\sqrt{N}}&quot; /&gt;&amp;nbsp;to make it a unit vector. Let us suppose there are&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;solutions. We do not know&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;in advance. However, we will argue that it is enough to know&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;to within a factor of&amp;nbsp;&lt;img alt=&quot;{2}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B2%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{2}&quot; /&gt;. Then we will apply the standard idea of first trying&amp;nbsp;&lt;img alt=&quot;{k = N/2}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+N%2F2%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = N/2}&quot; /&gt;, then&amp;nbsp;&lt;img alt=&quot;{k = N/4}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+N%2F4%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = N/4}&quot; /&gt;, then&amp;nbsp;&lt;img alt=&quot;{k = N/8}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+N%2F8%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = N/8}&quot; /&gt;&amp;nbsp;and so on, and this will not affect the order of the running time. So we may suppose&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;is known after all—and what we really do not know is the location&amp;nbsp;&lt;img alt=&quot;{R \subseteq [N]}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BR+%5Csubseteq+%5BN%5D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{R \subseteq [N]}&quot; /&gt;&amp;nbsp;of the solutions. Our&amp;nbsp;&lt;i&gt;goal state&lt;/i&gt;&amp;nbsp;is the vector&amp;nbsp;&lt;img alt=&quot;{1_R}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B1_R%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{1_R}&quot; /&gt;&amp;nbsp;that has a&amp;nbsp;&lt;img alt=&quot;{1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{1}&quot; /&gt;&amp;nbsp;in those positions that belong to&amp;nbsp;&lt;img alt=&quot;{R}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BR%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{R}&quot; /&gt;, and&amp;nbsp;&lt;img alt=&quot;{0}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B0%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{0}&quot; /&gt;&amp;nbsp;elsewhere, this time dividing by&amp;nbsp;&lt;img alt=&quot;{\sqrt{k}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%5Csqrt%7Bk%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{\sqrt{k}}&quot; /&gt;&amp;nbsp;to make a unit vector&amp;nbsp;&lt;img alt=&quot;{r = 1_R/\sqrt{k}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Br+%3D+1_R%2F%5Csqrt%7Bk%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{r = 1_R/\sqrt{k}}&quot; /&gt;.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;All states&amp;nbsp;&lt;img alt=&quot;{q}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bq%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{q}&quot; /&gt;&amp;nbsp;that we reach along the way will be linear combinations of our initial ignorance state&amp;nbsp;&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;and the unknown full-knowledge state&amp;nbsp;&lt;img alt=&quot;{r}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Br%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{r}&quot; /&gt;, that is&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div align=&quot;center&quot; style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;img alt=&quot;\displaystyle  q = as + br &quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%5Cdisplaystyle++q+%3D+as+%2B+br+&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;\displaystyle  q = as + br &quot; /&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;where&amp;nbsp;&lt;img alt=&quot;{|a|^2 + |b|^2 = 1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%7Ca%7C%5E2+%2B+%7Cb%7C%5E2+%3D+1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{|a|^2 + |b|^2 = 1}&quot; /&gt;&amp;nbsp;to preserve a unit vector. Initially we have&amp;nbsp;&lt;img alt=&quot;{a = 1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Ba+%3D+1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{a = 1}&quot; /&gt;,&amp;nbsp;&lt;img alt=&quot;{b = 0}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bb+%3D+0%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{b = 0}&quot; /&gt;. When we measure, the chance of getting the index of a solution is&amp;nbsp;&lt;img alt=&quot;{|a|^2(k/N) + |b|^2}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%7Ca%7C%5E2%28k%2FN%29+%2B+%7Cb%7C%5E2%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{|a|^2(k/N) + |b|^2}&quot; /&gt;. Initially this is just&amp;nbsp;&lt;img alt=&quot;{k/N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%2FN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k/N}&quot; /&gt;, which is just the chance of guessing a solution at random. If&amp;nbsp;&lt;img alt=&quot;{|b|}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%7Cb%7C%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{|b|}&quot; /&gt;&amp;nbsp;is high, however, then we stand a good chance of getting a solution. So that’s the goal of Grover’s algorithm—to stay in the simple two-dimensional subspace&amp;nbsp;&lt;img alt=&quot;{S}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BS%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{S}&quot; /&gt;&amp;nbsp;spanned by&amp;nbsp;&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;&amp;nbsp;and&amp;nbsp;&lt;img alt=&quot;{r}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Br%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{r}&quot; /&gt;, while moving from&amp;nbsp;&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;&amp;nbsp;close enough to&amp;nbsp;&lt;img alt=&quot;{r}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Br%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{r}&quot; /&gt;for a measurement to give a solution with high probability. We just need some operations that keep this subspace fixed but move points well enough inside it.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;The first operation is an&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;&amp;nbsp;by&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;&amp;nbsp;matrix&amp;nbsp;&lt;img alt=&quot;{A}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BA%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{A}&quot; /&gt;&amp;nbsp;that is the identity matrix—except that the diagonal entries corresponding to solutions are&amp;nbsp;&lt;img alt=&quot;{-1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B-1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{-1}&quot; /&gt;&amp;nbsp;instead of&amp;nbsp;&lt;img alt=&quot;{1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{1}&quot; /&gt;. That is,&amp;nbsp;&lt;img alt=&quot;{A = I - 2\mathrm{diag}(1_R)}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BA+%3D+I+-+2%5Cmathrm%7Bdiag%7D%281_R%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{A = I - 2\mathrm{diag}(1_R)}&quot; /&gt;. This matrix is given as a “black box”—we are not allowed to inspect it. It really represents the verification predicate that an element is a solution. Since&amp;nbsp;&lt;img alt=&quot;{A^2 = I}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BA%5E2+%3D+I%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{A^2 = I}&quot; /&gt;, clearly&amp;nbsp;&lt;img alt=&quot;{A}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BA%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{A}&quot; /&gt;&amp;nbsp;is unitary. The second operation is simply the matrix&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div align=&quot;center&quot; style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;img alt=&quot;\displaystyle  B = \frac{2}{N}J - I&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%5Cdisplaystyle++B+%3D+%5Cfrac%7B2%7D%7BN%7DJ+-+I&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;\displaystyle  B = \frac{2}{N}J - I&quot; /&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;where&amp;nbsp;&lt;img alt=&quot;{J}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BJ%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{J}&quot; /&gt;&amp;nbsp;is the all&amp;nbsp;&lt;img alt=&quot;{1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{1}&quot; /&gt;&amp;nbsp;matrix. Each row has one entry of&amp;nbsp;&lt;img alt=&quot;{(2/N) - 1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%282%2FN%29+-+1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{(2/N) - 1}&quot; /&gt;&amp;nbsp;and&amp;nbsp;&lt;img alt=&quot;{(N-1)}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%28N-1%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{(N-1)}&quot; /&gt;&amp;nbsp;entries of&amp;nbsp;&lt;img alt=&quot;{2/N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B2%2FN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{2/N}&quot; /&gt;. Its norm is therefore&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div align=&quot;center&quot; style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;img alt=&quot;\displaystyle  (\frac{2}{N} - 1)^2 + (N-1)(\frac{2}{N})^2 = \frac{4}{N^2} - \frac{4}{N} + 1 + \frac{4}{N} - \frac{4}{N^2} = 1. &quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%5Cdisplaystyle++%28%5Cfrac%7B2%7D%7BN%7D+-+1%29%5E2+%2B+%28N-1%29%28%5Cfrac%7B2%7D%7BN%7D%29%5E2+%3D+%5Cfrac%7B4%7D%7BN%5E2%7D+-+%5Cfrac%7B4%7D%7BN%7D+%2B+1+%2B+%5Cfrac%7B4%7D%7BN%7D+-+%5Cfrac%7B4%7D%7BN%5E2%7D+%3D+1.+&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;\displaystyle  (\frac{2}{N} - 1)^2 + (N-1)(\frac{2}{N})^2 = \frac{4}{N^2} - \frac{4}{N} + 1 + \frac{4}{N} - \frac{4}{N^2} = 1. &quot; /&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;All pairs of different rows have dot product&amp;nbsp;&lt;img alt=&quot;{2(2/N - 1)(2/N) + (N-2)(2/N)^2 = 8/N^2 - 4/N + 4/N - 8/N^2 = 0}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B2%282%2FN+-+1%29%282%2FN%29+%2B+%28N-2%29%282%2FN%29%5E2+%3D+8%2FN%5E2+-+4%2FN+%2B+4%2FN+-+8%2FN%5E2+%3D+0%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{2(2/N - 1)(2/N) + (N-2)(2/N)^2 = 8/N^2 - 4/N + 4/N - 8/N^2 = 0}&quot; /&gt;. So&amp;nbsp;&lt;img alt=&quot;{B}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BB%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{B}&quot; /&gt;&amp;nbsp;is also a unitary matrix. To verify that these operations conserve the subspace&amp;nbsp;&lt;img alt=&quot;{S}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BS%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{S}&quot; /&gt;, note that&amp;nbsp;&lt;img alt=&quot;{Js = Ns}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BJs+%3D+Ns%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{Js = Ns}&quot; /&gt;while&amp;nbsp;&lt;img alt=&quot;{Jr = ks/\sqrt{k} = \sqrt{k}s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BJr+%3D+ks%2F%5Csqrt%7Bk%7D+%3D+%5Csqrt%7Bk%7Ds%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{Jr = ks/\sqrt{k} = \sqrt{k}s}&quot; /&gt;, and compute:&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div align=&quot;center&quot; style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;img alt=&quot;\displaystyle  \begin{array}{rcl}  As &amp;amp;=&amp;amp; (I - 2\mathrm{diag}(1_R))s = s - 2\sqrt{\frac{k}{N}}r \\  Ar &amp;amp;=&amp;amp; -r \\  Bs &amp;amp;=&amp;amp; \frac{2}{N}Js - s = 2s - s = s \\  Br &amp;amp;=&amp;amp; \frac{2}{N}Jr - r = 2\sqrt{\frac{k}{N}}s - r. \end{array} &quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%5Cdisplaystyle++%5Cbegin%7Barray%7D%7Brcl%7D++As+%26%3D%26+%28I+-+2%5Cmathrm%7Bdiag%7D%281_R%29%29s+%3D+s+-+2%5Csqrt%7B%5Cfrac%7Bk%7D%7BN%7D%7Dr+%5C%5C+%09Ar+%26%3D%26+-r+%5C%5C+%09Bs+%26%3D%26+%5Cfrac%7B2%7D%7BN%7DJs+-+s+%3D+2s+-+s+%3D+s+%5C%5C+%09Br+%26%3D%26+%5Cfrac%7B2%7D%7BN%7DJr+-+r+%3D+2%5Csqrt%7B%5Cfrac%7Bk%7D%7BN%7D%7Ds+-+r.+%5Cend%7Barray%7D+&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;\displaystyle  \begin{array}{rcl}  As &amp;amp;=&amp;amp; (I - 2\mathrm{diag}(1_R))s = s - 2\sqrt{\frac{k}{N}}r \\  Ar &amp;amp;=&amp;amp; -r \\  Bs &amp;amp;=&amp;amp; \frac{2}{N}Js - s = 2s - s = s \\  Br &amp;amp;=&amp;amp; \frac{2}{N}Jr - r = 2\sqrt{\frac{k}{N}}s - r. \end{array} &quot; /&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;The algorithm then simply computes&lt;/div&gt;&lt;div align=&quot;center&quot; style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;img alt=&quot;\displaystyle  q = (BA)^m s,&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%5Cdisplaystyle++q+%3D+%28BA%29%5Em+s%2C&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;\displaystyle  q = (BA)^m s,&quot; /&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;where&amp;nbsp;&lt;img alt=&quot;{m \approx \sqrt{N/k}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bm+%5Capprox+%5Csqrt%7BN%2Fk%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{m \approx \sqrt{N/k}}&quot; /&gt;. Then, it measures the vector&amp;nbsp;&lt;img alt=&quot;{q}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bq%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{q}&quot; /&gt;. The claim is with high probability the measurement yields some index&amp;nbsp;&lt;img alt=&quot;{i}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bi%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{i}&quot; /&gt;&amp;nbsp;so that&amp;nbsp;&lt;img alt=&quot;{A_{ii}=-1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BA_%7Bii%7D%3D-1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{A_{ii}=-1}&quot; /&gt;.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;b&gt;Grover Analysis&lt;/b&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;The key here is to prove that the algorithm works: that is after applying the matrix&amp;nbsp;&lt;img alt=&quot;{BA}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BBA%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{BA}&quot; /&gt;&amp;nbsp;about square root of&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;&amp;nbsp;times the measurement yields a solution with high probability. Given our insight about preserving a two-dimensional subspace, this comes down to simple linear algebra on&amp;nbsp;&lt;img alt=&quot;{2 \times 2}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B2+%5Ctimes+2%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{2 \times 2}&quot; /&gt;&amp;nbsp;matrices. The algebra is the same as on Wikipedia’s page on&amp;nbsp;&lt;a href=&quot;http://en.wikipedia.org/wiki/Grover&#39;s_algorithm&quot; style=&quot;color: #772124; font-weight: bold; text-decoration: none;&quot;&gt;Grover’s algorithm&lt;/a&gt;&amp;nbsp;for the case&amp;nbsp;&lt;img alt=&quot;{k = 1}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+1%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = 1}&quot; /&gt;, except we replace factors&amp;nbsp;&lt;img alt=&quot;{\sqrt{1/N}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%5Csqrt%7B1%2FN%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{\sqrt{1/N}}&quot; /&gt;&amp;nbsp;by&amp;nbsp;&lt;img alt=&quot;{\sqrt{k/N}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%5Csqrt%7Bk%2FN%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{\sqrt{k/N}}&quot; /&gt;.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;We can see intuitively from the above action of&amp;nbsp;&lt;img alt=&quot;{A}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BA%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{A}&quot; /&gt;&amp;nbsp;and&amp;nbsp;&lt;img alt=&quot;{B}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BB%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{B}&quot; /&gt;&amp;nbsp;on&amp;nbsp;&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;&amp;nbsp;and&amp;nbsp;&lt;img alt=&quot;{r}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Br%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{r}&quot; /&gt;&amp;nbsp;that&amp;nbsp;&lt;img alt=&quot;{BA}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BBA%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{BA}&quot; /&gt;&amp;nbsp;effects a rotation through an angle of&amp;nbsp;&lt;img alt=&quot;{\mathrm{arcsin}(2\sqrt{k/N})}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%5Cmathrm%7Barcsin%7D%282%5Csqrt%7Bk%2FN%7D%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{\mathrm{arcsin}(2\sqrt{k/N})}&quot; /&gt;, which is roughly&amp;nbsp;&lt;img alt=&quot;{2\sqrt{k/N}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B2%5Csqrt%7Bk%2FN%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{2\sqrt{k/N}}&quot; /&gt;&amp;nbsp;when&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;is small relative to&amp;nbsp;&lt;img alt=&quot;{N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7BN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{N}&quot; /&gt;. Starting from&amp;nbsp;&lt;img alt=&quot;{s}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bs%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{s}&quot; /&gt;&amp;nbsp;which is the point&amp;nbsp;&lt;img alt=&quot;{(1,0)}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%281%2C0%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{(1,0)}&quot; /&gt;&amp;nbsp;in this co-ordinate system, it takes about&amp;nbsp;&lt;img alt=&quot;{(\pi/2)(\sqrt{N/k}/2) = (\pi/4)\sqrt{N/k}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%28%5Cpi%2F2%29%28%5Csqrt%7BN%2Fk%7D%2F2%29+%3D+%28%5Cpi%2F4%29%5Csqrt%7BN%2Fk%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{(\pi/2)(\sqrt{N/k}/2) = (\pi/4)\sqrt{N/k}}&quot; /&gt;&amp;nbsp;iterations to get near the point&amp;nbsp;&lt;img alt=&quot;{(0,1)}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%280%2C1%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{(0,1)}&quot; /&gt;. We get near within distance about&amp;nbsp;&lt;img alt=&quot;{\sqrt{k/N}}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%5Csqrt%7Bk%2FN%7D%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{\sqrt{k/N}}&quot; /&gt;, in fact, and the error when measuring is hence order-of the square of that, i.e. only order&amp;nbsp;&lt;img alt=&quot;{k/N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%2FN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k/N}&quot; /&gt;. Note that as it iterates, the algorithm gets progressively closer to its goal—in the sense that if “Simon says: measure” at any time, its chance of finding a solution always improves.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;Finally, as we noted above, if we do not know&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;then we make a “net” by guessing&amp;nbsp;&lt;img alt=&quot;{k = N/2}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+N%2F2%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = N/2}&quot; /&gt;&amp;nbsp;then&amp;nbsp;&lt;img alt=&quot;{k = N/4}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+N%2F4%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = N/4}&quot; /&gt;&amp;nbsp;then&amp;nbsp;&lt;img alt=&quot;{k = N/8}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk+%3D+N%2F8%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k = N/8}&quot; /&gt;&amp;nbsp;and so on. When our “&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;” is off by a factor of 2 we will not get so near to the point&amp;nbsp;&lt;img alt=&quot;{(0,1)}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B%280%2C1%29%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{(0,1)}&quot; /&gt;. However, there will be multiple iterations for values&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;in our net that are close enough to give a reasonable success probability. The full analysis involves a tradeoff between random guessing working well when&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;is large, versus the error&amp;nbsp;&lt;img alt=&quot;{k/N}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%2FN%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k/N}&quot; /&gt;&amp;nbsp;being small when&amp;nbsp;&lt;img alt=&quot;{k}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7Bk%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{k}&quot; /&gt;&amp;nbsp;is small, and repeating some measurement trials to make the net a little finer than stepping down by factors of&amp;nbsp;&lt;img alt=&quot;{2}&quot; class=&quot;latex&quot; src=&quot;http://l.wordpress.com/latex.php?latex=%7B2%7D&amp;amp;bg=ffffff&amp;amp;fg=000000&amp;amp;s=0&quot; style=&quot;border-bottom-style: none; border-color: initial; border-left-style: none; border-right-style: none; border-top-style: none; border-width: initial; vertical-align: middle;&quot; title=&quot;{2}&quot; /&gt;. The details need to be worked out, but these details are not quantum mechanical—they are ordinary theory-of-algorithms details.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;b&gt;Open Problems&lt;/b&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;The goal here was not to supplant the current view of QA’s. Nor was it to not teach all the details to our students. The goal was both less and more important. It was to start to try to create a way to look at QA’s that was simpler, more accessible to many. And at the same time could lead us to discover new insights into QA’s. I believe that the more ways we can define and view a mathematical topic, the better is our understanding.&lt;/div&gt;&lt;div style=&quot;font-size: 1em; margin-bottom: 10px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;&quot;&gt;I hope that I helped in this regard. In any event thanks to all who read that discussion and this one. Thanks for being supportive—even those who disagree with this approach.&lt;/div&gt;&lt;/span&gt;</content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/3611448932988093755/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/08/quantum-algorithms-different-view.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3611448932988093755'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3611448932988093755'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/08/quantum-algorithms-different-view.html' title='Quantum Algorithms A Different View'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-8386048812534079653</id><published>2010-08-04T09:53:00.002+05:30</published><updated>2010-08-04T18:01:50.258+05:30</updated><title type='text'>Photon Triplets Generated</title><content type='html'>&lt;blockquote&gt;An international research team achieved a longstanding milestone in quantum optics research — the direct generation of photon triplets. This result has been sought for years but never achieved until now. &lt;br /&gt;
&lt;img alt=&quot;&quot; src=&quot;http://www.photonics.com/images2/Website/2010/2010-08/OPTO-Triplets.jpg&quot; /&gt;&lt;br /&gt;
&lt;hr /&gt;An illustration of the triple photon experiment. (Image: Institute For Quantum Computing) &lt;br /&gt;
&lt;hr /&gt;&lt;br /&gt;
The breakthrough was made by Thomas Jennewein, Hannes Hübel, Deny Hamel and Kevin Resch of the University of Waterloo, along with Alessandro Fedrizzi of the University of Queensland and Sven Ramelow of the Austrian Academy of Sciences. &lt;br /&gt;
“This is going to open a new frontier of quantum optics and allow a new class of experiments in quantum computing using photons,” said lead investigator Jennewein. &lt;br /&gt;
In the past, the generation of pairs of photons (particles of light) revolutionized quantum optics and made possible emerging technologies such as quantum cryptography and quantum computing with photons. &lt;br /&gt;
Typically, these photon pairs were created from strong lasers sent through a crystal - a process known as “parametric down-conversion.” &lt;br /&gt;
In the new approach, researchers created photon triplets by producing a first pair of photons using an optical crystal, then splitting one of the photon pairs further into two additional photons inside a second crystal. &lt;br /&gt;
It’s a process that was first conceived 20 years ago, but had never before been experimentally observed. &lt;br /&gt;
&lt;a name=&#39;more&#39;&gt;&lt;/a&gt;Because each triplet originates from a single pump photon, the quantum correlations will extend over all three photons in a manner not achievable when using independently created photon pairs. &lt;br /&gt;
It is expected that this photon-triplet source will allow tests of novel quantum correlations and will greatly advance photonic quantum computing. &lt;br /&gt;
Jennewein praised his collaborators and IQC’s research facilities for the fruitful results: “It shows the value of a very strong team and a great environment for allowing breakthroughs to happen.” &lt;br /&gt;
In the research featured in the latest issue of the journal &lt;em&gt;Nature&lt;/em&gt;, the researchers explain that these tripartite quantum correlations will significantly advance quantum information research. &lt;br /&gt;
The project involved collaboration between IQC’s Quantum Photonics Laboratory and Quantum Optics and Quantum Information Group. &lt;br /&gt;
The research was supported by the Canadian Institute for Advanced Research, the Ontario Centers of Excellence, the Ontario Ministry of Research and Innovation, the Natural Sciences and Engineering Council of Canada, and the Canadian Foundation for Innovation. &lt;/blockquote&gt;</content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/8386048812534079653/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/08/photon-triplets-generated.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/8386048812534079653'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/8386048812534079653'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/08/photon-triplets-generated.html' title='Photon Triplets Generated'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-6683490058586820219</id><published>2010-07-28T17:12:00.001+05:30</published><updated>2010-07-28T17:12:10.515+05:30</updated><title type='text'>[1007.3624] Unbounded-error quantum computation with small space bounds</title><content type='html'>&lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;blockquote&gt;   &lt;h3&gt;&amp;#160;&lt;/h3&gt;    &lt;p&gt;Authors: &lt;a href=&quot;http://arxiv.org/find/cs/1/au:+Yakaryilmaz_A/0/1/0/all/0/1&quot;&gt;Abuzer Yakaryilmaz&lt;/a&gt;, &lt;a href=&quot;http://arxiv.org/find/cs/1/au:+Say_A/0/1/0/all/0/1&quot;&gt;A. C. Cem Say&lt;/a&gt;&lt;/p&gt;    &lt;p&gt;(Submitted on 21 Jul 2010)&lt;/p&gt;    &lt;blockquote&gt;Abstract: We prove the following facts about the language recognition power of quantum Turing machines (QTMs) in the unbounded error setting: QTMs are strictly more powerful than probabilistic Turing machines for any common space bound $ s $ satisfying $ s(n)=o(\log \log n) $. For &amp;quot;1.5-way&amp;quot; Turing machines, where the input tape head is not allowed to move left, the above result holds for $s(n)=o(\log n) $. We also give a characterization for the class of languages recognized with unbounded error by one-way quantum finite automata (QFAs) with restricted measurements. It turns out that these automata are equal in power to their probabilistic counterparts, and this fact does not change when the QFA model is augmented to allow general measurements and mixed states. Unlike the case with classical finite automata, when the QFA tape head is allowed even 1.5-way movement, more languages become recognizable. We define and use a QTM model that generalizes the other variants introduced earlier in the study of quantum space complexity. &lt;/blockquote&gt;    &lt;p&gt;Comments:      &lt;br /&gt;A preliminary version of this paper appeared in the Proceedings of the Fourth International Computer Science Symposium in Russia, pages 356--367, 2009&lt;/p&gt; &lt;/blockquote&gt;  &lt;p&gt;&lt;a href=&quot;http://arxiv.org/abs/1007.3624&quot;&gt;[1007.3624] Unbounded-error quantum computation with small space bounds&lt;/a&gt;&lt;/p&gt;  &lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;h4&gt;Download:&lt;/h4&gt;  &lt;ul&gt;   &lt;li&gt;&lt;a href=&quot;http://arxiv.org/pdf/1007.3624v1&quot;&gt;PDF&lt;/a&gt;&lt;/li&gt; &lt;/ul&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/6683490058586820219/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/07/10073624-unbounded-error-quantum.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/6683490058586820219'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/6683490058586820219'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/07/10073624-unbounded-error-quantum.html' title='[1007.3624] Unbounded-error quantum computation with small space bounds'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-3127928587315508377</id><published>2010-07-12T16:55:00.001+05:30</published><updated>2010-07-12T16:55:42.101+05:30</updated><title type='text'>This remarkable &amp;quot;ion trap&amp;quot; turns charged atoms into quantum information carriers</title><content type='html'>&lt;p&gt;&lt;/p&gt;  &lt;h3&gt;&amp;#160;&lt;/h3&gt;  &lt;p&gt;&lt;img alt=&quot;This remarkable &amp;quot;ion trap&amp;quot; turns charged atoms into quantum information carriers&quot; src=&quot;http://cache.gawkerassets.com/assets/images/8/2010/07/500x_custom_1278883976323_iontrap.jpg&quot; width=&quot;500&quot; /&gt;A new device uses optical fibers to measure light from individual ions. Since these charged atoms store quantum information, this ion trap could allow us to build practical quantum computers and to link light and matter at the quantum level.&lt;/p&gt;  &lt;p&gt;The real stumbling block for quantum computers is finding something that can practically be used to house a qubit, the building blocks of quantum information. This ion trap makes the electrically charged atoms a genuine possibility by isolating each one and making possible the extraction of individual qubits of information. In fact, the researchers were able to use them in some very rudimentary experimental quantum computing.&lt;/p&gt;  &lt;p&gt;&lt;img alt=&quot;This remarkable &amp;quot;ion trap&amp;quot; turns charged atoms into quantum information carriers&quot; src=&quot;http://cache.gawkerassets.com/assets/images/8/2010/07/340x_100708111208-large.jpg&quot; width=&quot;340&quot; /&gt;&lt;/p&gt;  &lt;p&gt;So how does it work? The device is just one square millimeter in size and has a built-in optical fiber. Tiny electrodes are used to trap the ions that pass through it within 30 to 50 micrometers below the surface of the device. The ion is then within reading distance of the optical fiber, which detects the ion&#39;s fluorescence signals and uses that data to figure out the ion&#39;s quantum information content.&lt;/p&gt;  &lt;p&gt;Previous attempts to read the fluorescence of ions have depended on external lenses located about 5 centimeters away. That may not sound like much, but it&#39;s a full 500 times further away from the ions than the fiber needs to be, which means the detection system can be miniaturized and packed in on a level never before imagined. A huge number of these fibers could be put on a single quantum computer chip, which just wouldn&#39;t be possible with the older lens system. The fiber method isn&#39;t as efficient as its lens counterpart, although its developers are confident they can improve the light absorption of the device. Either way, since ions give off millions of photos per second, they are plenty bright enough for the fibers to detect and read.&lt;/p&gt;  &lt;p&gt;For this particular trap design, the researchers ultimately hope to pair individual photons with individual ions. That would allow information to be swapped from matter qubits to photon qubits. Matter qubits, like those using ions, are currently the preferred foundation of quantum computers, while photon qubits are used for quantum communications, which is thought to be the most secure form of communication possible. By linking data between the two types of qubits, the developers could set up a system that would bring together quantum computers and quantum communications networks.&lt;/p&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/3127928587315508377/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/07/this-remarkable-trap-turns-charged.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3127928587315508377'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3127928587315508377'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/07/this-remarkable-trap-turns-charged.html' title='This remarkable &amp;quot;ion trap&amp;quot; turns charged atoms into quantum information carriers'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-8145261802258287587</id><published>2010-07-05T17:12:00.001+05:30</published><updated>2010-07-05T17:12:50.530+05:30</updated><title type='text'>Unusual quantum states may shake up quantum computing</title><content type='html'>&lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;blockquote&gt;   &lt;p&gt;&amp;#160;&lt;/p&gt;    &lt;p&gt;&lt;img style=&quot;display: inline; margin-left: 0px; margin-right: 0px&quot; alt=&quot;&quot; align=&quot;right&quot; src=&quot;http://static.arstechnica.com/2009/08/21/atom_ars.jpg&quot; width=&quot;300&quot; /&gt;&lt;/p&gt;    &lt;p&gt;Researchers have found a new method of controlling the quantum states of solid particles, and the research could enable a different approach to quantum computing, according to a paper published in &lt;i&gt;Nature&lt;/i&gt;. &lt;/p&gt;    &lt;p&gt;Using doped silicon, scientists found that they were able to exert control over the solid atoms using terahertz frequency radiation, getting the atoms to oscillate between states normally found in hydrogen atoms. While the equipment they used was very specialized, the authors hope that this new level of coherent control will allow for a different style of entanglement, as well as finer manipulation of quantum information held in excited atoms. &lt;/p&gt;    &lt;p&gt;Scientists have had a field day using lasers to perform all manner of quantum manipulations on various particles: trapping&amp;#160; photons, entangling them, and sending them over long distances, even using this to perform simple quantum calculations. However, these quantum states are often unstable and hard to control, creating errors and unreliability in their information and in the calculations they perform. &lt;/p&gt;    &lt;p&gt;To help fix this, a group of researchers are pursuing the use of well-known quantum states, called Rydberg states, using atoms in a solid. These states follow the rules of a formula that was designed to explain free hydroden atoms, but a special physical loophole allows larger atoms to be obey the formula, too. &lt;/p&gt;    &lt;p&gt;Atoms that can be manipulated in Rydberg states have an interesting property: their ground states are too compact to interact with each other. If two such atoms were used for quantum computing, they could be entangled only in their excited states, leaving their ground states independent. This could provide a new quantum information relay method. &lt;/p&gt;    &lt;p&gt;A material&#39;s impurities can occupy Rydberg states if they have exactly one more valence electron than the host material. Phosphorus-doped silicon, a common type of semiconductor, fits the bill perfectly. The researchers behind the new paper decided they would use radiation in the terahertz range on the phosphorus impurities, hoping that the fine oscillations would let them switch the atoms between two closely spaced Rydberg states. &lt;/p&gt;    &lt;p&gt;In order to prove they were actually exerting control over the phosphorus at a quantum level, the researchers had to look for two kinds of activity in the atoms. One was Rabi oscillations, a set of waves that indicate the atom is being driven between a ground and an excited state by the laser. If the laser was set to the right frequency, it would create a superposition of the ground and excited wavefunctions that emits a simple, easily detected wavepacket that oscillates over time.&lt;/p&gt;    &lt;p&gt;The other thing they needed to find was photon echoes from the particles. An echo comes from putting a set of particles into a coherent state by zapping them with a laser, then letting their wave functions evolve over time. A second laser pulse would reverse the evolution and cause the particles to send out an extra &amp;quot;echo&amp;quot; of energy. &lt;/p&gt;    &lt;p&gt;Packed into the echo is a record of the environment&#39;s effects on the atom—a sort of &amp;quot;while you were away&amp;quot; note to would-be observers. Reading the echo would allow researchers to figure out exactly how long the wavefunctions of the atoms would take to &amp;quot;dephase,&amp;quot; or get all confused by environmental effects. That length of time is a stand-in measure for how resilient the wavefunctions are, and how long they could be used to hold or transfer quantum information.&lt;/p&gt;    &lt;p&gt;Using the Free Electron Laser for Infrared Experiments (FELIX) in the Netherlands, the researchers were able to create laser pulses that exerted remarkable, and remarkably fast, control over the phosphorus atoms. At terahertz frequencies, they were able to stimulate both Rabi oscillations and photon echoes. The Rabi oscillations indicated a superposition of the atoms&#39; ground and first excited states, and had energies that corresponded to the Rydberg series they were looking for. &lt;/p&gt;    &lt;p&gt;The photon echoes that the atoms generated indicated that they had a dephasing time of 160 picoseconds. This sounds too short to get much of anything accomplished, but the electrons in the phosphorus atoms were oscillating between states every 100 femtoseconds. If the atom were carrying information, theoretically this means users have over a thousand opportunities to read the atom before its wavefunction gets too distorted to use. &lt;/p&gt;    &lt;p&gt;Going forward, the authors of the paper seemed most interested in the prospects for entangling pairs of Rydberg-capable impurities. A Bell state where each atom&#39;s ground state is entangled with the other&#39;s excited state sounds particularly interesting, since reading one of the atoms has only a chance of setting the other. Aside from that, the researchers hope their new method for exerting coherent control over the quantum states of a solid, widely used material will introduce a bit more versatility to the field of quantum computing.&lt;/p&gt;&lt;/blockquote&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/8145261802258287587/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/07/unusual-quantum-states-may-shake-up.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/8145261802258287587'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/8145261802258287587'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/07/unusual-quantum-states-may-shake-up.html' title='Unusual quantum states may shake up quantum computing'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-6215020733477056640</id><published>2010-06-28T18:56:00.001+05:30</published><updated>2010-06-28T18:56:56.011+05:30</updated><title type='text'>First Ever Quantum Memory Storage</title><content type='html'>&lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;blockquote&gt;   &lt;p&gt;&lt;img title=&quot;Laser&quot; alt=&quot;&quot; src=&quot;http://indyposted.com/wp-content/uploads/2010/06/LaserExperiment-300x240.jpg&quot; width=&quot;300&quot; height=&quot;240&quot; /&gt;       &lt;br /&gt;A team of researchers from the Australian National University (ANU) has developed the most efficient quantum memory for light in the world, making the future of super-fast computing and communications one step closer to reality, according to &lt;a href=&quot;http://news.anu.edu.au/?p=2216&quot;&gt;press release from the ANU&lt;/a&gt;.&lt;/p&gt;    &lt;p&gt;The researchers from the ANU Research School of Physics and Engineering deployed a technique they pioneered that allows them to manipulate light from a laser, controlling the electrons in a super-chilled crystal at -270 degrees Celsius. Lead researcher Morgan Hedges explains how it works:&lt;/p&gt;    &lt;blockquote&gt;     &lt;p&gt;Light entering the crystal is slowed all the way to a stop, where it remains until we let it go again. When we do let it go, we get out essentially everything that went in as a three-dimensional hologram, accurate right down to the last photon.&lt;/p&gt;      &lt;p&gt;Because of the inherent uncertainty in quantum mechanics, some of the information in this light will be lost the moment it is measured, making it a read-once hologram. Quantum mechanics guarantees this information can only be read once, making it perfect for secure communication.&lt;/p&gt;   &lt;/blockquote&gt;    &lt;p&gt;The memory has incredible accuracy and efficiency qualities never seen before, making it a leading candidate for quantum computing which would be far more powerful than today’s computing technology.&lt;/p&gt;    &lt;p&gt;The team’s experiment ‘stopped’ light in a crystal for over a second, more than 1,000 times longer than was previously possible, according to team leader Dr Matthew Sellars. Now they are working on a system with higher efficiency which could store information for hours.&lt;/p&gt;&lt;/blockquote&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/6215020733477056640/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/first-ever-quantum-memory-storage.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/6215020733477056640'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/6215020733477056640'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/first-ever-quantum-memory-storage.html' title='First Ever Quantum Memory Storage'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-3004705795770903616</id><published>2010-06-09T11:43:00.001+05:30</published><updated>2010-06-09T11:43:47.855+05:30</updated><title type='text'>Michael Nielsen at Singularity Summit 2009 -- Quantum Computing Part 1</title><content type='html'>&lt;div style=&quot;padding-bottom: 0px; margin: 0px; padding-left: 0px; padding-right: 0px; display: inline; float: none; padding-top: 0px&quot; id=&quot;scid:5737277B-5D6D-4f48-ABFC-DD9C333F4C5D:7502e2ad-461b-42e2-bf54-08cd5fa55cd6&quot; class=&quot;wlWriterEditableSmartContent&quot;&gt;&lt;div&gt;&lt;object width=&quot;600&quot; height=&quot;398&quot;&gt;&lt;param name=&quot;allowfullscreen&quot; value=&quot;true&quot; /&gt;&lt;param name=&quot;allowscriptaccess&quot; value=&quot;always&quot; /&gt;&lt;param name=&quot;movie&quot; value=&quot;http://vimeo.com/moogaloop.swf?clip_id=7447694&amp;amp;server=vimeo.com&amp;amp;show_title=1&amp;amp;show_byline=1&amp;amp;show_portrait=0&amp;amp;color=00ADEF&amp;amp;fullscreen=1&quot; /&gt;&lt;embed src=&quot;http://vimeo.com/moogaloop.swf?clip_id=7447694&amp;amp;server=vimeo.com&amp;amp;show_title=1&amp;amp;show_byline=1&amp;amp;show_portrait=0&amp;amp;color=00ADEF&amp;amp;fullscreen=1&quot; type=&quot;application/x-shockwave-flash&quot; allowfullscreen=&quot;true&quot; allowscriptaccess=&quot;always&quot; width=&quot;600&quot; height=&quot;398&quot;&gt;&lt;/embed&gt;&lt;/object&gt;&lt;p&gt;&lt;/p&gt;&lt;/div&gt;&lt;/div&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/3004705795770903616/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/michael-nielsen-at-singularity-summit_09.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3004705795770903616'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/3004705795770903616'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/michael-nielsen-at-singularity-summit_09.html' title='Michael Nielsen at Singularity Summit 2009 -- Quantum Computing Part 1'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-1362043215811367033</id><published>2010-06-09T11:37:00.001+05:30</published><updated>2010-06-09T11:37:23.227+05:30</updated><title type='text'>Scientists make quantum computing breakthrough - LED is key to making entangled light</title><content type='html'>&lt;p&gt;&lt;img title=&quot;Scientists make quantum computing breakthrough - &quot; alt=&quot;Scientists make quantum computing breakthrough - &quot; src=&quot;http://www.techeye.net/assets/upload/leds.jpg&quot; /&gt;&lt;/p&gt;  &lt;p&gt;&lt;strong&gt;Scientists at the University of Cambridge&lt;/strong&gt; and Toshiba Research Europe have made a monumental breakthrough in quantum computing with new LEDs.     &lt;br /&gt;The duo announced the invention of the Entangled Light Emitting Diode and plan to release a paper on it in the science journal &lt;em&gt;Nature &lt;/em&gt;later today.     &lt;br /&gt;The head of the project at Toshiba Research Europe, Dr. Andrew Shields, said: “Although entangled light has been produced previously by shining an intense laser beam on crystals, the new simple device is the first voltage-powered source. The discovery is significant because it will allow electrical addressing of many entangled light emitters on a single chip, opening the path to ultra-powerful semiconductor processors based on quantum computation.”     &lt;br /&gt;The ELED is based on standard LEDs used in current technology, such as traffic lights and the power indicators on most computers, meaning they can be produced quickly and cheaply for a mass market. The big difference, however, is that the ELEDs contain a nanometer-scale region of semiconductor which scientists call a quantum dot. This turns the conventional current into entangled light, opening many new avenues for quantum computing.&lt;/p&gt;  &lt;p&gt;&lt;img alt=&quot;&quot; src=&quot;http://ads.techmediapartners.co.uk/lg.php?bannerid=43&amp;amp;campaignid=20&amp;amp;zoneid=6&amp;amp;loc=1&amp;amp;referer=http://www.techeye.net/science/scientists-make-quantum-computing-breakthrough&amp;amp;cb=197d59b87f&quot; width=&quot;0&quot; height=&quot;0&quot; /&gt;&lt;/p&gt;  &lt;p&gt;“For successful operation it was essential to optimize the thickness of the semiconductor material surrounding the quantum dot to control the supply of current to the dot,” said Senior Research Scientist Dr. Mark Stevenson. “In addition the properties of the dot itself had to be carefully tailored to produce entangled emission.”    &lt;br /&gt;This entangled light is necessary to make a quantum computer, which will be able to perform tasks well beyond the scope of current computer technology. Examples given by the scientists include modeling new pharmaceuticals or materials, communicating securely via quantum cryptography, and producing higher storage on optical disks. &lt;/p&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/1362043215811367033/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/scientists-make-quantum-computing_09.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1362043215811367033'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1362043215811367033'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/scientists-make-quantum-computing_09.html' title='Scientists make quantum computing breakthrough - LED is key to making entangled light'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-4385928259263994928</id><published>2010-06-09T11:36:00.003+05:30</published><updated>2010-06-09T11:36:59.026+05:30</updated><title type='text'>Quantum Computing- layman view</title><content type='html'>&lt;p&gt;Imagine a computer whose memory is exponentially larger than its apparent physical size; a computer that can manipulate an exponential set of inputs simultaneously; a computer that computes in the twilight zone of space. You would be thinking of a quantum computer. Relatively few and simple concepts from quantum mechanics are needed to make quantum computers a possibility. The subtlety has been in learning to manipulate these concepts. Is such a computer an inevitability or will it be too difficult to build?&lt;/p&gt;  &lt;p&gt;By the strange laws of quantum mechanics, Folger, a senior editor at Discover, notes that; an electron, proton, or other subatomic particle is “in more than one place at a time,” because individual particles behave like waves, these different places are different states that an atom can exist in simultaneously.&lt;/p&gt;  &lt;p&gt;What’s the big deal about quantum computing? Imagine you were in a large office building and you had to retrieve a briefcase left on a desk picked at random in one of hundreds of offices. In the same way that you would have to walk through the building, opening doors one at a time to find the briefcase, an ordinary computer has to make it way through long strings of 1’s and 0’s until it arrives at the answer. But what if instead of having to search by yourself, you could instantly create as many copies of yourself as there were rooms in the building all the copies could simultaneously peek in all the offices, and the one that finds the briefcase becomes the real you, the rest just disappear. – (David Freeman, discover )&lt;/p&gt;  &lt;p&gt;David Deutsch, a physicist at Oxford University, argued that it may be possible to build an extremely powerful computer based on this peculiar reality. In 1994, Peter Shor, a mathematician at AT&amp;amp;T Bell Laboratories in New Jersey, proved that, in theory at least, a full-blown quantum computer could factor even the largest numbers in seconds; an accomplishment impossible for even the fastest conventional computer. An outbreak of theories and discussions of the possibility of building a quantum computer now permeates itself though out the quantum fields of technology and research.&lt;/p&gt;  &lt;p&gt;It’s roots can be traced back to 1981, when Richard Feynman noted that physicists always seem to run into computational problems when they try to simulate a system in which quantum mechanics would take place. The calculations involving the behavior of atoms, electrons, or photons, require an immense amount of time on today’s computers. In 1985 in Oxford England the first description of how a quantum computer might work surfaced with David Deutsch’s theories. The new device would not only be able to surpass today’s computers in speed, but also could perform some logical operations that conventional ones couldn’t.&lt;/p&gt;  &lt;p&gt;This research began looking into actually constructing a device and with the go ahead and additional funding of AT&amp;amp;T Bell Laboratories in Murray Hill, New Jersey a new member of the team was added. Peter Shor made the discovery that quantum computation can greatly speed factoring of whole numbers. It’s more than just a step in micro-computing technology, it could offer insights into real world applications such as cryptography.&lt;/p&gt;  &lt;p&gt;“There is a hope at the end of the tunnel that quantum computers may one day become a reality,” says Gilles Brassard of University of Montreal. Quantum Mechanics give an unexpected clarity in the description of the behavior of atoms, electrons, and photons on the microscopic levels. Although this information isn’t applicable in everyday household uses it does certainly apply to every interaction of matter that we can see, the real benefits of this knowledge are just beginning to show themselves.&lt;/p&gt;  &lt;p&gt;In our computers, circuit boards are designed so that a 1 or a 0 is represented by differing amounts of electricity, the outcome of one possibility has no effect on the other. However, a problem arises when quantum theories are introduced, the outcomes come from a single piece of hardware existing in two separate realities and these realties overlap one another affecting both outcomes at once. These problems can become one of the greatest strengths of the new computer however, if it is possible to program the outcomes in such a way so that undesirable effects cancel themselves out while the positive ones reinforce each other.&lt;/p&gt;  &lt;p&gt;This quantum system must be able to program the equation into it, verify it’s computation, and extract the results. Several possible systems have been looked at by researchers, one of which involves using electrons, atoms, or ions trapped inside of magnetic fields, intersecting lasers would then be used to excite the confined particles to the right wavelength and a second time to restore the particles to their ground state. A sequence of pulses could be used to array the particles into a pattern usable in our system of equations.&lt;/p&gt;  &lt;p&gt;Another possibility by Seth Lloyd of MIT proposed using organic-metallic polymers (one dimensional molecules made of repeating atoms). The energy states of a given atom would be determined by it’s interaction with neighboring atoms in the chain. Laser pulses could be used to send signals down the polymer chain and the two ends would create two unique energy states.&lt;/p&gt;  &lt;p&gt;&lt;ins&gt;&lt;ins&gt;&lt;/ins&gt;&lt;/ins&gt;&lt;/p&gt;  &lt;p&gt;A third proposal was to replace the organic molecules with crystals in which information would be stored in the crystals in specific frequencies that could be processed with additional pulses. The atomic nuclei, spinning in either of two states (clockwise or counterclockwise) could be programmed with a tip of a atomic microscope, either “reading” it’s surface or altering it, which of course would be “writing” part of information storage. “Repetitive motions of the tip, you could eventually write out any desired logic circuit, ” DiVincenzo said.&lt;/p&gt;  &lt;p&gt;This power comes at a price however, in that these states would have to remain completely isolated from everything, including a stray photon. These outside influences would accumulate, causing the system to wander off track and it could even turn around and end up going backward causing frequent mistakes. To keep this from forming new theories have arisen to overcome this. One way is to keep the computations relatively short to reduce chances of error, another would be to restore redundant copies of the info on separate machines and take the average (mode) of the answers.&lt;/p&gt;  &lt;p&gt;This would undoubtedly give up any advantages to the quantum computer, and so AT&amp;amp;T Bell Laboratories have invented an error correction method in which the quantum bit of data would be encoded in one of nine quantum bits. If one of the nine were lost it would then be possible to recover the data from what information did get through. This would be the protected position that the quantum state would enter before being transmitted. Also since the states of the atoms exist in two states, if one were to be corrupted the state of the atom could be determined simply by observing the opposite end of the atom since each side contains the exact opposite polarity.&lt;/p&gt;  &lt;p&gt;The gates that would transmit the information is what is mainly focused on by researchers today, this single quantum logic gate and it’s arrangement of components to perform a particular operation. One such gate could control the switch from a 1 to a 0 and back, while another could take two bits and make the result 0 if both are the same, 1 if different.&lt;/p&gt;  &lt;p&gt;These gates would be rows of ions held in a magnetic trap or single atoms passing through microwave cavities. This single gate could be constructed within the next year or two yet a logical computer must have the millions of gates to become practical. Tycho Sleator of NYU and Harald Weinfurter of UIA look at the quantum logic gates as simple steps towards making a quantum logic network.&lt;/p&gt;  &lt;p&gt;These networks would be but rows of gates interacting with each other. Laser beams shining on ions cause a transition from one quantum state to another which can alter the type of collective motion possible in the array and so a specific frequencies of light could be used to control the interactions between the ions. One name given to these arrays has been named “quantum-dot arrays” in that the individual electrons would be confined to the quantum-dot structures, encoding information to perform mathematical operations from simple addition to the factoring of those whole numbers.&lt;/p&gt;  &lt;p&gt;The “quantum-dot” structures would be built upon advances in the making of microscopic semiconductor boxes, whose walls keep the electrons confined to the small region of material, another way to control the way information is processed. Craig Lent, the main researcher of the project, base this on a unit consisting of five quantum dots, one in the center and four and at the ends of a square, electrons would be tunneled between any of the two sites.&lt;/p&gt;  &lt;p&gt;&lt;b&gt;Stringing&lt;/b&gt; these together would create the logic circuits that the new quantum computer would require. The distance would be sufficient to create “binary wires” made of rows of these units, flipping the state at one end causing a chain reaction to flip all the units states down along the wire, much like today’s dominoes transmit inertia. Speculation on the impact of such technology has been debated and dreamed about for years.&lt;/p&gt;  &lt;p&gt;In the arguing points, the point that it’s potential harm could be that the computational speed would be able to thwart any attempts at security, especially the now NSA’s data encryption standard would be useless as the algorithm would be a trivial problem to such a &lt;b&gt;machine&lt;/b&gt;. On the latter part, this dreamed reality first appeared in the TV show Quantum Leap, where this technology becomes readily apparent when Ziggy –the parallel hybrid computer that he has designed and programmed– is mentioned, the capabilities of a quantum computer mirror that of the show’s hybrid computer.&lt;/p&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/4385928259263994928/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/quantum-computing-layman-view_09.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/4385928259263994928'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/4385928259263994928'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/quantum-computing-layman-view_09.html' title='Quantum Computing- layman view'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-1997263434128675314</id><published>2010-06-09T11:36:00.001+05:30</published><updated>2010-06-09T11:36:24.179+05:30</updated><title type='text'>Quantum Architectures: Quantum Circuit Viewer</title><content type='html'>&lt;blockquote&gt;QASM is a simple text-format language for describing acyclic quantum circuits composed from single qubit, multiply controlled single-qubit gates, multiple-qubit, and multiple-qubit controlled multiple-qubit gates.    &lt;br /&gt;&lt;i&gt;qasm2circ&lt;/i&gt; is a package which converts a QASM file into a graphical depiction of the quantum circuit, using standard quantum gate symbols (and other user-defined symbols). This is done using latex (specifically, xypic), to produce high-quality output in epsf, pdf, or png formats.     &lt;br /&gt;Figures of quantum circuits in the book &amp;quot;&lt;a href=&quot;http://www.squint.org/qci/&quot;&gt;Quantum Computation and Quantum Information&lt;/a&gt;,&amp;quot; by Nielsen and Chuang, were produced using an earlier version of this package.     &lt;li&gt;Download distribution &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/qasm2circ-v1.4.zip&quot;&gt;here (zip)&lt;/a&gt; or (&lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/qasm2circ-v1.4.tgz&quot;&gt;tgz&lt;/a&gt;) (the distribution includes all the examples). &lt;/li&gt;    &lt;li&gt;Current version = 1.4 (Released 14-Mar-05)      &lt;br /&gt;[ home | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test1&quot;&gt;Example 1&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test2&quot;&gt;Example 2&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test3&quot;&gt;Example 3&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test4&quot;&gt;Example 4&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test5&quot;&gt;Example 5&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test6&quot;&gt;Example 6&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test7&quot;&gt;Example 7&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test8&quot;&gt;Example 8&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test9&quot;&gt;Example 9&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test10&quot;&gt;Example 10&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test11&quot;&gt;Example 11&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test12&quot;&gt;Example 12&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test13&quot;&gt;Example 13&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test14&quot;&gt;Example 14&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test15&quot;&gt;Example 15&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test16&quot;&gt;Example 16&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test18&quot;&gt;Example 18&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#test17&quot;&gt;Example 17&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#spec&quot;&gt;qasm specification&lt;/a&gt; | &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/#install&quot;&gt;Installation instructions&lt;/a&gt; ]&lt;/li&gt; &lt;/blockquote&gt;  &lt;blockquote&gt;   &lt;li&gt;QASM Specification&lt;a href=&quot;http://www.blogger.com/&quot; name=&quot;spec&quot;&gt;&lt;/a&gt;&lt;/li&gt; &lt;/blockquote&gt; QASM instructions are as follows. Lines begining with &#39;#&#39; are comments. All other lines should be of the form &lt;b&gt;op args&lt;/b&gt; where op-args pairs are:   &lt;pre&gt;qubit   name,initval&lt;br /&gt;cbit    name,initval&lt;br /&gt;measure qubit&lt;br /&gt;H       qubit&lt;br /&gt;X       qubit&lt;br /&gt;Y       qubit&lt;br /&gt;Z       qubit&lt;br /&gt;S       qubit&lt;br /&gt;T       qubit&lt;br /&gt;nop     qubit&lt;br /&gt;zero    qubit&lt;br /&gt;discard qubit&lt;br /&gt;slash   qubit&lt;br /&gt;dmeter  qubit&lt;br /&gt;cnot    ctrl,target&lt;br /&gt;c-z     ctrl,target&lt;br /&gt;c-x     ctrl,target&lt;br /&gt;toffoli ctrl1,ctrl2,target&lt;br /&gt;ZZ      b1,b2&lt;br /&gt;SS      b1,b2&lt;br /&gt;swap    b1,b2&lt;br /&gt;Utwo    b1,b2&lt;br /&gt;space   qubit&lt;br /&gt;def     opname,nctrl,texsym&lt;br /&gt;defbox  opname,nbits,nctrl,texsym&lt;br /&gt;&lt;br /&gt;Where:&lt;br /&gt;&lt;br /&gt;def     - define a custom controlled single-qubit operation, with&lt;br /&gt;opname  = name of gate operation&lt;br /&gt;nctrl   = number of control qubits&lt;br /&gt;texsym  = latex symbol for the target qubit operation&lt;br /&gt;defbox  - define a custom muti-qubit-controlled multi-qubit operation, with&lt;br /&gt;opname  = name of gate operation&lt;br /&gt;nbits   = number of qubits it acts upon&lt;br /&gt;nctrl   = number of control qubits&lt;br /&gt;texsym  = latex symbol for the target qubit operation&lt;br /&gt;qubit   - define a qubit with a certain name (all qubits must be defined)&lt;br /&gt;name    = name of the qubit, eg q0 or j2 etc&lt;br /&gt;initval = initial value (optional), eg 0&lt;br /&gt;cbit    - define a cbit with a certain name (all cbits must be defined)&lt;br /&gt;name    = name of the cbit, eg c0&lt;br /&gt;initval = initial value (optional), eg 0&lt;br /&gt;H       - single qubit operator (&amp;quot;hadamard&amp;quot;)&lt;br /&gt;X       - single qubit operator &lt;br /&gt;Y       - single qubit operator &lt;br /&gt;Z       - single qubit operator&lt;br /&gt;S       - single qubit operator&lt;br /&gt;T       - single qubit operator&lt;br /&gt;nop     - single qubit operator, just a wire&lt;br /&gt;space   - single qubit operator, just an empty space&lt;br /&gt;dmeter  - measure qubit, showing &amp;quot;D&amp;quot; style meter instead of rectangular box&lt;br /&gt;zero    - replaces qubit with |0&amp;gt; state&lt;br /&gt;discard - discard qubit (put &amp;quot;|&amp;quot; vertical bar on qubit wire)&lt;br /&gt;slash   - put slash on qubit wire&lt;br /&gt;measure - measurement of qubit, gives classical bit (double-wire) output&lt;br /&gt;cnot    - two-qubit CNOT&lt;br /&gt;c-z     - two-qubit controlled-Z gate&lt;br /&gt;c-x     - two-qubit controlled-X gate&lt;br /&gt;swap    - two-qubit swap operation &lt;br /&gt;Utwo    - two-qubit operation U&lt;br /&gt;ZZ      - two-qubit controlled-Z gate, symmetric notation; two filled circles&lt;br /&gt;SS      - two-qubit gate, symmetric; open squares&lt;br /&gt;toffoli - three-qubit Toffoli gate&lt;/pre&gt;&lt;br /&gt;&lt;br /&gt;&lt;hr /&gt;&lt;br /&gt;&lt;br /&gt;&lt;h6&gt;Installation instructions&lt;a href=&quot;http://www.blogger.com/&quot; name=&quot;install&quot;&gt;&lt;/a&gt;&lt;/h6&gt;&lt;br /&gt;&lt;br /&gt;&lt;pre&gt;-----------------------------------------------------------------------------&lt;br /&gt;REQUIREMENTS:&lt;br /&gt;&lt;br /&gt;- latex2e with xypic (included in tetex)&lt;br /&gt;- python version 2.3 or greater&lt;br /&gt;- ghostscript (and epstopdf)&lt;br /&gt;- netpbm (for creation of png files)&lt;br /&gt;&lt;br /&gt;-----------------------------------------------------------------------------&lt;br /&gt;LIST OF FILES:&lt;br /&gt;&lt;br /&gt;README  - this file&lt;br /&gt;meter.epsf     - picture of measurement meter&lt;br /&gt;qasm2pdf - script to create PDF from QASM file&lt;br /&gt;qasm2png - script to create PNG from QASM file&lt;br /&gt;qasm2tex.py - main python program to convert QASM to latex file&lt;br /&gt;samples - directory containing examples&lt;br /&gt;xyqcirc.tex - latex macros necessary to compile the latex files&lt;br /&gt;&lt;br /&gt;-----------------------------------------------------------------------------&lt;br /&gt;INSTALLATION INSTRUCTIONS:&lt;br /&gt;&lt;br /&gt;untar/unzip this distribution; it creates the directory qasm2circ with&lt;br /&gt;all of the files.  Copy your qasm file into this directory, and run&lt;br /&gt;qasm2pdf or qasm2png to create the desired output.  You may also run&lt;br /&gt;&amp;quot;python qasm2tex.py foo.qasm&amp;quot; to generate just the tex file (it will&lt;br /&gt;appear on stdout).&lt;/pre&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/1997263434128675314/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/quantum-architectures-quantum-circuit_09.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1997263434128675314'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1997263434128675314'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/quantum-architectures-quantum-circuit_09.html' title='Quantum Architectures: Quantum Circuit Viewer'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-2399758993547509489</id><published>2010-06-09T11:35:00.003+05:30</published><updated>2010-06-09T11:35:38.879+05:30</updated><title type='text'>Quantum Architectures: continued.</title><content type='html'>&lt;blockquote&gt;   &lt;h6&gt;Example 1&lt;/h6&gt; [ &lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/test1.qasm&quot;&gt;test1.qasm&lt;/a&gt; |&lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/test1.png&quot;&gt;test1.png&lt;/a&gt; |&lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/test1.pdf&quot;&gt;test1.pdf&lt;/a&gt; |&lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/test1.eps&quot;&gt;test1.eps&lt;/a&gt; |&lt;a href=&quot;http://www.media.mit.edu/quanta/qasm2circ/test1.tex&quot;&gt;test1.tex&lt;/a&gt; ]     &lt;pre&gt;# &lt;br /&gt;# File:   test1.qasm&lt;br /&gt;# Date:   22-Mar-04&lt;br /&gt;# Author: I. Chuang &lt;br /&gt;#&lt;br /&gt;# Sample qasm input file - EPR creation&lt;br /&gt;#&lt;br /&gt;qubit  q0&lt;br /&gt;qubit  q1&lt;br /&gt;&lt;br /&gt;h q0 # create EPR pair&lt;br /&gt;cnot q0,q1&lt;/pre&gt;&lt;br /&gt;&lt;br /&gt;  &lt;br /&gt;&lt;img src=&quot;http://www.media.mit.edu/quanta/qasm2circ/test1.png&quot; width=&quot;50%&quot; /&gt;&lt;/blockquote&gt;&lt;br /&gt;&lt;br /&gt;&lt;p&gt;&lt;img alt=&quot;&quot; src=&quot;https://blogger.googleusercontent.com/tracker/7360042936702217618-6990704081359403050?l=whatisqc.blogspot.com&quot; width=&quot;1&quot; height=&quot;1&quot; /&gt;&lt;/p&gt;&lt;br /&gt;&lt;br /&gt;&lt;p&gt;&lt;a href=&quot;http://feedads.g.doubleclick.net/~a/sz1AmyIblGbCR9U1YauzBSrlh5E/0/da&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://feedads.g.doubleclick.net/~a/sz1AmyIblGbCR9U1YauzBSrlh5E/0/di&quot; /&gt;&lt;/a&gt;&lt;/p&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/2399758993547509489/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/quantum-architectures-continued.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/2399758993547509489'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/2399758993547509489'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/quantum-architectures-continued.html' title='Quantum Architectures: continued.'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-1020025025358560157</id><published>2010-06-09T11:35:00.001+05:30</published><updated>2010-06-09T11:35:18.229+05:30</updated><title type='text'>How Quantum Computers Work</title><content type='html'>&lt;blockquote&gt;The massive amount of processing power generated by computer manufacturers has not yet been able to quench our thirst for speed and computing capacity. In 1947, American computer engineer &lt;strong&gt;Howard Aiken&lt;/strong&gt; said that just six electronic digital &lt;a href=&quot;http://computer.howstuffworks.com/&quot;&gt;computers&lt;/a&gt; would satisfy the computing needs of the United States. Others have made similar errant predictions about the amount of computing power that would support our growing technological needs. Of course, Aiken didn&#39;t count on the large amounts of data generated by scientific research, the proliferation of &lt;a href=&quot;http://computer.howstuffworks.com/pc.htm&quot;&gt;personal computers&lt;/a&gt; or the emergence of the &lt;a href=&quot;http://computer.howstuffworks.com/internet-channel.htm&quot;&gt;Internet&lt;/a&gt;, which have only fueled our need for more, more and more computing power.     &lt;br /&gt;Will we ever have the amount of computing power we need or want? If, as &lt;strong&gt;Moore&#39;s Law&lt;/strong&gt; states, the number of transistors on a &lt;a href=&quot;http://computer.howstuffworks.com/microprocessor.htm&quot;&gt;microprocessor&lt;/a&gt; continues to double every 18 months, the year 2020 or 2030 will find the circuits on a microprocessor measured on an atomic scale. And the logical next step will be to create &lt;strong&gt;quantum computers&lt;/strong&gt;, which will harness the power of atoms and molecules to perform &lt;a href=&quot;http://computer.howstuffworks.com/computer-memory.htm&quot;&gt;memory&lt;/a&gt; and processing tasks. Quantum computers have the potential to perform certain calculations significantly faster than any silicon-based computer. &lt;/blockquote&gt; Scientists have already built basic quantum computers that can perform certain calculations; but a practical quantum computer is still years away. In this article, you&#39;ll learn what a quantum computer is and just what it&#39;ll be used for in the next era of computing.   &lt;br /&gt;You don&#39;t have to go back too far to find the origins of quantum computing. While computers have been around for the majority of the 20th century, quantum computing was first theorized less than 30 years ago, by a physicist at the &lt;a href=&quot;http://computer.howstuffworks.com/framed.htm?parent=quantum-computer.htm&amp;amp;url=http://www.anl.gov/&quot;&gt;Argonne National Laboratory&lt;/a&gt;. &lt;strong&gt;Paul Benioff&lt;/strong&gt; is credited with first applying quantum theory to computers in 1981. Benioff theorized about creating a quantum Turing machine. Most digital computers, like the one you are using to read this article, are based on the &lt;strong&gt;Turing Theory&lt;/strong&gt;.   </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/1020025025358560157/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/how-quantum-computers-work_09.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1020025025358560157'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1020025025358560157'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/how-quantum-computers-work_09.html' title='How Quantum Computers Work'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-8030064308515190348</id><published>2010-06-09T11:33:00.003+05:30</published><updated>2010-06-09T11:33:51.220+05:30</updated><title type='text'>Defining the Quantum Computer</title><content type='html'>&lt;p&gt;&lt;img alt=&quot;The Bloch sphere is a representation of a qubit, the fundamental building block of quantum computers.&quot; src=&quot;http://static.howstuffworks.com/gif/quantum-computer-2.jpg&quot; /&gt;    &lt;br /&gt;Image used under the &lt;a href=&quot;http://howstuffworks.com/framed.htm?parent=quantum-computer.htm&amp;amp;url=http://www.gnu.org/licenses/fdl.html&quot;&gt;GNU Free Documentation License 1.2&lt;/a&gt;    &lt;br /&gt;&lt;strong&gt;The Bloch sphere is a representation of a qubit, the fundamental building block of quantum computers. &lt;/strong&gt;&lt;/p&gt;  &lt;p&gt;The Turing machine, developed by &lt;strong&gt;Alan Turing&lt;/strong&gt; in the 1930s, is a theoretical device that consists of tape of unlimited length that is divided into little squares. Each square can either hold a symbol (1 or 0) or be left blank. A read-write device reads these symbols and blanks, which gives the machine its instructions to perform a certain program. Does this sound familiar? Well, in a &lt;strong&gt;quantum&lt;/strong&gt; Turing machine, the difference is that the tape exists in a quantum state, as does the read-write head. This means that the symbols on the tape can be either 0 or 1 or a &lt;strong&gt;superposition&lt;/strong&gt; of 0 and 1; in other words the symbols are both 0 and 1 (and all points in between) at the same time. While a normal Turing machine can only perform one calculation at a time, a quantum Turing machine can perform many calculations at once. &lt;/p&gt;  &lt;p&gt;Today&#39;s computers, like a Turing machine, work by manipulating bits that exist in one of two states: a 0 or a 1. Quantum computers aren&#39;t limited to two states; they encode information as quantum bits, or &lt;strong&gt;qubits&lt;/strong&gt;, which can exist in superposition. Qubits represent &lt;a href=&quot;http://science.howstuffworks.com/atom.htm&quot;&gt;atoms&lt;/a&gt;, ions, photons or electrons and their respective control devices that are working together to act as &lt;a href=&quot;http://computer.howstuffworks.com/computer-memory.htm&quot;&gt;computer memory&lt;/a&gt; and a &lt;a href=&quot;http://computer.howstuffworks.com/microprocessor.htm&quot;&gt;processor&lt;/a&gt;. Because a quantum computer can contain these multiple states simultaneously, it has the potential to be millions of times more powerful than today&#39;s most powerful supercomputers. &lt;/p&gt;  &lt;p&gt;This superposition of qubits is what gives quantum computers their inherent &lt;strong&gt;parallelism&lt;/strong&gt;. According to physicist &lt;strong&gt;David Deutsch&lt;/strong&gt;, this parallelism allows a quantum computer to work on a million computations at once, while your desktop PC works on one. A 30-qubit quantum computer would equal the processing power of a conventional computer that could run at 10 &lt;strong&gt;teraflops&lt;/strong&gt; (trillions of floating-point operations per second). Today&#39;s typical desktop computers run at speeds measured in gigaflops (billions of floating-point operations per second).&lt;/p&gt;  &lt;p&gt;Quantum computers also utilize another aspect of quantum mechanics known as &lt;strong&gt;entanglement&lt;/strong&gt;. One problem with the idea of quantum computers is that if you try to look at the subatomic particles, you could bump them, and thereby change their value. If you look at a qubit in superposition to determine its value, the qubit will assume the value of either 0 or 1, but not both (effectively turning your spiffy quantum computer into a mundane digital computer). To make a practical quantum computer, scientists have to devise ways of making measurements indirectly to preserve the system&#39;s integrity. Entanglement provides a potential answer. In quantum physics, if you apply an outside force to two atoms, it can cause them to become entangled, and the second atom can take on the properties of the first atom. So if left alone, an atom will spin in all directions. The instant it is disturbed it chooses one spin, or one value; and at the same time, the second entangled atom will choose an opposite spin, or value. This allows scientists to know the value of the qubits without actually looking at them. &lt;/p&gt;  &lt;p&gt;Next, we&#39;ll look at some recent advancements in the field of quantum computing. &lt;/p&gt;  &lt;p&gt;&lt;strong&gt;Qubit Control&lt;/strong&gt;&lt;/p&gt;  &lt;p&gt;&lt;strong&gt;Computer scientists control the microscopic particles that act as qubits in quantum computers by using control devices. &lt;/strong&gt;&lt;/p&gt;  &lt;ul&gt;   &lt;li&gt;&lt;strong&gt;Ion traps use optical or magnetic fields (or a combination of both) to trap ions. &lt;/strong&gt;&lt;/li&gt;    &lt;li&gt;&lt;strong&gt;Optical traps use light waves to trap and control particles. &lt;/strong&gt;&lt;/li&gt;    &lt;li&gt;&lt;strong&gt;Quantum dots are made of semiconductor material and are used to contain and manipulate electrons. &lt;/strong&gt;&lt;/li&gt;    &lt;li&gt;&lt;strong&gt;Semiconductor impurities contain electrons by using &amp;quot;unwanted&amp;quot; atoms found in semiconductor material. &lt;/strong&gt;&lt;/li&gt;    &lt;li&gt;&lt;strong&gt;Superconducting circuits allow electrons to flow with almost no resistance at very low temperatures.&lt;/strong&gt;&lt;/li&gt; &lt;/ul&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/8030064308515190348/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/defining-quantum-computer_09.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/8030064308515190348'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/8030064308515190348'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/defining-quantum-computer_09.html' title='Defining the Quantum Computer'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-7360042936702217618.post-1311122121902095481</id><published>2010-06-09T11:33:00.001+05:30</published><updated>2010-06-09T11:33:20.241+05:30</updated><title type='text'>Its Quantum Computing</title><content type='html'>&lt;p&gt;&amp;#160;&lt;/p&gt;  &lt;blockquote&gt;   &lt;p&gt;&amp;quot;      &lt;br /&gt;Any qubit state is associated with a six-dimensional probability vector &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/1.gif&quot; /&gt; with components &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/2.gif&quot; /&gt;, where &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/3.gif&quot; /&gt; is the spin projection and &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/4.gif&quot; /&gt; defines a direction of spin projection measurement, &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/5.gif&quot; /&gt;. The ends of the vectors &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/6.gif&quot; /&gt; are on the sphere &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/7.gif&quot; /&gt; which is illustrated in the top-left corner. In general, &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/8.gif&quot; /&gt; is a probability distribution function of two discrete variables &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/9.gif&quot; /&gt; and &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/10.gif&quot; /&gt;, and &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/11.gif&quot; /&gt; determines a point on the five-simplex. If the directions &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/12.gif&quot; /&gt; are chosen with equal probability, then &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/13.gif&quot; /&gt; for all &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/14.gif&quot; /&gt;. In that case, a one-to-one correspondence can be established between all probability vectors &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/15.gif&quot; /&gt; and all points inside a cube &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/16.gif&quot; /&gt;, &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/17.gif&quot; /&gt;, which is illustrated in the top-right corner. In other words, any quantum state is associated with a probability vector of the form       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;466374023&quot;&gt;&lt;/a&gt;&lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/18.gif&quot; /&gt;,       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;358061275&quot;&gt;&lt;/a&gt;where &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/19.gif&quot; /&gt; is a cube in &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/20.gif&quot; /&gt; of side &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/21.gif&quot; /&gt;.       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;43809279&quot;&gt;&lt;/a&gt;The density operator &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/22.gif&quot; /&gt; is expressed through the probabilities &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/23.gif&quot; /&gt; by       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;324408256&quot;&gt;&lt;/a&gt;&lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/24.gif&quot; /&gt;,       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;9586780&quot;&gt;&lt;/a&gt;where &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/25.gif&quot; /&gt; is the identity operator, &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/26.gif&quot; /&gt; are Pauli operators, and the vectors &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/27.gif&quot; /&gt; form a dual basis with respect to the vectors &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/28.gif&quot; /&gt;:       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;15586530&quot;&gt;&lt;/a&gt;&lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/29.gif&quot; /&gt;, &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/30.gif&quot; /&gt;, &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/31.gif&quot; /&gt;.       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;14463261&quot;&gt;&lt;/a&gt;Non-negativity of the density operator is a necessary condition that leads to constraints on the probabilities &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/32.gif&quot; /&gt;. Using Sylvester&#39;s criterion, one obtains restrictions of the first and the second order (the blue and red surfaces inside the cube, respectively). In the probability space, the set of quantum states is an ellipsoid located between two planes. The set of qubit states is depicted in the top-right corner for any choice of directions &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/33.gif&quot; /&gt;.       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;1766686810&quot;&gt;&lt;/a&gt;The errors of experimentally measured probabilities &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/34.gif&quot; /&gt; result in the reconstruction procedure above being erroneous. The error bar is directly proportional to the condition number &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/35.gif&quot; /&gt; of the Gram matrix &lt;img align=&quot;absMiddle&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/36.gif&quot; /&gt;, which is the ratio of the absolute values of the maximum to the minimum eigenvalue. The behavior of the condition number is shown at the bottom.       &lt;br /&gt;&lt;a href=&quot;http://podcasts.odiogo.com/ehsaas/&quot; name=&quot;479796193&quot;&gt;&lt;/a&gt;      &lt;br /&gt;&lt;a href=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/&quot;&gt;&lt;img border=&quot;0&quot; src=&quot;http://demonstrations.wolfram.com/RepresentationOfQubitStatesByProbabilityVectors/HTMLImages/index.en/thumbnail_43.gif&quot; width=&quot;162&quot; height=&quot;128&quot; /&gt;&lt;/a&gt;&lt;/p&gt;&lt;/blockquote&gt;  </content><link rel='replies' type='application/atom+xml' href='http://whatisqc.blogspot.com/feeds/1311122121902095481/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://whatisqc.blogspot.com/2010/06/its-quantum-computing.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1311122121902095481'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/7360042936702217618/posts/default/1311122121902095481'/><link rel='alternate' type='text/html' href='http://whatisqc.blogspot.com/2010/06/its-quantum-computing.html' title='Its Quantum Computing'/><author><name>Unknown</name><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='https://img1.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry></feed>