stringtranslate.com

Problemas del Premio del Milenio

Los Problemas del Premio del Milenio son siete conocidos problemas matemáticos complejos seleccionados por el Instituto de Matemáticas Clay en 2000. El Instituto Clay ha prometido un premio de un millón de dólares estadounidenses para la primera solución correcta a cada problema.

El Instituto de Matemáticas Clay designó oficialmente el título de Problema del Milenio para los siete problemas matemáticos sin resolver, la conjetura de Birch y Swinnerton-Dyer , la conjetura de Hodge , la existencia y suavidad de Navier-Stokes , el problema de P versus NP , la hipótesis de Riemann , la existencia y brecha de masa de Yang-Mills y la conjetura de Poincaré en la Reunión del Milenio celebrada el 24 de mayo de 2000. Por lo tanto, en el sitio web oficial del Instituto de Matemáticas Clay, estos siete problemas se denominan oficialmente Problemas del Milenio .

Hasta la fecha, el único problema del Premio del Milenio que se ha resuelto es la conjetura de Poincaré. El Instituto Clay otorgó el premio monetario al matemático ruso Grigori Perelman en 2010. Sin embargo, este rechazó el premio porque no se le ofreció también a Richard S. Hamilton , en cuyo trabajo se basó Perelman.

Descripción general

El Instituto Clay se inspiró en un conjunto de veintitrés problemas organizados por el matemático David Hilbert en 1900 que tuvieron una gran influencia en el impulso del progreso de las matemáticas en el siglo XX. [1] Los siete problemas seleccionados abarcan varios campos matemáticos, a saber, geometría algebraica , geometría aritmética , topología geométrica , física matemática , teoría de números , ecuaciones diferenciales parciales y ciencia informática teórica . A diferencia de los problemas de Hilbert, los problemas seleccionados por el Instituto Clay ya eran reconocidos entre los matemáticos profesionales, y muchos trabajaban activamente para resolverlos. [2]

Los siete problemas fueron anunciados oficialmente por John Tate y Michael Atiyah durante una ceremonia celebrada el 24 de mayo de 2000 (en el anfiteatro Marguerite de Navarre ) en el Collège de France en París . [3]

Grigori Perelman , que había comenzado a trabajar en la conjetura de Poincaré en los años 1990, publicó su demostración en 2002 y 2003. Su rechazo del premio monetario del Instituto Clay en 2010 tuvo una amplia cobertura en los medios. Los otros seis problemas del Premio del Milenio siguen sin resolverse, a pesar de un gran número de demostraciones insatisfactorias realizadas tanto por matemáticos aficionados como profesionales.

Andrew Wiles , miembro del consejo asesor científico del Instituto Clay, esperaba que la elección del premio de 1 millón de dólares popularizaría, entre el público en general, tanto los problemas seleccionados como el "entusiasmo del esfuerzo matemático". [4] Otro miembro del consejo, el medallista Fields Alain Connes , esperaba que la publicidad en torno a los problemas sin resolver ayudaría a combatir la "idea errónea" entre el público de que las matemáticas serían "superadas por las computadoras". [5]

Algunos matemáticos han sido más críticos. Anatoly Vershik calificó su premio monetario como "un espectáculo" que representa las "peores manifestaciones de la cultura de masas actual", y pensó que hay formas más significativas de invertir en la apreciación pública de las matemáticas. [6] Consideró que los tratamientos superficiales de los medios de comunicación sobre Perelman y su trabajo, con una atención desproporcionada puesta en el valor del premio en sí, no eran sorprendentes. Por el contrario, Vershik elogió la financiación directa del Instituto Clay de conferencias de investigación y jóvenes investigadores. Los comentarios de Vershik fueron repetidos más tarde por el medallista Fields Shing-Tung Yau , quien además fue crítico de la idea de una fundación que tome medidas para "apropiarse" de cuestiones matemáticas fundamentales y "asociarles su nombre". [7]

Problema resuelto

Conjetura de Poincaré

En el campo de la topología geométrica , una esfera bidimensional se caracteriza por ser la única superficie bidimensional cerrada y simplemente conexa . En 1904, Henri Poincaré planteó la cuestión de si una afirmación análoga es válida para las formas tridimensionales. Esta afirmación se conoció como la conjetura de Poincaré, cuya formulación precisa dice:

Cualquier variedad topológica tridimensional que sea cerrada y simplemente conexa debe ser homeomorfa a la 3-esfera .

Aunque la conjetura suele formularse de esta forma, es equivalente (como se descubrió en la década de 1950) plantearla en el contexto de variedades suaves y difeomorfismos .

