The algebraicity of generating functions using nested Artin approximation
Abstract
We present an elementary proof of the bivariate nested Artin-Popescu approximation theorem: it ensures the existence of a nested algebraic power series solution of a given polynomial (functional) equation. Such equations often appear in enumerative combinatorics, e.g., when counting lattice walks in the first quadrant. The ad hoc proofs of the algebraicity of the generating functions, as e.g. proposed by Bousquet-Mélou and Jehanne , can thus be replaced by applying the theorem without need to resort to the extremely difficult general case solved by Popescu. Our method of proof follows closely the arguments of Denef and Lipshitz who treat a more general case (namely, the Artin approximation for Weierstrass systems). This is combined with the techniques of Hauser and Woblistin for the description of the overall geometry of the infinite dimensional variety formed by all power series solutions. Putting both approaches together now provides combinatorialists with an accessible proof for the bivariate nested Artin-Popescu approximation theorem.
Related
- Estimating the marginal likelihood with Integrated nested Laplace approximation (INLA)
- Extreme values of Artin L-functions at s=1
- Efficient model exploration with the integrated nested Laplace approximation
- Bilinear generating functions of the multivariable Al-Salam-Carlitz polynomials and applications
- Generating Functions for Casimir Invariants of Simple Lie Algebras
BibTeX
@misc{bohm2026algebraicity,
title = {{The algebraicity of generating functions using nested Artin approximation}},
author = {Gregor Böhm},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24711},
eprint = {2609.24711},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24711},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - The algebraicity of generating functions using nested Artin approximation
AU - Gregor Böhm
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24711
UR - https://arxiv.org/abs/2609.24711
AB - We present an elementary proof of the bivariate nested Artin-Popescu approximation theorem: it ensures the existence of a nested algebraic power series solution of a given polynomial (functional) equation. Such equations often appear in enumerative combinatorics, e.g., when counting lattice walks in the first quadrant. The ad hoc proofs of the algebraicity of the generating functions, as e.g. proposed by Bousquet-Mélou and Jehanne , can thus be replaced by applying the theorem without need to resort to the extremely difficult general case solved by Popescu. Our method of proof follows closely the arguments of Denef and Lipshitz who treat a more general case (namely, the Artin approximation for Weierstrass systems). This is combined with the techniques of Hauser and Woblistin for the description of the overall geometry of the infinite dimensional variety formed by all power series solutions. Putting both approaches together now provides combinatorialists with an accessible proof for the bivariate nested Artin-Popescu approximation theorem.
ER -