研究人員為1779年的歐拉“三十六軍團”排列問題賦予黃金量子解
瑞士數學家兼物理學家萊昂哈德·歐拉(Leonhard Euler)在243 年前提出的“三十六軍官”排列問題,剛剛被賦予了一套量子解。1779 年,歐拉提出了這個舉世聞名的謎題—— 六個陸軍團有六級不同的軍官,那36 名軍官是否可排列在一個6×6 的方格中,使得每行每列都沒有重複的軍銜或軍團?
![](https://i0.wp.com/static.cnbetacdn.com/article/2022/0112/2f9a1c1586a07c7.png?w=640&ssl=1)
PDF 截圖(via Arvix.org)
在“五品五團”或“七品七團”的情況下,這個問題是相對容易解決的。但在6×6 的情況下,歐拉發現這個問題似乎無解,儘管當時他無法給出嚴格的證明。
一個多世紀後,法國數學家加斯頓·塔里(Gaston Tarry)終於給出了實際的證明,即我們無法將36 名軍官排列在6×6 的正方形場景中。
然後1960 年,數學家們藉助計算機證明了此類問題可在n>2 的任意平方(軍團/ 軍銜)假設下存在—— 但奇怪的是,6×6 序列竟被排除在外。
事實上,在過去2000 多年時間裡,類似的謎題一直深深地吸引著人們投入探索。為了更好地理解,我們已經見過各種各樣的“數字陣列魔方”、甚至充滿符號的“拉丁方”。
![](https://i0.wp.com/static.cnbetacdn.com/thumb/article/2022/0112/c90926363d16539.png?w=640&ssl=1)
PDF 截圖(via QCrypt)
有趣的是,儘管歐拉認為不存在6×6 的矩陣解,但來自印度和波蘭的一支量子物理學家團隊,卻於近日提交給《物理評論快報》上的一篇新文章中,給出了一組量子解。
作為數字隊列/ 拉丁魔方解題方法的量子衍生方法,只要這些軍官的軍銜和軍團都具有量子混合(疊加)態,它便符合歐拉標準的6×6 排列方法。
而且除了遊戲娛樂,該方法同樣適用於量子通信和計算應用。未參與這項研究的因斯布魯克大學量子物理學家Gemma De las Cuevas 認為,這篇論文講述的解題理念讓人眼前一亮。
2016 年,當時還在劍橋大學的Jamie Vicary 與他的學生Ben Musto,提出了可將拉丁方格中的條目量子化的設想,然後很快被一群對其深感興趣的理論物理學家和數學家們所採納。
去年,法國物理學家Ion Nechita 和Jordi Pillet 更是打造了數獨的量子版本。可知在SudoQ 中,行、列、及其子方格各有9 個垂直向量,而不是0~9 的整數。
![](https://i0.wp.com/static.cnbetacdn.com/thumb/article/2022/0112/5bdfcb0d4d05644.jpg?w=640&ssl=1)
(自:Olena Shmahalo / Quanta 雜誌)
在此基礎上,波蘭雅蓋隆大學博士後研究員Adam Burchardt 與同事們重新審視了歐拉關於36 軍官的舊謎團。
在該問題的經典版本中,這36 名軍官可被想像成五顏六色的棋子,以及王、後、象、馬、車、兵6 級。
但在量子版本中,軍官卻具有軍銜與軍團的疊加形態。更重要的是,這種特殊的糾纏關係,使之涉及不同實體之間的相關性。
舉個例子,若一個“紅色國王”與一個“橙色皇后”糾纏在一起,那麼即使國王和皇后都處於多個軍團的疊加狀態。
只要觀察到國王是紅色、便可立即推出皇后是橙色—— 意味著每條線上的軍官都可垂直。
![](https://i0.wp.com/static.cnbetacdn.com/article/2022/0112/779f1a69beb4db8.png?w=640&ssl=1)
該理論似乎很有效,但為證明這一點,作者必須構建一個充滿量子軍官的6×6 陣列。大量潛在的配置和糾纏,意味著他們必須依靠計算機的幫助。
為此,研究人員插入了一個經典的近似解、並應用了一種算法,以將排列調整為真正的量子解。該算法的工作原理,類似於暴力窮舉魔方。
算法會先嘗試修復第一行,然後是第一列、第二列,以此類推。隨著算法一遍遍地重複,謎題陣列就越來越接近真正的解。
最終,研究人員看到了對應的模式、並手動填入剩餘的少數條目。在某種程度上,歐拉的觀點被證明是錯誤的—— 儘管18 世紀的人們尚未知曉量子的概念。
![](https://i0.wp.com/static.cnbetacdn.com/article/2022/0112/43568fa7b319d1d.png?w=640&ssl=1)
研究合著者,印度理工學院馬德拉斯分校物理學家Suhail Rather 表示,他們的解法有一個令人驚訝的特點—— 軍銜僅與相鄰等級糾纏在一起,軍團也彼此相鄰。
另一個驚喜是出現在量子拉丁方格中的係數,其本質是告訴你在疊加態中賦予不同項的多少權重。奇怪的是,該算法所採用的係數比率是Φ,也就是著名的黃金比例—— 1.618 。
於是該解法也被稱作絕對最大糾纏態(AME),作為一種量子對象的排列,它被認為對包括量子糾錯在內的許多應用都至關重要(計算機中的冗餘信息存儲方式,以防數據有損壞)。
![6.png](https://i0.wp.com/static.cnbetacdn.com/article/2022/0112/613b6518fe33ce9.png?w=640&ssl=1)
在AME 中,量子對象的測量值之間的相關性盡可能強:假設Alice / Bob 是一對糾纏的硬幣,則Alice 在拋出正面後,那Bob 必然是背面(反之亦然)。
兩枚硬幣可最大程度地糾纏在一起,甚至三枚也可以,但四枚就不行。如果Carol 與Dave 也參與其中,那Alice 將永遠無法確定Bob 到底得出什麼結果。
然而新研究表明,如果你有一組四糾纏的骰子(而不是硬幣),它們就可實現最大程度的糾纏—— 相當於6×6 的量子拉丁陣列。
由於答案中存在黃金比例,研究人員亦將之稱作“黃金AME”。