シングマスターの推測

組合せ論的数論における予想
数学における未解決問題
パスカルの三角形の各要素 (1 を除く) がN回未満しか出現しないような定数N は存在しますか?

シングマスター予想は、組合せ論的整数論における予想の一つで、1971年に提唱したイギリスの数学者デイヴィッド・シングマスターにちなんで名付けられました。パスカルの三角形の要素の重複回数には有限の上限が存在するというものです(ただし、無限回出現する数1は例外です)。パスカルの三角形に無限回出現する数は1のみであることは明らかです。なぜなら、他の数xは三角形の最初のx  + 1行にしか出現できないからです。

声明

パスカルの三角形において、a > 1 となる数 a が現れる回数をN ( a ) とする。大文字の O 記法で表すと、この予想は次のようになる。

1つの 1 {\displaystyle N(a)=O(1).}

既知の境界

シンマスター(1971)は、

1つの ログ 1つの {\displaystyle N(a)=O(\log a).}

Abbott、Erdős、Hanson(1974)(参考文献を参照)は推定値を次のように精緻化した。

1つの ログ 1つの ログ ログ 1つの {\displaystyle N(a)=O\left({\frac {\log a}{\log \log a}}\right).}

現在知られている最良の(無条件の)境界は

1つの ログ 1つの ログ ログ ログ 1つの ログ ログ 1つの 3 {\displaystyle N(a)=O\left({\frac {(\log a)(\log \log \log a)}{(\log \log a)^{3}}}\right),}

これはケイン(2007)によるものである。アボット、エルデシュ、ハンソンは、クラメールの連続する素数間のギャップに関する予想を条件として、

1つの ログ 1つの 2 / 3 + ε {\displaystyle N(a)=O\left((\log a)^{2/3+\varepsilon }\right)}

あらゆる に対して成り立ちます ε > 0 {\displaystyle \varepsilon >0}

シングマスター(1975)は、ディオファントス方程式

n + 1 + 1 n + 2 {\displaystyle {n+1 \choose k+1}={n \choose k+2}}

2つの変数nkに対して、無限に多くの解が存在する。したがって、少なくとも6の重複度を持つ三角形の要素は無限に存在する。任意の非負のiに対して、パスカルの三角形に6回現れる数aは、上記の2つの式のいずれかで与えられる。

n F 2 + 2 F 2 + 3 1 {\displaystyle n=F_{2i+2}F_{2i+3}-1,}
F 2 F 2 + 3 1 {\displaystyle k=F_{2i}F_{2i+3}-1,}

ここで、F jj番目のフィボナッチ数( F 0  = 0、F 1 = 1という規則に従って添え字が付けられる )である。上記の2つの式は、2つの出現の位置を示している。他の2つの出現は、三角形内でこれら2つの出現に対して対称的に現れる。そして、残りの2つの出現は 1つの 1 {\displaystyle {a \choose 1}} 1つの 1つの 1 {\displaystyle {a \choose a-1}.}

基本的な例

  • 2 は 1 回だけ出現します。これより大きい正の整数は複数回出現します。
  • 3、4、5 はそれぞれ 2 回出現します。無限の数の数字が正確に 2 回出現します。
  • すべての奇数の素数は 2 回出現します。
  • 6は3回出現し、1と2を除くすべての中心二項係数
    も同様である。 (原理的には、このような係数が5回、7回、あるいはそれ以上出現することも排除されないが、そのような例は知られていない。)
  • 素数の形式で表されるすべての数は4 回出現します。 p 2 {\displaystyle {p \choose 2}} p > 3 {\displaystyle p>3}
  • 無限に多く出現するものは、次のそれぞれを含めて、正確に 6 回出現します。
120 120 1 120 119 16 2 16 14 10 3 10 7 {\displaystyle 120={120 \choose 1}={120 \choose 119}={16 \choose 2}={16 \choose 14}={10 \choose 3}={10 \choose 7}}


210 210 1 210 209 21 2 21 19 10 4 10 6 {\displaystyle 210={210 \choose 1}={210 \choose 209}={21 \choose 2}={21 \choose 19}={10 \choose 4}={10 \choose 6}}


