5 Exponent pairs

Definition 5.1 Exponent pair

An exponent pair is a (fixed) element $(k, ℓ)$ of the triangle

{(k, ℓ) \in R^{2} : 0 \leq k \leq 1 / 2 \leq ℓ \leq 1, k + ℓ \leq 1}

with the following property: for all model phase functions $F$ , all $T \geq N \leq 1$ , and all intervals $I \subset [N, 2 N]$ , one has

\sum_{n \in I} e (T F (n / N)) ≪ (T / N)^{k + o (1)} N^{ℓ + o (1)}

whenever $T \geq N \geq 1$ , $I$ is an interval in $[N, 2 N]$ , and $F \in U$ .

Implemented at exponent_pair.py as:
Exp_pair

One can formulate the notion of an exponent pair without recourse to asymptotic notation:

Lemma 5.2 Non-asymptotic definition of exponent pair

Let $(k, ℓ)$ be a fixed element of 1. Then the following are equivalent:

$(k, ℓ)$ is an exponent pair.
For every (fixed) $ε > 0$ there exist (fixed) $C, P > 0$ such that, whenever $T \geq N \geq 1$ , $I \subset [N, 2 N]$ , and $F$ is a phase function obeying 3 for for all (fixed) $0 \leq p \leq P$ and $u \in [1, 2]$ , then

$| \sum_{n \in I} e (T F (n / N)) | \leq C (T / N)^{k + ε} N^{ℓ + ε} .$

The proof of this lemma is similar to that of Lemma 4.3 and is omitted.

Exponent pairs are closely related to the function $β$ from the previous chapter:

Lemma 5.3 Duality between exponent pairs and

β

Let $(k, ℓ)$ be in the triangle 1. Then the following are equivalent:

$(k, ℓ)$ is an exponent pair.
$β (α) \leq k + (ℓ - k) α$ for all $0 \leq α \leq 1$ .

Implemented at exponent_pair.py as:
exponent_pairs_to_beta_bounds()
beta_bounds_to_exponent_pairs()

Thus exponent pairs are dual to the convex hull of the graph of $β$ . But $β$ is not known to be convex, so one could have bounds on $β$ that do not directly correspond to exponent pairs. We remark that in the case $ℓ - k \geq 1 / 2$ , one only needs to check the case $0 \leq α \leq 1 / 2$ in (ii) above, since the remaining regime $1 / 2 \leq α \leq 1$ then follows from Lemma 4.10 and some algebra. Conversely, if $ℓ - k \leq 1 / 2$ , one only needs to check the region $1 / 2 \leq α \leq 1$ .

Proof ▶

If (i) holds, then for any $0 < α < 1$ , any unbounded $T \geq 1$ , any $N = T^{α + o (1)}$ , interval $I \subset [N, 2 N]$ , and model phase function $F$ , we have from (i) that

\sum_{n \in I} e (T F (n / N)) ≪ (T / N)^{k + o (1)} N^{ℓ + o (1)} = T^{k + (ℓ - k) α + o (1)} .

From Definition 4.2 we conclude that $β (α) \leq k + (ℓ - k) α$ . Also since $(k, ℓ)$ lies in 1, we see from 4, 8 that we also have $β (α) \leq k + (ℓ - k) α$ for $α = 0, 1$ .

Now suppose that (ii) holds. Let $F, T, N, I$ be as in Definition 5.1. By underspill it suffices to show that

\sum_{n \in I} e (T F (n / N)) ≪ (T / N)^{k + ε + o (1)} N^{ℓ + ε + o (1)}

for any fixed $ε > 0$ . We may assume that $T \leq N^{1 / ε + 1}$ , since the claim follows from the trivial bound $\sum_{n \in I} e (T F (n / N)) ≪ N$ otherwise. We may also assume that $N$ is unbounded, since the claim is clear for $N$ bounded; this forces $T$ to be unbounded as well.

By passing to a subsequence we may assume that $N = T^{α + o (1)}$ for some fixed $0 \leq α \leq 1$ . By Definition 4.2 we then have

\sum_{n \in I} e (T F (n / N)) ≪ T^{β (α) + o (1)}

and hence by (ii)

\sum_{n \in I} e (T F (n / N)) ≪ (T / N)^{k + o (1)} N^{ℓ + o (1)}

