🔢 mathematics

$d$ -Translated Unit Sensitive Primes

本論文は、 $d$ 翻訳単位敏感素数（ $d$ -translated unit sensitive primes）の概念を導入し、そのような素数であり、かつブライヤー数（Brier numbers）でもある、任意の長さの数列を含む算術級数を構成し、すべての非負整数 $d$ に対してこの性質を満たす最初の既知の素数を特定するものである。

原著者： Thomas Luckner, R. James Philpott

公開日 2026-07-29

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Thomas Luckner, R. James Philpott

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

数の大狩猟：素数が平然と隠れている場所

数学の世界を、すべての本が整数である広大で無限の図書館だと想像してみてください。この図書館の中で、最も有名で神秘的な登場人物は素数です。これらは算術の「原子」であり、2、3、5、7のように、1とその数自身でしか割り切れない数です。これらは他のあらゆるものの構成要素ですが、まるで暗闇の中で点滅する蛍のように、予測可能なパターンを持たずに数直線上に現れるように見えます。何世紀もの間、数学者たちは、これらの蛍がどこに隠れているかを支配する規則を見つけようとしてきました。

この図書館における最大の問いの一つは、「合成数」――4、6、100のような、複雑で割り切れる数――に関するものです。時として、数学者たちは、ある特定の種類の数が、どのように調整しても常に合成数であることを証明したいと考えます。これを行うために、彼らは**被覆系（covering system）**と呼ばれる巧妙なトリックを使います。これは、異なるサイズの網で作られた防護ブランケットのようなものだと考えてください。もしあらゆる数に対して網を投げれば、どの数を選んでも必ず少なくとも一つの網にかかることを証明できます。もしすべての網が合成数のみを捕らえるように設計されているならば、あなたの特定の種類の数は決して素数にはなり得ないことが証明されます。この論文は、これらの網を用いて非常に特殊で、非常に強情な素数を狩るという、この猫と鼠のゲームを深く掘り下げています。

論文の大きな発見：究極の「敏感な」素数

この論文は、「単位敏感性（unit sensitive）」と呼ばれる数値特性の、新しく強力なバージョンを紹介しています。これを理解するために、例えば97という数を持っていると想像してください。もし、一番最後の桁（「単位」の桁）だけを0から9までの他の数字のいずれかに変えたらどうなるでしょうか。すると、90、91、92……といった新しい数のリストが得られます。もしこれらすべての新しい数が合成数（素数ではない）であれば、97は「単位敏感」です。それは、末尾へのわずかな接触によって非素数へと変わってしまう、非常に脆い数のようなものです。

著者であるトーマス・ラックナーとR・ジェームス・フィルポットは、このアイデアを拡張します。彼らはこう問いかけます。「もし、単に最後の桁を変えるだけでなく、その前にたくさんのゼロを付け加えたらどうなるだろうか？」これは**「d-翻訳単位敏感（d-translated unit sensitive）」**と呼ばれます。

$d=0$ の場合、単に最後の桁を変えることになります（元の「単位敏感」のアイデア）。
$d=1$ の場合、ゼロを一つ追加し（97を970にし）、その後に最後の桁を変えます（970、971、972……）。
$d=2$ の場合、ゼロを二つ追加します（9700）そして最後の桁を変えます。

論文は驚くべきことを証明しています。どのような数のゼロを付け加えても、その最後の桁を変えれば結果が常に合成数になるような、このトリックに対して「敏感」な素数が無限に存在するということです。著者はこれらを $[0, \infty)$ -翻訳単位敏感素数 と呼んでいます。

彼らがどのように「壊れやすい」数を作り上げたか

これらの捉えどころのない素数を見つけるために、著者たちは単に推測したのではなく、有名な数学者ポール・エルデシュが先駆者となった手法を用いて、数学的な機械を構築しました。彼らは特定の等差数列を構築しました。これは、数字が完璧に間隔を置いて並んでいる、いわば電車の線路のようなものです：$Am + B$。

$m$ は 0, 1, 2, 3... と進むカウンターです。
$A$ と $B$ は、注意深く選ばれた二つの巨大な数です。

著者たちは、 $A$ と $B$ が以下の4つの厳格なルール（または「基準」）をすべて満たすように設計しました。

ゼロのルール： ゼロを追加して最後の桁を変えると、その数は「網」（素因数）にかかり、合成数になります。
末尾のルール： 単に最後の桁を変えるだけで（ゼロを追加せずに）、それも網にかかります。
シェルピンスキーのルール： その数に2の累乗を掛けて1を加えると、常に合成数になります。
リエゼルのルール： その数に2の累乗を掛けて1を引くと、常に合成数になります。

