The paper focuses on a family of mathematical objects called Apostol-Dedekind sums, which are specialized finite sums that arise in number theory and have connections to modular forms, lattice point geometry, and other areas of mathematics. The authors build tools called exponential generating functions, which are formal power series that encode sequences of numbers in a compact and manipulable way. By packaging these sums into generating functions, the authors make it much easier to discover and prove relationships between them and other well-known mathematical quantities.
A central contribution is the introduction of higher-order Apostol-Dedekind sums, which generalize the classical versions to a broader and richer family of objects. The generating functions constructed for these new sums turn out to involve a wide range of classical mathematical ingredients, including Bernoulli polynomials and numbers, Euler polynomials and numbers, Stirling numbers, Array polynomials, Carlitz polynomials, and Hardy sums. The appearance of so many classical objects in one framework suggests that Apostol-Dedekind sums sit at an important crossroads in combinatorics and number theory.
Using these generating functions as a unifying tool, the authors then derive many new formulas and identities involving the higher-order sums. The generating function approach is powerful because algebraic manipulations of the series automatically produce valid mathematical identities, reducing the need for ad hoc arguments. The result is a systematic method for generating new knowledge about these sums and a clearer picture of how they relate to the broader landscape of special functions and number-theoretic sequences.