{"id":"arxiv/2609.24845","url":"https://arxiv.org/abs/2609.24845","tags":["cs.SC","math.CO"],"score":0,"title":"Complete Reductions and Idempotent Representations for $RΠΣ^*$-towers","domain":"cs.SC","source":"arxiv","authors":["Yiman Gao","Jakob Obrovsky","Carsten Schneider"],"reviews":0,"subject":"cs.SC","summary":"$RΠΣ^*$-extensions form a rich class of difference rings that provide a unified algebraic framework for modeling indefinite nested sums, transcendental products, and nested products over roots of unity structures that frequently appear in combinatorics, number theory, and particle physics. For a large subclass of these extensions whose ring of constants is a field, we introduce a complete reduction approach to resolve the telescoping problem without solving any difference equations. More precisely, we explicitly construct a complement to the subspace of differences over the constant field…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}