Dyson mod 27 恒等式是一组四个类似 Rogers-Ramanujan 的恒等式,由下式给出
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
(OEIS A104501, A104502, A104503, 和 A104504)。
Bailey (1947) 系统地研究和推广了 Rogers 关于 Rogers-Ramanujan 型恒等式的工作,该论文于 1943 年末提交。当时,G. H. Hardy 是伦敦数学学会会刊的编辑,Hardy 最近在剑桥大学的本科课程中教过年轻的 Freeman Dyson。因此,他通过 Dyson 重新发现 Rogers-Selberg 恒等式,意识到了 Dyson 对 Ramanujan-Rogers 型恒等式的兴趣。 Hardy 忽略了保持审稿人匿名的通常惯例(因为据 Hardy 所知,Bailey 和 Dyson 是当时全英格兰唯一对 Rogers-Ramanujan 型恒等式感兴趣的两个人),并认为他们会喜欢彼此联系,因此 Hardy 请 Dyson 审阅 Bailey 的论文。
Bailey 和 Dyson 之间随后进行了通信。 Dyson 利用 Bailey 论文中的思想,发现了一些新的 Rogers-Ramanujan 型恒等式,包括上面四个 mod 27 恒等式。 Bailey 建议 Dyson 在另一篇论文中发表他的结果,但 Dyson 拒绝了,而是要求 Bailey 将这些恒等式包含在他自己的论文中(当然要适当注明 Dyson 的贡献),结果就是这样做的。
由于第二次世界大战造成的纸张短缺,Bailey 的论文直到 1947 年才发表。 Bailey 的后续论文(Bailey 1949)大约在六个月后提交,Dyson 再次审阅了该论文,并贡献了一些额外的恒等式。