<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	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/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>阅微堂 &#187; 计算模型</title>
	<atom:link href="http://zhiqiang.org/blog/tag/%e8%ae%a1%e7%ae%97%e6%a8%a1%e5%9e%8b/feed" rel="self" type="application/rss+xml" />
	<link>http://zhiqiang.org/blog</link>
	<description>数学、金融、计算机</description>
	<lastBuildDate>Wed, 23 May 2012 08:37:55 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.2</generator>
		<item>
		<title>测不准原理还是不确定性原理 - 谈量子物理史话一</title>
		<link>http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html</link>
		<comments>http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html#comments</comments>
		<pubDate>Sun, 16 Dec 2007 05:24:26 +0000</pubDate>
		<dc:creator>zhiqiang</dc:creator>
				<category><![CDATA[自然科学]]></category>
		<category><![CDATA[不可计算]]></category>
		<category><![CDATA[不可证明]]></category>
		<category><![CDATA[不确定性]]></category>
		<category><![CDATA[复杂性理论]]></category>
		<category><![CDATA[测不准]]></category>
		<category><![CDATA[物理]]></category>
		<category><![CDATA[计算模型]]></category>

		<guid isPermaLink="false">http://zhiqiang.org/blog/posts/quantum-history-uncertainty-principle.html</guid>
		<description><![CDATA[博客 » 自然科学 » 不可计算，不可证明，不确定性，复杂性理论，测不准，物理，计算模型 » 我前方是一个美丽的背影。 此刻，在我观测之前，她是50%的ＭＶ，50%的ＫＬ。是两者量子态的迭加。 我摒住呼吸，轻轻的踏上一步，头微微一扭--- 说时迟那时快，在这一瞬间，波函数轰然塌缩，一切都无可挽回了。 我默默的走开，心中的悲哀难以自抑。 我知道我刚刚杀死了一名...]]></description>
			<content:encoded><![CDATA[<p id="breadcrumb" class="breadcrumb"><a href="http://zhiqiang.org/blog/">博客</a> » <a href="http://zhiqiang.org/blog/category/science">自然科学</a> » <a href="http://zhiqiang.org/blog/tag/%e4%b8%8d%e5%8f%af%e8%ae%a1%e7%ae%97" rel="tag">不可计算</a>，<a href="http://zhiqiang.org/blog/tag/%e4%b8%8d%e5%8f%af%e8%af%81%e6%98%8e" rel="tag">不可证明</a>，<a href="http://zhiqiang.org/blog/tag/%e4%b8%8d%e7%a1%ae%e5%ae%9a%e6%80%a7" rel="tag">不确定性</a>，<a href="http://zhiqiang.org/blog/tag/%e5%a4%8d%e6%9d%82%e6%80%a7%e7%90%86%e8%ae%ba" rel="tag">复杂性理论</a>，<a href="http://zhiqiang.org/blog/tag/%e6%b5%8b%e4%b8%8d%e5%87%86" rel="tag">测不准</a>，<a href="http://zhiqiang.org/blog/tag/%e7%89%a9%e7%90%86" rel="tag">物理</a>，<a href="http://zhiqiang.org/blog/tag/%e8%ae%a1%e7%ae%97%e6%a8%a1%e5%9e%8b" rel="tag">计算模型</a> » </p><blockquote><p>我前方是一个美丽的背影。<br />
此刻，在我观测之前，她是50%的ＭＶ，50%的ＫＬ。是两者量子态的迭加。<br />
我摒住呼吸，轻轻的踏上一步，头微微一扭---<br />
说时迟那时快，在这一瞬间，波函数轰然塌缩，一切都无可挽回了。<br />
我默默的走开，心中的悲哀难以自抑。<br />
我知道我刚刚杀死了一名绝世美女。</p></blockquote>
<p>最近在看《上帝掷骰子吗——量子物理史话》，刚看到第七章不确定性。本来这些想法应该把书看完再写，有些问题在后面章节已经有解答。但我担心作者所写的影响我自己的思考，所以先写一点。</p>
<p>Uncertainty Principle是海森堡在1927年提出的。最开始的思想大致是：粒子位置的不确定性乘上粒子质量再乘以速度的不确定性不能小于一个确定量——普郎克常数。直观的看来</p>
<blockquote><p>为了预言一个粒子未来的位置和速度，人们必须能准确地测量它现在的位置和速度。显而易见的办法是将光照到这粒子上，一部分光波被此粒子散射开来，由此指明它的位置。然而，人们不可能将粒子的位置确定到比光的两个波峰之间距离更小的程度，所以必须用短波长的光来测量粒子的位置。现在，由普郎克的量子假设，人们不能用任意少的光的数量，至少要用一个光量子。这量子会扰动这粒子，并以一种不能预见的方式改变粒子的速度。而且，位置测量得越准确，所需的波长就越短，单独量子的能量就越大，这样粒子的速度就被扰动得越厉害。换言之，你对粒子的位置测量得越准确，你对速度的测量就越不准确，反之亦然。<sup>[1]</sup></p></blockquote>
<p>按照这个意思，Uncertainty Principle应该是指<strong>测不准原理</strong>。在量子物理史话中则指出，量子物理学家在这个方面走的更远。后来，Uncertainty Principle更多的被翻译为<strong>不确定性原理</strong>。</p>
<p>这中间有什么区别呢？直接从字面意思上看就OK了。测不准原理多半还有一种可能性：“一个电子实际上是同时具有准确的位置和动量的，只不过我们出于某种限制无法得知罢了”<sup>[2]</sup>。</p>
<p>但哥本哈根派严厉地打击这种观点，<strong>物理量必须依赖于观测而存在</strong>，所以根本就没有一个电子<strong>实际上</strong>同时具有准确的位置和动量这样的说法(因为观测不到)：<sup>[2]</sup></p>
<blockquote><p>不存在一个客观的，绝对的世界。唯一存在的，就是我们能够观测到的世界。物理学的全部意义，不在于它能够揭示出自然“是什么”，而在于它能够明确，关于自然我们能“说什么”。没有一个脱离于观测而存在的绝对自然，只有我们和那些复杂的测量关系，熙熙攘攘纵横交错，构成了这个令人心醉的宇宙的全部。测量是新物理学的核心，测量行为创造了整个世界。</p></blockquote>
<p>但我对这些一直心存疑问，那便是“观测”的本质。我不太明白物理学上的“观测”是如何模型化的。但理论计算机里面有相同的概念，它便是<a href="http://zhiqiang.org/blog/science/computer-science/preliminary-computer-theory-algorithms-and-calculation-model.html" target="_blank">计算</a>，相应的测不准原理和不确定性原理则对应了<strong>不可计算</strong>和<strong>不可证明</strong>(同样碰巧的是它们的英文也同时都是<strong><em>undecidable</em></strong>，虽然后者有时候也用<em><strong>independent</strong></em>)。</p>
<p>何谓<strong>计算</strong>？一个历史上公认的原理(但也是无法证明的)便是：</p>
<blockquote><p><span style="background-color: #ffffff;">Turing计算模型是普适的(universal)。</span></p></blockquote>
<p>这样在Turing模型下，我们便定义了<strong>不可计算</strong>，指在Turing计算模型下无法计算的问题。一个经典的不可计算问题便是Turing停机问题，指判断任何一个Turing机是否停机。</p>
<p>而<strong>不可证明</strong>则是指与某公理体系独立的问题，相当于不确定。比如平行线第五公设（过直线外任一点只有一条直线与之平行），它对于之前几条几何公理而言便是不可证明的。第五公设它可以是正确的，相应发展为欧几里得几何；也可以是错误的，从而导致非欧几何。</p>
<p>如果把计算对应观测，不可计算和不可证明的关系十分类似于测不准原理和不确定原理。但物理学则认为测不准等同于不确定。但在计算理论上不可计算和不可证明等同么？无法计算就是不确定的吗？显然不是，一个例子便是在信息论中应用广泛的<a href="http://en.wikipedia.org/wiki/Kolmogorov_complexity" target="_blank">Kolmogorov complexity</a>。</p>
<p>待续...</p>
<p>[1] 《时间简史》</p>
<p>[2] 《上帝掷骰子吗——量子物理史话》</p>
<div><h4>相关文章</h4><ul><li class='currentpost'><a href="http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html">测不准原理还是不确定性原理 - 谈量子物理史话一</a></li><li ><a href="http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html">为什么要研究量子计算？</a></li><li ><a href="http://zhiqiang.org/blog/science/countable-coloring-of-real.html">实数上的可数颜色染色问题</a></li><li ><a href="http://zhiqiang.org/blog/science/a-little-more-than-paper-doctoral-dissertation-get-nobel.html">一页纸多一点的博士论文拿到诺奖</a></li><li ><a href="http://zhiqiang.org/blog/science/a-mirror-problem.html">平面镜成像问题</a></li><li ><a href="http://zhiqiang.org/blog/science/computer-science/preliminary-computer-theory-p-vs-np-an-overview-of-the-problem.html">理论计算机初步：P vs NP - 问题概述</a></li><li ><a href="http://zhiqiang.org/blog/science/computer-science/preliminary-computer-theory-p-vs-np-past-present-and-future.html">理论计算机初步：P vs NP - 历史，现状和未来</a></li><li ><a href="http://zhiqiang.org/blog/science/computer-science/np-hard.html">TCS：NP-hard</a></li></ul></div>    <p></p>
    <hr noshade style="margin:0;height:1px" />
    <p>&copy; zhiqiang for <a href="http://zhiqiang.org/blog">阅微堂</a>, 2007. | <a href="http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html">&#38142;&#25509;</a> | <a href="http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html#comments">19 &#26465;&#35780;&#35770;</a></p>]]></content:encoded>
			<wfw:commentRss>http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html/feed</wfw:commentRss>
		<slash:comments>19</slash:comments>
		</item>
		<item>
		<title>为什么要研究量子计算？</title>
		<link>http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html</link>
		<comments>http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html#comments</comments>
		<pubDate>Wed, 28 Mar 2007 03:40:01 +0000</pubDate>
		<dc:creator>zhiqiang</dc:creator>
				<category><![CDATA[计算机科学]]></category>
		<category><![CDATA[Quatumn]]></category>
		<category><![CDATA[计算模型]]></category>
		<category><![CDATA[量子]]></category>
		<category><![CDATA[量子计算]]></category>

		<guid isPermaLink="false">http://zhiqiang.org/blog/550.html</guid>
		<description><![CDATA[博客 » 计算机科学 » Quatumn，计算模型，量子，量子计算 » 最近被要求学习量子，所用教材是Berkeley的Vazirani在2004年所开的Intro, Qubits, Measurements, Entanglement的notes。下面是这套讲义的第一章的开头部分： There are several reasons why we might wish to study quantum computation. Here are a few: Moore’s Law Moore’s Law states that the density of transistors on a chip roughly doubles every eighteen months. Current estimates say that ...]]></description>
			<content:encoded><![CDATA[<p id="breadcrumb" class="breadcrumb"><a href="http://zhiqiang.org/blog/">博客</a> » <a href="http://zhiqiang.org/blog/category/science/computer-science">计算机科学</a> » <a href="http://zhiqiang.org/blog/tag/quatumn" rel="tag">Quatumn</a>，<a href="http://zhiqiang.org/blog/tag/%e8%ae%a1%e7%ae%97%e6%a8%a1%e5%9e%8b" rel="tag">计算模型</a>，<a href="http://zhiqiang.org/blog/tag/%e9%87%8f%e5%ad%90" rel="tag">量子</a>，<a href="http://zhiqiang.org/blog/tag/%e9%87%8f%e5%ad%90%e8%ae%a1%e7%ae%97" rel="tag">量子计算</a> » </p><p>最近被要求学习量子，所用教材是Berkeley的<a href="http://www.cs.berkeley.edu/~vazirani/" target="_blank">Vazirani</a>在2004年所开的<a href="http://www.cs.berkeley.edu/~vazirani/f04quantum/quantum.html" target="_blank">Intro, Qubits, Measurements, Entanglement</a>的notes。下面是这套讲义的第一章的开头部分：</p>
<p>There are several reasons why we might wish to study quantum computation. Here are a few:</p>
<ul>
<li>Moore’s Law<br />
Moore’s Law states that the density of transistors on a chip roughly doubles every eighteen months. Current estimates say that in about a decade this should be down to single electron transistors. This is the end of the road for further miniaturization of classical computers based on electronics. Long before that chip designers will have to contend with quantum phenomena. Quantum computation provides a method of bypassing the end of Moore’s Law, and also provides a way of utilizing the inevitable appearance of quantum phenomena.</li>
<li>Factoring, Discrete log, Pell’s equations, etc..<br />
There are certain problems that quantum computation allows us to solve more efficiently that any classical computational method. A few examples are listed above. We may wish to exploit this feature of quantum computation.</li>
<li>Cryptography<br />
Quantum computation allows us to do cryptography in a way that doesn’t require assumptions about factoring primes, etc.. It also allows us to break classical cryptography schemas. Obviously, if we are interested in cryptography, we’ll also have to be interested in quantum computation.<br />
Above are the three standard reasons for studying quantum computation. There are other reasons as well that are perhaps just as compelling.</li>
<li>Quantum Mechanics is a model of computation<br />
We can study quantum mechanics as a model of computation.</li>
<li>Quantum Entanglement</li>
</ul>
<p>In particular, the detailed study of entanglement is the most important point of departure from more traditional approaches to the subject. For example, quantum computation derives its power from the fact that the description of the state of an n-particle quantum system grows exponentially in n. This enormous information capacity is not easy to access, since any measurement of the system only yields n pieces of classical information. Thus the main challenge in the field of quantum algorithms is to manipulate the exponential amount of information in the quantum state of the system, and then extract some crucial pieces via a final measurement.</p>
<p>Quantum cryptography relies on a fundamental property of quantum measurements: that they inevitably disturb the state of the measured system. Thus if Alice and Bob wish to communicate secretly, they can detect the presence of an eavesdropper Eve by using cleverly chosen quantum states and testing them to check whether they were disturbed during transmission.</p>
<p>&nbsp;</p>
<div><h4>相关文章</h4><ul><li class='currentpost'><a href="http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html">为什么要研究量子计算？</a></li><li ><a href="http://zhiqiang.org/blog/science/why-the-world-needs-quantum-mechanics.html">为什么这个世界需要量子机制</a></li><li ><a href="http://zhiqiang.org/blog/science/quantum-history-uncertainty-principle.html">测不准原理还是不确定性原理 - 谈量子物理史话一</a></li><li ><a href="http://zhiqiang.org/blog/science/computer-science/advanced-theoretical-computer-science-i-lectures.html">高等理论计算机I</a></li></ul></div>    <p></p>
    <hr noshade style="margin:0;height:1px" />
    <p>&copy; zhiqiang for <a href="http://zhiqiang.org/blog">阅微堂</a>, 2007. | <a href="http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html">&#38142;&#25509;</a> | <a href="http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html#comments">2 &#26465;&#35780;&#35770;</a></p>]]></content:encoded>
			<wfw:commentRss>http://zhiqiang.org/blog/science/computer-science/why-quantum-computation-why-study-quantum-computing.html/feed</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
	</channel>
</rss>

