Skip main navigationJournal menuClose Drawer MenuOpen Drawer Menu
Skip main navigationJournal menuClose Drawer MenuOpen Drawer Menu
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Restricted access

Dodgson condensation, alternating signs and square ice

Published:18 October 2006https://doi.org/10.1098/rsta.2006.1887

    Abstract

    Starting with the numbers 1,2,7,42,429,7436, what is the next term in the sequence? This question arose in the area of mathematics called algebraic combinatorics, which deals with the precise counting of sets of objects, but it goes back to Lewis Carroll's work on determinants. The resolution of the problem was only achieved at the end of the last century, and with two completely different approaches: the first involved extensive verification by computer algebra and a huge posse of referees, while the second relied on an unexpected connection with the theory of ‘square ice’ in statistical physics. This paper, aimed at a general scientific audience, explains the background to this problem and how subsequent developments are leading to a fruitful interplay between algebraic combinatorics, mathematical physics and number theory.

    References

    • Ablowitz M.J& Clarkson P.ASolitons, nonlinear evolution equations and inverse scattering. 1991Cambridge, UK:Cambridge University Press. Google Scholar
    • Batchelor M.T, de Gier J& Nienhuis B. 2001The quantum symmetric XXZ chain at Δ=−1/2, alternating-sign matrices and plane partitions. J. Phys. A: Math. Gen. 34, L265–L270.doi:10.1088/0305-4470/34/19/101. . Crossref, Google Scholar
    • Bressoud D.MProofs and confirmations: the story of the alternating sign matrix conjecture. 1999Cambridge, UK:Cambridge University Press. Google Scholar
    • Bressoud D.M& Propp J. 1999How the alternating sign matrix conjecture was solved. Notices Am. Math. Soc. 46, 637–646. Google Scholar
    • Buchholz R.H& Rathbun R.L. 1997An infinite set of heron triangles with two rational medians. Am. Math. Mon. 104, 107–115.doi:10.2307/2974977. . Crossref, ISI, Google Scholar
    • Carroll G& Speyer D. 2004The cube recurrence. Elec. J. Comb. 11, #R73. Crossref, ISI, Google Scholar
    • Dodgson C.LAn elementary treatise on determinants, with their application to simultaneous linear equations and algebraical geometry. 1867London, UK:Macmillan. Google Scholar
    • Everest G, van der Poorten A, Shparlinski I& Ward TRecurrence sequences. AMS mathematical surveys and monographs vol. 1042003Providence, RI:American Mathematical Society. Google Scholar
    • Fomin S& Zelevinsky A. 2002The Laurent phenomenon. Adv. Appl. Math. 28, 119–144.doi:10.1006/aama.2001.0770. . Crossref, ISI, Google Scholar
    • Gale D. 1991The strange and surprising saga of the Somos sequences. Math. Intell. 13, 40–42. Google Scholar
    • Hirota R. 1972Exact solution of the Korteweg-deVries equation for multiple collision of solitons. Phys. Rev. Lett. 27, 1192–1194.doi:10.1103/PhysRevLett.27.1192. . Crossref, ISI, Google Scholar
    • Hone A.N.W. 2005Elliptic curves and quadratic recurrence sequences. Bull. Lond. Math. Soc. 37, 161–171.Corrigendum 38, 741–742.doi:10.1112/S0024609306018844. . Crossref, ISI, Google Scholar
    • Korepin V.E, Bogoliubov N.M& Izergin A.GQuantum inverse scattering method and correlation functions. 1993Cambridge, UK:Cambridge University Press. Google Scholar
    • Krichever I, Lipan O, Wiegmann P& Zabrodin A. 1997Quantum integrable systems and elliptic solutions of classical discrete nonlinear equations. Commun. Math. Phys. 188, 267–304.doi:10.1007/s002200050165. . Crossref, ISI, Google Scholar
    • Kuperberg G. 1996Another proof of the alternating sign matrix conjecture. Int. Math. Res. Notices. 3, 139–150.doi:10.1155/S1073792896000128. . Crossref, Google Scholar
    • Noumi MPainlevé equations through symmetry. AMS translations of mathematical monographs vol. 2232004Providence, RI:American Mathematical Society. Google Scholar
    • Mandl FStatistical physics. 1971Chichester, UK:Wiley. Google Scholar
    • Mills W.H, Robbins D.P& Rumsey H. 1983Alternating-sign matrices and descending plane partitions. J. Comb. Theory Ser. A. 34, 340–359.doi:10.1016/0097-3165(83)90068-7. . Crossref, ISI, Google Scholar
    • van der Poorten A.J. 2005Elliptic curves and continued fractions. J. Integer Seq. 8, 5Article 05.2.5. Google Scholar
    • Propp J. 2001The many faces of alternating-sign matrices. Disc. Math. Theoret. Comp. Sci. Proc. AA (DM-CCG), 43–58. Google Scholar
    • Speyer, D. 2004 Perfect matchings and the octahedron recurrence. math. CO/0402452. Google Scholar
    • Swart, C. S. 2003 Elliptic curves and related sequences. Ph.D. thesis, Royal Holloway, University of London. Google Scholar
    • Zeilberger DProof of the alternating sign matrix conjecture. Electron. J. Comb. 3, 1996a#R13. Crossref, Google Scholar
    • Zeilberger DProof of the refined alternating sign matrix conjecture. NY J. Math. 2, 1996b59–68. Google Scholar
    Previous Article
    Next Article