scholarly journals Analytic Combinatorics of Lattice Paths: Enumeration and Asymptotics for the Area

2006 ◽  
Vol DMTCS Proceedings vol. AG,... (Proceedings) ◽  
Author(s):  
Cyril Banderier ◽  
Bernhard Gittenberger
Keyword(s):  
Symmetric Functions ◽  
Kernel Method ◽  
Brownian Bridge ◽  
Lattice Paths ◽  
Reflected Brownian Motion ◽  
Analytic Combinatorics ◽  
Average Area ◽  
First Case ◽  
Finite Set ◽  
International Audience

International audience This paper tackles the enumeration and asymptotics of the area below directed lattice paths (walks on $\mathbb{N}$ with a finite set of jumps). It is a nice surprise (obtained via the "kernel method'') that the generating functions of the moments of the area are algebraic functions, expressible as symmetric functions in terms of the roots of the kernel. For a large class of walks, we give full asymptotics for the average area of excursions ("discrete'' reflected Brownian bridge) and meanders ("discrete'' reflected Brownian motion). We show that drift is not playing any role in the first case. We also generalise previous works related to the number of points below a path and to the area between a path and a line of rational slope.

scholarly journals Asymptotics of lattice walks via analytic combinatorics in several variables

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Stephen Melczer ◽  
Mark C. Wilson
Keyword(s):  
Generating Functions ◽  
Kernel Method ◽  
Rational Functions ◽  
Two Dimensional ◽  
Combinatorial Properties ◽  
Analytic Combinatorics ◽  
Several Variables ◽  
Algebra Approach ◽  
Finite Set ◽  
International Audience

International audience We consider the enumeration of walks on the two-dimensional non-negative integer lattice with steps defined by a finite set S ⊆ {±1, 0}2 . Up to isomorphism there are 79 unique two-dimensional models to consider, and previous work in this area has used the kernel method, along with a rigorous computer algebra approach, to show that 23 of the 79 models admit D-finite generating functions. In 2009, Bostan and Kauers used Pade ́-Hermite approximants to guess differential equations which these 23 generating functions satisfy, in the process guessing asymptotics of their coefficient sequences. In this article we provide, for the first time, a complete rigorous verification of these guesses. Our technique is to use the kernel method to express 19 of the 23 generating functions as diagonals of tri-variate rational functions and apply the methods of analytic combinatorics in several variables (the remaining 4 models have algebraic generating functions and can thus be handled by univariate techniques). This approach also shows the link between combinatorial properties of the models and features of its asymptotics such as asymptotic and polynomial growth factors. In addition, we give expressions for the number of walks returning to the x-axis, the y-axis, and the origin, proving recently conjectured asymptotics of Bostan, Chyzak, van Hoeij, Kauers, and Pech.

scholarly journals Bounded discrete walks

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
C. Banderier ◽  
P. Nicodème
Keyword(s):  
Generating Functions ◽  
High Speed ◽  
Symmetric Functions ◽  
Kernel Method ◽  
Discrete Distribution ◽  
Lattice Paths ◽  
Taylor Coefficients ◽  
Brownian Bridges ◽  
Finite Set ◽  
Speed Up

International audience This article tackles the enumeration and asymptotics of directed lattice paths (that are isomorphic to unidimensional paths) of bounded height (walks below one wall, or between two walls, for $\textit{any}$ finite set of jumps). Thus, for any lattice paths, we give the generating functions of bridges ("discrete'' Brownian bridges) and reflected bridges ("discrete'' reflected Brownian bridges) of a given height. It is a new success of the "kernel method'' that the generating functions of such walks have some nice expressions as symmetric functions in terms of the roots of the kernel. These formulae also lead to fast algorithms for computing the $n$-th Taylor coefficients of the corresponding generating functions. For a large class of walks, we give the discrete distribution of the height of bridges, and show the convergence to a Rayleigh limit law. For the family of walks consisting of a $-1$ jump and many positive jumps, we give more precise bounds for the speed of convergence. We end our article with a heuristic application to bioinformatics that has a high speed-up relative to previous work.

Analytic Combinatorics of Lattice Paths with Forbidden Patterns, the Vectorial Kernel Method, and Generating Functions for Pushdown Automata

Algorithmica ◽  
2019 ◽  
Vol 82 (3) ◽  
pp. 386-428 ◽  
Author(s):  
Andrei Asinowski ◽  
Axel Bacher ◽  
Cyril Banderier ◽  
Bernhard Gittenberger
Keyword(s):  
Kernel Method ◽  
Lattice Paths ◽  
Integer Sequences ◽  
Unified Framework ◽  
Analytic Combinatorics ◽  
On Line ◽  
Forbidden Patterns ◽  
Motzkin Paths ◽  
Self Avoiding Walks ◽  
Pushdown Automata

Abstract In this article we develop a vectorial kernel method—a powerful method which solves in a unified framework all the problems related to the enumeration of words generated by a pushdown automaton. We apply it for the enumeration of lattice paths that avoid a fixed word (a pattern), or for counting the occurrences of a given pattern. We unify results from numerous articles concerning patterns like peaks, valleys, humps, etc., in Dyck and Motzkin paths. This refines the study by Banderier and Flajolet from 2002 on enumeration and asymptotics of lattice paths: we extend here their results to pattern-avoiding walks/bridges/meanders/excursions. We show that the autocorrelation polynomial of this forbidden pattern, as introduced by Guibas and Odlyzko in 1981 in the context of rational languages, still plays a crucial role for our algebraic languages. En passant, our results give the enumeration of some classes of self-avoiding walks, and prove several conjectures from the On-Line Encyclopedia of Integer Sequences. Finally, we also give the trivariate generating function (length, final altitude, number of occurrences of the pattern p), and we prove that the number of occurrences is normally distributed and linear with respect to the length of the walk: this is what Flajolet and Sedgewick call an instance of Borges’s theorem.

scholarly journals Méthode d'agrégation des variables appliquée à la dynamique des populations

2006 ◽  
Vol Volume 5, Special Issue TAM... ◽  
Author(s):  
Pierre Auger ◽  
Abderrahim El Abdllaoui ◽  
Rachid Mchich
Keyword(s):  
Stable Limit Cycle ◽  
Stable Limit ◽  
Dynamique Des Populations ◽  
Globally Asymptotically Stable ◽  
Density Dependent ◽  
Migration Rates ◽  
First Case ◽  
International Audience ◽  
Predator Model ◽  
Predator System

International audience We present the method of aggregation of variables in the case of ordinary differential equations. We apply the method to a prey - predator model in a multi - patchy environment. In this model, preys can go to a refuge and therefore escape to predation. The predator must return regularly to his terrier to feed his progeny. We study the effect of density-dependent migration on the global stability of the prey-predator system. We consider constant migration rates, but also density-dependent migration rates. We prove that the positif equilibrium is globally asymptotically stable in the first case, and that its stability changes in the second case. The fact that we consider density-dependent migration rates leads to the existence of a stable limit cycle via a Hopf bifurcation. Nous présentons les grandes lignes de laméthode d'agrégation des variables dans les systèmes d'équations différentielles ordinaires. Nous appliquons laméthode à un modèle proie-prédateur spatialisé. Dans ce modèle, les proies peuvent échapper à la prédation en se réfugiant sur un site. Le prédateur doit aussi retourner régulièrement dans son terrier pour nourrir sa progéniture. Nous étudions les effets de migration dépendant de la densité des populations sur la stabilité globale du système proie-prédateur. Nous considérons des taux de migration constants, puis densité-dépendants. Dans le cas de taux constants il existe un équilibre positif toujours stable alors que dans le cas de taux de migration densité-dépendants, il existe un cycle limite stable via une bifurcation de Hopf.

scholarly journals Random sampling of lattice paths with constraints, via transportation

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Lucas Gerin
Keyword(s):  
Markov Chain ◽  
Markov Chains ◽  
Random Sampling ◽  
Optimal Transport ◽  
Lattice Paths ◽  
Dimensional Lattice ◽  
One Dimensional ◽  
Contraction Property ◽  
International Audience

International audience We build and analyze in this paper Markov chains for the random sampling of some one-dimensional lattice paths with constraints, for various constraints. These chains are easy to implement, and sample an "almost" uniform path of length $n$ in $n^{3+\epsilon}$ steps. This bound makes use of a certain $\textit{contraction property}$ of the Markov chain, and is proved with an approach inspired by optimal transport.

scholarly journals Counting occurrences for a finite set of words: an inclusion-exclusion approach

2007 ◽  
Vol DMTCS Proceedings vol. AH,... (Proceedings) ◽  
Author(s):  
Frédérique Bassino ◽  
Julien Clément ◽  
J. Fayolle ◽  
P. Nicodème
Keyword(s):  
Generating Function ◽  
Exclusion Principle ◽  
Complete Proof ◽  
Detailed Proof ◽  
Finite Set ◽  
International Audience ◽  
The One ◽  
Maple Package

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.

scholarly journals Graphs with many vertex-disjoint cycles

2012 ◽  
Vol Vol. 14 no. 2 (Graph Theory) ◽  
Author(s):  
Dieter Rautenbach ◽  
Friedrich Regen
Keyword(s):  
Graph Theory ◽  
Upper Bound ◽  
Linear Time ◽  
Simple Extension ◽  
Disjoint Cycles ◽  
Cyclomatic Number ◽  
Finite Set ◽  
Extension Rule ◽  
International Audience ◽  
Vertex Disjoint

Graph Theory International audience We study graphs G in which the maximum number of vertex-disjoint cycles nu(G) is close to the cyclomatic number mu(G), which is a natural upper bound for nu(G). Our main result is the existence of a finite set P(k) of graphs for all k is an element of N-0 such that every 2-connected graph G with mu(G)-nu(G) = k arises by applying a simple extension rule to a graph in P(k). As an algorithmic consequence we describe algorithms calculating minmu(G)-nu(G), k + 1 in linear time for fixed k.

scholarly journals Combinatorics of k-shapes and Genocchi numbers

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Florent Hivert ◽  
Olivier Mallet
Keyword(s):  
Symmetric Functions ◽  
New Model ◽  
Work In Progress ◽  
Genocchi Numbers ◽  
Combinatorial Model ◽  
International Audience

International audience In this paper we present a work in progress on a conjectural new combinatorial model for the Genocchi numbers. This new model called irreducible k-shapes has a strong algebraic background in the theory of symmetric functions and leads to seemingly new features on the theory of Genocchi numbers. In particular, the natural q-analogue coming from the degree of symmetric functions seems to be unknown so far. Dans cet article, nous présentons un travail en cours sur un nouveau modèle combinatoire conjectural pour les nombres de Genocchi. Ce nouveau modèle est celui des k-formes irréductibles, qui repose sur de solides bases algébriques en lien avec la théorie des fonctions symétriques et qui conduit à des aspects apparemment nouveaux de la théorie des nombres de Genocchi. En particulier, le q-analogue naturel venant du degré des fonctions symétriques semble inconnu jusqu'ici.

scholarly journals How to get the weak order out of a digraph ?

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Francois Viard
Keyword(s):  
Wreath Product ◽  
Symmetric Function ◽  
Coxeter Groups ◽  
Symmetric Functions ◽  
Weak Order ◽  
Möbius Function ◽  
Mobius Function ◽  
Acyclic Digraph ◽  
International Audience

International audience We construct a poset from a simple acyclic digraph together with a valuation on its vertices, and we compute the values of its Möbius function. We show that the weak order on Coxeter groups $A$<sub>$n-1$</sub>, $B$<sub>$n$</sub>, $Ã$<sub>$n$</sub>, and the flag weak order on the wreath product &#8484;<sub>$r$</sub> &#8768; $S$<sub>$n$</sub> introduced by Adin, Brenti and Roichman (2012), are special instances of our construction. We conclude by briefly explaining how to use our work to define quasi-symmetric functions, with a special emphasis on the $A$<sub>$n-1$</sub> case, in which case we obtain the classical Stanley symmetric function. On construit une famille d’ensembles ordonnés à partir d’un graphe orienté, simple et acyclique munit d’une valuation sur ses sommets, puis on calcule les valeurs de leur fonction de Möbius respective. On montre que l’ordre faible sur les groupes de Coxeter $A$<sub>$n-1$</sub>, $B$<sub>$n$</sub>, $Ã$<sub>$n$</sub>, ainsi qu’une variante de l’ordre faible sur les produits en couronne &#8484;<sub>$r$</sub> &#8768; $S$<sub>$n$</sub> introduit par Adin, Brenti et Roichman (2012), sont des cas particuliers de cette construction. On conclura en expliquant brièvement comment ce travail peut-être utilisé pour définir des fonction quasi-symétriques, en insistant sur l’exemple de l’ordre faible sur $A$<sub>$n-1$</sub> où l’on obtient les séries de Stanley classiques.

Sign in / Sign up

Export Citation Format

Share Document