The algebraicity of generating functions using nested Artin approximation
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.24711
curl -X POST /api/v1/records/arxiv/2609.24711/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.24711/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'