VARIACIONES DE GOLDBACH

1

Por Evelyn Lamb
2


El lunes, Harald Helfgott de la cole Normale Supriure de Paris public una prueba de uno de los
problemas abiertos ms antiguos de la teora de nmeros en el repositorio del preprint de arxiv
3
. La
conjetura ternara de Goldbach, como ocurre en muchas cuestiones de la teora de nmeros, es fcil de
enunciar pero difcil de probar. Todo nmero impar mayor que 5 puede ser escrito como la suma de tres
nmeros primos (Los nmeros primos no tienen factores ms que ellos mismos y la unidad.). Por
ejemplo 7 = 2 +2 + S y 91 = 7 +41 + 4S.

Imagen: Harald Helfgott

1
El artculo fue publicado el 15 de mayo del 2013 en el blog Roots of Unity de Scientific American (http://blogs.scientificamerican.com/roots-of-
unity/2013/05/15/goldbach-variations/). Agradezco a Evelyn Lamb por permitir la traduccin de su artculo. Traducido por Rensso Chung.
2
Evelyn Lamb writes about mathematics and other cool stuff. Follow on Twitter @evelynjlamb.
3
http://arxiv.org/abs/1305.2897
La conjetura ternara de Goldbach es tambin llamada la conjetura dbil de Goldbach. La conjetura
fuerte de Goldbach establece que todo nmero par mayor que 2 puede ser escrito como la suma de dos
nmeros primos. Ambas conjeturas fueron formuladas en las correspondencias entre Christian
Goldbach y Leonhard Euler en 1742, de ah su nombre. Lgicamente, si se prueba la conjetura fuerte de
Goldbach, se obtiene la conjetura dbil de forma gratuita: si usted tiene un nmero impar mayor que 5,
slo basta restar 3 a este. Ahora tiene un nmero par mayor que dos. Entonces, si usted sabe que todo
nmero par mayor que dos es la suma de dos nmeros primos, se puede sumar 3 (un primo) a este
nmero para obtener un nmero impar, descompuesto en la suma de tres primos.

Por desgracia, esto no funciona de otra manera. Si usted tiene un nmero impar escrito como la suma de
3 nmeros primos y le resta uno de los primos impares, se tendr un nmero par escrito como la suma
de dos nmeros primos, pero no hay ninguna garanta que todos los nmeros pares se comporten de esta
manera. Sin embargo, la conjetura ternaria de Goldbach establece que todo nmero par puede ser escrito
como la suma de al menos 4 primos: basta restar cualquier nmero primo impar (por ejemplo
4
, 3 o
2S7
885161
1) del nmero par que se desea dividir, y te quedas con otro nmero impar, que ahora
sabemos que se puede escribir como la suma de tres primos. Esto mejora el teorema de Oliver Ramar,
de 1995, que establece que todo nmero par es la suma de al menos 6 primos.

El resultado de Helfgott es uno grande, sin embargo tal hazaa no viene como un rayo del cielo. Su
trabajo es parte de una larga lista de artculos que emplean una tcnica llamada el mtodo del crculo de
Hardy-Littlewood-Vinogradov (catchy, huh?). Una idea muy general del mtodo del crculo es que nos
permite pasar de un asunto sobre un conjunto de nmeros, en este caso los nmeros primos, a otro que
tiene que ver con integrales sobre crculos usando tcnicas que son propias del anlisis en el plano
complejo. Parece un poco milagroso que con frecuencia es posible convertir cuestiones sobre nmeros
enteros, que son espaciados discretamente sobre la recta numrica, en un asunto que tiene que ver con
funciones continuas. Los aspectos de distribucin de primos, o enteros, pueden ser expresados
naturalmente en trminos de las propiedades de las funciones continuas definidas en trminos de estos,
escribi Helfgott en un e-mail. Una explicacin ms concreta del mtodo del crculo est fuera de mi

4
http://www.newscientist.com/article/dn23138-new-17milliondigit-monster-is-largest-known-prime.html
alcance (no es por la aversin a las ecuaciones), pero si quieren investigar un poco ms sobre tal mtodo
y sus limitaciones, pueden chequear el post
5
de Tarence Tao.

Por los aos 1930s, el matemtico ruso Ivn Vinogradov estableci que la conjetura ternaria de
Goldbach satisface para todo excepto un nmero finitos de nmeros impares, de modo que si alguien
slo verifica que los nmeros impares estn por debajo de un cierto nmero grande C, todo puede estar
bien. Slo haba, sin embargo, el fastidioso problema de que la cota de Vinogradov estaba sobre el
orden de 1u
6846168
, un nmero grande e imposible para los recursos computacionales de hoy en da y
mucho menos disponible para la poca de Vinogradov. Han pasado ms de 70 aos y la cota superior
fue reducida al orden de 1u
1346
en el 2002, pero esto an sigue siendo demasiado grande de manipular.