En 2002 y 2003 Grigori Perelman dio una prueba de esta conjetura, junto con la conjetura de geometrización , que era más potente. La solución de Perelman completó el programa de Richard Hamilton para la solución de la conjetura de geometrización, que había desarrollado a lo largo de los veinte años anteriores. El trabajo de Hamilton y Perelman giraba en torno al flujo de Ricci de Hamilton , que es un sistema complicado de ecuaciones diferenciales parciales definidas en el campo de la geometría de Riemann .

Por sus contribuciones a la teoría del flujo de Ricci, Perelman recibió la Medalla Fields en 2006. Sin embargo, se negó a aceptar el premio. [8] Por su prueba de la conjetura de Poincaré, Perelman recibió el Premio del Milenio el 18 de marzo de 2010. [9] Sin embargo, rechazó el premio y el dinero asociado al premio, afirmando que la contribución de Hamilton no era menor que la suya. [10]

Problemas sin resolver

Conjetura de Birch y Swinnerton-Dyer

La conjetura de Birch y Swinnerton-Dyer se ocupa de ciertos tipos de ecuaciones: las que definen curvas elípticas sobre los números racionales . La conjetura es que existe una manera sencilla de determinar si dichas ecuaciones tienen un número finito o infinito de soluciones racionales. Más específicamente, la versión del Premio del Milenio de la conjetura es que, si la curva elíptica E tiene rango r , entonces la función L L ( E , s ) asociada con ella se anula al orden r en s = 1 .

El décimo problema de Hilbert trataba de un tipo de ecuación más general, y en ese caso se demostró que no existe una forma algorítmica de decidir si una ecuación dada tiene alguna solución.

La declaración oficial del problema fue dada por Andrew Wiles . [11]

Conjetura de Hodge

La conjetura de Hodge es que, para las variedades algebraicas proyectivas , los ciclos de Hodge son combinaciones lineales racionales de ciclos algebraicos .

A esto lo llamamos el grupo de clases de Hodge de grado 2 k en X .

El enunciado moderno de la conjetura de Hodge es:

Sea X una variedad proyectiva compleja no singular. Entonces, cada clase de Hodge sobre X es una combinación lineal con coeficientes racionales de las clases de cohomología de subvariedades complejas de X.

La formulación oficial del problema fue dada por Pierre Deligne . [12]

Existencia y suavidad de Navier-Stokes

Las ecuaciones de Navier-Stokes describen el movimiento de los fluidos y son uno de los pilares de la mecánica de fluidos . Sin embargo, la comprensión teórica de sus soluciones es incompleta, a pesar de su importancia en la ciencia y la ingeniería. Para el sistema tridimensional de ecuaciones, y dadas algunas condiciones iniciales , los matemáticos aún no han demostrado que siempre existan soluciones suaves . Esto se denomina problema de existencia y suavidad de Navier-Stokes .

El problema, restringido al caso de un flujo incompresible , consiste en demostrar que existen soluciones suaves y globalmente definidas que cumplen ciertas condiciones, o que no siempre existen y las ecuaciones no funcionan. La formulación oficial del problema fue dada por Charles Fefferman . [13]

P contra NP

Diagrama de Euler para conjuntos de problemas P , NP , NP -completos y NP -difíciles (excluyendo el lenguaje vacío y su complemento, que pertenecen a P pero no son NP -completos)

La pregunta es si, para todos los problemas para los cuales un algoritmo puede verificar una solución dada rápidamente (es decir, en tiempo polinomial ), un algoritmo también puede encontrar esa solución rápidamente. Dado que el primero describe la clase de problemas denominados NP, mientras que el segundo describe P, la pregunta es equivalente a preguntar si todos los problemas en NP también están en P. Esta es generalmente considerada una de las preguntas abiertas más importantes en matemáticas y ciencias de la computación teórica ya que tiene consecuencias de largo alcance para otros problemas en matemáticas , para biología , [14] filosofía [15] y para criptografía (ver consecuencias de prueba de problema P versus NP ). Un ejemplo común de un problema NP que no se sabe que está en P es el problema de satisfacibilidad booleana .

La mayoría de los matemáticos y científicos informáticos esperan que P ≠ NP; sin embargo, esto aún no está demostrado. [16]

La declaración oficial del problema fue dada por Stephen Cook . [17]

Hipótesis de Riemann

La parte real (roja) y la parte imaginaria (azul) de la función zeta de Riemann a lo largo de la línea crítica Re( s ) = 1/2. Los primeros ceros no triviales se pueden ver en Im( s ) = ±14,135, ±21,022 y ±25,011.