giving the claim.

Corollary 5.4 Exponent pairs closed and convex

The set of exponent pairs is closed and convex.

Proof ▶

Proposition 5.5 Trivial exponent pairs

$(0, 1)$ and $(1 / 2, 1 / 2)$ are exponent pairs.

Implemented at exponent_pair.py as:
trivial_exp_pair

Proof ▶

Heuristic 5.6 Exponent pairs conjecture

$(0, 1 / 2)$ is an exponent pair. (Equivalently, by Corollary 5.4 and Proposition 5.5, every point in the triangle 1 is an exponent pair.)

Implemented at exponent_pair.py as:
exponent_pair_conjecture

Lemma 5.7

The exponent pair conjecture is equivalent to $β (α) = α / 2$ holding true for all $0 \leq α \leq 1$ .

Proof ▶

Proposition 5.8 Van der Corput

A

-process

If $(k, ℓ)$ is an exponent pair, then so is

A (k, ℓ) := (\frac{k}{2 k + 2}, \frac{ℓ}{2 k + 2} + \frac{1}{2}) .

Recorded in literature.py as:
A_transform_hypothesis

Proof ▶

Proposition 5.9 Van der Corput

B

-process

If $(k, ℓ)$ is an exponent pair, then so is

B (k, ℓ) := (ℓ - \frac{1}{2}, k + \frac{1}{2}) .

Recorded in literature.py as:
B_transform_hypothesis

Proof ▶

5.1 Known exponent pairs

Proposition 5.10 Classical van der Corput exponent pairs

For any natural number $k \geq 2$ ,

A^{k - 2} B (0, 1) = (\frac{1}{2^{k} - 2}, 1 - \frac{k - 1}{2^{k} - 2})

is an exponent pair. In particular,

(\frac{1}{2}, \frac{1}{2}), (\frac{1}{6}, \frac{2}{3}), (\frac{1}{14}, \frac{11}{14})

are exponent pairs.

Proof ▶

Derived in derived.py as:
van_der_corput_pair()

Corollary 5.11 Additional exponent pairs

The pairs

(\frac{13}{31}, \frac{16}{31}), (\frac{4}{11}, \frac{6}{11}), (\frac{2}{7}, \frac{4}{7}), (\frac{5}{24}, \frac{15}{24}), (\frac{4}{18}, \frac{11}{18})

are all exponent pairs.

Derived in derived.py as:
best_proof_of_exponent_pair(frac(13, 31), frac(16, 31))
best_proof_of_exponent_pair(frac(4, 11), frac(6, 11))
best_proof_of_exponent_pair(frac(2, 7), frac(4, 7))
best_proof_of_exponent_pair(frac(5, 24), frac(15, 24))
best_proof_of_exponent_pair(frac(4, 18), frac(11, 18))

Proof ▶

We have $(2 / 7, 4 / 7) = B A (1 / 6, 2 / 3)$ , $(4 / 18, 11 / 18) = B A B A (1 / 6, 2 / 3)$ , and $(13 / 31, 16 / 31) = B A B^{2} A^{2} (1 / 6, 2 / 3)$ , so these cases follow from Propositions 5.10, 5.8, 5.9. Finally, $(4 / 11, 6 / 11)$ is a convex combination of $(1 / 2, 1 / 2)$ and $(2 / 7, 4 / 7)$ , and $(5 / 24, 15 / 24)$ is a convex combination of $(1 / 6, 2 / 3)$ and $(4 / 18, 11 / 18)$ , so these cases follow from Corollary 5.4.

Theorem 5.12 Exponent pairs on the line of symmetry

$(k, k + 1 / 2)$ is an exponent pair for

$k = 9 / 56$ [ 76 , Theorem 1 ] ;
$k = 89 / 560$ [ 173 , Theorem 6 ] ;
$k = 17 / 108$ [ 74 , p. 467 ] ;
$k = 89 / 570$ [ 70 , p. 40 ] ;
$k = 32 / 205$ [ 73 , Theorem 1 ] ;
$k = 13 / 84$ [ 14 , p. 206 ] .

Recorded in literature.py as:
add_literature_exponent_pairs()

Theorem 5.13 Exponent pairs from the Bombieri–Iwaniec method

