Problema de Collatz
El problema de Collatz , también conocido como la conjetura (3n + 1) , es un problema matemático sin resolver que planteó Lothar Collatz en 1937 . Tiene conexiones con la teoría de números , con la teoría de sistemas dinámicos y la teoría ergódica y con la teoría de la computabilidad en la informática .
El problema se considera notoriamente difícil, aunque fácil de formular. Jeffrey Lagarias , considerado un experto en el problema, citó una comunicación oral de Paul Erdős , quien la describió como "absolutamente desesperada".
Problema
Aclaración del problema
El problema tiene que ver con secuencias de números que se construyen de acuerdo con una simple ley de formación:
- Empiece con cualquier número natural .
- Es recto, así que toma el siguiente .
- Si es extraño, tome el siguiente .
- Repite el proceso con el número que recibiste.
Por ejemplo, obtienes la secuencia para el número inicial
- 19, 58, 29, 88, 44, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1, 4, 2, 1, 4, 2, 1, ...
Aparentemente, la secuencia termina con cada uno en el ciclo 4, 2, 1. La conjetura de Collatz dice:
- Cada secuencia de números construida de esta manera conduce al ciclo 4, 2, 1, independientemente del número natural con el que empiece.
Premio en metálico por la solución
A pesar de mucho esfuerzo, esta conjetura sigue siendo uno de los problemas no resueltos en matemáticas . Se otorgaron varios premios por una solución:
- En 1970, HSM Coxeter ofreció $ 50 por una prueba de la conjetura y $ 100 por un contraejemplo.
- En 1982, Bryan Thwaites prometió £ 1,000 por evidencia o refutación en el periódico The Times (oferta renovada en 1996/1998).
- Paul Erdős supuestamente ofreció $ 500 por una solución y dijo sobre el problema de Collatz:
- "Las matemáticas aún no están listas para tales problemas" ("Las matemáticas aún no están listas para tales problemas").
- "Sin esperanza. Absolutamente desesperado. "(" Sin esperanza. Absolutamente desesperado ").
En 1983, el matemático Richard Guy advirtió sobre este y otros tres problemas que aún hoy están sin resolver:
- "¡No intentes resolver estos problemas!"
Origen e historia
El origen de la conjetura de Collatz está algo en la niebla, ya que hasta ahora no hay documentos escritos que describan el problema a disposición del público desde el presunto momento de origen. Se informa que Collatz difundió oralmente el problema en el Congreso Internacional de Matemáticos de 1950 en Cambridge, Massachusetts . Stanisław Ulam y Shizuo Kakutani , que fueron invitados a dar conferencias en este congreso, presentaron repetidamente el problema en las discusiones y, por lo tanto, se mencionan con frecuencia en este contexto. Cuando Lothar Collatz asumió su cátedra en Hamburgo en 1952, le contó a su colega de Hamburgo Helmut Hasse sobre la suposición. Esto extendió el problema durante una estancia de investigación en la Universidad de Syracuse , razón por la cual el problema de Collatz también se denominó conjetura de Syracuse . Publicaciones sobre la creación y difusión:
- En 1971, el problema de Collatz probablemente se publicó por primera vez por escrito en la versión impresa de una conferencia impartida por HSM Coxeter en 1970.
- 1972 aprendió a Martin Gardner del empleo de hackers académicos en el MIT con el problema (3n + 1) y lo describió en su columna Mathematical Games en Scientific American . La suposición se hizo ampliamente conocida dentro y fuera de los círculos especializados a través de esta y otras publicaciones, entre otras de John Conway .
- En 1976 Riho Terras publicó los primeros resultados de una investigación científica directamente sobre el problema de Collatz.
- En 1985, apareció un artículo de revisión de Jeffrey Lagarias en American Mathematical Monthly . En él, Lagarias informa sobre el interés de Collatz en las funciones teóricas de números y la teoría de grafos, y cita una entrada del cuaderno del 1 de julio de 1932 en la que Collatz considera la siguiente permutación de enteros positivos:
- Esta permutación tiene el punto fijo 1 y también al menos los ciclos (2, 3), (4, 5, 7, 9, 6) y (44, 59, 79, 105, 70, 93, 62, 83, 111, 74, 99, 66). En la entrada del cuaderno citado Collatz, la pregunta sigue abierta si el principio 8 g - trayectoria es cíclica o diverge a infinito. La pregunta, que también sigue abierta, en cuanto a si existen más ciclos, es como la conjetura (3n + 1), uno de los problemas descritos por Guy que uno no debería intentar resolver.
- En 1985, Bryan Thwaites publicó un aviso de que había hecho la conjetura el 21 de julio de 1952 a las cuatro de la tarde como una tarea para el entretenimiento de sus estudiantes (reclamó el descubrimiento de 1952 ya en 1982).
- En 1986, Lothar Collatz obtuvo una descripción de su camino de descubrimiento sobre la conjetura (3n + 1) traducida al chino y publicada en una revista de la Universidad Pedagógica de Qufu , Shandong, China, donde había dado una conferencia al respecto. Ésta fue la única publicación de Collatz sobre este problema.
Después de la publicación de Terras en 1976, comenzó una viva preocupación científica por el problema de Collatz, que ahora incluye más de un centenar de publicaciones con nuevos resultados de investigación. En el área de divulgación científica se crearon nuevos términos:
- 1979 nombró a Douglas Hofstadter en su libro Gödel, Escher, Bach aquellos números iniciales cuya trayectoria de Collatz termina en el ciclo (1,4,2), números maravillosos , números milagrosos .
- 1984 Brian Hayes llamó a los números secuencias de Collatz en la columna recreaciones por computadora en Scientific American números de granizo , números de granizo .
- En 1994, Ivan Korec demostró que casi todos los valores iniciales del algoritmo de Collatz alcanzan un valor inferior .
- En 2019, Terence Tao demostró que la conjetura de Collatz es casi cierta para casi todos los números naturales .
Gráfico de Collatz de una función
La descripción de Collatz de su motivación para la conjetura (3n + 1) es muy plausible: inicialmente asocia un gráfico dirigido en general para cualquier función en los números naturales con valores en los números naturales , el de Lagarias en el resumen mencionado anteriormente. artículo se llama gráfico de Collatz . La gráfica de Collatz de una función teórica de números
es un gráfico dirigido , que consta del conjunto de números naturales como un conjunto de vértices y para cada número natural de una arista dirigida de a .
La función más simple de este tipo es el mapeo sucesor
cuyo gráfico de Collatz consiste en un camino infinitamente largo:
Para tener más ejemplos, primero buscó una función teórica de números "simple" cuyo gráfico de Collatz contiene un círculo . Tal función debe "subir" sobre ciertos números naturales , es decir, cumplir la relación , y "disminuir" sobre otros números naturales , es decir, cumplir la relación . Así que se encontró por primera vez con la función definida por
El gráfico de Collatz de esta función se puede describir de la siguiente manera: Los nodos son, por definición, los números enteros positivos. Si el nodo es recto, tiene los dos nodos anteriores y , en caso contrario, solo . También se aplica
Sigue
y eso tiene como consecuencia que la gráfica de Collatz de solo tiene el círculo y que la trayectoria termina en este círculo en cualquier número inicial.
Debido a que este razonamiento es bastante simple, Collatz miró más allá: La gráfica de Collatz de la función
no contiene un círculo, ya que cada número impar se asigna a un número impar mayor y, por lo tanto, todas las trayectorias divergen hacia el infinito.
El siguiente intento es la función Collatz
Collatz sólo encontró el "círculo trivial" para esta función ; escribió que no había publicado sus ideas porque no podía probar que el "círculo trivial" fuera el único. El supuesto de Collatz es el supuesto en la formulación teórica de grafos que el gráfico de Collatz de contiguo es.
Principios
Para una trayectoria como una secuencia de números, se pueden distinguir tres casos mutuamente excluyentes:
- la secuencia termina en el ciclo (1,4,2),
- la secuencia crece más allá de todos los límites,
- la secuencia entra en un ciclo diferente.
Se presume que solo ocurrirá el primer caso, pero hasta ahora no se ha descartado ni el segundo ni el tercero. Tampoco se sabe si solo puede haber un número finito de ciclos.
Dado que impar es siempre par y, por lo tanto, la siguiente iteración siempre es una división por 2, generalmente se usa la función algo más fácil de usar en lugar de la función Collatz
se utiliza, que por lo tanto hace dos iteraciones a la vez para un número impar y reduce el ciclo de (1,4,2) a (1,2) , que se supone que siempre se logra. Las figura de plegado formas en y sobre de, en particular, no son valores iniciales para cualquier factor de arbitrariamente grande que la proyección de imagen repetida con o aumentado al menos en este factor. La conjetura de Collatz es creer que es equivalente para todos los números enteros es un entero con allí. Terras demostró en 1976 que la densidad asintótica de los enteros para los que esto es cierto existe y es igual a 1.
Los cálculos con computadoras mostraron:
- Todos los enteros positivos hasta 2 68 (aproximadamente 2,95 × 10 20 ) como valores iniciales confirman la suposición (a partir de julio de 2020).
- Si la iteración tiene otro ciclo que (1,2), entonces debe constar de al menos 10,439,860,591 números, de los cuales al menos 6,586,818,670 son impares.
- Infinitamente muchos enteros positivos requieren al menos 6,143 log n iteraciones para llegar a 1. Los modelos estocásticos predicen que en promedio (2 / log (4/3)) log n ≈ 6,952 log n pasos se requieren y que se requieren al menos tantas iteraciones para al menos la mitad de todos los números .
- Para números suficientemente grandes , el número de enteros positivos que confirman la suposición como valor inicial es al menos igual o menor .
Terence Tao demostró en 2019 que la conjetura de Collatz "casi" se aplica a "casi todos" los números naturales (es decir, uno termina con la secuencia de Collatz "cerca" de 1, donde el límite de proximidad depende del valor inicial N). Por ejemplo, del teorema de Tao se deduce que al menos el 99 por ciento de los números naturales hasta , con los que se inicia la secuencia de Collatz, alcanzan un valor final que está por debajo de 200. Tao utilizó métodos que había aplicado previamente en la teoría de ecuaciones diferenciales parciales, en los que muestreó estadísticamente una selección de valores iniciales y luego examinó el "comportamiento a largo plazo" del conjunto bajo la transformación de Collatz.
Generalizaciones
Para el problema de Collatz, que se expande para incluir todos los enteros como valores iniciales, hay al menos otros cuatro ciclos además del ciclo (1,4,2):
- (0),
- (−1, −2),
- (−5, −14, −7, −20, −10) y
- (−17, −50, −25, −74, −37, −110, −55, −164, −82, −41, −122, −61, −182, −91, −272, −136, - 68, -34).
Los últimos tres ciclos con signos positivos en lugar de negativos también surgen con la definición en lugar de impar . Todos los valores con extremo en uno de los ciclos conocidos.
Marc Chamberland definió una función continua que extiende la secuencia discreta de Collatz al rango de números reales. Simon Letherman, Dierk Schleicher y Reg Wood vieron funciones en el área de números complejos como una extensión. Supuesto general: porque impar siempre termina en y solo tiene este ciclo.
Si se considera el problema analógico (5n + 1), los modelos estocásticos ofrecen un comportamiento completamente diferente: casi todos los iterados divergen, lo que se confirma mediante simulación por computadora. Pero es un problema abierto demostrar que solo una órbita del problema (5n + 1) realmente diverge.
John Conway observó secuencias generalizadas (3n + 1) en 1972 y demostró que pueden simular máquinas de Turing universales ( generalizadas por él en el lenguaje de programación FRACTRAN ). También mostró que un problema de decisión particular que pregunta si un valor de entrada para la iteración que es una potencia de 2 conduce a un valor iterado que también es una potencia de 2 es irresoluble (el problema de Collatz también se puede formular de tal manera que para cualquier número natural como entrada, la iteración finalmente conduce a una potencia de 2).
En su trabajo publicado en 2020, Sultanow, Koch y Cox analizan el problema de Collatz desde un punto de vista teórico-gráfico. Está buscando ciclos para y la forma generalizada dónde . El documento contiene una lista de ciclos conocidos y de esto se derivan las condiciones para su ocurrencia en las secuencias de Collatz.
literatura
- Jeffrey C. Lagarias : The 3x + 1 problem and its generalizations , The American Mathematical Monthly 92, enero de 1985, págs. 3-23 (inglés; galardonado con el premio Lester R. Ford en 1986 ; en MathDL ; en el CECM ; Zentralblatt review )
- Günther J. Wirsching: El sistema dinámico generado por la función 3n + 1 , Springer-Verlag, Berlín 1998, ISBN 3-540-63970-5 (inglés; versión revisada de la tesis de habilitación de 1996; revisión de Zentralblatt )
- Richard K. Guy : E16. El problema 3x + 1 y E17. Secuencias de permutación en Problemas no resueltos en teoría de números (tercera edición), Springer-Verlag, Nueva York 2004, ISBN 0-387-20860-7 , págs. 330–336 y págs. 336–337 (inglés; revisión de Zentralblatt )
- Jeffrey C. Lagarias: El problema 3x + 1: una bibliografía anotada (1963–1999) (ordenada por autor) , arxiv : math / 0309224 [math.NT], 2003–2011 (inglés)
- Jeffrey C. Lagarias: El problema 3x + 1: una bibliografía anotada, II (2000–2009) , arxiv : math / 0608208 [math.NT], 2006–2012 (inglés)
- Jeffrey C. Lagarias (Ed.): The ultimate challenge: The 3x + 1 problem , American Mathematical Society, Providence RI 2010, ISBN 978-0-8218-4940-8 (inglés; revisión de Zentralblatt )
- allí Jeffrey C. Lagarias: The 3x + 1 problem: An overview (PDF, 518 kB, vista previa del libro), págs. 3–29 (inglés)
enlaces web
- Eric W. Weisstein : Problema de Collatz . En: MathWorld (inglés).
- Sobre el problema 3x + 1 de Eric Roosendaal, unproyecto de computación distribuida que se ocupa del problema de Collatz
- Conjetura de Collatz de Jon Sonntag, unproyecto basado en BOINC que se ocupa de la búsqueda de contraejemplos (inglés; ver Conjetura de Collatz )
- El problema de Collatz de Jürgen Dankert - Script interactivo para el problema (3n + 1) - y (3n - 1) para generar secuencias con números iniciales arbitrariamente grandes
- Terence Tao : La conjetura de Collatz, teoría de Littlewood-Offord y potencias de 2 y 3 , 25 de agosto de 2011
- Paul J. Andaloro: El problema 3x + 1 y gráficos dirigidos (PDF; 3.8 MB), Fibonacci Quarterly 40, 2002 (Inglés)
- El problema matemático más simple que nadie puede resolver: Veritasium en YouTube
Evidencia individual
- ↑ a b Lagarias : The 3x + 1 problem: An overview , 2010, p. 16 “Las matemáticas aún no están preparadas para tales problemas”. Y p. 24 “Hopeless. Absolutamente desesperado. " (Inglés)
- ↑ a b H. SM Coxeter : Secuencias cíclicas y patrones de friso: La cuarta conferencia conmemorativa de Felix Behrend , Vinculum 8, 1971, págs. 4-7 (inglés); Reimpreso con comentario en Lagarias (Ed.): The ultimate challenge: The 3x + 1 problem , 2010, págs. 211-218 (suposición en la pág. 214 ; revisión de Zentralblatt )
- ^ PHS: Diario de tiempos. Sums of money , The Times 61228, 17 de julio de 1982, p. 8 y The Times Diary. Aftermath , The Times 61320, 25 de agosto de 1982, pág.8
- ↑ a b C. Williams, B. Thwaites, A. van der Poorten , W. Edwards, L. Williams: la conjetura de Ulam continuó nuevamente , PPC Calculator Journal 9, septiembre de 1982, págs. 23-24 (inglés)
- ↑ Bryan Thwaites: Dos conjeturas, o cómo ganar £ 1100 , The Mathematical Gazette 80, marzo de 1996, págs. 35–36 (inglés)
- ↑ a b Bryan Thwaites: Try to Win en nrich, 10 de marzo de 1998 (inglés)
- ↑ Lagarias : El problema 3x + 1 y sus generalizaciones , 1985, p. 4 (inglés)
- ↑ a b Richard K. Guy : ¡No intentes resolver estos problemas! American Mathematical Monthly 90, 1983, págs. 35-41 (inglés; revisión de Zentralblatt ); Reimpreso en Lagarias (ed.): The ultimate challenge: The 3x + 1 problem , 2010, págs. 231-239
- ↑ Darren Glass: MAA Review zu Lagarias (ed.): The ultimate challenge: The 3x + 1 problem , 2010, MathDL, 31 de marzo de 2011 (inglés)
- ↑ a b Lagarias : The 3x + 1 problem: An overview , 2010, p. 5 (inglés).
- ↑ ARTÍCULO 133 (Schroeppel, Gosper, Henneman & Banks) de M. Beeler, RW Gosper , R. Schroeppel : HAKMEM , MIT AI Memo 239, 29 de febrero de 1972 (inglés).
- ^ Martin Gardner : Juegos matemáticos , Scientific American 226, junio de 1972, págs. 114-118 (inglés); Reimpreso con comentarios en Wheels, life, and other matemáticas entretenimientos , WH Freeman and Company, Nueva York 1983, ISBN 0-7167-1588-0 , págs. 196-197 y 203-204.
- ↑ a b J. H. Conway : Iteraciones impredecibles en: Actas de la Conferencia de teoría de números de 1972. Universidad de Colorado, Boulder, Colorado , 1972, págs. 49-52 (inglés; revisión de Zentralblatt ); Reimpreso en Lagarias (ed.): The ultimate challenge: The 3x + 1 problem , 2010, págs. 219-223.
-
↑ a b Riho Terras: A stop time problem on the positive integers (PDF, 632 kB; 24 de octubre de 1974), Acta Arithmetica 30, 1976, pp.241-252 (inglés; revisión de Zentralblatt ) en
este Riho Terras: On the existencia de una densidad (PDF, 132 kB; 27 de julio de 1978), Acta Arithmetica 35, 1979, págs. 101-102 (inglés; revisión de Zentralblatt ). - ↑ Lagarias : El problema 3x + 1 y sus generalizaciones , 1985 (inglés).
- ↑ Lagarias : El problema 3x + 1 y sus generalizaciones , 1985, p. 3 .
- ↑ Chico : E17. Secuencias de permutación , 2004.
- ^ Bryan Thwaites: Mi conjetura , Boletín del Instituto de Matemáticas y sus Aplicaciones 21, marzo / abril de 1985, págs. 35-41 (inglés; revisión de Zentralblatt ).
- ↑ Lothar Collatz : Sobre el origen del problema (3n + 1) , Revista de Ciencias Naturales de la Universidad Normal de Qufu Edición 12 No. 3, 1986, págs. 9-11 (traducción al chino del alemán por Zhi-Ping Ren); Sobre la motivación y el origen del problema (3n + 1) en Lagarias (ed.): El desafío final: El problema 3x + 1 , 2010, págs. 241–247 (traducción al inglés del chino).
- ^ Douglas R. Hofstadter : Gödel, Escher, Bach: an Eternal Golden Braid , Basic Books, Nueva York 1979, ISBN 0-465-02685-0 , págs. 400-402 (inglés).
- ^ Brian Hayes: recreaciones informáticas: sobre los altibajos de los números de granizo (PDF; 1,1 MB), Scientific American 250, enero de 1984, págs. 10-16 (inglés).
- ↑ Una estimación de densidad para el problema 3x + 1. Consultado el 23 de diciembre de 2020 .
- ↑ a b Kevin Hartnett: Matemático demuestra un gran resultado sobre un problema 'peligroso' , Quanta Magazine, 11 de diciembre de 2019 (inglés).
- ↑ Günther J. Wirsching: Acerca del problema 3n + 1 , Elements of Mathematics 55, noviembre de 2000, págs. 142-155 ( revisión de Zentralblatt )
- ↑ Lagarias : The 3x + 1 problem: An overview , 2010, p. 22 (inglés).
- ↑ Lagarias : The 3x + 1 problem: An overview , 2010, págs. 16-17 (inglés).
- ↑ Eric Roosendaal: Sobre el problema 3x + 1. En: EricR.nl. 20 de julio de 2020, consultado el 27 de julio de 2020 .
- ↑ Shalom Eliahou: El problema 3x + 1: nuevos límites inferiores en duraciones de ciclos no triviales , Discrete Mathematics 118, agosto de 1993, págs. 45–56 (inglés; resultado usando la validez de la conjetura hasta 20 × 2 58 ; revisión de Zentralblatt ) .
- ↑ David Applegate , Jeffrey C. Lagarias : Límites inferiores para el tiempo de parada total de 3x + 1 iteraciones , Mathematics of Computation 72, abril de 2003, págs. 1035-1049 (inglés; revisión de Zentralblatt ).
- ^ Ilia Krasikov, Jeffrey C. Lagarias : Límites para el problema 3x + 1 usando desigualdades en diferencias , Acta Arithmetica 109, 2003, págs. 237-258 (inglés; revisión de Zentralblatt ).
- ↑ Terence Tao : Casi todas las órbitas del mapa de Collatz alcanzan valores casi acotados , arxiv : 1909.03562 , septiembre de 2019 (inglés).
- ↑ Chico : E16. El problema 3x + 1 , 2004, p. 332 (inglés)
- ↑ Marc Chamberland: Una extensión continua del problema 3x + 1 a la línea real (PDF; 159 kB), Dinámica de sistemas dinámicos continuos, discretos e impulsivos 2, 1996, págs. 495-509 (inglés; revisión de Zentralblatt )
- ↑ Simon Letherman, Dierk Schleicher , Reg Wood: El problema 3n + 1 y la dinámica holomórfica , Experimental Mathematics 8, 1999, pp. 241-251 (inglés)
- ↑ Lagarias : The 3x + 1 problem: An overview , 2010, p. 11 y p. 22
- ^ Eldar Sultanow, Christian Koch, Sean Cox: Secuencias de Collatz a la luz de la teoría de gráficos. (PDF, 1354 kB) Universidad de Potsdam 2020.