Three attractive osculating walkers and a polymer collapse transition

Abstract

Consider n interacting lock-step walkers in one dimension which start at the points {0,2,4, . . . ,2(n-1)} and at each tick of a clock move unit distance to the left or right with the constraint that if two walkers land on the same site their next steps must be in the opposite direction so that crossing is avoided. When two walkers visit and then leave the same site an osculation is said to take place. The space-time paths of these walkers may be taken to represent the configurations of n fully directed polymer chains of length t embedded on a directed square lattice. If a weight lambda is associated with each of the i osculations the partition function is Z circumflex {(n)}_{t}(\lambda)=\sum circumflex {\lfloor;\frac{(n-1)\,t}{2}}_{i=0}\,z circumflex{(n)}_{t, i}\lambda circumflexi where z(n)t,i is the number of t-step configurations having i osculations. When lambda=0 the partition function is asymptotically equal to the number of vicious walker star configurations for which an explicit formula is known. The asymptotics of such configurations was discussed by Fisher in his Boltzmann medal lecture. Also for n=2 the partition function for arbitrary lambda is easily obtained by Fisher's necklace method. For n>2 and lambdalambda0 the only exact result so far is that of Guttmann and Voege who obtained the generating function G(n)(lambda,u)=lambda8t=0Z(n)t(lambda)ut for lambda=1 and n=3. The main result of this paper is to extend their result to arbitrary lambda. By fitting computer generated data it is conjectured that Z(3)t(lambda) satisfies a third order inhomogeneous difference equation with constant coefficients which is used to obtain Gcircumflex{(3)}(\lambda, u)=\frac{(\lambda-3)(\lambda+2)-\lambda (12-5\lambda +\lambdacircumflex2)\, u-2\lambdacircumflex3 ucircumflex2+2(\lambda-4) (\lambdacircumflex2 ucircumflex2-1)\, c(2u)}{(\lambda-2-\lambdacircumflex2 u)(\lambda-1-4\lambda u-4\lambdacircumflex2 ucircumflex2 )} where c(u)=\frac{1-\sqrt{1-4u}}{2u}, the generating function for Catalan numbers. The nature of the collapse transition which occurs at lambda=4 is discussed and extensions to higher values of n are considered. It is argued that the position of the collapse transition is independent of n.