Klaus Roth

matemático británico
(Redirigido desde «Klaus Friedrich Roth»)

Klaus Friedrich Roth (29 de octubre de 1925 - 10 de noviembre de 2015) fue un matemático británico nacido en Alemania, que ganó la Medalla Fields por demostrar el teorema que lleva su nombre sobre la aproximación diofántica de números algebraicos. También recibió la Medalla De Morgan y la Medalla Sylvester, y fue miembro del Royal Society.

Klaus Roth
Información personal
Nombre en alemán Klaus Friedrich Roth Ver y modificar los datos en Wikidata
Nacimiento 29 de octubre de 1925 Ver y modificar los datos en Wikidata
Breslavia (Alemania) Ver y modificar los datos en Wikidata
Fallecimiento 10 de noviembre de 2015 Ver y modificar los datos en Wikidata (90 años)
Inverness (Reino Unido) Ver y modificar los datos en Wikidata
Nacionalidad Británica
Educación
Educado en
Supervisor doctoral Theodor Estermann Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático y profesor universitario Ver y modificar los datos en Wikidata
Área Teoría de números Ver y modificar los datos en Wikidata
Empleador
Obras notables teorema de Thue-Siegel-Roth Ver y modificar los datos en Wikidata
Miembro de
Distinciones

Roth se mudó a Inglaterra cuando era niño en 1933 para escapar de los nazis y se educó en la Universidad de Cambridge y en el University College de Londres, terminando su doctorado en 1950. En este último centro fue docente hasta 1966, cuando ocupó una cátedra en el Imperial College. Se jubiló en 1988.

Más allá de su trabajo sobre la aproximación diofántica, Roth hizo importantes contribuciones a la teoría de conjuntos sin progresión en combinatoria aritmética y a la teoría de irregularidades de una distribución. Conocido además por sus investigaciones sobre las sumas de potencias, el cribado grande, el problema del triángulo de Heilbronn y el empaquetado de cuadrados en un cuadrado, fue coautor del libro Sequences sobre sucesiones enteras.

Semblanza

editar

Primeros años

editar

Roth nació en una familia judía en Breslavia, Prusia, el 29 de octubre de 1925. Sus padres se establecieron con él en Londres para escapar de la persecución nazi en 1933, y se crio y educó en el Reino Unido.[1][2]​ Su padre, un abogado, había estado expuesto a gas venenoso durante la Primera Guerra Mundial y murió cuando Roth aún era joven. Se convirtió en alumno de la St Paul's School de 1939 a 1943, y con el resto de la escuela fue evacuado de Londres a Easthampstead Park durante el blitz. En la escuela, era conocido por su habilidad tanto en ajedrez como en matemáticas. Intentó unirse al Cuerpo de Entrenamiento Aéreo, pero fue rechazado durante algunos años por su origen alemán, y posteriormente por carecer de la coordinación necesaria para ser piloto.[2]

Educación matemática

editar

Roth fue lector de matemáticas en Peterhouse y participó como primer jugador en el equipo de ajedrez de Cambridge,[2]​ terminando sus estudios en 1945.[3]​ A pesar de su habilidad en matemáticas, solo obtuvo honores de tercera clase en las pruebas de acceso, debido a su modesta capacidad para enfrentarse a los exámenes. Su tutor en Cambridge, John Charles Burkill, no apoyó que continuara en matemáticas y le recomendó que aceptara "algún trabajo comercial con un sesgo estadístico".[2]​ En cambio, se convirtió brevemente en maestro de escuela en Gordonstoun, después terminar sus estudios en Cambridge y antes de comenzar sus estudios de posgrado.[1][2]

Por recomendación de Harold Davenport, fue aceptado en 1946 en un programa de maestría en matemáticas en el University College de Londres, donde trabajó bajo la supervisión de Theodor Estermann.[2]​ Completó allí una maestría en 1948 y un doctorado en 1950.[3]​ Su tesis se tituló "Demostración de que casi todos los números enteros positivos son sumas de un cuadrado, un cubo positivo y una cuarta potencia".[4]

Carrera

editar

Al recibir su maestría en 1948, Roth se convirtió en profesor asistente en el University College de Londres, accediendo al puesto de profesor en 1950.[5]​ Sus contribuciones más significativas, sobre la aproximación diofántica, las sucesiones libres de progresión y la discrepancia, se publicaron a mediados de la década de 1950. En 1958 recibió la Medalla Fields, el más alto honor para un matemático.[2][6]​ Sin embargo, no obtuvo una plaza de profesor titular hasta 1961.[1]​ Durante este período, continuó trabajando en estrecha colaboración con Harold Davenport.[2]

