科学探索|研究人员为1779年的欧拉“三十六军团”排列问题赋予黄金量子解研究人员为1779年的欧拉“三十

瑞士数学家兼物理学家莱昂哈德·欧拉（Leonhard Euler）在 243 年前提出的“三十六军官”排列问题，刚刚被赋予了一套量子解。1779 年，欧拉提出了这个举世闻名的谜题 —— 六个陆军团有六级不同的军官，那 36 名军官是否可排列在一个 6×6 的方格中，使得每行每列都没有重复的军衔或军团？

文章图片

PDF 截图（via Arvix.org）
在“五品五团”或“七品七团”的情况下，这个问题是相对容易解决的。但在 6×6 的情况下，欧拉发现这个问题似乎无解，尽管当时他无法给出严格的证明。
一个多世纪后，法国数学家加斯顿·塔里（Gaston Tarry）终于给出了实际的证明，即我们无法将 36 名军官排列在 6×6 的正方形场景中。
然后 1960 年，数学家们借助计算机证明了此类问题可在 n＞2 的任意平方（军团 / 军衔）假设下存在 —— 但奇怪的是，6×6 序列竟被排除在外。
事实上，在过去 2000 多年时间里，类似的谜题一直深深地吸引着人们投入探索。为了更好地理解，我们已经见过各种各样的“数字阵列魔方”、甚至充满符号的“拉丁方” 。

文章图片

PDF 截图（via QCrypt）
有趣的是，尽管欧拉认为不存在 6×6 的矩阵解，但来自印度和波兰的一支量子物理学家团队，却于近日提交给《物理评论快报》上的一篇新文章中，给出了一组量子解。
作为数字队列 / 拉丁魔方解题方法的量子衍生方法，只要这些军官的军衔和军团都具有量子混合（叠加）态，它便符合欧拉标准的 6×6 排列方法。
而且除了游戏娱乐，该方法同样适用于量子通信和计算应用。未参与这项研究的因斯布鲁克大学量子物理学家 Gemma De las Cuevas 认为，这篇论文讲述的解题理念让人眼前一亮。
2016 年，当时还在剑桥大学的 Jamie Vicary 与他的学生 Ben Musto，提出了可将拉丁方格中的条目量子化的设想，然后很快被一群对其深感兴趣的理论物理学家和数学家们所采纳。
去年，法国物理学家 Ion Nechita 和 Jordi Pillet 更是打造了数独的量子版本。可知在 SudoQ 中，行、列、及其子方格各有 9 个垂直向量，而不是 0~9 的整数。

文章图片

（图自：Olena Shmahalo / Quanta Magazine）
在此基础上，波兰雅盖隆大学博士后研究员 Adam Burchardt 与同事们重新审视了欧拉关于 36 军官的旧谜团。
在该问题的经典版本中，这 36 名军官可被想象成五颜六色的棋子，以及王、后、象、马、车、兵 6 级。
但在量子版本中，军官却具有军衔与军团的叠加形态。更重要的是，这种特殊的纠缠关系，使之涉及不同实体之间的相关性。
举个例子，若一个“红色国王”与一个“橙色皇后”纠缠在一起，那么即使国王和皇后都处于多个军团的叠加状态。
只要观察到国王是红色、便可立即推出皇后是橙色 —— 意味着每条线上的军官都可垂直。

文章图片

该理论似乎很有效，但为证明这一点，作者必须构建一个充满量子军官的 6×6 阵列。大量潜在的配置和纠缠，意味着他们必须依靠计算机的帮助。
为此，研究人员插入了一个经典的近似解、并应用了一种算法，以将排列调整为真正的量子解。该算法的工作原理，类似于暴力穷举魔方。