- Guth e Maynard melhoraram pela primeira vez de forma significativa o limite superior clássico de Ingham, de 1940, para os zeros da função zeta de Riemann
- Define-se 𝑁(σ,𝑇) como o número de zeros da função zeta de Riemann cuja parte real é pelo menos σ e cuja parte imaginária tem módulo no máximo 𝑇
- A hipótese de Riemann afirma que, para σ>1/2, 𝑁(σ,𝑇) é 0, mas isso não pode ser provado incondicionalmente
- Em vez disso, é possível provar estimativas de densidade de zeros, isto é, limites superiores não triviais para 𝑁(σ,𝑇)
- σ=3/4 é um valor-chave, e Ingham obteve em 1940 o limite superior 𝑁(3/4,𝑇)≪𝑇^(3/5+𝑜(1))
- Ao longo dos 80 anos seguintes, a única melhora nesse limite foi apenas um pequeno ajuste no erro 𝑜(1)
- Isso vinha limitando muitas coisas na teoria analítica dos números (por exemplo: para obter um bom teorema dos números primos em quase todos os intervalos curtos da forma [𝑥,𝑥+𝑥^θ], era necessário θ>2/3)
Avanço de Guth e Maynard:
- Melhoraram o limite de Ingham de 3/5=0.6 para 13/25=0.52
- Isso leva a melhorias correspondentes em muitas partes da teoria analítica dos números (por exemplo: o intervalo em que se pode provar o teorema dos números primos em quase todos os intervalos curtos melhora de θ>2/3 para θ>12/25)
- O argumento tem caráter principalmente de análise de Fourier
- A primeira etapa é padrão e será familiar a muitos teóricos analíticos dos números que já tentaram atacar a hipótese de Riemann
- No entanto, eles fazem muitas manipulações engenhosas e inesperadas (por exemplo: controlam uma matriz de fase-chave elevando-a à sexta potência e não simplificam uma integral de Fourier complexa usando fase estacionária)
Conhecimentos de base:
- A hipótese de Riemann é um dos problemas em aberto mais famosos da teoria analítica dos números
- A função zeta de Riemann é uma função profundamente relacionada aos números primos, e compreender a distribuição de seus zeros é importante
- Séries de Dirichlet são uma família de funções que generalizam a função zeta de Riemann
Opinião do GN⁺
- Hipótese de Riemann: a hipótese de Riemann é um dos problemas em aberto mais importantes da matemática, e pesquisas relacionadas a ela sempre atraem grande atenção.
- Teoria analítica dos números: este estudo representa um avanço importante para resolver vários problemas da teoria analítica dos números.
- Abordagem técnica: destaca-se a abordagem original que aproveita a análise de Fourier e propriedades especiais das séries de Dirichlet.
- Impacto prático: pode ajudar de forma concreta a resolver problemas relacionados à distribuição dos números primos.
- Necessidade de mais pesquisa: como ainda não se trata de uma solução completa, são necessárias mais pesquisas e verificações.
1 comentários
Comentários do Hacker News
Visualização da função zeta: Apresenta uma ferramenta de visualização da função zeta feita em JavaScript, com zoom infinito e parâmetros ajustáveis. Isso pode ajudar a entender por que a hipótese parece muito provavelmente verdadeira.
James Maynard no Numberphile: Como James Maynard aparece com frequência no Numberphile, é uma recomendação para quem quiser conhecer de forma mais acessível a matemática de um dos autores deste artigo.
Vídeo introdutório sobre a hipótese de Riemann: Recomenda uma série de vídeos de introdução à hipótese de Riemann que pode ser acompanhada até por pessoas com formação em STEM. Graças a esses vídeos, foi possível entender até as partes mais complexas.
Resumo de Terence Tao: Imagina a situação em que Terence Tao menciona sua própria tentativa enquanto resume a alegação de outra pessoa. Trata-se de uma argumentação baseada em análise de Fourier.
Prova proposta em 2018: Encontrou um material introdutório útil sobre a possível importância de uma prova proposta em 2018.
O significado da hipótese de Riemann: Entende a hipótese de Riemann como a afirmação de que todos os zeros da função zeta estão em uma única linha do plano complexo. Em termos de engenharia, isso já seria uma prova "boa o suficiente".
Não entende, mas fica feliz: Não entende o conteúdo, mas sente alegria ao ver as pessoas empolgadas com isso.
Pedido de ELI5: Pede uma explicação fácil para quem não é matemático.
Teoremas que dependem da RH: Pergunta opiniões sobre lógicas intermediárias que excluem a RH e explica por que construtivistas as rejeitam.
Boa coincidência de timing: Está ouvindo "The Humans", de Matt Haig, e a história começa depois que alguém prova a hipótese de Riemann.