- Research
- Open Access
- Published:

# A first digit theorem for powerful integer powers

*SpringerPlus*
**volume 4**, Article number: 576 (2015)

## Abstract

For any fixed power exponent, it is shown that the first digits of powerful integer powers follow a generalized Benford law (GBL) with size-dependent exponent that converges asymptotically to a GBL with the inverse double power exponent. In particular, asymptotically as the power goes to infinity these sequences obey Benford’s law. Moreover, the existence of a one-parametric size-dependent exponent function that converges to these GBL’s is established, and an optimal value that minimizes its deviation to two minimum estimators of the size-dependent exponent is determined. The latter is undertaken over the finite range of powerful integer powers less than \( 10^{s \cdot m} , \, m = 8, \ldots ,15 \), where \( s = 1,2,3,4,5 \) is a fixed power exponent.

## Background

It is well-known that the first digits of many numerical data sets are not uniformly distributed. Newcomb (1881) and Benford (1938)) observed that the first digits of many series of real numbers obey *Benford’s law*

The increasing knowledge about Benford’s law and its applications has been collected in two recent books by Berger and Hill (2015) and Miller (2015). In number theory, it is known that for any fixed power exponent \( s \ge 1 \), the first digits of some integer sequences, like integer powers and square-free integer powers, follow asymptotically a *Generalized Benford law* (GBL) with exponent \( \alpha = s^{ - 1} \in (0,1] \) [see Hürlimann (2004), (2014a)] such that

Clearly, the limiting case \( \alpha \to 0 \), respectively \( \alpha = 1 \), of (2) converges weakly to Benford’s law (1), respectively the uniform distribution. It is expected that many further integer power sequences follow a GBL with size-dependent parameter. However, if asymptotically such an exponent exists, it will not always be exactly \( \alpha = s^{ - 1} \). Hürlimann (2014b) shows that the first digits of powers from perfect power numbers follow asymptotically a GBL with parameter \( \alpha = (2s)^{ - 1} \).

Based on similar statistical analysis, the first digits of powerful integer powers are studied. For this, the GBL is fitted to samples of first digits using two goodness-of-fit measures, namely the MAD measure (mean absolute deviation) and the WLS measure (probability weighted least square or Chi square statistics). In “Size-dependent generalized Benford law for powerful integer powers”, the minimum MAD and WLS estimators of the GBL over finite ranges of powerful integer powers up to \( 10^{s \cdot m} , \, m \ge 8 \), \( s \ge 1 \) a fixed power exponent, are determined. Calculations illustrate the convergence of the size-dependent GBL with minimum MAD and WLS estimators to the GBL with exponent \( (2s)^{ - 1} \). Moreover, the existence of a one-parametric size-dependent exponent function that converges to these GBL’s is established, and an optimal value that minimizes its absolute deviation to the minimum MAD and WLS estimators is determined. A mathematical proof of the asymptotic convergence of the finite sequences to the GBL with exponent \( (2s)^{ - 1} \) follows in “Asymptotic counting function for powerful integer powers”.

## Size-dependent generalized Benford law for powerful integer powers

A *powerful number* is a positive integer that is divisible by the square of each of its prime factors. It is of the form \( n = a^{2} b^{3} \) for some natural numbers \( a,\;b \ge 1 \). To investigate the optimal fitting of the GBL to first digit sequences of powers from powerful numbers, it is necessary to specify goodness-of-fit (GoF) measures according to which optimality should hold. For this purpose, the following two GoF measures are used. Let \( \{ x_{n} \} \subset [ 1 ,\infty ), \, n \ge 1 \), be an integer sequence, and let \( d_{n} \) be the (first) significant digit of \( x_{n} \). The number of \( x_{n} \)’s, \( n = 1, \ldots ,N \), with significant digit \( d_{n} = d \) is denoted by \( X_{N} (d) \). The *MAD measure* or *mean absolute deviation* measure for the GBL is defined to be

This measure has been used to assess conformity to Benford’s law by Nigrini (2000) [see also Nigrini (2012), Table 7.1, p. 160]. The *WLS measure* for the GBL is defined by

Consider now the sequence of powerful integer powers \( \{ n_{pf}^{s} \} , \, n_{pf}^{s} < 10^{s \cdot m} \), for a fixed power exponent \( s = 1,2,3, \ldots \), and arbitrary powerful numbers \( n_{pf} \) below \( 10^{m} , \, m \ge 8 \). Denote by \( I_{k}^{s} (d) \) the number of powerful integer powers below \( 10^{k} , \, k \ge 1 \), with first digit \( d \). This number is defined recursively by the relationship

where the counting function \( S(n) \) is given by Golomb (1970) as

where \( \mu (k) \) is the Möbius function such that \( \mu (k) = 0 \) if \( p^{2} \) divides \( k \) and \( \mu (k) = ( - 1)^{e} \) if \( k \) is a square-free number with \( e \) distinct prime factors, and \( \left\lfloor \cdot \right\rfloor \) denotes the integer-part function. Recent algorithms to efficiently compute the Möbius function and the related counting function of square-free integers are contained in Pawlewicz (2011) and Auil (2013).

