## Analysis of the High Water Mark Convergents of Champernowne's Constant in Various Bases

John K. Sikora john.sikora@xtera.com

August 4, 2014

## Abstract

In this paper, we show that patterns exist in the properties of the High Water Mark (HWM) convergents of Champernowne's Constant in various bases ( C b ), specifically in bases 2 through 124. The convergents are formed by truncating the Continued Fraction Expansion (CFE) of C b immediately before the CFE HWMs. These patterns have been extended from the known patterns in the CFE HWMs of Champernowne's Constant in base ten ( C 10 ). We show that the patterns may be used to efficiently calculate the CFE coefficients of C b , and to calculate and predict the lengths of the HWM coefficients, the number of correct digits of C b as calculated by the convergent, and the convergent error. We have discovered that minor corrections to the pattern formulations in base 10 are required for some bases, and these corrections are presented and discussed. The resulting formulations may be used to make the calculations for C b in any base.

## 1 Introduction

Champernowne's Constant, C 10 , was formulated in 1933 by British mathematician and economist D. G. Champernowne as an example of a normal number [1]. It is formed by concatenating the positive integers to the right of a decimal point, i.e., 0 123456789101112 . . . . , without end. In 1937, Kurt Mahler proved that C 10 is transcendental [2].

It is well known that the CFE of C 10 consists mostly of coefficients with a reasonably small number of digits, interspersed with coefficients with a very large number of digits. A coefficient that has a value that is larger than any previous coefficient is called a HWM. As one progresses along the CFE, the pattern of relatively small coefficients sprinkled with very large coefficients continues between the HWMs, even though the other large coefficients are not themselves HWMs.

There are many patterns in the properties of the convergents formed by truncating the CFE of C 10 immediately before the HWMs for HWM numbers greater than 3. These properties and their patterns have been formulated and discussed [3, Conjectures 1-7]. The purpose of this paper is to extend the formulations and the conjectures from base 10 to bases 2 through 124, with exceptions noted and the pertinent formulae provided.

In addition, another conjecture which describes the lengths of the largest coefficients between the HWMs [4, Conjecture 8] is generalized from C 10 to C b . We show that deviations from the expected behavior occur in some bases and these deviations are noted and briefly discussed.

## 2 Definitions

Definition 1: C 10 - Champernowne's Constant in base 10.

Definition 2: C b - Champernowne's Constant in base b . For example C 3 is 0 12101112202122100101 . . . . 3

Definition 3: C b position , or position - For an integer, it is the position of the first digit of the integer in the consecutive sequence used to generate C b , starting at position 0 for the 0 to the left of the radix point.

The radix point is not counted. Therefore, for C 10 , the integer 1 is in position 1 and the integer 12 is in position 14. For C 3 , the integer 11 3 is in position 5.

Definition 4: CFE coefficient number , or coefficient number - The number of the CFE coefficient, starting at coefficient number 0. Coefficient number 0 is always 0 for C b .

Definition 5: HWM number , or HWM # - The number of the HWM. The first HWM is 0 and it is HWM number 1.

Definition 6: HWM length -The number of digits of the HWM of C b as represented in base b .

Definition 7: 10 X b -This is equal to b X and it is read one-zero, or 'ten', to the power of X in base b . This notation is used instead of b X primarily because the computer programs that were used in the analysis calculate the HWM convergents with two primary inputs: base b , and the power of 'ten', X . This terminology was chosen so that there would be consistency between this paper and the programs.

Definition 8: P 10 b X , , or C b position of 10 X b - The formula for the C b position of the integer 10 X b , X ≥ 0, is:

$$C _ { b } \text{ position of } 1 0 _ { b } ^ { X } & = P 1 0 _ { b, X } = 1 + \sum _ { x = 0 } ^ { X } ( b - 1 ) \cdot x \cdot b ^ { ( x - 1 ) } \\ \swarrow \quad \dots \quad \tilde { \lambda } \wedge \wedge \dots \quad \dots \quad \tilde { \lambda } \wedge \tilde { \lambda } \tilde { \lambda } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array}$$

Thus, the C b position of 10 0 b is 1, the position of 10 1 b is b , and the position of 10 2 3 is 15.

Definition 9: 10 X b HWMconvergent , or 10 X b convergent - The convergent formed from the numerator, N b X , , and the denominator, D b X , , as calculated using Conjecture 7 and Conjecture 6, respectively. The convergent is named in this manner because the C b position 10 X b is used in the calculation of the convergent. The CFE derived from the convergent does not calculate the 10 X b HWM coefficient as defined in Definition 10. The HWM coefficient is, however, the next term in the CFE.

Definition 10: 10 X b HWMcoefficient , or 10 X b coefficient - The CFE coefficient immediately following the last coefficient as calculated by the 10 X b convergent. With a few exceptions as noted later in this paper, these coefficients constitute the HWMs of the CFE of C b .

Definition 11: The denominator of the 10 X b HWM convergent , or D b X , -The denominator for the 10 X b HWM convergent as constructed using Conjecture 6.

Definition 12: The numerator of the 10 X b HWM convergent , or N b X , -The numerator for the 10 X b HWM convergent as calculated using Conjecture 7.

Definition 13: Number of correct digits , or NCD , or NCD b,X ( ) -The number of correct consecutive digits of C b as calculated by a convergent, starting at, and counting the 0 to the left of the radix point. The radix point itself is not counted. Therefore, if the position of the last correct digit, p c , is known, the number of correct digits is p c + 1 since the 0 is counted as the first correct digit, but it is in position 0. When given with arguments, base b , and power of 'ten' X NCD b,X , ( ) is the NCD of the 10 X b HWM convergent as defined in Definition 9.

In general, in this paper we refer to the HWM convergents in a manner different from that in our previous paper which detailed the HWM convergent properties of C 10 [3]. In the previous paper, a HWM convergent is referred to as 'the convergent before HWM #N'. In this paper a HWM convergent is referred to as 'the 10 X b HWM convergent', or as the ' 10 X b convergent' as defined in Definition 9. The reason is that in this paper, bases 2 through 124 are discussed, rather than base 10 exclusively, and the HWM numbers are different for the various bases. 1

1 The HWM numbers match for bases 6 through 124, but not for bases 2 through 5. See Conjecture 1 and Conjecture 5 for details.