Se tomó unos años sabáticos en el Instituto de Tecnología de Massachusetts a mediados de los años 1950 y mediados de los 1960, y consideró seriamente emigrar a los Estados Unidos. Walter Hayman y Patrick Linstead contrarrestaron esta posibilidad, que vieron como una amenaza para las matemáticas británicas, con la oferta de una cátedra de matemáticas puras en el Imperial College London, que Roth aceptó en 1966.[2]​ Conservó este puesto hasta su jubilación oficial en 1988,[1]​ y permaneció en el Imperial College como profesor visitante hasta 1996.[3]

Las conferencias de Roth solían ser muy claras, pero en ocasiones podían resultar erráticas.[2]​ El Mathematics Genealogy Project lo enumera como si tuviera solo dos estudiantes de doctorado,[4]​ pero uno de ellos, William Chen, que continuó el trabajo de Roth en la teoría de la discrepancia, se convirtió en miembro de la Sociedad Matemática Australiana y en jefe del departamento de matemáticas de l Universidad de Macquarie.[7]

Vida personal

editar

En 1955 se casó con Mélèk Khaïry, que había llamado su atención cuando ella era estudiante en su primera conferencia. Khaïry era hija del senador egipcio Khaïry Pacha,[1][2]​ y llegó a trabajar en el departamento de psicología del University College de Londres, donde publicó una investigación sobre los efectos de las toxinas en las ratas.[8]​ Tras la jubilación de Roth, se trasladaron a Inverness, donde disponían de una sala de su casa dedicada al baile latino, un interés compartido por ambos.[2][9]​ Khaïry murió en 2002, mientras que Roth falleció en Inverness el 10 de noviembre de 2015, a la edad de 90 años.[1][2][3]​ No tuvieron hijos y Roth legó la mayor parte de su patrimonio, más de un millón de libras, a dos organizaciones benéficas de salud "para ayudar a las personas mayores y enfermas que viven en la ciudad de Inverness". Envió la Medalla Fields con un legado más pequeño a Peterhouse.[10]

Contribuciones

editar

Roth era conocido como un solucionador de problemas matemáticos, más que como un constructor de teorías. Harold Davenport escribe que la "moraleja del trabajo del Dr. Roth" es que "los grandes problemas no resueltos de las matemáticas aún pueden ceder ante un ataque directo, por difíciles e inaccesibles que parezcan y por mucho esfuerzo que ya se haya invertido en ellos".[6]​ Sus intereses de investigación abarcaron varios temas en teoría de números, teoría de la discrepancia y la teoría de sucesiones enteras.

Aproximación diofántica

editar

El tema de la aproximación diofántica busca aproximaciones precisas a un número irracional mediante números racionales. La cuestión de con qué precisión se podrían aproximar los números algebraicos se conoció como el problema de Thue-Siegel, después de los avances previos en esta cuestión por parte de Axel Thue y Carl Ludwig Siegel. La precisión de la aproximación se puede medir mediante el número de Liouville de un número  , definido como el número más grande   tal que   tiene infinitas aproximaciones racionales   con  . Si el exponente de aproximación es grande, entonces   tiene aproximaciones más precisas que un número cuyo exponente es menor. El exponente de aproximación más pequeño posible es dos: incluso los números más difíciles de aproximar se pueden aproximar con el exponente dos usando fracciones continuas.[3][6]​ Antes del trabajo de Roth, se creía que los números algebraicos podían tener un exponente de aproximación mayor, relacionado con el grado del polinomio que definía el número.[2]

En 1955, Roth publicó lo que ahora se conoce como teorema de Roth, zanjando por completo esta cuestión. Su teorema demostró la falsedad de la supuesta conexión entre el exponente de aproximación y el grado, y permitió comprobar que, en términos del exponente de aproximación, los números algebraicos son los números irracionales que se aproximan con menor precisión. Más precisamente, demostró que para los números algebraicos irracionales, el exponente de aproximación es siempre exactamente dos.[3]​ En un estudio del trabajo de Roth presentado por Harold Davenport al Congreso Internacional de Matemáticos en 1958, cuando Roth recibió la Medalla Fields, Davenport llamó a este resultado el "mayor logro" de Roth.[6]

Combinatoria aritmética

editar
 
