Advertisement

Why Are So Many Problems Unsolved?

  • Anthony J Guttmann
Part of the Lecture Notes in Physics book series (LNP, volume 775)

The problems discussed in this book, particularly that of counting the number of polygons and polyominoes in two dimensions, either by perimeter or area, seems so simple to state that it seems surprising that they haven't been exactly solved. The counting problem is so simple in concept that it can be fully explained to any schoolchild, yet it seems impossible to solve. In this chapter we develop what is essentially a numerical method that provides, at worst, strong evidence that a problem has no solution within a large class of functions, including algebraic, differentiably finite (D-finite) [27, 26] and at least a sub-class [7] of differentiably algebraic functions, called constructible differentiably algebraic (CDA) functions. Since many of the special functions of mathematical physics—in terms of which most known solutions are given—are differentiably finite, this exclusion renders the problem un-solvable within this class. Throughout this chapter the term D-unsolvable means that the problem has no solution within the class of D-finite functions as well as the sub-class of differentiably algebraic functions described above. In the next chapter, Rechnitzer shows how these ideas may be refined into a proof, in the case of polygons in two dimensions.

In fact, the exclusion is wider than D-finite functions, as we show that the solutions possess a natural boundary on the unit circle in an appropriately defined complex plane. This excludes not only D-finite functions, but a number of others as well—though we have no simple way to describe this excluded class.

Keywords

Unit Circle Ising Model Problem Unsolved Natural Boundary Cyclotomic Polynomial 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Abramowitz and I. A. Stegun (Editors), Handbook of Mathematical Functions, (Dover, New York) (1972).MATHGoogle Scholar
  2. 2.
    R. J. Baxter, in Fundamental Problems in Statistical Mechanics, 5, (1981) 109–41. E. G. D. Cohen ed. (North Holl. Amsterdam).Google Scholar
  3. 3.
    R. J. Baxter, Hard hexagons: exact solution, J. Phys. A. 13, (1980) L61–70.CrossRefADSMathSciNetGoogle Scholar
  4. 4.
    M. Bousquet-Mélou, (Private communication).Google Scholar
  5. 5.
    M. Bousquet-Mélou, A. J. Guttmann, W. P. Orrick and A. Rechnitzer, Inversion relations, reciprocity and polyominoes, Annals of Combinatorics, 3, (1999), 225–30.CrossRefGoogle Scholar
  6. 6.
    M. Bousquet-Mélou and X. Viennot, Empilements de segments et q-énumération de polyomi-nos convexes dirigés. J. Combin. Theory Ser. A 60, (1992) 196–224.MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    F. Bergeron and C. Reutenauer, Combinatorial resolution of systems of differential equations III: a special class of differentiably algebraic series. Europ. J. Combinatorics, 11, (1990) 501–12.MATHMathSciNetGoogle Scholar
  8. 8.
    M. Bousquet-Mélou, New enumerative results on two-dimensional directed animals, Disc. Math 180, (1998) 73–106.MATHCrossRefGoogle Scholar
  9. 9.
    C. H. Chang, The spontaneous magnetisation of a two-dimensional rectangular Ising model, Phys. Rev. 88, (1952) 1422–6.CrossRefADSGoogle Scholar
  10. 10.
    A. R. Conway, R. Brak and A. J. Guttmann, Directed animals on two-dimensional lattices, J. Phys. A. 26, (1993), 3085–91.CrossRefADSGoogle Scholar
  11. 11.
    A. R. Conway and A. J. Guttmann, Square Lattice Self-Avoiding Walks and Corrections to Scaling, Phys. Rev. Letts. 77, (1996) 5284–7.CrossRefADSGoogle Scholar
  12. 12.
    A. R. Conway, A. J. Guttmann and M. P. Delest, The number of three-choice polygons, Mathl. Comput. Modelling 26, (1997) 51–8.CrossRefMathSciNetMATHGoogle Scholar
  13. 13.
    T. de Neef and I. G. Enting, Series expansions from the finite lattice method, J. Phys. A: Math. Gen. 10, (1977) 801–5.CrossRefADSGoogle Scholar
  14. 14.
    D. Dhar, M. H. Phani and M. Barma, Enumeration of directed site animals on two-dimensional lattices, J. Phys. A. 15, (1982) L279–84.CrossRefMathSciNetADSGoogle Scholar
  15. 15.
    I. G. Enting and A. J. Guttmann, In preparation.Google Scholar
  16. 16.
    I. G. Enting, Series Expansions from the Finite Lattice Method, Nucl. Phys. B (Proc. Suppl.) 47, (1996) 180–7.CrossRefADSGoogle Scholar
  17. 17.
    P. Flajolet, Analytic models and ambiguity of context-free languages, Theor. Comp. Sci., 49, (1987), 283–309.MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    M. L. Glasser, D. B. Abraham and E. H. Lieb, Analytic properties of the free energy of the Ice models, J. Math. Phys, 13, (1972), 887–900.CrossRefADSMathSciNetGoogle Scholar
  19. 19.
    A. J. Guttmann, Asymptotic Analysis of Power Series Expansions, in Phase Transitions and Critical Phenomena, 13, eds. C. Domb and J. Lebowitz, Academic Press, (1989) 1–234. (Available from www.ms.unimelb.edu.au/″tonyg)Google Scholar
  20. 20.
    A. J. Guttmann and A. R. Conway, Statistical Physics on the Eve of the Twenty-First Century. ed. M. T. Batchelor, (World Scientific), (1999).Google Scholar
  21. 21.
    A. J. Guttmann and I. Jensen, Fuchsian differential equation for the perimeter generating function of three-choice polygons, S éminaire Lotharingien de combinatoire, 54, 1–14.Google Scholar
  22. 22.
    Programs developed by B. Salvy, P. Zimmerman, F. Chyzak and colleagues at INRIA, France. Available from http://pauillac.inria.fr/algo
  23. 23.
    M. T. Jaekel and J. M. Maillard, Symmetry relations in exactly soluble models, J. Phys. A: Math. Gen. 15, (1982) 1309–25.CrossRefADSMathSciNetGoogle Scholar
  24. 24.
    M. T. Jaekel and J. M. Maillard, Inverse functional relation on the Potts model, J. Phys. A: Math. Gen. 15, (1982) 2241–57.CrossRefADSMathSciNetGoogle Scholar
  25. 25.
    G. S. Joyce, On the hard hexagon model and the theory of modular functions. Phil. Trans. of the Roy. Soc. Lond., 325, (1988), 643–706.MATHCrossRefADSMathSciNetGoogle Scholar
  26. 26.
    L. Lipshitz, D-finite power series. J. Algebra, 122, (1989) 353–73.MATHCrossRefMathSciNetGoogle Scholar
  27. 27.
    R. P. Stanley, Differentiably finite power series, Europ. J. Comb., 1, (1980), 175–88.MATHMathSciNetGoogle Scholar
  28. 28.
    R. P. Stanley, Enumerative Combinatorics., 2 Google Scholar
  29. 29.
    H. Tsukahara and T. Inami, Test of Guttmann and Enting's conjecture in the Eight Vertex Model, J. Phys. Soc. Japan 67, (1998) 1067–1070.CrossRefMathSciNetADSGoogle Scholar

Copyright information

© Canopus Academic Publishing Limited 2009

Authors and Affiliations

  • Anthony J Guttmann

    There are no affiliations available

    Personalised recommendations