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 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 Arc-Coloured Permutations

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Lily Yen
Keyword(s):  
Generating Functions ◽  
Joint Distribution ◽  
Rational Functions ◽  
Set Partitions ◽  
Combinatorial Objects ◽  
Crossing Numbers ◽  
Rational Series ◽  
Nous Montrons ◽  
International Audience ◽  
Labelled Graphs

International audience The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through tableau-like objects. Recently, Chen and Guo for matchings, and Marberg for set partitions extended the result to coloured arc annotated diagrams. We prove that symmetric joint distribution continues to hold for arc-coloured permutations. As in Marberg's recent work, but through a different interpretation, we also conclude that the ordinary generating functions for all j-noncrossing, k-nonnesting, r-coloured permutations according to size n are rational functions. We use the interpretation to automate the generation of these rational series for both noncrossing and nonnesting coloured set partitions and permutations. <begin>otherlanguage*</begin>french L'équidistribution de plusieurs statistiques décrites en termes d'emboitements et de chevauchements d'arcs s'observes dans plusieurs familles d'objects combinatoires, tels que les couplages, partitions d'ensembles, permutations et graphes étiquetés. L'involution échangeant le nombre d'emboitements et de chevauchements dans les partitions d'ensemble due à Krattenthaler, et aussi Chen, Deng, Du, Stanley et Yan, et l'involution similaire dans les permutations due à Burrill, Mishna et Post, requièrent d'utiliser des objets de type tableaux. Récemment, Chen et Guo pour les couplages, et Marberg pour les partitions d'ensembles, ont étendu ces résultats au cas de diagrammes arc-annotés coloriés. Nous démontrons que la propriété d'équidistribution s'observe est aussi vraie dans le cas de permutations aux arcs coloriés. Tout comme dans le travail résent de Marberg, mais via un autre chemin, nous montrons que les séries génératrices ordinaires des permutations r-coloriées ayant au plus j chevauchements et k emboitements, comptées selon la taille n, sont des fonctions rationnelles. Nous décrivons aussi des algorithmes permettant de calculer ces fonctions rationnelles pour les partitions d'ensembles et les permutations coloriées sans emboitement ou sans chevauchement. <end>otherlanguage*</end>

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.

scholarly journals Directed figure codes are decidable

2009 ◽  
Vol Vol. 11 no. 2 (Automata, Logic and Semantics) ◽  
Author(s):  
Michal Kolarz ◽  
Wlodzimierz Moczurad
Keyword(s):  
Two Dimensional ◽  
End Points ◽  
Constructive Algorithm ◽  
The Status ◽  
Finite Set ◽  
International Audience

Automata, Logic and Semantics International audience Two-dimensional structures of various kinds can be viewed as generalizations of words. Codicity verification and the defect effect, important properties related to word codes, are studied also in this context. Unfortunately, both are lost in the case of two common structures, polyominoes and figures. We consider directed figures defined as labelled polyominoes with designated start and end points, equipped with catenation operation that uses a merging function to resolve possible conflicts. We prove that in this setting verification whether a given finite set of directed figures is a code is decidable and we give a constructive algorithm. We also clarify the status of the defect effect for directed figures.

scholarly journals The probability of planarity of a random graph near the critical point

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Marc Noy ◽  
Vlady Ravelomanana ◽  
Juanjo Rué
Keyword(s):  
Critical Point ◽  
Random Graph ◽  
Random Graphs ◽  
Generating Functions ◽  
Exact Expression ◽  
Critical Window ◽  
Analytic Combinatorics ◽  
Analytic Methods ◽  
International Audience ◽  
Standing Question

International audience Erdős and Rényi conjectured in 1960 that the limiting probability $p$ that a random graph with $n$ vertices and $M=n/2$ edges is planar exists. It has been shown that indeed p exists and is a constant strictly between 0 and 1. In this paper we answer completely this long standing question by finding an exact expression for this probability, whose approximate value turns out to be $p ≈0.99780$. More generally, we compute the probability of planarity at the critical window of width $n^{2/3}$ around the critical point $M=n/2$. We extend these results to some classes of graphs closed under taking minors. As an example, we show that the probability of being series-parallel converges to 0.98003. Our proofs rely on exploiting the structure of random graphs in the critical window, obtained previously by Janson, Łuczak and Wierman, by means of generating functions and analytic methods. This is a striking example of how analytic combinatorics can be applied to classical problems on random graphs.

scholarly journals Applied Optimization and Approximation

2014 ◽  
Vol 3 (4) ◽  
pp. 37-48
Author(s):  
Octav Olteanu
Keyword(s):  
Optimal Control ◽  
Cost Function ◽  
Linear Function ◽  
Polynomial Approximation ◽  
Moment Problem ◽  
Quadratic Forms ◽  
Two Dimensional ◽  
Several Variables ◽  
Applied Optimization ◽  
The Moment

The present work deals with optimization in kinematics, generalizing previous results of the author. A second theme is maximizing the constrained gain linear function and minimizing the constrained cost function. Elementary notions of optimal control are considered as well. Finally, polynomial approximation results on unbounded subsets in several variables are applied to the moment problem. The existence of the solution of a two dimensional moment problem is characterized in terms of quadratic forms.

scholarly journals Area of Brownian Motion with Generatingfunctionology

2003 ◽  
Vol DMTCS Proceedings vol. AC,... (Proceedings) ◽  
Author(s):  
Michel Nguyên Thê
Keyword(s):  
Brownian Motion ◽  
Random Walks ◽  
Generating Functions ◽  
Limit Distributions ◽  
Dyck Paths ◽  
Different Types ◽  
International Audience

International audience This paper gives a survey of the limit distributions of the areas of different types of random walks, namely Dyck paths, bilateral Dyck paths, meanders, and Bernoulli random walks, using the technology of generating functions only.

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.

Sign in / Sign up

Export Citation Format

Share Document