Score: 0

Faster multivariate integration in D-modules

Published: April 17, 2025 | arXiv ID: 2504.12724v1

By: Hadrien Brochet, Frédéric Chyzak, Pierre Lairez

Potential Business Impact:

Solves hard math problems for counting special graphs.

Business Areas:
Embedded Systems Hardware, Science and Engineering, Software

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.

Page Count
40 pages

Category
Computer Science:
Symbolic Computation