#182 · The Collatz Conjecture

Start with any positive integer. If it is even, halve it; if it is odd, triple it and add one. This simple loop, the Collatz conjecture, creates paths so volatile they have defied proof for nearly a century. It is a mathematical trap that remains one of the field's greatest mysteries.

Pick a number. Any positive integer will do. If it is even, cut it in half. If it is odd, triple it and add one. Repeat the process. If you start with 10, you drop to 5, jump to 16, then slide down 8, 4, 2, and finally 1. At 1, the loop traps you: 1 becomes 4, which returns to 2 and then back to 1. The conjecture is that every single number, no matter how large, eventually falls into this 4-2-1 drain.

For the number 27, the journey is a violent one. It does not descend quietly. It climbs to 31, then 47, then 52, wandering through the thousands and peaking at 9,232 before a sudden, precipitous collapse to 1. This erratic behaviour earned these sequences a nickname: the hailstone sequence. Like ice crystals tossed in a thunderhead, they rise and fall on the currents of the algorithm until they grow too heavy and plummet to the bottom.

In 1937, a young German mathematician named Lothar Collatz first scribbled these rules in his notebook while a student in Hamburg. He did not publish them immediately, but the problem began to circulate like a mathematical virus. It appeared at Syracuse University, then in Japan, and later in Poland. It acquired a dozen names—the 3n+1 problem, the Syracuse problem, Ulam’s conjecture—as it defeated every attempt at a general proof.

The brute force wall

We have checked the numbers. Using massive distributed computing networks, researchers have verified the conjecture for every integer up to 2 to the power of 68—a number with twenty-one digits. Not once has a sequence failed to reach 1. But in mathematics, verification is not proof. The history of the field is littered with conjectures that held for trillions of cases only to fail at an unimaginable scale. The Polya conjecture, for instance, was believed true for decades until a counterexample was found at 906,150,257.

The difficulty lies in the fact that the Collatz process seems to bridge two worlds. It uses the simplest tools of arithmetic, yet it produces a sequence that looks, for all intents and purposes, like random noise. There is no 'energy function' that always decreases, and no obvious symmetry to exploit. It is a deterministic system that behaves with the chaos of a coin flip. To prove it, one would need to show that no number can ever enter a different loop, and that no number can ever grow toward infinity without bound.

A lack of tools

The legendary Paul Erdős once remarked that mathematics is simply not yet ready for such problems. He offered a cash prize for a solution—five hundred dollars—but he did not expect to pay it. The problem is so resistant that some suspect it may be an instance of undecidability, a concept brought to the fore by the work of Kurt Gödel. It is possible that the conjecture is true, yet impossible to prove using the standard axioms of arithmetic.

In 2019, the mathematician Terence Tao provided the most significant update in forty years. He did not solve the conjecture, but he proved that 'almost all' starting values eventually reach a value that is much smaller than their starting point. It was a victory of probability over raw number theory. Tao showed that if you pick a number at random, the odds of it not obeying the Collatz rule are effectively zero. Yet the 'almost' in his proof is a chasm. It leaves room for the existence of outliers—lonely, infinite numbers that never come home.

What we still don't know

We do not know if a second loop exists. While the 4-2-1 cycle is the only one we have found for positive integers, there could be a much larger loop, billions of items long, hidden in the reaches of the number line where our computers cannot yet see.

We do not know if there is a number that diverges to infinity. It is possible that some starting value triggers a sequence that grows forever, never entering a loop and never descending to 1. If such a number exists, we have no way of knowing where to begin the search.

And we do not know if the problem is even solvable. The Collatz conjecture might be a fundamental limit of our current logic—a simple door for which we have not yet invented the key. According to Jeffrey Lagarias, the preeminent chronicler of the problem, it remains a challenge that 'completely out of reach' of modern mathematics.

It remains a trap for the unwary. To work on the Collatz conjecture is to risk a specific kind of obsession, pursuing a proof that might not exist. It is a reminder that even in the most well-mapped regions of arithmetic, there are still places where the compass spins wildly.

从任意一个正整数开始。如果是偶数，就除以二；如果是奇数，就乘以三再加一。这个简单的循环，即考拉兹猜想，所产生的路径波动剧烈，近一个世纪以来始终无法被证明。它是一个数学陷阱，至今仍是该领域最深奥的谜题之一。

选择一个数字。任何正整数都可以。如果它是偶数，就将它减半。如果它是奇数，就将它乘以三再加一。重复这个过程。如果你从10开始，它会降到5，跳到16，然后滑到8、4、2，最后到1。在1处，这个循环将你困住：1变成4，再回到2，然后又回到1。这个猜想认为，每一个数字，无论多大，最终都会落入这个4-2-1的漩涡。

对于数字27来说，它的旅程是剧烈的。它不会安静地下降。它先上升到31，然后到47，再到52，穿越到千位数，并在9232达到顶峰，然后突然急剧下降到1。这种不规则的行为为这些序列赢得了一个绰号：hailstone sequence。就像冰晶被抛入雷暴云中，它们在算法的气流中上下起伏，直到变得太重而坠落到底部。

1937年，一位名叫Lothar Collatz的德国年轻数学家在汉堡做学生时，首次在自己的笔记本上写下了这些规则。他没有立即发表，但这个问题开始像数学病毒一样传播开来。它首先出现在Syracuse University，然后在日本，后来在波兰。随着它击败每一次试图证明它的尝试，它获得了十几个名字——3n+1问题、西罗茨基问题、乌拉姆猜想。

暴力计算的极限

我们已经检查过这些数字了。利用大规模的分布式计算网络，研究人员已经验证了所有到2的68次方的整数——一个21位数——的猜想。没有一次序列未能到达1。但在数学中，验证不等于证明。在数学史上，有许多猜想在数万亿个案例中都成立，却在难以想象的尺度上失败了。例如，波利亚猜想在几十年里都被认为是正确的，直到在906150257处发现了反例。

困难在于，考拉兹过程似乎连接了两个世界。它使用最简单的算术工具，却产生了一种看起来像随机噪声的序列。没有一个“能量函数”始终递减，也没有明显的对称性可以利用。这是一个确定性的系统，却表现出硬币翻转的混沌。要证明它，就必须证明没有任何数字能进入另一个循环，也没有任何数字能无限增长。

工具的匮乏

传奇数学家Paul Erdős曾说过，数学目前还不足以解决这类问题。他为解决这个问题提供了500美元的奖金，但他并不指望自己会支付这笔钱。这个问题如此顽固，以至于一些人怀疑它可能是undecidability的一个实例，这个概念由Kurt Gödel的工作所提出。这个猜想可能是正确的，但使用标准算术公理却无法证明。

2019年，数学家Terence Tao提供了40年来最重要的进展。他并没有解决这个猜想，但证明了“几乎所有”的起始值最终都会达到一个比起始值小得多的值。这是概率战胜纯数论的一次胜利。陶哲轩证明了，如果你随机选择一个数字，它不遵守考拉兹规则的可能性几乎为零。然而，他证明中的“几乎”是一个巨大的鸿沟。它为存在异常值留下了空间——孤独的、无限的数字，它们永远不会回家。

我们仍然不知道的

我们不知道是否存在第二个循环。虽然我们只在正整数中发现了4-2-1的循环，但可能存在一个更长的循环，包含数十亿个数字，隐藏在我们的计算机尚未触及的数字线上。

我们不知道是否存在一个数字会发散到无限大。有可能某个起始值会触发一个永远增长的序列，永远不会进入循环，也永远不会降到1。如果存在这样的数字，我们不知道从哪里开始寻找。

我们甚至不知道这个问题是否可以被解决。考拉兹猜想可能是我们当前逻辑的一个基本限制——一个我们尚未发明钥匙的简单门。根据Jeffrey Lagarias，这个难题的权威记录者，它仍然是现代数学“完全无法触及”的挑战。

它仍然是一个陷阱，让不谨慎的人陷入其中。研究考拉兹猜想意味着要冒着一种特殊的痴迷的风险，追求一个可能并不存在的证明。这是对算术最熟悉区域的提醒，即使在这些区域，仍然存在指南针疯狂旋转的地方。

Comece com qualquer número inteiro positivo. Se for par, divida-o por dois; se for ímpar, multiplique-o por três e adicione um. Esse simples ciclo, a conjectura de Collatz, cria trajetórias tão volúveis que resistiram à prova por quase um século. É uma armadilha matemática que permanece um dos maiores mistérios da área.