Helfgott empez a trabajar en la conjetura de Goldbach como postdoctorado en Montral en el ao
2006. Estuve tratando de ver si haba algunas maneras diferentes de probar el teorema de Vinogradov,
me escribi en un e-mail. Comprend que uno puede probar esto sin el mtodo del crculo; escribi, pero
no me fue posible dar una cota C razonable mediante las pruebas alternativas. Sin embargo, artculos y
conversaciones con otros investigadores le proporcionaron sugerencias de cmo mejorar las cotas que
provenan del mtodo del crculo.

Helfgott finalmente logr trabajar con una cota superior por debajo de 1u
30
, un tamao mucho ms
manejable, y con David Platt de la Universidad de Bristol, verific la conjetura para todos los nmeros,
por debajo de esa cota, con la ayuda del computador. Pero el pesado recurso computacional fue dedicado
tambin para verificar la Hiptesis Generalizada de Riemann (HGR) para un nmero grande pero finito
de casos. La HGR es uno de los ms importantes problemas no resueltos de la matemtica. Si la HGR se
resuelve, nos ayudar a comprender la distribucin de los nmeros primos mucho mejor de lo que
hacemos ahora. De hecho, si la HRG fuese probada, la conjetura ternaria de Goldbach sera un corolario.
Pero por el momento, la verificacin asistida con computadoras para chequear la HGR para ciertos
nmeros es lo mejor que podemos hacer.

5
http://terrytao.wordpress.com/2012/05/20/heuristic-limitations-of-the-circle-method/
Por supuesto, hacer progresos sustanciales en un problema que algunos de los ms brillantes
matemticos del siglo pasado han trabajado no era una tarea fcil. Haban varios callejones sin salida-
en un momento tuve que tirar un manuscrito de 50 pginas, escribi Helfgott. Era difcil decir por la
mitad si el plan iba a ser verdaderamente exitoso. Despus de todo, si hubiera conseguido un C bajo
los 1u
100
, an hubiera sido mayor que el nmero de partculas subatmicas en el universo multiplicado
por el nmero de segundos desde el Big Bang- no hubiera existido ninguna posibilidad de chequear
cosas tan grandes. Helfgott escribi que el seguimiento expresamente de las cotas fue una las ms partes
ms difciles del trabajo. Una cosa irritante sobre el problema fue que result no ser el tipo de cosa que
yo podra trabajar sobre mi cabeza mientras estaba en el cine o en un concierto (no que yo deba). Sin
embargo consegu algunas buenas ideas en la ducha.

El artculo de Helfgott an no ha sido revisado, pero los expertos en teora de nmeros se muestran
optimistas a que el teorema pasar el escrutinio. Por desgracia, el resultado no proporciona mucha
iluminacin sobre la conjetura fuerte de Goldbach. Terence Tao, quin demostr el ao pasado que todo
nmero impar puede ser escrito como la suma de al menos cinco primos, escribi en Google Plus
6
que
el mtodo del crculo es muy poco probable que sea capaz de resolver la conjetura de Goldbach por s
mismo. Helfgott escribi que el problema esencialmente es de que la conjetura fuerte de Goldbach
requerir estimaciones asintticas- ms refinadas refinada a cerca de los valores de ciertas cantidades-en
los puntos clave, en lugar de los lmites superiores gruesos disponibles a travs de los mtodos actuales.

Le pregunt a Helfgott cmo haba celebrado su logro. Bueno, di una conferencia sobre esto ayer y
luego almorzamos en la ciudad, como usualmente ocurre cuando uno visita un lugar para dar una
conferencia. Mis padres me vienen a visitar ahora, de modo que ser un buen momento para tomar un
breve descanso. Helfgott est comprensiblemente aliviado de haber finalizado su gran proyecto y volver
a su rutina normal, que tambin incluye estudios no matemticos. A veces me enfrent a la difcil
disyuntiva de trabajar en la noche o prepararme para un examen de ruso, escribi. Felizmente ahora
me voy a poner al da con los idiomas ahora que esto est hecho. Helfgott tiene un dominio fluido del

6
https://plus.google.com/114134834346472219368/posts/8qpSYNZFbzC
ingls, francs, espaol, alemn y esperanto, y segn su blog
7
lamentablemente necesita practicar
polaco, quechua (una lengua indgena de su pas natal, Per) y Ruso
8
.

El ttulo de este post es una alusin a las Variaciones de Goldberg de Bach
9
. Slo puedo esperar que Vi
Hart
10
u otra persona con talento este escribiendo una cancin sobre la conjetura de Goldbach con la
meloda del tema de las Variaciones de Goldberg. Mientras tanto, aqu un artculo de Wired
11
del 2012
sobre una hermosa visualizacin de las notas.

7
http://valuevar.wordpress.com/about/
8
Esta frase fue editado despus de la publicacin. Helfgott me escribi para corregir la lista de los idiomas que habla.
Tambin me envi una foto ms reciente de s mismo, que he aadido a la parte superior del poste.
9
http://www.youtube.com/watch?v=N2YMSt3yfko
10
http://www.youtube.com/user/Vihart
11
http://www.wired.co.uk/magazine/archive/2012/03/play/bach-mapped