LOS SIETE PROBLEMAS DEL MILENIO

Los Siete Problemas del Milenio han sido elegidos por una institucin privada de
Cambridge, Massachutsets (EEUU), el Instituto Clay de Matemticas, para premiar con
un milln de dlares USA a quien resuelva al menos uno de estos problemas.

Por noticias de las ultimas semanas del mes de marzo de 2002, sabemos que un
matemtico ingls, Martin J. Dunwody, de la Universidad de Southampton, afirma
haber resuelto completamente uno de estos problemas, concretamente el cuarto, la
llamada Conjetura de Poincar, que, aunque habia sido ya resuelta en los casos de n > 3
por algunos matemticos (Michael Freedman, Steven Smale, E. C. Zeeman, etc..), se
mantena inaccesible, curiosamente, para n =3.

El trabajo de Dunwoody puede verse en la direccin de internet

http://www.maths.soton.ac.uk/~mjd/Poin.pdf.

Los Siete Problemas del Milenio, brevemente enunciados, seran:

1. Problema P (dificil de encontrar) contra NP (fcil de verificar):

Este problema, planteado de manera independiente en 1971 por Stephen Cook y por
Leonid Levin se considera hoy dia el problema central de la computacin terica.

La cuestin es que existen, por una parte, problemas resolubles de manera determinista
mediante algoritmos polinmicos y en un tiempo polinomial, como puede ser, por
ejemplo la resolucin de ecuaciones, la realizacin de sumas, productos, etc., pudiendo
acotar el tiempo de resolucin, mas o menos largo, de una manera aceptable. Estos son
los problemas P.

Sin embargo, tambin existen problemas NP que pueden resolverse de forma

indeterminista probando una solucin conjeturada. Esta comprobacin es de una gran
rapidez en comparacin con el tiempo polinomial necesario en general para la
resolucin determinista de los problemas P.

Est claro que todo problema P es tambin NP, esto es, todo problema resoluble en
tiempo polinomial mediante un algoritmo adecuado (P), es tambin un problema que
admite una comprobacin rpida (NP).

Pero, y al revs?. Existen problemas NP que no sean P?. Esto es, existen problemas
que admiten una comprobacin de solucin o no solucin conjeturada y, en cambio, no
admiten en tiempo polinomial una resolucin algoritmica?

En el clculo computacional pueden presentarse problemas en donde el nmero de

alternativas posibles para una determinada condicin de proceso es tan grande que ni
siquiera con las supercomputadores existentes an en nuestra tecnologa se podran
afrontar en toda la vida de un ser humano, pues no tendra para ello el suficiente tiempo
(es el problema P). En cambio, la verificacin de que una determinada alternativa
verifica la condicin de proceso es algo prcticamente instantneo (es el problema NP).

Si, por ejemplo, queremos colocar 6000 libros en 200 estantes, de modo que se cumpla
la condicin de que no estn juntos ciertos libros de diferente materia, nos encontramos
que el nmero de alternativas posibles podra superar al nmero de tomos de la Va
Lctea, con lo cual, el determinarlas todas (problema P - difcil de encontrar) es
precisamente eso, muy difcil en la actual tecnologa de la computacin. En cambio, el
verificar una de estas alternativas como vlida, cuando alguien conjetura una solucin,
(problema NP - fcil de verificar) es inmediato.

En estos ejemplos, en los que el problema NP es comprobable de inmediato, pero el

problema P parece no existir, se debe esto a que realmente el problema P no es posible
o bien que no se tiene la tecnologa computacional adecuada para su resolucin de
forma algoritmica en tiempo polinomial?

Esta es la pregunta no contestada que da consistencia al problema. Entre los ejemplos

actuales ms candentes est el de la criptografa y la comprobacin de claves
informaticas (NP) en contraposicin al problema de generacin algoritmica de tales
claves en un tiempo polinomial (P).

Puede verse una descripcin detallada del problema, por Stephen Cook, de la
Universidad de Toronto.

2. La conjetura de Hodge:

Esta conjetura afirma que para ciertos espacios particulares denominados Variedades
Proyectivas Algebricas, las partes llamadas Ciclos de Hodge son realmente
combinaciones de Ciclos Algebricos.

Puede verse una descripcin detallada del problema, por P. Deligne.

3. Ecuaciones de Navier-Stokes:

Existe desde el siglo XIX un conjunto de ecuaciones que permite estudiar las
turbulencias en los lquidos y en los gases, sin que exista una teora matemtica que las
fundamente. El desafo consiste en encontrar tal fundamentacin.

Puede verse una descripcin detallada del problema, por Charles L. Fefferman, de la
Universidad de Princeton

4. La Conjetura de Poincar:

Para n 3, la nica superficie compacta, orientable y simplemente conexa es

