14.1 費曼與多伊奇:用量子模擬量子#
一九八一年五月的麻省理工學院,一場名為「物理與計算:十年展望與偉大挑戰」的會議悄然舉行。這場會議日後被史家稱為「第一屆物理與計算會議」(First Conference on Physics and Computation),組織者是 IBM 的班尼特(Charles Bennett)與 MIT 的電腦科學家們。會議原本的意圖相當務實:探討計算的物理極限——晶片還能縮小多少、馮紐曼架構還能支撐多久。誰也沒料到,真正改寫未來的一句话,來自一位自認「我不是電腦科學家」的物理學家。
理查.費曼(Richard Feynman)當時六十出頭,已因加州理工學院的教學風範與早年對量子電動力學的貢獻而名滿天下。他的性格是出了名的「不合群」:拒絕儀式、嘲笑官僚、凡事偏要從第一原理自己推導一遍。會議上他站在黑板前,畫出一張張位元格,然後突然轉向聽眾,拋出一個看似天真的問題:「自然在什麼層次上可以模擬?」接著他說出了那句被後世反覆引用的話:「如果你要模擬自然,最好把自然所使用的量子力學也放進模擬機器裡。我不是在打啞謎——如果你想模擬一個量子系統,你需要一台量子系統。」這就是「用量子模擬量子」的誕生時刻。
費曼的洞察有多麼刁鑽,要從計算機科學的困境說起。一個由 n 個位元組成的古典系統,其狀態空間只有 \(2^n\) 個可能性,可以用 n 個數字一一枚舉;但一個 n 個量子位元的系統,其狀態向量存在 \(2^n\) 維的 Hilbert 空間中,要描述它的演化,必須在這個指數增長的空間裡做線性代數。電子化學家早已領教:模擬一個中等的分子,即使在超級電腦上也是癡人說夢——因為 Hilbert 空間的維度隨粒子數指數爆炸。費曼公開點出這一點,並反轉了方向:與其硬用古典機器硬算,不如讓硬體本身服從薛丁格方程演化。計算不必是資料的搬運,而可以是物理的演化。這樣的「量子模擬機」在當時純屬推測,費曼也在論文中坦承,要實現它必須克服退相干、雜訊與操作精度這三道深淵。
會後的風吹到英格蘭。牛津大學的年輕理論物理學家大衛.多伊奇(David Deutsch)聽過這段故事的轉述,深受震動。多伊奇是個典型的「孤狼」天才:說話語速極快、慣以跳躍式的格言表達思想、對「解釋」(explanation)一詞懷有近乎宗教的執著。他深受艾弗雷特(Hugh Everett)多世界詮釋的吸引——那是連玻爾都視為哲學附屬品的學說,多伊奇卻把當作物理事實。一九八五年,他發表了論文〈量子理論、丘奇—圖靈原理與通用量子計算機〉,這是量子計算的真正「憲法性文件」。
多伊奇做了兩件費曼沒做的事。第一,他把費曼隨口提及的「量子模擬機」,節約成一個可嚴格定義的模型:量子圖靈機(quantum Turing machine)。第二,他提出了一個延伸的丘奇—圖靈命題——「每一個物理上可實現的有限過程,都能在通用量子計算機上模擬」——把資訊理論與物理學焊接在一起:計算的定義終於不再綁定於任何一種特定的物理裝置,而是投射到量子世界的普遍規律之上。多伊奇曾自述他思考的出發點,是一個近乎好玩的問題:能否設計一台讓他旅行到別的多世界、與另一個版本的自己下棋的機器?這個多世界的圖像,成了他推導量子可逆演算的動力。多伊奇後來寫道:「量子計算機的威力來自它是一台在多個世界之間平行運作的機器。」
一九九二年,多伊奇與另一位英國人 Richard Jozsa 聯手給出第一個示範性地比古典更快的演算法(Deutsch–Jozsa 演算法)——雖然它只判斷一個函數是常數還是平衡,看似無用,卻首次證明了「量子干涉能在演算法上造出古典機器不可企及的加速」。一九八九年多伊奇又在牛津成立了「量子計算研究中心」,把商機與理論交鋒串成長期議題。此時的局面變得有趣:一個隨性、曼哈頓計畫遺風的物理學家提出問題;一個多世界信仰者把它提升成完備的計算模型;而這一子一母,都是純粹的概念建構,不依賴任何特定的新材料或新技術。
一九九〇年代,另一個具有工程意識的社群也聚了起來:Bennett 與加拿大的 Gilles Brassard 開闢了量子密碼學;Kitaev、Seth Lloyd 等人陸續入場,社群迅速從思想實驗走向工程議題。但真正的突破還要等一位年輕應用數學家——那就是下一節的主角 Shor。
回頭看,一九八一年到一九八五年這四年,是量子計算「成長為學科」的臨界期。費曼的會議提供了堤壩上的第一句宣言,多伊奇則提供了可使用的建築藍圖。兩位主角性格迥異:費曼憑藉物理直覺,玩世不恭地拆解問題;多伊奇則像個形上學工程師,沉溺於解釋的本體論。但結局殊途同歸:計算從此不再是數學家的抽象玩具,而是物理學的一支——資訊的存儲與操作,終究服從量子力學的規則。整個二十一世紀的量子科技,都站在這一磚一瓦之上。多伊奇的名言值得在此重申:「所有可能的解釋中,最簡單的那一個,就是自然真正在做的解釋。」這樣的普世魔鬼精神,最終被搬到物理與計算的交界處,縱橫捭闔。
參考章節主旨:一場會議的宣言+一篇論文的模型化,樹立「資訊即物理」的哲學根基,是量子計算的誕生史。