Summing the sum of digits
Provides a unifying perspective for known results in digital sum theory, but is incremental as it derives existing inequalities from a prior theorem.
The paper generalizes inequalities for the summatory function of digit sums in integer bases, showing that several known results follow from a 2023 theorem on mutational robustness in genotype-phenotype maps.
We revisit and generalize inequalities for the summatory function of the sum of digits in a given integer base. We prove that several known results can be deduced from a theorem in a 2023 paper by Mohanty, Greenbury, Sarkany, Narayanan, Dingle, Ahnert, and Louis, whose primary scope is the maximum mutational robustness in genotype-phenotype maps.