Completely Additive Height Functions: Profile Laws, Matula Bounds, and Inverse Growth
Abstract
The height H(n) of n is the least integer i such that the i-th iterate of Euler's totient function (i)(n) equals 1. H. N. Shapiro showed that this H is almost completely additive. Building on the fact that this function can be modified to yield a completely additive function, we establish a general correspondence: to every multi-partition structure there corresponds a completely additive function. In this paper, a height function is a completely additive map H:N0 with H(1)=0 whose prime fibres \p:\,H(p)=k\ are finite for every k1. Writing \[ πk=\#\p:\,H(p)=k\, Nk=\#\n:\,H(n)=k\, \] complete additivity forces the identity \[ Σk0Nk qk \;=\; Πj1(1-qj)-πj. \] Thus, the prime--height profile (πk) canonically determines the height multiplicities (Nk), linking to the asymptotic theory of weighted partitions. We introduce a broad class of iteratively defined heights on primes, encompassing Matula-type heights (encoding rooted trees) and Shapiro-type totient heights, and show they extend to genuine height functions. In the Matula case this yields a purely number-theoretic proof of the classical extremal bounds for minimal and maximal Matula numbers, answering a question of Gutman and Ivi\'c without recourse to graph theory. Using Meinardus' theorem we prove an inverse-growth principle in the polynomial regime: if (x)=Σj xπj (C/α)xα, then Nk satisfies a stretched-exponential law with an explicit constant, and conversely under a standard Tauberian hypothesis. We further derive average-order consequences in this regime for a canonical sequential realization of a given profile. Finally, we briefly discuss behavior beyond the polynomial setting, with computations in the Shapiro case suggesting substantially richer phenomena.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.