马斯顿·康德：计算对称性的人

世界上任何需要了解所有十万个顶点以内三价对称图的数学家都不会去重新推导它们。他们会下载马斯顿·康德 (Marston Conder) 的列表。对于涵盖广泛亏格的曲面上的正则图和手性映射、紧黎曼曲面的自同构群以及正则和手性多胞体，情况亦是如此。在奥克兰度过的四十多年里，康德将“这类对象中哪种最对称？”这一抽象问题变成了人们可以查阅的资料——并在此过程中悄然成为了他那一代人中被引用次数最多的数学家之一。

从玛塔玛塔到牛津

他于1955年9月出生在新西兰的汉密尔顿，并在玛塔玛塔学院 (Matamata College) 接受教育——这是一个小镇起点，距离纯数学中心尽可能地遥远。他的第一个高等学位并非数学：他于1977年在怀卡托大学 (Waikato University) 获得了社会科学硕士学位。三年后，他在牛津大学获得了博士学位。

他的牛津导师是格雷厄姆·希格曼 (Graham Higman)，他是20世纪群论领域的泰斗级人物，也是该学科现代组合方法论的奠基人之一。康德1980年的论文《置换群的最小生成对》(Minimal generating pairs for permutation groups) 在标题中预示了他毕生的关注点。这个问题看似简单：给定一个群，你是否能仅用两个元素生成整个群？如果可以，应如何选择才能尽可能经济？双元素生成是大量对称理论旋转的枢纽，因为几何和组合学中最对称的对象，恰恰是那些其对称群由极少数极简单运动生成的对象。

最大对称对象

康德持续了四十年的计划可以用一句话概括：研究在给定约束下具有最大可能对称性的离散结构。确定一个约束——图必须是三价的、映射必须存在于亏格为五的曲面上、多胞体必须具有给定的秩——然后询问哪些满足约束的对象具有尽可能大的对称性。答案很少是显而易见的，也几乎从不繁多，这正是它们值得编目造册的原因。

这些工具来自组合和计算群论，包括处理有限表示群及其像的技术。这是代数的一个分支，其中群不是通过列举元素，而是通过少数生成元和关系来定义的。核心困难在于这种表示几乎可以隐藏任何东西——包括一个无限群或平凡群，且很难区分。康德的特长是从这种表示中提取出严谨、详尽且可证明完整的答案，这种规模只有当计算与理论适当结合时才变得可行。

映射、手性和多胞体

最丰富的领域是映射：图在曲面上的嵌入，其中有趣的情况是正则映射，其对称群在结构允许的范围内尽可能传递地作用。与它们并列的是手性对象，它们承认所有旋转对称性但不承认反射——这是左手的数学类比，与自身的镜像无法重合。新西兰皇家学会2018年的琼斯奖 (Jones Medal) 正是引用了这一点：他在“离散结构中的对称性和手性”方面的工作。

他将同样的方法扩展开来。组合学及其应用研究所 (Institute of Combinatorics and its Applications) 在授予他欧拉奖章 (Euler Medal) 时，列举了图对称性和嵌入、正则和手性映射、正则和手性多胞体、图的边划分、高维扩展图和二进制格雷码——这一范围从经典的曲面拓扑延伸到在编码和网络理论中具有直接应用的对象。由此产生了170多篇论文和十五名博士生。

人口普查员

康德与其他优秀的代数学家的区别在于他如何处理结果。他没有发表一个定理就继续前进，而是构建并发布了存储库——对各类对象进行完整的人口普查，计算一次、确保正确，并公之于众。三价对称图的目录达到了10,000个顶点。映射和多胞体的普查涵盖了前人从未达到的范围。这些资料在国际上被查阅，包括那些对群论毫无兴趣的科研人员，他们只是需要知道是否确实存在具有某些属性的对象，或者在浪费一年时间之前根据所有已知案例测试猜想。

那种将知识视为基础设施而非个人财产的习惯，明确记录在他的引用记录中；国际组合数学及其应用协会 (ICA) 特别提到他乐于分享知识的名声，以及任何人都可以使用的研究存储库。

公众数学家

康德于1993年成为奥克兰大学的全职教授，并于2012年成为杰出教授。他曾于1993年至1995年担任新西兰数学学会主席，担任新西兰数学及其应用研究所联合主任，并于2006年至2008年担任新西兰皇家学会科学院院长——这是该国最高级的科学职位，由一名纯数学家担任，这在任何地方都不是通常的安排。

荣誉紧随工作而来：2011年的詹姆斯·库克研究奖学金 (James Cook Research Fellowship)、2012年当选美国数学学会会士、2014年的赫克托奖章 (Hector Medal)、2018年的琼斯奖，以及2020年获得的组合学及其应用研究所的欧拉奖章（因对组合研究做出的杰出终身贡献）以及被任命为新西兰功绩勋章官员 (Officer of the New Zealand Order of Merit)。

为什么马斯顿被称为天才

这种特殊的素质是一种罕见的混合体：代数深度与计算纪律的结合。很多数学家能证明关于对称结构的定理；很多其他人能编写枚举示例的代码。康德的典型成就在于穷尽式的分类——证明计算出的列表不仅很长而且是完整的，没有任何遗漏。这需要理论来限制搜索空间，需要计算来遍历它，还需要一种大多数理论家认为有失身份、大多数程序员认为力所不及的纠错容忍度。他的普查结果经受住了考验；这就是全部的验证。

欧拉奖章的引言提到了他四十年来在图对称性、手性映射和多胞体、扩展图和格雷码方面做出的杰出贡献，而琼斯奖专门提到了对称性和手性。这是专业机构在使用他们最高级的工具，这已非常接近组合数学界使用“天才”一词的程度。

反面案例值得明确说明。康德没有解决著名的公开问题，也没有引入任何以他名字命名的理论。没有所谓的“康德猜想”，没有“康德不变量”。他的天才属于制图学那种——对前人已划定边界的领土进行详尽、可靠的测绘——而不是那种开辟新大陆的天才。苛刻的评估者会说，他是数学领域内该方向培养出的最优秀的“人口普查员”，而且“不可或缺”并不等于“革命性”。对此的回应是，在一个充斥着未经证实的主张的学科中，完整且正确的答案比聪明的答案更罕见，且寿命更长。

遗产

康德最持久的遗产对于一位纯数学家来说是奇特的：那是一套表格。他的存储库将被那些从未阅读过他证明、甚至可能不知道他名字的人所查阅，就像工程师查阅物理常数表一样。在这些表格背后是更艰巨的遗产——一个证明，证明了一个在这一领域几乎没有临界质量的小国也能产出世界领先的研究成果，证明了一位数学家可以在管理国家科学院的同时，不停止作为一名在职研究人员。十五名博士生和170篇论文之后，新西兰的组合数学不再是一个边陲地带，而是一个公认的国际节点，而这一切在很大程度上归功于奥克兰的那位一直在不断计算的人。