Sunday, March 1, 2015

msft 王正汉 结绳与量子计算

這是 http://www.math.ucsb.edu/~zhenghwa/data/research/pub/sxtb.pdf 的 HTML 檔。
G o o g l e 在網路漫遊時會自動將檔案轉換成 HTML 網頁。
结绳与量子计算
Page 1
结绳与量子计算
王正汉
美国微软研究院!!"#"年$月
!!古人结绳记事%延续祖先的思维 我们用绳
圈来描述粒子的轨迹 记录它们的运动 进而探
讨绳圈数学的应用 拓扑量子计算%
绳圈的数学叫纽结论 是一门趣味盎然的学
科%在此我们仅介绍新的纽结不变量 琼斯多
项式 &'()*+',-('./0, 及其在量子计算中的应
用%如果读者有兴趣 我们推荐姜伯驹教授的
书 绳圈的数学%纽结论不仅是一门高深的数学
理论 也在物理 生物和量子计算机学科中有许多
的应用%从上世纪八十年代 量子力学的思想深
刻地影响着拓扑学的发展 形成量子拓扑学%留
美数学家林晓松教授 #123 !""3 对量子纽结论
的发展作出了很多开创性的贡献%谨以此文纪念
这位重要的拓扑学家%他所钟爱的量子纽结论正
走出数学 成为现代科技的一个有机部分%
上半部
无论是系领带 还是系鞋带 我们都是在用绳
子打结%但日常生活中的结和数学家们研究的结
有所不同%首先数学家用来打结的不是绳子 而
是理想化的绳子 曲线 其次数学家的结是一
个绳圈的模型 闭路线圈 也就是说绳子要首
尾相连%如果不是首尾相连 那么不管多么复杂
的结都能解开 也就是说变成直线段%
纽结论是研究理想化的结的一门数学学科
它是拓扑学的一个重要分支%平面上的圆代表数
学家最简单的纽结 叫做平凡结%一个不能变成
圆的纽结叫做非平凡结%是否存在非平凡结呢
只要我们用绳子做一些实验 就不难相信存在非
平凡结 也就是死结%下面的结是最简单的非平
凡结 左图 叫三叶结%许多水手爱打这个结
右图
三叶结
!!如果把右边的结头尾连在一起 但不可以从
任何地方剪断绳子 不管我们怎样做 我们都不能
把它变成平面上的圆%尽管很直观 但要证明存
在非平凡结却非易事 因为我们需要排除任何可
能的解法 但可能的解法多得无法想像%我们怎
样才能肯定所有的解法都试过了呢 下面我们看
看拓扑学家怎样解决这个问题的%
!纽结论
!纽结
拓扑学家用曲线打结%曲线的严格数学理论
要用到微积分%为了避免这些知识 我们将用直
线段打结%因为光滑曲线可以看成由很短的直线
段构成的 所以这样得到的理论跟用曲线得到的
理论是等价的%但这个理论只用到非常初等的
知识%
现在我们严格定义我们的研究对象%如果有
一些直线段 它们可以长短不一 然后一段接一段
地把它们在空间连在一起形成一个闭线圈%如果
构成闭线圈的任何两条直线段或者不相交或者只
交于一个端点 我们就把这个闭线圈叫做一个几
何纽结%比如下面的几何纽结分别代表平凡结和
三叶结%平面上的任何一个多边形都是一个几何
纽结%显然存在无数多的几何纽结%
平凡结和三叶结
#
!"#"年!第$1卷!第2期!! !!!!!!数学通报
拓扑学的一个基本特征是不关心物体的长
短 厚薄 粗细%对拓扑学家来说 所有大大小小
不同形状的三角形都代表同一个的纽结 平凡
结%不仅如此 所有平面上的多边形都代表同一
个纽结%如果我们是用绳子打结 这很容易理
解%由绳子做成的三角形是很容易变成四边形
五边形%反过来也一样 四边形和五边形也可以变
成三角形%尽管我们的理论将会是基于由直线段
打成的结 但我们可以用绳子打成的结来思考%
为了交流方便 我们引进一些名词%一个几
何纽结上的任何一条直线段 我们都叫它是这个
几何纽结的一条边%拓扑学家只关心纽结的所谓
拓扑性质%像一条边有多长是不重要的%为了研
究几何纽结的拓扑性质 我们会引进一个拓扑等
价关系%两个拓扑等价的几何纽结将会被看成是
同一个拓扑纽结 简称纽结%从概念上来讲 纽结
和几何纽结是完全不同的%几何纽结是具体的
纽结是抽象的%
严格的讲 一个纽结是由所有拓扑等价的几
何纽结所形成的等价类%所以 一个纽结代表一
个由那些拓扑等价的几何纽结形成的集合%和数
类比 一个几何纽结像一个箱子里的苹果 而一个
纽结是箱子里苹果的数目%我们指出一个可能引
起的混淆 拓扑学家经常不分纽结和纽结类 提
到纽结而实际是指纽结类%我们说的纽结严格地
讲对应于拓扑学家的纽结类 而几何纽结对应于
拓扑学家的纽结%
几何纽结间的拓扑等价关系定义很复杂 这
也是我们需要考虑直线段的原因%
给定一个几何纽结 叫它 ! 和它的两条相
联的边 叫它们" 和#$假设" 的末端连在# 的
首端$用一条新线段连接 " 的首端和# 的末端
我们叫这一条新的线段%$ 见下图 如果 % 和!
别的边都不相交 但可以和 " # 重和 我们可
以从 ! 的边中拿掉边" 和 边# 然后加入% 得
到一个新的几何纽结 叫它 !&$我们把从边 "
# 到边% 或者反过来从边% 到边" # 的变换叫
做一个三角形变换$注意三角形变换的一种特殊
情况 在一条边的内部加一个点变成两条边 或
者反过来$如果由" # % 所形成的三角形的内
部和 ! 的除" # 以外的任何边都不相交 我们
称这样的三角形变换为 '变换$两个几何纽结
! 和 !&是拓扑等价的如果 ! 能通过有限次的
'变换变成 !&$我们以后将拓扑等价简称为
等价$
'变换
如果 ! 是由 !&通过一个三角形变换得到
的 那么 ! 和!&有时是等价的 有时是不等价$
本节开始的平凡结可以从它右边的三叶结通过一
个三角形变换得到 但它们是不等价的$
最简单的纽结是平凡结 它是包括所有三角
形在内的几何纽结的等价类$实际上 平面上所
有多边形都代表平凡结$给一个纽结 我们叫它
的任何一个几何纽结为它的一个代表$
思考题
#%证明平面上所有多边形都可以通过有限次 4
变换变成一个三角形%
!%证明所有四边形 不限于平面上 都等价于三
角形%
% !纽结不变量
我们都相信存在非平凡结 但怎样证明呢
也就是说 存在一个几何纽结 无论一个人多么聪
明 花多长时间 做多少 4变换 都不可能把这个
几何纽结变成一个三角形 拓扑学家的想法很简
单 引进所谓的不变量%我们给每一个几何纽结
一个我们熟悉的量 像一个数 或者一个多项
式%这个量叫做不变量 如果这个量在任何 4变
换下不变%即两个等价的几何纽结所得到的量是
一样的%但不等价的纽结也有可能得到同样的量%
定义不变量是一件很容易的事%譬如 我们
可以给所有平凡几何结# 给所有别的几何纽结
"%但这个不变量对于研究纽结来说 毫无用处%
考虑所有纽结形成的集合 从这个集合到实数的
!
数学通报!!!!!!! !!"#"年!第$1卷!第2期
任何一个映射都是一个纽结不变量%用这个想法
我们可以定义一个有用 但很难计算的纽结不变
量 离散长度%给定一个纽结 把这个集合里的所
有几何纽结的边数的最小值取出来 这是一个正
整数%我们把这个正整数叫做这个纽结的离散长
度%它反映出如果真的用绳子打这个结 我们至
少需要一定长度的绳子%不难证明 平凡结的离
散长度是5 而三叶结的离散长度是6%本节开始
的五边三叶结实际上需要六条边%
纽结论的重要问题是如何分类纽结%即给出
一个几何纽结的集合使得在这个集合里每一个纽
结都有而且只有一个几何纽结代表%拓扑学家希
望能找到一个完备的纽结不变量 即一个不变量
使得不同的纽结会有不同的不变量%如果我们有
这样一个不变量 纽结的分类就简化成这个不变
量的计算%存在不少的完备纽结不变量 但我们
还没有发现完备而容易计算的不变量 或许这样
的不变量是不存在的%
思考题
#%当离散长度足够大时 我们可以得到不同的纽
结%最小的离散长度使我们可以得到不同的
纽结是多少 我不知道答案%
!%在纽结上取个方向 我们就可以定义两条相邻
边的角度%用这些角度定义一个纽结不变量%
% !纽结投影
想研究纽结 我们就要有办法把所有纽结都
画出来%拓扑学家的办法是利用纽结在平面上的
投影%前面我们已经看到 在平面上是画不出非
平凡结的%纽结是我们所生存的空间的一个现
象%如果你听说过四维或更高维空间 在那里面
同样画不出非平凡结%为了能在平面上表示出非
平凡结 我们就必须记住纽结的一些空间性质%
给一个几何纽结 想像在它的后面远处有一
个屏幕%如果我们把这个几何纽结投影到这个屏
幕上会是什么样子 一条线段的投影是一条线段
或是一个点 所以纽结的投影是一个由线段组成
的闭路 但可能有很多交点 双重点 三重点等等%
如果我们稍微移动一下后面的屏幕 我们可以做
到这样 没有任何一条直线段被投影成一个点 而
且只有直交的双重交点 任何其它类型的交点都
叫奇点%没有奇点的纽结投影叫正则投影%这又
是这样一个事实 虽然不难相信 但严格证明并
不显然%有兴趣的同学可以自己试试%
"
!
奇点
一个正则投影的每一个双重点都是两条边投
影的交点%这两条边一上一下 每一个双重点都
是两个点的投影 我们把离屏幕近的那一点所在
的那条边叫下% 如果我们在一个几何纽结的一个
正则投影的每一个双重点处都记下那两条边的上
下关系 我们就得到了一个纽结图%我们把带有
上下信息的双重点称做交叉点%交叉点分为上交
叉点和下交叉点
交叉点
如果可以用曲线 通常我们会把下面那条边
画在平面上 而上面的那条边在双重点附近画在
平面上面%但如果只能用直线段 我们可以把上
面那条直线段变成两条线段稍微高于平面 使得
原来的端点的投影都在平面上%我们把这样由正
则投影图得到的图叫纽结图%一个几何纽结和它
的任何一个纽结图是拓扑等价的 所以在很多情
况下 我们只需要考虑纽结图%
正则投影
一个纽结会有很多纽结图 但它们全都等价%
给定两个纽结图 怎样决定它们是否代表同一个
纽结呢 原则上我们已经知道答案 只要考虑所
有 4变换的正则投影%实际上这个办法却很难应
用 因为 4变换中的三角形可以很大%纽结论里
的一个著名定理把 4变换简化到下面三组变换
5
!"#"年!第$1卷!第2期!! !!!!!!数学通报
叫瑞德迈斯特 7)/8).)/*9): 移动 7; 7;;
7;;; 反之亦然%
瑞德迈斯特移动
我们可以证明
瑞德迈斯特定理!两个纽结图 ( 和 (&所代
表的纽结是等价的当且仅当( 能通过有限次的
瑞德迈斯特移动变成 (&$
由于这个定理 纽结论也可以只研究纽结图
和它们在瑞德迈斯特移动下的等价类%以下一组
图证明 7;;;移动可以用 4变换实现%
与 变换
思考题
#%证明只有一个或两个交叉点的纽结图总表示
平凡结%
!%证明所有纽结的集合是可数的 即我们可以把
它们和正整数一一对应%
!琼斯多项式
#1<$年 新西兰数学家琼斯 =%&'()* 发现
了一个全新的纽结不变量 叫做琼斯多项式%琼
斯多项式的发现引起了纽结论里的一场革命 进
而推动了一个新的拓扑方向 量子拓扑的产
生%琼斯多项式其实不是严格意义下的多项式
因为它的变量的次方可以是负整数和分数%
我们首先引进一些定义和记号$假设( 是一
个有) 个交叉点的纽结图$如果给每个交叉点一
个标号" 或# 我们就叫 ( 的一个态 记作*$给
定 ( 上一个交叉点和一个标号" 或# 我们可
以在这个交叉点的附近做一个手术 *>:?):-
手术
上图里的手术的规则是这样的 在交叉点的
附近 从上面的边逆时针旋转到下面的边 上面
的边会扫过两个区域 一个交叉点把平面分成四
个区域 叫" 区 另外两个叫 # 区$" 手术就是
打通" 区 而# 手术就是打通# 区$
假设+是一个参数变量$给定 ( 的一个态*
那么每一个交叉点都有一个" 或#$如果是" 我
们就做" 手术 如果是# 我们就做# 手术$每一
个手术都从纽结图中去掉一个交叉点 当所有手
术完后 我们得到平面上的一些闭线路 这些闭
线路的个数记作, * $我们用* " 记态*上"
型交叉点的个数 同样用* # 记态*上# 型交叉
点的个数$
$
数学通报!!!!!!! !!"#"年!第$1卷!第2期
让#*$@+
* # A* "
$
A+
#
! A+A#
! , * $
定义 #($ @ % #*$ 这个和一共有 !)
项$我们叫#($为 ( 的考夫曼 B%C0>DD.0(
括号%
每个纽结图有两个方向 从图上的某点出发
沿纽结图朝前或后走一圈%取定纽结图 ( 的一个
定向 每条边都有一个方向%我们给每个交叉点
一个符号 正负# 如下
符号
改任何一个箭头 符号正负#互换$注意到
如果我们取得是另一个方向 因为每个交叉点的
两条边方向同时改变 所以这个符号是不依赖于
纽结的方向的$
把 ( 的所有交叉点的符号的和记作- ( $
最后定义纽结图 ( 的琼斯多项式
. ( + @ A# - ( +
5- (
$
#($$
可以证明. ( + 在瑞德迈斯特移动下不
变 所以确实是一个纽结不变量$这就是著名的
琼斯多项式$给一个纽结 ! 它的琼斯多项式
. ! + 定义为 ! 的任何纽结图的琼斯多项式$
平凡结的琼斯不变量是A+
#
! A+A#
! 因为圆只
有一个态 无交叉点 但有一个闭线路$而三叶结
的琼斯多项式是 . + @ +E+5 A+$ A+
#
! A
+A#
! $所以三叶结一定是非平凡的$
由多个不相交的纽结组成的多条曲线叫链
环$拓扑学家除研究纽结外 也对链环感兴趣$
琼斯多项式可以定义在链环上 但链环必须有定
向$如果处理好定向 我们前面的所有讨论都对
链环适用$我们把细节留给读者$给一个定向链
环/ 它的琼斯多项式 也记作. / + $
有了链环的琼斯多项式 我们可以有一个计
算琼斯多项式的线团 *F)/( 关系式$假设 /E
是一个链环图 带定向 而0 是/E 上的一个交
叉点$如果我们把交叉点0 的两条边上下换了
我们就有一个新的链环图 记作 /A 我们也可
以顺方向光滑 /E 得到另一个链环图 /" 见下
图 $我们可以证明 这三个链环的琼斯多项式
满足以下恒等式
+A# . /E + A+ . /A + @
+#
! A+A#
! . /" +
线团关系式
用线团关系式 我们可以递推得计算琼斯多
项式$因为每一个定向链环的琼斯多项式 . /
+ 除以 A+
#
! A+A#
! 还是一个链环不变量 我们定
义1 / + @
. / +
A+
#
! A+A#
!
$这样平凡结的不变量
就变成#$1 / + 也叫琼斯多项式 也满足线团
关系式$
琼斯多项式是一个非常重要的链环不变量$
然而从定义或线团关系式进行计算 非常复杂$
如果一个链环有个) 交叉点 那么计算它的琼斯
多项式就需要做!) 个和$学过幂指数的都知道
指数增长的速度 据估计整个可见宇宙里的基本
粒子数不会超过!!""$所以计算!""个交叉点的
链环的琼斯多项式 要加的和数已经不可思议$
但有没有别的聪明办法高效地计算链环的琼斯多
项式呢 数学家们相信高效的算法是不存在的$
但是如果我们有量子计算机 我们就可以高效的
逼近琼斯多项式的值$下半部我们看看量子计算
机是怎样做到的$
思考题
#%把每一个交叉点的上下互换 琼斯多项式怎样
变化
!%改变链环的方向 琼斯多项式怎样变化
5%是否存在非平凡结而它的琼斯多项式和平凡
结是一样的 这个问题极难 我们还不知道
答案%
下半部
大卫 希尔伯特 #<6! #1$5 是伟大的德国
数学家%#1""年他在巴黎国际数学家大会上提出
了!5个当时未解决的数学问题%这!5个问题对
上个世纪前半叶的数学发展产生了深远的影响%
2
!"#"年!第$1卷!第2期!! !!!!!!数学通报
其中的第十个问题是&给定一个多元整系数多项
式2!3#4#)#-"#给出一个算法来决定2!3#4#
)#-"是否有整数解%希尔伯特并没有定义什么
是算法#而且他下意识的相信算法是存在的%
#13"年数学家证明不存在算法可以解决这个问
题%但早在#156年#英国数学家阿兰(图灵!G%
H>:/(?##1#!%#12$"就发表了题为*可计算数及
在决断问题中的应用+的文章%在这篇文章中图
灵严格定义了算法#并证明存在数学问题是没有
算法来求解的%图灵定义的算法被称作图灵机%
是计算机理论奠基性的工作之一%图灵对逻辑
学#密码学和现代计算机理论都有巨大的贡献%
在二次世界大战中#他帮助盟军解密了德国的著
名 I(/?.0密码机器#加快了盟军的胜利%
学过数学的人都有算法的经验%即使一个问
题有算法可解#也不意味着这个算法是可行的%
理论计算机的一个重要方向就是研究高效 !)DD/4
J/)(9"的算法%比如著名的求两个正整数最大公
因子的欧几里德算法%欧几里德算法不但简单#
而且高效%然而另一个问题&给定一个正整数#
找出它的素因子分解%不但至今没人能找到高效
的算法#数学家相信高效的算法根本就不存在%
所以很多秘密都是基于这个假设%如果某一天有
人发现了一个高效的素因子分解办法#很多国家#
银行和个人的秘密#包括因特网上的很多交易#
就会被泄漏%令人惊奇的是##11$年美国数学家
肖尔 !K%LM':"发现量子计算模型可以高效地进
行素因子分解%量子计算模型是基于量子力学理
论的计算模型%它的实现非常困难%实现量子计
算的一种办法是基于纽结论%%%拓扑量子计算%
怎样用纽结计算呢'
!计算模型
每一种物理理论#都伴随着一种计算模型%
经典物理的计算模型就是我们现在的计算机%每
一种计算模型都可以高效的解决一类问题%因为
量子物理包含经典物理#所以任何高效的经典算
法都可以看成高效的量子算法%我们希望量子计
算可以解决一些经典计算不能高效解决的问题#
像素因子分解%虽然我们有高效的量子素因子分
解算法#且没有高效的经典素因子分解算法#但
我们并不能证明高效的经典素因子分解算法是不
存在的%所以我们也就不知道量子计算是否真的
比经典计算更高效%
!公开的秘密
研究算法效率的理论叫计算复杂性$计算复
杂性考虑我们是否能够高效地利用我们的资源来
解决一类问题 $资源可以是很多东西#比如时
间#记忆#也可以是精确度#但我们不考虑财富$
我们用一个例子来说明它的用处$假设两个离得
很远的网友在网上下一盘重要的围棋#很久他们
还没有下完#所以决定停下来以后再下#但谁都
不想下最后一招棋#给对手时间仔细研究对策$
假设他们不想任何别人参与#怎么办呢' 利用计
算复杂性#我们可以有这样一个可行的办法&把
围棋盘想像成平面坐标系#那么它的每个位置都
可以记成一对数 !5#)"#5 和) 在#和#1之间$
如果 5 和) 是单位数#在前面加个零#这样它们
就都是两位数$让下最后一招的那个人先想好他
最后一招棋的位置#约定首先他自己私下找一对
很大的素数0 和6 #而且0 小于6$0 的个位和
十位数是5#而6 的个位和十位数是)$然后他
把0 和6 乘起来#记作7$最后他只把答案7告诉
他的对手$如果想知道他的最后一步棋#就得知
道0 和6$如果选定0 和6 在两百位数左右#那
么用现在最好的算法和最快的超级计算机#大概
需要几十亿年才能算出0 和6$如果我们有量子
计算机#几天就可以做到$美国 NLG 网站上就
有一些数字让大家去分解#每分解上面的一个
数#都有一笔不菲的奖金$宇宙现在的寿命估计
也只有#$"亿年#所以在有限的时间内#知道0
和6 的机率几乎为"$当他们准备再战的时候#走
最后一步的那个人只要告诉对手 0 和6#就可以
知道他的最后一步棋的位置$由于有高效的算法
验证一个数是否是素数#而乘法更是高效的#很
容易就知道有没有做弊$这样最后一步棋就成为
公开的秘密$
什么样的算法是高效的呢' 考虑欧几里德算
法$给定两个正整数 5 和)#我们要找出它们的
最大公因子$假设5 大于)#并且)大于#$欧几
里德算法如下&
第一步&
用 5 除以)#假设商为6#而余数为7#即 5
@6)E7#那么 "&7#)$
如果7@"#停止计算#最大公因子是)$
6
数学通报!!!!!!! !!"#"年!第$1卷!第2期
如果7@##停止计算#最大公因子是##即5
与)互素$
如果7大于##进行下一步&
第二步&
分别用)和7 代替第一步中的5 和)#重复
上一步$
现在我们来分析这个优美的算法$首先#这
个算法在有限步之后一定会停止$这是因为 5$
)$7$) $第二#我们一定能得到解$因为7@5
A6)#5 和) 的最大公因子也是) 和7 的最大公
因子$所以每一步两个数的最大公因子就是5 和
)的最大公因子$第三#也是最重要的#这个算法
是高效的$我们仔细地估计一下需要重复的步数
+$每一步都有一个余数7@7##7!#)#7+&!5#)"
' !)#7#"')'!7+A##7+"$注意到7+A#&7+A!,!
&) & 5,!+#因此+E#& ,'?! 5#所以至多
,'?! 5A#步以后#我们就成功地得到了答案$因
为每步只做一次除法#5 和) 的最大公因子在大
约,'?! 5 步除法之后一定会得到$
给定一个关于所有正整数 8 的算法#如果
存在一个固定的正整数9#问题的答案能在大约
!,'?! 8"9 步加减乘除之后一定得到#我们就说
这个算法是高效的$
计算复杂性考虑的问题和平时的数学问题有
点不同$计算复杂性的问题是一类问题#所以有
些参数$比如在希尔伯特第十个问题里#不变量
的个数可以任意大#任何项的系数也可以是任何
整数$而数学问题#像费马大定理#我们只关心
一个或一些特殊的方程$计算复杂性是想知道当
参数趋于无穷时#我们的算法多有效$
回到素因子分解#最直接的算法就是用!#5#
)#8A#去除 8#就可以找到 8 的所有素因子$
但这个算法用到大约 8 次除法#所以没有效率$
现在最好的算法大约需要#"5
8 多次计算#还不是
高效的$量子计算机怎么做到的呢'
!奇妙的量子世界
量子力学和相对论是现代物理的两大支柱%
量子力学主要描述微观世界#所以当我们试图理
解量子力学的现象时很多时候就变得不可思议%
量子力学最为奇妙的是线性叠加原理 !*>+):+'4
*/9/'("#测不准原理和纠缠 !)(90(?,).)(9"%线
性叠加原理是最根本的%测不准原理保护线性叠
加原理#所以像它的保镖#而纠缠像线性叠加原
理的影子%下面我们通过电子的双狭缝 !8'>O,)
A*,/9"实验看看线性叠加原理%
在大家的日常生活中#用到很多电器%这些
电器工作原理大多和电子有关%电子恐怕是大家
最为熟悉的基本粒子%电子在#<13年由英国物
理学家汤姆森 !&%&%HM'.*'("发现#从而推翻
了原子不可再分%因为电子是个基本粒子#我们
把它想像成一个无限小的点#运动起来像台球一
样%然而双狭缝实验证明#这个模型很不完备&
电子有时像粒子#有时又像水波#可以越过障碍
产生干涉%电子的双狭缝干涉实验在!""!年被
物理世界网站评为有史以来最漂亮的物理实验%
连伽里略开创近代实验科学方法的比萨斜塔实验
也只能排在第二位%
想像有一支电子枪#向一个屏幕一个一个发
射电子%屏幕上有两个狭缝%在屏幕的后面有个
电子感应屏%当电子穿过狭缝#到达感应屏时#
感应屏会记下电子到达的位置#并发出响声%响
声的高低和电子的电荷成正比%而且每次发射电
子#都是在已经听到前一个电子已经到达之后%
如果电子是像个小台球#那么电子就应该都落在
狭缝附近%如果只开一个狭缝#电子到达感应屏
的分布是中间图的两个分布%这和电子是粒子相
符合&大多数电子落在狭缝后面%如果没有干涉#
两个狭缝都开时#电子的分布应该是最右边的图%
单狭缝
然而看到的却是下面的分布&
干涉分布
3
!"#"年!第$1卷!第2期!! !!!!!!数学通报
这个分布和光的干涉实验是一模一样的%大
多数电子落在两个狭缝中间墙的后面%难道电子
到达感应屏时变成波了吗' 实验证明并非如此%
电子到达感应屏时总是落在一个点上#而且响声
都是一样大%所以电子是做为一个整粒子到达感
应屏的%对这个实验的许许多多的解释最终都没
站住脚%最为合理的解释来自量子力学%
量子力学的解释是基于线性叠加原理$电子
可以从狭缝#穿过到达感应屏#也可以从狭缝!
穿过到达感应屏$但电子的实际运动即非单从狭
缝#过#也非单从狭缝!过#而是这两种可能的
线性叠加$假设我们把电子从狭缝#过叫做状态
(#$#而把电子从狭缝!过叫做状态(!$#那么
每个电子的状态就被由 (#$ E (!$来描述#
这里 和 是两个不同时为"的复数$ (#$ E
(!$叫做状态(#$ 和状态(!$的线性叠加$
述状态(#$和 (!$是波函数$它们绝对值的平方
给出上面的单狭缝的分布$
如果在狭缝#或狭缝!的地方放上一个仪器
来测量电子是否从这个狭缝穿过#干涉就被破
坏#而出现上面的单狭缝粒子分布$也就是说测
量破坏了叠加$
把叠加原理用到微观世界之外产生很多不可
思议的现象#是非常有争议的$比如著名薛定谔
猫状态&猫的生与死的叠加$但在微观世界里#
无数的实验证明了线性叠加原理的正确性$
!肖尔算法
肖尔是怎样用量子力学的原理高效地分解素
因子呢' 我们先在量子世界里做一个在经典世界
里不可能的简单事情$假如我们想在四样东西里
找一样我们知道的东西$在经典世界里#如果没
有任何别的信息#要保证每次去找总能#"": 成
功#这样得看三样东西才行$在量子世界里#我
们可以一次找到$
首先我们可以准备四样东西的线性叠加 (#-
E(!-E(5-E($-$虽然我们不知道要找的东西
是哪个#但如果我们见到它#我们是认识的$用
量子世界的语言#如果我们要找的东西是第;个#
;@##!#5#$#那么一个叫 <; 的变换可以作用到
状态(#-E(!-E(5-E($-上$<; 作用在状态(#-
E(!-E(5-E($-上#就会在(;-前面加一个负
号$比如<#!(#-E(!-E(5-E($-"@A(#-E(!-
E(5-E($-$在量子世界里#看一次就是用一
次<;$
从量子世界的状态( $ 到我们经典世界的
状态#我们需要测量在量子态( $时的某个物理
量$量子力学是这样描述测量的&每一个可测的物
理量 =#像能量#位置#都有一组完备的状态
(>?$$(>?$完备的意思是每一个状态( $都可
以写成(>?$的线性叠加#即( $@ %?
?(>?$ #
而且 %?
( ?(! @#$测量之后#我们并不知道从
( $会到那个态#但一定是 (>?$里面的一个#而
它发生的概率是在( $展开里#它前面那个系数
? 绝对值的平方#即( ?(!$因为需要测量#量子
算法都是概率算法$
现在我们可以一次找到我们想找的东西$找
一个完备状态是 .A(#-E(!-E(5-E($-#(#-A
(!-E(5-E($-#(#-E(!-A(5-E($-#(#-E
(!-E(5-A($-/的可测物理量 =$先把四样东西
放在线性叠加态里 (#-E(!-E(5-E($-$然后
看一次(#-E(!-E(5-E($-#即用<; 作用在(#-
E(!-E(5-E($-上$看完后#东西的状态是<;!(
#-E(!-E(5-E($-"$随后我们测量 =#因为
<;!(#-E(!-E(5-E($-"就是 .A(#-E(!-E
(5-E($-#(#-A(!-E(5-E($-#(#-E(!-A(5-
E($-#(#-E(!-E(5-A($-/中的一个#<; !(#-
E(!-E(5-E($-"写成它们线性叠加时#三个系
数是"#一个系数为#$所以测量时看到它的概率
是#""P#而我们只用了一次<;$
肖尔算法非常复杂#我们只简单讲一下它的
步骤$假设 8 是个正整数#我们想知道 8 的所
有素因子$首先我们用已知的高效经典算法判定
8 是否是个素数的幂次$如果是#停$如果不是#
随便找一个与 8 互素但不太大的正整数3$因为
判定 8 与3 是否互素的欧几里德算法是高效的#
3 是很容易找的$然后找一个正整数;使得3;@
#.'88$现在没有高效的经典算法找到这样的
;#但肖尔找到了一个量子算法#可以找到这样
的;$如果有了这样的;而且又是偶数#那么 !3
;
!
E#"!3
;
! A#"@" .'88 $如果; 是奇数#再找
一个3 重新来过$所以!3
;
! E#"或!3
;
! A#"和 8
就有公因子$用欧几里德算法找到它们的最大公
<
数学通报!!!!!!! !!"#"年!第$1卷!第2期
因子$如果是# 再找一个3 重新来过$如果大
于# 就找到了 8 的一个因子$可以证明这样高
效地找到 8 的所有素因子的概率可以任意接近
#""P%肖尔算法有时会失败 但我们不需要知
道每一个秘密$
量子计算机不但可以高效地作素因子分解
更重要的应用在于模拟量子系统%通过模拟 我
们可以更深刻了解量子世界%这样会给材料学
化学从而医学带来革命性的进步%量子计算机这
么有用 为什么我们到现在还没有呢 量子计算机
的建造非常困难 因为线性叠加很脆弱%对量子系
统的任何操作都可能引起相退干 8)J'M):)(J) %
!拓扑量子计算
科学家最近想用一种奇异准粒子 Q>0*/4
+0:9/J,) 非交换任意子来建造拓扑量子计算
机%在拓扑量子计算中 任意子世界线形成的辨
子就是计算过程%我们还不知道是否存在非交换
任意子 但如果存在 这样的量子计算机会非常
稳定 那么量子计算的时代就会早日到来%
!基本粒子和准粒子
在阿尔卑斯山脉以北法国和瑞士交界的地
方 一百多米的地下埋着一个直径四米左右 周长
二十七公里的大型强子对撞机 BRS %经过十
几年的建造 上百亿美元的成本 一百多个国家
上万名科学家的努力 大型强子对撞机终于开始
运行%两束质子流被加快到接近于光速的速度进
行了对撞 光速约每秒三十万公里 质子的最高速
度最终将会达到每秒仅低于光速约几分米% 如果
粒子标准模型的预言准确 大型强子对撞机一切
运转正常 在不久的将来 每过几个小时 一个
希格斯玻色子 R/??*O'*'( 会产生%这种被称
作上帝粒子 T'8+0:9/J,) 的发现 将为粒子标
准模型划上完美的句号 也是还原论 :)8>J9/'(
的辉煌胜利%
希格斯玻色子是一种预言的基本粒子%什么
是基本粒子 即使希格斯玻色子被发现 这个问
题的探索也不会终止%我们把基本粒子看做是没
有内部结构 不能再分的物理状态%而所有别的
状态都是由它们构成的%基本粒子是真空的一种
激发态%什么是真空 什么是激发态 )UJ/904
9/'( 真空是我们想像的一种什么都没有的特
殊物理系统%物理系统的最低能量态叫基态%不
是基态的叫激发态%激发态中最低的不可再分的
态叫元激发态 ),).)(90:-)UJ/909/'( %基本粒
子是真空的元激发态%然而 在真空中 并非什么
都不发生%和任何物理系统一样 真空也有量子
涨落%演生 ).):?)(J) 论者认为真空并没有天
生的特权%很多别的物理系统也非常特殊 所以
这些物理系统的元激发态同样有权利被叫做粒
子%为了和基本粒子区别 我们称它们为准粒
子%随着物理的发展 基本粒子和准粒子的区别
也就越来越模糊%所以演生论者认为准粒子和基
本粒子同样重要 而且可能它们原理是一样的%
从现在起 我们提到的粒子时可能是基本粒子也
可能是准粒子%
!粒子的轨迹
考察平面上的两个粒子" 和#$假设" 和#
都在实轴上 坐标分别为 # " 和 A# " 并在
单位圆上以单位弧速度逆时针方向转动$经过时
间+以后 " 和 # 的位置分别是 " J'*! +
*/(! + # AJ'*! + A*/(! + $粒子在时
空的轨迹叫粒子的世界线 V':,8,/() %下面中
间的图就是 " 和# 的世界线 $最右边的是世界
线在 + 3 平面的投影$
世界线
更一般考虑平面上的多个粒子$为了方便
假设它们全在实轴上$随着时间的流逝 这几个
粒子在平面上运动 但互相不能碰撞$经过一段
时间后做为一个集合它们回到了原先的位置上
去$那么它们的世界线就形成了一个辫子$当#
! 5 $ 按下面的左图的运动时 它们世界线形成
右图的辫子$
辨子
1
!"#"年!第$1卷!第2期!! !!!!!!数学通报
根据量子场论的观点#足够的能量可以产生
粒子%反粒子对#而粒子的逆时间运动等价于反
粒子的运动#那么粒子%反粒子对的产生和泯灭
的世界线就是下面左边的两个图$所以当一个粒
子在运动中有粒子%反粒子对的产生和泯灭#他
们的世界线就是一个纽结$而多个粒子的世界线
就是一个链环$每一个链环都有以下这些基本的
图形成#对应于物理的基本过程&
世界线分解
!非交换任意子
假设有 8 个等同粒子#它们的状态是波函
数(##!#)#8-$如果对换第一和第二个粒子#新
的波函数(!###)#8-和 波函数(##!#)#8-有什
么关系呢' 因为第一和第二两个粒子是一样的#
所以两个波函数在描述同一个态$那么它们之间
只能差个复数>? $如果再把第一和二个粒子对
换#那么就完全回到了以前$所以>? (>? @>!? @
#$这样 @" 或 $ @" 的粒子叫玻色子#像光
子$而 @ 的粒子叫费米子#像电子$以前我们
认为所有的粒子或是玻色子或是费米子$然而现
在科学家意识到#如果存在仅仅生活在平面上的
准粒子#那么 就不必总是" 或 $平面上 不是
" 或 的准粒子叫任意子#因为 几乎可以是任
意的$我们有很多证据 @
5
的粒子存在于平面
上的电子系统中$
建造拓扑量子计算机#仅仅有任意子是不够
的$我们需要更奇特的非交换任意子$理论上知
道最多一种非交换任意子可能存在于2,!分数量
子霍尔效应的平面电子系统中$在这种系统中#
有一种叫 的准粒子$我们已经知道它的电荷是
电子的#,$$把球面看成是平面加上无穷远#假
设在球面上有四个 准粒子$即使把这四个 准
粒子固定在一定的地方#理论预言这四个 准粒
子有两个不同的基态#记为(##!#5#$$##(##!#
5#$$!$假设开始时这四个 准粒子的状态是
(##!#5#$$##那么我们把!和5交换后#它们是
哪个态呢' 理论表明即不是(##!#5#$$# 也不是
(##!#5#$$!#而是它们的线性叠加$这样的线性
叠加可以用一个矩阵来表达$平面上粒子交换的
世界线是辨子$把第?个粒子和第?E#个粒子对
换的辫子记作 ?$这个辨子给我们以下的矩阵&
#'>A ?,< # "
"
! "?
!!!!
!'>A ?,<
#A?
!
#E?
!
#E?
!
#A?
)
*
+
,
!
矩阵
所以每一个辫子就给出一个矩阵$矩阵的第
?行告诉我们从第? 个态开始#这些粒子按这个
辫子运动后#第?个态变到的线性叠加$我们知
道矩阵的乘法是非交换的#所以这样的任意子叫
非交换任意子$
!任意子量子计算机
本节里提到的任意子都指非交换任意子%
任何计算都有三步&输入#处理#和输出%任
意子量子计算机是这样计算的&
任意子量子计算机
在任意子量子计算模型中#输入等价于从*真
空*产生一组任意子%为了方便#我们假设它们
全部在实轴上%任意子只能成对产生#所以是偶
数个%随着任意子个数的增加#任意子的基态个
数成指数增长%如果我们要做 8 的素因子分解#
取大约,'?8 多的非交换任意子使它们基态的个
数大于8$我们的计算就从第 8 个基态开始%计
算的过程就是任意子编制辫子的过程%随着任意
子的运动#任意子的状态也起着变化%回到素因
子分解#肖尔算法告诉我们怎样编织这些任意
子%当编织结束后#我们把任意子一对一对放到
一起进行聚变!D>*/'("#观测什么样的新粒子出
"#
数学通报!!!!!!! !!"#"年!第$1卷!第2期
现%我们重复很多次#就可以知道不出现任何粒
子的概率#即每一对都回到真空的概率%聚变的
结果就是任意子量子计算机的输出%如果我们作
8 的素因子分解#那么通过这个概率#就可以找
到 8 的所有素因子$
素因子分解不是任意子量子计算机解决的最
自然的问题%最自然的是琼斯多项式的在+@
>! ?,7#7@5#$#2#)值的高效逼近#因为聚变的结
果的概率是由琼斯多项式的在+@>! ?,7#7@5#$#
2#)值决定的$我和朋友证明拓扑量子计算机和
别的量子计算模型是高效等价的#而且琼斯多项
式在+@>! ?,7#7@5#$#2#)值的高效逼近是一个
量子计算模型的完备问题$也就是说量子计算机
能高效解决的任何问题都可以化成是琼斯多项式
值的逼近$
微软研究院的 W 部 !X/J:'*'D9L909/'( W"
主要研究拓扑量子计算%我们和世界许多大学和
公司的实验室合作#正在寻找非交换任意子%在
这些实验室里#分数量子霍尔效应电子系统正在
接近绝对零度的超低温下和超强磁场里%或许非
交换任意子正在编织着我们所期望的纽结%如果
成为现实#这一切将给人类带来科技的革命%一
个丰富多彩#远比经典世界奇妙的的量子世界正
等待着新一代去窥探她的奥妙1 想更多了解拓扑
量子计算#我们推荐*环球科学*!""6年2月号的
文章&量子计算新突破%
后记
本文基于作者!""3 年夏天在扬州数学之星
夏令营上的报告%感谢田刚教授的邀请和苏维宜
教授的盛情款待%由中国天元基金支持的数学之
星夏令营旨在提高高中学生对数学的兴趣和全面
认识%林晓松教授生前积极参与了夏令营的组建
和活动#对她倾注了很多心血%数学不但是一门
学问#更是一种文化%希望年轻一代数学家不但
有解决难题的才华#更有发现新问题#发展新分
支和新思想的能力%重视和推动数学在各学科中
的应用#为人类造福#让数学之树常青%
##
!"#"年!第$1卷!第2期!! !!!!!!数学通报

傅立葉的能量定理(也就是任意波的總能量是個別基態波能量的總和),系統總動能為質心和轉動動能之和, 角動量代表物體轉動的狀態猶如動量代表物體運動的狀態

傅立葉的能量定理(也就是任意波的總能量是個別基態波能量的總和),系統總動能為質心和轉動動能之和



惯性_百度百科

baike.baidu.com/view/198633.htm 轉為繁體網頁
惯性代表了物体运动状态改变的难易程度。惯性的大小只与物体的 ..... 将这定义加以定量延伸为物体抵抗动量改变的度量,就可以用来做数学计算。这度量称为惯性 ...
  • 動量- 維基百科,自由的百科全書 - Wikipedia

    zh.wikipedia.org/zh-tw/动量
    當圓球A擊中圓球B時,假若圓球A因此停住,則它的原本動量都會傳給圓球B;假若圓 ... 在物理學中,動量以小寫的p(黑體代表「p」是一個向量)表示,動量的定義如下:.
  • 高中物理教材內容討論:什麼是量子化(問題)

    www.phy.ntnu.edu.tw/demolab/phpBB/viewtopic.php?topic=25167
    2012年4月1日 - 6 篇文章 - ‎4 位作者
    對應古典的想法能量量子化也就對應動量量子化. ... 物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
  • 討論區第一版:徑動(precission)(何彥廷)

    www.phy.ntnu.edu.tw › ... › 1997/6月-2001/4月間問題討論區資料
    張貼者:何彥廷腳踏車輪胎的角動量是如何對腳踏車產生平衡作用,角動量徑動有什麼物理意義,輪胎的 ... 角動量代表物體轉動的狀態猶如動量代表物體運動的狀態。

  • 近代物理 標題:什麼是量子化(問題)
    1:KB*30 (高中職)張貼:2012-04-01 15:31:36: 能量 粒子 量子
    在問這個問題前
    我已經尋找過許多資料但仍然沒有得到解答

    我的問題是:
    量子化是什麼?
    什麼物理量具有量子化?
    而量子化的條件又是什麼?

    之前有看到論壇上有一個題目
    問到下列選項中何者具有量子化的現象
    以我現在所學的物理
    我只知道量子化是為了解釋能量的不連續
    而將能量想成一個個的能量粒子(能量包)

    所以希望有人可以替我解答
    2:黃福坤(研究所)張貼:2012-04-02 07:22:06: [回應上一篇] 原子 能量 動量 量子
    物理的模型 都是人想出來 試圖解釋自然現象的
    量子化也是人想出來的一種模型

    十九世紀初 很多實驗結果 無法用傳統能量 連續的觀念去解釋
    提出 能量可能並非連續 而是有特定數值 (如氫原子光譜對應的能量 )
    對應古典的想法 能量量子化 也就對應動量量子化...

    一個學說或模型是否被接受 就看其是否 能解釋現有現象 能自圓其說 且能用來預測新的現象 再度被檢驗
    例如 能量若是量子化 為何早期卻被視為連續
    對應 遠看山上的草似乎是連續一片 可是近看時 卻是分開來 不連續的!


    3:Hydrogen Dioxide(研究所)張貼:2012-06-17 19:09:37: [回應上一篇] 電子

    宋朝文人雅士曾說 : 蓮花濁清漣而不妖, 可遠觀而不可褻玩焉。
    遠看物體有時候因為視覺上的積分效應而覺得物體是連續的,但是近看時卻發現有很多很多的孔洞在其中。當使用電子顯微鏡的時候又可以看到更精細的表面起伏的結構。哈哈。

    4:Richtiger Mann榮譽點數29點(大學理工科系)張貼:2012-06-20 18:26:09: [回應第1篇] 原子 動量 能量 能階 近代物理 向量 量子 ,本留言獲[]給賞金共 2 點
    我是覺得高中教材所說的量子化比較接近"舊"量子論的說法
    也就是認為某些物理量的容許出現的數值不是沒有限制
    反而用一些整數去決定的


    依據我所了解的近代物理知識
    量子力學的核心不是採用這個觀念建構起來的
    反而是把一個物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
    當成一群可以用線性方式互相表達的向量
    把觀測物理量的行為~看成是對系統的一種干擾~把它變成另一總狀態(變成誰得看這個物理量的性質和"機會")
    這裡當然沒有辦法完全告訴你~我們這些被全世界大部分科學家公認的假設
    如何解釋舊量子論的量子化(EX 氫原子的能階在這總"論說"下如何解釋)
    可是可以依稀給你一個開頭的方法(如果很數學化,那也沒辦法~因為對理論最有效率理解,單刀直入的理解常常是數學)
    所謂的對物理系統的干擾~也就是將這個表達這個物理狀態的向量(以後簡稱態向量)變成另一個態向量~

    v-------> v'
    其實也就是一種函數,想一想多項式"函數"~不就是把所有的實數~透過多項式的運算對應到另一個實數嗎? 同樣的道理對物理系統所有可能的狀態也是類似的~不過對應的規則我們單單如下表示(今天取角動量做例子,或乾脆叫他角動量算符)
    L(v)=v'
    很奇妙的是~自然界竟然希望物理算符也是線性的~
    L(u+v)=L(u)+L(v) ,L(a*v)=a*L(v)
    讓我們看看下面的方程式
    L(v)=L'*v L'是一個數(可能實或虛的)
    量子力學說~如果對一個L',v滿以上方程式
    則物理系統處於v就會讓L的觀測值為L'(我們就這個方程式叫L的本徵方程式,v是屬於"本徵值" L'的本徵態向量)

    也就是說~如果我們能將所有的態向量(u)以本徵態向量(vn屬於L'n)代表

    u= c1*v1+c2*v2+.......

    L(u)的形勢就會很簡單~而且我們說~如果這些本徵向量組成的基底是互相垂直而且是單位向量
    (cn)^2就表觀測u得出L'n之機率

    大概來說~你用一些"古典"角動量的性質去找"量子"角動量算符的本徵值(這裡不拿能量算符(哈密頓算符)做例子~因為仔細思考~他將是最複雜的例子==)你會發現本徵值和整數是有關的~這粒沒辦法推給你看~可是必須提醒你~不是所有的算符都是量子化的(EX位置向量算符就不是~你可以自己用古典的性質思考看看)而且有沒有足夠的本徵象量組成"基底"的問題~對一個"物理量"可不可以觀測很重要~另外兩個物理量是否有共同的基底(技術上來說兩個可觀測量對不對易?)~直接關係到到兩個物理量可不可能同時觀測出固定值的問題(也就是含意較廣的不確定性原理,但至少我們有信心知道兩物理量觀測值標準差的不等式~)


    我對近代量子論的解釋比較數學話一點~也可能有錯~希望有人幫我補充~讓量子力學的核心能比較淺顯易懂的傳遞出去^^
    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:09:32 ]
    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:20:53 ]

    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:29:39 ]
    5:Hydrogen Dioxide(研究所)張貼:2012-06-21 00:36:58: [回應上一篇]


    這是一個很有意義且趣味的討論(對我來說啦!因為我物博一了,或許很多時下學生對物理超恐懼...), 很高興能看到你這番回應, 我剛有看了parts, 由於時間的關係只能留到明天或之後討論...

    對了其實我要問為甚麼當年費曼會說了這麼一句話: 物理方程幾乎都是線性的,只要能了解線性方程, 基本上我們已經了解這個世界的一大半了?
    6:Richtiger Mann榮譽點數29點(大學理工科系)張貼:2012-06-21 13:05:04: [回應上一篇] 轉動 能量 動能 相對論
    你問的問題其實牽涉的範圍很廣耶~
    我覺得這個問題可以從數學技巧,物理學家的世界觀或實驗上的方面來討論

    因為我對數學方面比較熟悉~所以這方面我會多講一些

    數學技巧上大家當然比較喜歡用簡單,但深刻表達物理意義的方法表達物理現象
    就拿電磁學來說~我們所使用的梯度璇度散度不就是線性的嗎?
    雖然一般化~非線性的形勢似乎比較誘人
    但想想人類最基礎的運算~不就是加法乘法嗎
    所一就算是很複雜的函數我們不是也很希望用冪級數(可以說是無窮多項的多項式,為高中生理解方便解釋一下)去逼近嗎
    所以線性不但運算方便~而且可以很簡潔的推論出很多現象(向傅立葉的能量定理(也就是任意波的總能量是個別基態波能量的總和),系統總動能為質心和轉動動能之和)
    在數學上深刻地告訴我們線性的假設是很符合(接近)大自然的

    在物理學家的哲學上,大部分的科學家都接受時空是均勻的事實(也就造就了勞倫茲轉換較簡潔的形式)就算是廣義相對論,愛因斯坦也一在地相信,在某些條件下,小區域的地方俠義相對論是對的(也就是某一總程度上來說,以前教育灌輸給我們的歐基里德幾何在這宇宙是對的,不過這段敘述甚至是一個千真萬確的數學定理,微分幾何上的定理)
    (補充一下~狹義相對倫除了光速公設,物理量(尤其是時間長度)的操作性定義,其實邏輯上時空觀念和古典是相同的)

    物理事實證的學科~雖然在邏輯上我們沒有理由相信哪一些觀念一定是對的
    但是如果實用,我們就不如戒急用忍吧
    不過線性也只不過是一種語言
    他正代表著在人的靈魂裡某種堅定地信仰(有點像幾何學第五公設被質疑前人類的想法)

    以上就是我的看法

    white 结绳与量子计算 惯性 物体抵抗动量改变的度量; 把一個物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表),

    量子力學的核心不是採用這個觀念建構起來的
    反而是把一個物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
    當成一群可以用線性方式互相表達的向量
    把觀測物理量的行為~看成是對系統的一種干擾~把它變成另一總狀態(變成誰得看這個物理量的性質和"機會")


    惯性_百度百科


    baike.baidu.com/view/198633.htm
    轉為繁體網頁
    惯性代表了物体运动状态改变的难易程度。惯性的大小只与物体的 ..... 将这定义加以定量延伸为物体抵抗动量改变的度量,就可以用来做数学计算。这度量称为惯性 ...
  • 動量- 維基百科,自由的百科全書 - Wikipedia

    zh.wikipedia.org/zh-tw/动量
    當圓球A擊中圓球B時,假若圓球A因此停住,則它的原本動量都會傳給圓球B;假若圓 ... 在物理學中,動量以小寫的p(黑體代表「p」是一個向量)表示,動量的定義如下:.
  • 高中物理教材內容討論:什麼是量子化(問題)

    www.phy.ntnu.edu.tw/demolab/phpBB/viewtopic.php?topic=25167
    2012年4月1日 - 6 篇文章 - ‎4 位作者
    對應古典的想法能量量子化也就對應動量量子化. ... 物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
  • 討論區第一版:徑動(precission)(何彥廷)

    www.phy.ntnu.edu.tw › ... › 1997/6月-2001/4月間問題討論區資料
    張貼者:何彥廷腳踏車輪胎的角動量是如何對腳踏車產生平衡作用,角動量徑動有什麼物理意義,輪胎的 ... 角動量代表物體轉動的狀態猶如動量代表物體運動的狀態
  •  


    近代物理 標題:什麼是量子化(問題)
    1:KB*30 (高中職)張貼:2012-04-01 15:31:36: 能量 量子 粒子
    在問這個問題前
    我已經尋找過許多資料但仍然沒有得到解答

    我的問題是:
    量子化是什麼?
    什麼物理量具有量子化?
    而量子化的條件又是什麼?

    之前有看到論壇上有一個題目
    問到下列選項中何者具有量子化的現象
    以我現在所學的物理
    我只知道量子化是為了解釋能量的不連續
    而將能量想成一個個的能量粒子(能量包)

    所以希望有人可以替我解答
    2:黃福坤(研究所)張貼:2012-04-02 07:22:06: [回應上一篇] 能量 動量 量子 原子
    物理的模型 都是人想出來 試圖解釋自然現象的
    量子化也是人想出來的一種模型

    十九世紀初 很多實驗結果 無法用傳統能量 連續的觀念去解釋
    提出 能量可能並非連續 而是有特定數值 (如氫原子光譜對應的能量 )
    對應古典的想法 能量量子化 也就對應動量量子化...

    一個學說或模型是否被接受 就看其是否 能解釋現有現象 能自圓其說 且能用來預測新的現象 再度被檢驗
    例如 能量若是量子化 為何早期卻被視為連續
    對應 遠看山上的草似乎是連續一片 可是近看時 卻是分開來 不連續的!
    3:Hydrogen Dioxide(研究所)張貼:2012-06-17 19:09:37: [回應上一篇] 電子

    宋朝文人雅士曾說 : 蓮花濁清漣而不妖, 可遠觀而不可褻玩焉。
    遠看物體有時候因為視覺上的積分效應而覺得物體是連續的,但是近看時卻發現有很多很多的孔洞在其中。當使用電子顯微鏡的時候又可以看到更精細的表面起伏的結構。哈哈。
    4:Richtiger Mann榮譽點數29點(大學理工科系)張貼:2012-06-20 18:26:09: [回應第1篇] 原子 能量 量子 近代物理 動量 向量 能階 ,本留言獲[]給賞金共 2 點
    我是覺得高中教材所說的量子化比較接近"舊"量子論的說法
    也就是認為某些物理量的容許出現的數值不是沒有限制
    反而用一些整數去決定的


    依據我所了解的近代物理知識
    量子力學的核心不是採用這個觀念建構起來的
    反而是把一個物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
    當成一群可以用線性方式互相表達的向量
    把觀測物理量的行為~看成是對系統的一種干擾~把它變成另一總狀態(變成誰得看這個物理量的性質和"機會")
    這裡當然沒有辦法完全告訴你~我們這些被全世界大部分科學家公認的假設
    如何解釋舊量子論的量子化(EX 氫原子的能階在這總"論說"下如何解釋)
    可是可以依稀給你一個開頭的方法(如果很數學化,那也沒辦法~因為對理論最有效率理解,單刀直入的理解常常是數學)
    所謂的對物理系統的干擾~也就是將這個表達這個物理狀態的向量(以後簡稱態向量)變成另一個態向量~

    v-------> v'
    其實也就是一種函數,想一想多項式"函數"~不就是把所有的實數~透過多項式的運算對應到另一個實數嗎? 同樣的道理對物理系統所有可能的狀態也是類似的~不過對應的規則我們單單如下表示(今天取角動量做例子,或乾脆叫他角動量算符)
    L(v)=v'
    很奇妙的是~自然界竟然希望物理算符也是線性的~
    L(u+v)=L(u)+L(v) ,L(a*v)=a*L(v)
    讓我們看看下面的方程式
    L(v)=L'*v L'是一個數(可能實或虛的)
    量子力學說~如果對一個L',v滿以上方程式
    則物理系統處於v就會讓L的觀測值為L'(我們就這個方程式叫L的本徵方程式,v是屬於"本徵值" L'的本徵態向量)

    也就是說~如果我們能將所有的態向量(u)以本徵態向量(vn屬於L'n)代表

    u= c1*v1+c2*v2+.......

    L(u)的形勢就會很簡單~而且我們說~如果這些本徵向量組成的基底是互相垂直而且是單位向量
    (cn)^2就表觀測u得出L'n之機率

    大概來說~你用一些"古典"角動量的性質去找"量子"角動量算符的本徵值(這裡不拿能量算符(哈密頓算符)做例子~因為仔細思考~他將是最複雜的例子==)你會發現本徵值和整數是有關的~這粒沒辦法推給你看~可是必須提醒你~不是所有的算符都是量子化的(EX位置向量算符就不是~你可以自己用古典的性質思考看看)而且有沒有足夠的本徵象量組成"基底"的問題~對一個"物理量"可不可以觀測很重要~另外兩個物理量是否有共同的基底(技術上來說兩個可觀測量對不對易?)~直接關係到到兩個物理量可不可能同時觀測出固定值的問題(也就是含意較廣的不確定性原理,但至少我們有信心知道兩物理量觀測值標準差的不等式~)


    我對近代量子論的解釋比較數學話一點~也可能有錯~希望有人幫我補充~讓量子力學的核心能比較淺顯易懂的傳遞出去^^
    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:09:32 ] [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:20:53 ]

    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:29:39 ]
    5:Hydrogen Dioxide(研究所)張貼:2012-06-21 00:36:58: [回應上一篇]


    這是一個很有意義且趣味的討論(對我來說啦!因為我物博一了,或許很多時下學生對物理超恐懼...), 很高興能看到你這番回應, 我剛有看了parts, 由於時間的關係只能留到明天或之後討論...

    對了其實我要問為甚麼當年費曼會說了這麼一句話: 物理方程幾乎都是線性的,只要能了解線性方程, 基本上我們已經了解這個世界的一大半了?
    6:Richtiger Mann榮譽點數29點(大學理工科系)張貼:2012-06-21 13:05:04: [回應上一篇] 動能 能量 相對論 轉動
    你問的問題其實牽涉的範圍很廣耶~
    我覺得這個問題可以從數學技巧,物理學家的世界觀或實驗上的方面來討論

    因為我對數學方面比較熟悉~所以這方面我會多講一些

    數學技巧上大家當然比較喜歡用簡單,但深刻表達物理意義的方法表達物理現象
    就拿電磁學來說~我們所使用的梯度璇度散度不就是線性的嗎?
    雖然一般化~非線性的形勢似乎比較誘人
    但想想人類最基礎的運算~不就是加法乘法嗎
    所一就算是很複雜的函數我們不是也很希望用冪級數(可以說是無窮多項的多項式,為高中生理解方便解釋一下)去逼近嗎
    所以線性不但運算方便~而且可以很簡潔的推論出很多現象(向傅立葉的能量定理(也就是任意波的總能量是個別基態波能量的總和),系統總動能為質心和轉動動能之和)
    在數學上深刻地告訴我們線性的假設是很符合(接近)大自然的

    在物理學家的哲學上,大部分的科學家都接受時空是均勻的事實(也就造就了勞倫茲轉換較簡潔的形式)就算是廣義相對論,愛因斯坦也一在地相信,在某些條件下,小區域的地方俠義相對論是對的(也就是某一總程度上來說,以前教育灌輸給我們的歐基里德幾何在這宇宙是對的,不過這段敘述甚至是一個千真萬確的數學定理,微分幾何上的定理)
    (補充一下~狹義相對倫除了光速公設,物理量(尤其是時間長度)的操作性定義,其實邏輯上時空觀念和古典是相同的)

    物理事實證的學科~雖然在邏輯上我們沒有理由相信哪一些觀念一定是對的
    但是如果實用,我們就不如戒急用忍吧
    不過線性也只不過是一種語言
    他正代表著在人的靈魂裡某種堅定地信仰(有點像幾何學第五公設被質疑前人類的想法)

    以上就是我的看法



    结绳与量子计算
    王正汉
    !美国微软研究院!
    !"#"年$月"
    !!古人结绳记事%延续祖先的思维#我们用绳
    圈来描述粒子的轨迹$记录它们的运动$进而探
    讨绳圈数学的应用%%%拓扑量子计算%
    绳圈的数学叫纽结论#是一门趣味盎然的学
    科%在此我们仅介绍新的纽结不变量%%%琼斯多
    项式!
    &'()*
    +
    ',
    -
    ('./0,
    "及其在量子计算中的应
    用%如果读者有兴趣#我们推荐姜伯驹教授的
    书&绳圈的数学%纽结论不仅是一门高深的数学
    理论#也在物理#生物和量子计算机学科中有许多
    的应用%从上世纪八十年代#量子力学的思想深
    刻地影响着拓扑学的发展#形成量子拓扑学%留
    美数学家林晓松教授!
    #123
    %
    !""3
    "对量子纽结论
    的发展作出了很多开创性的贡献%谨以此文纪念
    这位重要的拓扑学家%他所钟爱的量子纽结论正
    走出数学#成为现代科技的一个有机部分%
    上半部
    无论是系领带#还是系鞋带#我们都是在用绳
    子打结%但日常生活中的结和数学家们研究的结
    有所不同%首先数学家用来打结的不是绳子#而
    是理想化的绳子%%%曲线$其次数学家的结是一
    个绳圈的模型%%%闭路线圈#也就是说绳子要首
    尾相连%如果不是首尾相连#那么不管多么复杂
    的结都能解开#也就是说变成直线段%
    纽结论是研究理想化的结的一门数学学科#
    它是拓扑学的一个重要分支%平面上的圆代表数
    学家最简单的纽结#叫做平凡结%一个不能变成
    圆的纽结叫做非平凡结%是否存在非平凡结呢'
    只要我们用绳子做一些实验#就不难相信存在非
    平凡结#也就是死结%下面的结是最简单的非平
    凡结!左图"#叫三叶结%许多水手爱打这个结
    !右图"&
    !三叶结"
    !!如果把右边的结头尾连在一起#但不可以从
    任何地方剪断绳子#不管我们怎样做#我们都不能
    把它变成平面上的圆%尽管很直观#但要证明存
    在非平凡结却非易事#因为我们需要排除任何可
    能的解法#但可能的解法多得无法想像%我们怎
    样才能肯定所有的解法都试过了呢' 下面我们看
    看拓扑学家怎样解决这个问题的%
    !
    !纽结论
    !"!
    !纽结
    拓扑学家用曲线打结%曲线的严格数学理论
    要用到微积分%为了避免这些知识#我们将用直
    线段打结%因为光滑曲线可以看成由很短的直线
    段构成的#所以这样得到的理论跟用曲线得到的
    理论是等价的%但这个理论只用到非常初等的
    知识%
    现在我们严格定义我们的研究对象%如果有
    一些直线段#它们可以长短不一#然后一段接一段
    地把它们在空间连在一起形成一个闭线圈%如果
    构成闭线圈的任何两条直线段或者不相交或者只
    交于一个端点#我们就把这个闭线圈叫做一个几
    何纽结%比如下面的几何纽结分别代表平凡结和
    三叶结%平面上的任何一个多边形都是一个几何
    纽结%显然存在无数多的几何纽结%
    !平凡结和三叶结"
    #
    !"#"年!第$1卷!第2期!! !!!!!!数学通报




    拓扑学的一个基本特征是不关心物体的长
    短#厚薄#粗细%对拓扑学家来说#所有大大小小
    不同形状的三角形都代表同一个的纽结%%%平凡
    结%不仅如此#所有平面上的多边形都代表同一
    个纽结%如果我们是用绳子打结#这很容易理
    解%由绳子做成的三角形是很容易变成四边形#
    五边形%反过来也一样#四边形和五边形也可以变
    成三角形%尽管我们的理论将会是基于由直线段
    打成的结#但我们可以用绳子打成的结来思考%
    为了交流方便#我们引进一些名词%一个几
    何纽结上的任何一条直线段#我们都叫它是这个
    几何纽结的一条边%拓扑学家只关心纽结的所谓
    拓扑性质%像一条边有多长是不重要的%为了研
    究几何纽结的拓扑性质#我们会引进一个拓扑等
    价关系%两个拓扑等价的几何纽结将会被看成是
    同一个拓扑纽结#简称纽结%从概念上来讲#纽结
    和几何纽结是完全不同的%几何纽结是具体的#
    纽结是抽象的%
    严格的讲#一个纽结是由所有拓扑等价的几
    何纽结所形成的等价类%所以#一个纽结代表一
    个由那些拓扑等价的几何纽结形成的集合%和数
    类比#一个几何纽结像一个箱子里的苹果#而一个
    纽结是箱子里苹果的数目%我们指出一个可能引
    起的混淆&拓扑学家经常不分纽结和纽结类#提
    到纽结而实际是指纽结类%我们说的纽结严格地
    讲对应于拓扑学家的纽结类#而几何纽结对应于
    拓扑学家的纽结%
    几何纽结间的拓扑等价关系定义很复杂#这
    也是我们需要考虑直线段的原因%
    给定一个几何纽结#叫它!
    #和它的两条相
    联的边#叫它们" 和#$假设" 的末端连在# 的
    首端$用一条新线段连接" 的首端和# 的末端#
    我们叫这一条新的线段%$
    !见下图"如果%和!
    别的边都不相交!但可以和"
    #
    # 重和"#我们可
    以从! 的边中拿掉边" 和边#
    #然后加入%得
    到一个新的几何纽结#叫它!&$我们把从边"
    #
    #到边% 或者反过来从边% 到边"
    #
    #的变换叫
    做一个三角形变换$注意三角形变换的一种特殊
    情况#在一条边的内部加一个点变成两条边#或
    者反过来$如果由"
    #
    #
    #
    %所形成的三角形的内
    部和! 的除"
    #
    #以外的任何边都不相交#我们
    称这样的三角形变换为!
    '变换$两个几何纽结
    ! 和!&是拓扑等价的如果! 能通过有限次的
    !
    '变换变成!&$我们以后将拓扑等价简称为
    等价$
    !
    !
    '变换"
    如果! 是由!&通过一个三角形变换得到
    的#那么! 和!&有时是等价的#有时是不等价$
    本节开始的平凡结可以从它右边的三叶结通过一
    个三角形变换得到#但它们是不等价的$
    最简单的纽结是平凡结#它是包括所有三角
    形在内的几何纽结的等价类$实际上#平面上所
    有多边形都代表平凡结$给一个纽结#我们叫它
    的任何一个几何纽结为它的一个代表$
    思考题#
    #%证明平面上所有多边形都可以通过有限次!
    4
    变换变成一个三角形%
    !%证明所有四边形#不限于平面上#都等价于三
    角形%
    !%#
    !纽结不变量
    我们都相信存在非平凡结#但怎样证明呢'
    也就是说#存在一个几何纽结#无论一个人多么聪
    明#花多长时间#做多少!
    4变换#都不可能把这个
    几何纽结变成一个三角形' 拓扑学家的想法很简
    单#引进所谓的不变量%我们给每一个几何纽结
    一个我们熟悉的量#像一个数#或者一个多项
    式%这个量叫做不变量#如果这个量在任何!
    4变
    换下不变%即两个等价的几何纽结所得到的量是
    一样的%但不等价的纽结也有可能得到同样的量%
    定义不变量是一件很容易的事%譬如#我们
    可以给所有平凡几何结#
    #给所有别的几何纽结
    "%但这个不变量对于研究纽结来说#毫无用处%
    考虑所有纽结形成的集合#从这个集合到实数的




    任何一个映射都是一个纽结不变量%用这个想法#
    我们可以定义一个有用#但很难计算的纽结不变
    量&离散长度%给定一个纽结#把这个集合里的所
    有几何纽结的边数的最小值取出来#这是一个正
    整数%我们把这个正整数叫做这个纽结的离散长
    度%它反映出如果真的用绳子打这个结#我们至
    少需要一定长度的绳子%不难证明#平凡结的离
    散长度是5
    #而三叶结的离散长度是6%本节开始
    的五边三叶结实际上需要六条边%
    纽结论的重要问题是如何分类纽结%即给出
    一个几何纽结的集合使得在这个集合里每一个纽
    结都有而且只有一个几何纽结代表%拓扑学家希
    望能找到一个完备的纽结不变量#即一个不变量
    使得不同的纽结会有不同的不变量%如果我们有
    这样一个不变量#纽结的分类就简化成这个不变
    量的计算%存在不少的完备纽结不变量#但我们
    还没有发现完备而容易计算的不变量#或许这样
    的不变量是不存在的%
    思考题#
    #%当离散长度足够大时#我们可以得到不同的纽
    结%最小的离散长度使我们可以得到不同的
    纽结是多少' 我不知道答案%
    !%在纽结上取个方向#我们就可以定义两条相邻
    边的角度%用这些角度定义一个纽结不变量%
    !%$
    !纽结投影
    想研究纽结#我们就要有办法把所有纽结都
    画出来%拓扑学家的办法是利用纽结在平面上的
    投影%前面我们已经看到#在平面上是画不出非
    平凡结的%纽结是我们所生存的空间的一个现
    象%如果你听说过四维或更高维空间#在那里面
    同样画不出非平凡结%为了能在平面上表示出非
    平凡结#我们就必须记住纽结的一些空间性质%
    给一个几何纽结#想像在它的后面远处有一
    个屏幕%如果我们把这个几何纽结投影到这个屏
    幕上会是什么样子' 一条线段的投影是一条线段
    或是一个点#所以纽结的投影是一个由线段组成
    的闭路#但可能有很多交点&双重点#三重点等等%
    如果我们稍微移动一下后面的屏幕#我们可以做
    到这样&没有任何一条直线段被投影成一个点#而
    且只有直交的双重交点$任何其它类型的交点都
    叫奇点%没有奇点的纽结投影叫正则投影%这又
    是这样一个事实#虽然不难相信#但严格证明并
    不显然%有兴趣的同学可以自己试试%
    " !
    !奇点"
    一个正则投影的每一个双重点都是两条边投
    影的交点%这两条边一上一下!每一个双重点都
    是两个点的投影#我们把离屏幕近的那一点所在
    的那条边叫下%
    "如果我们在一个几何纽结的一个
    正则投影的每一个双重点处都记下那两条边的上
    下关系#我们就得到了一个纽结图%我们把带有
    上下信息的双重点称做交叉点%交叉点分为上交
    叉点和下交叉点&
    !交叉点"
    如果可以用曲线#通常我们会把下面那条边
    画在平面上#而上面的那条边在双重点附近画在
    平面上面%但如果只能用直线段#我们可以把上
    面那条直线段变成两条线段稍微高于平面#使得
    原来的端点的投影都在平面上%我们把这样由正
    则投影图得到的图叫纽结图%一个几何纽结和它
    的任何一个纽结图是拓扑等价的#所以在很多情
    况下#我们只需要考虑纽结图%
    !正则投影"
    一个纽结会有很多纽结图#但它们全都等价%
    给定两个纽结图#怎样决定它们是否代表同一个
    纽结呢' 原则上我们已经知道答案&只要考虑所
    有!
    4变换的正则投影%实际上这个办法却很难应
    用#因为!
    4变换中的三角形可以很大%纽结论里
    的一个著名定理把!
    4变换简化到下面三组变换#



    叫瑞德迈斯特!
    7)/8).)/*9):
    "移动7;
    #
    7;;
    #
    7;;;
    #反之亦然%
    !瑞德迈斯特移动"
    我们可以证明&
    瑞德迈斯特定理!两个纽结图( 和(&所代
    表的纽结是等价的当且仅当( 能通过有限次的
    瑞德迈斯特移动变成(&$
    由于这个定理#纽结论也可以只研究纽结图
    和它们在瑞德迈斯特移动下的等价类%以下一组
    图证明7;;;移动可以用!
    4变换实现%
    !
    %&&&与!
    '变换"
    思考题#
    #%证明只有一个或两个交叉点的纽结图总表示
    平凡结%
    !%证明所有纽结的集合是可数的#即我们可以把
    它们和正整数一一对应%
    #
    !琼斯多项式
    #1<$年#新西兰数学家琼斯!
    =%&'()*
    "发现
    了一个全新的纽结不变量#叫做琼斯多项式%琼
    斯多项式的发现引起了纽结论里的一场革命#进
    而推动了一个新的拓扑方向%%%量子拓扑的产
    生%琼斯多项式其实不是严格意义下的多项式#
    因为它的变量的次方可以是负整数和分数%
    我们首先引进一些定义和记号$假设( 是一
    个有)个交叉点的纽结图$如果给每个交叉点一
    个标号" 或#
    #我们就叫( 的一个态#记作*$给
    定( 上一个交叉点和一个标号" 或#
    #我们可
    以在这个交叉点的附近做一个手术!
    *>:
    ?
    ):
    -
    "&
    !手术"
    上图里的手术的规则是这样的&在交叉点的
    附近#从上面的边逆时针旋转到下面的边#上面
    的边会扫过两个区域!一个交叉点把平面分成四
    个区域"叫" 区#另外两个叫# 区$" 手术就是
    打通" 区#而#手术就是打通# 区$
    假设+是一个参数变量$给定( 的一个态*
    #
    那么每一个交叉点都有一个" 或#$如果是"
    #我
    们就做" 手术#如果是#
    #我们就做#手术$每一
    个手术都从纽结图中去掉一个交叉点#当所有手
    术完后#我们得到平面上的一些闭线路#这些闭
    线路的个数记作,
    !
    *
    "
    $我们用*
    !
    "
    "记态*上"
    型交叉点的个数#同样用*
    !
    #
    "记态*上# 型交叉
    点的个数$




    让#
    *
    $
    @+
    *
    !
    #
    "
    A*
    !
    "
    "
    $
    (!
    A+
    #
    !
    A+
    A
    #
    !
    "
    ,
    !
    *
    "
    $
    定义#
    (
    $
    @
    %
    #
    *
    $
    #这个和一共有!
    )
    项$我们叫#
    (
    $为( 的考夫曼!
    B%C0>DD.0(
    "
    括号%
    每个纽结图有两个方向&从图上的某点出发#
    沿纽结图朝前或后走一圈%取定纽结图( 的一个
    定向#每条边都有一个方向%我们给每个交叉点
    一个符号&正负#如下&
    !符号"
    改任何一个箭头#符号正负#互换$注意到
    如果我们取得是另一个方向#因为每个交叉点的
    两条边方向同时改变#所以这个符号是不依赖于
    纽结的方向的$
    把( 的所有交叉点的符号的和记作-
    !
    (
    "
    $
    最后定义纽结图( 的琼斯多项式
    .
    !
    (
    $
    +
    "
    @
    !
    A#
    "
    -
    !
    (
    "
    (
    +
    5-
    !
    (
    "
    $
    (
    #
    (
    $
    $
    可以证明.
    !
    (
    $
    +
    "在瑞德迈斯特移动下不
    变#所以确实是一个纽结不变量$这就是著名的
    琼斯多项式$给一个纽结!
    #它的琼斯多项式
    .
    !
    !
    $
    +
    "定义为! 的任何纽结图的琼斯多项式$
    平凡结的琼斯不变量是A+
    #
    !
    A+
    A
    #
    !
    #因为圆只
    有一个态&无交叉点#但有一个闭线路$而三叶结
    的琼斯多项式是.
    !
    +
    "
    @
    !
    +E+
    5
    A+
    $
    "!
    A+
    #
    !
    A
    +
    A
    #
    !
    "
    $所以三叶结一定是非平凡的$
    由多个不相交的纽结组成的多条曲线叫链
    环$拓扑学家除研究纽结外#也对链环感兴趣$
    琼斯多项式可以定义在链环上#但链环必须有定
    向$如果处理好定向#我们前面的所有讨论都对
    链环适用$我们把细节留给读者$给一个定向链
    环/
    #它的琼斯多项式也记作.
    !
    /
    $
    +
    "
    $
    有了链环的琼斯多项式#我们可以有一个计
    算琼斯多项式的线团!
    *F)/(
    "关系式$假设/
    E
    是一个链环图!带定向"#而0是/
    E 上的一个交
    叉点$如果我们把交叉点0的两条边上下换了#
    我们就有一个新的链环图#记作/
    A
    $我们也可
    以顺方向光滑/
    E
    #得到另一个链环图/
    "
    !见下
    图"
    $我们可以证明#这三个链环的琼斯多项式
    满足以下恒等式&
    +
    A#
    (
    .
    !
    /
    E
    $
    +
    "
    A+
    (
    .
    !
    /
    A
    $
    +
    "
    @
    !
    +
    #
    !
    A+
    A
    #
    !
    "(
    .
    !
    /
    "
    $
    +
    "
    !线团关系式"
    用线团关系式#我们可以递推得计算琼斯多
    项式$因为每一个定向链环的琼斯多项式.
    !
    /
    $
    +
    "除以A+
    #
    !
    A+
    A
    #
    ! 还是一个链环不变量#我们定
    义1
    !
    /
    $
    +
    "
    @
    .
    !
    /
    $
    +
    "
    A+
    #
    !
    A+
    A
    #
    !
    $这样平凡结的不变量
    就变成#$1
    !
    /
    $
    +
    "也叫琼斯多项式#也满足线团
    关系式$
    琼斯多项式是一个非常重要的链环不变量$
    然而从定义或线团关系式进行计算#非常复杂$
    如果一个链环有个)交叉点#那么计算它的琼斯
    多项式就需要做!
    ) 个和$学过幂指数的都知道
    指数增长的速度&据估计整个可见宇宙里的基本
    粒子数不会超过!
    !""
    $所以计算!""个交叉点的
    链环的琼斯多项式#要加的和数已经不可思议$
    但有没有别的聪明办法高效地计算链环的琼斯多
    项式呢' 数学家们相信高效的算法是不存在的$
    但是如果我们有量子计算机#我们就可以高效的
    逼近琼斯多项式的值$下半部我们看看量子计算
    机是怎样做到的$
    思考题#
    #%把每一个交叉点的上下互换#琼斯多项式怎样
    变化'
    !%改变链环的方向#琼斯多项式怎样变化'
    5%是否存在非平凡结而它的琼斯多项式和平凡
    结是一样的' 这个问题极难#我们还不知道
    答案%
    下半部
    大卫(希尔伯特!
    #<6!
    %
    #1$5
    "是伟大的德国
    数学家%#1""年他在巴黎国际数学家大会上提出
    了!5个当时未解决的数学问题%这!5个问题对
    上个世纪前半叶的数学发展产生了深远的影响



    其中的第十个问题是&给定一个多元整系数多项
    式2
    !
    3
    #
    4
    #)#
    -
    "#给出一个算法来决定2
    !
    3
    #
    4
    #
    )#
    -
    "是否有整数解%希尔伯特并没有定义什么
    是算法#而且他下意识的相信算法是存在的%
    #13"年数学家证明不存在算法可以解决这个问
    题%但早在#156年#英国数学家阿兰(图灵!
    G%
    H>:/(
    ?
    #
    #1#!
    %
    #12$
    "就发表了题为*可计算数及
    在决断问题中的应用+的文章%在这篇文章中图
    灵严格定义了算法#并证明存在数学问题是没有
    算法来求解的%图灵定义的算法被称作图灵机%
    是计算机理论奠基性的工作之一%图灵对逻辑
    学#密码学和现代计算机理论都有巨大的贡献%
    在二次世界大战中#他帮助盟军解密了德国的著
    名I(/
    ?
    .0密码机器#加快了盟军的胜利%
    学过数学的人都有算法的经验%即使一个问
    题有算法可解#也不意味着这个算法是可行的%
    理论计算机的一个重要方向就是研究高效!
    )DD/4
    J/)(9
    "的算法%比如著名的求两个正整数最大公
    因子的欧几里德算法%欧几里德算法不但简单#
    而且高效%然而另一个问题&给定一个正整数#
    找出它的素因子分解%不但至今没人能找到高效
    的算法#数学家相信高效的算法根本就不存在%
    所以很多秘密都是基于这个假设%如果某一天有
    人发现了一个高效的素因子分解办法#很多国家#
    银行和个人的秘密#包括因特网上的很多交易#
    就会被泄漏%令人惊奇的是#
    #11$年美国数学家
    肖尔!
    K%LM':
    "发现量子计算模型可以高效地进
    行素因子分解%量子计算模型是基于量子力学理
    论的计算模型%它的实现非常困难%实现量子计
    算的一种办法是基于纽结论%%%拓扑量子计算%
    怎样用纽结计算呢'
    $
    !计算模型
    每一种物理理论#都伴随着一种计算模型%
    经典物理的计算模型就是我们现在的计算机%每
    一种计算模型都可以高效的解决一类问题%因为
    量子物理包含经典物理#所以任何高效的经典算
    法都可以看成高效的量子算法%我们希望量子计
    算可以解决一些经典计算不能高效解决的问题#
    像素因子分解%虽然我们有高效的量子素因子分
    解算法#且没有高效的经典素因子分解算法#但
    我们并不能证明高效的经典素因子分解算法是不
    存在的%所以我们也就不知道量子计算是否真的
    比经典计算更高效%
    $"!
    !公开的秘密
    研究算法效率的理论叫计算复杂性$计算复
    杂性考虑我们是否能够高效地利用我们的资源来
    解决一类问题$资源可以是很多东西#比如时
    间#记忆#也可以是精确度#但我们不考虑财富$
    我们用一个例子来说明它的用处$假设两个离得
    很远的网友在网上下一盘重要的围棋#很久他们
    还没有下完#所以决定停下来以后再下#但谁都
    不想下最后一招棋#给对手时间仔细研究对策$
    假设他们不想任何别人参与#怎么办呢' 利用计
    算复杂性#我们可以有这样一个可行的办法&把
    围棋盘想像成平面坐标系#那么它的每个位置都
    可以记成一对数!
    5
    #
    )
    "#
    5 和) 在#和#1之间$
    如果5 和)是单位数#在前面加个零#这样它们
    就都是两位数$让下最后一招的那个人先想好他
    最后一招棋的位置#约定首先他自己私下找一对
    很大的素数0 和6
    #而且0 小于6
    $
    0的个位和
    十位数是5
    #而6的个位和十位数是)$然后他
    把0 和6乘起来#记作7$最后他只把答案7告诉
    他的对手$如果想知道他的最后一步棋#就得知
    道0 和6
    $如果选定0 和6在两百位数左右#那
    么用现在最好的算法和最快的超级计算机#大概
    需要几十亿年才能算出0 和6
    $如果我们有量子
    计算机#几天就可以做到$美国NLG 网站上就
    有一些数字让大家去分解#每分解上面的一个
    数#都有一笔不菲的奖金$宇宙现在的寿命估计
    也只有#$"亿年#所以在有限的时间内#知道0
    和6的机率几乎为"$当他们准备再战的时候#走
    最后一步的那个人只要告诉对手0 和6
    #就可以
    知道他的最后一步棋的位置$由于有高效的算法
    验证一个数是否是素数#而乘法更是高效的#很
    容易就知道有没有做弊$这样最后一步棋就成为
    公开的秘密$
    什么样的算法是高效的呢' 考虑欧几里德算
    法$给定两个正整数5 和)
    #我们要找出它们的
    最大公因子$假设5 大于)
    #并且)大于#$欧几
    里德算法如下&
    第一步&
    用5 除以)
    #假设商为6
    #而余数为7
    #即5
    @
    6
    )E7
    #那么"
    &
    7
    #
    )$
    如果7@"
    #停止计算#最大公因子是)$



    如果7@#
    #停止计算#最大公因子是#
    #即5
    与)互素$
    如果7大于#
    #进行下一步&
    第二步&
    分别用)和7代替第一步中的5 和)
    #重复
    上一步$
    现在我们来分析这个优美的算法$首先#这
    个算法在有限步之后一定会停止$这是因为5
    $
    )
    $
    7
    $
    ) $第二#我们一定能得到解$因为7@5
    A
    6
    )
    #
    5 和)的最大公因子也是)和7的最大公
    因子$所以每一步两个数的最大公因子就是5 和
    )的最大公因子$第三#也是最重要的#这个算法
    是高效的$我们仔细地估计一下需要重复的步数
    +$每一步都有一个余数7@7
    #
    #
    7
    !
    #)#
    7
    +
    &!
    5
    #
    )
    "
    '
    !
    )
    #
    7
    #
    "
    '
    )
    '
    !
    7
    +A#
    #
    7
    +
    "
    $注意到7
    +A#
    &
    7
    +A!
    ,
    !
    &
    )
    &
    5
    ,
    !
    +
    #因此+E#
    &
    ,'
    ?
    !
    5
    #所以至多
    ,'
    ?
    !
    5A#步以后#我们就成功地得到了答案$因
    为每步只做一次除法#
    5 和) 的最大公因子在大
    约,'
    ?
    !
    5 步除法之后一定会得到$
    给定一个关于所有正整数8 的算法#如果
    存在一个固定的正整数9
    #问题的答案能在大约
    !
    ,'
    ?
    !
    8
    "
    9 步加减乘除之后一定得到#我们就说
    这个算法是高效的$
    计算复杂性考虑的问题和平时的数学问题有
    点不同$计算复杂性的问题是一类问题#所以有
    些参数$比如在希尔伯特第十个问题里#不变量
    的个数可以任意大#任何项的系数也可以是任何
    整数$而数学问题#像费马大定理#我们只关心
    一个或一些特殊的方程$计算复杂性是想知道当
    参数趋于无穷时#我们的算法多有效$
    回到素因子分解#最直接的算法就是用!
    #
    5
    #
    )#
    8A#去除8
    #就可以找到8 的所有素因子$
    但这个算法用到大约8 次除法#所以没有效率$
    现在最好的算法大约需要#"
    5槡8 多次计算#还不是
    高效的$量子计算机怎么做到的呢'
    $"#
    !奇妙的量子世界
    量子力学和相对论是现代物理的两大支柱%
    量子力学主要描述微观世界#所以当我们试图理
    解量子力学的现象时很多时候就变得不可思议%
    量子力学最为奇妙的是线性叠加原理!
    *>
    +
    ):
    +
    '4
    */9/'(
    "#测不准原理和纠缠!
    )(90(
    ?
    ,).)(9
    "
    %线
    性叠加原理是最根本的%测不准原理保护线性叠
    加原理#所以像它的保镖#而纠缠像线性叠加原
    理的影子%下面我们通过电子的双狭缝!
    8'>O,)
    A*,/9
    "实验看看线性叠加原理%
    在大家的日常生活中#用到很多电器%这些
    电器工作原理大多和电子有关%电子恐怕是大家
    最为熟悉的基本粒子%电子在#<13年由英国物
    理学家汤姆森!
    &%&%HM'.*'(
    "发现#从而推翻
    了原子不可再分%因为电子是个基本粒子#我们
    把它想像成一个无限小的点#运动起来像台球一
    样%然而双狭缝实验证明#这个模型很不完备&
    电子有时像粒子#有时又像水波#可以越过障碍
    产生干涉%电子的双狭缝干涉实验在!""!年被
    物理世界网站评为有史以来最漂亮的物理实验%
    连伽里略开创近代实验科学方法的比萨斜塔实验
    也只能排在第二位%
    想像有一支电子枪#向一个屏幕一个一个发
    射电子%屏幕上有两个狭缝%在屏幕的后面有个
    电子感应屏%当电子穿过狭缝#到达感应屏时#
    感应屏会记下电子到达的位置#并发出响声%响
    声的高低和电子的电荷成正比%而且每次发射电
    子#都是在已经听到前一个电子已经到达之后%
    如果电子是像个小台球#那么电子就应该都落在
    狭缝附近%如果只开一个狭缝#电子到达感应屏
    的分布是中间图的两个分布%这和电子是粒子相
    符合&大多数电子落在狭缝后面%如果没有干涉#
    两个狭缝都开时#电子的分布应该是最右边的图%
    !单狭缝"
    然而看到的却是下面的分布&
    !干涉分布"
    3
    !"#"年!第$1卷!第2期!! !!!!!!数学通报



    这个分布和光的干涉实验是一模一样的%大
    多数电子落在两个狭缝中间墙的后面%难道电子
    到达感应屏时变成波了吗' 实验证明并非如此%
    电子到达感应屏时总是落在一个点上#而且响声
    都是一样大%所以电子是做为一个整粒子到达感
    应屏的%对这个实验的许许多多的解释最终都没
    站住脚%最为合理的解释来自量子力学%
    量子力学的解释是基于线性叠加原理$电子
    可以从狭缝#穿过到达感应屏#也可以从狭缝!
    穿过到达感应屏$但电子的实际运动即非单从狭
    缝#过#也非单从狭缝!过#而是这两种可能的
    线性叠加$假设我们把电子从狭缝#过叫做状态
    (
    #
    $
    #而把电子从狭缝!过叫做状态(
    !
    $
    #那么
    每个电子的状态就被由"(
    #
    $
    E
    #
    (
    !
    $来描述#
    这里"和
    #
    是两个不同时为"的复数$
    "(
    #
    $
    E
    #
    (
    !
    $叫做状态(
    #
    $ 和状态(
    !
    $的线性叠加$描
    述状态(
    #
    $和(
    !
    $是波函数$它们绝对值的平方
    给出上面的单狭缝的分布$
    如果在狭缝#或狭缝!的地方放上一个仪器
    来测量电子是否从这个狭缝穿过#干涉就被破
    坏#而出现上面的单狭缝粒子分布$也就是说测
    量破坏了叠加$
    把叠加原理用到微观世界之外产生很多不可
    思议的现象#是非常有争议的$比如著名薛定谔
    猫状态&猫的生与死的叠加$但在微观世界里#
    无数的实验证明了线性叠加原理的正确性$
    $"$
    !肖尔算法
    肖尔是怎样用量子力学的原理高效地分解素
    因子呢' 我们先在量子世界里做一个在经典世界
    里不可能的简单事情$假如我们想在四样东西里
    找一样我们知道的东西$在经典世界里#如果没
    有任何别的信息#要保证每次去找总能#"": 成
    功#这样得看三样东西才行$在量子世界里#我
    们可以一次找到$
    首先我们可以准备四样东西的线性叠加(
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -
    $虽然我们不知道要找的东西
    是哪个#但如果我们见到它#我们是认识的$用
    量子世界的语言#如果我们要找的东西是第;个#
    ;@#
    #
    !
    #
    5
    #
    $
    #那么一个叫<
    ;的变换可以作用到
    状态(
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -上$
    <
    ; 作用在状态(
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -上#就会在(
    ;
    -前面加一个负
    号$比如<
    #
    !
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -"
    @A
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -
    $在量子世界里#看一次就是用一
    次<
    ;
    $
    从量子世界的状态(
    "
    $到我们经典世界的
    状态#我们需要测量在量子态(
    "
    $时的某个物理
    量$量子力学是这样描述测量的&每一个可测的物
    理量=
    #像能量#位置#都有一组完备的状态
    (
    >
    ?
    $
    $
    (
    >
    ?
    $完备的意思是每一个状态(
    "
    $都可
    以写成(
    >
    ?
    $的线性叠加#即(
    "
    $
    @
    %
    ?
    "
    ?
    (
    >
    ?
    $
    #
    而且
    %
    ?
    ("
    ?
    (
    !
    @#$测量之后#我们并不知道从
    (
    "
    $会到那个态#但一定是(
    >
    ?
    $里面的一个#而
    它发生的概率是在(
    "
    $展开里#它前面那个系数
    "
    ? 绝对值的平方#即("
    ?
    (
    !
    $因为需要测量#量子
    算法都是概率算法$
    现在我们可以一次找到我们想找的东西$找
    一个完备状态是.
    A
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -#
    (
    #
    -
    A
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -#
    (
    #
    -
    E
    (
    !
    -
    A
    (
    5
    -
    E
    (
    $
    -#
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    A
    (
    $
    -/的可测物理量=$先把四样东西
    放在线性叠加态里(
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -$然后
    看一次(
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -#即用<
    ; 作用在(
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -上$看完后#东西的状态是<
    ;
    !
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -"
    $随后我们测量=
    #因为
    <
    ;
    !
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -"就是.
    A
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -#
    (
    #
    -
    A
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -#
    (
    #
    -
    E
    (
    !
    -
    A
    (
    5
    -
    E
    (
    $
    -#
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    A
    (
    $
    -/中的一个#
    <
    ;
    !
    (
    #
    -
    E
    (
    !
    -
    E
    (
    5
    -
    E
    (
    $
    -"写成它们线性叠加时#三个系
    数是"
    #一个系数为#$所以测量时看到它的概率
    是#""P
    #而我们只用了一次<
    ;
    $
    肖尔算法非常复杂#我们只简单讲一下它的
    步骤$假设8 是个正整数#我们想知道8 的所
    有素因子$首先我们用已知的高效经典算法判定
    8 是否是个素数的幂次$如果是#停$如果不是#
    随便找一个与8 互素但不太大的正整数3$因为
    判定8 与3 是否互素的欧几里德算法是高效的#
    3是很容易找的$然后找一个正整数;使得3
    ;
    @
    #.'88$现在没有高效的经典算法找到这样的
    ;
    #但肖尔找到了一个量子算法#可以找到这样
    的;$如果有了这样的;而且又是偶数#那么!
    3
    ;
    !
    E#
    "!
    3
    ;
    !
    A#
    "
    @".'88 $如果;是奇数#再找
    一个3重新来过$所以!
    3
    ;
    !
    E#
    "或!
    3
    ;
    !
    A#
    "和8
    就有公因子$用欧几里德算法找到它们的最大公


    因子$如果是#
    #再找一个3重新来过$如果大
    于#
    #就找到了8 的一个因子$可以证明这样高
    效地找到8 的所有素因子的概率可以任意接近
    #""P%肖尔算法有时会失败#但我们不需要知
    道每一个秘密$
    量子计算机不但可以高效地作素因子分解#
    更重要的应用在于模拟量子系统%通过模拟#我
    们可以更深刻了解量子世界%这样会给材料学0
    化学从而医学带来革命性的进步%量子计算机这
    么有用#为什么我们到现在还没有呢' 量子计算机
    的建造非常困难#因为线性叠加很脆弱%对量子系
    统的任何操作都可能引起相退干!
    8)J'M):)(J)
    "
    %
    (
    !拓扑量子计算
    科学家最近想用一种奇异准粒子!
    Q
    >0*/4
    +
    0:9/J,)
    "%%%非交换任意子来建造拓扑量子计算
    机%在拓扑量子计算中#任意子世界线形成的辨
    子就是计算过程%我们还不知道是否存在非交换
    任意子#但如果存在#这样的量子计算机会非常
    稳定#那么量子计算的时代就会早日到来%
    ("!
    !基本粒子和准粒子
    在阿尔卑斯山脉以北法国和瑞士交界的地
    方#一百多米的地下埋着一个直径四米左右#周长
    二十七公里的大型强子对撞机!
    BRS
    "
    %经过十
    几年的建造#上百亿美元的成本#一百多个国家
    上万名科学家的努力#大型强子对撞机终于开始
    运行%两束质子流被加快到接近于光速的速度进
    行了对撞!光速约每秒三十万公里#质子的最高速
    度最终将会达到每秒仅低于光速约几分米%
    "如果
    粒子标准模型的预言准确#大型强子对撞机一切
    运转正常#在不久的将来#每过几个小时#一个
    希格斯玻色子!
    R/
    ??
    *O'*'(
    "会产生%这种被称
    作上帝粒子!
    T'8
    +
    0:9/J,)
    "的发现#将为粒子标
    准模型划上完美的句号#也是还原论!
    :)8>J9/'(
    "
    的辉煌胜利%
    希格斯玻色子是一种预言的基本粒子%什么
    是基本粒子' 即使希格斯玻色子被发现#这个问
    题的探索也不会终止%我们把基本粒子看做是没
    有内部结构#不能再分的物理状态%而所有别的
    状态都是由它们构成的%基本粒子是真空的一种
    激发态%什么是真空' 什么是激发态!
    )UJ/904
    9/'(
    "' 真空是我们想像的一种什么都没有的特
    殊物理系统%物理系统的最低能量态叫基态%不
    是基态的叫激发态%激发态中最低的不可再分的
    态叫元激发态!
    ),).)(90:
    -
    )UJ/909/'(
    "
    %基本粒
    子是真空的元激发态%然而#在真空中#并非什么
    都不发生%和任何物理系统一样#真空也有量子
    涨落%演生!
    ).):
    ?
    )(J)
    "论者认为真空并没有天
    生的特权%很多别的物理系统也非常特殊#所以
    这些物理系统的元激发态同样有权利被叫做粒
    子%为了和基本粒子区别#我们称它们为准粒
    子%随着物理的发展#基本粒子和准粒子的区别
    也就越来越模糊%所以演生论者认为准粒子和基
    本粒子同样重要#而且可能它们原理是一样的%
    从现在起#我们提到的粒子时可能是基本粒子也
    可能是准粒子%
    ("#
    !粒子的轨迹
    考察平面上的两个粒子" 和#$假设" 和#
    都在实轴上#坐标分别为!
    #
    #
    "
    "和!
    A#
    #
    "
    "#并在
    单位圆上以单位弧速度逆时针方向转动$经过时
    间+以后#
    " 和# 的位置分别是&
    "
    &!
    J'*!
    #
    +
    #
    */(!
    #
    +
    "#
    #
    &!
    AJ'*!
    #
    +
    #
    A*/(!
    #
    +
    "
    $粒子在时
    空的轨迹叫粒子的世界线!
    V':,8,/()
    "
    %下面中
    间的图就是" 和# 的世界线$最右边的是世界
    线在!
    +
    #
    3
    "平面的投影$
    !世界线"
    更一般考虑平面上的多个粒子$为了方便#
    假设它们全在实轴上$随着时间的流逝#这几个
    粒子在平面上运动#但互相不能碰撞$经过一段
    时间后做为一个集合它们回到了原先的位置上
    去$那么它们的世界线就形成了一个辫子$当#
    #
    !
    #
    5
    #
    $按下面的左图的运动时#它们世界线形成
    右图的辫子$
    !辨子"
    1
    !"#"年!第$1卷!第2期!! !!!!!!数学通报



    太陽所發出來的光譜,主要在可見光範圍。雖然用寬頻的可見光波段(白光)
    觀測太陽,太陽是一個相當穩定且安靜的恆星。可是當我們用特殊的可見光波
    段,例如氫-阿法( Hα )光譜,或是一些特殊的紫外光波段,觀測太陽,就會
    發現,太陽表面的電漿氣體運動,其實非常活躍,會不斷地發生大小不同的噴
    發,就像一個正在沸騰的粥或岩漿,不斷的有氣泡浮出表面,向外噴出物質。
    這些噴發的活動,跟黑子的週期一樣,呈現11年的週期。也就是說,在太陽黑
    子極小期的時候,太陽表面大型噴發的發生機率較小。而太陽黑子極大期的時
    候,太陽表面大型噴發的發生機率較大。也就是說,太陽表面大型的噴發,不
    一定只發生在太陽黑子極大期,其實根據歷史上的統計,太陽表面大型的噴
    發,常常發生在太陽黑子極大期“之前”與“之後”的幾年。也就是說,如果
    太陽表面大型的噴發會造成地面上的災害,我們不能只有在太陽活動極大期的
    那一年,才關心太空天氣,而是應該隨時監視太陽表面的活動,並在太陽表面
    發生大型噴發後,隨即進入警戒。
    依照歷史的記錄,過去半個世紀,太陽活動的極大期依序為西元1958年、1969
    年、1980年、1991年、2002年,所以下一個太陽活動極大期,估計會發生在西
    元 2013年。而歷史上幾個重要太陽表面噴發並對地面上或太空中的活動造成影
    響的事件,卻是分別發生在西元1859年9月2日、西元1989年3月9-13日、西元
    1994年1月20日、西元1997年1月7日、西元1972年8月7日、西元2002年4月21
    日。(相關的太空天氣事件,詳見以下網頁的說明
    http://www.ss.ncu.edu.tw/~lyu/lecture_files/2011Spring/lyu_Space&Ocean_Notes/2011_0407_SpaceWeather.pdf
    我們可以很清楚的看出來,這些事件中,除了西元1859年與西元2002年屬於太
    陽活動極大期之外,其他事件,都不是發生在太陽活動極大期的年度。
    過去半個世紀以來,我們人類已經由痛苦的經驗與教訓中,逐步了解問題所
    在,也設法找出一些預防或減低太陽表面巨大噴發所造成的惡劣太空天氣對我
    們生活的影響。來信中所提到的電力中斷問題,發生原因是因為高空中電離層
    中的電流強度,如果突然增強許多,則地表會產生很強的感應電動勢,讓流經
    變壓器的電流增強許多,於是導致變壓器與發電機因電流超載而毀損。只是根
    據歷史上的記錄,電離層中的電流強度增強最多的地區,主要位在中高緯地
    區。這就好像颱風主要發生在中低緯地區一樣,都有其物理原因。這裡就不再
    贅述。科學家現在知道,可以藉著重新規劃電力輸運的網路系統,將地球磁暴
    可能造成的電力中斷損失,減到最低。在台灣,閃電過程,產生的感應電動
    勢,讓流經變壓器的電流超載而毀損變壓器的機會,遠大於磁暴造成變壓器毀
    損的機會。事實上,根據科學家對電離層中電流的了解,我們幾乎可以不必擔
    心台灣的電力,會受到磁暴的影響而受損。除了“緯度低”這個緣故之外,台
    灣是一個“南北走向”的島嶼,而磁暴所造成的感應電動勢,多為東西走向,
    因此對大陸、美國、俄國、加拿大等東西幅員廣闊的國家,磁暴對電力系統的
    影響通常比對台灣來得大。除非他們重新規劃他們的輸電系統,否則問題無法
    獲得改善。事實上,就我所知,這也是最近幾年,這些國家的相關部門所努力
    設法改進的方向之一。

    角動量代表物體轉動的狀態猶如 動量代表物體運動的狀態; 为物体抵抗动量改变的度量,就可以用来做数学计算。这度量称为惯性

    惯性_百度百科

    baike.baidu.com/view/198633.htm
    轉為繁體網頁
    惯性代表了物体运动状态改变的难易程度。惯性的大小只与物体的 ..... 将这定义加以定量延伸为物体抵抗动量改变的度量,就可以用来做数学计算。这度量称为惯性 ...
  • 動量- 維基百科,自由的百科全書 - Wikipedia

    zh.wikipedia.org/zh-tw/动量
    當圓球A擊中圓球B時,假若圓球A因此停住,則它的原本動量都會傳給圓球B;假若圓 ... 在物理學中,動量以小寫的p(黑體代表「p」是一個向量)表示,動量的定義如下:.
  • 高中物理教材內容討論:什麼是量子化(問題)

    www.phy.ntnu.edu.tw/demolab/phpBB/viewtopic.php?topic=25167
    2012年4月1日 - 6 篇文章 - ‎4 位作者
    對應古典的想法能量量子化也就對應動量量子化. ... 物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
  • 討論區第一版:徑動(precission)(何彥廷)

    www.phy.ntnu.edu.tw › ... › 1997/6月-2001/4月間問題討論區資料
    張貼者:何彥廷腳踏車輪胎的角動量是如何對腳踏車產生平衡作用,角動量徑動有什麼物理意義,輪胎的 ... 角動量代表物體轉動的狀態猶如動量代表物體運動的狀態。

  • 張貼者:何彥廷
    腳踏車輪胎的角動量是如何對腳踏車產生平衡作用,角動量徑動有什麼物理
    意義,輪胎的轉動速度和角度在什麼條件下才不足以維持腳踏車的平衡
    2:fkhwang榮譽點數12點 (高中職)張貼:1998-12-08 12:33:00: [回應上一篇]
    張貼者:黃福坤
    : 腳踏車輪胎的角動量是如何對腳踏車產生平衡作用,
    角動量代表物體轉動的狀態猶如 動量代表物體運動的狀態。
    運動狀態的改變需要外力,相同的外力施於不同動量物體上,動量較大者 相對變化量較小。
    同樣 角動量較大者,維持原有 轉動狀態的慣性較強,較不易傾倒。
    但無法產生平衡作用!(平衡是否表示 用遠都不會傾倒!)

    :角動量徑動有什麼物理意義
    打陀螺時便可看出徑動現象,其意義在於你如何使用它 解釋觀察到的結果。

    :,輪胎的轉動速度和角度在什麼條件下才不足以維持腳踏車的平衡

    如果你談的是 繞圓周轉圈 似乎需加上 摩擦力(提供向心力),由力平衡可導出你所需要的條件。
    若是行進方向不變,則早晚會倒下去!

    真正騎腳踏車時,人也會隨時改變質心位置 以維持系統平衡。



    近代物理 標題:什麼是量子化(問題)
    1:KB*30 (高中職)張貼:2012-04-01 15:31:36: 能量 量子 粒子
    在問這個問題前
    我已經尋找過許多資料但仍然沒有得到解答

    我的問題是:
    量子化是什麼?
    什麼物理量具有量子化?
    而量子化的條件又是什麼?

    之前有看到論壇上有一個題目
    問到下列選項中何者具有量子化的現象
    以我現在所學的物理
    我只知道量子化是為了解釋能量的不連續
    而將能量想成一個個的能量粒子(能量包)

    所以希望有人可以替我解答
    2:黃福坤(研究所)張貼:2012-04-02 07:22:06: [回應上一篇] 能量 動量 量子 原子
    物理的模型 都是人想出來 試圖解釋自然現象的
    量子化也是人想出來的一種模型

    十九世紀初 很多實驗結果 無法用傳統能量 連續的觀念去解釋
    提出 能量可能並非連續 而是有特定數值 (如氫原子光譜對應的能量 )
    對應古典的想法 能量量子化 也就對應動量量子化...

    一個學說或模型是否被接受 就看其是否 能解釋現有現象 能自圓其說 且能用來預測新的現象 再度被檢驗
    例如 能量若是量子化 為何早期卻被視為連續
    對應 遠看山上的草似乎是連續一片 可是近看時 卻是分開來 不連續的!


    3:Hydrogen Dioxide(研究所)張貼:2012-06-17 19:09:37: [回應上一篇] 電子

    宋朝文人雅士曾說 : 蓮花濁清漣而不妖, 可遠觀而不可褻玩焉。
    遠看物體有時候因為視覺上的積分效應而覺得物體是連續的,但是近看時卻發現有很多很多的孔洞在其中。當使用電子顯微鏡的時候又可以看到更精細的表面起伏的結構。哈哈。

    4:Richtiger Mann榮譽點數29點(大學理工科系)張貼:2012-06-20 18:26:09: [回應第1篇] 原子 能量 量子 近代物理 動量 向量 能階 ,本留言獲[]給賞金共 2 點
    我是覺得高中教材所說的量子化比較接近"舊"量子論的說法
    也就是認為某些物理量的容許出現的數值不是沒有限制
    反而用一些整數去決定的


    依據我所了解的近代物理知識
    量子力學的核心不是採用這個觀念建構起來的
    反而是把一個物理系統的所有可能狀態(以前我們比較喜歡用系統所處的時間,擁有的總力學能,總動量代表)
    當成一群可以用線性方式互相表達的向量
    把觀測物理量的行為~看成是對系統的一種干擾~把它變成另一總狀態(變成誰得看這個物理量的性質和"機會")
    這裡當然沒有辦法完全告訴你~我們這些被全世界大部分科學家公認的假設
    如何解釋舊量子論的量子化(EX 氫原子的能階在這總"論說"下如何解釋)
    可是可以依稀給你一個開頭的方法(如果很數學化,那也沒辦法~因為對理論最有效率理解,單刀直入的理解常常是數學)
    所謂的對物理系統的干擾~也就是將這個表達這個物理狀態的向量(以後簡稱態向量)變成另一個態向量~

    v-------> v'
    其實也就是一種函數,想一想多項式"函數"~不就是把所有的實數~透過多項式的運算對應到另一個實數嗎? 同樣的道理對物理系統所有可能的狀態也是類似的~不過對應的規則我們單單如下表示(今天取角動量做例子,或乾脆叫他角動量算符)
    L(v)=v'
    很奇妙的是~自然界竟然希望物理算符也是線性的~
    L(u+v)=L(u)+L(v) ,L(a*v)=a*L(v)
    讓我們看看下面的方程式
    L(v)=L'*v L'是一個數(可能實或虛的)
    量子力學說~如果對一個L',v滿以上方程式
    則物理系統處於v就會讓L的觀測值為L'(我們就這個方程式叫L的本徵方程式,v是屬於"本徵值" L'的本徵態向量)

    也就是說~如果我們能將所有的態向量(u)以本徵態向量(vn屬於L'n)代表

    u= c1*v1+c2*v2+.......

    L(u)的形勢就會很簡單~而且我們說~如果這些本徵向量組成的基底是互相垂直而且是單位向量
    (cn)^2就表觀測u得出L'n之機率

    大概來說~你用一些"古典"角動量的性質去找"量子"角動量算符的本徵值(這裡不拿能量算符(哈密頓算符)做例子~因為仔細思考~他將是最複雜的例子==)你會發現本徵值和整數是有關的~這粒沒辦法推給你看~可是必須提醒你~不是所有的算符都是量子化的(EX位置向量算符就不是~你可以自己用古典的性質思考看看)而且有沒有足夠的本徵象量組成"基底"的問題~對一個"物理量"可不可以觀測很重要~另外兩個物理量是否有共同的基底(技術上來說兩個可觀測量對不對易?)~直接關係到到兩個物理量可不可能同時觀測出固定值的問題(也就是含意較廣的不確定性原理,但至少我們有信心知道兩物理量觀測值標準差的不等式~)


    我對近代量子論的解釋比較數學話一點~也可能有錯~希望有人幫我補充~讓量子力學的核心能比較淺顯易懂的傳遞出去^^
    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:09:32 ]
    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:20:53 ]

    [ 這篇文章被編輯過: Richtiger Mann 在 2012-06-20 19:29:39 ]
    5:Hydrogen Dioxide(研究所)張貼:2012-06-21 00:36:58: [回應上一篇]


    這是一個很有意義且趣味的討論(對我來說啦!因為我物博一了,或許很多時下學生對物理超恐懼...), 很高興能看到你這番回應, 我剛有看了parts, 由於時間的關係只能留到明天或之後討論...

    對了其實我要問為甚麼當年費曼會說了這麼一句話: 物理方程幾乎都是線性的,只要能了解線性方程, 基本上我們已經了解這個世界的一大半了?
    6:Richtiger Mann榮譽點數29點(大學理工科系)張貼:2012-06-21 13:05:04: [回應上一篇] 動能 能量 相對論 轉動
    你問的問題其實牽涉的範圍很廣耶~
    我覺得這個問題可以從數學技巧,物理學家的世界觀或實驗上的方面來討論

    因為我對數學方面比較熟悉~所以這方面我會多講一些

    數學技巧上大家當然比較喜歡用簡單,但深刻表達物理意義的方法表達物理現象
    就拿電磁學來說~我們所使用的梯度璇度散度不就是線性的嗎?
    雖然一般化~非線性的形勢似乎比較誘人
    但想想人類最基礎的運算~不就是加法乘法嗎
    所一就算是很複雜的函數我們不是也很希望用冪級數(可以說是無窮多項的多項式,為高中生理解方便解釋一下)去逼近嗎
    所以線性不但運算方便~而且可以很簡潔的推論出很多現象(向傅立葉的能量定理(也就是任意波的總能量是個別基態波能量的總和),系統總動能為質心和轉動動能之和)
    在數學上深刻地告訴我們線性的假設是很符合(接近)大自然的

    在物理學家的哲學上,大部分的科學家都接受時空是均勻的事實(也就造就了勞倫茲轉換較簡潔的形式)就算是廣義相對論,愛因斯坦也一在地相信,在某些條件下,小區域的地方俠義相對論是對的(也就是某一總程度上來說,以前教育灌輸給我們的歐基里德幾何在這宇宙是對的,不過這段敘述甚至是一個千真萬確的數學定理,微分幾何上的定理)
    (補充一下~狹義相對倫除了光速公設,物理量(尤其是時間長度)的操作性定義,其實邏輯上時空觀念和古典是相同的)

    物理事實證的學科~雖然在邏輯上我們沒有理由相信哪一些觀念一定是對的
    但是如果實用,我們就不如戒急用忍吧
    不過線性也只不過是一種語言
    他正代表著在人的靈魂裡某種堅定地信仰(有點像幾何學第五公設被質疑前人類的想法)

    以上就是我的看法