Escolha um número. Qualquer inteiro positivo servirá. Se for par, corte-o pela metade. Se for ímpar, triplique-o e adicione um. Repita o processo. Se começar com 10, cai para 5, salta para 16, depois desliza por 8, 4, 2 e finalmente 1. Em 1, o ciclo o prende: 1 vira 4, que retorna a 2 e depois volta a 1. A conjectura afirma que cada número, não importa quão grande, eventualmente cai nesse esgoto 4-2-1.

Para o número 27, a jornada é violenta. Ele não desce quietamente. Ele sobe a 31, depois a 47, depois a 52, vagueia pelos milhares e atinge o pico de 9.232 antes de uma súbita e precipitada queda até 1. Esse comportamento errático deu a essas sequências um apelido: os hailstone sequence. Como cristais de gelo lançados em uma tempestade, eles sobem e descem pelas correntes do algoritmo até ficarem muito pesados e caírem no fundo.

Em 1937, um jovem matemático alemão chamado Lothar Collatz escreveu primeiramente essas regras no seu caderno enquanto estudante em Hamburgo. Ele não as publicou imediatamente, mas o problema começou a circular como um vírus matemático. Ele apareceu em Syracuse University, depois no Japão e mais tarde na Polônia. Adquiriu uma dúzia de nomes — o problema 3n+1, o problema de Syracuse, a conjectura de Ulam — à medida que derrotava cada tentativa de uma prova geral.

A barreira da força bruta

Nós já verificamos os números. Usando redes de computação distribuídas massivas, pesquisadores verificaram a conjectura para cada inteiro até 2 elevado à 68ª potência — um número com vinte e um dígitos. Nenhuma sequência falhou em alcançar 1. Mas em matemática, verificação não é prova. A história do campo está repleta de conjecturas que se mantiveram verdadeiras por trilhões de casos, apenas para falhar em uma escala inimaginável. A conjectura de Polya, por exemplo, era considerada verdadeira por décadas até que um contraexemplo foi encontrado em 906.150.257.

A dificuldade está no fato de que o processo de Collatz parece unir dois mundos. Ele usa as ferramentas mais simples da aritmética, mas produz uma sequência que, para todos os efeitos práticos, parece ruído aleatório. Não há uma "função de energia" que sempre diminui, e nenhuma simetria óbvia a explorar. É um sistema determinístico que se comporta com o caos de uma moeda lançada. Para provar isso, seria necessário mostrar que nenhum número pode entrar em um ciclo diferente, e que nenhum número pode crescer infinitamente sem limites.

Falta de ferramentas

O lendário Paul Erdős certa vez observou que a matemática simplesmente não está preparada ainda para tais problemas. Ele ofereceu um prêmio em dinheiro por uma solução — quinhentos dólares —, mas não esperava pagá-lo. O problema é tão resistente que alguns suspeitam que ele possa ser uma instância de undecidability, um conceito trazido à tona pelo trabalho de Kurt Gödel. É possível que a conjectura seja verdadeira, mas impossível de provar usando os axiomas padrão da aritmética.

Em 2019, o matemático Terence Tao forneceu a atualização mais significativa em quarenta anos. Ele não resolveu a conjectura, mas provou que "quase todos" os valores iniciais eventualmente atingem um valor muito menor do que seu ponto de partida. Foi uma vitória da probabilidade sobre a teoria pura dos números. Tao mostrou que, se você escolher um número ao acaso, as chances de ele não obedecer à regra de Collatz são efetivamente zero. No entanto, o "quase" em sua prova é um abismo. Ele deixa espaço para a existência de outliers — números solitários e infinitos que nunca voltam para casa.

O que ainda não sabemos

Nós não sabemos se existe um segundo ciclo. Embora o ciclo 4-2-1 seja o único que encontramos para números positivos, poderia haver um ciclo muito maior, bilhões de elementos longo, escondido nas profundezas da linha numérica onde nossos computadores ainda não conseguem ver.

Nós não sabemos se existe um número que diverge para o infinito. É possível que algum valor inicial desencadeie uma sequência que cresce para sempre, nunca entrando em um ciclo e nunca descendo até 1. Se tal número existir, não temos como saber por onde começar a busca.

E nós não sabemos se o problema é mesmo solucionável. A conjectura de Collatz pode ser um limite fundamental da nossa lógica atual — uma porta simples para a qual ainda não inventamos a chave. Segundo Jeffrey Lagarias, o principal cronista do problema, ele permanece um desafio "totalmente fora de alcance" da matemática moderna.

Ele permanece uma armadilha para os desavisados. Trabalhar na conjectura de Collatz é correr o risco de uma obsessão específica, perseguindo uma prova que pode não existir. É um lembrete de que, mesmo nas regiões mais bem mapeadas da aritmética, ainda há lugares onde a bússola gira descontroladamente.

Comienza con cualquier número entero positivo. Si es par, divídelo entre dos; si es impar, triplicalo y súmale uno. Este sencillo bucle, la conjetura de Collatz, crea trayectorias tan volátiles que han resistido la demostración durante casi un siglo. Es una trampa matemática que sigue siendo uno de los mayores misterios del campo.

Elija un número. Cualquier entero positivo servirá. Si es par, córtelo a la mitad. Si es impar, triplíquelo y agréguele uno. Repita el proceso. Si comienza con 10, cae a 5, salta a 16, luego desciende a 8, 4, 2 y finalmente a 1. En 1, el ciclo lo atrapa: 1 se convierte en 4, que vuelve a 2 y luego regresa a 1. La conjetura es que cada número, sin importar cuán grande sea, termina por caer en este agujero de 4-2-1.

Para el número 27, el viaje es violento. No desciende en silencio. Sube a 31, luego a 47, luego a 52, vagando por los miles y alcanzando su punto máximo en 9.232 antes de una caída repentina y precipitada hacia 1. Este comportamiento errático le ganó a estas secuencias un apodo: los hailstone sequence. Como cristales de hielo arrojados en una tormenta, suben y bajan con las corrientes del algoritmo hasta que se vuelven demasiado pesados y caen al fondo.

En 1937, un joven matemático alemán llamado Lothar Collatz escribió por primera vez estas reglas en su cuaderno mientras estudiante en Hamburgo. No las publicó inmediatamente, pero el problema comenzó a circular como un virus matemático. Apareció en Syracuse University, luego en Japón y más tarde en Polonia. Adquirió una docena de nombres—el problema 3n+1, el problema de Syracuse, la conjetura de Ulam—mientras vencía cada intento de prueba general.

El muro de la fuerza bruta

Hemos comprobado los números. Usando redes de computación distribuidas de gran tamaño, los investigadores han verificado la conjetura para cada entero hasta 2 elevado a la potencia de 68—un número con veintiún dígitos. Ni una sola vez una secuencia ha fallado en alcanzar 1. Pero en matemáticas, la verificación no es una prueba. La historia del campo está llena de conjeturas que se mantuvieron verdaderas por billones de casos, pero fallaron a una escala inimaginable. La conjetura de Polya, por ejemplo, se creía verdadera durante décadas hasta que se encontró un contraejemplo en 906.150.257.

La dificultad radica en que el proceso de Collatz parece unir dos mundos. Usa las herramientas más simples de la aritmética, pero produce una secuencia que, para todos los efectos prácticos, parece ruido aleatorio. No hay una 'función de energía' que siempre disminuya, ni simetría obvia que explotar. Es un sistema determinista que se comporta con el caos de un lanzamiento de moneda. Para probarlo, uno tendría que demostrar que ningún número puede entrar jamás en un ciclo diferente, y que ningún número puede crecer sin límite hacia el infinito.

Una falta de herramientas

El legendario Paul Erdős una vez comentó que las matemáticas simplemente no están aún preparadas para tales problemas. Ofreció un premio en efectivo por una solución—quinientos dólares—pero no esperaba tener que pagarlos. El problema es tan resistente que algunos sospechan que podría ser un ejemplo de undecidability, un concepto que surgió gracias al trabajo de Kurt Gödel. Es posible que la conjetura sea verdadera, pero imposible de probar usando los axiomas estándar de la aritmética.

En 2019, el matemático Terence Tao proporcionó la actualización más significativa en cuarenta años. No resolvió la conjetura, pero demostró que 'casi todos' los valores iniciales eventualmente alcanzan un valor mucho menor que su punto de partida. Fue una victoria de la probabilidad sobre la teoría numérica pura. Tao mostró que si se elige un número al azar, las probabilidades de que no obedezca la regla de Collatz son efectivamente cero. Sin embargo, el 'casi' en su prueba es un abismo. Deja espacio para la existencia de valores atípicos—números solitarios e infinitos que nunca regresan a casa.

Lo que aún no sabemos

