當兩個看似“無關”的數學領域發生碰撞，會發生什么？
浙江大學部研究員、中科大數學系2003級校友葉和溪，與來自劍橋大學部、哈佛大學部的兩位學者一起，將動力系統應用到數論中，解開了困擾數學家長達數十年的難題，
研究成果發表在數學界頂級期刊《數學年刊》（Annals of Mathematics）上，該學術期刊為雙月刊，近兩年每年僅發表三十多篇學術論文。
這也是浙大40多年來首次在該期刊上發表成果，
葉和溪結合動力系統方法，證明了數論中一個非常重要的問題，
動力系統，主要研究空間中所有點隨時間變化的情況，這門學科最著名的便是“蝴蝶效應”中的洛倫茨吸引子。
△洛倫茨吸引子
然而數論，研究的卻是整數的性質，
這兩個看起來風馬牛不相及的領域，被數學家們巧妙地被結合到一起。
它們是怎么聯系起來的，首先還得從兩個方程說起。
兩個方程
1、y?=x?+ax+b
2、f(z)=z?+c
第一個方程表示橢圓曲線，當a和b不斷變化時，橢圓曲線形狀各不相同，就像是從曲線中擠出一個“氣泡”。
橢圓曲線是數論中的重要工具，數學家證明費馬大定理就用到了它。
在橢圓曲線上，你甚至可以對兩個點做加法，
假設有兩個點P、Q，那么PQ連線與曲線的第三個交點R對x軸的鏡像點，就是P+Q，R的鏡像點記為-R，即-R=P+Q，
因為橢圓曲線是上下對稱的，所以P+Q也一定在橢圓曲線上。
那么P點和它自己相加（P+P）怎么計算？
想象一下Q點越來越靠近P點，最后PQ兩點的連線就變成P點處的切線，所以P+P就是這個切線與橢圓曲線交點的鏡像點。
如果P點反復加上自己，經過有限次加法后（P+P+……+P）又回到P點，那么P就叫做“撓點”（torsion point），
再看第二個方程數學公式: f(z)=z^2+c，它不是二次曲線，而是與另一門數學分支動力系統有關，
z在這里不是實數，而是實數+虛數，如果我們畫出一個平面坐標，橫坐標代表它的實數部分，縱坐標代表它的虛數部分，z就是一個點，
我們把z、f(z)兩個點畫在這個平面上，再把f(z)帶入方程得到f(f(z))，然后再得到f(f(f(z)))……
如此“無限套娃”操作，把所有的點都畫出來，可以得到以下圖形，
有些人可能已經發現，這不就是分形嗎，怎么和橢圓曲線聯系起來了？
上面的圖形范圍有限，說明某些z值在經過無限套娃后，還是有限的數值，
假設c=-1，z的初始值為2，那么得到的數字組合是2、3、8、63……，這組數會一直增大；如果z的初始值是0，那么接來下的數分別是-1、0、-1、0……，會一直循環下去。
對于第二種情況，無限次迭代后的每個點都在有限范圍內，這些有限范圍內的點組成的集合，就是“朱利亞集合”（Julia set）。
在動力系統中，像-1、0、-1、0……這樣，不僅范圍有限，還能夠回到起點的一組點，稱為“有限軌道點”（finite orbit point）。
這樣，橢圓曲線就和動力系統聯系起來了，有限軌道點便是橢圓曲線上撓點的模擬，
葉和溪的導師DeMarco說：“橢圓曲線上的撓點與某個動力系統的有限軌道點相同，這就是我們在論文中反復使用的內容，”
證明數學猜想
但這三位數學家研究的問題——Manin-Mumford猜想——比上面復雜得多。
Manin-Mumford猜想是比橢圓曲線更復雜的曲線，例如y^2 = x^6 + x^4 + x^2 ?1，每個不同參數的曲線都與一個幾何體關聯，
Manin-Mumford猜想于1983年被Raynaud證明，即虧格（genus）大于1的任意光滑代數曲線上至多只有有限個撓點。
對于封閉的有向曲面而言，虧格就是曲面的“洞”數量。
橢圓曲線對應的幾何體是虧格為1的“甜甜圈”，
葉和溪等人將Manin-Mumford猜想又推進了一步，他與Holly Krieger、Laura DeMarco一起，結合動力系統證明了，在虧格為2的情況下，光滑代數曲線撓點數量不僅有限，而且具有一致上界。
與橢圓曲線不同的是，Manin-Mumford猜想中的復雜曲線不具備允許做加法的結構。
但是它們對應的幾何體卻都可以做加法，而且像橢圓曲線一樣具有撓點。
他們給出了待求的特定曲線簇的解的形狀：像是兩個甜甜圈的表面（虧格為2），
其中，每個“甜甜圈”代表一個橢圓曲線。
而要證明撓點數量的上限，就需要計算出橢圓曲線上撓點之間的相交點數量。
然而這兩條橢圓曲線上的撓點不可能直接比較，因為它們不一定重疊。
幾位學者想出了一種方法：比較它們是否在“甜甜圈”上各自處于相同的相對位置，
他們將兩條橢圓曲線的解各自繪制在一張平面圖上，以此來比較撓點的位置，
接下來，只需要計算這些點重疊的次數，就能給Manin-Mumford猜想一個明確的上界了。
這里，便是動力系統需要發揮作用的地方，
他們利用動力系統，證明了這些點只能重合特定的次數，而且這一次數確實存在——即Manin-Mumford猜想的上界確實存在。
對于他們的證明，來自加拿大約克大學部的助理教授Patrick Ingram表示：
他們成功證明了一個特殊問題，此前，這個問題一直被歸類于數論中，沒人認為它與動力系統有關。這確實引起了極大的轟動，
與導師舊友一同解決重要猜想
事實上，猜想證明背后的三位學者，彼此也是導師與舊友的關系。
這其中，葉和溪與論文作者Holly Krieger，都曾經是Laura DeMarco的學生，
2013年，他們在后者的指導下，獲得了伊利諾伊大學部芝加哥分校的博士學位。
在這之后，Laura DeMarco如今已是哈佛大學部教授，而Holly Krieger也已經成為一名劍橋大學部的數學講師。
葉和溪則選擇了回國，成為浙江大學部的數學系研究員。
但這期間，他們并未停止共同研究的步伐。
2017年，葉和溪就曾與Laura DeMarco、Holly Krieger一起，研究了動力系統中有界高度的問題，成果于2019年發表。
而在2019年，繼證明Manin-Mumford一致猜想之后，他們也對動力系統中的另一個問題進行了深入探討，并采用了類似的研究方法，
目前，這篇文章以預印本的形式發表。
2020年4月15日，他們證明的Manin-Mumford一致猜想，最終成功刊登在《數學年刊》上，
中科大03級數學人才“井噴”
在這次研究中做出不少貢獻、來自浙江大學部的研究員葉和溪，高中曾就讀于福建省建甌第一中學。
2003年，葉和溪進入大陸科學技術大學部數學系學習。
本科畢業后，葉和溪選擇出國深造，研究方向就是數學中的動力系統，
2013年，他在導師Laura DeMarco的指導下，完成了博士學位，畢業于伊利諾伊大學部芝加哥分校。
在這之后，他曾經先后在多倫多大學部、英屬哥倫比亞大學部從事博士后研究工作，
完成學術研究后，葉和溪于2016年回國任教。
與葉和溪一同入學的中科大數學系校友，也是人才輩出，
其中，至少5位學者的研究，再世界“四大數學頂刊”上發表過論文。
葉和溪同班同學郟浩、劉博、申述、張享文，也都已經在《數學發明》上各發表一篇論文，
還有許多與葉和溪、劉博一樣學成歸來的學子，如魯汪濤、馬杰、熊濤、張振、仲杏惠等中科大校友，毅然決然地放棄了國外的條件，回到大陸繼續從事數學研究。
△ 圖源：公眾號@大陸科大本科招生
對于2003級學子在數學上取得的成就，大陸科學院院士、南開大學部陳省身數學研究所張偉平由衷地表示自豪：
事實證明，科大的學生不管考第幾，到哪里都是一塊好料，在同一個班就有這么多杰出的人才涌現，殊為罕見。
