Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. Coefficients of alge ...
Conference paper

Coefficients of algebraic functions: formulae and asymptotics

Cyril Banderier ORCID (1), Michael Drmota (2)
(1) Laboratoire d'Informatique de Paris-Nord
(2) Institut für Diskrete Mathematik und Geometrie [Wien]
Download article
Open on HAL
Imported on
November 21, 2016
Published on
December 31, 2012
Last modified on
March 31, 2025
Volume
DMTCS Proceedings vol. AS, 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013)
Proceedings
DOI
10.46298/dmtcs.2366
License
https://about.hal.science/hal-authorisation-v1
Indicators
797
Views
1363
Downloads

Coefficients of algebraic functions: formulae and asymptotics

Cyril Banderier ORCID (1), Michael Drmota (2)
(1) Laboratoire d'Informatique de Paris-Nord
(2) Institut für Diskrete Mathematik und Geometrie [Wien]
Abstract
English
This paper studies the coefficients of algebraic functions. First, we recall the too-little-known fact that these coefficients $f_n$ have a closed form. Then, we study their asymptotics, known to be of the type $f_n \sim C A^n n^{\alpha}$. When the function is a power series associated to a context-free grammar, we solve a folklore conjecture: the appearing critical exponents $\alpha$ can not be $^1/_3$ or $^{-5}/_2$, they in fact belong to a subset of dyadic numbers. We extend what Philippe Flajolet called the Drmota-Lalley-Woods theorem (which is assuring $\alpha=^{-3}/_2$ as soon as a "dependency graph" associated to the algebraic system defining the function is strongly connected): We fully characterize the possible critical exponents in the non-strongly connected case. As a corollary, it shows that certain lattice paths and planar maps can not be generated by a context-free grammar (i.e., their generating function is not $\mathbb{N}-algebraic). We end by discussing some extensions of this work (limit laws, systems involving non-polynomial entire functions, algorithmic aspects).
French
Cet article a pour héros les coefficients des fonctions algébriques. Après avoir rappelé le fait trop peu connu que ces coefficients $f_n$ admettent toujours une forme close, nous étudions leur asymptotique $f_n \sim C A^n n^{\alpha}$. Lorsque la fonction algébrique est la série génératrice d'une grammaire non-contextuelle, nous résolvons une vieille conjecture du folklore : les exposants critiques $\alpha$ ne peuvent pas être $^1/_3$ ou $^{-5}/_2$ et sont en fait restreints à un sous-ensemble des nombres dyadiques. Nous étendons ce que Philippe Flajolet appelait le théorème de Drmota-Lalley-Woods (qui affirme que $\alpha=^{-3}/_2$ dès lors qu'un "graphe de dépendance" associé au système algébrique est fortement connexe) : nous caractérisons complètement les exposants critiques dans le cas non fortement connexe. Un corolaire immédiat est que certaines marches et cartes planaires ne peuvent pas être engendrées par une grammaire non-contextuelle non ambigüe (i. e., leur série génératrice n'est pas $\mathbb{N}-algébrique). Nous terminons par la discussion de diverses extensions de nos résultats (lois limites, systèmes d'équations de degré infini, aspects algorithmiques).
Keywords
  • [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
  • analytic combinatorics
  • generating function
  • algebraic function
  • singularity analysis
  • context-free grammars
  • critical exponent
  • non-strongly connected positive systems
  • Gaussian limit laws
  • $\mathbb{N}$-algebraic function
Cited by

Source: OpenCitations

  • Sofic-Dyck Shifts

    Lecture notes in computer science

    Authors : Marie-Pierre Béal ORCID, Michel Blockelet, Cătălin Dima ORCID

    Journal reference : Volume , 2014, pp. 63-74

    DOI : 10.1007/978-3-662-44522-8_6
  • On the algebraicity of Puiseux series

    arXiv (Cornell University)

    Authors : Michel Hickel, Mickaël Matusinski ORCID

    Journal reference : Volume 30, 2017, pp. 589-620

    DOI : 10.1007/s13163-017-0236-3
Preview
Loading PDF preview...