複雑な合同式（余りに基づく数学的な「網」）を用いることで、彼らはこの線路上のすべての数が、修正されたバージョン（ゼロが追加されたものや桁が変わったもの）において常に合成数であることを保証しました。決定的なのは、 $A$ と $B$ が互いに素であるように選んだことです。これにより、ディリクレの定理によって、この線路自体に無限に多くの素数が含まれることが保証されます。この構築法は、これらの素数の「隣人」（上記のトリックによって作られたもの）は合成数であるが、素数自体は素数のままであることを保証しています。

結果：すべてを兼ね備えた素数

論文は二つの主要な定理を提示しています。

定理1： $[0, \infty)$ -翻訳単位敏感な素数は無限に存在します。著者らは、最初の既知の例となる特定の開始素数、41459060189171787548442999328384678040412832671445258454633（これが彼らの $B$ の値です）を見つけました。
定理2： 彼らはさらに踏み込みました。彼らは、 $[0, \infty)$ -翻訳単位敏感であるだけでなく、**ブライヤー数（Brier numbers）**でもある等差数列を見つけました。ブライヤー数とは、シェルピンスキー数とリエゼル数の両方の性質を持つ（ルール3と4を満たす）希少な存在です。

論文は、この特定の電車の線路の中に、これらすべてを同時に満たす素数が無限に存在することを証明しています。実際、彼らは任意の数 $k$ に対して、この線路上で $[0, \infty)$ -翻訳単位敏感かつブライヤー数である $k$ 個の連続する素数を見つけることができることを示しています。

彼らが主張していないこと（および否定していること）

この論文が述べていないことを注記しておくことは重要です。

すべての素数が敏感であると主張しているわけではありません。 実際、この論文は最初の106個の素数が $[1, 4381]$ -翻訳単位敏感ではないことを示しています。ほとんどの素数は「タフ（頑強）」であり、数桁の変化を生き延びることができます。
これらの数を見つけるのが容易であるとは示唆していません。 著者らは、コンピュータが小さな範囲のゼロに対して敏感かどうかをチェックすることは可能だが、すべてのゼロ（無限の場合）をチェックすることは、コンピュータによる総当たり攻撃では不可能であると述べています。だからこそ、彼らは単なるシミュレーションを実行するのではなく、この数学的な「網」による証明を構築する必要があったのです。
これらの数が実世界での実用的な用途（暗号技術やエンジニアリングなど）を持つと主張しているわけではありません。 この論文は、純粋に理論的な数値パターンの探求です。

まとめ

結局のところ、この論文は数学的構築の傑作です。著者たちは、数の最後の桁を変えるという単純なアイデアを取り上げ、そこに無限のゼロを加えて限界まで引き伸ばしました。複雑な素数の「網」を織り交ぜることで、彼らは、非常に「敏感」な素数の無限の家族が存在することを証明しました。ゼロを加えたり最後の桁を変えたりして、どのように調整しようとしても、結果として得られる数は常に合成数へと崩れ落ちます。そして仕上げとして、これらの脆い素数は希少なブライヤー数でもあり、素数の混沌とした世界においてさえ、レンガを一つずつ積み上げて無限の塔を築けるほど強力なパターンが存在することを証明しています。

技術的要約：d-翻訳単位敏感素数

問題提起
本論文は、桁の操作に対する感度と指数形式に関する性質によって定義される、特定の整数類の存在と構成について扱う。著者らは、** $d$ -翻訳単位敏感（ $d$ -translated unit sensitive）整数という概念を導入している。非負整数 $n$ は、 $n$ の右側に $d$ 個のゼロを付加し、その結果得られる一の位を他の可能な任意の数字に変更したとき（ $n$ とは異なる数になる）、その数が合成数となる場合、 $d$ -翻訳単位敏感であると定義される。 $d=0$ のとき、これは標準的な単位敏感（unit sensitive）**素数の定義に帰着する。

本論文では、任意の非負整数 $d$ に対してこの条件を満たす素数（ $[0, \infty)$ -翻訳単位敏感素数と呼ばれる）が存在するかどうかを調査している。さらに、著者らは、これらの素数が**ブライヤー数（Brier numbers）**の性質（シエルピンスキー数、すなわち全ての $n$ に対して $k \cdot 2^n + 1$ が合成数である数、およびリーゼル数、すなわち全ての $n$ に対して $k \cdot 2^n - 1$ が合成数である数であること）を同時に満たす算術級数を構成することを目的としている。

手法
著者らは、特定の合成数の性質を持つ整数の算術級数を構成するために、ポール・エルデシュによって用いられた手法である**被覆系（covering systems）**の技術を採用している。この構成は、特定の領域内のすべての整数が少なくとも一つの合同式を満たすように、有限個の合同式の集合を定義することに基づいている。

