הרווח בין ראשוניים עוקבים

הרווח בין ראשוניים עוקבים הוא ההפרש בין זוג מספרים ראשוניים עוקבים, כלומר ${\displaystyle \ g_{n}=p_{n+1}-p_{n}}$ כאשר ${\displaystyle p_{1}=2,\,p_{2}=3,\,p_{3}=5,\dots }$ היא סדרת הראשוניים. הבנת ההתנהגות של הרווח הזה, על אף שאינה סדירה, מספקת הבנה עדינה של סדרת המספרים הראשוניים.

הרווחים הראשונים הם 1, 2, 2, 4, 2, 4, 2, 4, 6, 2, 6, 4, 2, 4, 6, 6, 2, 6, 4, 2, 6, 4, 6, 8, 4, 2, 4, 2, 4, 14, 4, 6, 2, 10, 2, 6, 6, 4, 6, 6, 2, 10, 2, 4, 2, 12, 12, 4, 2, 4, 6, 2, 10, 6, 6, 6, 2, 6, 4, 2, ...

ממשפט המספרים הראשוניים נובע כי ${\displaystyle \lim _{n\to \infty }{\frac {g_{n}}{p_{n}}}=0}$.

בשנת 1930 הראה גוידו הוהייסל (Guido Hoheisel) כי קיים מספר ${\displaystyle \theta <1}$ שמקיים ${\displaystyle \pi (x+x^{\theta })-\pi (x)\sim {\frac {x^{\theta }}{\log(x)}},x\to \infty }$, כאשר ${\displaystyle \pi }$ היא פונקציית המספרים הראשוניים. זהו שיפור למשפט המספרים הראשוניים (השקול לטענה זו עבור ${\displaystyle \theta =1}$); הטענה חזקה יותר ככל ש-${\displaystyle \theta }$ קטן יותר. מן הקירוב הזה נובע ש- ${\displaystyle g_{n}<p_{n}^{\theta },\,}$ עבור ${\displaystyle n}$ גדול מספיק. הוהסיאל הראה שאפשר לבחור ${\displaystyle \theta =1-1/33000}$, וערך זה שופר ל-${\displaystyle 1-1/250}$ על ידי האנס היילברון (Hans Heilbronn), ואחר-כך ל-${\displaystyle \theta =3/4+\varepsilon }$ עבור כל ${\displaystyle \varepsilon >0}$, על ידי ניקולאי צ'ודקוב (Nikolai Chudakov). התקדמות משמעותית בהבנת הרווחים בין הראשוניים הושגה על ידי אלברט אינגהם (Albert Ingham), שהראה שאם ${\displaystyle \zeta (1/2+it)=O(t^{c})\,}$ עבור קבוע ${\displaystyle c}$ מסוים (בסימון אסימפטוטי וכאשר ${\displaystyle \zeta }$ היא פונקציית זטא של רימן), אז ${\displaystyle \pi (x+x^{\theta })-\pi (x)\sim {\frac {x^{\theta }}{\log(x)}}}$ עבור כל ${\displaystyle \theta >(1+4c)/(2+4c)}$. מכיוון שהקירוב לפונקציית זטא נכון לכל ${\displaystyle c>1/6}$, אפשר להסיק שהטענה על ${\displaystyle \pi }$ נכונה לכל ${\displaystyle \theta }$ גדול מ-${\displaystyle 5/8}$.

בשנת 2005 הוכח כי-${\displaystyle \liminf _{n\to \infty }{\frac {g_{n}}{\log p_{n}}}=0}$ ומאוחר יותר שיפרו את הטענה לערך ${\displaystyle \liminf _{n\to \infty }{\frac {g_{n}}{{\sqrt {\log p_{n}}}(\log \log p_{n})^{2}}}<\infty }$.

לפי השערת המספרים הראשוניים התאומים, הערך ${\displaystyle g_{n}=2}$ אמור להתקבל אינסוף פעמים. בשנת 2013 הוכיח זהאנג כי ${\displaystyle \ g_{n}<7\cdot 10^{7}}$ אינסוף פעמים, ותוצאה זו שופרה בהמשך עד לטענה כי ${\displaystyle \ g_{n}\leq 246}$ אינסוף פעמים.

• הרווח בין ראשוניים עוקבים, באתר MathWorld (באנגלית)
• סדרת הרווחים בין ראשוניים עוקבים באתר OEIS – האנציקלופדיה המקוונת לסדרות של מספרים שלמים