达德利·E·利特尔伍德：他无法证明的法则

1934年，威尔士一所小型大学的两名数学家发表了一条组合定律，用以解释某些代数对象的乘法。他们将其表述为一条定理。他们仅证明了极少数简单的特殊情况，且提供的说明性示例存在错误。尽管如此，该法则依然是正确的。数学界花了四十年才证明了这一点，而到那时，它已成为现代代数中使用最广泛的成果之一。正如表示论学者戈登·詹姆斯 (Gordon James) 所言，利特尔伍德-理查德森法则“有助于让人类登上月球，但直到人类登月之后才得到证明”。

从托特纳姆到三一学院

达德利·欧内斯特·利特尔伍德 (Dudley Ernest Littlewood) 于1903年9月7日出生于伦敦，是艾达·派珀 (Ada Piper) 和律师办事员哈里·布拉姆利·利特尔伍德 (Harry Bramley Littlewood) 的独子。他没有数学世家背景，也没有家产；他的成就是通过考试争取来的。他从米德尔塞克斯的托特纳姆县立学校获得了州奖学金，并考入剑桥大学三一学院。

在三一学院，他的本科导师是约翰·恩德森·利特尔伍德 (John Edensor Littlewood)——著名的分析学家、哈代 (Hardy) 的合作者，两人并无亲属关系，这一巧合此后一直让各种参考书目感到困惑。他于1925年毕业，在数学考试中获得高荣誉学位 (Wrangler)，与霍尔 (Hall) 和霍奇 (Hodge) 同届。此后，在两次世界大战之间的学术市场环境下，他并未获得理想职位，转而从事教学工作。1928年，他在斯旺西大学学院担任了临时的兼职讲师，随后在邓迪女王学院担任过短暂的职务。他于1930年与穆里尔·多丽丝·戴森 (Muriel Doris Dyson) 结婚，他们的儿子于1935年出生。

斯旺西与理查德森

斯旺西是他数学生活的真正起点，这源于一位同事。在那里的教授阿奇博尔德·里德·理查德森 (Archibald Read Richardson) 将利特尔伍德引入了代数领域——这是他此前未曾涉足的领域。他于1930年回到斯旺西担任助理讲师，并于1934年成为讲师，一直工作到1947年。他早期的论文涉及四元数代数和不变式理论，这些稳健的工作并未显露出后来成就的征兆。

随后出现的是1934年与理查德森合写的论文《群特征与代数》(Group characters and algebras)。它引入了矩阵的行列式类似物——“immanant”，这是一种介于行列式和永久式之间的推广——并研究了S-函数，即现在普遍称为舒尔函数 (Schur functions) 的对象，这些函数编码了对称群和一般线性群的特征。该论文提出了一个显然的后续问题：当你将两个舒尔函数相乘时会发生什么？他们提出的答案是，乘积可以分解为舒尔函数的和，其系数对应于某些组合表格——即在严格规则下填入数字的方格数组。

该法则为何重要

这一单一陈述最终成为了几个领域交汇的枢纽。利特尔伍德-理查德森系数给出了有限维表示的张量积分解以及对称群表示被诱导时的重数。它们是舒尔基下对称函数环的结构常数。在代数几何中，它们表现为格拉斯曼流形上的交点数，用于计算舒伯特簇 (Schubert varieties) 的相交情况——这是1934年时无人预见的联系。利特尔伍德本人则致力于将表示论应用于量子力学。

然而，证明过程缺失了。吉尔伯特·德·博勒加德·罗宾逊 (Gilbert de Beauregard Robinson) 在1938年声称完成了证明，但他的阐述过于晦涩，以至于其中的漏洞数十年未被发现；伊恩·麦克唐纳 (Ian Macdonald) 直到1995年仍在填补其中一些空白。符合现代标准的首批论证来自1974年的格兰弗鲁德·P·托马斯 (Glânffrwd P. Thomas) 和1977年的马塞尔-保罗·许岑贝格 (Marcel-Paul Schützenberger)，其基础是申斯特 (Schensted)、许岑贝格和唐纳德·克努特 (Donald Knuth) 开发的罗宾逊-申斯特对应 (Robinson–Schensted correspondence) 的组合机制。从声称证明到真正证明，大约经过了四十年。

书籍与班戈

利特尔伍德将他的研究转化为使他名声大噪的书籍——《群特征与群的矩阵表示》(The Theory of Group Characters and Matrix Representations of Groups)，该书出版于1940年，并于1950年出了第二版，这成为整整一代人学习该学科的标准英语教材。随后他在1949年出版了《数学通俗读物》(The Skeleton Key of Mathematics)，这是一本经过多次修订的通俗著作；并在1950年出版了《大学代数》(A University Algebra)，该书于1961年修订。

他于1947年至1948年在剑桥大学担任大学讲师，随后于1948年受聘为北威尔士大学学院班戈分校的数学教授，直至1970年退休，任职长达二十二年。同事们记得他是一位害羞、内敛的人，总是带着友好的微笑，善良且乐于助人。他阅读科幻小说，并认为哲学和宗教是比数学更值得研究的课题——对于一位数学教授来说，这是一个不同寻常的承认。

为什么说达德利是天才

这个词适用于一种具体而狭窄的能力：他能在任何人证明之前就看出一个代数机制的形状。他的学生J. A. 格林 (J. A. Green) 准确地描述了这一点——“利特尔伍德的数学力量在于他对某些代数过程运作方式的非凡洞察力。”同事们注意到他有一种强烈的形式数学直觉，并且公然偏好于可用的公式而非严谨的推导，并观察到他采用了弗罗贝尼乌斯 (Frobenius)、舒尔 (Schur) 和外尔 (Weyl) 的方法，并以自己的语言重塑了它们，而不是简单地复述。1934年的法则就是一个例子。利特尔伍德和理查德森在无人完全理解的对象上提出了正确的组合法则，在直觉众所周知不可靠的领域中，他们是对的——而随后四十年中试图给出证明的几位有能力的数学家却错了。

反面案例是真实的，并非仅仅是迂腐。他们将该法则作为定理发表，而实际上只证明了简单的特殊情况，且给出的示例计算有误。如果审稿人更严格一些，该结果可能只会以猜想的形式出现，而这本身就是事实。数学家的工作是证明，按照这一标准，利特尔伍德最著名的贡献在四十年内是不完整的，并由其他人使用他所不具备的工具完成。他更广泛的研究工作——三本书以及一系列关于不变式、四元数代数和群特征的论文——是扎实且有用的，而非划时代的。他整个职业生涯都在斯旺西和班戈度过，远离学科中心。诚实的结论是，他拥有极高天赋的数学直觉，但严谨性却未能与之完全匹配；数学界花了九十年时间受益于他的直觉并修复其严谨性。

遗产

他于1970年退休，并于1979年10月6日在兰迪德诺去世，享年76岁，此前因跌倒导致腿部骨折。他安葬于兰罗斯 (Llanrhos)；穆里尔比他多活了十年。今天，那些对他一无所知的人每天都在提及他的名字，该名字附着在一个支撑着现代对称函数研究、经典群表示论和舒伯特演算的法则上。很少有数学家能以自己的名字命名一个定理。而名字在定理被证明之前就已声名鹊起的数学家则更少。