No sabemos si existe un segundo ciclo. Mientras el ciclo 4-2-1 es el único que hemos encontrado para los números positivos, podría haber un ciclo mucho más grande, de miles de millones de elementos, oculto en las profundidades de la línea numérica donde aún no podemos ver con nuestros computadores.

No sabemos si existe un número que se aleje hacia el infinito. Es posible que algún valor inicial active una secuencia que crezca para siempre, sin entrar nunca en un ciclo y sin descender jamás a 1. Si tal número existe, no tenemos forma de saber dónde comenzar la búsqueda.

Y no sabemos si el problema es incluso soluble. La conjetura de Collatz podría ser un límite fundamental de nuestra lógica actual—una puerta simple para la cual aún no hemos inventado la llave. Según Jeffrey Lagarias, el principal historiador del problema, sigue siendo un desafío que está "completamente fuera de alcance" de las matemáticas modernas.

Sigue siendo una trampa para los descuidados. Trabajar en la conjetura de Collatz es arriesgarse a un tipo específico de obsesión, persiguiendo una prueba que podría no existir. Es un recordatorio de que incluso en las regiones mejor mapeadas de la aritmética, aún hay lugares donde la brújula gira descontroladamente.

ابدأ بأي عدد صحيح موجب. إن كان زوجيًّا، اقسمه نصفين؛ وإن كان فرديًّا، اضربه في ثلاثة وأضف واحدًا. هذه الدورة البسيطة، [[الفرضية]] كولاتس، تُنتج مساراتًا متقلبةً لدرجة أنها أخفقت في إثباتها خلال تسعين عامًا تقريبًا. إنها فخٌ رياضيٌّ لا يزال من أبرز ألغاز المجال.

اختر عدداً. أي عدد صحيح موجب يكفي. إذا كان زوجياً، اقسمه إلى نصفه. وإذا كان فردياً، اضربه في 3 وأضف 1. كرر العملية. إذا بدأت بالعدد 10، فستنخفض إلى 5، وتنطلق إلى 16، ثم تهبط إلى 8، 4، 2، وأخيراً 1. عند 1، يُلقي بك الحلقة في فخها: يصبح 1 هو 4، ثم يعود إلى 2 ومن ثم إلى 1. والافتراض هو أن كل عدد، بغض النظر عن كبره، ينتهي أخيراً في هذه الحلقة 4-2-1.

للعدد 27، تكون الرحلة عنيفة. لا تنخفض به هدوءاً. بل ترتفع إلى 31، ثم 47، ثم 52، وتتجول في الآلاف وصولاً إلى ذروة 9232 قبل أن تهبط فجأةً بشكل مفاجئ إلى 1. هذا السلوك غير المتوقع جعل هذه السلاسل تحصل على لقبها: hailstone sequence. مثل بلورات الثلج الملقاة في سحابة رعدية، ترتفع وتُهبط مع تيارات الخوارزمية حتى تصبح ثقيلة جداً فتسقط إلى الأسفل.

في عام 1937، كتب عالم رياضيات ألماني شاب يُدعى Lothar Collatz هذه القواعد لأول مرة في دفتر ملاحظاته وهو طالب في هامبورغ. لم يُعلن عنها فوراً، لكن المشكلة بدأت بالانتشار كفيروس رياضي. ظهرت أولاً في Syracuse University، ثم في اليابان، وأخيراً في بولندا. اكتسبت عدداً من الأسماء—مشكلة 3ن+1، مشكلة سيراكووز، افتراض أولام—بينما هزمت كل محاولات إثباتها بشكل عام.

جدار القوة الغاشمة

لقد فحصنا الأعداد. باستخدام شبكات الحوسبة الموزعة الضخمة، تحقق الباحثون من الافتراض لكل عدد صحيح حتى 2 مرفوعة للقوة 68، وهو عدد يحتوي على 21 رقماً. لم تفشل سلسلة واحدة أبداً في الوصول إلى 1. لكن في الرياضيات، التحقق ليس إثباتاً. تاريخ المجال مزدحم بالافتراضات التي ظهرت صحيحة لعشرات المليارات من الحالات فقط لتُفشل في مقياس لا يُتصور. على سبيل المثال، افترضت معادلة بوليا أنها صحيحة لعقود حتى وُجدت مثالاً مضاداً عند 906،150،257.

الصعوبة تكمن في أن عملية كولاتس تربط بين عالمين. إنها تستخدم أدوات الحساب البسيطة، لكنها تنتج سلسلة تبدو، من كل النواح العملية، كضوضاء عشوائية. لا توجد "دالة طاقة" تتناقص دائماً، ولا تناظر واضح يمكن استغلاله. إنه نظام قطعي يتصرف بفوضى عملة معدنية. لإثباته، ستحتاج إلى إظهار أن لا عدد يمكنه الدخول أبداً في حلقة مختلفة، وأن لا عدد يمكنه النمو إلى اللانهاية بلا حدود.

نقص الأدوات

قال عالم الرياضيات الشهير Paul Erdős ذات مرة إن الرياضيات ببساطة لم تعد جاهزة بعد لحل مثل هذه المشكلات. عرض مكافأة نقدية لحل المشكلة—500 دولار—ولكنه لم يكن يتوقع دفعها. المشكلة مقاومة لدرجة أن البعض يشتبه في أنها قد تكون حالة من undecidability، مفهوم نُشر بفضل أعمال Kurt Gödel. من الممكن أن يكون الافتراض صحيحاً، لكن من المستحيل إثباته باستخدام المبادئ الأساسية للحساب.

في عام 2019، قدم عالم الرياضيات Terence Tao أحدث تحديث مهم في الأربعين عاماً الماضية. لم يحل الافتراض، لكنه أثبت أن "معظم" القيم الابتدائية تصل في النهاية إلى قيمة أصغر بكثير من نقطة البداية. كان هذا انتصاراً للاحتمالات على نظرية الأعداد التقليدية. أظهر تاو أن احتمال أن يرفض العدد العشوائي اختياره قاعدة كولاتس هو فعلياً صفراً. لكن "الغالبية" في إثباته هي فجوة. تترك مجالاً للوجود المحتمل للمستثنين—الأعداد المُهجورة، اللانهائية، التي لا تعود أبداً إلى المنزل.

ما لا نزال لا نعرفه

لا نعرف إن كان هناك حلقة ثانية. في حين أن حلقة 4-2-1 هي الحلقة الوحيدة التي وجدناها للأعداد الموجبة، فقد تكون هناك حلقة أكبر بكثير، تضم مليارات العناصر، مخفية في أرجاء خط الأعداد التي لا يمكن لحواسيبنا الوصول إليها بعد.

لا نعرف إن كان هناك عدد ينحرف إلى اللانهاية. من الممكن أن يبدأ بعض القيم في سلسلة تزداد إلى الأبد، ولا تدخل أبداً في حلقة، ولا تهبط أبداً إلى 1. إذا كان هناك عدد كهذا، فلا نملك أي طريقة نعرف بها أين نبدأ البحث.

ولا نعرف إن كانت المشكلة قابلة للحل أساساً. قد تكون افتراض كولاتس حدًا أساسيًا لمنطقنا الحالي—باباً بسيطاً لم نخترع مفتاحه بعد. وفقاً لـ Jeffrey Lagarias، المؤرخ الرئيسي للمشكلة، فإنها ما زالت تحدياً "غير قابل للوصول إليه" من قبل الرياضيات الحديثة.

إنها ما زالت فخاً للغير مبالين. العمل على افتراض كولاتس يعني أنك تخاطر بنوع معين من الارتباط، مُلاحقة إثبات قد لا يوجد أصلاً. إنه تذكير بأن حتى في أكثر مناطق الحساب رسمية، هناك أماكن ما زالت فيها البوصلة تدور بجنون.

任意の正の整数から始める。偶数であれば2で割り、奇数であれば3倍して1を加える。この単純なループからなるコラッツ予想は、その経路が極めて不安定で、ほぼ世紀にわたって証明を逃れてきた。これは数学の世界に設けられた罠であり、今なおこの分野最大の謎の一つである。

正の整数を一つ選んでください。偶数であれば半分にし、奇数であれば3倍して1を加えます。この作業を繰り返します。10から始めると、5に下がり、16に跳ね上がり、その後8、4、2と下がり、最終的に1に到達します。1になると、ループに閉じ込められてしまいます。1は4に、4は2に戻り、2は再び1に戻るのです。この予想によると、いかに大きな数でも、やがてこの4-2-1のドレインに落ち込むのです。