The following pairs are exponent pairs:

$(\frac{2}{13}, \frac{35}{52})$ [ 77 ] ;
$(\frac{6299}{43860}, \frac{29507}{43860})$ [ 71 , Table 17.3 ] ;
$(\frac{771}{8116}, \frac{1499}{2029})$ [ 156 , p. 285 ] ;
$(\frac{21}{232}, \frac{173}{232})$ [ 156 , p. 286 ] ;
$(\frac{1959}{21656}, \frac{16135}{21656})$ [ 156 , p. 286 ] ;
$(\frac{516247}{6629696}, \frac{5080955}{6629696})$ [ 81 ] , [ 71 , Table 19.2 ] , [ 148 ] .

Recorded in literature.py as:
add_literature_exponent_pairs()

Theorem 5.14 Exponent pairs from derivative tests

$(k, 1 - m k)$ is an exponent pair when

$k = \frac{1}{13}$ and $m = 3$ [ 148 , Theorem 1 ] ;
$k = \frac{1}{204}$ and $m = 7$ [ 157 , p. 231 ] ;
$k = \frac{1}{130}$ and $m = 8$ [ 147 , (1.1) ] ;
$k = \frac{7}{2640}$ and $m = 8$ [ 157 , p. 231 ] ;
$k = \frac{1}{716}$ and $m = 9$ [ 157 , p. 231 ] ;
$k = \frac{1}{649}$ and $m = 9$ [ 153 ] ;
$k = \frac{7}{4540}$ and $m = 9$ [ 147 , (1.2) ] ;
$k = \frac{1}{615}$ and $m = 9$ [ 147 , (1.1) ] ;
$k = \frac{1}{915}$ and $m = 10$ [ 150 , Th é or è me 2 ] .

Recorded in literature.py as:
add_literature_exponent_pairs()

Theorem 5.15 Huxley sequence

[ 71 , Table 17.3 ] For any integer $m \geq 1$ , the pair

(\frac{169}{1424 \times 2^{m} - 338}, 1 - \frac{169}{1424 \times 2^{m} - 338} \frac{712 m + 1577}{712})

is an exponent pair.

Recorded in literature.py as:
add_huxley_exponent_pairs(Constants.EXP_PAIR_TRUNCATION)

Theorem 5.16 1996 Heath–Brown sequence

[ 168 , (6.17.4) ] For any integer $m \geq 3$ , the pair

(\frac{1}{25 m^{2} (m - 2) \log m}, 1 - \frac{1}{25 m^{2} (m - 2) \log m})

is an exponent pair.

(Currently not implemented in python due to the irrational exponents.)

Theorem 5.17 2017 Heath–Brown sequence

[ 63 , Theorem 2 ] For any integer $m \geq 3$ , the pair

(p_{m}, q_{m}) := (\frac{2}{(m - 1)^{2} (m + 2)}, 1 - \frac{3 m - 2}{m (m - 1) (m + 2)})

is an exponent pair.

Recorded in literature.py as:
add_heath_brown_exponent_pairs(Constants.EXP_PAIR_TRUNCATION)

Proof ▶

Theorem 5.18 Sargos

C

-process

[ 157 , Theorem 5 ] If $(k, ℓ)$ is an exponent pair, then so is

(\frac{k}{12 (1 + 4 k)}, \frac{11 (1 + 4 k) + ℓ}{12 (1 + 4 k)}) .

Recorded in literature.py as:
C_transform_hypothesis

The following process is not quite a process to automatically transform one exponent pair to another, but it often achieves this in practice:

Theorem 5.19 Sargos

D

-process

[ 156 , Theorem 7.1 ] If $(k, ℓ)$ is an exponent pair, then one has

β (α) \leq max (k_{1} + α (ℓ_{1} - k_{1}), \frac{1}{12} + \frac{2}{3} α)

for all $0 \leq α \leq 1$ , where $(k_{1}, ℓ_{1}) = D (k, ℓ)$ is the pair

D (k, ℓ) := (\frac{5 k + ℓ + 2}{8 (5 k + 3 ℓ + 2)}, \frac{29 k + 21 ℓ + 10}{8 (5 k + 3 ℓ + 2)}) .

Recorded in literature.py as:
D_transform_hypothesis