La función zeta de Riemann ζ(s) es una función cuyos argumentos pueden ser cualquier número complejo distinto de 1, y cuyos valores también son complejos. Su continuación analítica tiene ceros en los enteros pares negativos; es decir, ζ(s) = 0 cuando s es uno de −2, −4, −6, .... Estos se denominan ceros triviales. Sin embargo, los enteros pares negativos no son los únicos valores para los que la función zeta es cero. Los demás se denominan ceros no triviales. La hipótesis de Riemann se ocupa de las ubicaciones de estos ceros no triviales y establece que:

La parte real de cada cero no trivial de la función zeta de Riemann es 1/2.

La hipótesis de Riemann es que todos los ceros no triviales de la continuación analítica de la función zeta de Riemann tienen una parte real de 1/2 . Una prueba o refutación de esto tendría implicaciones de largo alcance en la teoría de números , especialmente para la distribución de números primos . Este fue el octavo problema de Hilbert , y todavía se considera un problema abierto importante un siglo después.

El problema es bien conocido desde que fue planteado originalmente por Bernhard Riemann en 1860. La exposición del problema en el Instituto Clay estuvo a cargo de Enrico Bombieri . [18]

Existencia de Yang-Mills y brecha de masa

En la teoría cuántica de campos , la brecha de masa es la diferencia de energía entre el vacío y el siguiente estado de energía más bajo . La energía del vacío es cero por definición y, suponiendo que todos los estados de energía pueden considerarse partículas en ondas planas, la brecha de masa es la masa de la partícula más ligera.

Para un campo real dado , podemos decir que la teoría tiene una brecha de masa si la función de dos puntos tiene la propiedad

siendo el valor de energía más bajo en el espectro del hamiltoniano y, por lo tanto, la brecha de masa. Esta cantidad, fácil de generalizar a otros campos, es lo que generalmente se mide en los cálculos de red.

La teoría cuántica de Yang-Mills es la base actual para la mayoría de las aplicaciones teóricas del pensamiento a la realidad y las realidades potenciales de la física de partículas elementales . [19] La teoría es una generalización de la teoría de Maxwell del electromagnetismo donde el campo cromo -electromagnético en sí mismo lleva carga. Como teoría de campo clásica tiene soluciones que viajan a la velocidad de la luz, de modo que su versión cuántica debería describir partículas sin masa ( gluones ). Sin embargo, el fenómeno postulado de confinamiento de color solo permite estados ligados de gluones, formando partículas masivas. Esta es la brecha de masa . Otro aspecto del confinamiento es la libertad asintótica que hace concebible que la teoría cuántica de Yang-Mills exista sin restricción a escalas de baja energía. El problema es establecer rigurosamente la existencia de la teoría cuántica de Yang-Mills y una brecha de masa.

Demuestre que para cualquier grupo de calibración simple y compacto G, existe una teoría de Yang-Mills cuántica no trivial y tiene una brecha de masa Δ > 0. La existencia incluye el establecimiento de propiedades axiomáticas al menos tan fuertes como las citadas en Streater y Wightman (1964), [20] Osterwalder y Schrader (1973), [21] y Osterwalder y Schrader (1975). [22]

La declaración oficial del problema fue dada por Arthur Jaffe y Edward Witten . [23]

Véase también

