scholarly journals Families of prudent self-avoiding walks

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Mireille Bousquet-Mélou

International audience A self-avoiding walk on the square lattice is $\textit{prudent}$, if it never takes a step towards a vertex it has already visited. Préa was the first to address the enumeration of these walks, in 1997. For 4 natural classes of prudent walks, he wrote a system of recurrence relations, involving the length of the walks and some additional "catalytic'' parameters. The generating function of the first class is easily seen to be rational. The second class was proved to have an algebraic (quadratic) generating function by Duchi (FPSAC'05). Here, we solve exactly the third class, which turns out to be much more complex: its generating function is not algebraic, nor even $D$-finite. The fourth class ―- general prudent walks ―- still defeats us. However, we design an isotropic family of prudent walks on the triangular lattice, which we count exactly. Again, the generating function is proved to be non-$D$-finite. We also study the end-to-end distance of these walks and provide random generation procedures. Un chemin auto-évitant sur le réseau carré est $\textit{prudent}$, s'il ne fait jamais un pas en direction d'un point qu'il a déjà visité. Préa est le premier à avoir cherché à énumérer ces chemins, en 1997. Pour 4 classes naturelles de chemins prudents, il donne un système de relations de récurrence, impliquant la longueur des chemins et plusieurs paramètres "catalytiques'' supplémentaires. La première classe a une série génératrice simple, rationnelle. La deuxième a une série algébrique (quadratique) (Duchi, FPSAC'05). Nous comptons ici les chemins de la troisième classe, et observons un saut de complexité: la série obtenue n'est ni algébrique, ni même différentiellement finie. La quatrième classe, celle des chemins prudents généraux, résiste encore. Cependant, nous définissons un modèle isotrope de chemins prudents sur réseau triangulaire, que nous résolvons de nouveau, la série obtenue n'est pas différentiellement finie. Nous étudions aussi la vitesse d'éloignement de ces chemins, et proposons des algorithmes de génération aléatoire.

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Axel Bacher ◽  
Mireille Bousquet-Mélou

International audience We define a new family of self-avoiding walks (SAW) on the square lattice, called $\textit{weakly directed walks}$. These walks have a simple characterization in terms of the irreducible bridges that compose them. We determine their generating function. This series has a complex singularity structure and in particular, is not D-finite. The growth constant is approximately 2.54 and is thus larger than that of all natural families of SAW enumerated so far (but smaller than that of general SAW, which is about 2.64). We also prove that the end-to-end distance of weakly directed walks grows linearly. Finally, we study a diagonal variant of this model. Nous définissons une nouvelle famille de chemins auto-évitants (CAE) sur le réseau carré, appelés $\textit{chemins faiblement dirigés}$. Ces chemins ont une caractérisation simple en termes des ponts irréductibles qui les composent. Nous déterminons leur série génératrice. Cette série a une structure de singularité complexe et n'est en particulier pas D-finie. La constante de croissance est environ 2,54, ce qui est supérieur à toutes les familles naturelles de SAW étudiées jusqu'à présent, mais inférieur aux CAE généraux (dont la constante est environ 2,64). Nous prouvons également que la distance moyenne entre les extrémités du chemin croît linéairement. Enfin, nous étudions une variante diagonale du modèle.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Axel Bacher ◽  
Nicholas Beaton

International audience We define and enumerate a new class of self-avoiding walks on the square lattice, which we call <i>weakly prudent bridges</i>. Their definition is inspired by two previously-considered classes of self-avoiding walks, and can be viewed as a combination of those two models. We consider several methods for recursively generating these objects, each with its own advantages and disadvantages, and use these methods to solve the generating function, obtain very long series, and randomly generate walks of arbitrary size. We find that the growth constant of these walks is approximately 2.58, which is larger than that of any previously-solved class of self-avoiding walks.


2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Nicholas R. Beaton

International audience In a recent paper with Bousquet-Mélou, de Gier, Duminil-Copin and Guttmann (2012), we proved that a model of self-avoiding walks on the honeycomb lattice, interacting with an impenetrable surface, undergoes an adsorption phase transition when the surface fugacity is 1+√2. Our proof used a generalisation of an identity obtained by Duminil-Copin and Smirnov (2012), and confirmed a conjecture of Batchelor and Yung (1995). Here we consider a similar model of self-avoiding walk adsorption on the honeycomb lattice, but with the impenetrable surface placed at a right angle to the previous orientation. For this model there also exists a conjecture for the critical surface fugacity, made by Batchelor, Bennett-Wood and Owczarek (1998). We adapt the methods of the earlier paper to this setting in order to prove the critical surface fugacity, but have to deal with several subtle complications which arise. This article is an abbreviated version of a paper of the same title, currently being prepared for submission.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Michael Albert ◽  
Mireille Bousquet-Mélou

International audience At the end of the 1960s, Knuth characterised in terms of forbidden patterns the permutations that can be sorted using a stack. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Pratt and Tarjan asked about permutations that can be sorted using two stacks in parallel. This question is significantly harder, and the associated counting question has remained open for 40 years. We solve it by giving a pair of equations that characterise the generating function of such permutations. The first component of this system describes the generating function $Q(a,u)$ of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with this series. Given the recent activity on walks confined to cones, we believe them to be attractive $\textit{per se}$. We prove these conjectures for closed walks confined to the upper half plane, or not confined at all. Nous énumérons les permutations triables par deux piles en parallèle. Cette question était restée ouverte depuis les travaux de Knuth, Pratt et Tarjan dans les années 70. Notre solution consiste en une paire d’équations qui caractérisent la série génératrice. La première composante de ce système décrit la série $Q(a,u)$ des chemins fermés confinés dans le quart de plan positif, comptés selon leur longueur et le nombre de facteurs Nord-Ouest ou Est-Sud. Notre analyse du comportement asymptotique du nombre de permutations triables repose à ce stade sur deux conjectures remarquables portant sur $Q(a; u)$. Nous les prouvons pour les chemins fermés non confinés, ou confinés au demi-plan supérieur.


1987 ◽  
Vol 01 (05n06) ◽  
pp. 1249-1264 ◽  
Author(s):  
K.Y. LIN

Since the introduction of spiral self-avoiding walks on the square lattice by Privman in 1983, there has been considerable interest in this model and its generalizations. Recent progress on various models of spiral self-avoiding walks and loops is reviewed. We discuss the methods to derive exact results for (I) the number Sn and the mean end-to-end distance Rn of spiral self-avoiding walks with n steps on the square and triangular lattices, (2) the number Cn of spiral self-avoiding loops with n steps on the square and triangular lattices, (3) the number of anisotropic spiral self-avoiding loops on the square lattice.


1980 ◽  
Vol 72 (4) ◽  
pp. 2702-2707 ◽  
Author(s):  
Ronnie Barr ◽  
Chava Brender ◽  
Melvin Lax

2018 ◽  
Vol 52 (2) ◽  
pp. 025004 ◽  
Author(s):  
F Gassoumov ◽  
E J Janse van Rensburg

2014 ◽  
Vol Vol. 16 no. 1 (Combinatorics) ◽  
Author(s):  
Toufik Mansour ◽  
Mark Shattuck ◽  
Mark Wilson

Combinatorics International audience A composition is a sequence of positive integers, called parts, having a fixed sum. By an m-congruence succession, we will mean a pair of adjacent parts x and y within a composition such that x=y(modm). Here, we consider the problem of counting the compositions of size n according to the number of m-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case m=2, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size n having no m-congruence successions.


2007 ◽  
Vol DMTCS Proceedings vol. AH,... (Proceedings) ◽  
Author(s):  
Frédérique Bassino ◽  
Julien Clément ◽  
J. Fayolle ◽  
P. Nicodème

International audience In this paper, we give the multivariate generating function counting texts according to their length and to the number of occurrences of words from a finite set. The application of the inclusion-exclusion principle to word counting due to Goulden and Jackson (1979, 1983) is used to derive the result. Unlike some other techniques which suppose that the set of words is reduced (<i>i..e.</i>, where no two words are factor of one another), the finite set can be chosen arbitrarily. Noonan and Zeilberger (1999) already provided a MAPLE package treating the non-reduced case, without giving an expression of the generating function or a detailed proof. We give a complete proof validating the use of the inclusion-exclusion principle and compare the complexity of the method proposed here with the one using automata for solving the problem.


2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Lenny Tevlin

International audience This paper contains two results. First, I propose a $q$-generalization of a certain sequence of positive integers, related to Catalan numbers, introduced by Zeilberger, see Lassalle (2010). These $q$-integers are palindromic polynomials in $q$ with positive integer coefficients. The positivity depends on the positivity of a certain difference of products of $q$-binomial coefficients.To this end, I introduce a new inversion/major statistics on lattice walks. The difference in $q$-binomial coefficients is then seen as a generating function of weighted walks that remain in the upper half-plan. Cet document contient deux résultats. Tout d’abord, je vous propose un $q$-generalization d’une certaine séquence de nombres entiers positifs, liés à nombres de Catalan, introduites par Zeilberger (Lassalle, 2010). Ces $q$-integers sont des polynômes palindromiques à $q$ à coefficients entiers positifs. La positivité dépend de la positivité d’une certaine différence de produits de $q$-coefficients binomial.Pour ce faire, je vous présente une nouvelle inversion/major index sur les chemins du réseau. La différence de $q$-binomial coefficients est alors considérée comme une fonction de génération de trajets pondérés qui restent dans le demi-plan supérieur.


Sign in / Sign up

Export Citation Format

Share Document