Los problemas del milenio del

Instituto Clay
Hay concursos y concursos.
problemas.
Y, claro, hay premios y premios...

Hay

problemas

El millonario y hombre de negocios estadounidenses Landon

T. Clay y su esposa Lavinia D. Clay fundaron el Instituto Clay
de Matemticas (CMI) en 1998. Para su establecimiento
donaron gran parte de su fortuna. El objetivo del Instituto es
incrementar y difundir el conocimiento de las matemticas.
Entre sus actividades se encuentran el apoyo a investigadores
matemticos en sus investigaciones, programas para
promover el desarrollo de las vocaciones de jvenes con
talento en el campo de las matemticas y, sin duda, la
actividad por la que se ha hecho famoso el Instituto: el
concurso de los Problemas del Milenio. El 24 de Mayo del ao
2000 el Instituto Clay de Matemticas, con sede en
Cambridge, EE.UU., aprovech un congreso cientfico en Pars
para lanzar el anuncio de siete premios de un milln de
dlares cada uno por la resolucin de otros tantos problemas
matemticos. Los problemas en cuestin fueron elegidos por
un comit de expertos nombrado para la ocasin y pretende
incluir los retos ms importantes que se abren ante los
matemticos del siglo que comienza.
La lista contiene representacin de todas las grandes reas de
la matemtica: lgebra, geometra, teora de nmeros,
anlisis, fsica matemtica,... Pero tambin es sintomtica la
presencia de un problema que habra que catalogar ms
como de informtica terica que como de matemticas: el
problema de "P versus NP" cuya resolucin (si es en el sentido
P=NP) pondra en entredicho nuestras ideas de qu es un
buen o un mal algoritmo, o de qu es un problema fcil o
difcil de resolver por ordenador.
Algunos de los problemas llevan abiertos cien aos o ms,
como la la hiptesis de Riemann o la conjetura de Poincar,
formuladas por las personas que les dan nombre en 1857 y
1904 respectivamente. Otros, slo una treintena, como el de
"P versus NP", formulado en 1971.

Por supuesto, los siete problemas son extremadamente

difciles... si no fuera as el premio no sera tan fabuloso. Pero
el criterio para la confeccin de la lista no fue slo la dificultad
sino tambin la relevancia que los problemas tienen dentro
del panorama de las matemticas actuales. Por tanto, aunque
con
precauciones,
podemos
tomar
la
lista
como
representativa de los temas centrales de la investigacin
matemtica actual.
La eleccin del ao 2000 para el lanzamiento de este
proyecto no es casual. Aparte del valor simblico de la fecha
como cambio de siglo y de milenio, la UNESCO haba declaro
ese ao como "Ao Mundial de las Matemticas". Adems, y
quiz esto es lo ms importante, exactamente cien aos
antes David Hilbert haba enunciado en el Congreso
Internacional de Matemticos (y tambin en Pars) su famosa
lista de 23 problemas "para los matemticos futuros", a la que
los "problemas del milenio" del Instituto Clay pretenden
emular. Algunos de los problemas de Hilbert continan sin
tener hoy da una solucin satisfactoria (de hecho, la hiptesis
de Riemann estaba ya en la lista de Hilbert). Ocurrir lo
mismo dentro de cien aos con los problemas de esta lista?
Es tambin interesante estudiar qu se considera (es decir,
qu considera el Instituto Clay) una solucin vlida. Algunos
de los problemas han sido "resueltos" varias veces a lo largo
de su historia, o al menos as lo han creido los autores de las
supuestas soluciones y, en algunos casos, la mayora de sus
contemporneos. Por ejemplo, el primer matemtico en
"resolver" la conjetura de Poincar fue el propio Poincar en
1900, o sea cuatro aos antes de formularla como conjetura
al darse cuenta de su error. Para evitar este tipo de falsas
soluciones, las normas del "concurso" son muy especficas:
Before consideration, a proposed solution must be published
in a refereed mathematics journal of world wide repute, and it
must also have general acceptance in the mathematics
community two years after. Following this two-year waiting
period, the SAB [Scientific Advisory Board] will decide whether
a solution merits detailed consideration. In the affirmative
case, the SAB will constitute a special advisory committee,
which will include at least one SAB member and at least two
non-SAB members who are experts in the area of the problem.
The SAB will seek advice to determine potential non-SAB

members who are unbiased, internationally-recognized

