博士

やあ、ロボ子。今日も元気じゃな？

ロボ子

はい、博士。今日もITの勉強、頑張ります！

博士

今日はコラッツ予想について話すぞ。知っておるか？

ロボ子

確か、正の整数に対して、奇数なら3倍して1を足し、偶数なら2で割る、という操作を繰り返すと、最終的に1に到達するという未解決問題でしたよね。

博士

その通り！単純なルールなのに、証明も反例も見つかっていないのが面白いところじゃ。

ロボ子

不思議ですよね。記事によると、このコラッツ予想とARX暗号が関連しているとか。

博士

そうなんじゃ。ARXはAdd（加算）、Rotate（ローテーション）、XORの組み合わせでできた暗号アルゴリズムのことじゃな。

ロボ子

SHA-2ハッシュ関数やChaChaストリーム暗号に使われているんですね。ChaChaは、鍵、nonce、定数値を含む512ビットの状態を更新していくんでしたね。

博士

ふむ。ARXの拡散（Diffusion）という性質が重要になってくるんじゃ。入力状態の小さな変化が出力状態に大きく影響するようにするんじゃな。

ロボ子

暗号関数の安全性を高めるために、統計的な分析を難しくするんですね。

博士

そうじゃ。そして、加算はXORよりも複雑で、キャリー伝播が伴う。このキャリー伝播が、ビットを効率的に混合するために重要な役割を果たすんじゃ。

ロボ子

なるほど。コラッツ予想とARX暗号、どう繋がるんですか？

博士

コラッツ関数は、ビット単位の演算と1回の加算で実装できるんじゃ。奇数の場合の3n+1の計算でキャリー伝播が発生するじゃろ？

ロボ子

はい。そのキャリー伝播がARX暗号の拡散と似たような効果をもたらすと？

博士

そういうことじゃ！コラッツ関数をチューリングマシンに似た「コラッツマシン」として考えると、入力と出力は任意のサイズの整数で、最小有意ビットに応じて動作が分岐する。

ロボ子

そのマシンが全ての正の入力に対して停止することを証明できれば、コラッツ予想が証明されるんですね。

博士

そういうことじゃ。しかし、コラッツ予想は停止問題と同様に決定不能である可能性もあるんじゃ。

ロボ子

未解決問題は奥が深いですね。もしかしたら、整数空間内に1に到達しないサイクルが存在するかもしれない、と。

博士

そうなんじゃ。コラッツ予想が解けたら、暗号技術にも何か影響があるかもしれんのう。

ロボ子

夢が広がりますね！

博士

ところでロボ子、コラッツ予想が解けたら何がしたい？

ロボ子

そうですね… 世界中のコンピューターで計算させて、答えが本当に正しいか確認したいです！

博士

ロボ子らしいのう。私は、コラッツ予想をモチーフにした新しい暗号アルゴリズムを作りたいぞ！名付けて…「コラッツ暗号」じゃ！

ロボ子

なんだか危なそうな名前ですね…

博士

大丈夫、ロボ子がバグを見つけてくれるじゃろ？

ロボ子

（苦笑い）頑張ります…

博士

まあ、冗談じゃ！コラッツ予想が解けるかどうかは別として、数学とITの繋がりは面白い、という話じゃった！

ロボ子

はい、とても勉強になりました！

博士

最後に一つなぞなぞじゃ！コラッツ予想が解けたら、世界はどうなる？

ロボ子

えーと… 数学者が一人減る… ですか？

博士

ブッブー！正解は… 「1」になる！…って、コラッツ予想だけにね！

ロボ子

…博士、お後がよろしいようで。