🔢 mathematics

A note on the partition function of a rectangle

Este artigo investiga o comportamento assintótico das funções de partição de retângulos, estabelecendo que o número de maneiras de particionar um quadrado $n \times n$ cresce como $\exp\left( \left(\frac{\pi}{\sqrt{3}}+o(1)\right)n\sqrt{\log n} \right)$ , enquanto partições de um retângulo $3 \times n$ crescem como $\exp\left( \pi\sqrt{\frac{11n}{3}}+O(\log n) \right)$ .

Autores originais: Krystian Gajdzica, Maciej Zakarczemny

Publicado 2026-08-11

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Krystian Gajdzica, Maciej Zakarczemny

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um mestre construtor com um suprimento infinito de peças de Lego, mas com um detalhe: você só pode usar peças retangulares e deve construir uma parede perfeita e sólida, sem lacunas ou sobreposições. Agora, imagine que você tem o projeto de uma parede que é um quadrado perfeito, digamos $n$ blocos de largura e $n$ blocos de altura. A pergunta que os matemáticos adoram fazer é: "De quantas maneiras diferentes você pode organizar essas peças para preencher esse quadrado?" Isso não se trata apenas de empilhá-las em uma linha; trata-se de misturar e combinar diferentes tamanhos — pequenos quadrados $1\times1$ , tiras longas de $1\times5$ ou blocos robustos de $2\times3$ . No mundo da matemática, isso é chamado de "partição", e contar essas arranjos é como tentar contar todas as formas possíveis de resolver um quebra-cabeça gigante e complexo.

Por muito tempo, os matemáticos estiveram obcecados em contar esses arranjos para números simples (como apenas somar inteiros para obter um total). Mas quando você passa de uma linha plana de números para um retângulo 2D, o problema explode em complexidade. É como passar de organizar livros em uma única prateleira para preencher uma biblioteca inteira com livros de diferentes formatos e tamanhos. Este artigo específico mergulha em duas versões muito complicadas desse quebra-cabeça: uma onde o projeto é um quadrado perfeito ( $n \times n$ ) e outra onde o projeto é um retângulo muito longo e fino ( $3 \times n$ ). Por que isso importa? Porque esses padrões aparecem em toda parte na natureza e na física, desde como os átomos se agrupam até como os níveis de energia se comportam. Compreender a "taxa de crescimento" desses padrões — o quão rápido o número de possibilidades dispara à medida que a parede aumenta — é como encontrar o código secreto que governa como a complexidade se constrói em nosso universo.

Então, o que os autores deste artigo realmente descobriram? Eles não apenas adivinharam; eles construíram uma ponte matemática rigorosa para cruzar do conhecido para o desconhecido. Primeiro, eles abordaram o quadrado ( $n \times n$ ). Eles provaram que, conforme o quadrado se torna enorme, o número de maneiras de revesti-lo cresce a uma taxa muito específica e selvagem. Não é apenas uma explosão simples; é um crescimento "super-exponencial" que depende do tamanho do quadrado multiplicado pela raiz quadrada de seu logaritmo. Em termos simples, eles descobriram que o número de maneiras de revestir um quadrado é aproximadamente $e$ elevado à potência de $(\pi/\sqrt{3}) \times n \times \sqrt{\log n}$ . Eles também forneceram limites superiores e inferiores mais simples, "bons o suficiente", para mostrar que sua resposta principal é sólida, mesmo que a fórmula exata seja um pouco complexa.

Em seguida, eles voltaram sua atenção para o retângulo longo e fino ( $3 \times n$ ). Este é um bicho diferente porque um dos lados é fixo em 3 enquanto o outro cresce infinitamente. Aqui, os autores encontraram uma resposta ainda mais precisa. Eles provaram que o número de maneiras de revestir este retângulo é aproximadamente $e$ elevado à potência de $\pi \times \sqrt{11n/3}$ . Isso não é apenas um palpite ou uma simulação; é um fato matematicamente comprovado com uma margem de erro muito estreita. Eles também mostraram que um palpite anterior, mais fraco, sobre este problema era muito impreciso, substituindo-o por uma fórmula muito mais nítida e precisa.

