Generalization to d-dimensions of a fermionic path integral for exact enumeration of polygons on hypercubic lattices

The generating function for polygons on the square lattice has been known for many decades and is closely related to the path integral formulation of a free fermion model. On the cubic and hypercubic lattices the generating function is still unknown and the problem remains open. It has been conjectured that the three-dimensional (3D) and higher dimensional problems are not solvable-or, to be more precise, that there are no differentiably finite (D-finite) solutions. In this context, very recently a Berezin integral of an exponentiated Grassmann action was found for the polygon generating function on the cubic lattice, making explicit the connection between 3D polygons and a model of interacting fermions. Here we address the problem of how to generalize the 3D result to higher dimensions. We derive a Grassmann representation in terms of a Berezin integral for the generating function of polygons on d-dimensional hypercubic lattices. On the one hand, this new result admittedly brings us no closer to the problem of finding an explicit analytic expression for the desired generating function for polygons. On the other hand, however, the significant advance reported here precisely quantifies the remarkable mathematical difficulty of finding the explicit generating function. Indeed, the non-quadratic functional form of the Grassmann action that we derive here provides a very clear picture of the formidable mathematical obstruction that would need to be overcome. Specifically, in d dimensions, the Grassmann action contains terms of degree <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mn>2</mml:mn> <mml:mo>(</mml:mo> <mml:mi>d</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo></mml:mrow> </mml:math> , so the model describes interacting rather than free fermions. It is an open problem whether or not these models of interacting fermions can in principle be free fermionized through some still undiscovered algebraic method, but it is widely believed that this goal is mathematically impossible.