Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities

1. Problema e Motivação

O artigo investiga desigualdades relacionadas ao número de ganchos $t$ ($t$-hooks) em classes específicas de partições de inteiros. O trabalho é motivado por estudos recentes sobre a identidade de Euler, que estabelece que o número de partições de $n$ em partes distintas é igual ao número de partições de $n$ em partes ímpares.

Andrews (2020) demonstrou que, para $n \ge 1$, o número total de partes nas partições de $n$ em partes distintas é maior ou igual ao número total de partes diferentes nas partições de $n$ em partes ímpares. Ballantine et al. generalizaram isso para ganchos, conjecturando que:

• Para $t=1$, o conjunto de partições com partes distintas tem mais ganchos que o conjunto de partições com partes ímpares.
• Para $t \ge 2$, a desigualdade se inverte para $n$ suficientemente grande (ou seja, as partições com partes ímpares passam a ter mais ganchos).

O objetivo principal deste artigo é estender essa questão de "viés de ganchos" para outras identidades fundamentais da teoria das partições que envolvem condições de lacuna (gap conditions) e condições de congruência, especificamente:

1. A Primeira Identidade de Rogers-Ramanujan (lacuna $\ge 2$ vs. partes $\equiv 1, 4 \pmod 5$).
2. A Primeira Identidade Little G"ollnitz (lacuna $\ge 2$ com restrições adicionais vs. partes $\equiv 1, 5, 6 \pmod 8$).

2. Metodologia

A abordagem dos autores combina análise combinatória, teoria das séries $q$ e análise assintótica complexa. Os passos metodológicos principais são:

• Funções Geradoras Bivariadas: Para cada classe de partições $R_j$ (Rogers-Ramanujan) e $G_j$ (Little G"ollnitz), os autores constroem funções geradoras bivariadas $R_{j,t}(x, q)$ e $G_{j,t}(x, q)$, onde $x$ marca o número de ganchos $t$ e $q$ marca o tamanho da partição $n$.
• Derivação para Funções de Ganchos: As funções geradoras para o número total de ganchos $t$, denotadas por $S_{j,t}(q)$ e $H_{j,t}(q)$, são obtidas derivando as funções bivariadas em relação a $x$ e avaliando em $x=1$.
• Identificação de Somas de Nahm: As funções geradoras resultantes são identificadas como Somas de Nahm (séries $q$ onde a razão entre coeficientes consecutivos é uma função racional) ou produtos de produtos infinitos e funções racionais.
• Análise Assintótica (Método do Ponto de Sela): Para obter o comportamento assintótico quando $n \to \infty$, os autores utilizam o Teorema Tauberiano de Ingham. Isso requer a análise do comportamento das funções geradoras quando $q \to 1$ (ou seja, $q = e^{-z}$ com $z \to 0$).
  • Eles decompõem a soma em uma região próxima ao "pico" (onde o termo da série é máximo) e uma região de erro (longe do pico).
  • Utilizam expansões assintóticas de funções $q$-Pochhammer e polinômios de Bernoulli (baseadas em resultados de Bringmann, Man, Rolen e Storzer) para estimar a contribuição dominante.
  • Estabelecem que o termo dominante ocorre em um valor específico de $n$ relacionado à razão áurea $\phi$ (para Rogers-Ramanujan) e a $\sqrt{2}+1$ (para Little G"ollnitz).

3. Principais Contribuições e Resultados

O artigo prova desigualdades rigorosas para o número de ganchos $t=1$ e $t=2$ em duas classes distintas de identidades.

A. Identidade de Rogers-Ramanujan

Seja $r_{1,t}(n)$ o número de ganchos $t$ em partições com partes diferindo por pelo menos 2, e $r_{2,t}(n)$ o número de ganchos $t$ em partições com partes $\equiv 1, 4 \pmod 5$.

• Teorema 1.2: Para $n$ suficientemente grande:
  • $r_{1,1}(n) > r_{2,1}(n)$ (Mais ganchos 1 na classe de lacuna).
  • $r_{1,2}(n) < r_{2,2}(n)$ (Mais ganchos 2 na classe de congruência).
• Fórmulas Assintóticas (Teoremas 1.3 e 1.4):
  • $r_{1,1}(n) \sim r_{1,2}(n) \sim C_1 n^{-1/4} e^{2\pi\sqrt{n/15}}$.
  • $r_{2,1}(n) \sim C_2 n^{-1/4} e^{2\pi\sqrt{n/15}}$ e $r_{2,2}(n) \sim C_3 n^{-1/4} e^{2\pi\sqrt{n/15}}$.
  • As constantes $C_i$ envolvem a razão áurea $\phi$. A diferença nas constantes leva à inversão da desigualdade entre $t=1$ e $t=2$.

B. Identidade Little G"ollnitz

Seja $g_{1,t}(n)$ o número de ganchos $t$ em partições com lacuna $\ge 2$ (sem partes ímpares diferindo exatamente por 2), e $g_{2,t}(n)$ o número de ganchos $t$ em partições com partes $\equiv 1, 5, 6 \pmod 8$.

• Teorema 1.5: Para $n$ suficientemente grande:
  • $g_{1,1}(n) > g_{2,1}(n)$.
  • $g_{1,2}(n) < g_{2,2}(n)$.
• Fórmulas Assintóticas (Teoremas 1.6 e 1.7):
  • As fórmulas envolvem constantes logarítmicas e potências de $\pi$, com o termo exponencial dominante sendo $e^{\pi\sqrt{n/2}}$. Novamente, a estrutura das constantes confirma a inversão da desigualdade.

4. Significado e Impacto

• Generalização de Conjecturas: O trabalho valida e generaliza a conjectura de Ballantine et al. para um novo conjunto de identidades profundas (Rogers-Ramanujan e G"ollnitz), confirmando um padrão universal onde partições com condições de congruência tendem a ter mais ganchos de ordem superior ($t \ge 2$) do que aquelas com condições de lacuna, enquanto o oposto ocorre para ganchos de ordem 1.
• Técnica Analítica: O artigo refina e simplifica as técnicas de análise assintótica para Somas de Nahm, fornecendo detalhes explícitos sobre o tratamento de erros e a extensão das estimativas para cones complexos, o que é crucial para a aplicação do Teorema de Ingham.
• Conjectura Futura: Os autores conjecturam que essa tendência se mantém para todo $t > 2$, ou seja, $r_{1,t}(n) < r_{2,t}(n)$ e $g_{1,t}(n) < g_{2,t}(n)$ para $n$ grande.
• Aplicabilidade: O método desenvolvido é apresentado como uma ferramenta robusta para analisar outras identidades com condições de lacuna (como as identidades de G"ollnitz-Gordon e a segunda identidade de Rogers-Ramanujan), sugerindo que a estrutura das funções geradoras de ganchos $t$ para grandes $t$ pode ser complexa, mas o comportamento assintótico segue padrões previsíveis.

Em resumo, o artigo fornece uma prova rigorosa e assintótica de que a "estrutura" das partições (se definida por lacunas ou congruências) influencia drasticamente a distribuição de ganchos, estabelecendo uma hierarquia clara onde as partições de congruência dominam em termos de complexidade estrutural (ganchos maiores) para grandes $n$.