Para obter essas respostas, os autores tiveram que ser criativos. Para o quadrado, eles não puderam simplesmente contar cada revestimento (existem muitos!). Em vez disso, usaram um truque inteligente: contaram todas as coleções possíveis de retângulos que poderiam caber na área, mesmo que não pudessem ser realmente organizados em um quadrado sem lacunas. Isso lhes deu um "teto" (um limite superior). Depois, construíram um "chão" específico (um limite inferior) ao mostrar que poderiam definitivamente construir um enorme número de quadrados válidos usando uma estratégia de empacotamento específica. Ao espremer a resposta verdadeira entre este chão e este teto, eles provaram a taxa de crescimento exata. Para o retângulo $3 \times n$ , eles usaram uma estratégia semelhante, mas tiveram que dividir o retângulo em tiras menores e gerenciáveis e usar ferramentas avançadas da teoria das "funções geratrizes" (que são como fórmulas mágicas que transformam problemas de contagem em problemas de álgebra) para obter os números precisos.

O artigo também toca em um mistério maior e não resolvido. Os autores sugerem que, para um retângulo de tamanho $m \times n$ (onde $m$ é um número fixo como 4 ou 5 e $n$ fica enorme), pode haver um padrão universal de como esses números crescem. Eles têm evidências fortes para $m=1, 2$ e $3$, mas para $m=4$ e superiores, a resposta continua sendo uma questão aberta e instigante. Eles até tentaram construir uma "escada" de retângulos para resolver o caso $4 \times n$ e funcionou, mas para $5 \times n$ , esse mesmo truque falhou, sugerindo que as regras mudam conforme o retângulo fica mais largo.

Em resumo, este artigo é um triunfo de precisão. Ele pega dois problemas de contagem muito difíceis — um para quadrados e outro para retângulos longos — e os resolve com fórmulas exatas. Ele diz exatamente o quão rápido o número de possibilidades cresce conforme as formas aumentam, substituando palpites vagos por matemática comprovada e rigorosa. Embora não tenham resolvido o problema para todos os tamanhos possíveis de retângulos, eles decifraram o código para os casos mais interessantes e forneceram um roteiro para aqueles que ainda estão esperando para serem resolvidos.

Resumo Técnico: Uma Nota sobre a Função de Partição de um Retângulo

Enunciado do Problema

Este artigo investiga o comportamento assintótico da função de partição de um retângulo $p(m, n)$ , que conta o número de maneiras de particionar um retângulo de tamanho $m \times n$ em um multiconjunto de blocos retangulares de lados inteiros. Duas partições são consideradas idênticas se consistirem no mesmo multiconjunto de tipos de blocos, onde um bloco $a \times b$ é indistinguível de um bloco $b \times a$ . A disposição geométrica dos blocos é irrelevante para a contagem; apenas o multiconjunto de tipos importa, desde que os blocos possam teoricamente ladrilhar a área $m \times n$ .

Os autores focam em dois casos específicos:

Partições quadradas: $p(n, n)$ , onde ambas as dimensões tendem ao infinito.
Retângulos de altura fixa: $p(3, n)$ , onde a altura é fixa em 3 e a largura $n$ tende ao infinito.

Esses problemas generalizam a função clássica de partição de inteiros $p(n)$ , que corresponde ao caso $p(1, n)$ . Enquanto o comportamento assintótico de $p(m, n)$ para um $m$ fixo e $n$ grande foi conjeturado pelos autores e por Robin Visser como seguindo uma forma específica envolvendo números harmônicos, o comportamento preciso para o caso do quadrado ( $m=n$ ) apresenta um desafio assintótico distinto.

Metodologia

O artigo emprega uma combinação de teoria analítica dos números, funções geratrizes e construções combinatórias de empacotamento.