Theorem 5.20

[ 169 , Lemma 1.1 ] The following are exponent pairs:

\begin{aligned} (k_{1}, ℓ_{1}) & := (\frac{4742}{38463}, \frac{35731}{51284}) \\ (k_{2}, ℓ_{2}) & := (\frac{18}{199}, \frac{593}{796}) \\ (k_{3}, ℓ_{3}) & := (\frac{2779}{38033}, \frac{58699}{76066}) \\ (k_{4}, ℓ_{4}) & := (\frac{715}{10238}, \frac{7955}{10238}) . \end{aligned}

Recorded in literature.py as:
add_literature_exponent_pairs()

Proof ▶

For the pair $(18 / 199, 593 / 796)$ , apply Theorem 5.19 with the pair $(13 / 84, 55 / 84)$ from Theorem 5.12 to conclude that

β (α) \leq 18 / 199 + 521 α / 796

for all $0 \leq α \leq 1 / 2$ , from which the claim follows from Lemma 5.3 (and Lemma 4.10). The remaining pairs come from Lemma 5.3 and the remaining components of Theorem 4.26.

Corollary 5.21 Set of exponent pairs

[ 169 , Theorem 1.3 ] Let $H$ be the convex hull $(0, 1)$ , $(1 / 2, 1 / 2)$ , and of $(k_{n}, ℓ_{n})$ for $n \in Z$ , where $(k_{0}, ℓ_{0}) := 13 / 84$ , $(k_{n}, ℓ_{n})$ for $n = 1, 2, 3, 4$ is defined by Theorem 5.20, $(k_{n}, ℓ_{n}) := A (k_{n - 4}, ℓ_{n - 4})$ for $5 \leq n \leq 8$ , $(k_{n}, ℓ_{n}) := (p_{n}, q_{n})$ for $n > 9$ (with $(p_{n}, q_{n})$ defined by Theorem 5.17), and $(k_{- n}, ℓ_{- n}) := B (k_{n}, ℓ_{n})$ for $n \geq 0$ . Then all elements of $H$ are exponent pairs.

Indeed, as of [ 169 ] the set $H$ represented all known exponent pairs, until Theorem 5.22 below.

Proof ▶

The following new exponent pairs were derived using this database:

Theorem 5.22 New exponent pairs

The following are exponent pairs:

(\frac{89}{1282}, \frac{997}{1282}), (\frac{652397}{9713986}, \frac{7599781}{9713986}), (\frac{10769}{351096}, \frac{609317}{702192}), (\frac{89}{3478}, \frac{15327}{17390}) .

Derived in derived.py as:
prove_exponent_pair(frac(89,1282), frac(997,1282))
prove_exponent_pair(frac(652397,9713986), frac(7599781,9713986))
prove_exponent_pair(frac(10769,351096), frac(609317,702192))
prove_exponent_pair(frac(89,3478), frac(15327,17390))

Proof ▶

Using the bounds on $β (α)$ collected in Table 5.22, one may verify (after a tedious calculation) that for each of the claimed exponent pairs $(k, ℓ)$ in the lemma statement, one has $β (α) \leq k + (ℓ - k) α$ for $0 \leq α \leq 1 / 2$ . The result then follows from Lemma 4.10 and Lemma 5.3.

Table 5.1 Bounds on

β (α)

$β (α)$ bound

$α$ range

Reference

$\frac{1}{20} + \frac{3}{4} α$

$0 \leq α < \frac{1}{4}$

Theorem 4.23 with $k = 5$

$\frac{19}{20} α$

$\frac{1}{4} \leq α < \frac{890}{3277}$

Theorem 4.23 with $k = 5$

$\frac{89}{2706} + \frac{2243}{2706} α$

$\frac{890}{3277} \leq α < \frac{199}{716}$

Table 4.1

$\frac{1}{66} + \frac{235}{264} α$

$\frac{120}{419} \leq α < \frac{754}{2579}$

Table 4.1

$\frac{9}{217} + \frac{1389}{1736} α$

$\frac{754}{2579} \leq α < \frac{251324}{841245}$

Exponent pair $(\frac{9}{217}, \frac{1461}{1736}) = A D (\frac{13}{84}, \frac{55}{84})$

$\frac{2371}{43205} + \frac{52209}{69128} α$