With \( N = S(10^{m} ) \) one has \( X_{N} (d) = I_{s \cdot m}^{s} (d) \) in (3)–(4). A list of the \( I_{s \cdot m}^{s} (d), \, m = 8, \ldots ,15 \), \( s = 1,2,3,4,5 \), together with the sample size \( N = S(10^{m} ) \), is provided in Table 3 of the “Appendix”. Based on this, the so-called minimum MAD and minimum WLS estimators of the GBL are determined. Together with their GoF measures, these optimal estimators are reported in Table 1 below. Note that the minimum WLS is a critical point of the equation

For comparison, the MAD and WLS measures for the following size-dependent GBL exponent

with \( c = 1,\;a = 0.21119 \), called LL estimator, are listed. This type of estimator is named in honour of Luque and Lacasa (2009) who introduced it in their GBL analysis for the prime number sequence. Through calculation one observes that the LL estimator minimizes the absolute deviations between the LL estimator and the MAD (resp. WLS) estimators over the finite ranges of powerful powers \( [ 1 ,10^{s \cdot m} ] , \, m = 8, \ldots ,15, \, s = 1,2,3,4,5 \). In fact, if one denotes the MAD and WLS estimators of the sequence \( \{ n_{pf}^{s} \} , \, n_{pf}^{s} < 10^{s \cdot m} \), by \( \alpha_{MAD} (s \cdot m) \) and \( \alpha_{WLS} (s \cdot m) \), then one has uniformly over the considered finite ranges (consult the columns “Δ to LL estimate” in Table 1 in units of \( \sqrt[3]{{10^{ - m} }} \))

Table 1 displays exact results obtained on a computer with single precision, i.e., with 15 significant digits. The MAD (resp. WLS) measures are given in units of \( 10^{ - 6} \) (resp. \( \sqrt[3]{{10^{ - (m + s + 12)} }} \)). Taking into account the decreasing units, one observes that the optimal MAD and WLS measures decrease with increasing sample size.

## Asymptotic counting function for powerful integer powers

The following mimics Hürlimann (2014a), Section 3. It is well-known that a random process with uniform density \( x^{ - 1} \) generates data that are Benford distributed. Similarly, a sequence of numbers generated by a power-law density \( x^{ - \alpha } , \, \alpha \in [0,1] \), has a GBL first digit distribution \( P_{1 - \alpha }^{GB} (d) \) with exponent \( 1 - \alpha \) [e.g. Pietronero et al. (2000), Eq. (3)]. From it, one derives a counting function \( C(N) \) that yields the number of elements of that sequence in the interval \( [ 1 ,N ] \). A local density of the form \( x^{ - \alpha (x)} \), such that \( C(N)\sim \int\nolimits_{2}^{N} {x^{ - \alpha (x)} dx} \), is usually not appropriate and must be modified as follows. The relation for powerful integer powers over an interval \( [ 1 ,N^{s} ] \) that belongs to (8) is

Denote by \( Q_{s} (N^{s} ) \) the counting function for powerful integer powers in the interval \( [ 1 ,N^{s} ] \). Instead of \( \int\nolimits_{2}^{{N^{s} }} {x^{{ - \alpha (N^{s} )}} dx} \) define

with \( \zeta ( \cdot ) \) the Riemann zeta function. In this expression, the integral pre-factor is chosen to fulfill the asymptotic limiting value for the powerful number counting function, that is (note that \( n_{pf}^{s} < N^{s} \) if, and only if, one has \( n_{pf} < N \))

In fact, two analytical bounds on \( S(N) \) are known, namely

The first one is classical and proved in Golomb (1970). The second improved estimate is due to Mincu and Panaitopol (2009), Theorem 1. However, it suffices to use the simple estimate (12), which is obtained as follows. From (11) one gets for arbitrary \( s = 1,2, \ldots \), taking into account (10), the equivalent asymptotic formula

which is independent of \( s \) and simply denoted by \( Q(N) \). The equality \( Q_{s} (N^{s} ) = Q(N) \) reflects the fact that there are as many powerful integer powers in \( [ 1 ,N^{s} ] \) as there are powerful numbers in \( [ 1 ,N ] \). Now, what is a good value of \( c \in [ 1 ,\infty ) \)? Clearly, the factor

converges from above to 1 as \( N \to \infty \) for any fixed \( c \). Its derivative with respect to \( c \) satisfies the property \( \tfrac{\partial }{\partial c}f_{N} (c) > 0, \, \forall \;c \in [ 1 ,\infty ) , \, \forall \;N \ge 4 \). Since \( f_{N} (c) \) increases in \( c \) and decreases in \( N \), one has the following max–min property of (16) at \( c = 1 \):