数27の場合、その旅路は激しく、静かに下がるのではなく、31、47、52と上昇し、数千の範囲を彷徨いながら、最終的に9,232という頂点に達した後、突然、急激に1に落下します。このような不規則な挙動のために、これらの数列は「hailstone sequence」というあだ名を付けられました。氷の結晶が雷雲の中に投げ込まれるように、このアルゴリズムの流れに従って上下し、やがて重すぎて底へと落下してしまうのです。

1937年、ドイツの若き数学者Lothar Collatzがハ Amburgの学生時代に、このルールをノートに書き留めました。彼はすぐに公表しませんでしたが、この問題は数学のウイルスのように広まり始めました。Syracuse Universityに現れ、その後日本やポーランドにも広がりました。一般証明を試みるすべての努力を打ち勝ち、10個以上の名前を獲得しました。3n+1問題、シラキューズ問題、ウラムの予想などです。

究極の壁：強引な力

我々は数をチェックしました。巨大な分散コンピューティングネットワークを使って、研究者たちは2の68乗（21桁の数）までのすべての整数に対してこの予想を検証しました。一度も数列が1に到達しなかったことはありません。しかし、数学では検証は証明ではありません。この分野の歴史には、兆単位のケースで成立したにもかかわらず、想像もできないようなスケールで失敗した予想が散りばめられています。例えば、ポリア予想は何十年間も真であると考えられていましたが、906,150,257という反例が見つかったのです。

この問題の難しさは、コラッツのプロセスが二つの世界をつなぎ合わせている点にあります。それは算術の最も単純な道具を使っていますが、その結果として得られる数列は、実質的にランダムノイズのように見えます。常に減少する「エネルギー関数」が存在せず、明らかに利用できる対称性もないのです。それは決定論的システムでありながら、コイン投げのカオスのような挙動を示します。これを証明するには、いかなる数も他のループに陥ることなく、また無限に増加することなく、必ず1に到達することを示さなければなりません。

手段の欠如

伝説的な数学者Paul Erdősは、数学はまだこのような問題に対応する準備ができていないと語ったことがあります。彼は解決策に対する500ドルの現金報酬を提示しましたが、支払うつもりはなかったのです。この問題はこれほどまでに頑強であり、一部の数学者は、これはundecidabilityの例であるかもしれないと疑っています。Kurt Gödelの研究によって注目されたこの概念によれば、この予想は算術の標準公理を使って証明不可能である可能性があるのです。

2019年、数学者Terence Taoは40年ぶりに最も重要な進展を報告しました。彼はこの予想を解決しませんでしたが、「ほぼすべて」の初期値が最終的に初期値よりもはるかに小さな値に到達することを証明しました。これは確率論の勝利であり、純粋な数論の力に勝るものでした。タオは、ランダムに数を選んだ場合、コラッツの法則に従わない確率は実質的にゼロであることを示しました。しかし、彼の証明における「ほぼ」という言葉は、大きな溝を残しています。それは、外れ値が存在する可能性を残しているのです。決して「家」に戻らない孤独な無限の数が。

まだわかっていないこと

我々は、別のループが存在するかどうかはわかっていません。4-2-1のサイクルが正の整数に対して唯一見つかっているにもかかわらず、我々のコンピュータがまだ到達していない数直線の奥深くに、数十億の要素を持つ大きなループが隠れている可能性があります。

我々は、無限に発散する数が存在するかどうかはわかっていません。ある初期値が、無限に増えていく数列を引き起こし、決してループに入らず、決して1に下がらない可能性があります。もし、そのような数が存在するならば、どこから探し始めればよいか見当もつきません。

そして、我々は、この問題が本当に解けるかどうかさえわかっていません。コラッツ予想は、我々の現在の論理の根本的な限界であり、我々がまだ鍵を開ける方法を発明していない単純な扉かもしれません。Jeffrey Lagariasというこの問題の主要な記録者によれば、それは現代の数学の手の届かない「完全に到達不能な」挑戦のままであるとされています。

この予想は、用心深い人にとっての罠のままです。コラッツ予想に取り組むことは、存在しないかもしれない証明を追い求める特定の種類の執着に陥るリスクを伴います。それは、算術の最もよく地図化された地域にも、まだコンパスが狂いながら回転する場所があることを我々に思い出させてくれます。

Commencez par tout entier positif. S'il est pair, divisez-le par deux ; s'il est impair, multipliez-le par trois et ajoutez un. Ce simple cycle, la conjecture de Collatz, crée des trajectoires si imprévisibles qu'elles ont résisté à toute preuve pendant près d'un siècle. C'est un piège mathématique qui demeure l'un des plus grands mystères du domaine.

Choisissez un nombre. N'importe quel entier positif fera l'affaire. Si c'est un nombre pair, divisez-le par deux. Si c'est un impair, multipliez-le par trois et ajoutez un. Répétez le processus. Si vous commencez par 10, vous tombez à 5, sautez à 16, puis glissez à 8, 4, 2, et finalement à 1. À 1, la boucle vous piège : 1 devient 4, qui revient à 2 et puis de nouveau à 1. La conjecture stipule que chaque nombre, peu importe à quel point il est grand, finit par tomber dans cette spirale 4-2-1.

Pour le nombre 27, le voyage est violent. Il ne descend pas tranquillement. Il grimpe à 31, puis à 47, puis à 52, errant à travers les milliers et atteignant son pic à 9 232 avant une chute brutale et soudaine vers 1. Ce comportement erratique a valu à ces séquences un surnom : les hailstone sequence. Comme des cristaux de glace jetés dans un orage, ils montent et descendent selon les courants de l'algorithme jusqu'à ce qu'ils deviennent trop lourds et plongent au fond.

En 1937, un jeune mathématicien allemand nommé Lothar Collatz a d'abord noté ces règles dans son cahier, alors qu'il était étudiant à Hambourg. Il ne les a pas publiées immédiatement, mais le problème a commencé à circuler comme un virus mathématique. Il est apparu à Syracuse University, puis au Japon, et plus tard en Pologne. Il a acquis une dizaine de noms — le problème 3n+1, le problème de Syracuse, la conjecture d'Ulam — alors qu'il résistait à toute tentative de preuve générale.

Le mur de la force brute

Nous avons vérifié les nombres. En utilisant des réseaux de calcul distribué massifs, les chercheurs ont confirmé la conjecture pour chaque entier jusqu'à 2 puissance 68 — un nombre de vingt et un chiffres. Aucune séquence ne s'est jamais éloignée de 1. Mais en mathématiques, la vérification n'est pas une preuve. L'histoire du domaine regorge de conjectures qui tenaient pour des milliards de cas, mais ont fini par échouer à une échelle inimaginable. La conjecture de Polya, par exemple, était considérée comme vraie pendant des décennies jusqu'à ce qu'un contre-exemple soit trouvé à 906 150 257.

La difficulté réside dans le fait que le processus de Collatz semble relier deux mondes. Il utilise les outils les plus simples de l'arithmétique, mais il produit une séquence qui ressemble, pour toutes fins utiles, à du bruit aléatoire. Il n'existe pas de « fonction d'énergie » qui diminue toujours, ni de symétrie évidente à exploiter. C'est un système déterministe qui se comporte avec le chaos d'une pièce de monnaie. Pour le prouver, il faudrait démontrer qu'aucun nombre ne peut entrer dans une autre boucle, et qu'aucun nombre ne peut croître indéfiniment sans limite.

Un manque d'outils

Le légendaire Paul Erdős a un jour déclaré que les mathématiques ne sont tout simplement pas encore prêtes pour de tels problèmes. Il a offert une récompense en espèces pour une solution — cinq cents dollars —, mais il ne s'attendait pas à la verser. Le problème est tellement résistant que certains soupçonnent qu'il pourrait être un exemple de undecidability, un concept mis en lumière par le travail de Kurt Gödel. Il est possible que la conjecture soit vraie, mais impossible à prouver en utilisant les axiomes standards de l'arithmétique.

En 2019, le mathématicien Terence Tao a fourni la mise à jour la plus significative en quarante ans. Il n'a pas résolu la conjecture, mais il a démontré que « presque tous » les nombres de départ finissent par atteindre une valeur bien plus petite que leur point de départ. C'était une victoire de la probabilité sur la théorie des nombres brute. Tao a montré que si vous choisissez un nombre au hasard, les chances qu'il ne suive pas la règle de Collatz sont effectivement nulles. Pourtant, le « presque » de sa preuve est un abîme. Il laisse la place à l'existence d'exceptions — des nombres solitaires, infinis, qui ne reviennent jamais à la maison.

Ce que nous ne savons toujours pas