$\frac{251324}{841245} \leq α < \frac{861996}{2811205}$

Exponent pair $(\frac{2371}{43205}, \frac{280013}{345640})$

$= A (\frac{4742}{38463}, \frac{35731}{51284})$ and Theorem 5.20

$\frac{13}{146} + \frac{47}{73} α$

$\frac{861996}{2811205} \leq α < \frac{87}{275}$

Table 4.1

$\frac{11}{244} + \frac{191}{244} α$

$\frac{87}{275} \leq α < \frac{423}{1295}$

Table 4.1

$\frac{89}{1282} + \frac{454}{641} α$

$\frac{423}{1295} \leq α < \frac{227}{601}$

Table 4.1

$\frac{715}{10238} + \frac{3620}{5119} α$

$\frac{227}{601} \leq α < \frac{227}{601}$

Exponent pair $(\frac{715}{10238}, \frac{7955}{10238})$

in Theorem 5.20

$\frac{29}{280} + \frac{173}{280} α$

$\frac{227}{601} \leq α < \frac{12}{31}$

Table 4.1

$\frac{1}{32} + \frac{103}{128} α$

$\frac{12}{31} \leq α < \frac{1508}{3825}$

Table 4.1

$\frac{18}{199} + \frac{521}{796} α$

$\frac{1508}{3825} \leq α < \frac{62831}{155153}$

Exponent pair $(\frac{18}{199}, \frac{593}{796}) = D (\frac{13}{84}, \frac{55}{84})$

$\frac{569}{2800} + \frac{1053}{2800} α$

$\frac{62831}{155153} \leq α < \frac{143}{349}$

Table 4.2

$\frac{1}{12} + \frac{2}{3} α$

$\frac{5}{12} \leq α < \frac{3}{7}$

Theorem 4.24

$\frac{13}{84} + \frac{1}{2} α$

$\frac{3}{7} \leq α \leq \frac{1}{2}$

Theorem 4.24 □

Furthermore, more exponent pairs can be derived upon incorporating Lemma 4.6.

Theorem 5.23 More new exponent pairs

The following are exponent pairs:

(\frac{311}{4822}, \frac{3799}{4822}), (\frac{80219}{1298878}, \frac{515638}{649439}) .

Implemented at examples.py as:
beta_bound_examples2()

In summary, the current set of known exponent pairs is the convex hull with vertices $(0, 1)$ , $(1 / 2, 1 / 2)$ and the points $(k_{n}, ℓ_{n})$ for $n \in Z$ that are recorded in Table 5.23.

Table 5.2 Vertices of the convex hull of known exponent pairs.

$n$

$(k_{n}, ℓ_{n})$

Reference

$(\frac{13}{84}, \frac{55}{84})$

[ 14 , p. 307 ]

$(\frac{4742}{38463}, \frac{35731}{51284})$

Theorem 5.20

$(\frac{18}{199}, \frac{593}{796})$

Theorem 5.20

$(\frac{2779}{38033}, \frac{58699}{76066})$

Theorem 5.20

$(\frac{89}{1282}, \frac{997}{1282})$

Theorem 5.22

$(\frac{652397}{9713986}, \frac{7599781}{9713986})$

Theorem 5.22

$(\frac{2371}{43205}, \frac{280013}{345640})$

$A (k_{1}, ℓ_{1})$

$(\frac{9}{217}, \frac{1461}{1736})$

$A (k_{2}, ℓ_{2})$

$(\frac{10769}{351096}, \frac{609317}{702192})$

Theorem 5.22

$(\frac{89}{3478}, \frac{15327}{17390})$

Theorem 5.22

$n \geq 10$

$(p_{n - 4}, q_{n - 4})$ , where

$(p_{m}, q_{m}) = (\frac{2}{(m - 1)^{2} (m + 2)}, 1 - \frac{3 m - 2}{m (m - 1) (m + 2)})$

Theorem 5.17

$n < 0$

$B (k_{- n}, ℓ_{- n})$

Proposition 5.9

\includegraphics[width=0.5\linewidth ]{chapter/exp_pair_plot.png} — Figure 5.1 The convex hull of known exponent pairs, whose vertices $(k_{n}, ℓ_{n})$ are given in Table 5.23.