El conjunto {1,2,4,5,10,11,13,14} (azul) no tiene 3 términos en progresión aritmética, ya que el promedio de cada dos miembros del conjunto (amarillo) queda fuera del conjunto. Roth demostró que todo conjunto libre de progresiones aritméticas debe ser escaso

Otro resultado de 1953, también conocido como "teorema de Roth", se desarrolla en el campo de la combinatoria aritmética y concierne a sucesiones de enteros sin tres números en progresión aritmética. Estas secuencias habían sido estudiadas en 1936 por Paul Erdős y Pál Turán, quienes conjeturaron que debían ser escasas.[11][12]​ Sin embargo, en 1942, Raphaël Salem y Donald C. Spencer construyeron subconjuntos libres de progresión de números de   a   de tamaño proporcional a  , para cada  .[13]

Roth reivindicó el trabajo de Erdos y Turán, demostrando que no es posible que el tamaño de tal conjunto sea proporcional a  : cada conjunto de números enteros denso contiene una progresión aritmética de tres términos. Su prueba utiliza técnicas de la teoría analítica de números, incluido el método del círculo de Hardy-Littlewood, para estimar el número de progresiones en una secuencia determinada y mostrar que, cuando la secuencia es lo suficientemente densa, este número es distinto de cero.[2][14]

Posteriormente, otros autores reforzaron la limitación de Roth sobre el tamaño de los conjuntos libres de progresión.[15]​ Un fortalecimiento en una dirección diferente, el teorema de Szemerédi, muestra que los conjuntos densos de números enteros contienen progresiones aritméticas arbitrariamente largas.[16]

Discrepancia

editar
 
La sucesión de baja discrepancia, un conjunto de puntos de baja discrepancia obtenidos de la sucesión de van der Corput

Aunque el trabajo de Roth sobre la aproximación diofántica le valió el mayor reconocimiento, es su investigación sobre las irregularidades de la distribución de lo que (según un obituario de William Chen y Bob Vaughan) estaba más orgulloso.[2]​ Su artículo de 1954 sobre este tema sentó las bases de la teoría de la discrepancia moderna. Se trata de la ubicación de   puntos en un cuadrado unitario de modo que, para cada rectángulo delimitado entre el origen y un punto del cuadrado, el área del rectángulo esté bien aproximada por el número de puntos que contiene.[2]

Roth midió esta aproximación mediante la diferencia al cuadrado entre el número de puntos y   multiplicado por el área, y demostró que para un rectángulo elegido al azar la esperanza de la diferencia al cuadrado es logarítmica respecto a  . Este resultado es el mejor posible y mejoró significativamente un límite anterior sobre el mismo problema hallado por Tatyana Pavlovna Ehrenfest.[17]​ A pesar del trabajo previo de Ehrenfest y de Johannes van der Corput sobre el mismo problema, Roth era conocido por alardear de que este resultado "inició un tema".[2]

Otros temas

editar

Algunos de los primeros trabajos de Roth incluyeron un artículo de 1949 sobre las sumas de potencias, que mostraba que casi todos los enteros positivos podían representarse como una suma de un cuadrado, un cubo y una cuarta potencia, y un artículo de 1951 sobre los espacios entre enteros libres de cuadrados, que se describe como "bastante sensacional" y "de considerable importancia" por Chen y Vaughan respectivamente.[2]​ Su conferencia inaugural en el Imperial College se refirió al cribado grande: delimitar el tamaño de conjuntos de números enteros de los cuales muchas clases de congruencia de números módulo un número primo han sido prohibidas.[18]​ Roth había publicado previamente un artículo sobre este problema en 1965.

 
El empaquetado de cuadrados en un cuadrado óptimo a veces puede implicar cuadrados inclinados. Roth y Bob Vaughan demostraron que el área no constante debe dejarse descubierta

Otro de los intereses de Roth era el problema del triángulo de Heilbronn, consistente en colocar puntos en un cuadrado para evitar triángulos de pequeña área. Su artículo de 1951 sobre el problema fue el primero en demostrar un límite superior no trivial del área que se puede alcanzar. Finalmente publicó cuatro artículos sobre este problema, el último en 1976.[19]

