Andrica's conjecture

Template:Short description Template:Multiple image Andrica's conjecture (named after Romanian mathematician Dorin Andrica (es)) is a conjecture regarding the gaps between prime numbers.

The conjecture states that the inequality

$\sqrt{p_{n+1}}-\sqrt{p_n}<1$

holds for all $n$, where $p_n$ is the nth prime number. If $g_n=p_{n+1}-p_n$ denotes the nth prime gap, then Andrica's conjecture can also be rewritten as

$g_n<2\sqrt{p_n}+1.$

Empirical evidence

Imran Ghory has used data on the largest prime gaps to confirm the conjecture for $n$ up to Template:Val. Using a more recent table of maximal gaps, the confirmation value can be extended exhaustively to Template:Val > 2⁶⁴.

The discrete function $A_n=\sqrt{p_{n+1}}-\sqrt{p_n}$ is plotted in the figures opposite. The high-water marks for $A_n$ occur for n = 1, 2, and 4, with A₄ ≈ 0.670873..., with no larger value among the first 10⁵ primes. Since the Andrica function decreases asymptotically as n increases, a prime gap of ever increasing size is needed to make the difference large as n becomes large. It therefore seems highly likely the conjecture is true, although this has not yet been proven.

Generalizations

Value of x in the generalized Andrica's conjecture for the first 100 primes, with the conjectured value of x_min labeled.

As a generalization of Andrica's conjecture, the following equation has been considered:

$p_{n+1}^x-p_n^x=1,$

where $p_n$ is the nth prime and x can be any positive number.

The largest possible solution for x is easily seen to occur for n=1, when x_max = 1. The smallest solution for x is conjectured to be x_min ≈ 0.567148... Template:OEIS which occurs for n = 30.

This conjecture has also been stated as an inequality, the generalized Andrica conjecture:

$p_{n+1}^x-p_n^x<1$ for $x<x_{\min }.$

See also

• Cramér's conjecture
• Legendre's conjecture
• Firoozbakht's conjecture

References and notes

• Template:Cite book

External links

• Andrica's Conjecture at PlanetMath
• Generalized Andrica conjecture at PlanetMath
• https://drive.google.com/file/d/1jWbjCbTn5Tf0twXJJochRt7ONwqs6l3D/view?usp=sharing