The field of analytic combinatorics is dedicated to the creation of effective techniques to study the large-scale behaviour of combinatorial objects. Although classical results in analytic combinatorics are mainly concerned with univariate generating functions, over the last two decades a theory of analytic combinatorics in several variables (ACSV) has been developed to study the asymptotic behaviour of multivariate sequences. In this work we survey ACSV from a probabilistic perspective, illustrating how its most advanced methods provide efficient algorithms to derive limit theorems, and comparing the results to past work deriving limit theorems. Using the results of ACSV, we provide a SageMath package that can automatically compute (and rigorously verify) limit theorems for a large class of combinatorial generating functions. To illustrate the techniques involved, we also establish an explicit local central limit theorems for a family of combinatorial classes whose generating functions are linear in the variables tracking each parameter. Applications covered by this result include the distribution of cycles in certain restricted permutations (proving a limit theorem stated as a conjecture in recent work of Chung et al.), integer compositions, and n-colour compositions with varying restrictions and values tracked. Key to establishing these explicit results in an arbitrary dimension is an interesting symbolic determinant, which we compute by conjecturing and then proving an appropriate LU-factorization. It is our hope that this work provides readers a blueprint to apply the powerful tools of ACSV in their own work, making them more accessible to combinatorialists, probabilists, and those in adjacent fields.
@article{10_37236_11732,
author = {Stephen Melczer and Tiadora Ruza},
title = {Central limit theorems via analytic combinatorics in several variables},
journal = {The electronic journal of combinatorics},
year = {2024},
volume = {31},
number = {2},
doi = {10.37236/11732},
zbl = {1536.05029},
url = {http://geodesic.mathdoc.fr/articles/10.37236/11732/}
}
TY - JOUR
AU - Stephen Melczer
AU - Tiadora Ruza
TI - Central limit theorems via analytic combinatorics in several variables
JO - The electronic journal of combinatorics
PY - 2024
VL - 31
IS - 2
UR - http://geodesic.mathdoc.fr/articles/10.37236/11732/
DO - 10.37236/11732
ID - 10_37236_11732
ER -
%0 Journal Article
%A Stephen Melczer
%A Tiadora Ruza
%T Central limit theorems via analytic combinatorics in several variables
%J The electronic journal of combinatorics
%D 2024
%V 31
%N 2
%U http://geodesic.mathdoc.fr/articles/10.37236/11732/
%R 10.37236/11732
%F 10_37236_11732
Stephen Melczer; Tiadora Ruza. Central limit theorems via analytic combinatorics in several variables. The electronic journal of combinatorics, Tome 31 (2024) no. 2. doi: 10.37236/11732
