Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2506.22011 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918300487778304 |
|---|---|
| author | Chen, Shaoshi Chyzak, Frédéric Ma, Pingchuan Zhu, Chaochao |
| author_facet | Chen, Shaoshi Chyzak, Frédéric Ma, Pingchuan Zhu, Chaochao |
| contents | D-finite power series appear ubiquitously in combinatorics, number theory, and mathematical physics. They satisfy systems of linear partial differential equations whose solution spaces are finite-dimensional, which makes them enjoy a lot of nice properties. After attempts by others in the 1980s, Lipshitz was the first to prove that the class they form in the multivariate case is closed under the operation of diagonal. In particular, an earlier work by Gessel had addressed the D-finiteness of the diagonals of multivariate rational power series. In this paper, we give another proof of Gessel's result that fixes a gap in his original proof, while extending it to the full class of D-finite power series. We also provide a single exponential bound on the degree and order of the defining differential equation satisfied by the diagonal of a D-finite power series in terms of the degree and order of the input differential system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_22011 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Single-exponential bounds for diagonals of D-finite power series Chen, Shaoshi Chyzak, Frédéric Ma, Pingchuan Zhu, Chaochao Combinatorics 33F10, 13N15, 68W30 D-finite power series appear ubiquitously in combinatorics, number theory, and mathematical physics. They satisfy systems of linear partial differential equations whose solution spaces are finite-dimensional, which makes them enjoy a lot of nice properties. After attempts by others in the 1980s, Lipshitz was the first to prove that the class they form in the multivariate case is closed under the operation of diagonal. In particular, an earlier work by Gessel had addressed the D-finiteness of the diagonals of multivariate rational power series. In this paper, we give another proof of Gessel's result that fixes a gap in his original proof, while extending it to the full class of D-finite power series. We also provide a single exponential bound on the degree and order of the defining differential equation satisfied by the diagonal of a D-finite power series in terms of the degree and order of the input differential system. |
| title | Single-exponential bounds for diagonals of D-finite power series |
| topic | Combinatorics 33F10, 13N15, 68W30 |
| url | https://arxiv.org/abs/2506.22011 |