{"id":"arxiv/2609.00824","url":"https://arxiv.org/abs/2609.00824","tags":["cs.SC","math.OC"],"score":0,"title":"The Indefinite Summation Problem for the Laurent Ring","domain":"cs.SC","source":"arxiv","authors":["Shiva Shankar"],"reviews":0,"subject":"cs.SC","summary":"This article solves the Indefinite Summation Problem (ISP) for the difference ring $(A, α)$, where $A$ is the Laurent ring of shift operators on the lattice $\\Z^n$, and $α$ is any ring automorphism of $A$ of finite order. The space of summable elements in $(A, α)$ is infinite dimensional, and it is possible to write down an explicit basis for it. The solution translates to a finite procedure involving a matrix multiplication, where the size of the matrix can be estimated. It follows that the arithmetic complexity of the solution can also be determined. These results extend to a solution of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}