O CORREDOR SOLITÁRIO FINALMENTE GANHA ALGUM ESPAÇO

Imagine uma pista circular de uma volta de comprimento. Vários corredores largam do mesmo ponto no mesmo instante, cada um na sua própria velocidade constante, todas diferentes. A conjectura do corredor solitário (lonely runner conjecture) diz que cada corredor ficará, em algum momento, sozinho: a uma distância de pelo menos 1/(n + 1) de volta de todos os outros, quando há n + 1 corredores ao todo.

O problema é mais antigo que o seu nome. Segundo Xiyu Hu (Universidade da Academia Chinesa de Ciências) e Yifan Jing (Universidade Estadual de Ohio), ele remonta à tese de doutorado de Jörg Wills, de 1965, sobre a aproximação de números por frações. Cusick deu uma versão equivalente em termos de linhas de visão bloqueadas por obstáculos; os corredores vieram depois, com uma reformulação de Goddyn. Desde então, ele foi ligado a trajetórias de bilhar, colorações de grafos e fluxos em estruturas abstratas chamadas matroides.

Medindo a solidão

Os matemáticos costumam fixar um corredor e olhar as velocidades dos outros em relação a ele: um conjunto V de n números inteiros positivos distintos. No instante t, um corredor de velocidade v está na posição vt ao longo da pista, e a sua distância da largada se escreve ∥vt∥ — a distância de vt ao número inteiro mais próximo. A solidão máxima de V é

ML(V) = máximo sobre t do mínimo sobre v em V de ∥vt∥

O melhor momento, julgado pelo corredor mais próximo. A conjectura afirma que ML(V) ≥ 1/(n + 1), e isso seria ótimo: para as velocidades 1, 2, …, n, a solidão máxima é exatamente 1/(n + 1). Com dois corredores em movimento, a velocidades 1 e 2, por exemplo, o corredor fixo pode estar no máximo a um terço de volta de ambos — no instante 1/3.

A metade fácil

Metade da resposta sai barata. Os momentos em que um dado corredor está a menos de δ da largada ocupam uma fração 2δ do relógio. Com n corredores, se 2nδ for menor que 1, essas janelas de tempo não podem cobrir tudo, então algum momento fica livre de todas elas. Fazendo δ crescer até o seu limite, obtém-se

ML(V) ≥ 1/(2n)

Isso é mais ou menos metade do que a conjectura prevê. Ir além disso se mostrou teimoso. Os autores recapitulam a história: por décadas, apenas ganhos da ordem de 1/n²; depois, melhorias de Perarnau e Serra, de Terence Tao em 2018, de Benjamin Bedert em 2025. Mas todas compartilham uma fraqueza: em relação a 1/(2n), a melhoria tende a zero à medida que o número de corredores cresce.

Um ganho que não desaparece

O novo teorema muda isso:

ML(V) > (1 + c)/(2n)

para uma constante fixa c > 0 e todo conjunto de n ≥ 2 velocidades. A margem extra agora é uma fração constante do limite fácil, qualquer que seja o número de corredores. A constante é explícita, mas não é calculada no artigo, e os autores não tentam otimizá-la. Ela não chega ao 1/(n + 1) conjecturado; é o primeiro ganho que não se dissolve.

A prova examina como as “janelas de perigo” de diferentes corredores se sobrepõem. Algumas se sobrepõem porque compartilham um centro — corredores cujas velocidades têm divisores comuns passam juntos pela largada. Outras se sobrepõem em centros diferentes. Para o primeiro tipo, os autores refinam um argumento sobre grandes divisores comuns devido a Green e Walker. Para o segundo, provam uma nova desigualdade geométrica: quando as janelas são alargadas em torno dos seus centros, as suas sobreposições precisam crescer mais do que proporcionalmente. De um jeito ou de outro, o tempo descoberto não pode encolher até zero.

De quebra, o resultado melhora um limite inferior para o “problema do pijama”: quantas cópias giradas e esticadas de um padrão listrado são necessárias para cobrir o plano.

Quem fez o quê

O artigo traz uma declaração explícita sobre o uso de IA. A estratégia e a estrutura foram dos próprios autores. O ChatGPT 6 Pro e o ChatGPT 6 Astra foram usados principalmente para verificar argumentos, transformar provas informais em provas rigorosas e explorar refinamentos. O Pro sugeriu recorrer a somas sobre divisores comuns e, mais tarde, corrigiu “algumas pequenas lacunas” numa primeira versão da prova da desigualdade-chave. As provas finais foram escritas pelos autores. O veredito deles sobre as ferramentas é preciso: “os modelos não conseguiram melhorar o limite do corredor solitário por conta própria.”

Sessenta anos depois de Wills, a solidão garantida a cada corredor tem, pela primeira vez, uma margem que não sai do lugar.