手法には、以下の4つの基準を満たす $Am + B $（ここで$ m$ は非負整数）という形式の算術級数の構成が含まれる：

基準 (1): $d \ge 1$ および任意の数字 $n \in \{0, \dots, 9\}$ に対して、 $(Am+B) \cdot 10^d + n$ が $A$ の素因数によって割り切れること。これにより、$Am+B $は全ての$ d \ge 1 $に対して$ d$-翻訳単位敏感であることが保証される。
基準 (2): 任意の非ゼロ整数 $x \in \{-3, \dots, 6\}$ に対して、$(Am+B) + x $が$ A $の素因数によって割り切れること。これにより、$ Am+B \equiv 3 \pmod{10} $である場合に限り、$ Am+B $は単位敏感（$ d=0$ のケース）であることが保証される。
基準 (3): 任意の $k \ge 0$ に対して、 $(Am+B) \cdot 2^k + 1$ が $A$ の素因数によって割り切れること。これにより、この級数がシエルピンスキー数で構成されることが保証される。
基準 (4): 任意の $k \ge 0$ に対して、 $(Am+B) \cdot 2^k - 1$ が $A$ の素因数によって割り切れること。これにより、この級数がリーゼル数で構成されることが保証される。

これらの基準を満たすために、著者らは指数 $d$ および $k$ に対する被覆系を構築している。各被覆の合同クラス（例： $d \equiv a \pmod b$ ）に対して、それぞれ固有の素数 $p$ （または素数の集合）を関連付け、それらは $A$ を割り切るものとする。そして、割り切れを保証するために必要な $B$ の剰余類を $p$ を法として決定する。具体的には以下の通りである：

基準 (1) の場合、 $B \equiv -n \cdot 10^{-a} \pmod p$ 。
基準 (3) の場合、 $B \equiv -1 \cdot 2^{-a} \pmod p$ 。
基準 (4) の場合、 $B \equiv 1 \cdot 2^{-a} \pmod p$ 。

著者らは、中国剰余定理を利用して、これらの剰余の制約を単一の $B$ の値へと結合し、 $A$ は使用されたすべての固有の素数の積として定義される。級数が無限に多くの素数を含むことを確実にするため、 $A$ と $B$ は互いに素となるよう構成され、ディリクレの算術級数定理を援用している。被覆の検証には、計算機代数システムである Magma および Maple が使用された。

主要な貢献と結果
本論文は、以下の定理および系を通じて、これらの複合的な性質を持つ素数が無限に存在することを確立している：

定理 1: $[0, \infty)$ -翻訳単位敏感である $Am + B $の形の素数が無限に存在する。著者らは$ A $と$ B $の具体的な値を示している。$ B $は、$ [0, \infty)$-翻訳単位敏感であることが判明した最初の素数として特定されている。
定理 2: $[0, \infty)$ -翻訳単位敏感であり、かつブライヤー数でもある $Am + B $の形の素数が無限に存在する。著者らは、この級数のための具体的で大きな整数値$ A $および$ B $を提供している。両方の条件を満たす最初の既知の素数は$ A(11) + B$ であると特定されている。
系 1–3: この構成は、それぞれ無限に多くの素数シエルピンスキー数、素数リーゼル数、および素数ブライヤー数を含む算術級数をもたらす。これらの級数は、既存の文献における既知の例とは異なるものである。
系 4–5: D. シウおよび J. メイナードによる算術級数における連続する素数に関する結果を適用することで、著者らは、任意の正の整数 $k$ に対して、 $[0, \infty)$ -翻訳単位敏感かつブライヤー数である $k$ 個の連続する素数が存在することを証明している。

意義
本論文は、桁の感度（ゼロの付加）による数字の変換に関連して定義された新しい整数類への、被覆系の適用の拡張において意義があると主張している。エルデシュ、シエルピンスキー、およびリーゼルによる先行研究は、 $x - 2^k$ 、 $k \cdot 2^n + 1$ 、および $k \cdot 2^n - 1$ という形式の数の合成性に焦点を当てていたが、本研究はこれらの概念を、翻訳（ゼロの付加）後の一の位の感度と統合している。

著者らは、小さな $d$ に対しては計算によるチェックで単位敏感性を検証できるものの、 $[0, \infty)$ -翻訳単位敏感性の条件は $d$ が無限であるため、単一の整数に対して直接的に計算機で検証することは不可能であると述べている。被覆系を用いた構成的な証明は、直接的な計算が困難な場合におけるこのような数の厳密な存在証明を提供する。また、本論文は、ブライヤー数のカタログに、これらを含む新しい算術級数を提供することで、ブライヤー数のカタログにも貢献している。