<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: Quantum Computing Since Democritus Lecture 10: Quantum Computing</title>
	<atom:link href="http://www.scottaaronson.com/blog/?feed=rss2&#038;p=209" rel="self" type="application/rss+xml" />
	<link>http://www.scottaaronson.com/blog/?p=209</link>
	<description>The Blog of Scott Aaronson</description>
	<lastBuildDate>Wed, 22 May 2013 22:35:25 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.5.1</generator>
	<item>
		<title>By: Infinite Reflections &#187; Blog Archive &#187; Its a shame that some people say &#8230; &#8220;It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note.&#8221;</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5240</link>
		<dc:creator>Infinite Reflections &#187; Blog Archive &#187; Its a shame that some people say &#8230; &#8220;It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note.&#8221;</dc:creator>
		<pubDate>Thu, 15 Mar 2007 01:59:57 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5240</guid>
		<description><![CDATA[[...] Shtetl&#8217;s Scott says in one of his lectures   &#8220;It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note. [Pause for comic effect] Well, alright, I guess a year later he proved the Incompleteness Theorem. See, the Completeness Theorem was his Master&#8217;s thesis, and the Incompleteness Theorem was his PhD thesis. Apparently, one of his PhD examiners didn&#8217;t want to give him a degree because the PhD thesis was &#8220;too similar to the Master&#8217;s thesis.&#8221; [...]]]></description>
		<content:encoded><![CDATA[<p>[...] Shtetl&#8217;s Scott says in one of his lectures   &#8220;It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note. [Pause for comic effect] Well, alright, I guess a year later he proved the Incompleteness Theorem. See, the Completeness Theorem was his Master&#8217;s thesis, and the Incompleteness Theorem was his PhD thesis. Apparently, one of his PhD examiners didn&#8217;t want to give him a degree because the PhD thesis was &#8220;too similar to the Master&#8217;s thesis.&#8221; [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Infinite Reflections &#187; Blog Archive &#187; Its a shame that people think that &#8220;&#8230;. It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note&#8221;</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5239</link>
		<dc:creator>Infinite Reflections &#187; Blog Archive &#187; Its a shame that people think that &#8220;&#8230;. It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note&#8221;</dc:creator>
		<pubDate>Thu, 15 Mar 2007 01:46:01 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5239</guid>
		<description><![CDATA[[...] Scott over at Shtetl is very interesting, illuminating, and persuasive in his quantum information lectures &#8230; However &#8230; His sentiment that &#8220;It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note. [Pause for comic effect] Well, alright, I guess a year later he proved the Incompleteness Theorem. See, the Completeness Theorem was his Master&#8217;s thesis, and the Incompleteness Theorem was his PhD thesis. Apparently, one of his PhD examiners didn&#8217;t want to give him a degree because the PhD thesis was &#8220;too similar to the Master&#8217;s thesis.&#8221; [see the source lecture here]  &#8230; might be a bit premature.  Scott might be correct if we strictly limit considerations to logic and metamathematics &#8230; but I would write Godel off so quickly.  &#8212; details to follow [...]]]></description>
		<content:encoded><![CDATA[<p>[...] Scott over at Shtetl is very interesting, illuminating, and persuasive in his quantum information lectures &#8230; However &#8230; His sentiment that &#8220;It&#8217;s a shame that, after proving his Completeness Theorem, Gödel never really did anything else of note. [Pause for comic effect] Well, alright, I guess a year later he proved the Incompleteness Theorem. See, the Completeness Theorem was his Master&#8217;s thesis, and the Incompleteness Theorem was his PhD thesis. Apparently, one of his PhD examiners didn&#8217;t want to give him a degree because the PhD thesis was &#8220;too similar to the Master&#8217;s thesis.&#8221; [see the source lecture here]  &#8230; might be a bit premature.  Scott might be correct if we strictly limit considerations to logic and metamathematics &#8230; but I would write Godel off so quickly.  &#8212; details to follow [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: anonymous</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5238</link>
		<dc:creator>anonymous</dc:creator>
		<pubDate>Wed, 14 Mar 2007 07:48:49 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5238</guid>
		<description><![CDATA[I think this article warrants one of your rages against doofosity
http://www.theamericanscholar.org/sp07/newtheory-lanza.html]]></description>
		<content:encoded><![CDATA[<p>I think this article warrants one of your rages against doofosity<br />
<a href="http://www.theamericanscholar.org/sp07/newtheory-lanza.html" rel="nofollow">http://www.theamericanscholar.org/sp07/newtheory-lanza.html</a></p>
]]></content:encoded>
	</item>
	<item>
		<title>By: John Sidles</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5237</link>
		<dc:creator>John Sidles</dc:creator>
		<pubDate>Tue, 13 Mar 2007 23:00:45 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5237</guid>
		<description><![CDATA[As grist for a future post (and how many people even know what &quot;grist&quot; is?  Holy rural idiom, Batman!), MIT&#039;s new Extreme Quantum Information Technology Center (xQIT) notes that one of its &lt;a href=&quot;http://www.rle.mit.edu/xqit/research_01.htm&quot; rel=&quot;nofollow&quot;&gt;three main focus areas&lt;/a&gt; is &quot;Algorithms to Solve Average-Case NP-Hard Problems: At present, very few researchers believe that NP-complete problems can be solved efficiently by a computer, be it classical or quantum. Nevertheless, algorithms exist that seem to allow the solution for average cases of such hard problems. ... The adiabatic algorithm currently represents quantum computers’ best hope for solving NP-complete problems.&quot;

I&#039;m surely no expert---and would welcome hearing from someone who is---but isn&#039;t it true that the phrase &quot;average-case NP-hard&quot; needs very careful definition?

Or do both D-Wave and MIT both know something?]]></description>
		<content:encoded><![CDATA[<p>As grist for a future post (and how many people even know what &#8220;grist&#8221; is?  Holy rural idiom, Batman!), MIT&#8217;s new Extreme Quantum Information Technology Center (xQIT) notes that one of its <a href="http://www.rle.mit.edu/xqit/research_01.htm" rel="nofollow">three main focus areas</a> is &#8220;Algorithms to Solve Average-Case NP-Hard Problems: At present, very few researchers believe that NP-complete problems can be solved efficiently by a computer, be it classical or quantum. Nevertheless, algorithms exist that seem to allow the solution for average cases of such hard problems. &#8230; The adiabatic algorithm currently represents quantum computers’ best hope for solving NP-complete problems.&#8221;</p>
<p>I&#8217;m surely no expert&#8212;and would welcome hearing from someone who is&#8212;but isn&#8217;t it true that the phrase &#8220;average-case NP-hard&#8221; needs very careful definition?</p>
<p>Or do both D-Wave and MIT both know something?</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Elan Bechor</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5236</link>
		<dc:creator>Elan Bechor</dc:creator>
		<pubDate>Tue, 06 Mar 2007 19:22:28 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5236</guid>
		<description><![CDATA[A friend and I will be attending your talk today at the University of Chicago. Given that we&#039;re just first years, we probably won&#039;t understand everything that you say but it should be rewarding anyway, since we like the blog a lot.]]></description>
		<content:encoded><![CDATA[<p>A friend and I will be attending your talk today at the University of Chicago. Given that we&#8217;re just first years, we probably won&#8217;t understand everything that you say but it should be rewarding anyway, since we like the blog a lot.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Danielle Fong</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5235</link>
		<dc:creator>Danielle Fong</dc:creator>
		<pubDate>Tue, 06 Mar 2007 14:39:40 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5235</guid>
		<description><![CDATA[Michael,

Yes, the many-worlds interpretation makes definite predictions as to how the process of quantum decoherence actually occurs. The major issue is that empirically indistinguishable and empirically undistinguished are two rather different statements.

Importantly, this is intended to be no different from what ordinary quantum mechanics would predict if measurement was removed as a preferred process. The &#039;many worlds interpretation&#039; part comes in when we note that in the wavefunction after a &#039;measurement&#039;, each type of eigenstate in the measured system is crossed with a particular state in the measuring system. Hence the interpretation of a &#039;relative collapse&#039;.

I should state that I&#039;m not a proponent of the many-worlds interpretation. I have a copy of Everett&#039;s thesis here, and by binary search I think I&#039;ve found exactly the point at which he made a mistake and our thoughts diverge. I should write a proper article on this rather than expound in the comment page of a blog. But here is the main gist of the thing:

In the typical interpretation mixed-states aren&#039;t &#039;real&#039; states, they&#039;re just tools to help us when we&#039;re talking about ensembles. If we actually did know which pure state the measuring device was in then there would be no wave-function split. The conclusion is that the split is a fallacious notion based on a mixing of quantum and classical probabilities, when there shouldn&#039;t be.]]></description>
		<content:encoded><![CDATA[<p>Michael,</p>
<p>Yes, the many-worlds interpretation makes definite predictions as to how the process of quantum decoherence actually occurs. The major issue is that empirically indistinguishable and empirically undistinguished are two rather different statements.</p>
<p>Importantly, this is intended to be no different from what ordinary quantum mechanics would predict if measurement was removed as a preferred process. The &#8216;many worlds interpretation&#8217; part comes in when we note that in the wavefunction after a &#8216;measurement&#8217;, each type of eigenstate in the measured system is crossed with a particular state in the measuring system. Hence the interpretation of a &#8216;relative collapse&#8217;.</p>
<p>I should state that I&#8217;m not a proponent of the many-worlds interpretation. I have a copy of Everett&#8217;s thesis here, and by binary search I think I&#8217;ve found exactly the point at which he made a mistake and our thoughts diverge. I should write a proper article on this rather than expound in the comment page of a blog. But here is the main gist of the thing:</p>
<p>In the typical interpretation mixed-states aren&#8217;t &#8216;real&#8217; states, they&#8217;re just tools to help us when we&#8217;re talking about ensembles. If we actually did know which pure state the measuring device was in then there would be no wave-function split. The conclusion is that the split is a fallacious notion based on a mixing of quantum and classical probabilities, when there shouldn&#8217;t be.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Michael Bacon</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5234</link>
		<dc:creator>Michael Bacon</dc:creator>
		<pubDate>Tue, 06 Mar 2007 01:15:15 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5234</guid>
		<description><![CDATA[Daniel,

I appreciate your point, but doesn&#039;t the MWI contemplate a similar &quot;process&quot; (e.g., branches of the universal wavefunction split when different components of a quantum superposition &quot;decohere&quot; from each other as a result of environmental interference effects).  I believe tests have been proposed to distinguish the interpretations (and IMO the ability to conduct such tests is &quot;merely&quot; an &quot;engineering&quot; issue), but it&#039;s difficult to draw any conclusions absent such experimental results.]]></description>
		<content:encoded><![CDATA[<p>Daniel,</p>
<p>I appreciate your point, but doesn&#8217;t the MWI contemplate a similar &#8220;process&#8221; (e.g., branches of the universal wavefunction split when different components of a quantum superposition &#8220;decohere&#8221; from each other as a result of environmental interference effects).  I believe tests have been proposed to distinguish the interpretations (and IMO the ability to conduct such tests is &#8220;merely&#8221; an &#8220;engineering&#8221; issue), but it&#8217;s difficult to draw any conclusions absent such experimental results.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Vasily Shirin</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5233</link>
		<dc:creator>Vasily Shirin</dc:creator>
		<pubDate>Tue, 06 Mar 2007 01:02:52 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5233</guid>
		<description><![CDATA[Question:
Is there a simple criterion to decide whether period of a function can be effectively found by QC, based on regular DFT of this function? In other words, what properties of DFT guarantee that this can be done? Or there&#039;s no connection?
If there&#039;s such criterion, can we write a program which writes a program for QC?]]></description>
		<content:encoded><![CDATA[<p>Question:<br />
Is there a simple criterion to decide whether period of a function can be effectively found by QC, based on regular DFT of this function? In other words, what properties of DFT guarantee that this can be done? Or there&#8217;s no connection?<br />
If there&#8217;s such criterion, can we write a program which writes a program for QC?</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: QuantumTaco</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5231</link>
		<dc:creator>QuantumTaco</dc:creator>
		<pubDate>Mon, 05 Mar 2007 15:12:13 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5231</guid>
		<description><![CDATA[Hold the presses, Scott! Everett &amp; Bohm may be indistinguishable (though I considered Everett ill posed) but the Copenhagen interpretations are most certainly &lt;i&gt;not&lt;/i&gt; equivalent to them. Any Copenhagen interpretation has a collapse of the wave function which is in principle distinguishable from the noncollapsed WF, as I&#039;m sure you&#039;re aware.  Of course, if collapse occurs only at the macroscopic level distinguishing the two would require detailed info about the macroscopic wavefunctions, which makes the experiment quite difficult.

On the other hand, its quite unclear to me that putting yourself &quot;in superposition&quot; distinguishes anything at al. It certainly dosen&#039;t distinguish Everett &amp; Bohm, and well in the Copenhagen interpretation you shouldnt be in a superposition at all.   The fact that everything looks more or less the same when youre &quot;in superposition&quot; is what led Everett to propose his theory.

Unless by &quot;put yourself in superposition&quot;, you meant put yourself in a situation where Copenhagen demands a collapse and then interfere the waves in the way that distinguishes collapsed from uncollapsed WFs. At which point I&#039;m both pedantic and sorry.]]></description>
		<content:encoded><![CDATA[<p>Hold the presses, Scott! Everett &amp; Bohm may be indistinguishable (though I considered Everett ill posed) but the Copenhagen interpretations are most certainly <i>not</i> equivalent to them. Any Copenhagen interpretation has a collapse of the wave function which is in principle distinguishable from the noncollapsed WF, as I&#8217;m sure you&#8217;re aware.  Of course, if collapse occurs only at the macroscopic level distinguishing the two would require detailed info about the macroscopic wavefunctions, which makes the experiment quite difficult.</p>
<p>On the other hand, its quite unclear to me that putting yourself &#8220;in superposition&#8221; distinguishes anything at al. It certainly dosen&#8217;t distinguish Everett &amp; Bohm, and well in the Copenhagen interpretation you shouldnt be in a superposition at all.   The fact that everything looks more or less the same when youre &#8220;in superposition&#8221; is what led Everett to propose his theory.</p>
<p>Unless by &#8220;put yourself in superposition&#8221;, you meant put yourself in a situation where Copenhagen demands a collapse and then interfere the waves in the way that distinguishes collapsed from uncollapsed WFs. At which point I&#8217;m both pedantic and sorry.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Danielle Fong</title>
		<link>http://www.scottaaronson.com/blog/?p=209#comment-5232</link>
		<dc:creator>Danielle Fong</dc:creator>
		<pubDate>Mon, 05 Mar 2007 14:38:34 +0000</pubDate>
		<guid isPermaLink="false">http://scottaaronson.com/blog/?p=209#comment-5232</guid>
		<description><![CDATA[I&#039;m not sure I buy the argument that Copenhagen and many worlds are empirically indistinguishable. Wouldn&#039;t any experimental measurement of decoherence time require the replacement of the Copenhagen measurement postulate by a mechanism? The are other distinguishing factors, I believe, but this is the most salient.]]></description>
		<content:encoded><![CDATA[<p>I&#8217;m not sure I buy the argument that Copenhagen and many worlds are empirically indistinguishable. Wouldn&#8217;t any experimental measurement of decoherence time require the replacement of the Copenhagen measurement postulate by a mechanism? The are other distinguishing factors, I believe, but this is the most salient.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
