</br>物理研究所。

所長辦公室里，6舟和羅師兄兩個人並肩站在一塊黑板前，看著黑板上潦草的幾行算式，很有默契地沉默了十幾分鍾都沒有說話。

大概又過去了五分鍾。

羅文軒忽然打破了沉默。

「我可以去弄點酒過來嗎？」

「酒？」

「這是我的習慣，每當我碰到什么想不通的問題，就會去找點喝的。」

「然後再躺在誰的胳膊上打個盹？順便把麻煩的事情先拋在一邊？」

「別這么說……我是那種人嗎？」干咳了一聲，羅文軒摸了摸鼻子，盯著黑板繼續說道，「好吧，酒的事情先放在一邊，就在剛才我突然想起了一件事情。」

6舟：「想到了什么？」

「《anna1s-of-mathematics》上的一篇論文，1974年版的……多少頁我記不太清了，當時是威滕讓我看的，」仔細回憶了一會兒，羅文軒繼續說道，「里面提到了一種可能的方法。」

《anna1s-of-mathematics》也就是數學年刊，作為四大頂刊之一，上面的文章還是很有權威性的。

6舟將粉筆遞到了他手上，做了個請的手勢。

羅文軒也沒推辭，站在黑板前思索了片刻，輕輕拋了拋手中的粉筆，然後走上前去寫到。

【有標准階數的能量密度的最簡情況為λφ^4+φ??，其中o＜λ《1……】

寫到這里的時候，羅文軒停頓了一下，回頭看向了6舟。

「這個場的存在性和唯一性已經被證明了，回頭那篇論文我可以翻給你看。」

「好的，」6舟點了點頭，「繼續吧。」

羅文軒轉過身去，繼續在黑板上一邊說一邊寫到。

「……該場質量滿足m=√（2+o（λ^3））」

「設算子集n滿足nΩ在h中稠密，質量間隙的存在性便依賴於證明以下估計……即，對於任意常熟c，滿足c＜√2，存在常數λo＞o，以及依賴於其算子a（a∈n）的常數b，對於任意o←λ←λo，有（aΩe^（-th）·aΩ）←be^（-tc），對於1←t……標記為式（1）」

大概用了五分鍾的時間，羅文軒將自己記憶中的內容板書在了黑板上，回頭看向了6舟。

「基本上就是這些了，我也不確定有沒有遺漏，回去我再把那篇文獻翻出來看看……呃，你這么看著我干什么？」

「沒什么，」收回了意外的視線，6舟搖了搖頭，「就是覺得有點意外。」

羅文軒輕咳了一聲，提醒道：「我好歹也是從威滕那里畢業的。」

6舟：「……哦。」

羅文軒：「……」

媽耶，真是連裝個逼的機會都沒有。

暫且沒有去管那些無關緊要的事情，6舟盯著黑板上的算式看了大概一分鍾。

總的來說，這條證明思路確實有它的巧妙之處。

考慮到單粒子態是希爾伯特空間上「質量」算子的本征態，相應的本征值為粒子的質量。再根據狹義相對論，在取光為1的單位制下，質量m與作為交換算子的能量h和動量p滿足m??=h??-p??。

在這個特例中，允許更詳細地研究m的譜。而與此同時，場質量m是m的譜中的一個孤立的本征值，相應的本征態為觀察到的單粒子態，而這些態又是龐家萊群的一個不可約表示變換。