Extending Andrews and Newman's refinement of the crank-mex theorem

Enunciado do Problema
O artigo aborda o refinamento do "teorema crank–mex", um resultado estabelecido por Andrews e D. Newman (2020) e Hopkins e Sellers (2020). O teorema original afirma que o número de partições inteiras de $n$ com um crank não negativo ($M_{\ge 0}(n)$) é igual ao número de partições de $n$ com um mex mínimo ímpar ($X_o(n)$). Andrews e M. Newman refinaram recentemente essa igualdade rastreando o número de partes maiores que um, denotado pelo estatístico $\beta(\lambda)$. Eles provaram analiticamente que $x_o(n, k) = m_{\ge 0}(n, k)$, mas solicitaram uma prova combinatória.

O presente trabalho estende essa linha de investigação para um conjunto complementar de estatísticos de partição. Especificamente, investiga a equinumerosidade entre:

1. Partições com um mex par ($X_e(n)$).
2. Partições com um ponto fixo (onde $\lambda_i = i$ para algum $i$).
3. Partições com um crank negativo ($M_{< 0}(n)$).
4. Partições com um crank positivo ($M_{> 0}(n)$).

Os autores visam estabelecer e refinar essas relações rastreando o número de partes maiores que um ($k$) e, para o caso do ponto fixo, a contagem específica de tais partes.

Metodologia
O artigo emprega duas metodologias distintas para provar o teorema principal:

1. Prova Analítica: Os autores utilizam séries $q$ e funções geratrizes. Eles definem funções geratrizes para cada um dos quatro conjuntos de partições, introduzindo uma variável $z$ para rastrear o número de partes maiores que um e $q$ para rastrear a soma das partes. Para os conjuntos relacionados ao crank, eles utilizam a conhecida função geratriz do crank derivada por Andrews e Garvan (1988). Através de manipulações algébricas, incluindo o uso de transformadas de Heine e teoremas $q$-binomiais, eles demonstram que as funções geratrizes para esses conjuntos são idênticas (ou relacionadas por um fator simples de $z$), provando assim a equinumerosidade.
2. Prova Combinatória: Os autores constroem bijeções explícitas entre os conjuntos.
   • Mex Par $\leftrightarrow$ Pontos Fixos: Eles adaptam uma bijeção generalizada de Konan (2023) que conecta partições com mex ímpar a partições sem pontos fixos. Eles modificam isso para conectar partições com mex par a partições com um ponto fixo, analisando cuidadosamente como o número de partes maiores que um muda durante o mapeamento iterativo.
   • Pontos Fixos $\leftrightarrow$ Crank Negativo: Eles definem uma bijeção baseada na relação entre o índice do ponto fixo, o número de 1s ($\omega(\lambda)$) e o crank. Lemas são estabelecidos para mostrar que partições com um ponto fixo e crank negativo satisfazem limites específicos em $\omega(\lambda)$. O mapeamento envolve substituir um ponto fixo $i$ por $i$ uns (ou vice-versa), ajustando a contagem de partes maiores que um de acordo com isso.
   • Crank Negativo $\leftrightarrow$ Crank Positivo: Uma bijeção direta é construída entre partições com crank negativo e aquelas com crank positivo. Este mapeamento envolve o deslocamento de partes e do número de 1s para inverter o sinal do crank enquanto aumenta o número de partes maiores que um em exatamente um.

Contribuições Principais e Resultados
O resultado primário é o Teorema 1, que estabelece que, para inteiros positivos $n$ e $k$, os quatro conjuntos a seguir são equinumerosos:

• (a) Partições de $n$ com mex par e $k$ partes maiores que 1.
• (b) Partições de $n$ com um ponto fixo e $k+1$ partes maiores que 1.
• (c) Partições de $n$ com crank negativo e $k$ partes maiores que 1.
• (d) Partições de $n$ com crank positivo e $k+1$ partes maiores que 1.

Matematicamente, isso é expresso como:
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

O artigo fornece tanto provas analíticas quanto combinatórias para este teorema. As provas combinatórias baseiam-se em uma cadeia de bijeções:
$$X_e(n, k) \xrightarrow{\text{mapa de Konan}} (1) \times G_1(n-1, k) \xrightarrow{\text{mapa de ponto fixo}} F(n, k+1) \xrightarrow{\text{mapa de crank}} M_{< 0}(n, k) \xrightarrow{\text{mapa de crank}} M_{> 0}(n, k+1)$$

Os autores também abordam o caso específico onde $k=0$, observando uma pequena exceção em relação à partição $(1^n)$ e introduzindo a notação $F^*(n, k+1)$ para lidar com esta condição de contorno.

Significância e Limitações
O artigo afirma ter expandido com sucesso o refinamento do teorema crank–mex para os conjuntos complementares envolvendo mex par, pontos fixos e cranks com sinal. Ao fornecer tanto provas analíticas quanto combinatórias, o trabalho oferece uma compreensão estrutural mais profunda desses estatísticos de partição.

No entanto, os autores são modestos quanto à resolução do problema aberto proposto por Andrews e Newman. Eles declaram explicitamente que seus resultados não fornecem uma prova combinatória para o refinamento $x_o(n, k) = m_{\ge 0}(n, k)$. Eles identificam dois "impedimentos intransponíveis" para refinar as bijeções existentes de Konan para este caso específico:

1. Não existe uma bijeção entre $X_o(n)$ e o conjunto de partições sem pontos fixos ($G(n)$) que preserve o número de partes maiores que um, pois as distribuições dos valores de $\beta$ diferem fundamentalmente entre esses conjuntos.
2. Não existe uma bijeção entre $M_{\le 0}(n, k)$ e $M_{\ge 0}(n, k+1)$ que preserve os estatísticos necessários, mesmo ao considerar a paridade das partições de crank zero.

Consequentemente, o artigo conclui que satisfazer o pedido de uma prova combinatória para o refinamento do mex ímpar exigiria provavelmente uma conexão direta entre $X_o(n)$ e $M_{\ge 0}(n)$ ou a descoberta de novos conjuntos equinumerosos, em vez de uma extensão das bijeções atuais.