Haruspicy 3: the anisotropic generating function of directed bond-animals is not D-finite

  • Authors:
  • Andrew Rechnitzer

  • Affiliations:
  • Department of Mathematics and Statistics, The University of Melbourne, Parkville Victoria, Australia

  • Venue:
  • Journal of Combinatorial Theory Series A
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

While directed site-animals have been solved on several lattices, directed bond-animals remain unsolved on any nontrivial lattice. In this paper we demonstrate that the anisotropic generating function of directed bond-animals on the square lattice is fundamentally different from that of directed site-animals in that it is not differentiably finite. We also extend this result to directed bond-animals on hypercubic lattices. This indicates that directed bond-animals are unlikely to be solved by similar methods to those used in the solution of directed site-animals. It also implies that a solution cannot be conjectured using computer packages such as GFUN [A MAPLE package developed by B. Salvy, P. Zimmermann, E. Murray at INRIA, France, available from http://algo.inria.fr/libraries/at time of submission; B. Salvy, P. Zimmermann, GFUN: A MAPLE package for the manipulation of generating and holonomic functions in one variable, ACM Trans. Math. Software 20 (2) (1994) 163-177] or differential approximants [A.J. Guttmann, Asymptotic analysis of coefficients, in: C. Domb, J. Lebowitz (Eds.), Phase Transit. Crit. Phenom., vol. 13, Academic Press, London, 1989, pp. 1-234, programs available from http://www.ms.unimelb.edu.au/~tonyg].