mathematical experts in the area of the problem. As part of
this procedure, each proposed solution under consideration
must be verified by one or more members of this special
advisory committee.
The special advisory committee will report within a reasonable
time to the SAB. Based on this report and possible further
investigation, the SAB will make a recommendation to the
Directors. The SAB may recommend the award of a prize to
one person. The SAB may recommend that a particular prize
be divided among multiple solvers of a problem or their heirs.
The SAB will pay special attention to the question of whether
a prize solution depends crucially on insights published prior
to the solution under consideration. The SAB may (but need
not) recommend recognition of such prior work in the prize
citation, and it may (but need not) recommend the inclusion
of the author of prior work in the award.
En resumen, hay cuatro cribas que una solucin debe pasar:
uno, ser publicada en una revista de prestigio mundial, para lo
cual han de aceptarla los recensores habituales de la misma;
dos, tener "aceptacin general" dos aos despus de su
publicacin; tres, poseer el visto bueno del comit cientfico
del Instituto Clay y cuatro, obtener el visto bueno de un
segundo comit ms especializado que se crear
expresamente para estudiar esa solucin.
He aqu, en fin, la lista de problemas, cada uno con un
pequeo comentario sobre el mismo. Tras cada problema
incluimos un enlace a su "formulacin oficial": un artculo ms
tcnico que puede ir desde unas cinco hasta unas 20 pginas
y que explica el contexto, historia y enunciado preciso del
problema. Todos estn escritos por matemticos del mximo
prestigio y expertos en el tema concreto del que se
trata: Cook, Deligne, Milnor, Bombieri,
Jaffe, Witten, Fefferman y Wiles (cinco de ellos han recibido la
medalla Fields, mximo galardn existente en Matemticas).
Puedes encontrar ms informacin en las pginas oficiales del
"concurso". Esta otra pgina tambin contiene breves
descripciones de los problemas, escritas por un fsico
matemtico.

1. "P frente a NP"