Referencias

  1. ^ Jaffe, Arthur M. (junio-julio de 2006). "El gran desafío del milenio en matemáticas" (PDF) . Avisos de la American Mathematical Society . 53 (6): 652–660.
  2. ^ Carlson, Jaffe y Wiles (2006)
  3. ^ "Los problemas del Premio del Milenio".
  4. ^ Jackson, Allyn (septiembre de 2000). «Se anuncian premios de matemáticas de un millón de dólares». Avisos de la American Mathematical Society . 47 (8): 877–879.
  5. ^ Dickson, David (2000). "Los matemáticos persiguen las pruebas de siete millones de dólares". Nature . 405 (383): 383. doi : 10.1038/35013216 . PMID  10839504. S2CID  31169641.
  6. ^ Vershik, Anatoly (enero de 2007). "¿Qué es bueno para las matemáticas? Reflexiones sobre los premios Clay Millennium". Avisos de la American Mathematical Society . 54 (1): 45–47.
  7. ^ Yau, Shing-Tung ; Nadis, Steve (2019). La forma de una vida. La búsqueda de un matemático de la geometría oculta del universo . New Haven, CT: Yale University Press. Bibcode :2019shli.book.....Y.
  8. ^ "Un genio de las matemáticas rechaza el premio principal". BBC News . 22 de agosto de 2006 . Consultado el 16 de junio de 2011 .
  9. ^ "Premio por la resolución de la conjetura de Poincaré otorgado al Dr. Grigoriy Perelman" (PDF) (Nota de prensa). Instituto de Matemáticas Clay . 18 de marzo de 2010. Archivado desde el original (PDF) el 31 de marzo de 2010. Consultado el 18 de marzo de 2010. El Instituto de Matemáticas Clay (CMI) anuncia hoy que el Dr. Grigoriy Perelman de San Petersburgo, Rusia, es el destinatario del Premio del Milenio por la resolución de la conjetura de Poincaré.
  10. ^ "Последнее" нет "doctor Перельмана". Interfax . 1 de julio de 2010 . Consultado el 25 de enero de 2024 .
  11. ^ Wiles, Andrew (2006). "La conjetura de Birch y Swinnerton-Dyer" (PDF) . En Carlson, James; Jaffe, Arthur ; Wiles, Andrew (eds.). Los problemas del premio del milenio . Providence, RI: American Mathematical Society y Clay Mathematics Institute. págs. 31–44. ISBN 978-0-8218-3679-8.
  12. ^ Deligne, Pierre (2006). "La conjetura de Hodge" (PDF) . En Carlson, James; Jaffe, Arthur ; Wiles, Andrew (eds.). Los problemas del premio del milenio . Providence, RI: American Mathematical Society y Clay Mathematics Institute. pp. 45–53. ISBN 978-0-8218-3679-8.
  13. ^ Fefferman, Charles L. (2006). "Existencia y suavidad de la ecuación de Navier-Stokes" (PDF) . En Carlson, James; Jaffe, Arthur ; Wiles, Andrew (eds.). Los problemas del premio del milenio . Providence, RI: American Mathematical Society y Clay Mathematics Institute. págs. 57–67. ISBN 978-0-8218-3679-8.
  14. ^ Rajput, Uday Singh (2016). "P versus NP: más que un problema de premios" (PDF) . Ganita . 66. Lucknow, India: 90. ISSN  0046-5402. Archivado (PDF) del original el 17 de junio de 2022. Consultado el 17 de junio de 2022 .
  15. ^ Scott Aaronson (14 de agosto de 2011). "Por qué los filósofos deberían preocuparse por la complejidad computacional". Informe técnico.
  16. ^ William Gasarch (junio de 2002). "La encuesta P=?NP" (PDF) . SIGACT News . 33 (2): 34–47. doi :10.1145/1052796.1052804. S2CID  18759797.
  17. ^ Cook, Stephen (2006). "El problema P versus NP" (PDF) . En Carlson, James; Jaffe, Arthur ; Wiles, Andrew (eds.). Los problemas del premio del milenio . Providence, RI: American Mathematical Society y Clay Mathematics Institute. pp. 87–104. ISBN 978-0-8218-3679-8.
  18. ^ Bombieri, Enrico (2006). "La hipótesis de Riemann" (PDF) . En Carlson, James; Jaffe, Arthur ; Wiles, Andrew (eds.). Los problemas del premio del milenio . Providence, RI: American Mathematical Society y Clay Mathematics Institute. pp. 107–124. ISBN 978-0-8218-3679-8.
  19. ^ "Yang–Mills y brecha de masa". www.claymath.org ( Claymath ) . Archivado desde el original el 22 de noviembre de 2015 . Consultado el 29 de junio de 2021 .
  20. ^ Streater, R.; Wightman, A. (1964). PCT, Spin and Statistics and all That (El giro y las estadísticas y todo eso) . WA Benjamin.
  21. ^ Osterwalder, K.; Schrader, R. (1973). "Axiomas para funciones de Green euclidianas". Communications in Mathematical Physics . 31 (2): 83–112. Bibcode :1973CMaPh..31...83O. doi :10.1007/BF01645738. S2CID  189829853.
  22. ^ Osterwalder, K.; Schrader, R. (1975). "Axiomas para funciones de Green euclidianas II". Communications in Mathematical Physics . 42 (3): 281–305. Bibcode :1975CMaPh..42..281O. doi :10.1007/BF01608978. S2CID  119389461.
  23. ^ Jaffe, Arthur ; Witten, Edward (2006). "Teoría cuántica de Yang-Mills" (PDF) . En Carlson, James; Jaffe, Arthur ; Wiles, Andrew (eds.). Los problemas del premio del milenio . Providence, RI: American Mathematical Society y Clay Mathematics Institute. págs. 129–152. ISBN 978-0-8218-3679-8.

Lectura adicional

Enlaces externos