Como matemáticos encontraram novas formas de resolver um problema de décadas

Matemáticos mostraram que é possível construir corpos de largura constante em dimensões maiores que três, de forma eficiente e com volume próximo da bola.
O grupo de Andrii Arman, Danylo Radchenko, Andrii Bondarenko, Andriy Prymak e Fedor Nazarov revelou um algoritmo simples para criar essas formas n-dimensionais, com volume no máximo 0,9n maior que o da bola.
A descoberta responde à pergunta de Oded Schramm, feita em 1988, e dá uma primeira visão prática de como seriam essas formas em dimensões superiores.
A pesquisa sugere que, à medida que as dimensões aumentam, a diferença entre o menor e o maior corpo de largura constante cresce exponencialmente, abrindo novas possibilidades na geometria de alta dimensão.
Há potencial de aplicações em aprendizado de máquina para analisar conjuntos de dados de alta dimensão, além de conexões com o problema de Borsuk, que também motivou a investigação.

Em 1988, a pergunta sobre a existência de corpos de largura constante em dimensões superiores ganhou nova intensidade com Oded Schramm. Ele propôs investigar se é possível construir formas menores que a bola mantendo a mesma largura em todas as direções. O tema ficou no centro de debates sobre geometria de altas dimensões.

Agora, cinco pesquisadores — quatro deles com origens na Ucrânia — anunciaram ter conseguido, de forma surpreendente simples, responder afirmativamente. Eles provaram que existem corpos de largura constante em dimensões elevadas com volume exponencialmente menor que o da bola. O resultado avança o conhecimento sobre formas de largura constante.

A equipe usou uma abordagem que parte de sementes simples e de interseções de regiões geométricas em alta dimensão. Ao transformar a ideia em um algoritmo, eles construíram uma forma n-dimensional cuja largura é constante e cujo volume não excede 0,9^n vezes o da bola. O ganho é considerar que o volume relativo pode crescer rapidamente com a dimensão.

Plantando a semente

Andrii Arman e Danylo Radchenko surgiram de um vínculo escolar em Kiev e se reencontraram ao longo de suas carreiras. Eles contaram com Andrii Bondarenko e Andrii Prymak para completar a equipe, que chegou a uma curva determinante para obter a forma desejada. A colaboração inclui ainda a participação de Fedor Nazarov, que contribuiu com insights importantes a partir de MathOverflow.

Os quatro pesquisadores passaram a trabalhar remotamente, reunindo-se por videoconferência duas vezes por semana para discutir provas de geometria. A estratégia envolveu utilizar sementes de formas simples para oscilar entre regiões de interseção de bolas e obter o corpo de largura constante em dimensões superiores.

O ponto-chave veio ao perceber que a forma obtida a partir da semente não apenas continha um corpo de largura constante, mas era ele próprio esse corpo. Essa constatação, associada a uma construção relativamente acessível, permitiu ao grupo propor um algoritmo claro para gerar formas de largura constante com limites de volume descritos.

Seguindo em frente

O avanço é visto como uma solução parcial para um problema aberto desde as décadas passadas. O trabalho pode abrir caminhos para entender melhor geométrias de altas dimensões e suas aplicações, inclusive em aprendizado de máquina para dados multidimensionais. Pesquisadores ressaltam que a descoberta não apenas resolve a pergunta de Schramm, mas desdobra um conjunto de possibilidades teóricas antes inacessáveis.

Para alguns especialistas, o resultado muda a percepção sobre o comportamento de corpos de largura constante em dimensões elevadas. Observa-se que, diferente do conhecido comportamento em três dimensões, não basta considerar apenas a bola como o corpo mais estável: há formas significativamente menores com largura constante em dimensões superiores.

O grupo realizou testes com várias sementes e identificou uma construção que, em três dimensões, chegou a ser apenas 1% maior do que o menor corpo conhecido. Ainda que não tenha superado esse melhor candidato, a abordagem abre espaço para novas investigações, mantendo o foco no problema de Borsuk e em aplicações potenciais em matemática computacional.