English

Faster multivariate integration in D-modules

Symbolic Computation 2026-03-20 v2

Abstract

We present a new algorithm for solving the reduction problem in the context of holonomic integrals, which in turn provides an approach to integration with parameters. Our method extends the Griffiths--Dwork reduction technique to holonomic systems and is implemented in Julia. While not yet outperforming creative telescoping in D-finite cases, it enhances computational capabilities within the holonomic framework. As an application, we derive a previously unattainable differential equation for the generating series of 8-regular graphs.

Keywords

Cite

@article{arxiv.2504.12724,
  title  = {Faster multivariate integration in D-modules},
  author = {Hadrien Brochet and Frédéric Chyzak and Pierre Lairez},
  journal= {arXiv preprint arXiv:2504.12724},
  year   = {2026}
}

Comments

Revised version with several improvements, including new examples