Todos sabemos que hay problemas (matemticos o no) en los
que es mucho ms difcil encontrar una solucin que
comprobar si una solucin es correcta. El problema "P versus
NP" pide ni ms ni menos demostrar (o refutar) esa afirmacin
tan evidente.
Seamos un poco ms precisos. En informtica terica se llama
"problema" a algo que a cada input asocia un output de
manera bien definida (por ejemplo, la resolucin de sistemas
de ecuaciones lineales sera "un problema"; el output puede
ser una solucin o todo un conjunto de ellas, pero est bien
definido). Los problemas se clasifican en diferentes "clases de
complejidad" segn lo fcil o difcil que sea resolverlos. Los
problemas P ("polinmicos") son los que se pueden resolver
en un tiempo razonable y los problemas NP ("polinmicos en
sentido no determinista") aqullos en los que se puede al
menos comprobar en un tiempo razonable que una solucin
es correcta. Tiempo razonable significa aqu "un nmero de
pasos acotado por una funcin polinmica del tamao del
input".
Por supuesto, todo problema P es tambin NP. Pero nadie sabe
si hay algn problema NP que no sea P (se espera que los
haya). La pregunta de si P=NP fue formulada en 1971 por
Stephen Cook, autor del artculo oficial sobre este problema, y
Leonid Levin.
El asunto tiene su importancia prctica. Los sistemas
criptogrficos de clave pblica que todos usamos hoy en da
(en Internet, por ejemplo) se basan en que tu ordenador
(cuando enva un nmero de tarjeta de crdito a una tienda,
pongamos por caso) pueda codificar mensajes utilizando para
ello una clave pblica y que el receptor (que es quien te ha
mandado la clave pblica) los pueda descifrar con una clave
privada que slo l conoce. Pero para que el mtodo sea
prctico, el creador de las claves debe ser capaz de construir
la clave pblica a partir de la privada en tiempo P, lo cual
significa que reconstruir la privada a partir de la pblica es un
problema NP. Si resultara que P y NP son lo mismo, entonces

cualquier tercero que intercepte el mensaje y la clave pblica

puede tambin descifrarlo en tiempo P. As que tendramos
que inventar algo nuevo, porque un sistema en el que cuesta
lo mismo codificar que romper el cdigo es intil.
Official Problem Description authored by Stephen Cook

2. La conjetura de Hodge.
Este es probablemente el problema ms difcil de enunciar en
trminos que no sean demasiado tcnicos.
La geometra algebraica es el estudio de los conjuntos
algebraicos, es decir, los lugares geomtricos que se pueden
definir por medio de polinomios (por ejemplo, circunferencias,
parbolas, etc; no as una trayectoria sinusoidal, que requiere
el uso de funciones trigonomtricas para ser descrita). Pero
con el tiempo, los matemticos han ido abstrayendo
propiedades de tales conjuntos y aplicndoselas a cosas que
no tienen una interpretacin geomtrica. Una de tales cosas
es lo que se conoce como un "ciclo de Hodge" (para los
entendidos, se trata de las (p,p)-formas racionales de la
cohomologa de de Rham de una variadad algebraica
proyectiva no-singular). La conjetura de Hodge es que todo
ciclo de Hodge es combinacin racional de ciclos algebraicos,
es decir de los ciclos asociados a subvariedades analticas
cerradas.
Official Problem Description authored by Pierre Deligne

3. La conjetura de Poincar.
La superficie de una esfera es "simplemente conexa", lo cual
quiere decir que si hacemos un "nudo corredizo" sobre la
misma y tiramos de l, el nudo terminar contrayndose a un
punto de la esfera sin necesidad de romper ni la esfera ni la
cuerda. La superficie de una rosquilla no tiene esa propiedad.
Desde tiempo anterior a Poincar los matemticos saben que
la superficie de la esfera es, de hecho, la nica superficie
cerrada (es decir, sin lmites) y simplemente conexa. La

conjetura de Poincar es que lo mismo ocurre para objetos de

dimensin 3. En trminos ms precisos, que "toda variedad de
dimensin 3 cerrada y simplemente conexa es homeomorfa
(para entendernos, equivalente) a la esfera de dimensin
tres". Lo sorprendente es que en todas las dimensiones
mayores que tres se conoce que la afirmacin es cierta.
Official Problem Description authored by John Milnor

4. La hiptesis de Riemann.
Los nmeros primos han fascinado a los matemticos desde
siempre.
A
comienzos
del
siglo
XIX Gauss y Legendre conjeturaron que el nmero de primos
entre 1 y n, es ms o menos igual a n/log(n). Dicho de otro
modo, que la probabilidad de que un nmero muy grande
elegido al azar sea primo es inversamente proporcional al
nmero de cifras del mismo. Esta aproximacin, hoy conocida
simplemente como el Teorema de los Nmeros Primos, fue
demostrada al final del mismo siglo por Hadamard y de la
Valle Pousin.
La demostracin sigue ideas que Riemann propuso en 1851
pero cuyos detalles no pudo completar por falta de
herramientas tcnicas (el anlisis complejo no estaba
suficientemente desarrollado). Lo que Riemann observ es
que la distribucin de los nmeros primos est estrechamente
relacionada con el comportamiento de la llamada "funcin
zeta de Riemann", que es la nica extensin "natural"
("holomorfa" es la palabra tcnica) a los nmeros complejos
de la funcin zeta de Euler:

Esta funcin tiene dos tipos de ceros: los ceros "triviales" que
son todos los nmeros enteros pares y negativos y los ceros
"no triviales", cuya parte real est siempre entre 0 y 1. La
hiptesis de Riemann afirma que todos los ceros "no triviales"
tienen como parte real 1/2. La hiptesis implicara por ejemplo
que la aproximacin dada por el Teorema de los Nmeros
Primos es mejor de lo que ha sido posible demostrar hasta
ahora.

La Hiptesis de Riemann es tambin uno de los problemas de

la lista de Hilbert. Ha sido verificada para los primeros 1500
millones de ceros... pero el nmero de ceros es infinito.
Official Problem
Bombieri

Description

authored

by

Enrico

Otra pgina sobre la hiptesis de Riemann

5. Existencia y "mass gap" en la Teora de Yang-Mills.

Este es un problema para los fsicos; o de los fsicos. Lo que se
pide es un modelo matemtico que satisfaga los axiomas de
cierta Teora Cuntica de Campos conocida como Teora de
Yang-Mills o "Teora gauge no-abeliana".
En fsica se reconocen cuatro tipos fundamentales de
interacciones entre partculas, que gobiernan todos los
procesos conocidos. La fuerza gravitatoria, la fuerza
electromagntica y los dos tipos de fuerzas nucleares,
"fuertes" y "dbiles". La fuerza gravitatoria no tiene efectos
apreciables en el mundo atmico y adems es
conceptualmente difcil de compatibilizar con los postulados
de la mecnica cuntica. Por tanto se excluye de manera
explcita en el llamado "modelo estndar" de la fsica de
partculas.
Las ecuaciones de Yang y Mills, introducidas en 1954, son en
pocas palabras una generalizacin no conmutativa de la
electrodinmica cuntica (QED), la cual a su vez es la versin
cuantizada de la teora electromagntica clsica de Maxwell.
La QED es la teora que modeliza las interacciones
electromagnticas en el contexto cuntico, y ya estaba
ampliamente asentada y aceptada en los aos 50.
Esencialmente, las ecuaciones de Yang-Mills se reducen a la
QED cuando las partculas portadoras del campo no tienen
masa (como es el caso de los fotones, portadores de la
energa elcetromagntica) y difieren de la QED slo cuando
los portadores tienen masa (como es el caso de los bosones W
y Z, unas 100 veces ms pesados que protones y neutrones, y
portadores de las fuerzas nucleares dbiles). En este sentido,
la teora de Yang-mills es una pieza clave en la unificacin de
la QED con la teora de las interacciones dbiles: la llamada

teora electrodbil formulada en 1968, que vali el premio

Nobel de Fsica de 1979 a sus creadores, Sheldon
Glashow, Abdul Salam y Steven Weinberg. Hay que aclarar
que la existencia de los bosones W y Z y el valor de su masa
no fueronexplicados sino predichos por la teora electrodbil,
y no detectados experimentalmente hasta los aos 80. Uno
de los problemas ms importantes en fsica de partculas es
encontrar una teora que unifique de manera satisfactoria la
teora electrodbil y la "cromo-dinmica cuntica" que regula
las interacciones fuertes.
El reto que plantea el Instituto Clay puede tener relacin con
esta futura teora unificada, aunque se plantea como un
problema puramente matemtico. Explicado de manera
imprecisa, se pide "avanzar en el conocimiento matemtico
de la Teora de Yang-Mills en dimensin cuatro". En trminos
ms precisos, se pide demostrar que para todo grupo simple
compacto G, hay una Teora de Yang-Mills en R4 que tiene a
ese grupo como grupo gauge y que adems, esa teora tiene
una "brecha de masa" (mass gap). La brecha de masa
significa que no puede haber excitaciones con energa
arbitrariamente pequea sino que hay un valor mnimo >0
para las mismas. Es una propiedad fundamental en el
contexto fsico. Explica, por ejemplo, por qu las interacciones
fuertes, an siendo las ms fuertes de la naturaleza, son las
de ms corto alcance.
Official Problem Description authored by Arthur Jaffe
and Edward Witten

6. Las ecuaciones de Navier-Stokes.

Otro problema relacionado con la fsica, aunque es un
problema de anlisis (ms concretamente, de ecuaciones
diferenciales).
Las ecuaciones de Navier-Stokes, formuladas por Navier en
1822 y Stokes en 1842, modelizan el movimiento de los
fluidos incompresibles. Pero la existencia de soluciones a las
mismas (en dimensin tres) slo est demostrada bajo ciertas
restricciones a las condiciones iniciales. Se pide aqu que se
demuestre la existencia de soluciones diferenciables para

cualquier valor fsicamente aceptable de las condiciones

iniciales.
Official Problem
Fefferman

Description

authored

by

Charles

7. La conjetura de Birch y Swinnerton-Dyer.

Se trata de un problema de geometra algebraica pasada por
el tamiz de la teora de nmeros. Geometra algebraica
porque tiene que ver con curvas algebraicas: conjuntos de
soluciones de un polinomio f(x,y) en dos variables. Teora de
nmeros porque se pide estudiar las soluciones racionales de
las mismas (y los coeficientes del polinomio son tambin
racionales).
Las curvas algebraicas se clasifican segn su gnero, siendo
las ms sencillas las de gnero cero o curvas racionales. Estas
tienen o bien ninguna o bien infinitas soluciones racionales y
el criterio para distinguir unas de otras fue establecido en
1890 por Hilbert y Hurwitz. Por ejemplo, de las dos siguientes
ecuaciones una tiene infinitas soluciones racionales y la otra
ninguna (demustralo!):
x

+y

= 1.

+y

= 3.

Para las de gnero dos o ms, Faltings demostr en 1983 que

el nmero de soluciones racionales es siempre finito. Eso
implica, por cierto, que la ecuacin de Fermat
x

+y

=1

tiene un nmero finito de soluciones racionales para cada

nmero natural n>2. (El famoso ltimo Teorema de Fermat,
enunciado por Fermat en el siglo XVII y demostrado
por Wiles en 1994, afirma que ese nmero es dos si n es
impar y cuatro si n es par...)
Queda por tanto por demostrar un criterio que distinga qu
curvas de gnero 1 (tambin llamadas elpticas) tienen
infinitas soluciones racionales y cules tienen un nmero

finito. Y decimos demostrar, porque "conocerse" se conoce. La

conjetura de Birch y Swinnerton-Dyer relaciona el carcter
infinito o finito del nmero de soluciones racionales de una
curva algebraica elptica C con que se anule o no en s=1
cierta funcin C(s) definida de un modo parecido al de la
funcin zeta de Riemann.