撰文 | 維爾切克
翻譯 | 丁亦兵、喬從豐、 李學(xué)潛、沈彭年、任德龍
來源：中科院高能所
本文是2004年諾貝爾獎得主、著名理論物理學(xué)家維爾切克（F. Wilczeck）所著的高級科普著作《奇妙的現(xiàn)實》（Fantastic Realities）中的部分章節(jié)。由于各種原因，這些章節(jié)在譯著出版時被刪除了。但其內(nèi)容于普及和深化理解現(xiàn)代物理卻是非常重要的?！冬F(xiàn)代物理知識》得到了原作者的首肯，從舍棄的章節(jié)中挑選了部分章節(jié)翻譯發(fā)表?，F(xiàn)在刊登的這一部分，專門討論了量子場論的發(fā)生與發(fā)展。可稱之為量子場論通俗入門。
狄拉克
4 最深刻的含義：量子場論
狄拉克的空穴理論是絕頂聰明的，但大自然更為深刻。盡管空穴理論是內(nèi)部自洽的，并且可以有廣泛的應(yīng)用，但有幾個重要因素迫使我們?nèi)コ剿?/p>
第一，有一些沒有自旋的粒子，它們不遵從狄拉克方程，但它們有反粒子。這不是偶然的，正如我剛才討論的，反粒子的存在是量子力學(xué)和狹義相對論相結(jié)合的普遍結(jié)果。具體地講，例如帶正電的π+介子（1947年發(fā)現(xiàn)）或W+玻色子（1983年發(fā)現(xiàn)）在基本粒子物理中都是非常重要的角色，它們確實有反粒子π-和W-。但是我們不能用狄拉克空穴理論來理解這些反粒子，因為π+和W+粒子不遵從泡利不相容原理。因此不能把它們的反粒子解釋為由負(fù)能解填充的海中的空穴。如果存在負(fù)能解，則無論它們滿足什么方程②，一個粒子對這種態(tài)的占據(jù)不會阻礙其他粒子進(jìn)入同一個態(tài)。這樣一來，必須用一個不同方式來避免到負(fù)能態(tài)的災(zāi)難性躍遷，而這種躍遷在電子的狄拉克空穴理論中是被阻止的。
第二，存在一些電子數(shù)與正電子數(shù)之差改變的過程。一個例子是一個中子衰變成一個質(zhì)子、一個電子和一個反中微子。在空穴理論中，一個負(fù)能電子被激發(fā)到一個正能態(tài)被解釋為一對正電子-電子對的產(chǎn)生，而一個正能電子退激發(fā)到一個未被占有的負(fù)能態(tài)被解釋為一對電子-正電子對的湮滅。無論在哪種情況下，確實電子數(shù)與正電子數(shù)之差都不變?？昭ɡ碚摬荒苋菁{這個差值的改變。所以，自然界中有一些確實很重要的過程，甚至那些明確地涉及電子的過程，很難與狄拉克空穴理論相符合。
第三，也是最后一個原因返回到我們最初的討論。我們正期待著破缺那些重要的二重性，即光/物質(zhì)和連續(xù)/分立。相對論和量子力學(xué)分別使我們接近成功，而隱含自旋的狄拉克方程使我們離成功更近。但迄今為止我們還沒有到達(dá)那里。光子是轉(zhuǎn)瞬即逝的，電子……作為實驗事實，它們也是轉(zhuǎn)瞬即逝的，這一點我剛剛提到過，但我們還沒有把這個特征充分地納入我們的理論討論之中。在空穴理論中，電子能夠產(chǎn)生和湮滅，但僅當(dāng)同時有正電子湮滅和產(chǎn)生時。這里沒有太多的意味著無希望的矛盾。它們暗示，應(yīng)該有一些空穴理論的替代理論，它適用于物質(zhì)的各種形式，并把粒子的產(chǎn)生和消滅作為基本的現(xiàn)象處理。
具有諷刺意味的是，在早些時候狄拉克自己已經(jīng)構(gòu)建了這樣一個理論的雛形。1927年，他把新量子力學(xué)原理應(yīng)用到經(jīng)典電動力學(xué)的麥克斯韋方程。他展示，愛因斯坦的光以粒子——光子——形式出現(xiàn)的這個革命性假設(shè)就是這些原理邏輯應(yīng)用的結(jié)果，并且光子的性質(zhì)可以被正確地解釋。有一些常見的觀測結(jié)果，諸如光可由非光產(chǎn)生，比如使用一個手電筒；或被吸收和湮滅，比如被一只黑貓。但翻譯成光子的語言之后，這意味著麥克斯韋方程的量子理論是一個產(chǎn)生和湮滅粒子（光子）的理論。確實，在電磁學(xué)的狄拉克量子理論中，電磁場首先是作為產(chǎn)生和消滅的媒介物而出現(xiàn)的。光子作為這種場的激發(fā)而產(chǎn)生，這是基本的東西。光子出現(xiàn)和消失，但場持續(xù)存在。這個發(fā)展的全部意義在一段時間內(nèi)似乎沒有引起狄拉克和所有他同時代科學(xué)家的注意，也許恰好是因為光的明顯的特殊性（二重性?。?。但它是個普遍的結(jié)構(gòu)，也可以應(yīng)用到那些出現(xiàn)于狄拉克方程——電子場——中的客體。
將量子力學(xué)原理邏輯應(yīng)用于狄拉克方程得到的結(jié)果是一個類似于他在麥克斯韋方程中所發(fā)現(xiàn)的那種客體。它是一個消滅電子，產(chǎn)生正電子的客體。二者都是量子場的例子。當(dāng)把出現(xiàn)在狄拉克方程中的那個客體解釋為一個量子場時，負(fù)能解呈現(xiàn)出不再有困難的完全不同的含義。正能解乘以電子的湮滅算符，而負(fù)能解乘以正電子的產(chǎn)生算符。在這個框架中，兩類解的區(qū)別是，負(fù)能表示產(chǎn)生一個正電子所需要借入的能量，而正能是消滅一個電子所獲得的能量。在這里，負(fù)數(shù)的可能性并不比你銀行的存款更出乎意料。
隨著量子場論的發(fā)展，最終得到了狄拉克方程和空穴理論已經(jīng)顯示的但沒有全部完成的那些機遇。光和物質(zhì)的描述終于被放在了一個平等的地位上。狄拉克認(rèn)為可以理解并滿意地說，隨著量子電動力學(xué)的出現(xiàn)，物理學(xué)家已經(jīng)得到了足以描述“所有的化學(xué)，和絕大部分物理”的方程。
1932年，恩里科·費米通過把量子場論概念應(yīng)用到遠(yuǎn)離它們起源的地方，構(gòu)建了一種成功的、包括前面提到過的中子衰變在內(nèi)的輻射衰變（β衰變）理論。因為這些過程牽涉到質(zhì)子——典型的“穩(wěn)定”物質(zhì)——的產(chǎn)生和消滅，古老的二重性終于被超越了。粒子和光都是衍生客體，是更深刻、更持久的真實事物，即量子場的表面表現(xiàn)形式。這些場充滿了所有空間，在這種意義下它們都是連續(xù)的。但它們產(chǎn)生的激發(fā)，無論我們把它們看作是物質(zhì)的粒子還是光的粒子，都是分立的。
在空穴理論中我們有一個充滿了負(fù)能電子的海的真空圖像。量子場論中的圖像是非常不同的。但決不是回歸到單純。真空的新圖像甚至與樸素的“空的空間”有天壤之別。量子不確定性與產(chǎn)生和消滅過程的可能性結(jié)合在一起，意味著充滿了活力的真空。粒子和反粒子對飛快地產(chǎn)生和消失。我曾寫過一首關(guān)于虛粒子的十四行詩，現(xiàn)把它抄錄如下：
當(dāng)心那看似無物的真空，
盡管你已盡全力將它清理干凈。
總有一群肆無忌憚的家伙，隨意克隆，
超出你的想象，在那里不知疲倦地騷動。
它們瞬息而至，隨處舞動身影，
無論觸及何物，總有疑團(tuán)重重：
我在這里干什么？何物應(yīng)被看重？
這些想法常使快速衰變關(guān)聯(lián)而生。
不必?fù)?dān)心！這個術(shù)語正把你引入迷津。
衰變不過是虛粒子繁衍生命，
這種隨意的騷動引起壯觀的反應(yīng)，
那些克隆的交換，成為束縛參與者的纜繩。
是還是不是？盡管選擇似已明確，哈姆雷特卻還猶疑不定，
這些家伙也有同樣的毛病。
5 余 波
隨著量子場論的創(chuàng)始，我們關(guān)于狄拉克方程的討論達(dá)到了一個固有知識的邊界。到了20世紀(jì)30年代中期，這個方程引起的緊迫的悖論已經(jīng)被解決了，它最初的承諾也已完全實現(xiàn)。狄拉克獲得1933年諾貝爾獎，安德森獲得1935年諾貝爾獎。
后來的幾年里，對量子場論的理解加深了，它的應(yīng)用也被擴展了。用它，物理學(xué)家構(gòu)建了（在驚人的嚴(yán)謹(jǐn)和毋庸置疑的程度上確立了）代表著可預(yù)知未來的——也許是永遠(yuǎn)——有效的物質(zhì)理論。關(guān)于這是如何發(fā)生的，以及這個理論的本質(zhì)，是涉及許多其他思想的史詩般的故事，在那里狄拉克方程同樣起著重要的但非主導(dǎo)的作用。但是后來的一些發(fā)展與我們主題的聯(lián)系是如此的密切，它們自身又是如此的漂亮，故值得在此一提。
還有另一層含義，即量子場論的創(chuàng)立標(biāo)志了一個自然的邊界。它是狄拉克本人未能跨越的極限。就像愛因斯坦一樣，狄拉克在晚年走了一條分離的路。他不注意其他物理學(xué)家的大部分工作，并對其余的工作也持有異議。在以他的工作開始的驚人的發(fā)展中，狄拉克本人的參與不是主要的。
QED（量子電動力學(xué)）和磁矩 與無時不在的量子場論的動力學(xué)真空相互作用修改了觀測到的粒子的特性。我們看不到假設(shè)的“裸”的粒子的特性，相反地看到的是那些由于與動力學(xué)真空中的量子漲落相互作用而“穿上了衣服”的物理粒子。
特別是，物理電子不是裸電子，它不完全滿足狄拉克的g=2。1947年珀利卡·庫什作了非常精確的測量，發(fā)現(xiàn)g比2大一個1.00119的因子。定量地講，這不是一個很大的修正，但它對理論物理卻是一個巨大促進(jìn)，因為它提出了一個非常具體的挑戰(zhàn)。當(dāng)時基礎(chǔ)物理中有如此多未能了結(jié)的問題——過多的、意料外的、新發(fā)現(xiàn)的粒子，包括m子、p介子和其他一些粒子，沒有令人滿意的理論能夠解釋是什么力把原子核結(jié)合在一起，不完整的、未消化的輻射衰變的結(jié)果，高能宇宙射線的反常等等——以至于很難知道應(yīng)該集中精力于什么地方。事實上存在一個有關(guān)策略的基本哲學(xué)的沖突。
大多數(shù)年長的一代，量子理論的奠基者，包括愛因斯坦、薛定諤、玻爾、海森堡、泡利，準(zhǔn)備了另一次革命。他們認(rèn)為花費時間設(shè)法進(jìn)行更精確的量子電動力學(xué)計算是徒勞的，因為這個理論肯定是不完善的，并且可能是錯的。它無法改變下述事實：要求得到精確結(jié)果的計算是很困難的，并且似乎給出的答案是無意義（無限大）的。所以老一代大師一直在尋求一種不同類型的理論，不幸的是沒有清晰的方向。有諷刺意味的是，正是新一代的理論家——施溫格、費曼、戴森和日本的朝永振一郎——扮演了保守的角色。他們發(fā)現(xiàn)了一種更精確計算的方法，并得到了有意義的有限結(jié)果，而無需改變基礎(chǔ)理論。事實上，他們所用的理論剛好就是狄拉克在二十世紀(jì)的二三十年代構(gòu)建的理論。由施溫格所作的包括了動力學(xué)真空效應(yīng)的劃時代計算結(jié)果是對狄拉克的g=2的一個微小的修正。它也發(fā)表于1947年，并且與庫什同年的測量驚人地吻合。許多其他的重大成果接踵而來。庫什獲得1955年諾貝爾獎；施溫格、費曼和朝永振一郎共同獲得1965年諾貝爾獎（這一延遲是難以理解的！）。
奇怪的是，狄拉克不接受這種新的做法。在早期，當(dāng)使用的數(shù)學(xué)方法是陌生的和粗略的并且包含了一定量的受靈感啟示的猜測時，也許謹(jǐn)慎是有道理的。不過技術(shù)性的困難適時地被克服了。
費曼把QED稱為“物理學(xué)的寶石——我們最驕傲的財富?！钡?951年狄拉克寫道“近來蘭姆、施溫格和費曼以及其他人的工作是成功的……但是得到的理論是一個難看的和不完整的理論?！痹谒?984年后續(xù)的文章中又寫道“這些重整化規(guī)則給出的結(jié)果與實驗驚人地吻合，所以絕大多數(shù)物理學(xué)家都說這些使用的規(guī)則是正確的。我認(rèn)為這不是一個充分的理由。正是因為結(jié)果碰巧與實驗符合，所以并不能證明這個理論是正確的。”
你也許會注意到年輕的狄拉克和上了年紀(jì)的他在口氣上存在著一定的差異，年輕的狄拉克像藤壺一樣附著在他的方程上，因為它解釋了實驗的結(jié)果。
今天實驗測定的電子的磁矩是（g/2）實驗= 1.00 159 652 188 4(43)，而嚴(yán)格基于QED計算到高精度的理論預(yù)言是（g/2）理論=1.00 159 652 187 9(43)。其中最后兩位數(shù)字的不確定性已標(biāo)出。這是在最錯綜復(fù)雜的——但卻是精確定義的！——理論計算與所有科學(xué)中最精細(xì)的——但卻是精確控制的！——實驗之間的最難的、最精確的對比。這就是費曼所說的“我們最驕傲的財富”的含義。
電子磁矩及其同類粒子μ子磁矩更精確的測定仍是實驗物理的一個重要的前沿。在現(xiàn)在可以達(dá)到的精度下，由于假定的新的重粒子——特別是由超對稱所預(yù)言的那些重粒子，結(jié)果將敏感于量子漲落的效應(yīng)。QCD和物質(zhì)的理論 質(zhì)子的磁矩不滿足狄拉克的g=2，而是g≈5.6。對于中子，情況更糟。中子是電中性的，所以中子的簡單的狄拉克方程預(yù)言中子不存在磁矩。事實上，中子具有一個大約為2/3質(zhì)子磁矩大小的磁矩，取向與自旋相反。由于中子是電中性的，那意味著一個無限大的g。這些磁矩值的不相符是質(zhì)子和中子比電子更復(fù)雜的最早的跡象。
隨著進(jìn)一步的研究，更多的復(fù)雜現(xiàn)象出現(xiàn)了。人們發(fā)現(xiàn)質(zhì)子和中子之間的力非常復(fù)雜。令人困惑地，它們不僅依賴于粒子之間的距離，而且還依賴于它們的速度、自旋的方向以及所有這些因素的混合。事實上人們不久就明白了，它們根本不是傳統(tǒng)意義上的“力”。質(zhì)子之間具有一個傳統(tǒng)意義上的力意味著一個質(zhì)子的運動會受到另一個質(zhì)子存在的影響，以至用另外一個質(zhì)子入射到一個質(zhì)子時，這個質(zhì)子會轉(zhuǎn)向。實際觀測到的是，當(dāng)一個質(zhì)子撞擊另一個質(zhì)子時，通常會出現(xiàn)許多粒子，其中大部分是極不穩(wěn)定的。有π介子、K介子、ρ介子、Λ和Σ重子以及它們的反粒子等很多的粒子。所有這些粒子間有很強的相互作用著。因此核力的問題，一個從20世紀(jì)30年代開始的物理學(xué)前沿，變成了理解一個粒子及反應(yīng)的廣闊的新世界的問題，即自然界中最強有力的東西。甚至術(shù)語也改變了。物理學(xué)家不再提及核力，而是提及強相互作用了。
現(xiàn)在我們知道，強相互作用所有的復(fù)雜性，在一個基礎(chǔ)的層面上，可由一個稱之為量子色動力學(xué)（QCD）的理論來描述，這個理論是QED的一大推廣。QCD的基本組元是夸克和膠子。有六種不同類型（“味道”）的夸克：u、d、s、c、b、t（上、下、奇異、粲、底、頂）。夸克彼此很相似，主要區(qū)別是它們的質(zhì)量。只有最輕的夸克u和d，可在普通物質(zhì)中找到。同QED的基本組元類比，夸克大體上扮演的是電子的角色，而膠子大體上扮演的是光子的角色。一個很大的不同是QED只有一種荷，一種光子，而QCD有三種荷，稱之為色，和八種膠子。與光子對電荷的響應(yīng)類似，一些膠子對色荷有響應(yīng)。另外一些膠子媒介于一種色荷到另一種色荷之間的躍遷。這樣，（比如說）一個帶藍(lán)色荷的u夸克可以放出一個膠子變成帶綠色荷的u夸克。因為總體上所有色荷必須守恒，所以這個特殊的膠子必須帶有+1單位的藍(lán)色荷和?1單位的綠色荷。由于膠子本身帶有未被抵消的色荷，QCD中存在著膠子輻射出其他膠子的基本過程。在QED中沒有類似的過程。光子是電中性的，直至非常好的近似，它們也不會與別的光子發(fā)生相互作用。QCD絕大部分的豐富性和復(fù)雜都是由這個新的特征引起的。沒有建立在概念和現(xiàn)象的基礎(chǔ)上，而只是如此直截了當(dāng)?shù)淖置嫔系拿枋?，這似乎使QCD顯得既隨意又荒誕。不幸的是，在這里我不能恰當(dāng)?shù)靥幚硭膶ΨQ性和數(shù)學(xué)的優(yōu)美。但一些扼要的解釋已就緒……我們怎樣得到這樣的一個理論？我們?nèi)绾沃浪钦_的？在QCD的情形下，這是兩個非常不同的問題。通向這個發(fā)現(xiàn)的歷史途徑是曲折的，充滿了許多歧途和死胡同。但回想起來，沒有必要那樣做。假如合適類型的超高能加速器早些運轉(zhuǎn)的話，QCD早就會面對我們了。這種想象的歷史把我在這篇文章中討論過的大部分想法匯集在一起，形成了一個恰當(dāng)?shù)奈锢聿糠值慕Y(jié)論。
如果電子和正電子被加速到超高能然后使它們對撞，可以觀測到兩類事例。一類事例的末態(tài)粒子為輕子和光子。對于這類事例，通常末態(tài)只是一個輕子和它的反輕子；但在約1%的事例中還有一個光子，還有約0.01%的事例中有兩個光子。這種事例的幾率及具有不同能量的粒子從不同角度出射的幾率都可以用QED計算，并且所有算出來的結(jié)果都很好。反之，如果你不了解QED，僅靠研究這些事例，你就已經(jīng)能夠辨認(rèn)出QED基本相互作用——即一個電子放出一個光子——的基本規(guī)則。光和物質(zhì)的基本相互作用就展現(xiàn)在你的面前了。在另一類事例中，你會看到非常不同的東西。不同于只有兩個或最多幾個粒子飛出，而是有很多粒子產(chǎn)生，并且它們是不同種類的粒子。你在這第二類事例中看到的粒子是諸如π介子、K介子、質(zhì)子、中子，和它們的反粒子——所有這些粒子，與光子和輕子不同，都具有強相互作用。這些粒子的角分布具有特殊的結(jié)構(gòu)。它們不是獨立地向四面八方飛出。而是只在少數(shù)的幾個方向出現(xiàn)，形成很窄的噴射或（它們經(jīng)常被稱作為的）“噴注”。大約90%的時間只有兩個沿相反方向的噴注；大致9%的時間有三個噴注，0.9%的時間有四個噴注——你可以猜出這個模式。
現(xiàn)在，如果你瞧上一眼，不去識別單獨的粒子，只追蹤能量動量流，那么這兩類事例——QED的“粒子”事例和攜帶著強相互作用的粒子的“噴注”事例——看起來是一樣的！
所以（在這個想象的歷史中）人們很難抵制這樣的誘惑，即把噴注都當(dāng)成粒子一樣，直接類比適用于QED的步驟，對那些攜帶不同數(shù)量、不同角度、不同能量噴注粒子的不同輻射模式的可能性提出一些規(guī)則。這種作法很成功，因為這些十分類似于QED中的那些規(guī)則，事實上確實描述了觀測到的現(xiàn)象。當(dāng)然，所用的規(guī)則精確地就是QCD的規(guī)則，包括膠子輻射膠子的一些新過程。所有這些規(guī)則——整個理論的基本元素——可以直接從數(shù)據(jù)中推導(dǎo)出來。就噴注而言，“夸克”和“膠子”將是具有直接和精確可操作定義的詞匯。
至此為止，還有兩個大的概念性的疑難。為什么實驗展示了“夸克”和“膠子”而不直接是夸克和膠子——即是噴注而不直接是粒子？怎樣把直接成功地描述了高能事例的理論概念與所有的其他強相互作用現(xiàn)象聯(lián)系起來呢？在假想的基礎(chǔ)理論和平凡的觀測之間的聯(lián)系，至少可以說，并不明顯。例如，你打算用在這種基礎(chǔ)理論中出現(xiàn)的“夸克”和“膠子”來構(gòu)成質(zhì)子。但這看起來是沒有希望的，因為用來可操作地定義“夸克”和“膠子”的噴注經(jīng)常在別的一些粒子之外還含有質(zhì)子。
這些問題有一個漂亮的答案。這就是QCD中的漸進(jìn)自由現(xiàn)象。根據(jù)漸進(jìn)自由，涉及能量和動量流大幅改變的輻射事例是稀有的，而僅涉及能量和動量微小變化的輻射事例是非常普遍的。漸進(jìn)自由不是一個分離的假設(shè)，而是QCD結(jié)構(gòu)的一個深刻的數(shù)學(xué)結(jié)果。
漸進(jìn)自由干干凈凈地解釋了為什么在高能電子- 正電子湮滅時含有強相互作用粒子的那類事例中會產(chǎn)生噴注。在電子和正電子湮滅后的霎那，馬上就會有一個夸克和一個反夸克出現(xiàn)。它們沿相反的方向快速運動。它們很快放出膠子，膠子本身又放出膠子，發(fā)展起了一個復(fù)雜的帶有許多粒子的簇射。但是，任憑所有的這些騷動，總體的能量和動量流沒有受到明顯的干擾。根據(jù)漸進(jìn)自由，擾動能動量流的輻射是稀有的。所以有大量的多重粒子都沿相同方向運動，這個方向是由夸克和反夸克初始標(biāo)定的?？偠灾?，我們已經(jīng)產(chǎn)生了噴注。當(dāng)其中的一個干擾能動量流的稀有事例發(fā)生時，放出的膠子也產(chǎn)生一個自身的噴注。于是我們就有了一個三噴注事例，等等。
漸進(jìn)自由還顯示出為什么對那些我們實際觀測到的單獨穩(wěn)定的或準(zhǔn)穩(wěn)定的實體，如質(zhì)子（和其他強相互作用粒子）的描述都是復(fù)雜的物體。對這種粒子，或多或少就定義而言，夸克、反夸克和膠子的組態(tài)是那些具有合理穩(wěn)定程度的組合體。但是，因為夸克、反夸克和膠子都有很高的輻射幾率，沒有簡單的組態(tài)會有這種性質(zhì)。唯一可能的穩(wěn)定性涉及動力學(xué)平衡，在那里系統(tǒng)某一部分發(fā)出的輻射會在其他部分被吸收而平衡掉。
正如實際所發(fā)生的，漸進(jìn)自由是從理論上發(fā)現(xiàn)的（由大衛(wèi)·格羅斯和我，及獨立地由大衛(wèi)·波利策），并且基于很少的直接證據(jù)，QCD作為強相互作用的理論于1973年被提出（由格羅斯和我）。噴注的存在被預(yù)期到，它們的性質(zhì)在實驗觀測之前已相當(dāng)詳細(xì)地被理論所預(yù)言。基于這些實驗以及很多其他的實驗，如今，QCD已被接受為強相互作用的基本理論，與QED作為電磁相互作用的描述相媲美。
用QCD描寫質(zhì)子、中子和其他強相互作用粒子的性質(zhì)也有了巨大的進(jìn)展。這雖然包含了使用高效的計算機進(jìn)行的要求非常高的數(shù)值計算，但結(jié)果是值得的。它的一個亮點是我們可以在沒有重要自由參數(shù)的情況下，從第一原理出發(fā)來計算質(zhì)子和中子的質(zhì)量。正如我已經(jīng)說明的，從最基本的觀點來看，這些粒子是夸克、反夸克、膠子的非常復(fù)雜的動力學(xué)平衡物。它們絕大部分的質(zhì)量——并因此也是物質(zhì)的絕大部分質(zhì)量，包括人類的大腦和身體——起源于按照m=E/c2運動的這些粒子的純能量,而它們自身基本上是沒有質(zhì)量的。至少在這個層次上，我們都是輕飄飄的生物。
狄拉克說過，QED描寫了“絕大部分的物理和全部的化學(xué)”。確實，它是原子（和更多的）外部結(jié)構(gòu)的基本理論。在相同的意義下，QCD是原子核（和更多）的基本理論。合在一起，它們組成了一個非常完整的、得到很好檢驗的、富有成果的、實惠的物質(zhì)理論。
6 推理的創(chuàng)新力
現(xiàn)在我已經(jīng)較為詳細(xì)地討論了“方程游戲”如何將狄拉克引導(dǎo)到一個方程，這個方程充滿了他不曾預(yù)料到且以多種方式抵制的、但被證實是正確且極富成果的結(jié)果。怎么會發(fā)生這樣的事呢？數(shù)學(xué)真的會有創(chuàng)新力嗎？真的能夠通過邏輯處理或計算達(dá)到全新的見解——產(chǎn)出多于投入嗎？
如今這個問題特別及時，因為它處于關(guān)于機器智能特性的爭論核心——它是否可以發(fā)展成一種與人類智慧相媲美的智力，甚至它的終極的極品。
乍一看，反對的論點迫不及待地出現(xiàn)了。
最強有力的論點，至少心理上地來自于反思。仔細(xì)考慮我們自己的思維過程，我們不能回避一個不可動搖的直覺，這個直覺不是專門地甚至主要地包含基于規(guī)則的符號處理。確實沒有感到是那種方式。我們通常用圖像和感情思維，而不只是符號。我們的意識流持續(xù)地被與外界的相互作用及內(nèi)部的驅(qū)動刺激和重定向，其方式完全不像在效仿數(shù)學(xué)算法的展開。
另一論據(jù)來自我們用現(xiàn)代數(shù)字計算機得到的經(jīng)歷，因為在一定意義上這些是理想的數(shù)學(xué)家。它們以遠(yuǎn)超過人類可能的嚴(yán)格、速度和無錯率，遵循著精確的規(guī)則（公理）。在許多專業(yè)化的、基本的數(shù)學(xué)任務(wù)中，例如為得到最大利潤安排航空公司的航班計劃或油料配送時間表，它們遠(yuǎn)遠(yuǎn)超過了人類的作為。然而通常，合理的標(biāo)準(zhǔn)、甚至是最強大的現(xiàn)代計算機依然是脆弱的、有限的，并且真是十足愚蠢的。一個微不足道的程序錯誤、幾行病毒碼或者一個存儲缺陷都可使一臺強大的的計算機死機，或使它無法控制地自我毀滅。通訊需要嚴(yán)格控制的格式，不支持任何豐富的自然語言?；闹嚨妮敵隹赡芮医?jīng)常未被檢測到和未被引起注意而出現(xiàn)。
然而，經(jīng)過更嚴(yán)密的審視，這些論點引發(fā)了問題和懷疑。盡管從神經(jīng)細(xì)胞電信號的模式到人類思維過程映射的本質(zhì)，在很多方面仍是非常神秘的，但人們也了解到不少東西，特別是關(guān)于感覺處理的早期階段的東西。至今已發(fā)現(xiàn)的東西都不能說明任何比遵從嚴(yán)格確立的物理定律的電和化學(xué)信號更為奇異的東西被包含了進(jìn)來。作為一個有效的假設(shè)，從電信號的模式到思維模式的映射必須并且確實存在，已被絕大多數(shù)的科學(xué)家接受。射到我們的視網(wǎng)膜上的光子的模式被拆解，然后解析為基本單位，饋送到一系列令人眼花繚亂的不同的通道，進(jìn)行處理，然后（以某種方式）重組起來，給我們一個好像簡單的“世界的圖像”，再組合為空間中物體，我們很容易把這些看作是理所當(dāng)然的。事實是我們一點也不知道我們是如何完成絕大部分我們所做的事情，甚至——也許特別是——我們最基本的頭腦的技能。人們曾試圖造出這樣的機器，它們可以識別圖畫中的物體，或像蹣跚學(xué)步的小孩一樣四處走動并探知世界，但這些人非?；倚氖M管他們自己可以很容易地做這些事情。他們不可能教給別人他們是如何做這些事情的，因為他們自己也不知道。所以似乎很清楚，反思對思維的深層次結(jié)構(gòu)是一個不可靠的指導(dǎo)，無論是關(guān)于已知的還是未知的。
再轉(zhuǎn)到用計算機的經(jīng)驗，任何消極的判斷肯定都為時尚早，因為它們在飛速進(jìn)化。一個近來的基準(zhǔn)是深藍(lán)計算機在一場短賽中戰(zhàn)勝了偉大的世界象棋冠軍加里·卡斯帕諾夫。如果由人類來做這種表演，任何有判斷力的人都會反對把這個水平上的比賽評價為極富創(chuàng)造性的成就。然而，這種在有限范疇內(nèi)的成功愈加使問題尖銳化：哪些阻礙純計算創(chuàng)新力在廣闊的領(lǐng)域出現(xiàn)的東西丟失了？在思考這個艱巨的問題時，我相信個案的研究對我們會有幫助。
在現(xiàn)代物理中，也許在整個智力發(fā)展的歷史中，沒有一個事件能比狄拉克方程的歷史更好說明極大的數(shù)學(xué)推理的創(chuàng)新本質(zhì)。事后，我們知道狄拉克想做的是絕對不可能的。1928年時人們所理解的量子力學(xué)規(guī)則與狹義相對論不相容。然而就是從這些不相容的假設(shè)，狄拉克導(dǎo)出了一個方程，它至今仍是物理學(xué)的一塊基石。
這樣，我們在這里展示了一個具體的、有意義的并且有文獻(xiàn)記載的例子，它介紹了如何對物理世界進(jìn)行數(shù)學(xué)推理，并終極于一個具體方程，導(dǎo)致了令思考者自己都大吃一驚的結(jié)果。表面上看它違反了一些守恒定律，得到的遠(yuǎn)多于投入的。這樣的一個跳躍怎么可能呢？特別是為什么狄拉克達(dá)到了這一點？當(dāng)方程把他們引入迷茫時，是什么使狄拉克和他同時代的科學(xué)家堅持墨守于他的方程呢？
深刻的見解來自狄拉克自己的兩段話。在他一篇典型的短文“我作為一名物理學(xué)家的生活”中，他特別贊賞他作為一個工程師所受訓(xùn)練的價值，包括：“工程課程非常強烈地影響了我……我學(xué)會了，在描述自然時，必須容忍近似，甚至帶有近似地做工作可能是很有趣的，并且有時是優(yōu)美的?！毖剡@條路，狄拉克（以及其他一些人）早期對他的方程的信任使他沒有考慮方程的明顯缺陷，其原因之一就是他可以找到與氫原子光譜的實驗室數(shù)據(jù)符合得極其出色的方程的近似解。在他最早的論文中，他愿意在不談解決的情況下提及困難，即存在數(shù)學(xué)上顯然同樣有效的其他解，但沒有合理的物理解釋。
沿著表面上看似乎非常不同的路線，狄拉克經(jīng)常贊賞數(shù)學(xué)美的啟發(fā)能力：
“科研工作者，在他致力于用數(shù)學(xué)形式來描述自然的基本定律時，應(yīng)該主要力求數(shù)學(xué)的美。”
這是早期對狄拉克方程信任的另一個源泉。它曾是（如今也是）異乎尋常的優(yōu)美。
不幸的是，很難使其精確，并且?guī)缀醪豢赡軅鬟_(dá)給非專業(yè)的讀者數(shù)學(xué)美的本質(zhì)。但我們可與其他類型的美做一些類比。能使一段音樂、一部小說或一出戲劇出色的一個特征是，重要的、充分發(fā)展了的主題間的緊張氣氛的積累，然后再以令人驚訝和令人信服的方式解決掉。能使一處建筑工程或一座雕塑漂亮的一個特征是對稱——比例的平衡，有價值的錯綜復(fù)雜。狄拉克方程在最大程度上同時擁有了這兩個特征。回憶一下，狄拉克曾試圖調(diào)和電子的量子力學(xué)和狹義相對論?？梢钥吹皆诤唵涡院拖鄬φ撓嗷_突的要求間的矛盾是如何被協(xié)調(diào)的，并且發(fā)現(xiàn)基本上只有一個辦法能做到，這是相當(dāng)漂亮的。那是狄拉克方程數(shù)學(xué)美的一個方面。另一方面，它的對稱和平衡，幾乎是感官享受?？臻g和時間、能量和動量，以平等地位出現(xiàn)。系統(tǒng)方程組中不同的項必須按相對論的音樂編舞，0和1（以及i）的模式就在你的眼前跳舞。
當(dāng)物理的需要導(dǎo)致數(shù)學(xué)美，或——在少見的并具魔力的時刻——當(dāng)數(shù)學(xué)要求導(dǎo)致物理的真理時，各條路線匯聚到了一起。狄拉克曾尋找過一個滿足物理動機的假設(shè)的方程。他發(fā)現(xiàn)要做到這一點實際上需要一個含有四個組分的方程系統(tǒng)。這太令人驚奇了。最好是具有兩個組分，因為它們清楚地代表著電子自旋的兩個可能方向。而額外的雙重組分開始時并沒有任何令人信服的物理解釋。確實，它們削弱了方程的假定意義。但方程已經(jīng)呈現(xiàn)出它自己的生命，超越了誕生它的想法，很快正如我們所看到的，這兩個額外的組分就被認(rèn)為是預(yù)示著具有自旋的正電子。
隨著這個匯合，我認(rèn)為在得到狄拉克方程時，我們抵達(dá)了狄拉克方法的核心，這與在得到麥克斯韋方程時抵達(dá)了麥克斯韋方法的核心，在得到愛因斯坦方程時抵達(dá)了廣義相對論和狹義相對論的方法的核心是一樣的。它們通過實驗邏輯進(jìn)行。那個概念只是一種表面上的矛盾描述。在實驗邏輯中，人們用方程表述假設(shè)，并且用這些方程去做實驗。這就是說，人們試圖從美和自洽性的觀點改進(jìn)方程，然后檢驗“改進(jìn)后”的方程是否闡明了自然界的一些特征。數(shù)學(xué)家認(rèn)識到這種“反證法”的技巧：要證明A，你可以假設(shè)A的反面，從而得到一個矛盾。實驗邏輯是“成果確認(rèn)法”：要證明A成立，先假定它成立，然后展示它將導(dǎo)致豐碩的結(jié)果。相對于常規(guī)的演繹邏輯，實驗邏輯遵從耶穌信條,“請求寬恕比求得允許更受保佑”。確實，如我們已經(jīng)看到的，實驗邏輯不把不自洽看作是一個不可挽救的災(zāi)難。如果一種研究路線取得某些成功，而且富有成果，它就不應(yīng)當(dāng)因為不自洽或具有近似的本質(zhì)而被擯棄。相反，我們應(yīng)該尋求一種方法，使它成為正確的。
記住這些，讓我們回到數(shù)學(xué)推理的創(chuàng)造性這個問題。前面我說過現(xiàn)代數(shù)字計算機在一定意義上是理想的數(shù)學(xué)家。在任何合理的、精確公理化的數(shù)學(xué)領(lǐng)域，我們知道怎樣給計算機編程序，這樣它便能系統(tǒng)地證明所有有效的定理。這種現(xiàn)代機器可通過它的程序而高速計算，輸出有效的定理，它比任何人類的數(shù)學(xué)家所能做到的都快得多，可靠得多。但運行這樣的程序作高深的數(shù)學(xué)，不會比安排一群眾所周知的猴子去打字，和希望再產(chǎn)生莎士比亞更好。你將會得到許多正確的定理，但基本上它們都是平庸的，而同時有一些寶石毫無希望地埋在了垃圾當(dāng)中。在實際中，如果你精讀數(shù)學(xué)或數(shù)學(xué)物理期刊，不談及文學(xué)雜志，你不會發(fā)現(xiàn)太多用計算機提交的工作。試圖教計算機做“真正的”創(chuàng)造性的數(shù)學(xué)，如同試圖教它們識別真實物體或巡游真實世界，已經(jīng)有了有限成功?，F(xiàn)在我們看到這些都是密切相關(guān)的問題。創(chuàng)造性的數(shù)學(xué)和物理依賴的不是完美的邏輯，而是一種實驗邏輯。實驗邏輯包括辨認(rèn)模式、與它們游戲、提出一些假設(shè)去解釋它們，并且——特別是——識別出美。而創(chuàng)造性物理需要得更多：有感知和撫育世界上的模式的能力，并且不僅評價邏輯的自洽性，還評價（近似?。┧^測到的世界的保真性。
那么，回到中心問題：純數(shù)學(xué)推理能夠創(chuàng)新嗎？這毫無疑問，如果采用狄拉克的方式，與容忍近似，識別美，及通過與真實世界的相互作用進(jìn)行學(xué)習(xí)這樣的能力相呼應(yīng)，這些因素的每一個都在所有的物理進(jìn)展的重要進(jìn)程中扮演了角色。把那些在具體機制中的能力建立在牢固的基礎(chǔ)上，作為一種挑戰(zhàn)，問題就回來了。（全文完）
