Concepts de base
The paper revisits and generalizes inequalities for the summatory function of the sum of digits in a given integer base, proving that several known results can be deduced from a recent theorem on maximum mutational robustness in genotype-phenotype maps.
Résumé
The paper focuses on studying inequalities satisfied by the summatory function of the sum of digits in a given integer base. It starts by showing that the case p = 0 in Allaart's 2011 result can be deduced from Graham's 1970 inequality.
The main contributions are:
- A variation on Theorem 5.1 from a 2023 paper by Mohanty et al. on maximum mutational robustness.
- Two generalizations of Theorem 5.1 from the 2023 paper, from which most known results in the literature can be deduced.
- A proof that Theorem 5.1 from the 2023 paper is optimal in a certain sense.
- Showing that Graham's inequality and its generalizations by Allaart and Cooper are consequences of the results in this paper.
The paper also discusses potential generalizations of Allaart's 2011 result and raises several open questions for further research.