双子素数：性質、歴史、未解決問題と関連する素数対

基本的性質

(3, 5) を除く双子素数は6の倍数をはさみ、ある整数 k を用いて (6k-1, 6k+1) と表せる。これは、3より大きいすべての整数が3を法として0、1、2のいずれかに合同であり、差が2の素数対には、その数自身が3である場合を除いて3の倍数を含められないことによる。双子素数の存在は単純な整除性の規則によって強く制約されており、このことは双子素数が一見まれであることと、小さな例に見られる規則性の双方を説明する。

歴史と研究

双子素数が無限に存在するかという問題は、数論における著名な未解決問題であり、一般に双子素数予想と呼ばれる。過去1世紀の研究により部分的な成果が得られている。たとえば、ある技術的な意味では双子素数は一般の素数よりも少ないこと、また双子素数の逆数の和が収束すること（ブルンの定理）が示されている。後者は、すべての素数の逆数和が発散することと対照的である。2010年代には、素数間の有界な間隔に関する重要な進展があり、ある固定された有限の距離だけ離れた素数対が無限に存在することが証明された。その後の共同研究でその距離は縮められたが、差がちょうど2の場合は依然として未解決である。

例と列挙

小さな双子素数対は容易に列挙でき、その考え方をよく示している。よく知られた初期の例には、次のものがある。

• (3, 5)
• (5, 7)
• (11, 13)
• (17, 19)
• (29, 31)
• (41, 43)

計算機による探索では非常に大きな双子素数が多数発見されており、その組の表は計算数論におけるアルゴリズムやヒューリスティックの検証に用いられる。

意義と関連概念

双子素数は、素数の分布に関する研究、および所定の間隔をもつ素数がどの程度の頻度で現れるかを予測する予想において中心的な対象である。ほかの名称をもつ素数対とは区別され、差が4のものは従兄弟素数、差が6のものはセクシー素数と呼ばれる。双子素数は暗号構成への直接的な応用は限られるものの、解析的手法、篩法、素数の振る舞いに関する確率論的モデルの重要な検証例となっている。

注目すべき事実

• ブルンの定理：双子素数の逆数和は有限値（ブルン定数）に収束する。
• 双子素数予想は未解決のままであり、双子素数対が無限に存在することを示す証明はまだない。
• 現代の大きな進展により、有界な間隔をもつ素数対が無限に存在することが確立された。これは差が2の場合を解決してはいないが、理解を深める一歩となった。