Examples of theorems where numerical bounds on $\pi$ played a role

Question

This is a whimsical question, motivated purely by curiosity rather than for any application.

We are all familiar with countless mathematical results which use Archimedes' constant $\pi$ either in their statement, or in their proof. However, in almost all cases that I am aware of, the precise numerical value of $\pi = 3.14159\dots$ does not play any significant role in the arguments; in some hypothetical alternate mathematical universe in which $\pi$ somehow managed to take on some different positive real numerical value, most proofs involving $\pi$ would continue to be locally valid despite the global inconsistency created.

So my question is whether there are any examples of mathematical theorems where a numerical bound on $\pi$, e.g., $\pi \geq 3$ or $\pi \leq 22/7$, or even much cruder bounds such as $\pi \geq 1$, actually played an important role in the proof, in that the proof would fail or require significant modification if such a bound was not known. (Here I exclude the really trivial bounds $0 < \pi < +\infty$, which certainly are implicitly used all over the place.) To put it another way: how many digits of $\pi$ do we need to know in order to do modern mathematics?

This can be contrasted with the analogous question for Euler's number $e=2.71828\dots$, where one can certainly think of places where it was important to know that, for instance, $e \geq 2$ (and certainly $e>1$ is extremely important!). But I can't think of many examples involving $\pi$; this constant seems to be a lot less "willing" to behave like a genuinely dimensionless quantity than say $e$, $\sqrt{2}$, or the golden ratio $\phi$, in that it rarely interacts in an additive fashion with such quantities, and its presence often cancels itself out at the end of a calculation.

To avoid some degenerate answers, let me exclude the following categories of theorems from this question:

1. Theorems about $\pi$ itself, such as Lindemann's theorem that $\pi$ is transcendental, or mathematical coincidences involving $\pi$ such as the Feynman point.
2. Theorems involving a lengthy numerical calculation involving expressions that contain $\pi$. An example might be a PDE result which relied on some numerical estimation of an integral expression involving $\pi$, or an eigenvalue of an operator which also involved $\pi$ somehow. [I would waive this exclusion though if one could make a clear case that the numerical value of $\pi$ played a particularly decisive role in the calculation, as opposed to the appearance of $\pi$ merely being an artefact of one's normalization conventions (e.g., for the Fourier transform) that played no actual role in the final theorem.]
3. Theorems arbitrarily comparing numerical quantities, at least one of which involves $\pi$ implicitly or explicitly. An example of this might be a result comparing the volume of a cube and a ball in some dimension, but without any motivation for why it would be interesting to know which one is larger.
4. Theorems in which a numerical bound involving $\pi$ was replaced with a slightly weaker numerical bound not involving $\pi$, purely to make the final conclusion look nicer. (Suggested by JoshuaZ in the comments.)
5. Theorems that gratiutiously use $\pi$ in their proof, but for which the proof can be easily modified to avoid mention of $\pi$ (or related quantities). (Suggested by Christian Remling in the comments; for instance, the statement that a square inscribes a circle of diameter equal to the sidelength can be proven directly without explicit mention of $\pi$.)

I'll start with one near-example to this question: in some sieve-theoretic applications in analytic number theory, it is useful to know that the average value of $|\sin x|$, namely $\frac{2}{\pi}$, is strictly less than one (see, e.g., the end of Section 4 of this blog post of mine on a Banach algebra proof of the prime number theorem). Ostensibly this is using the lower bound $\pi > 2$. However, one doesn't actually need to know about $\pi$ to see this fact, since it is immediate just from the inspection of the graph of $|\sin x|$ that its average value is going to be less than one! The fact that this average value also happens to be evaluated explicitly as $\frac{2}{\pi}$ is, as far as I know, inessential to the applications that I am aware of, and so the appearance of $\pi$ here is (almost literally) tangential. (Instead, one can view this argument as providing a proof of the lower bound $\pi>2$, and thus is basically a result of the first category of exclusions; one can also view this particular example as also belonging to the fifth category.)

Answer 1

I'm not sure if this qualifies, but there are cases where it is important to know bounds for $\zeta(2k)$. In particular, if you are willing to equate $\zeta(2)$ with $\pi^2/6$, then here is an example where one needs a numerical bound for $\pi$.

Definition: Let ${\mathcal D}=(D_n)_{n\ge1}$ be a sequence of positive integers. We say that a prime $p$ is a primitive divisor of $D_n$ if $p\mid D_n$ and $p\nmid D_m$ for all $m<n$. The Zsigmondy set of $\mathcal D$ is $$Z(\mathcal D)=\{n\ge1:\text{$D_n$ has no primitive divisors}\}.$$

Theorem: Let $\mathcal D$ be an elliptic divisibility sequence (definition below). Then $Z(\mathcal D)$ is finite.

One step in proof (ZBL0654.10019 Lemma 9) uses the fact that $2-\zeta(2)>0$, i.e., $\pi<3.464$. More precisely, the quantity $$ n^2 - \sum_{\substack{k\mid n\\k<n\\}} k^2 \ge \left(2-\frac{\pi^2}{6}\right)n^2 \tag{$*$}$$ needs to grow as fast as some positive multiple of $n^2$.

Definition: Let $E/\mathbb Q$ be an elliptic curve given by a Weierstrass equation, let $P\in E(\mathbb Q)$ be a non-torsion point, and write the $x$-coordinate of the multiples of $P$ as $x(nP)=A_n/D_n^2$. Then the sequence $(D_n)_{n\ge1}$ is called an elliptic divisibility sequence.

Addendum: The estimate $(*)$ uses the fact that $2>\zeta(2)=\pi^2/6$, but it would have sufficed to know that \begin{aligned} 0 &< \limsup_{n\ge1} \left\{2-\sum_{k\mid n}\frac{1}{k^2}\right\} = \limsup_{n\ge1} \left\{2-\prod_{p\mid n}\left(1+\frac{1}{p^2}\right)\right\}\\ &= \limsup_{n\ge1} \left\{2-\prod_{p\mid n}\left(1-\frac{1}{p^4}\right)\left(1-\frac{1}{p^2}\right)^{-1}\right\}\\ &= 2-\frac{\zeta(2)}{\zeta(4)} = 2 - \frac{\pi^2}{15}. \end{aligned} Thus the required inequality is $\pi<\sqrt{30}\approx5.477$, which means that Terry's $2<\pi<4$ would suffice.

Answer 2

Viazovska's two Annals papers on sphere packings require verification of several inequalities involving $\pi$. For example from Section 5 of the first paper:

(Someone might test how sensitive these bounds are to the value of $\pi$. Maybe there are more examples concerning modular forms. How about $e^{\pi\sqrt{163}}$?) These are auxiliary inequalities to prove one of the two main inequalities, which Romik (2023) gave proofs that do not rely on computer calculations but still requires proving some bounds (see Equation 20 and Lemma 2, 3) involving $\pi$, $e$ and $\Gamma(1/4)$. It seems the second paper still rely on computer calculations though.

Answer 3

A lot of Minkowski related examples might work here. For example:

Let $D$ be the Discriminant of an algebraic number field $K$ with degree $n$ over $ \mathbb{Q}$, where $r_1$ and $r_2$ are the numbers of real and complex embeddings. Then every class in the ideal class group of $K$ contains an integral ideal of norm at most $$\sqrt{|D|} \left(\frac{4}{\pi}\right)^{r_2} \frac{n!}{n^n} \ . $$

Understanding how this behaves for various fields sometimes uses that $\pi <4$. Other estimates connect this bound to Stirling's formula for $n!$.

Another related direction, also coming from Minkowski type arguments is the Minkowski-style proof of Lagrange's four square theorem, where $\pi >2$ is used. More accurate estimates might be used for results about other similar quadratic forms.

Answer 4

How about an example of where the numerical value of $\pi$ is what makes a problem not solved? The moving sofa problem. See Dan Romik's paper.

An original upper bound on the moving sofa constant given by Hammersley is $2\sqrt{2}\approx 2.828$ which has been improved to $2.37$ by Kallus and Romik.

There is an example given below of a sofa with area $\pi/2+2/\pi\approx 2.2074$. Note that this is not a solution because $\pi/2+2/\pi<2.37.$

Actually, $x/2+2/x=2.37$ has two solutions, $x\approx 1.09843,3.64157.$ In particular for $x\in (1.09843,3.64157)$ we have that $x/2+2/x<2.37$.

The example given below is not optimal because $\pi\in(1.09843,3.64157)$.

I believe this qualifies because this shape is a natural attempt and one of the first things one would try. The problem is interesting and nontrivial precisely because one of the first things one would try doesn't work. The $\pi$ shows up due to circular shape and hence isn't an arbitrary choice.

Answer 5

In the paper, Space vectors forming rational angles, by Kiran S. Kedlaya, Alexander Kolpakov, Bjorn Poonen, and Michael Rubinstein, the authors classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $\pi$. Surprisingly, the proof relies heavily on high-precision floating-point calculations, and $\pi$ is heavily implicated in these calculations. Exactly how many digits of $\pi$ are needed, though, I'm not sure; I'll see if I can contact the authors for more detailed information.

Answer 6

We have a deterministic recursive relation to determine all (natural) prime numbers in ascending order:

$p_1=\lim\limits_{k\to\infty}[\zeta(k)-1]^{-1/k}(=2)$

$p_{n\ge2}=\lim\limits_{k\to\infty}\left[\zeta(k)\prod\limits_{m=1}^{n-1}\left(1-\dfrac{1}{p_m^k}\right)-1\right]^{-1/k}$

This is, essentially, just an implementation of the Sieve of Erastothenes (see the addendum below.).

Given the infinite sequence $\zeta(2)=\pi^2/6,\zeta(4)=\pi^4/90,\zeta(6)=\pi^6/945,...$ and a sufficiently accurate rendering of $\pi$ (or, if you prefer, of $\pi^2$), we could in principle use this formula to churn out all primes in succession.

When I tried this decades ago with a calculator having eight decimal place precision, I got as far as

$2,3,5,7,11. \tag{Oh well.}$

(Using exact values of $\zeta(2k)$ up to $k=6$ and Microsoft Excel for the calculations I extended the list above to include $13$ and $17$.)

---

Addendum:

Here is how the formuka is derived (I will make no discovery claim, someone(s) must gave exolored this before I was born!)

For $k>1$ we have

$\zeta(k)=1+(1/2^k)+(1/3^k)+(1/4^k)+(1/5^k)+...$

If we subtract the $1$ we see that the leading term that remains is $1/2^k$ which makes $[\zeta(k)-1]^{-1/k}$ converge to $2$. As this is the next natural number after $1$ it cannot gave any factors between and so is a prime.

Now multiply the $\zeta$ function by $1-(1/2^k)$ to get rid of the term with $2$. Then all terms with multiples of $2$ go away just as they would with the Sieve of Erastothenes, leaving

$\zeta(k)[1-1/(2^k)]=1+(1/3^k)+(1/5^k)+(1/7^k)+(1/9^k)+...$

Now subtracting $1$ and raising to the power of $-1/k$ gives convergence to $3$, and all possible prime factors below $3$ are removed by the multiplication/sieving process so $3$ must be the next prime.

We keep going. To explore numbers not divisible by either of thevprimes $2$ and $3$, we tack on a factor of $1-(1/3^k)$ which removes not only $3$ but all its remaining multiples:

$\zeta(k)[1-1/(2^k)][1-1/(3^k)]=1+(1/5^k)+(1/7^k)+(1/11^k)+(1/13^k)+...$

where the $1/5^k$ term renders $5$ as the first number greater tgan $1$ but not divisible by the lower primes $2,3$,therefore the third prime. In principle we can iterate this process indefinitely, but in practice the formula is ill-conditioned and we require extremely precise values for the $\zeta$ functions at various $k$ to keep on track in a numerical computation.

Answer 7

In another answer I explored the relationship between precise values of $\pi$, the zeta function and prime numbers. In this one I consider the role of bounding $\pi$ on proving the class group of an integer domain.

The integers of the imaginary quadratic field $\mathbb{Q}[\sqrt{-30}]$ have three ramified primes $2,3,5$, which factor into ideals as:

$(2)=(2,\sqrt{-30})^2$

$(3)=(3,\sqrt{-30})^2$

$(5)=(5,\sqrt{-30})^2$

The ideals on the right sides of these equations are not principal, but by construction their squares are, and the trilinear product of these three ideals is also principal. These conditions guarantee that the class group of $\mathbb{Q}[\sqrt{-30}]$ will contain the Klein four-group.

Now to prove that the class group of this field is the Klein four-group only, we would show that the Minkowski bound

$M=(2/\pi)\sqrt{120}<7\iff\pi^2>480/49.$

There is a neat way to prove this bound. In this answer a Fourier series is used to render the series

$\pi/2\sqrt2=+(1/1)+(1/3)-(1/5)-(1/7)...$

where the denominators are consecutive odd numbers and the indicated sign pattern from the first four terms repeats. By evaluating groups of four terms following the initial $1$ we can show that any truncation after $4n+1$ terms underestimates $\pi/2\sqrt2$ and the error falls roughly in proportion to $1/n^2$. Well, for $n=2$ this lower bound leads to

$\pi/2\sqrt2>1.10773...\implies\pi^2>9.8165...$

versus $480/49=9.7959...$, proving the claim.

Answer 8

André Voros defined a sequence of real numbers $\Lambda_1$, $\Lambda_2$, ..., which unlike the classical Keiper-Li coefficients can be expressed in closed form using a power of $\pi$.

The main claim of 2204.01036 and other earlier work is that the Riemann Hypothesis is true if and only if some asymptotic tail of this sequence is positive.

The positivity of the first three numbers translates into the following inequalities: $$ \pi > 3 $$ $$ \pi^4 5^7 < 2^7 3^{11} $$ $$ \pi^8 5^{25} > 2^3 3^{22} 7^{11} $$

Below is a screenshot of the actual numbers, taken from page 12 of 1703.02844. They are all defined in terms of Bernoulli numbers by a convoluted but completely explicit formula.

Answer 9

I post this answer because it gives a the necessary lower bound for $\pi$ coming from harmonic analysis. In particular H. Helson in his article "Hankel forms" asked if there exists an analogue of Nehari's theorem for the infinite dimensional polydisc.

This is equivalent to ask that there exists a dimension independent constant $C>0$ such that if the Hankel form $H_\psi(f,g) = \langle \psi f , g \rangle_{H^2(\mathbb{T}^d)} $ is bounded, (here $H^2(\mathbb{T}^d$) is the Hardy space in the $d$-dimensional polydisc) then there exists a bounded function $\varphi \in L^\infty(\mathbb{T}^d)$ such that $ \psi = P_+\varphi $, where $P_+$ is the Riesz projection, and $$ \Vert \varphi \Vert_\infty \leq C \Vert H_\psi \Vert = C \sup_{\Vert f \Vert \leq 1, \Vert g \Vert\leq 1} |H_\psi(f,g)|. $$

In the article ``A lower bound in Nehari's theorem'' Seip and Ortega-Cerda gave a negative answer to this question showing that the optimal such $C$ in dimension $d$ is bigger than $(\pi^2/8)^{d/4}$. This blows up as $d\to \infty$ since $\pi > 2\sqrt{2}$.