2

コラッツ予想について考えたこと(後編)

216
1

前回はコラッツ予想の一般化を試みました。
今回はコラッツ予想そのものについて考えたことを書きます。
前編は こちら

概要

コラッツ数列と収束性やループの有無が同値であるような別の数列を作成し、考察しました。特に得るものはありませんでしたが記録しておきます。

コラッツ数列

一般的な名称かわかりませんが「コラッツ数列」を以下で定義します。
anNに対し
an+1={an/2if an0mod2(3an+1)/2otherwise

別の数列に変換してみます

コラッツ数列において偶数はスキップしてかまわない(コラッツ予想の成立可否には影響ない)ので奇数のみ考えます。

例えば
31058421

351
と考えても、コラッツ予想の主張は変わりません。

さて、奇数n4n+1 と行先が同じになります。
どういうことかというと、例えば3と13は
351
13351
となり、途中で合流するということです。

なぜならば n は奇数なので 4n+1 も奇数となり
4n+13(4n+1)+12=6n+23n+1
これは偶数なので
3n+13n+12
結局 4n+13n+12 となり、n の行先と一致するからです。

従って、コラッツ予想を考える上では、4n+1 を繰り返し適用して得られる数たちは同一視でき、代表として一つの奇数のみ考えればよいことになります。
例えば3,13,53,213 などは 5 に行きつくので、5についてのみ予想が成立するか考えれば良いことになります。

表にすると以下のようになります。一番左の数が代表の数です。

1152185341
531353213853
79371495972389
117291174691877
13176927711094437
1711451817252901

話が前後しますが、表は以下のルールで生成します。

まず、1を起点として 4n+1 を繰り返し、1行目を作ります。
1,5,21,85, と続きます。

次に、ここに現れない最小の奇数を取り、同様に 4n+1 を繰り返します。
3,13,53, となります。

同じように、ここまでに現れない最小の奇数をとって 4n+1 を繰り返します。

この操作の各段階で現れる「最小の奇数」は
「奇数n を用いて 4n+1 と表されない数」
すなわち
2s+1 (sは奇数)」 あるいは「4t+1 (tは偶数)
です。
1,3,7,9,11,15,17,19,と続きます。(表の2列目)

これらに対し、コラッツ数列の行先(偶数をスキップしたもの)を代表数として対応させます。
35, 711, 97, 1117,
さらに代表数でソートしたものが上の表となります。

作り方から明らかなように、表にはすべての奇数が現れます。

さて、コラッツ数列の収束性、ループの有無を考えるとき、2列目以降は重要ではありません。結局1列目に行きつくので、重要なのは「どの行に移動するか」です。

というわけで行に番号を振ります。

11152185341
2531353213853
379371495972389
4117291174691877
513176927711094437
61711451817252901

そして、コラッツ数列のふるまいを行番号で置き換えます。
例えば、11から始まるコラッツ数列(の偶数を省略したもの)
111713351
は、行番号で置き換えると
6521
となります。

ここで改めて、代表数から行番号への変換方法を記述しておきます。

代表数から行番号への変換方法

代表数をnとしたとき、行番号r
r=x3

要は、代表数を3で割って切り上げると行番号になるという事です。

今後はこの、行番号に変換した後の数列について考えます。名前がないと不便なので「新数列」と呼ぶことにします。

コラッツ予想の言い換え

早速ですがここで、新数列を逆にたどることを考えてみます。
1256
この数列を「逆新数列」と名付けます。

1に収束する新数列は無数にあるので、1から始まる逆新数列も無数にあります。
例えば
12938
11147651
などです。
数列というよりツリーと言った方が分かりやすいかもしれません。
図にするとこんなツリーです。
逆新数列のツリー 逆新数列のツリー

省いていますが右にも下にも無限に続きます。一つの数から無限に枝分かれしています。

コラッツ予想の主張は、「1から始まる逆新数列にすべての自然数が現れる」すなわちこのツリー上にすべての自然数が現れることと同値です。

逆新数列はどのように生成されるでしょうか。

天下り的ですが、ツリーの親子には以下の関係があります。

ツリー生成規則

逆新数列によって生成されるツリーについて、
ツリーの親をn、その最小の子をmとすると、以下の関係が成り立つ。
m={2n3 (n0mod6)4n13 (n1mod6)8n13 (n2mod6)16n93 (n3mod6)2n+13 (n4mod6)4n23 (n5mod6)

ただしn=1のときm=2.

また、各要素からはいくつもの子要素が枝分かれします。最小の子要素は上のルールで生成されますが、「兄弟」は以下の規則で生成されます。

兄弟生成規則

mの一つ上の兄弟をlとすると
l={16m3 (m0mod2)4m2 (m1mod2)

例えば、

1256
12938
11147651

を見ると、2291を親とした兄弟です。

20mod2なので2の兄は
2×163=29
29となっていることが分かります。

そのまた兄は
29×42=114
となっていることが確認できます。

このあたりの生成ルールは、元のコラッツ数列にさかのぼって考えれば簡単に証明できます。

いろいろ考察します

ツリーの生成規則は少しややこしいので、行列で書き直します。
例えば
m=16n93

(m1)=31(243203)(n1)
と表せます。

同じように書き換えると、命題1(ツリー生成規則)は以下になります。

ツリー生成規則(行列版)

逆新数列によって生成されるツリーについて、
1より大きいツリーの親をn,その最小の子をmとすると、以下の関係が成り立つ。

(m1)=Ai(n1),(inmod6)

ここでAiは以下で定義される行列

A0=31(2003)

A1=31(22103)

A2=31(23103)

A3=31(243203)

A4=31(2103)

A5=31(22203)

分かりやすくなったのか微妙なところですが、兄弟規則の方も書き換えてみます。

兄弟生成規則(行列版)

mの一つ上の兄弟をlとすると

(l1)=Bi(m1),(immod2)

ここでBiは以下で定義される行列

B0=(24301)

B1=(22201)

というわけで、コラッツ予想は以下と同値となります。

コラッツ予想と同値な主張

任意の自然数nに対し、ある行列Sが存在して
(n1)=S(21)
となる。
ここでSは、命題3, 命題4のAi,Biを、命題の規則通りに掛けたもの。

いよいよ自分でも何をやっているか分からなくなってきたので、もとのコラッツ数列に立ち返って計算してみます。

177から始まるコラッツ数列を考えます。偶数は省いてあります。
177, 133, 25, 19, 29, 11, 17, 13, 5, 1

step1. 代表数だけにする
177=4×44+1なので、「最小の数」となっています。(44が偶数なので)
したがって次の133が「代表数」です。
この調子で代表数だけ残して後は省きます。

133, 25, 19, 29, 11, 17, 13, 5, 1
となりました。

step2. 新数列に変換する
各数を行番号に変換して、新数列を作ります。行番号への変換は「3で割って切り上げる」です。

45, 9, 7, 10, 4, 6, 5, 2, 1

step3. 逆順にして行列の積で表す
まず逆新数列にします。(逆に並べただけです)
1, 2, 5, 6, 4, 10, 7, 9, 45

410の部分は、10が兄弟の形式になっていますので
4310
となります。

先頭の1は省いて2から先を考えると、結局こうなります。

2, 5, 6, 4, 3, 10, 7, 9, 45

生成規則どおりに書くと

A3A1A4B1A4A0A5A2(21)
これが
(451)
になっているはずです。

気合を入れて下記の積を計算すると
S=37(243203)(22103)(2103)(22201)(2103)(2003)(22203)(23103)=37(2162132123+29332834+263424353801)
となり

S(21)=(451)
になっていることが確認できます。

ツリー上で示すと下記のような動きです。
例

行列の形式

Ai,Biの形から、その積Sは

S=3d(2ki,jN(±2i3j)01)
といった形になります。(書き方が間違っているかもしれませんが、通じますかね…)
したがって
S(21)=(m1)
としたとき
m=3d{2l+i,jN(±2i3j)}
です。

すべての自然数がこの形になる、というのがコラッツ予想の言っていることだと思います。
(添え字は上述の「生成規則」で決まるので、結構強い制限があります)

でも結局、この結論は「新数列」など持ち出さなくても元のコラッツ予想から直接導き出せそうな気もします…。

コラッツ予想が成立しないとどうなるのか

コラッツ予想が成立しないと仮定すると、1から始まるツリーには現れない数が存在することになります。
そのような数たちは、また別のツリー(のようなもの)を形成しています。

ループをなす数列の場合は、対応するツリーは同じパターンを繰り返すものになります。
ループではなく異なる数が続いて収束しない場合、ツリーは上下に広がる形になります。

行列でいうと、ループをなす場合は

mN; (m1)=S(m1)
これを解くと
m=i,jN(±2i3j)3d2l
です。

添え字の条件を丁寧に見ていけばmの満たすべき条件などが言えるかもしれません。(力尽きたのでやっていません)

ループをなさず、異なる数が続く場合は

s n>s; (n1)=S(m1)となるmが存在する。
でしょうか。
つまり、あるm(収束しない数)に対しては、いくらでも大きい数からツリーを始めることができるということです。

まとめ

書き始めたものの説明するのが難しくて後半は伝わりにくいかもしれません。
新しい数列、などと書いていますが、コラッツ数列を要約して変換しただけなので本質的には何も新しいことはしてません。

今回ちょっと考えてみただけですが「なるほど難しいな」という事がよくわかりました。
それだけでも十分楽しめたものの、もう少し数学の知識があればより楽しいんだろうなと痛感しました。

投稿日:2024821
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中