Nous ne savons pas s'il existe une deuxième boucle. Bien que le cycle 4-2-1 soit le seul que nous ayons trouvé pour les entiers positifs, il pourrait y en avoir une autre, bien plus grande, composée de milliards d'éléments, cachée dans les profondeurs de la ligne numérique que nos ordinateurs ne peuvent pas encore atteindre.

Nous ne savons pas s'il existe un nombre qui diverge vers l'infini. Il est possible qu'une certaine valeur de départ déclenche une séquence qui croît éternellement, sans entrer dans une boucle et sans jamais descendre à 1. Si un tel nombre existe, nous n'avons aucun moyen de savoir où commencer la recherche.

Et nous ne savons pas si le problème est même soluble. La conjecture de Collatz pourrait être une limite fondamentale de notre logique actuelle — une porte simple pour laquelle nous n'avons pas encore inventé la clé. Selon Jeffrey Lagarias, le chroniqueur incontesté du problème, elle reste un défi « complètement hors de portée » des mathématiques modernes.

Elle demeure un piège pour les imprudents. Travailler sur la conjecture de Collatz, c'est risquer un type particulier d'obsession, poursuivant une preuve qui pourrait n'exister pas. C'est un rappel que même dans les régions les mieux cartographiées de l'arithmétique, il existe encore des lieux où la boussole tourne follement.

Mulailah dengan bilangan bulat positif apa pun. Jika genap, bagi dua; jika ganjil, kalikan tiga dan tambahkan satu. Loop sederhana ini, yang dikenal sebagai dugaan Collatz, menghasilkan jalur yang sangat labil hingga kini belum terbukti selama hampir abad. Ini adalah perangkap matematis yang tetap menjadi salah satu misteri terbesar dalam bidang tersebut.

Ambil sebuah angka. Setiap bilangan bulat positif akan berlaku. Jika genap, bagi dua. Jika ganjil, kalikan tiga dan tambahkan satu. Ulangi prosesnya. Jika Anda memulai dari 10, Anda turun ke 5, melompat ke 16, lalu meluncur ke 8, 4, 2, dan akhirnya 1. Di 1, loop menangkap Anda: 1 berubah menjadi 4, yang kembali ke 2 dan kemudian kembali ke 1. Dugaan tersebut menyatakan bahwa setiap angka, sebesar apa pun, akhirnya jatuh ke dalam drain 4-2-1 ini.

Untuk angka 27, perjalanannya adalah yang sangat keras. Ia tidak turun secara tenang. Ia naik ke 31, lalu 47, lalu 52, berjalan-jalan melalui ribuan dan mencapai puncak di 9.232 sebelum tiba-tiba runtuh dengan tajam ke 1. Perilaku liar ini memberi nama panggilan pada urutan-urutan ini: hailstone sequence. Seperti kristal es yang dilemparkan ke dalam badai, mereka naik dan turun mengikuti aliran algoritma hingga mereka terlalu berat dan jatuh ke dasar.

Pada tahun 1937, seorang matematikawan muda bernama Lothar Collatz pertama kali menuliskan aturan ini di buku catatannya saat menjadi mahasiswa di Hamburg. Ia tidak menerbitkannya segera, tetapi masalah ini mulai menyebar seperti virus matematika. Ia muncul di Syracuse University, lalu di Jepang, dan kemudian di Polandia. Ia memperoleh sejumlah nama—masalah 3n+1, masalah Syracuse, dugaan Ulam—saat mengalahkan setiap upaya untuk membuktikannya secara umum.

Dinding kekuatan kasar

Kita telah memeriksa angka-angkanya. Dengan jaringan komputasi terdistribusi yang besar, para peneliti telah memverifikasi dugaan ini untuk setiap bilangan bulat hingga 2 pangkat 68—sebuah angka dengan dua puluh satu digit. Tidak pernah sekali pun urutan gagal mencapai 1. Tetapi dalam matematika, verifikasi bukanlah bukti. Sejarah bidang ini dipenuhi dengan dugaan yang berlaku untuk triliunan kasus sebelum akhirnya gagal pada skala yang tidak terbayangkan. Dugaan Polya, misalnya, dianggap benar selama bertahun-tahun hingga contoh penyangkal ditemukan di 906.150.257.

Kesulitannya terletak pada fakta bahwa proses Collatz tampaknya menghubungkan dua dunia. Ia menggunakan alat paling sederhana dari aritmetika, tetapi menghasilkan urutan yang terlihat seperti kebisingan acak. Tidak ada 'fungsi energi' yang selalu menurun, dan tidak ada simetri yang jelas untuk dimanfaatkan. Ini adalah sistem deterministik yang berperilaku seperti kekacauan lemparan koin. Untuk membuktikannya, seseorang harus menunjukkan bahwa tidak ada bilangan yang pernah memasuki loop yang berbeda, dan bahwa tidak ada bilangan yang pernah tumbuh menuju tak hingga tanpa batas.

Kekurangan alat

Paul Erdős legendaris pernah mengatakan bahwa matematika sederhana saja belum siap untuk masalah seperti ini. Ia menawarkan hadiah uang untuk solusi—lima ratus dolar—tetapi ia tidak mengharapkan harus membayarnya. Masalahnya sangat tahan terhadap upaya pembuktian sehingga beberapa orang menduga ini mungkin merupakan contoh dari undecidability, konsep yang diperkenalkan oleh karya Kurt Gödel. Mungkin dugaan ini benar, tetapi tidak mungkin untuk dibuktikan menggunakan aksioma aritmetika standar.

Pada tahun 2019, matematikawan Terence Tao memberikan pembaruan terbesar dalam empat puluh tahun. Ia tidak menyelesaikan dugaan tersebut, tetapi ia membuktikan bahwa 'hampir semua' nilai awal akhirnya mencapai nilai yang jauh lebih kecil dari titik awalnya. Ini adalah kemenangan probabilitas atas teori bilangan murni. Tao menunjukkan bahwa jika Anda memilih sebuah bilangan secara acak, peluangnya hampir nol untuk tidak mengikuti aturan Collatz. Namun 'hampir' dalam buktinya adalah jurang. Ini memberi ruang untuk keberadaan outlier—angka-angka tak terbatas yang sendirian, yang tidak pernah kembali.

Apa yang masih kita tidak tahu

Kita tidak tahu apakah loop kedua ada. Sementara siklus 4-2-1 adalah satu-satunya yang telah kita temukan untuk bilangan positif, mungkin ada loop yang jauh lebih besar, berjuta-juta item panjangnya, tersembunyi di sudut-sudut garis bilangan yang komputer kita belum mampu melihatnya.

Kita tidak tahu apakah ada bilangan yang menyimpang ke tak hingga. Mungkin ada nilai awal tertentu yang memicu urutan yang terus tumbuh, tidak pernah memasuki loop dan tidak pernah turun ke 1. Jika bilangan semacam itu ada, kita tidak tahu dari mana harus memulai pencarian.

Dan kita tidak tahu apakah masalah ini bahkan dapat diselesaikan. Dugaan Collatz mungkin merupakan batas dasar dari logika kita saat ini—sebuah pintu sederhana untuk mana kita belum mengembangkan kunci. Menurut Jeffrey Lagarias, penulis utama masalah ini, dugaan tersebut tetap menjadi tantangan yang 'sepenuhnya di luar jangkauan' matematika modern.

Ia tetap menjadi jebakan bagi yang tidak waspada. Untuk bekerja pada dugaan Collatz adalah risiko jenis obsesi tertentu, mengejar bukti yang mungkin tidak pernah ada. Ini adalah pengingat bahwa bahkan di wilayah aritmetika yang paling terpeta sekalipun, masih ada tempat-tempat di mana kompas berputar liar.

Beginne mit jeder positiven Zahl. Ist sie gerade, halbiere sie; ist sie ungerade, verdreifache sie und addiere eins. Dieser einfache Zyklus, die Collatz-Vermutung, erzeugt Wege so unstetig, dass sie fast ein Jahrhundert lang einem Beweis widerstanden haben. Es ist eine mathematische Falle, die nach wie vor zu den größten Rätseln des Fachs zählt.

Wählen Sie eine Zahl. Jede positive ganze Zahl wird tun. Ist sie gerade, teilen Sie sie durch zwei. Ist sie ungerade, verdreifachen Sie sie und addieren Sie eins. Wiederholen Sie den Vorgang. Beginnen Sie mit 10, so sinken Sie auf 5, springen auf 16, gleiten dann durch 8, 4, 2 und schließlich auf 1. Bei 1 fängt Sie die Schleife ein: 1 wird zu 4, die kehrt zu 2 zurück und von dort wieder zu 1. Die Vermutung besagt, dass jede einzelne Zahl, unabhängig davon, wie groß sie ist, letztendlich in diesen 4-2-1-Abfluss stürzt.