1540 1540 1 1540 1539 56 2 56 54 22 3 22 19 {\displaystyle 1540={1540 \choose 1}={1540 \choose 1539}={56 \choose 2}={56 \choose 54}={22 \choose 3}={22 \choose 19}}


7140 7140 1 7140 7139 120 2 120 118 36 3 36 33 {\displaystyle 7140={7140 \choose 1}={7140 \choose 7139}={120 \choose 2}={120 \choose 118}={36 \choose 3}={36 \choose 33}}


11628 11628 1 11628 11627 153 2 153 151 19 5 19 14 {\displaystyle 11628={11628 \choose 1}={11628 \choose 11627}={153 \choose 2}={153 \choose 151}={19 \choose 5}={19 \choose 14}}


24310 24310 1 24310 24309 221 2 221 219 17 8 17 9 {\displaystyle 24310={24310 \choose 1}={24310 \choose 24309}={221 \choose 2}={221 \choose 219}={17 \choose 8}={17 \choose 9}}
シングマスターの無限族(フィボナッチ数列で表す)の次の数であり、6回以上出現する次に小さい数は次の通りである[1] 1つの 61218182743304701891431482520 {\displaystyle a=61218182743304701891431482520}
1つの 1つの 1 1つの 1つの 1 104 39 104 65 103 40 103 63 {\displaystyle a={a \choose 1}={a \choose a-1}={104 \choose 39}={104 \choose 65}={103 \choose 40}={103 \choose 63}}
  • 8 回出現する最小の数字 (実際には 8 回出現することが知られている唯一の数字) は 3003 であり、これは少なくとも 6 回の重複を持つシングマスターの無限数族のメンバーでもあります。
3003 3003 1 78 2 15 5 14 6 14 8 15 10 78 76 3003 3002 {\displaystyle 3003={3003 \choose 1}={78 \choose 2}={15 \choose 5}={14 \choose 6}={14 \choose 8}={15 \choose 10}={78 \choose 76}={3003 \choose 3002}}
無限の数の数字が 8 回出現するかどうかは不明であり、3003 以外の数字が 8 回出現するかどうかも不明です。

パスカルの三角形に nが現れる回数は

∞、1、2、2、2、3、2、2、2、4、2、2、2、2、4、2、2、2、2、2、3、4、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、4、4、2、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、2、4、4、2、2、2、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、4、2、2、2、2、3、2、2、2、2、2、2、2、2、2、2、4 ...2、2、2、2、4、2、2、2、2、2、3、2、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、4、 2、2、4、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、4、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、6、2、2、2、2、2、2、2、4、2、2、... (OEISシーケンスA003016 )

Abbott、Erdős、Hanson (1974) によれば、パスカルの三角形に 2 回以上現れるx以下の整数の数はです O ( x 1 / 2 ) {\displaystyle O(x^{1/2})}

パスカルの三角形に (少なくとも)n回現れる1より大きい最小の自然数は

2、3、6、10、120、120、3003、3003、…(OEISのシーケンスA062527

パスカルの三角形に少なくとも5回現れる数字は

1、120、210、1540、3003、7140、11628、24310、61218182743304701891431482520、…(OEISのシーケンスA003015

これらのうち、シングマスターの無限の家族に属するものは

1, 3003, 61218182743304701891431482520、…(OEISの配列A090162

未解決の質問

8回以上出現する数が存在するかどうかは不明であり、3003以外の数も8回以上出現するかどうかは不明である。推定される有限の上限は8回程度である可能性もあるが、シンマスターは10回か12回かもしれないと考えていた。また、5回または7回正確に出現する数が存在するかどうかも不明である。

参照

参考文献

  1. ^ De Weger, Benjamin MM (1995年8月). 「Equal binomial coefficients: some elementary considerations」(PDF) . Econometric Institute Research Papers : 3. 2024年9月6日閲覧.
  • Kane, Daniel M. (2007)、「t を二項係数として表す方法の数の改良された境界」(PDF)INTEGERS: The Electronic Journal of Combinatorial Number Theory7 : #A53、MR  2373115
Retrieved from "https://en.wikipedia.org/w/index.php?title=Singmaster%27s_conjecture&oldid=1283455850"