Limites Superiores via Funções Geratrizes: Os autores derivam limites superiores relaxando a condição de ladrilhagem geométrica (condição 3 na Definição 1.1). Eles consideram o número de multiconjuntos de retângulos com área total $mn$, independentemente de eles poderem fisicamente ladrilhar o retângulo. Isso é modelado usando funções geratrizes da forma $\prod (1-x^{ab})^{-r(ab)}$ , onde $r(ab)$ conta o número de tipos de retângulos com área $ab$.
- Para $p(n, n)$ , eles comparam a função geratriz com a de partições em partes de um multiconjunto relacionado à função de divisor $d(s)$ , utilizando resultados de Berndt, Robles, Zaharescu e Zeindler.
- Para $p(3, n)$ , eles decompõem o problema em partições envolvendo blocos de altura 3 e aqueles sem tal altura, usando a convolução de funções geratrizes e o teorema tauberiano de Ingham (conforme refinado por Bringmann Jennings–Shaffer e Mahlburg) para extrair coeficientes assintóticos.
Limites Inferiores via Construções de Empacotamento: Para estabelecer limites inferiores, os autores constroem ladrilhagens específicas.
- Para $p(n, n)$ , eles utilizam uma abordagem de "partição colorida" combinada com um algoritmo de empacotamento guloso (greedy packing). Eles particionam o quadrado em tiras horizontais de alturas variadas e preenchem-nas com retângulos derivados de partições inteiras restritas.
- Para $p(3, n)$ , eles empregam uma construção de "escada" (staircase), dividindo o retângulo $3 \times n$ em tiras horizontais de alturas 3, 2 e 1, e preenchendo-as com retângulos de alturas correspondentes derivadas de partições inteiras com partes restritas.
Análise Assintótica: As provas dependem fortemente da fórmula assintótica de Hardy–Ramanujan para $p(n)$ , propriedades da função eta de Dedekind e estimativas precisas de somas harmônicas e funções de divisor.

Principais Contribuições e Resultados

Fórmula Assintótica para Partições Quadradas ( $p(n, n)$ ):
Os autores estabelecem o termo assintótico principal para a função de partição quadrada:
$p(n, n) = \exp\left( \left(\frac{\pi}{\sqrt{3}} + o(1)\right) n \sqrt{\log n} \right)$
Este resultado é significativo porque difere da forma conjeturada para $m$ fixo (que escala como $\sqrt{n}$ ). O caso do quadrado escala como $n\sqrt{\log n}$ . O artigo também fornece dois limites superiores elementares mais fracos e um limite inferior simples para ilustrar a dificuldade do problema antes de apresentar a prova principal.
Fórmula Assintótica para $p(3, n)$ :
O artigo prova o comportamento assintótico exato para o retângulo $3 \times n$ :
$p(3, n) = \exp\left( \pi \sqrt{\frac{11n}{3}} + O(\log n) \right)$
Isso confirma a conjectura para $m=3$ com um termo de erro mais forte ( $O(\log n)$ no expoente) do que o conhecido anteriormente. A constante $\pi\sqrt{11/3}$ é derivada da interação de partições em partes de tamanho $\ge 3$ e tipos de blocos específicos permitidos na geometria $3 \times n$ .
Limites Superiores Independentes:
Os autores apresentam um limite superior independente para $p(3, n)$ que é mais fraco que o resultado principal, mas derivado via uma abordagem analítica diferente, oferecendo uma perspectiva alternativa sobre o problema.
Conjecturas para $m$ Geral:
Enquanto provam o caso para $m=3$ , os autores reiteram sua conjectura para $m \ge 4$ fixo:
$p(m, n) = \exp\left( \pi \sqrt{\frac{2m H_m}{3} n} + o(\sqrt{n}) \right)$
onde $H_m$ é o $m$ -ésimo número harmônico. Eles observam que o caso do quadrado ( $m=n$ ) permanece um problema distinto onde ambas as dimensões crescem.

Significância e Alegações

O artigo afirma resolver o comportamento assintótico logarítmico preciso para a função de partição quadrada $p(n, n)$ , um problema que permanecia em aberto apesar de valores conhecidos para $n$ pequenos. Os autores enfatizam que o caso do quadrado leva a um problema assintótico fundamentalmente diferente comparado aos retângulos de altura fixa, pois ambos os comprimentos de lado tendem ao infinito.

Para o caso $3 \times n$ , o artigo fornece a primeira prova da fórmula assintótica com um termo de erro rigoroso, confirmando os argumentos heurísticos e a evidência numérica previamente reunidos. Os autores notam modestamente que, embora sua construção para $p(4, n)$ se alinhe com a conjectura, a construção de "escada" usada para $m=3$ e $m=4$ falha em produzir o termo exponencial conjeturado para $m=5$ , sugerindo que diferentes arranjos geométricos podem ser necessários para alturas fixas maiores.

O trabalho contribui para a teoria mais ampla das partições de inteiros ao estender a análise assintótica para problemas de partição geométrica, unindo a teoria clássica de partições e problemas de ladrilhagem onde a ordem dos blocos é irrelevante.

Mais como este