Bei der Zahl 27 ist die Reise eine gewaltsame. Sie sinkt nicht still. Sie steigt auf 31, dann auf 47, dann auf 52, wandert durch die Tausender und erreicht ihren Höhepunkt bei 9232, bevor sie plötzlich und steil auf 1 zusammenbricht. Dieses unregelmäßige Verhalten hat diesen Folgen einen Spitznamen eingebracht: die hailstone sequence. Wie Eiskristalle, die in eine Gewitterwolke geworfen werden, steigen und fallen sie auf den Strömungen des Algorithmus, bis sie zu schwer werden und in die Tiefe stürzen.

Im Jahr 1937 notierte ein junger deutscher Mathematiker namens Lothar Collatz diese Regeln erstmals in sein Notizbuch, während er Student in Hamburg war. Er veröffentlichte sie nicht sofort, doch das Problem verbreitete sich wie ein mathematisches Virus. Es tauchte an Syracuse University auf, dann in Japan und später in Polen. Es erhielt eine Dutzend Namen – das 3n+1-Problem, das Syracuse-Problem, die Ulamsche Vermutung –, während es jedes Versuches einer allgemeinen Beweisführung siegte.

Die Mauer der rohen Gewalt

Wir haben die Zahlen überprüft. Mit riesigen Verteilungsnetzen für Rechenleistung haben Forscher die Vermutung für jede ganze Zahl bis zu 2 hoch 68 überprüft – eine Zahl mit einundzwanzig Stellen. Nicht ein einziges Mal ist eine Folge nicht bis zu 1 gelangt. Doch in der Mathematik ist Verifikation kein Beweis. Die Geschichte des Fachgebiets ist übersät mit Vermutungen, die für Billionen von Fällen bestanden haben, nur um bei einer unvorstellbaren Größe zu scheitern. Die Polya-Vermutung, beispielsweise, galt Jahrzehnte lang als wahr, bis ein Gegenbeispiel bei 906.150.257 gefunden wurde.

Die Schwierigkeit liegt darin, dass der Collatz-Prozess scheinbar zwei Welten verbindet. Er nutzt die einfachsten Werkzeuge der Arithmetik, doch er erzeugt eine Folge, die für alle praktischen Zwecke wie Zufallsschall aussieht. Es gibt keine „Energiefunktion“, die stets abnimmt, und keine offensichtliche Symmetrie, die ausgenutzt werden könnte. Es ist ein deterministisches System, das mit dem Chaos eines Münzwurfs handelt. Um es zu beweisen, müsste man zeigen, dass keine Zahl jemals eine andere Schleife betreten kann, und dass keine Zahl jemals unendlich wachsen kann.

Ein Mangel an Werkzeugen

Der legendäre Paul Erdős hat einst bemerkt, dass die Mathematik einfach noch nicht bereit für solche Probleme sei. Er bot eine Geldprämie für eine Lösung an – fünfhundert Dollar –, doch er erwartete nicht, sie auszahlen zu müssen. Das Problem ist so widerstandsfähig, dass einige vermuten, es könnte ein Beispiel für undecidability sein, ein Konzept, das durch die Arbeit von Kurt Gödel ins Rampenlicht gerückt wurde. Es ist möglich, dass die Vermutung wahr ist, doch unmöglich zu beweisen, unter Verwendung der Standardaxiome der Arithmetik.

Im Jahr 2019 gelang es dem Mathematiker Terence Tao, die wichtigste Neuigkeit in vierzig Jahren zu liefern. Er löste die Vermutung nicht, doch er bewies, dass „fast alle“ Startwerte irgendwann einen Wert erreichen, der deutlich kleiner ist als ihr Ausgangspunkt. Es war ein Sieg der Wahrscheinlichkeit über die reine Zahlentheorie. Tao zeigte, dass, wenn man eine Zahl zufällig auswählt, die Wahrscheinlichkeit, dass sie nicht der Collatz-Regel folgt, effektiv Null ist. Doch das „fast“ in seinem Beweis ist ein Abgrund. Es lässt Raum für die Existenz von Ausreißern – einsamen, unendlichen Zahlen, die niemals nach Hause kommen.

Was wir immer noch nicht wissen

Wir wissen nicht, ob ein zweiter Zyklus existiert. Während der 4-2-1-Zyklus der einzige ist, den wir für positive ganze Zahlen gefunden haben, könnte es einen viel größeren Zyklus geben, der aus Milliarden von Elementen besteht und in den Tiefen der Zahlenlinie verborgen liegt, jenseits der Reichweite unserer Computer.

Wir wissen nicht, ob es eine Zahl gibt, die ins Unendliche divergiert. Es ist möglich, dass ein Startwert eine Folge auslöst, die für immer wächst, niemals in eine Schleife gerät und niemals auf 1 absteigt. Sollte eine solche Zahl existieren, haben wir keine Ahnung, wo wir mit der Suche beginnen sollen.

Und wir wissen nicht, ob das Problem überhaupt lösbar ist. Die Collatz-Vermutung könnte ein grundlegender Grenzwert unseres aktuellen Logiksystems sein – eine einfache Tür, für die wir noch keine Schlüssel erfunden haben. Laut Jeffrey Lagarias, dem herausragenden Chronisten des Problems, bleibt es eine Herausforderung, die „völlig außerhalb der Reichweite“ der modernen Mathematik liegt.

Es bleibt eine Falle für die Unvorsichtigen. Sich der Collatz-Vermutung zu widmen, ist, ein spezifisches Obsessionsrisiko einzugehen, die Verfolgung eines Beweises, der vielleicht gar nicht existiert. Es ist eine Erinnerung daran, dass selbst in den am besten kartografierten Regionen der Arithmetik noch Orte existieren, an denen die Kompassnadel wild herumschwingt.

임의의 양의 정수에서 시작하라. 짝수라면 반으로 나누고, 홀수라면 세 배에 1을 더하라. 이 간단한 루프, 콜라츠 추측은 수십 년 동안 증명을 회피한 만큼 극단적으로 변동하는 경로를 만들어낸다. 수학의 가장 큰 수수께끼 중 하나인 이 수학적 함정은 여전히 미스터리로 남아 있다.

양의 정수 하나를 골라보자. 짝수라면 반으로 나누고, 홀수라면 세 배에 1을 더하자. 이 과정을 반복하자. 10을 시작으로 한다면 5로 떨어지고, 16으로 뛰어오르며, 8, 4, 2를 거쳐 결국 1에 도달한다. 1에 도달하면 루프에 갇히게 된다. 1은 4가 되고, 다시 2로 돌아가서 결국 1로 되돌아온다. 이 추측에 따르면, 아무리 큰 수라도 결국 이 4-2-1의 구멍으로 빠져들게 된다.

27이라는 수는 극심한 여행을 한다. 조용히 내려오지 않는다. 31로 올라가고, 47, 52로 이어지며 수천의 세계를 방황하다가 9,232에 이르렀다가 갑작스럽게 1로 추락한다. 이러한 불규칙한 행동은 이 수열에 별칭을 붙이게 되었다. hailstone sequence. 번개가 치는 구름 속에 던져진 얼음 결정처럼, 이 알고리즘의 흐름에 따라 높아지고 낮아지다가 너무 무거워져서 바닥으로 추락한다.

1937년, 젊은 독일 수학자 Lothar Collatz은 함부르크에서 학생이었을 때 이러한 규칙을 노트에 처음 적었다. 즉시 발표하지는 않았지만, 이 문제는 수학적 바이러스처럼 퍼지기 시작했다. Syracuse University에서 등장한 후 일본, 폴란드로 퍼져나갔다. 이 문제는 일반적인 증명을 시도하는 모든 사람을 물리치며 수십 가지 이름을 얻었다. 3n+1 문제, 시라큐스 문제, 울람의 추측 등이 그것이다.

브루트 포스의 벽

우리는 수를 확인해 왔다. 거대한 분산 컴퓨팅 네트워크를 활용해 연구자들은 2의 68제곱까지의 모든 정수에 대해 추측을 검증했다. 이 수는 21자리의 수이다. 한 번도 수열이 1에 도달하지 못한 사례는 없었다. 하지만 수학에서는 검증이 증명이 되지 않는다. 이 분야의 역사는 수십억 개의 경우에 모두 성립되었지만, 상상할 수 없는 규모에서 실패한 추측들로 가득 차 있다. 예를 들어, 폴리아 추측은 수십 년 동안 참이라고 여겨졌지만, 906,150,257에서 반례가 발견되었다.