Therefore, the size-dependent exponent (10) with \( c = 1 \) not only minimizes the absolute deviations between the LL estimator and the MAD (resp. WLS) estimators over the finite ranges of powerful powers \( [ 1 ,10^{s \cdot m} ] , \, m = 8, \ldots ,15, \, s = 1,2,3,4,5 \), as shown in “Size-dependent generalized Benford law for powerful integer powers”, but it turns out to be uniformly best with maximum error less than \( 7.3 \cdot 10^{ - 3} \) against the asymptotic estimate, at least if \( N \ge 10^{16} \). Moreover, the following limiting asymptotic result has been shown.

### First digit theorem for powerful integer powers (*GBL for powerful integer powers*)

The asymptotic distribution of the first digit of powerful integer power sequences \( n_{pf}^{s} < 10^{s \cdot m} , \, m \ge 8 \), for fixed \( s = 1,2,3, \ldots \), as \( m \to \infty \), is given by

The next Table 2 compares the new counting function \( Q(N)/q\sqrt N \) with the lower bound for \( S(N)/q\sqrt N \) in (14), as well as the ratios of these with the asymptotic value \( q \cdot \sqrt N \). Clearly, the new counting function is an approximation to the latter from above.

## Conclusions

The first digits of some integer sequences like integer powers and square-free integer powers to a fixed power exponent \( s \ge 1 \), follow a generalized Benford law with size-dependent exponent that converges asymptotically to a GBL with the inverse power exponent \( s^{ - 1} \). In contrast to this, there exist integer sequences, for which such power sequences behave like a GBL with parameter different from \( s^{ - 1} \). The analysed powerful integer power sequences follow a GBL with parameter \( (2s)^{ - 1} \) and are in this respect similar to powers from perfect power numbers studied previously in Hürlimann (2014b). Moreover, all these power sequences typically are not exactly Benford distributed. Departures from Benford’s law occur quite frequently within mathematics and in almost all related scientific disciplines, and must be analysed along the line of appropriate probabilistic models. The companion papers Hürlimann (2015a, b) introduce and discuss some possibilities for a scientific wider use.

## References

Auil F (2013) An algorithm to generate square-free numbers and to compute the Möbius function. J Number Theory 133:426–436

Benford F (1938) The law of anomalous numbers. Proc Am Phil Soc 78:551–572

Berger A, Hill TP (2015) An introduction to Benford’s law. Princeton University Press, Princeton

Golomb SW (1970) Powerful numbers. Am Math Monthly 77:848–852

Hürlimann W (2004) Integer powers and Benford’s law. Int J Pure Appl Math 11(1):39–46

Hürlimann W (2014a) A first digit theorem for square-free integer powers. Pure Math Sci 3(3):129–139

Hürlimann W (2014b) A first digit theorem for powers of perfect powers. Commun Math Appl 5(3):91–99

Hürlimann W (2015a) On the uniform random upper bound family of first significant digit distributions. J Inf 9(2):349–358

Hürlimann W (2015b) Benford’s law in scientific research. Int J Sci Eng Res 6(7):143–148

Luque B, Lacasa L (2009) The first digit frequencies of prime numbers and Riemann zeta zeros. Proc Royal Soc A 465:2197–2216

Miller SJ (ed) (2015) Benford’s law: theory and applications. Princeton University Press, Princeton

Mincu G, Panaitopol L (2009) More about powerful numbers. Bull Math Soc Sci Math Roumanie 52(100):451–460

**(No. 4)**Newcomb S (1881) Note on the frequency of use of the different digits in natural numbers. Am J Math 4:39–40

Nigrini MJ (2000) Digital analysis using Benford’s law: test statistics for auditors. Global Audit Publications, Vancouver

Nigrini MJ (2012) Benford’s law. Applications for forensic accounting, auditing, and fraud detection. Wiley, Hoboken

Pawlewicz J (2011) Counting square-free numbers. arXiv:1107.4890v1 [math.NT]

Pietronero L, Tossati E, Tossati V, Vespignani A (2000) Explaining the uneven distribution of numbers in nature: the laws of Benford and Zipf. Physica A 293:297–304

Sloane NJA (1964) The on-line encyclopedia of integer sequences. https://oeis.org/

## Acknowledgements

None to be declared.

### Compliance with ethical guidelines

**Competing interests** The author declares that he has no competing interests.

## Author information

### Affiliations

### Corresponding author

## Appendix

### Appendix

Based on the recursive relation (5)–(6), the calculation of \( I_{s \cdot m}^{s} (d),\quad m = 8, \ldots ,15 \), is straightforward, at least if a table of the Möbius function is available [e.g. sequence A001694 in OEIS founded by Sloane (1964)]. These numbers are listed in Table 3. The entry \( s \to \infty \) corresponds to the limiting Benford law as the power goes to infinity.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Hürlimann, W. A first digit theorem for powerful integer powers.
*SpringerPlus* **4, **576 (2015). https://doi.org/10.1186/s40064-015-1370-3

Received:

Accepted:

Published:

### Keywords

- First digit
- Powerful number
- Asymptotic counting function
- Probabilistic number theory
- Mean absolute deviation
- Probability weighted least squares

### Mathematics Subject Classification

- 11K36
- 11N37
- 11Y55
- 62E20
- 62F12