pith. sign in

arxiv: 2311.16806 · v3 · pith:WTHMO3UDnew · submitted 2023-11-28 · 🧮 math.NT · cs.DM· math.CO

Summing the sum of digits

Jean-Paul Allouche , Manon Stipulanti This is my paper

Pith reviewed 2026-05-24 06:06 UTC · model grok-4.3

classification 🧮 math.NT cs.DMmath.CO
keywords sum of digitssummatory functioninequalitiesmutational robustnessgenotype-phenotype mapsinteger bases
0
0 comments X

The pith

Known inequalities for the summatory function of the sum of digits follow from a mutational robustness theorem.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that several known inequalities for the summatory function of the sum of digits in an integer base can be recovered as direct consequences of a theorem originally developed for maximum mutational robustness in genotype-phenotype maps. This is achieved by applying the theorem through a suitable mapping or specialization to the number-theoretic setting. A sympathetic reader would care because the result reveals that classical inequalities in arithmetic can arise as instances of a more general structural principle from evolutionary biology, without needing separate proofs.

Core claim

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. The paper revisits and generalizes inequalities for the summatory function of the sum of digits in a given integer base by this deduction.

What carries the argument

The mutational robustness theorem from genotype-phenotype maps, specialized via a mapping to the summatory function of the sum of digits to recover and generalize the inequalities.

Load-bearing premise

The mutational robustness theorem applies directly to the summatory function of the sum of digits via a suitable mapping without requiring extra conditions or modifications.

What would settle it

Numerical verification that the mapped summatory function violates the robustness bound for some base, or that a known inequality fails to follow from the theorem under the proposed mapping.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to revisit and generalize inequalities for the summatory function of the sum-of-digits function s_b(n) in base b, and asserts that several known results follow directly from a theorem on maximum mutational robustness in genotype-phenotype maps appearing in Mohanty et al. (2023).

Significance. If the required mapping from the summatory digit-sum problem to the mutational-robustness setting can be made explicit and shown to satisfy the hypotheses of the 2023 theorem without additional restrictions on b, the work would supply an unexpected cross-disciplinary derivation of classical number-theoretic bounds. At present the significance cannot be assessed because the mapping itself is not exhibited.

major comments (2)
  1. [Abstract] Abstract and main text: the assertion that known inequalities for the summatory function follow from the Mohanty et al. theorem is stated without any description of the genotype-phenotype encoding, the correspondence between digit changes and mutations, or the verification that the finiteness and neighborhood assumptions of the 2023 result hold for every integer base b.
  2. The deduction therefore rests on an unverified specialization; any mismatch between the additive carry-free structure of s_b(n) and the mutational neighborhood model would mean the claimed direct application does not hold.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for highlighting the need for an explicit mapping. We will revise the manuscript to include a dedicated subsection that defines the genotype-phenotype encoding, the correspondence between digit changes and mutations, and verifies that the finiteness and neighborhood hypotheses of Mohanty et al. (2023) hold for every integer base b >= 2, thereby confirming the direct deduction of the known inequalities.

read point-by-point responses

  1. Referee: [Abstract] Abstract and main text: the assertion that known inequalities for the summatory function follow from the Mohanty et al. theorem is stated without any description of the genotype-phenotype encoding, the correspondence between digit changes and mutations, or the verification that the finiteness and neighborhood assumptions of the 2023 result hold for every integer base b.

    Authors: We agree that an explicit description is required. In the revised manuscript we will add a new subsection that (i) encodes each positive integer n in base b as a finite string of digits (the genotype), (ii) takes the phenotype to be the sum of those digits s_b(n), (iii) defines a mutation as the alteration of exactly one digit while keeping the length fixed, and (iv) verifies that the set of all such strings is finite for each fixed length and that the mutational neighborhood satisfies the conditions of Mohanty et al. (2023) for arbitrary b >= 2. This will make the specialization fully explicit. revision: yes

  2. Referee: The deduction therefore rests on an unverified specialization; any mismatch between the additive carry-free structure of s_b(n) and the mutational neighborhood model would mean the claimed direct application does not hold.

    Authors: The additive, carry-free character of s_b(n) is in fact the precise feature that matches the model: altering one digit changes the phenotype by exactly the difference in that digit's value, independently of all other digits. Consequently the mutational effect on the phenotype is strictly local and additive, satisfying the neighborhood assumptions without further restrictions on b. The revised text will contain a short lemma establishing this equivalence, so that the application of the 2023 theorem is no longer implicit. revision: yes

Circularity Check

0 steps flagged

No circularity: central claim rests on external theorem by unrelated authors

full rationale

The paper's derivation chain consists of mapping the summatory function of the sum-of-digits to a genotype-phenotype mutational robustness theorem from Mohanty et al. (2023). This cited result is by completely different authors on an unrelated topic and is treated as an independent external input. No self-citations appear in the load-bearing steps, no parameters are fitted then renamed as predictions, and no ansatz or uniqueness claim is smuggled from the authors' own prior work. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

No free parameters, invented entities, or ad-hoc axioms are mentioned; the work relies on an existing external theorem.

axioms (1)
  • domain assumption The 2023 theorem on mutational robustness holds and can be specialized to the summatory digit-sum setting.
    The deduction rests on applicability of the external theorem.

