Area correlations related to lattice points in discs

O Grande Jogo da Grade: Quando Círculos Encontram Quadrados

Imagine que você está olhando para um chão gigante e infinito revestido perfeitamente com azulejos quadrados, como um tabuleiro de xadrez que nunca termina. Agora, imagine desenhar um círculo imenso sobre este chão. À medida que o círculo cresce cada vez mais, ele corta as bordas desses azulejos. Alguns azulejos estão quase inteiramente dentro do círculo, outros estão quase inteiramente fora, mas aqueles que o círculo atravessa são os interessantes. Esses "azulejos de fronteira" são cortados em formas estranhas, e a quantidade de azulejo que acaba dentro do círculo é uma fração entre 0 e 1.

Este cenário situa-se na interseção entre a geometria e a teoria dos números, dois campos que muitas vezes parecem falar língagens diferentes. Um pergunta: "Que forma essa figura tem?" enquanto o outro pergunta: "Quantos números inteiros cabem dentro dela?". Por mais de um século, matemáticos têm se fascinado pelo "Problema do Círculo de Gauss", que é essencialmente um jogo de contar quantos pontos de grade (os cantos dos azulejos) caem dentro de um círculo. Mas há um detalhe: o erro nessa contagem não é um ruído aleatório; possui uma estrutura oculta. Recentemente, pesquisadores começaram a fazer uma pergunta mais profunda: se você observar as fatias dos azulejos ao longo da borda do círculo, o tamanho dessas fatias se comportará como uma bagunça caótica e imprevisível ou existe uma ordem oculta? Especificamente, se você souber o tamanho da fatia em um azulejo, pode adivinhar o tamanho da fatia em um azulejo que está a uma distância significativa de distância ao longo da curva? Este artigo mergulha nessa questão, tratando a borda do círculo não apenas como uma forma, mas como um caminho móvel que varre a grade.

A História do Círculo que Varre

Neste artigo, Matteo Bordignon e Pär Kurlberg nos levam em uma jornada para ver se as "fatias" desses azulejos da grade estão conectadas ou se são essencialmente independentes umas das outras. Eles investigam uma ideia específica chamada "conjectura da correlação de área evanescente". Em termos simples, essa conjectura sugere que, à medida que o círculo cresce infinitamente, o tamanho da fatia em um azulejo não tem absolutamente nenhuma influência no tamanho da fatia em outro azulejo, mesmo que você observe azulejos que estão a uma distância macroscópica de distância. Especificamente, o artigo prova que isso é verdade desde que a distância entre os dois azulejos (medida no número de azulejos ao longo da borda do círculo) seja aproximadamente proporcional ao raio do círculo elevado a uma potência ligeiramente inferior a 1. Esta é uma distância vasta, cobrindo uma fração significativa da circunferência total do círculo, e não apenas vizinhos imediatos. É como jogar uma moeda: se você tira cara, isso não altera as chances de a próxima jogada ser cara ou coroa, mesmo que você espere por uma longa sequência de jogadas passarem.

Os autores provam que essa ideia de "nenhuma conexão" é verdadeira. Eles mostram que a correlação entre as áreas dessas fatias de fato desaparece (evanesce) à medida que o círculo se torna enorme. Os autores descrevem isso como "mistura para a observável de área" (mixing for the area observable), uma maneira sofisticada de dizer que o sistema esquece seu passado rapidamente em termos de estatísticas de área, embora o caminho do círculo seja, na verdade, muito previsível e ordenado. De fato, o artigo afirma explicitamente que o fluxo é "essencialmente integrável" e que a verdadeira "mistura" (no sentido estrito dos sistemas dinâmicos) certamente não ocorre porque o ângulo do caminho do círculo em relação às linhas da grade permanece essencialmente constante. No entanto, apesar dessa ordem rígida, as medições de área específicas comportam-se como se fossem aleatórias e não correlacionadas ao longo dessas grandes distâncias.

Para entender como fizeram isso, imagine a borda do círculo como um feixe de laser varrendo o chão. Os autores perceberam que, enquanto o feixe se move, ele não atinge os azulejos aleatoriamente. Ele segue uma curva suave. No entanto, eles encontraram um truque inteligente: se você olhar para o feixe ao longo de uma distância muito curta, a curva é tão suave que parece uma linha reta. Eles usaram um "modelo probabilístico" para fingir que o círculo é, na verdade, uma família de linhas retas com ângulos ligeiramente diferentes. Ao fazer isso, puderam mostrar que, conforme o ângulo da linha muda apenas um pouquinho, a quantidade de azulejo que ela corta percorre todas as possibilidades de tamanho, de zero a um, de forma completamente aleatória. Como o ângulo muda tão suavemente e cobre todas as possibilidades, o tamanho específico do corte em um ponto torna-se completamente não relacionado ao tamanho do corte um pouco mais adiante na linha.

O artigo também calcula exatamente como é a distribuição desses tamanhos de fatias. Eles descobriram que os tamanhos não são distribuídos uniformemente. Em vez disso, existem "singularidades", ou picos, nas extremidades. Isso significa que é bastante comum que o círculo corte uma pequena lasca de um azulejo (área quase zero) ou um grande pedaço (quase o azulejo inteiro), e menos comum que ele corte o azulejo exatamente ao meio. Eles também forneceram uma fórmula matemática precisa para a probabilidade de obter uma fatia de qualquer tamanho específico, que envolve integrais complexas, mas que essencialmente descreve uma curva que declina no meio e apresenta picos nas bordas.

Uma das partes mais interessantes de seu trabalho é como lidaram com os pontos "ruins". No mundo dos círculos e grades, existem certos ângulos onde a borda do círculo corre quase perfeitamente paralela às linhas da grade (especificamente, onde a inclinação é bem aproximada por frações simples). Nesses pontos específicos, as fatias podem não se comportar de forma aleatória. Os autores não simplesmente excluíram esses pontos de seu estudo; em vez disso, provaram que esses pontos complicados são tão raros que são insignificantes em número comparados ao total de azulejos. Eles mostraram que o resultado é válido para a "maior parte" dos intervalos, e que a contribuição desses ângulos raros e não aleatórios é tão pequena que não estraga o quadro geral. Contanto que você olhe para uma seção suficientemente grande do círculo, os pontos "ruins" são apenas uma gota minúscula no oceano, e o resto da água flui perfeitamente suavemente.

Os autores também observaram o tamanho médio dessas fatias. Eles confirmaram que, em média, o círculo corta exatamente metade de cada azulejo de fronteira. Isso pode parecer óbvio, mas provar isso rigorosamente para um círculo em crescimento é uma conquista significativa. Eles também calcularam a "variância", que mede o quanto os tamanhos das fatias oscilam em torno dessa média. Eles encontraram um número específico, aproximadamente 0,119, que descreve essa oscilação para todo o círculo.

No fim, este artigo confirma que, embora um círculo movendo-se através de uma grade seja um sistema muito ordenado e previsível (matemáticos chamam isso de "integrável"), a maneira como ele corta os azulejos parece surpreendentemente aleatória ao longo de grandes distâncias. A área da fatia em um azulejo não prevê a área em outro azulejo a uma distância macroscópica de distância. É um belo exemplo de como a ordem pode criar a ilusão de caos, e como matemáticos podem usar as ferramentas da probabilidade para entender o comportamento de formas geométricas rígidas. Os autores não apenas adivinharam isso; eles provaram com matemática rigorosa, mostrando que a "memória" do caminho do círculo desaparece conforme ele cresce, deixando para trás um padrão que é tão aleatório quanto o lançamento de dados.