Deciding summability via residues in theory and in practice
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910920864694272 |
|---|---|
| author | Arreche, Carlos E. |
| author_facet | Arreche, Carlos E. |
| contents | In difference algebra, summability arises as a basic problem upon which rests the effective solution of other more elaborate problems, such as creative telescoping problems and the computation of Galois groups of difference equations. In 2012 Chen and Singer introduced discrete residues as a theoretical obstruction to summability for rational functions with respect to the shift and $q$-dilation difference operators. Since then analogous notions of discrete residues have been defined in other difference settings relevant for applications, such as for Mahler and elliptic shift difference operators. Very recently there have been some advances in making these theoretical obstructions computable in practice. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_20003 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Deciding summability via residues in theory and in practice Arreche, Carlos E. Symbolic Computation Algebraic Geometry Number Theory 39A06, 33F10, 68W30, 40C15, 12H10 I.1.2; F.2.1 In difference algebra, summability arises as a basic problem upon which rests the effective solution of other more elaborate problems, such as creative telescoping problems and the computation of Galois groups of difference equations. In 2012 Chen and Singer introduced discrete residues as a theoretical obstruction to summability for rational functions with respect to the shift and $q$-dilation difference operators. Since then analogous notions of discrete residues have been defined in other difference settings relevant for applications, such as for Mahler and elliptic shift difference operators. Very recently there have been some advances in making these theoretical obstructions computable in practice. |
| title | Deciding summability via residues in theory and in practice |
| topic | Symbolic Computation Algebraic Geometry Number Theory 39A06, 33F10, 68W30, 40C15, 12H10 I.1.2; F.2.1 |
| url | https://arxiv.org/abs/2504.20003 |