문제는 콜라츠 과정이 두 세계를 연결한다는 데 있다. 이 과정은 산술의 가장 단순한 도구만을 사용하지만, 결과적으로는 랜덤 노이즈처럼 보이는 수열을 만들어낸다. 항상 감소하는 '에너지 함수'가 없고, 이용할 만한 명확한 대칭성도 없다. 결정론적 시스템임에도 불구하고 동전 던지기의 혼돈처럼 행동한다. 이를 증명하려면, 어떤 수도 다른 루프에 들어갈 수 없음을 보여주어야 하고, 어떤 수도 무한대로 성장하지 않음을 보여주어야 한다.

부족한 도구들

전설적인 수학자 Paul Erdős는 한때 수학이 아직 이러한 문제에 대처할 준비가 되어 있지 않다고 말했다. 그는 해결책을 제시한 사람에게 500달러의 현상금을 제안했지만, 그는 그것을 지급하지 않을 것이라고 예상했다. 이 문제는 너무나 저항성이 강해서 일부 사람들은 이 문제가 undecidability의 사례일 수 있다고 의심한다. Kurt Gödel의 연구를 통해 주목받게 된 이 개념에 따르면, 추측이 참일 수도 있지만, 산술의 표준 공리만으로는 증명할 수 없을 수도 있다는 것이다.

2019년, 수학자 Terence Tao은 40년 만에 가장 중요한 업데이트를 제공했다. 그는 추측을 해결하지는 않았지만, '거의 모든' 시작 값이 결국 출발점보다 훨씬 작은 값에 도달함을 증명했다. 이는 확률이 순수 수론보다 우세한 승리였다. 테오가 말한 바로는, 무작위로 수를 고른다면, 콜라츠 규칙을 따르지 않는 확률은 사실상 0이다. 하지만 그 증명에 등장한 '거의'라는 표현은 커다란 갈등을 남긴다. 이는 예외가 존재할 수 있는 공간을 남긴다. 집에 돌아오지 않는 고독한 무한 수들이 말이다.

여전히 알 수 없는 것들

우리는 두 번째 루프가 존재하는지 여부를 모른다. 현재까지 발견된 4-2-1 사이클이 유일한 것이지만, 수백억 개의 항목이 포함된 훨씬 더 큰 루프가 수직선의 맹목적인 구역에 숨어 있을 수도 있다. 우리의 컴퓨터가 아직 도달하지 못한 곳 말이다.

우리는 어떤 수가 무한대로 발산하는지 여부도 모른다. 어떤 시작 값이 콜라츠 수열을 무한히 증가시키며 루프에 들어가지도 않고 1로 내려오지도 않는 경우가 있을 수도 있다. 만약 그러한 수가 존재한다면, 어디서부터 찾아야 할지조차 알 방법이 없다.

그리고 우리는 이 문제가 풀릴 수 있는지조차 모른다. 콜라츠 추측은 현재 논리의 근본적인 한계일 수도 있다. 우리가 아직 열쇠를 발명하지 못한 간단한 문일 수도 있다. Jeffrey Lagarias에 따르면, 이 문제의 최고 전문가는 현대 수학이 이 문제를 '완전히 손에 닿지 않는' 도전 과제로 여긴다고 말했다.

이 문제는 여전히 주의 깊지 않은 사람들을 위한 함정이다. 콜라츠 추측을 연구하는 것은 존재하지 않을 수도 있는 증명을 쫓는 특정한 집착에 빠지는 위험을 수반한다. 이는 산술의 가장 잘 매핑된 영역조차도 여전히 나침반이 완전히 돌아가는 곳이 있다는 것을 상기시켜 준다.

Возьмите любое положительное целое число. Если оно чётное, разделите его на два; если нечётное, утройте его и прибавьте один. Этот простой цикл, гипотеза Коллатца, создаёт такие изменчивые пути, что они ускользают от доказательства почти столетие. Это математическая ловушка, которая остаётся одной из великих загадок науки.

Выберите число. Любое положительное целое число подойдёт. Если оно чётное, разделите его пополам. Если оно нечётное, утройте его и прибавьте единицу. Повторите процесс. Если вы начнёте с 10, то снизитесь до 5, подскочите до 16, а затем упадёте до 8, 4, 2 и, наконец, до 1. На 1 цикл вас захватывает: 1 превращается в 4, который возвращается к 2, а затем обратно к 1. Гипотеза утверждает, что каждое число, без исключения, в конце концов попадает в этот 4-2-1 водоворот, независимо от того, насколько оно велико.

Для числа 27 путь будет бурным. Оно не спускается тихо. Оно поднимается до 31, затем до 47, затем до 52, блуждая по тысячам и достигая пика 9 232, прежде чем внезапно резко обрушиться до 1. Это хаотическое поведение дало этим последовательностям прозвище: hailstone sequence. Как ледяные кристаллы, брошенные в грозовую тучу, они поднимаются и падают на потоках алгоритма, пока не становятся слишком тяжёлыми и не рухнут вниз.

В 1937 году молодой немецкий математик по имени Lothar Collatz впервые записал эти правила в свой блокнот, когда был студентом в Гамбурге. Он не опубликовал их сразу, но проблема начала распространяться, как математический вирус. Она появилась в Syracuse University, затем в Японии, а позже в Польше. Она приобрела дюжину названий — проблема 3n+1, проблема Сиракузы, гипотеза Улама — поскольку каждый попытка доказательства проваливалась.

Стена грубой силы

Мы проверили числа. Используя огромные распределённые вычислительные сети, исследователи проверили гипотезу для каждого целого числа до 2 в степени 68 — числа с двадцатью одним знаком. Ни разу последовательность не достигла 1. Но в математике проверка не является доказательством. История этой области полна гипотез, которые держались для триллионов случаев, прежде чем неожиданно провалились. Например, гипотеза Полиа считалась верной десятилетиями, пока не был найден контрпример на 906 150 257.

Сложность заключается в том, что процесс Коллатца, кажется, соединяет два мира. Он использует самые простые инструменты арифметики, но производит последовательность, которая выглядит, на все случаи жизни, как случайный шум. Нет «функции энергии», которая всегда уменьшается, и нет очевидной симметрии, которую можно использовать. Это детерминированная система, ведущая себя с хаосом монетки. Чтобы доказать её, нужно было бы показать, что никакое число не может попасть в другой цикл, и что никакое число не может неограниченно расти.

Недостаток инструментов

Легендарный Paul Erdős однажды заметил, что математика просто ещё не готова к таким проблемам. Он предложил денежный приз за решение — пятьсот долларов — но не ожидал его выплатить. Проблема настолько упрямая, что некоторые подозревают, что это может быть примером undecidability, концепции, выдвинутой работами Kurt Gödel. Возможно, гипотеза верна, но невозможно доказать её с помощью стандартных аксиом арифметики.

В 2019 году математик Terence Tao предоставил самый значительный обновлённый результат за сорок лет. Он не решил гипотезу, но доказал, что «почти все» начальные значения в конечном итоге достигают значения, которое намного меньше начального. Это была победа вероятности над чистой теорией чисел. Тао показал, что если вы случайным образом выберете число, вероятность того, что оно не будет подчиняться правилу Коллатца, практически равна нулю. Однако «почти» в его доказательстве — это пропасть. Это оставляет пространство для существования аутсайдеров — одиноких бесконечных чисел, которые никогда не возвращаются домой.

То, чего мы всё ещё не знаем

Мы не знаем, существует ли второй цикл. В то время как цикл 4-2-1 является единственным, который мы нашли для положительных целых чисел, может быть, существует гораздо более крупный цикл, включающий миллиарды элементов, скрытый в отдалённых областях числовой линии, куда наши компьютеры ещё не могут заглянуть.

Мы не знаем, есть ли число, которое расходится к бесконечности. Возможно, какое-то начальное значение запускает последовательность, которая растёт вечно, никогда не входя в цикл и никогда не опускаясь до 1. Если такое число существует, у нас нет способа знать, с чего начать поиск.

И мы не знаем, решаема ли вообще эта проблема. Гипотеза Коллатца может быть фундаментальным пределом нашей текущей логики — простой дверью, для которой мы ещё не изобрели ключ. Согласно Jeffrey Lagarias, первоклассному хроникёру проблемы, она остаётся задачей, «полностью вне досягаемости» современной математики.