homeomorfa a la esfera Sn. Esto es, la superficie de una esfera, en cualquier nmero de
dimensiones mayor que 2 puede contraerse hasta un nico punto de forma continua,
dicho de otro modo, la superficie de una esfera es simplemente conexa.

Puede verse una descripcin detallada del problema, por J. Milnor.

5. La Hiptesis de Riemann:

Afirma la Hiptesis de Riemann que las partes reales de los ceros, a+bi, de la llamada
Funcin Zeta son siempre a = 1/2, es decir, estn alineados. Esta funcin es

Puede verse una descripcin detallada del problema, por E. Bombieri.

6. La Teora de Yang-Mills:

La llamada Teora de Yang-Mills describe las partculas elementales de la Mecnica

Cuntica, y sus Interacciones fuertes usando estructuras geomtricas.

Estas descripciones tericas han sido comprobadas experimentalmente en laboratorio y

tambin obtenidas mediante simulacin computacional, pero no existe edificada una
teora matemtica que establezca un fundamento para las mismas.

Puede verse una descripcin detallada del problema, por Arthur Jaffe y Edward Witten.

7. La Conjetura de Birch y Swinnerton-Dyer:

An cuando ya sabemos que no existen mtodos generales para resolver las ecuaciones
diofnticas tal como peda el dcimo de los problemas de Hilbert (demostrado en 1970
por Yu. V. Matiyasevich), sin embargo, la conjetura de Birch y Swinnerton-Dyer afirma
que en el caso de las soluciones de las ecuaciones diofnticas generales, cuando stas
son los puntos de una variedad abeliana, el conjunto de los puntos que son soluciones
racionales de las mismas depende de la funcin zeta, z(n), asociada, de modo que si z(1)
= 0, hay infinitas soluciones, y si z(1) 0, el nmero de soluciones es finito.

Puede verse una descripcin detallada del problema, por Andrew Wiles.

Genio matemtico rechaza premio millonario

Una noticia del da de hoy, publicada en el Diario Clarn de Argentina, me llam

poderosamente la atencin y pens que vala la pena difundirla.

El Instituto Clay Mathematics (CMI) de Cambridge, Estados Unidos, creado en 1998

por el empresario Landon Clay para difundir la matemtica, decidi a partir de el ao
dos mil, otorgar Premios a los Problemas del Milenio, con un reconocimiento de un
milln de dlares para aquellos que logren algn da resolver los siete enigmas
matemticos ms complejos y difciles que an no tienen solucin.

El primero de esos problemas en resolverse, despus de haberse cumplido un siglo

desde que se conoce, fue la conjetura de Poincar, que propuso en 1904 el francs
Henri Poincar, que trata de explicar la geometra del espacio tridimensional, por
medio del estudio de las propiedades geomtricas de los objetos que no sufren
modificaciones al ser estirados, comprimidos o doblados.

En 2002, Perelman comenz a publicar en Internet las conclusiones a las que arrib
sobre esta incgnita, que hoy se conoce como el teorema de Poincar; y a pesar de
algunas crticas de otros colegas, este instituto lo consider el primer ganador de un
Premio a los Problemas del Milenio.

Lo ms notable de la noticia no es el premio, sino el rechazo de tal distincin por parte

del agraciado, debido a su disgusto por considerar injustas las tomas de decisiones de
la organizacin de la comunidad matemtica, ya que el citado premio tambin lo
debera haber compartido el norteamericano Richard Hamilton que fue el que procedi
a completar el desarrollo de la teora.

Perelman no slo rechaz este considerable premio de un milln de dlares,

demostrando el ms increble desinters por el dinero, sino que tambin en 2006 no
quiso aceptar un codiciado premio de la Sociedad Matemtica Europea porque
consider que el jurado no calificaba para evaluar su trabajo.

Adems, ese mismo ao no quiso recibir la Medalla Fields, que es el ms alto

galardn que aspiran obtener los matemticos, que otorga la Unin Matemtica
Internacional, por considerarlo irrelevante, manifestando que si su demostracin era
correcta, no necesitaba ningn reconocimiento.

Perelman naci en Leningrado, que hoy lleva el nombre de San Petersburgo, en

Rusia, en 1966 y fue alumno del Liceo especializado en matemtica y fsica, de la
ciudad donde viva.

Gan una medalla de oro en la Olimpada Internacional de Matemtica a los 16 aos y

en 1988 se doctor en la Facultad de Mecnica y Matemtica de la Universidad del
Estado de Leningrado.

Empez a trabajar en el Instituto Steklov de Matemtica de la Academia Rusa de las

Ciencias, y fue profesor en algunas universidades norteamericanas entre los aos
1989 y 1995.
En 2002, Perelman ya era un hombre famoso por sus trabajos en geometra de
Riemann y fue en ese ao en que comenz a publicar en Internet la solucin a la
conjetura de Poincar.

Perelman vive en San Petersburgo, en soledad y da clases particulares.