Backhouse's constant

From HandWiki

Backhouse's constant is a mathematical constant named after Nigel Backhouse. Its value is approximately 1.456 074 948.

It is defined by using the power series such that the coefficients of successive terms are the prime numbers,

[math]\displaystyle{ P(x)=1+\sum_{k=1}^\infty p_k x^k=1+2x+3x^2+5x^3+7x^4+\cdots }[/math]

and its multiplicative inverse as a formal power series,

[math]\displaystyle{ Q(x)=\frac{1}{P(x)}=\sum_{k=0}^\infty q_k x^k. }[/math]

Then:

[math]\displaystyle{ \lim_{k \to \infty}\left | \frac{q_{k+1}}{q_k} \right \vert = 1.45607\ldots }[/math].[1]

This limit was conjectured to exist by Backhouse,[2] and later proven by Philippe Flajolet.[3]

References

  1. Sloane, N. J. A., ed. "Sequence A072508". OEIS Foundation. https://oeis.org/A072508. 
  2. Backhouse, N. (1995). Formal reciprocal of a prime power series. unpublished note. 
  3. Flajolet, Philippe (25 November 1995). On the existence and the computation of Backhouse's constant. Unpublished manuscript. 
    Reproduced in Hwang, Hsien-Kuei (19 June 2014). "Les cahiers de Philippe Flajolet". AofA 2014 - 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms. with Brigitte Vallée and Julien Clément. Paris. http://algo.stat.sinica.edu.tw/hk/?p=827. Retrieved 18 May 2021. 

Further reading