Roth también logró avances significativos en el empaquetado cuadrado en un cuadrado. Si los cuadrados unitarios se empaquetan en un cuadrado   de la manera obvia, paralela al eje, entonces para valores de   que están justo debajo de un número entero, casi el área   se puede dejar descubierta. Después de que Paul Erdős y Ronald Graham demostraron que un empaquetamiento inclinado más inteligente podría dejar un área significativamente más pequeña, solo  , [20]​ Roth y Bob Vaughan respondieron con un artículo de 1978 que demostraba el primer límite inferior no trivial del problema. Como mostraron, para algunos valores de  , el área descubierta debe ser al menos proporcional a to  .[2][21]


En 1966, Heini Halberstam y Roth publicaron su libro Sequences, sobre sucesiones enteras. Inicialmente planteado para ser el primero de un conjunto de dos volúmenes, sus temas incluían las densidades de sumas de sucesiones, las cotas en el número de representaciones de números enteros como sumas de miembros de sucesiones, densidad de sucesiones cuyas sumas representan todos los números enteros, teoría de cribas y el método probabilístico, y las secuencias en las que ningún elemento es múltiplo de otro.[22]​ Se publicó una segunda edición en 1983.[23]

Reconocimientos

editar
 
Medalla Fields
  • Roth ganó la Medalla Fields en 1958 por su trabajo sobre la aproximación diofántica, convirtiéndose en el primer ganador británico del galardón.[1]​ Fue elegido miembro de la Royal Society en 1960 y más tarde se convirtió en miembro honorario del Royal Society of Edinburgh, miembro del University College de Londres, miembro del Imperial College de Londres y miembro honorario de Peterhouse.[1]​ Le divertía que su Medalla Fields, su elección a la Royal Society y su cátedra le llegaran en orden inverso al de su prestigio.[2]

En 1991, la Royal Society le entregó la Medalla Sylvester "por sus numerosas contribuciones a la teoría de números y, en particular, su solución del famoso problema relativo a la aproximación de números algebraicos mediante racionales".[24]

  • En 2009 se publicó un festschrift de 32 ensayos sobre temas relacionados con la investigación de Roth, en honor a su 80 cumpleaños,[25]​ y en 2017 los editores de la revista Mathematika le dedicaron un número especial.[26]
  • Después de su muerte, el Departamento de Matemáticas del Imperial College instituyó la Beca Roth en su honor.[27]

Publicaciones seleccionadas

editar

Artículos en revistas

editar

Libros

editar

Referencias

