repositrio arXiv pr-impresso.

A conjectura de Goldbach ternrio, como tantas perguntas em teoria dos nmeros, fcil para o estado, mas difcil de provar. Cada nmero impar maior que 5 pode ser escrita como a soma de trs nmeros primos. (Os nmeros primos no tm outros que a si mesmos e ao nmero 1 fatores.) Por exemplo, 7 = 2 +2 +3 = 7 e 91 +41 +43.
O ternrio Goldbach conjectura s vezes chamado de fraco Goldbach conjectura. As fortes Goldbach conjectura afirma que todo nmero par maior que 2 pode ser escrito como a soma de dois nmeros primos. Ambas as conjecturas foram formuladas na correspondncia entre Christian Goldbach e Leonhard Euler em 1742, da o nome. Logicamente, se voc provar a forte conjectura de Goldbach, voc chegar a um fraco de graa: se voc tiver um nmero mpar maior do que 5, subtraia 3 do mesmo. Agora voc tem um nmero ainda maior do que 2. Ento, se voc sabe que todo nmero par maior que 2 a soma de dois nmeros primos, voc pode adicionar 3 (a principal) para ele para obter o seu nmero mpar, decomposto na soma de trs primos. Infelizmente, ele no funciona de outra maneira. Se voc tiver um nmero mpar escrito como a soma de trs primos e subtrair um dos primos mpares, voc deixado com um nmero par escrito como a soma de dois nmeros primos, mas no h nenhuma garantia de que todos os nmeros pares vai aparecer desta maneira . Mas a conjectura de Goldbach ternrio no estabelecer que todo nmero par pode ser escrito como a soma de no mximo quatro primos: basta subtrair qualquer nmero primo mpar (por exemplo, 3 ou 257.885.161-1) a partir do mesmo nmero que voc quer dividir, e voc deixado com outro nmero mpar, que agora sabemos que pode ser escrito como a soma de trs primos. Isto melhora 1995 teorema de Olivier Ramare que cada nmero par a soma de, no mximo, 6 primos. Resultado de Helfgott um grande negcio, mas ele no veio como um raio dos cus. Seu trabalho faz parte de uma longa linha de papis usando uma tcnica chamada de mtodo crculo Hardy-Littlewood-Vinogradov. (Cativante, hein?) A idia muito geral do mtodo de crculo que viramos uma pergunta sobre um conjunto de nmeros, neste caso, os primos, em uma pergunta sobre integrais sobre crculos usando tcnicas originalmente provenientes de anlise no plano complexo. Parece uma espcie de milagre que possvel at mesmo converter perguntas sobre nmeros inteiros, que so espaadas discretamente na linha nmero, em questes sobre funes contnuas. "Questes de distribuio dos nmeros primos, ou inteiros, pode ser expressa naturalmente em termos das propriedades de funes contnuas definidas em termos de eles", Helfgott escreveu em um e-mail. A explicao mais concreta do mtodo crculo est alm de mim, mas se voc quiser ir para ele e suas limitaes um pouco mais, voc pode conferir este post por Terence Tao. No para a equao de averso. Na dcada de 1930, o matemtico sovitico Ivan Vinogradov estabelecido que a conjectura de Goldbach ternrio vale para todos, mas um nmero finito de nmeros mpares, ento se algum poderia "apenas" verificar os nmeros mpares abaixo de um certo nmero enorme C, tudo seria bom. No foi apenas o problema traquinas que Vinogradov do obrigado era da ordem de 106846168, uma incrivelmente grande nmero de recursos computacionais de hoje, e muito menos os disponveis para Vinogradov. Ao longo dos prximos 70 anos ou mais, o