pith-pipeline@v0.9.0 · 5577 in / 1106 out tokens · 36249 ms · 2026-05-24T06:06:29.082346+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    P. C. Allaart. An inequality for sums of binary digits, wi th application to Takagi functions. J. Math. Anal. Appl. , 381(2):689–694, 2011

    work page 2011

  2. [2]

    P. C. Allaart. Digital sum inequalities and approximate convexity of Takagi-type functions. Math. Inequal. Appl. , 17(2):679–691, 2014

    work page 2014

  3. [3]

    P. C. Allaart and K. Kawamura. The Takagi function: a surv ey. Real Anal. Exchange , 37(1):1–54, 2011/12

    work page 2011

  4. [4]

    Allouche

    J.-P. Allouche. On an inequality in a 1970 paper of R. L. Gr aham. Integers, 21A: A2, 6, 2021

    work page 1970

  5. [5]

    Allouche and J

    J.-P. Allouche and J. Shallit. Automatic sequences. Theory, applications, generalizatio ns. Cambridge University Press, Cambridge, 2003

    work page 2003

  6. [6]

    C. Cooper. A generalization of an inequality by Graham. Integers, 22: A50, 9, 2022

    work page 2022

  7. [7]

    so mme des chiffres

    H. Delange. Sur la fonction sommatoire de la fonction “so mme des chiffres”. Enseign. Math. (2), 21(1):31–47, 1975

    work page 1975

  8. [8]

    M. P. Drazin and J. S. Griffith. On the decimal representati on of integers. Proc. Cambridge Philos. Soc. , 48:555–565, 1952

    work page 1952

  9. [9]

    R. L. Graham. On primitive graphs and optimal vertex assi gnments. Ann. New York Acad. Sci., 175:170–186, 1970

    work page 1970

  10. [10]

    K. G. Hare, S. Laishram, and T. Stoll. Stolarsky’s conje cture and the sum of digits of polynomial values. Proc. Amer. Math. Soc. , 139(1):39–49, 2011

    work page 2011

  11. [11]

    H ˚ avardstun Hvardstun, J

    B. H ˚ avardstun Hvardstun, J. Kratochv ´ ıl, J. Sunde, and J. A. Telle. On a combinatorial problem arising in machine teaching, arXiv:2402.04907 [ma th.CO]. 10 Summing the sum of digits

    work page arXiv

  12. [12]

    J. C. Jones and B. F. Torrence. The case of the missing cas e: the completion of a proof by R. L. Graham. Pi Mu Epsilon J. , 10:772–778, 1999

    work page 1999

  13. [13]

    Kirschenhofer

    P. Kirschenhofer. Subblock occurrences in the q-ary re presentation of n. SIAM J. Algebraic Discrete Methods, 4(2):231–236, 1983

    work page 1983

  14. [14]

    J. C. Lagarias. The Takagi function and its properties. In Functions in number theory and their probabilistic aspects, RIMS Kˆ okyˆ uroku Bessatsu, B34, pages 153–189. Res. Inst.Math. Sci. (RIMS), Kyoto, 2012

    work page 2012

  15. [15]

    J. C. Lagarias and H. Mehta. Products of binomial coeffici ents and unreduced Farey frac- tions. Int. J. Number Theory , 12(1):57–91, 2016

    work page 2016

  16. [16]

    Legendre

    A.-M. Legendre. Th´ eorie des nombres, 3rd edition of the book published previously under the title Essai sur la th´ eorie des nombres. Paris: Firmin Didot Fr` eres, Libraires, 1830

    work page

  17. [17]

    M. D. McIlroy. The number of 1’s in binary integers: Boun ds and extremal properties. SIAM Journal on Computing , 3(4):255–261, 1974

    work page 1974

  18. [18]

    Mohanty, S

    V. Mohanty, S. Greenbury, T. Sarkany, S. Narayanan, K. D ingle, S. Ahnert, and A. Louis. Maximum mutational robustness in genotype–phenoty pe maps follows a self- sim- ilar blancmange-like curve. J. R. Soc. Interface , 20:20230169, 2023

    work page 2023

  19. [19]

    Muramoto, T

    K. Muramoto, T. Okada, T. Sekiguchi, and Y. Shiota. An ex plicit formula of subblock occurrences for the p-adic expansion. Interdiscip. Inform. Sci. , 8(1):115–121, 2002

    work page 2002

  20. [20]

    Prodinger

    H. Prodinger. Generalizing the sum of digits function. SIAM J. Algebraic Discrete Methods , 3(1):35–42, 1982

    work page 1982

  21. [21]

    K. B. Stolarsky. Power and exponential sums of digital s ums related to binomial coefficient parity. SIAM J. Appl. Math. , 32(4):717–730, 1977

    work page 1977

  22. [22]

    T. Takagi. A simple example of the continuous function w ithout derivative. Tokio Math. Ges. (Proc. Phys.-Math. Soc. Japan), 1:176–177, 1903. Received: November 29, 2023 Accepted for publication: April 25, 2024 Communicated by: Emilie Charlier, Julien Leroy and Michel Rigo 11

    work page 1903