editar
  1. a b c d e f g h «Klaus Roth, mathematician». Obituaries. The Daily Telegraph. 24 de febrero de 2016. 
  2. a b c d e f g h i j k l m n ñ o p q r s t Chen, William; Vaughan, Robert (14 de junio de 2017). «Klaus Friedrich Roth. 29 October 1925 – 10 November 2015». Biographical Memoirs of Fellows of the Royal Society 63: 487-525. ISSN 0080-4606. doi:10.1098/rsbm.2017.0014.  See also Chen, William; Larman, David; Stuart, Trevor; Vaughan, Robert (January 2016). «Klaus Friedrich Roth, 29 October 1925 – 10 November 2015». Newsletter of the London Mathematical Society – via Royal Society of Edinburgh. 
  3. a b c d e f g Jing, Jessie; Servini, Pietro (24 de marzo de 2015). «A Fields Medal at UCL: Klaus Roth». Chalkdust. 
  4. a b Klaus Roth en el Mathematics Genealogy Project.
  5. O'Connor, John J.; Robertson, Edmund F., «Klaus Roth» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Roth_Klaus/ .
  6. a b c d Davenport, H. (1960). «The work of K. F. Roth». Proc. Internat. Congress Math. 1958. Cambridge University Press. pp. lvii-lx. MR 1622896. Zbl 0119.24901.  Reprinted in Fields Medallists' Lectures (1997), World Scientific, pp. 53–56.
  7. Chen, William Wai Lim. «Curriculum vitae». Consultado el 25 de abril de 2019. 
  8. Khairy, Melek (May 1959). «Changes in behaviour associated with a nervous system poison (DDT)». Quarterly Journal of Experimental Psychology 11 (2): 84-91. doi:10.1080/17470215908416295.  Khairy, M. (April 1960). «Effects of chronic dieldrin ingestion on the muscular efficiency of rats». Occupational and Environmental Medicine 17 (2): 146-148. PMC 1038040. PMID 14408763. doi:10.1136/oem.17.2.146. 
  9. Szemerédi, Anna Kepes (2015). «Conversation with Klaus Roth». Art in the Life of Mathematicians. Providence, Rhode Island: American Mathematical Society. pp. 248–253. ISBN 978-1-4704-1956-1. MR 3362651. doi:10.1090/mbk/091. 
  10. MacDonald, Stuart (26 de abril de 2016). «Mathematician leaves £1m to help sick patients in Inverness». The Scotsman. 
  11. Erdős, Paul; Turán, Paul (1936). «On some sequences of integers». London Mathematical Society 11 (4): 261-264. MR 1574918. doi:10.1112/jlms/s1-11.4.261. 
  12. Davenport (1960) da la fecha de la conjetura de Erdős-Turán como 1935, pero afirma que "se cree que es más antigua". Enuncia la conjetura en la forma de que la densidad natural de una secuencia libre de progresión debería ser cero, lo que Roth demostró. Sin embargo, la forma de la conjetura realmente publicada por Erdős y Turán (1936) es mucho más fuerte, afirmando que el número de elementos de   a   en dicha secuencia debería ser   para algún exponente  . De esta forma, Salem y Spencer (1942) demostró que la conjetura era falsa
  13. Salem, R.; Spencer, D. C. (December 1942). «On sets of integers which contain no three terms in arithmetical progression». Proceedings of the National Academy of Sciences 28 (12): 561-563. Bibcode:1942PNAS...28..561S. PMC 1078539. PMID 16588588. doi:10.1073/pnas.28.12.561. 
  14. Heath-Brown, D. R. (1987). «Integer sets containing no arithmetic progressions». Journal of the London Mathematical Society. Second Series 35 (3): 385-394. MR 889362. doi:10.1112/jlms/s2-35.3.385. 
  15. Bloom, T. F. (2016). «A quantitative improvement for Roth's theorem on arithmetic progressions». London Mathematical Society. Second Series 93 (3): 643-663. MR 3509957. arXiv:1405.5800. doi:10.1112/jlms/jdw010. 
  16. Szemerédi, Endre (1975). «On sets of integers containing no k elements in arithmetic progression». Acta Arithmetica 27: 199-245. MR 0369312. Zbl 0303.10056. doi:10.4064/aa-27-1-199-245. 
  17. van Aardenne-Ehrenfest, T. (1949). «On the impossibility of a just distribution». Indagationes Math. 1: 264-269. MR 0032717. 
  18. Vaughan, Robert C. (December 2017). «Heini Halberstam: some personal remarks». En Diamond, Harold G., ed. Heini Halberstam, 1926–2014. Bulletin of the London Mathematical Society (Wiley) 49 (6): 1127-1131. doi:10.1112/blms.12115.  See page 1127: "I had attended Roth's inaugural lecture on the large sieve at Imperial College in January 1968, and as a result had started to take an interest in sieve theory."
  19. Barequet, Gill (2001). «A lower bound for Heilbronn's triangle problem in d dimensions». SIAM Journal on Discrete Mathematics 14 (2): 230-236. MR 1856009. doi:10.1137/S0895480100365859.  See the introduction, which cites the 1951 paper as "the first nontrivial upper bound" and refers to all four of Roth's papers on the Heilbronn triangle problem, calling the final one "a comprehensive survey of the history of this problem".
  20. Erdős, P.; Graham, R. L. (1975). «On packing squares with equal squares». Journal of Combinatorial Theory. Series A 19: 119-123. MR 0370368. doi:10.1016/0097-3165(75)90099-0. 
  21. Brass, Peter; Moser, William; Pach, János (2005). Research Problems in Discrete Geometry. New York: Springer. p. 45. ISBN 978-0387-23815-9. MR 2163782. 
  22. a b Reviews of Sequences:
  23. a b MR 0687978
  24. «Winners of the Sylvester Medal of the Royal Society of London». MacTutor History of Mathematics Archive. Consultado el 25 de abril de 2019. 
  25. Chen, W. W. L.; Gowers, W. T.; Halberstam, H.; Schmidt, W. M.; Vaughan, R. C., eds. (2009). «Klaus Roth at 80». Analytic number theory. Essays in honour of Klaus Roth on the occasion of his 80th birthday. Cambridge: Cambridge University Press. ISBN 978-0-521-51538-2. Zbl 1155.11004. 
  26. Chen, William W. L.; Vaughan, Robert C. (2017). «In memoriam Klaus Friedrich Roth 1925–2015». Mathematika 63 (3): 711-712. MR 3731299. doi:10.1112/S002557931700033X. 
  27. «PhD Funding opportunities». Imperial College London Department of Mathematics. Consultado el 26 de abril de 2019.