limite superior foi reduzido a cerca de 101.346 a partir de 2002, mas ainda era grande demais para suportar. Helfgott comeou a trabalhar na conjectura de Goldbach em 2006, como um ps-doc em Montral. "Eu estava tentando ver o que algumas maneiras diferentes de provar o Teorema de Vinogradov seria", escreveu ele em um e-mail. "Eu percebi que se podia provar que sem o mtodo crculo", escreveu ele, mas "no parece possvel dar limites razoveis C por provas alternativas." Mas jornais e conversas com outros pesquisadores deu dicas de como melhorar os limites provenientes do mtodo de crculo. Helfgott finalmente conseguiu lutar o limite superior at 1030, um tamanho muito mais gerencivel, e com David Platt, da Universidade de Bristol, ele verificou a conjectura para todos os nmeros abaixo que vinculados por computador. Mas os recursos computacionais pesadas foram dedicados a provar a hiptese de Riemann generalizada (GRH) para um grande, mas finito nmero de casos. A GRH uma das mais importantes problemas no resolvidos da matemtica. Caso resolvido, ele iria nos ajudar a entender a distribuio dos nmeros primos muito melhores do que ns. Na verdade, se a GRH foram provadas, a conjectura de Goldbach ternrio seria um corolrio. Mas, por enquanto, cheques assistidas por computador de GRH para determinados nmeros so o melhor que podemos fazer. Claro, a fazer progressos substanciais em um problema que alguns dos matemticos mais brilhantes do sculo passado, trabalhou em no foi uma tarefa fcil. "Havia vrios becos-cego em um ponto eu tive que jogar fora um manuscrito de 50 pginas," Helfgott escreveu. "Era difcil dizer no meio se o plano realmente ter sucesso. Afinal, se eu tinha trazido C at 10100, que ainda teria sido maior do que o nmero de partculas subatmicas no universo, multiplicado pelo nmero de segundos desde o Big Bang, no teria havido nenhuma esperana de verificar as coisas to longe! "Helfgott escreveu que manter o controle dos limites explicitamente foi uma das partes mais difceis do trabalho. "Uma coisa irritante sobre o problema foi que ele acabou por no ser o tipo de coisa que eu poderia trabalhar na minha cabea, enquanto no cinema ou em um show (no que eu deveria)", escreveu ele. "Eu tive algumas boas idias no chuveiro, no entanto." Papel de Helfgott no foi revisada por pares ainda, mas os tericos nmero parecem ser otimista de que o teorema ir realizar-se a escrutnio. Infelizmente, ela no fornece muita iluminao sobre a forte conjectura de Goldbach. Terence Tao, que provou no ano passado que a cada nmero mpar pode ser escrito como a soma de no mximo cinco primos, escreveu no Google Plus que "o mtodo de crculo muito pouco provvel que seja capaz de resolver a conjectura de Goldbach, mesmo por si s." Helfgott escreveu que o problema , essencialmente, que a conjectura de Goldbach forte exigiria assinttica informaes estimativas, mais refinado sobre os valores de certas quantidades em pontos-chave, ao invs de os grosseiros limites superiores disponveis atravs de mtodos atuais.

Perguntei Helfgott como ele havia comemorado sua realizao. "Bem, eu dei uma palestra sobre isso ontem, e depois fui levado para jantar pelos moradores, como geralmente acontece quando se visita um lugar para dar uma palestra. Meus pais esto vindo para visitar agora, por isso vai ser um bom momento para fazer uma pequena

pausa. "Helfgott , compreensivelmente, aliviado por ter acabado este grande projeto e voltar sua rotina normal, que inclui o estudo no-matemtica tambm. "Eu s vezes enfrentou o dilema difcil de se trabalhar para a noite ou se preparar para um teste russo, em vez", escreveu ele. "Espero ser recuperar o atraso em lnguas agora que isso feito." Helfgott fluente em Ingls, francs, espanhol, alemo e esperanto, e de acordo com seu blog "mal necessrio praticar" polons, Quechua (lngua indgena em sua casa de campo Peru) e russo. * O ttulo deste post uma aluso Variaes Goldberg de Bach. Eu s posso esperar que Vi Hart ou de outra pessoa talentosa est escrevendo uma cano sobre a conjectura de Goldbach para a melodia do tema a partir das variaes Goldberg. Nesse meio tempo, aqui est um artigo da Wired de 2012 sobre uma visualizao legal das notas. * Esta sentena foi editado aps a publicao. Helfgott me enviaram para corrigir a lista de idiomas que ele fala. Ele tambm me enviou uma foto mais recente de si mesmo, que eu adicionei ao topo do post.