## 3 Method

A program was written in Ruby to calculate C b in the desired base by taking the digits of each of the integers used to form C b , dividing by the appropriate power of the base for each digit, and summing. The Euclidean Algorithm applied to real numbers was then used to calculate the CFE coefficients of C b . The use of this method was difficult and care was taken to calculate C b to sufficient accuracy so that the desired number of coefficients could be accurately calculated. Bases 2, 7, 8, 9, and 10 were used in the initial investigation.

It was noticed that large coefficients (HWMs) in the CFE of C b appeared in other bases, similar to the behavior of the CFE of C 10 . The CFE coefficients of C b , terminated before the HWMs were then used to calculate the numerator and denominator of each convergent. Patterns were observed in the denominators of the convergents as given in Conjecture 6. The means of calculating the numerators of the convergents was determined as given in Conjecture 7.

Programs were then written in C to calculate the numerators and denominators using these conjectures and the resulting calculations led to the formulation of Conjecture 1 through Conjecture 5. These calculations were checked for each 10 X b convergent and HWM as described in Section 5.1.

## 4 Conjectures

In this section we extend the C 10 conjectures [3, Conjectures 1-7] to C b . The order of the conjectures in the present paper matches the order of the conjectures in the previous paper for ease of comparison. However, Conjecture 1 through Conjecture 5 follow from analyzing the convergents formed using Conjecture 6 and Conjecture 7.

Conjecture 1: The 10 X b convergent, for X ≥ 0 , calculates the value of C b correctly until the integer 10 X + 1 b -2 in the integer sequence used to form C b is reached. Furthermore, this integer is calculated as 10 X + 1 b -1 instead of 10 X + 1 b -2.

Exception 1.1 For base 2, the convergents that calculate C 2 per Conjecture 1 start with the 10 X 2 convergent, X ≥ 2, rather than X ≥ 0.

Exception 1.2 For base 3 and base 4, the HWM convergents that calculate C 3 and C 4 per Conjecture 1 start with the 10 X 3 and 10 X 4 convergent, X ≥ 1, rather than X ≥ 0.

The following are examples of the conjecture: the 10 1 10 HWM convergent calculates C 10 as '0 123456 . . . . 95969799 . . . ' instead of '0 123456 . . . . 95969798 . . . '. Similarly, the 10 2 5 HWM convergent calculates C 5 as '0 12341011 . . . . 440441442444 . . . 5 ' instead of '0 12341011 . . . . 440441442443 . . . 5 '.

Conjecture 2: The NCD of the 10 X b HWM convergent for base b, X ≥ 0 is given by:

$$N C D ( b, X ) = C _ { b } \text{ position of } 1 0 _ { b } ^ { X + 1 } - X - 2$$

Exception 2.1 For b = 2, Equation (4.1) is valid for X ≥ 2.

Exception 2.2 For b = 3 and b = 4, Equation (4.1) is valid for X ≥ 1.

The C b position of 10 X b is given in Equation (2.1). Thus, the NCD(10,0) is 8, the NCD(5,3) is 2340, the NCD(16,5) is 99544809, and the NCD(10,7) is 788888881.

Conjecture 3: The 10 X b HWM coefficient numbers are even. The coefficient numbers start at 0 per Definition 4.

The 10 X b HWM convergents calculate C b slightly larger than C b . Per Definition 4, this means that the 10 X b HWM coefficient numbers will be even.

This conjecture is very useful at the end of the calculation of the CFE coefficients as the algorithm cannot distinguish the degenerate case where the last coefficient is 1 from the case where the last coefficient is not 1. In the degenerate case where the last coefficient equals 1, the algorithm calculates the last term as Y +1 instead of Y , and the calculation ends on an even numbered coefficient. However, if the calculation ends on an even numbered coefficient, it is taken from Conjecture 3 that this is the degenerate case, the even numbered coefficient is Y , and the last coefficient (the one before the HWM) is 1.

## Conjecture 4: The error of the 10 X b HWM convergent is given by:

$$\text{Concrete} 4 \colon \ 1 n e \text{ error of the } 1 U _ { b } ^ { \prime } \ 1 W M \text{ convergent as given } \theta \text{.} \\ \text{error} = \begin{cases} 1. 0 \times b ^ { - ( \text{exponent} - 1 ) } & \text{base} \, b \geq 5, X = 0 \\ ( b - 1 ). 1 _ { b } \times b ^ { - \text{exponent} } & \text{base} \, b \geq 3, X = 1 \\ 1. 0 1 _ { 2 } \times b ^ { - \text{exponent} } & \text{base} \, b = 2, X = 2 \\ ( b - 1 ). \underbrace { 0 0 \dots 0 0 ( b - 1 ) ( b - 1 ) _ { b } \times b ^ { - \text{exponent} } & b = 2, X \geq 3 ; \, b \geq 3, X \geq 2 \end{cases}$$

$$\text{number of zeroes} & = X \\ \text{exponent} & = N C D ( b, X ) + X + 2$$

For example, the 10 0 8 HWM has an error of 1 0 . × 8 -7 , the 10 1 3 HWM has an error of 2 1 . 3 × 3 -15 10 , the 10 2 2 HWM has an error of 1 01 . 2 × 2 -18 10 , the 10 2 10 HWM has an error of 9 0099 . 10 × 10 -2890 10 , and the 10 5 15 HWM has an error of e.00000ee 15 × 15 -67530135 10 . Note that the mantissa is given in base b while the exponent is given in base ten, similar to the output from the GNU Multiple Precision Arithmetic (GMP) library [5] function mpf out str . This library was utilized by the programs used in the analysis.

The value of exponent is also equal to the C b position of 10 X + 1 b . Note that for the base b = 2 , X = 2 case we could have explicitly provided the value of exponent , but we wanted to show that the value of exponent was consistent for all of the given cases as formulated.

## Conjecture 5: Let:

/negationslash

$$( b = = 2 ) = \begin{cases} 0 & b \ne 2 \\ 1 & b = 2 \end{cases}$$

/negationslash

$$( b = = 4 ) = \begin{cases} 0 & b \neq 4 \\ 1 & b = 4 \end{cases}$$

The length, as represented in base b , of the HWM coefficient that occurs after the last coefficient of the CFE calculated by the 10 X b HWM convergent for X ≥ 0 is given by:

$$l e n g t h = N C D ( b, X ) - 2 \cdot N C D ( b, X - 1 ) - 3 \cdot ( X - ( b = = 2 ) ) - 2 + ( b = = 4 )$$

Exception 5.1 For base 2, Equation (4.3) is valid for X ≥ 2, rather than X ≥ 0. In addition, the 10 2 2 coefficient is coefficient number 6 and it is of length 3, per Conjecture 5. It is not a HWM but the convergent does calculate C 2 per Conjecture 1. The coefficient number of the next HWM, which is the 10 3 2 HWM coefficient, is 14. 2 All subsequent HWMs are 10 X 2 HWM coefficients.

Exception 5.2 For base 3 and base 4, Equation (4.3) is valid for X ≥ 1, rather than X ≥ 0. For base 3, the 10 1 3 HWM coefficient is coefficient number 6, and for base 4, the 10 1 4 HWM coefficient is coefficient number 12. Both are HWMs, and subsequent HWMs are 10 X b HWM coefficients.

2 The 10 2 2 coefficient has a value of 5, one less than the value of coefficient numbers 2 and 5, which are the largest terms along with coefficient number 10 until the 10 3 2 HWM coefficient at coefficient number 14.

Exception 5.3 For base 5, the 10 0 5 coefficient is coefficient number 4 and it is of length 1, per Conjecture 5. 3 It is not a HWM but the convergent does calculate C 5 per Conjecture 1. The coefficient number of the 10 1 5 HWM coefficient is 10. The HWMs at coefficient number 7 and coefficient number 9 are not 10 X 5 HWM coefficients.

For example, the 10 3 2 HWM as represented in binary has a length of 9, the 10 2 10 HWM as represented in decimal has a length of 2504, and the 10 5 16 HWM as represented in hexadecimal has a length of 89198852.

For the 10 0 b coefficient, b ≥ 5, the coefficient length is b -4. For bases greater than 5, the 10 0 b coefficient is a HWM, and it will be HWM #4 at coefficient number 4, per Definition 4 and Definition 5. All subsequent HWMs are those generated by a 10 X b convergent, X ≥ 1. 4

Furthermore, it appears that for b ≥ 5, the first 4 CFE terms are [0; b -2, b -1, 1] = [0; b -2, b ]. This gives a 10 0 b convergent of

$$\Phi ^ { \Phi } _ { b } ^ { 0 } \text{ convergent} = \frac { b } { ( b - 1 ) ^ { 2 } }, \ b \geq 5$$

As stated above, the 10 0 b convergent is a HWM for b ≥ 6. For the numerators and denominators for other convergents, see Equation (4.6) and Equation (4.5), respectively.

It should be noted that for the lowest value of X allowed in any base, the NCD b,X ( -1) term is not the true NCD as the 10 X -1 b convergent is not a valid HWM convergent. However, the calculated value as used in Equation (4.3) gives the correct HWM length. It should also be reiterated that the HWM following the 10 X b HWM convergent is not calculated by the convergent. It is calculated by the 10 X + 1 b HWM convergent, or by other means [6].

It is unknown why the HWM lengths in base 4, as formulated, are longer by 1 digit than the HWM lengths in other bases (other than base 2). It is also unknown why the HWM lengths in base 2, as formulated, are longer by 3 digits than the HWM lengths in other bases (other than base 4). However, in the base 2 case, we feel that since there are no 10 X b HWM convergents for X &lt; 2, this may increase the lengths of the HWM coefficients.

Conjecture 6: The denominator, D b 0 , , used to calculate the 10 0 b HWMconvergent for base, b ≥ 5 , X = 0 , is given in Equation (4.4) . The denominator used to calculate the 10 X b HWM convergent for base, b, X ≥ 1 , is given by:

$$\text{Convecue } \colon \text{$1$ line} \text{in} \text{in}, \text{$1$b,0$, use } \colon \text{$2$} \colon \text{$3$} \colon \text{$4$} \colon \text{$5$} \colon \text{$6$} \colon \text{$7$} \colon \text{$8$} \colon \text{$9$} \colon \text{$10$} \colon \text{$11$} \colon \text{$12$} \colon \text{$13$} \colon \text{$14$} \colon \text{$15$} \colon \text{$16$} \colon \text{$17$} \colon \text{$18$} \colon \text{$19$} \colon \text{$20$} \colon \text{$21$} \colon \text{$22$} \colon \text{$23$} \colon \text{$24$} \colon \text{$25$} \colon \text{$26$} \colon \text{$27$} \colon \text{$28$} \colon \text{$29$} \colon \text{$30$} \colon \text{$31$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$32$} \colon \text{$64$} \colon \text{$65$} \colon \text{$66$} \colon \text{$67$} \colon \text{$68$} \colon \text{$69$} \colon \text{$70$} \colon \text{$71$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$72$} \colon \text{$72$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$73$} \colon \text{$72$} \$$

3 The coefficient is 1.

4 There is a close call for base 6 as coefficient number 8 is not a 10 X 6 coefficient and it is only one less than coefficient number 4, the 10 0 6 coefficient.

5 Although the 10 1 2 HWM convergent is not valid, NCD (2 , 1) = 3 which gives a valid exponent of 8 for the 10 2 2 HWM convergent denominator, 0 110001 . 2 × 2 8 10 .

For example, D 2 4 , , the denominator for the 10 4 2 HWM convergent is 0 1111000001 . 2 × 2 54 10 , D 5 3 , is 4 4430001 . 5 × 5 348 10 , D 10 8 , is 4 999999990000000005 . 10 × 10 788888898 10 , and D 15 5 , is e.eeeed000001 15 × 15 3742640 10 .

If X = 1 for an odd base, then the ( b -1) term is to the left of the radix point and the ( b -2) term is immediately to the right of the radix point. For example, the denominator for the 10 1 7 HWM convergent is 6 501 . 7 × 7 8 10 .

Conjecture 7: The numerator, N b 0 , , used to calculate the 10 0 b HWM convergent for base, b ≥ 5 , X = 0 , is given in Equation (4.4) . For other b and X N , b X , is calculated as described below.

## Given:

- 1. The denominator, D b X , , of a 10 X b convergent as calculated from Conjecture 6
- 2. The C b position of the integer 10 X b , P 10 b X , , as given by Equation (2.1)
- 3. C b [0 1 . . . . P 10 b X , ] denotes C b truncated to position P 10 b X , 6
- 4. Ceil ( f ) denotes the integer immediately above non-integer f .

Then the numerator, N b X , , X ≥ 1 , of the convergent is calculated as:

$$N _ { b, X } = \begin{cases} C e i l ( D _ { b, X } \cdot C _ { b } [ 0. 1 \dots P 1 0 _ { b, X } ] ) + 1 & b \text{ is odd} \\ C e i l ( D _ { b, X } \cdot C _ { b } [ 0. 1 \dots P 1 0 _ { b, X } ] ) & b \text{ is even} \end{cases}$$

Exception 7.1 For base 2, Equation (4.6) is valid for X ≥ 2, rather than X ≥ 1.

For example, the calculation for N 2 3 , , the numerator for the 10 3 2 HWM convergent is: Ceil(0 11100001 . 2 × 2 21 10 · 0 110111001011101111 ) = 110000100000000100001 . . 2 2

The calculation for N 3 2 , is:

Ceil(2 21001 . 3 × 3 17 10 · 0 121011122021221 ) + 1 = 112222220011222111 . . 3 3

The calculation for N 10 1 , is:

Ceil(4 9005 . 10 × 10 11 10 · 0 1234567891 . 10 ) = 60499999499 10 .

And the calculation for N 15 1 , is:

Ceil(e.d01 15 × 15 16 10 · 0 123456789abcde1 . 15 ) + 1 = 120eeeeeeeeeedeed 15 .

## 5 Results, Verification, and Data Location

## 5.1 Results and Verification

The C b CFE coefficients may be calculated very efficiently from the 10 X b HWM convergents. For X ≥ 1, the denominator of the convergent is given by Conjecture 6 and the numerator of the convergent may be calculated by multiplying the denominator by a sufficient number of digits of C b . The required number of digits is P 10 b X , + 1 as given in Conjecture 7, resulting in a very efficient calculation for the C b CFE coefficients. 7 The Euclidean Algorithm is then used to calculate the CFE coefficients from the numerator and the denominator. Conjecture 3 is used to determine if the last coefficient is 1. For b ≥ 5 , X = 0, Equation (4.4) is used to calculate the numerator and the denominator.

The properties of the convergents as given in Conjecture 1 through Conjecture 4 may be observed by dividing the numerator of the convergent by the denominator of the convergent and comparing the result with C b for each base and power. The property of the convergents as given in Conjecture 5 may be checked by examination of the C b CFE coefficients.

In the current study, the calculations and comparisons were performed for bases 2 to 124. Table 1 gives the base, b , and the powers of 'ten', X , in base b that were computed. The calculated results for each base and each power were checked against the predictions made in Conjecture 1 through Conjecture 5.

6 The last digit is a 1 as it is the first digit of 10 X b in the integer sequence used to form C b .

7 The required number of digits is P 10 b X , +1 because the zero to the left of the radix point has been included in the count.

The maximum power for each base was usually dictated by memory size. The amount of memory required to calculate C b , the C b CFE coefficients, and the error for the 10 X -1 b HWMconvergent is approximately the same as the amount of memory required to calculate the C b CFE coefficients for the 10 X b HWM convergent, without calculating C b and the error. There are separate columns for each type of calculation in Table 1. For more details, see Section 5.2 and Section 7.2.

Sequences A244330 [8], A244331 [9] for base 2, and A244332 [10], and A244333 [11], for base 3 have been added to the OEIS which correspond to sequences A038705 [12] and A143534 [13] in base 10, respectively. The first member of each pair of sequences gives the CFE coefficient number of each HWM coefficient and the second gives the length of each HWM coefficient as represented in the specified base. 8

In addition, sequences A244758 [14] for base 2, and A244759 [15] for base 3 have been added to the OEIS which correspond to sequence A143532 [16] in base 10. These sequences give the number of digits as represented in the specified base for all of the calculated CFE coefficients.

We are considering adding similar sequences for base 4 through base 9. For these bases, there are existing OEIS sequences for the digits of C b , but not for the CFE coefficients of C b . Therefore, sequences for the CFE coefficients of C b would be added as well as sequences for the HWM coefficients, the coefficient number of the HWMs, the length of all of the calculated coefficients, and the length of the HWM coefficients.

It should be noted that the maximum numbers of CFE coefficients as calculated and presented in Table 1 are not necessarily the maximum number of coefficients that have been calculated in a particular base. For example, at present for C 10 , 82328 coefficients have been calculated [17].

Table 1: Calculated Bases, Powers, and Number of CFE Coefficients

| base b   |   Min X |   Max X w/ error |   Max X w/o error | Number of CFE Coefficients (for max X w/o error)   |
|----------|---------|------------------|-------------------|----------------------------------------------------|
| 2        |       2 |               25 |                24 | 98093504                                           |
| 3        |       1 |               15 |                16 | 2982556                                            |
| 4        |       1 |               12 |                13 | 629420                                             |
| 5        |       0 |               10 |                11 | 195554                                             |
| 6        |       0 |                9 |                10 | 105806                                             |
| 7        |       0 |                8 |                 9 | 53596                                              |
| 8-10     |       0 |                7 |                 8 | base 8: 26362 base 10: 34062                       |
| 11-14    |       0 |                6 |                 7 | base 11: 14424 base 14: 16386                      |
| 15-16    |       0 |                5 |                 6 | base 15: 6080 base 16: 6258                        |
| 17-27    |       0 |                4 |                 5 | base 17: 2382 base 27: 3184                        |
| 28-62    |       0 |                3 |                 4 | base 28: 1104 base 62: 1830                        |
| 63-90    |       0 |                2 |                 3 | base 63: 540 base 90: 574                          |
| 91-124   |       0 |                1 |                 2 | base 91: 136 base 124: 128                         |

A tabular view of the properties for a specific base, 9, appears in Table 2. To the best of our knowledge, the values in the shaded cells are predictions, and they have not been confirmed. A similar table, for base 10, is given in [3, Table 1].

## 5.2 Data Location and Digit Symbols

The computed data may be downloaded [19] and found under the 'data' folder. The data is available under the Open Data Commons Public Domain Dedication and License (ODC PDDL) [20].

8 The coefficient numbers start at 1 per the precedent set in A038705 [12].

Table 2: C 9 HWM Convergents Summary

| Power of 10 9 , X   | HWM Coefficient Number (next CFE term)   | Integer that Fails ; Fails As, in Convergent Calculation   | NCD ( 9 , X )              | Convergent Error                     | Convergent Denominator                    | Length of HWM (next CFE term)   |
|---------------------|------------------------------------------|------------------------------------------------------------|----------------------------|--------------------------------------|-------------------------------------------|---------------------------------|
| 0                   | 4                                        | 7 9 ; 8 9                                                  | 7                          | 1 . 0 × 9 - 8 10                     | 64 10                                     | 5                               |
| 1                   | 16                                       | 87 9 ; 88 9                                                | 150                        | 8 . 1 9 × 9 - 153 10                 | 8 . 701 9 × 9 10 10                       | 131                             |
| 2                   | 52                                       | 887 9 ; 888 9                                              | 2093                       | 8 . 0088 9 × 9 - 2097 10             | 8 . 87001 9 × 9 155 10                    | 1785                            |
| 3                   | 152                                      | 8887 9 ; 8888 9                                            | 25420                      | 8 . 00088 9 × 9 - 25425 10           | 8 . 8870001 9 × 9 2100 10                 | 21223                           |
| 4                   | 492                                      | 88887 9 ; 88888 9                                          | 287859                     | 8 . 000088 9 × 9 - 287865 10         | 8 . 888700001 9 × 9 25429 10              | 237005                          |
| 5                   | 1598                                     | 888887 9 ; 888888 9                                        | 3122210                    | 8 . 0000088 9 × 9 - 3122217 10       | 8 . 88887000001 9 × 9 287870 10           | 2546475                         |
| 6                   | 4512                                     | 8888887 9 ; 8888888 9                                      | 32882905                   | 8 . 00000088 9 × 9 - 32882913 10     | 8 . 888887 0000001 9 × 9 3122223 10       | 26638465                        |
| 7                   | 12164                                    | 88888887 9 ; 88888888 9                                    | 338992920                  | 8 . 000000088 9 × 9 - 338992929 10   | 8 . 8888887 00000001 9 × 9 32882920 10    | 273227087                       |
| 8                   | 30410                                    | 888888887 9 ; 888888888 9                                  | 3438356831                 | 8 . 0000000088 9 × 9 - 3438356841 10 | 8 . 88888887 000000001 9 × 9 338992937 10 | 2760370965                      |
|                     | Conjecture 3 (even numbered)             | Conjecture 1                                               | Conjecture 1, Conjecture 2 | Conjecture 1, Conjecture 4           | Conjecture 6, Equation (4.4)              | Conjecture 5                    |

The downloaded data must be unzipped and extracted. The data includes the numerator of the convergent and the CFE coefficients as calculated from the convergent for each base, b , and power of 'ten', X , as given in Table 1 under the 'Max X w/o error' column. For the bases and powers under the 'Max X w/ error' column, the data also includes C b as calculated by the convergent as well as the convergent error. However, for b = 2, X = 25, the CFE coefficients are not given due to the lengthy calculation time. 9

The base, b , and power, X , appear in each file name. The following prefixes identify the types of files:

- · cn calc
- -C b as calculated by the convergent
- · cn cfe coeffs
- · cn error
- -the CFE coefficients calculated from the convergent
- -C b as calculated by the convergent minus C b (approximately 30 digits)
- · cn numer
- -the numerator of the convergent

It should be noted that there are various suffixes, after the base and power, that indicate the specific program that was used to generate the data. These suffixes include, for example, whether or not the error was calculated.

The symbols used for the digits in various bases are summarized in Table 3. Of course, for any base, b , the symbol range is valid only for digits 0 through b -1. Referring to the table, it may be seen, for example, that when examining a data file for a base 36 calculation, the symbol for the digit 35 10 is 'z'. However, when examining a data file for a base 37 calculation, the symbol for the digit 35 10 is 'Z' and the symbol for the digit 36 10 is 'a'. When examining a data file for a base 64 calculation, the symbol for the digit 63 10 is ' 1', with the symbol representing a single character. |

Table 3: Digit Symbols for the Various Bases

|        | Digit Symbols   | Digit Symbols   | Digit Symbols   | Digit Symbols   | Digit Symbols   | Digit Symbols   |
|--------|-----------------|-----------------|-----------------|-----------------|-----------------|-----------------|
| Base b | 0-9             | 10-35           | 36-61           | 62-71           | 72-97           | 98-123          |
| 2-10   | 0-9             |                 |                 |                 |                 |                 |
| 11-36  | 0-9             | a-z             |                 |                 |                 |                 |
| 37-62  | 0-9             | A-Z             | a-z             |                 |                 |                 |
| 63-72  | 0-9             | A-Z             | a-z             | | 0- | 9        |                 |                 |
| 73-98  | 0-9             | A-Z             | a-z             | | 0- | 9        | | a- | z        |                 |
| 99-124 | 0-9             | A-Z             | a-z             | | 0- | 9        | | A- | Z        | | a- | z        |

Discussions of the results of the processing of the data and compilations of the data may be found in Section 7.4.

## 6 2 nd Generation HWM Length Extension to Bases 2 through 62

It is well known that in addition to the C 10 HWM CFE coefficients, there are other coefficients that have a large number of digits that are not themselves HWMs. For example, coefficient 101 (starting from 0) is 140 digits long, but it is not a HWM since coefficient number 40 is 2504 digits long and coefficient number 18 is 166 digits long. Coefficient 101 is an example of what we have designated a 2 nd Generation HWM [4].

It is known that for C 10 , the lengths of the 2 nd Generation HWMs appear to be related to the lengths of the HWMs [4, Conjecture 8]. The differences in the lengths of a HWM and its corresponding 2 nd Generation HWM show a regular pattern, increasing by 10 for each HWM number increase. We have found that, in general, the same holds true for bases 2 through 62: the difference in the lengths of a HWM and its corresponding 2 nd Generation HWM increases by 10 for each HWM number increase. 10,11 However, there were irregularities in some bases as can be seen by the shaded cells in Table 4, which is a compilation of the data. Note, for example, the entries for bases 4, 5, 9, 22, and 36.

It should also be noted that starting at base 24, the first 2 nd Generation HWM starts after HWM #5 rather than after HWM #6. Further analysis may show that this is true for base 23 and possibly base 22,

9 The calculation is in progress.

10 The length is the number of digits as represented in the base of C b .

11 No analysis was performed for bases 63 through 124.

but this would most likely involve looking at the error of the potential 2 nd Generation HWM convergents [4, Conjecture 9].

Table 4: Bases, Difference Between HWM Lengths and 2 nd Generation HWM Lengths

|   base |    | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   | HWM Length - 2 nd Generation HWM Length   |
|--------|----|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|
|      2 | 80 | 90                                        | 100                                       | 110                                       | 120                                       | 130                                       | 140                                       | 150                                       | 160                                       | 170                                       | 180                                       | 190                                       | 200                                       | 210                                       |
|      3 | 48 | 58                                        | 68                                        | 78                                        | 88                                        | 98                                        | 108                                       | 118                                       | 128                                       | 138                                       | 148                                       |                                           |                                           |                                           |
|      4 | 36 | 47                                        | 57                                        | 67                                        | 77                                        | 87                                        | 97                                        | 107                                       | 117                                       |                                           |                                           |                                           |                                           |                                           |
|      5 | 25 | 37                                        | 47                                        | 57                                        | 67                                        | 77                                        | 87                                        | 97                                        |                                           |                                           |                                           |                                           |                                           |                                           |
|      6 | 25 | 35                                        | 45                                        | 55                                        | 65                                        | 75                                        | 85                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|      7 | 27 | 37                                        | 47                                        | 57                                        | 67                                        | 77                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|      8 | 25 | 35                                        | 42                                        | 55                                        | 65                                        | 75                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|      9 | 24 | 37                                        | 47                                        | 57                                        | 67                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     10 | 26 | 36                                        | 46                                        | 56                                        | 66                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     11 | 27 | 37                                        | 47                                        | 57                                        | 67                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     12 | 26 | 36                                        | 46                                        | 56                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     13 | 27 | 37                                        | 47                                        | 57                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     14 | 26 | 36                                        | 46                                        | 56                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     15 | 27 | 37                                        | 44                                        | 57                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     16 | 26 | 36                                        | 46                                        | 56                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     17 | 27 | 37                                        | 47                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     18 | 24 | 36                                        | 46                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     19 | 27 | 37                                        | 47                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     20 | 26 | 36                                        | 46                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     21 | 27 | 37                                        | 47                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     22 | 26 | 36                                        | 43                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     23 | 27 | 37                                        | 47                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     24 | 16 | 26                                        | 36                                        | 46                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     25 | 17 | 27                                        | 37                                        | 47                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     26 | 14 | 24                                        | 36                                        | 46                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     27 | 17 | 27                                        | 37                                        | 47                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     28 | 16 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     29 | 15 | 27                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     30 | 16 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     31 | 17 | 27                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     32 | 16 | 26                                        | 34                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     33 | 17 | 27                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     34 | 16 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     35 | 17 | 25                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     36 | 15 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     37 | 17 | 27                                        | 34                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     38 | 16 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     39 | 17 | 27                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     40 | 16 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     41 | 17 | 27                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     42 | 16 | 26                                        | 36                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     43 | 14 | 25                                        | 37                                        |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     44 | 16 | 26 27                                     | 36 37                                     |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |
|     45 | 17 |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |                                           |

continued on next page

Table 4 - continued from previous page

|   base |   HWM Length - 2 nd Generation HWM Length |   HWM Length - 2 nd Generation HWM Length |   HWM Length - 2 nd Generation HWM Length | HWM Length - 2 nd Generation HWM Length   |
|--------|-------------------------------------------|-------------------------------------------|-------------------------------------------|-------------------------------------------|
|     46 |                                        16 |                                        26 |                                        36 |                                           |
|     47 |                                        17 |                                        27 |                                        37 |                                           |
|     48 |                                        16 |                                        26 |                                        36 |                                           |
|     49 |                                        17 |                                        27 |                                        37 |                                           |
|     50 |                                        15 |                                        26 |                                        36 |                                           |
|     51 |                                        17 |                                        27 |                                        37 |                                           |
|     52 |                                        16 |                                        24 |                                        36 |                                           |
|     53 |                                        17 |                                        27 |                                        37 |                                           |
|     54 |                                        16 |                                        26 |                                        36 |                                           |
|     55 |                                        17 |                                        27 |                                        37 |                                           |
|     56 |                                        16 |                                        26 |                                        36 |                                           |
|     57 |                                        16 |                                        27 |                                        37 |                                           |
|     58 |                                        16 |                                        26 |                                        36 |                                           |
|     59 |                                        17 |                                        27 |                                        37 |                                           |
|     60 |                                        15 |                                        24 |                                        36 |                                           |
|     61 |                                        17 |                                        27 |                                        37 |                                           |
|     62 |                                        16 |                                        26 |                                        36 |                                           |

## 7 Notes on Computing

## 7.1 Ruby Programs

As mentioned in Section 3, a program was written in Ruby to look for the patterns in the CFE coefficients of C b in various bases. In particular, the HWM coefficients were noted and another Ruby program was written to calculate the numerators and the denominators, as represented in the particular base, of the convergents terminated immediately before the HWM coefficients. The patterns in the denominators and the methods of calculating the numerators as given in Conjecture 6 and Conjecture 7, respectively, were determined. The main CFE calculating programs were then written in C due to speed considerations. Other programs were written in Ruby and C to compile the statistics from the C program outputs and to formulate and check the conjectures.

## 7.2 C Programs

The main C b CFE coefficient calculation programs were written in C. Both the MPIR 32 bit [7] and GMP 64 bit multiple precision libraries were used. In general, the GMP library was used for the highest power of 'ten', X , for each base due to the speed advantage of GMP on Linux versus MPIR on Windows and also due to the larger data handling capability of the 64 bit GMP library versus the 32 bit MPIR library.

There are three main types of programs. The first two main types of programs each have two subtypes since the limit on the input and output base range of the MPIR and GMP libraries is 2 to 62, while the study was conducted to base 124. The last main type finds use only for low bases and large values of X , so the extension to higher bases is unnecessary. The following list shows the main types and subtypes of programs:

- · Programs that calculate the convergent, the CFE coefficients of the convergent, C b as calculated by the convergent, and the convergent error
- -Programs for bases 2 through 62
- -Programs for bases 63 through 124
- · Programs that calculate the convergent and the CFE coefficients of the convergent

- -Programs for bases 2 through 62
- -Programs for bases 63 through 124
- · A program that calculates the convergent, C b as calculated by the convergent, and the convergent error

Table 5 gives the calculation times for the various bases and powers of 'ten', X . See Section 7.5 for more details on the calculations. It may be observed that the base 63 through base 124 calculation times increase rapidly with X as the base conversion processing is not as efficient as the MPIR and GMP input and output functions.

Currently, for bases from approximately 4 to 62, the limitation in these calculations for the maximum power, X , for a given base, b , is usually memory. However, for the lower bases, particularly base 2 and base 3, and higher powers, the number of coefficients that are calculated becomes very high. In these cases, the calculation time of the CFE coefficients becomes a major factor. As more memory becomes available, the CFE coefficient calculation time may become more of a factor for bases higher than base 3 at the higher powers.

The program that calculates the convergent, C b as calculated by the convergent, and the convergent error, but not the CFE coefficients was written to further check the validity of the applicable conjectures for the highest power of ' ten' in the lower bases without the very time consuming calculation of the coefficients. This program may also be used for higher bases but the calculation time savings is not nearly as beneficial.

For bases 63 to 124, the limitation is calculation time rather than memory due to the inefficient base conversion. However, as the base increases, the difference in the number of digits between powers of 'ten' increases, and this factors into the increase in calculation time as well.

## 7.3 Program Location and Preferred Programs

All of the programs that were used in the study, including ones that are not mentioned, are available under the GNU LGPL [18]. To download the programs, see reference [19], under the 'programs' folder. As there are many programs, some of which were used to check results, the preferred program for each main type used in the HWM convergent calculations is indicated in Table 6. The preferred programs for MPIR are Microsoft Visual Studio C++ projects, while the GMP programs consist of a C program and a C header file. For instructions on how to run the programs, see the readme mpir.txt and readme gmp.txt files that may be found in the appropriate folders.

## 7.4 Other Programs and Data of Interest

As already mentioned, several programs were written to process the data and compare the output of the main programs with the conjectures. One processed data set that we feel may be of general interest is a list of the CFE coefficient lengths for all coefficient numbers, not just the HWMs. A separate file has been created for each base, b , and the maximum power of 'ten', X , in which the coefficients were calculated. In some of the lower base cases, where the files may be very large (over 1 GB), compilations for lower values of X are included.

Once the vcpp.tar.gz file has been unzipped and extracted, these files may be found in the following folders:

- · get hwm lengths generic base
- · get hwm lengths generic base auto
- · get hwm lengths generic base v hi base auto

The name of the file includes b and X . An example name is cn cfe coeffs base 2 pow 10 24 no err all coeffs lengths.txt .

There are other files in each of these directories for each b and X . These files have been processed from the files containing all of the coefficient lengths. The files with powers at the end of the name give the HWM lengths for each b and X .

Table 5: Calculation Times

|        |          | calculation time in seconds   | calculation time in seconds   | calculation time in seconds   |
|--------|----------|-------------------------------|-------------------------------|-------------------------------|
| base b | X        | CFE Calculation with Error    | CFE Calculation without Error | With Error, No Coefficients   |
| 2      | 25       |                               |                               | 219                           |
| 3      | 24 15 16 | 21551                         | 2041980 176523                | 105                           |
| 4      | 12 13    | 6048                          |                               |                               |
|        | 10       |                               | 59031                         |                               |
| 5      |          | 1206                          |                               |                               |
|        | 11       |                               | 13169                         |                               |
|        | 9        | 869                           |                               |                               |
| 6      | 10       |                               | 8908                          |                               |
| 7      | 8        | 397                           |                               |                               |
|        | 9        |                               | 3161                          |                               |
| 8-10   | 7        | base 8: 56 base 10: 928       |                               |                               |
|        | 8        |                               | base 8: 569 base 10: 5524     |                               |
| 11-14  | 6        | base 11: 130 base 14: 903     |                               |                               |
|        | 7        |                               | base 11: 476 base 14: 3330    |                               |
| 15-16  | 5        | base 15: 60 base 16: 36       |                               |                               |
|        | 6        |                               | base 15: 139 base 16: 152     |                               |
| 17-27  | 4        | base 17: 5 base 27: 88        |                               |                               |
|        | 5        |                               | base 17: 9 base 27: 172       |                               |
|        | 3        | base 28: 1                    |                               |                               |
| 28-62  |          | base 62: 82                   |                               |                               |
|        | 4        |                               | base 28: 3 base 62: 144       |                               |
| 63-90  | 2        | base 63: 5271 base 90: 51821  |                               |                               |
|        | 3        |                               | base 63: 14275 base 90: 53217 |                               |
| 91-124 | 1        | base 91: 1 base 124: 3        |                               |                               |
|        | 2        |                               | base 91: 1 base 124: 3        |                               |

Table 6: Preferred Programs

| Type of Program     | Applicable Bases   | Preferred Program                                                                                |
|---------------------|--------------------|--------------------------------------------------------------------------------------------------|
| w/ error            | 2-62               | MPIR: cn generic base w err no itoa auto GMP: cn generic base gmp w err auto                     |
| w/ error            | 63-124             | MPIR: cn generic base w err very hi base auto GMP: cn generic base gmp w err very hi base auto   |
| w/o error           | 2-62               | MPIR: cn generic base no err no itoa auto GMP: cn generic base gmp no err                        |
| w/o error           | 63-124             | MPIR: cn generic base no err very hi base auto GMP: cn generic base gmp no err very hi base auto |
| w/ error, no coeffs | 2-62               | GMP: cn generic base gmp w err auto no coeffs calc                                               |

## 7.5 Hardware

The results given in Table 5 were obtained on a desktop computer with a 3.40 GHz i7 -2600 CPU, running a single thread, with 8 GB of 1333 MHz DDR3 SDRAM. The programs were run with GMP on Linux, and GMP was built via the command line using --build=x86 64 -intel -linux -gnu to optimize GMP to 64 bit operation on an Intel x86 processor. Additional tuning per GMP instructions was attempted, but no performance increase was observed. Building GMP in this manner resulted in code that ran approximately twice as fast as the generic C code.

The MPIR programs were run in 32 bit mode on Windows and the build mode was for generic C code. The GMP programs ran about 8 times faster than the MPIR programs.

## 8 Suggestions for Future Analysis

## 8.1 Extending the powers of 'ten'

Naturally, extending the maximum power of 'ten', X , for each base and checking the calculations against the conjectures is desirable. Generally, the amount of memory required increases by a factor of approximately 1 25 . · base for each increment in power. When extending the calculations to a higher power of X , we feel that it is very important to make the calculations with the program that calculates C b as calculated by the convergent as well as with the program that calculates the CFE coefficients without calculating C b , with no more than one power difference between the two. We believe that ensuring that the calculation of C b conforms to Conjecture 1 for power X -1 increases the credibility of the calculations of the CFE coefficients for power X .

As explained in Section 7.2, for the lower bases, computing time becomes problematic. In general, for bases 62 and lower, each increment in power increases the time by a factor of approximately 2 5 . · base , with a minimum of approximately a factor of 8 for base 2 and high powers of X .

## 8.2 Analysis of the ratio of adjacent HWM coefficient numbers

We feel that it would be interesting to compare the ratio of the coefficient numbers of successive HWMs in the various bases. A base dependent formula may exist for the limit of this ratio as the power of 'ten', X increases without bound.

## 8.3 More efficient algorithm for calculating the CFE coefficients

Implementation of a faster, more efficient algorithm to calculate the CFE coefficients would be of great benefit for the lower bases and higher powers of 'ten'.

## 8.4 Further analysis of the 2 nd Generation HWM coefficients

Further analysis of the 2 nd Generation HWMs is suggested to see if the difference in HWM and 2 nd Generation HWM lengths stabilizes at 10 as the powers of 'ten' go higher. It would also be of interest to see if the 2 nd

Generation HWM convergent error, and denominators in other bases have similar patterns to those in base 10 [4].

## 8.5 More efficient base conversion for bases greater than base 62

The current programs for bases greater than base 62 have inefficient methods for calculating C b and for converting between bases. This results in greatly increased calculation times for higher powers of 'ten'. Therefore, it is desired that more efficient algorithms be employed.

## 9 Conclusions

We have determined that patterns exist in the CFE HWM convergents for Champernowne's Constant in bases 2 to 124, similar to the patterns that exist in the CFE HWM convergents for Champernowne's Constant in base 10. These patterns have been presented in the form of formulae in conjectures. In some bases, slight changes in the formulae are required. There are also a few exceptions to the conjectures, depending upon the base and the power of 'ten'. These differences and exceptions have been presented and discussed.

A cursory analysis of the 2 nd Generation HWM lengths in base 2 to base 62 has been presented and the results and exceptions to the expected results have been discussed. It was suggested that further study of the 2 nd Generation HWM convergents would be worthwhile.

The programs used in the analysis, and the data calculated by the programs, were discussed. The location of the programs and data was given. The programs are available under the GNU LGPL. The data is available under the ODC PDDL.

## References

- [1] D.G. Champernowne, 1933: The construction of decimals normal in the scale of ten , J. London Math. Soc. 8, p. 254-260.
- [2] K. Mahler, 1937: Arithmetische eigenschaften einer klasse von dezimalbrchen , Proc. Konin. Neder. Akad. Wet. Ser. A. 40, p. 421-428.
- [3] John K. Sikora, 2012: On the high water mark convergents of Champernowne's Constant in base ten , http://arxiv.org/abs/1210.1263 [math.NT], p. 4-10.
- [4] Ibid., p. 12-18.
- [5] T. Granlund, 2012: GNU multiple precision arithmetic library, version 5.0.5 , http://gmplib.org/
- [6] E. Weisstein, 2013: Champernowne Constant , http://mathworld.wolfram.com/notebooks/Constants/ChampernowneConstant.nb
- [7] William Hart, 2010: MPIR multiple precision integers and rationals library, version 2.5.1 , http://www.mpir.org
- [8] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A244330 .

[9]

OEIS Foundation Inc, 2011:

The On-Line Encyclopedia of Integer Sequences

,

http://oeis.org/A244331

.

- [10] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A244332 .
- [11] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A244333 .
- [12] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A038705 .
- [13] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A143534 .
- [14] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A244758 .
- [15] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A244759 .
- [16] OEIS Foundation Inc, 2011: The On-Line Encyclopedia of Integer Sequences , http://oeis.org/A143532 .

[17]

Wolfram Mathworld, 2013:

Champernowne Constant Continued Fraction

,

http://mathworld.wolfram.com/ChampernowneConstantContinuedFraction.html

.

- [18] Free Software Foundation, 2007: GNU Lesser General Public License v3 , https://www.gnu.org/licenses/lgpl.html .
- [19] John K. Sikora, 2014: Champernowne's Constant File Repository , https://drive.google.com/folderview?id=0B2oQudZQvHfSZ1hZN2VIYmU5eTQ&amp;usp=sharing .
- [20] Open Knowledge Foundation, 2008: Open Data Commons Public Domain Dedication and License, v1.0 , http://opendatacommons.org/licenses/pddl/1.0/
John K. Sikora
Analysis of the High Water Mark Convergents of Champernowne's Constant in Various Bases
In this paper, we show that patterns exist in the properties of the High
Water Mark (HWM) convergents of Champernowne's Constant in various bases (Cb),
specifically in bases 2 through 124. The convergents are formed by truncating
the Continued Fraction Expansion (CFE) of Cb immediately before the CFE HWMs.
These patterns have been extended from the known patterns in the CFE HWMs of
Champernowne's Constant in base ten. We show that the patterns may be used to
efficiently calculate the CFE coefficients of Cb, and to calculate and predict
the lengths of the HWM coefficients, the number of correct digits of Cb as
calculated by the convergent, and the convergent error. We have discovered that
minor corrections to the pattern formulations in base 10 are required for some
bases, and these corrections are presented and discussed. The resulting
formulations may be used to make the calculations for Cb in any base.