Она остаётся ловушкой для неосторожных. Работать над гипотезой Коллатца — это рисковать определённым видом одержимости, преследуя доказательство, которое может и не существовать. Это напоминание о том, что даже в самых хорошо изученных областях арифметики всё ещё есть места, где компас безумно крутится.

कोई भी सकारात्मक पूर्ण संख्या लें। यदि वह सम है, तो उसे आधा कर दें; यदि वह विषम है, तो उसे तीन से गुणा करें और एक जोड़ दें। यह सरल लूप, कोलाट्ज अनुमान, ऐसे उतार-चढ़ाव वाले मार्ग बनाता है जिन्हें लगभग एक शताब्दी से साबित करने का प्रयास किया जा रहा है। यह गणित का एक फंदा है जो अभी भी इस क्षेत्र के सबसे बड़े रहस्यों में से एक बना हुआ है।

एक संख्या चुनिए। कोई भी धनात्मक पूर्णांक ठीक रहेगा। अगर यह सम है, तो इसे आधा कर दीजिए। अगर यह विषम है, तो इसे तीन गुना करके एक जोड़ दीजिए। प्रक्रिया को दोहराइए। अगर आप 10 से शुरूआत करते हैं, तो आप 5 तक गिर जाते हैं, 16 तक उछल जाते हैं, फिर 8, 4, 2 और अंततः 1 तक फिसल जाते हैं। 1 पर, लूप आपको फंसा लेता है: 1 चार हो जाता है, जो 2 वापस लौटाता है और फिर 1 में वापस आ जाता है। अनुमान यह है कि हर संख्या, भले ही वह कितनी भी बड़ी क्यों न हो, अंततः इस 4-2-1 ड्रेन में गिर जाती है।

संख्या 27 के लिए यात्रा एक भयावह है। यह शांत तरीके से नहीं गिरती। यह 31 तक चढ़ती है, फिर 47, फिर 52, हजारों में घूमती है और 9,232 तक पहुंचती है, जिसके बाद एक अचानक, तीव्र ढलान 1 तक गिर जाती है। इस अस्थिर व्यवहार ने इन अनुक्रमों को एक उपनाम दिया है: hailstone sequence। बादलों में फेंके गए हिम के क्रिस्टल की तरह, वे एल्गोरिथ्म के धाराओं पर ऊपर नीचे उठते हैं जब तक कि वे बहुत भारी न हो जाएं और तल पर गिर न जाएं।

1937 में, एक युवा जर्मन गणितज्ञ, Lothar Collatz ने हैमबर्ग में छात्र के रूप में अपने नोटबुक में इन नियमों को पहली बार लिखा था। उन्होंने उन्हें तुरंत प्रकाशित नहीं किया, लेकिन समस्या एक गणितीय वायरस की तरह फैलने लगी। यह Syracuse University में प्रकट हुआ, फिर जापान में, और बाद में पोलैंड में। इसे एक दर्जन नाम मिले—3n+1 समस्या, सिराक्यूज समस्या, अलम का अनुमान—क्योंकि इसने प्रमाण के लिए प्रत्येक प्रयास को पराजित कर दिया।

ब्रूट फोर्स दीवार

हमने संख्याओं की जांच की है। विशाल वितरित कंप्यूटिंग नेटवर्क का उपयोग करके, शोधकर्ता 2 के 68 घात तक प्रत्येक पूर्णांक के लिए अनुमान की पुष्टि कर चुके हैं—एक 21 अंकों वाली संख्या। एक बार भी कोई अनुक्रम 1 तक पहुंचे बिना नहीं रहा है। लेकिन गणित में, सत्यापन प्रमाण नहीं है। क्षेत्र के इतिहास में अरबों मामलों के लिए सच रहे अनुमानों के ढेर हैं, जो अप्रत्याशित पैमाने पर विफल रहे हैं। उदाहरण के लिए, पोलिया का अनुमान दशकों तक सच होने का विश्वास किया गया था जब तक कि 906,150,257 पर एक विरोधी उदाहरण नहीं मिला।

कठिनाई इस तथ्य में है कि कोलाज़ नियम दो दुनियाओं के बीच पुल बनाता है। यह अंकगणित के सबसे सरल उपकरणों का उपयोग करता है, लेकिन यह एक अनुक्रम उत्पन्न करता है जो, सभी इरादों और उद्देश्यों के लिए, यादृच्छिक शोर की तरह दिखाई देता है। यह कभी भी घटते हुए ऊर्जा फलन नहीं होता है, और न ही कोई स्पष्ट सममिति उपयोग करने योग्य होती है। यह एक निर्धारित प्रणाली है जो एक सिक्के के उछाल के अव्यवस्थित व्यवहार के समान व्यवहार करती है। इसे साबित करने के लिए, आपको यह दिखाना होगा कि कोई भी संख्या कभी भी एक अलग लूप में प्रवेश नहीं कर सकती है, और कोई भी संख्या कभी भी अपस्थिति की ओर निरंतर बढ़े बिना नहीं रह सकती है।

उपकरणों की कमी

विख्यात Paul Erdős ने कभी टिप्पणी की थी कि गणित अभी ऐसी समस्याओं के लिए तैयार नहीं है। उन्होंने एक समाधान के लिए एक नकद पुरस्कार दिया—पांच सौ डॉलर—लेकिन उन्होंने उम्मीद नहीं की कि वे इसे भुगतान करेंगे। समस्या इतनी प्रतिरोधी है कि कुछ लोगों का मानना है कि यह संभवतः undecidability का एक उदाहरण हो सकता है, एक अवधारणा जिसे Kurt Gödel के कार्य द्वारा उभारा गया है। यह संभव है कि अनुमान सच हो, लेकिन इसे सामान्य अंकगणित के मानक अक्षरों का उपयोग करके साबित करना असंभव हो।

2019 में, गणितज्ञ Terence Tao ने चालीस साल में सबसे महत्वपूर्ण अपडेट प्रदान किया। उन्होंने अनुमान को हल नहीं किया, लेकिन उन्होंने साबित किया कि 'लगभग सभी' प्रारंभिक मूल्य अंततः अपने प्रारंभिक बिंदु से काफी कम मूल्य तक पहुंचते हैं। यह संभावना के विजय का एक उदाहरण था। टॉओ ने दिखाया कि अगर आप यादृच्छिक रूप से एक संख्या चुनते हैं, तो इसके कोलाज़ नियम का पालन नहीं करने की संभावना लगभग शून्य होती है। लेकिन अपने प्रमाण में 'लगभग' एक अंतराल है। यह अपवाहों के अस्तित्व के लिए जगह छोड़ देता है—अकेले, अनंत संख्याएं जो कभी घर नहीं आती हैं।

जो हम अभी भी नहीं जानते

हम नहीं जानते कि क्या दूसरा लूप मौजूद है। जबकि 4-2-1 चक्र सकारात्मक पूर्णांकों के लिए एकमात्र है जो हमने खोजा है, तो अरबों आइटमों वाला एक बहुत बड़ा लूप हो सकता है, जो संख्या रेखा के तहखाने में छिपा हुआ हो सकता है जहां हमारे कंप्यूटर अभी तक देख नहीं सके हैं।

हम नहीं जानते कि क्या कोई संख्या अनंत तक अलग हो जाती है। यह संभव है कि कुछ प्रारंभिक मूल्य एक अनुक्रम ट्रिगर कर दे जो हमेशा बढ़ता रहे, कभी भी लूप में प्रवेश न करे और कभी भी 1 तक न उतरे। अगर ऐसी संख्या मौजूद है, तो हमें खोजने के लिए कहां से शुरू करना है यह नहीं पता है।

और हम नहीं जानते कि क्या समस्या हल करने योग्य है। कोलाज़ अनुमान हमारे वर्तमान तर्क की एक मूल सीमा हो सकता है—एक सरल दरवाजा जिसके लिए हमने अभी तक चाबी नहीं बनाई है। Jeffrey Lagarias के अनुसार, इस समस्या के प्रमुख इतिहासकार के अनुसार, यह आधुनिक गणित के लिए एक चुनौती है जो 'पूरी तरह से पहुंच से बाहर' है।

यह अभी भी अव्यवस्थित के लिए एक फंदा है। कोलाज़ अनुमान पर काम करना किसी विशिष्ट प्रकार की अतिरिक्त लगन के जोखिम में है, जिसके लिए साबित करने का अस्तित्व नहीं हो सकता। यह याद दिलाता है कि अंकगणित के सबसे अच्छी तरह से मानचित्रित क्षेत्रों में भी, अभी भी ऐसे स्थान हैं जहां कंपास विलकुल अस्थिर हो जाता है।

The Collatz Conjecture