Enumeración de Particiones de Dimensión Par módulo 4

Información Básica

• ID del Artículo: 2511.11977
• Título: Enumeration of Even Dimensional Partitions modulo 4
• Autor: Aditya Khanna
• Clasificación: math.CO (Matemática Combinatoria)
• Fecha de Publicación: 15 de noviembre de 2025 (preimpreso en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2511.11977

Resumen

La dimensión $f^λ$ de una partición entera λ se define como el número de tablas estándar de Young de la forma correspondiente. McKay enumeró las particiones de dimensión impar, y Macdonald caracterizó posteriormente estas particiones utilizando la teoría de torres de 2-núcleos. Este artículo utiliza la misma teoría para generalizar los resultados a particiones cuya dimensión es congruente con 2 módulo 4, denotadas por $a_2(n)$. El artículo proporciona una fórmula explícita para $a_2(n)$ cuando $n$ es un entero cuya expansión binaria no contiene unos consecutivos, y proporciona una fórmula recursiva de cálculo para $n$ general.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Problema Central: Calcular el número de particiones de un entero $n$ cuya dimensión satisface propiedades modulares específicas (particularmente congruente con 2 módulo 4)
2. Desarrollo Histórico:
   • McKay (1972) calculó $m_2(n)$ (número de particiones cuya dimensión no es divisible por 2)
   • Macdonald (1971) proporcionó una solución completa para $m_p(n)$ utilizando la teoría de torres de $p$-núcleos
   • Para $n = 2^{k_1} + \cdots + 2^{k_\ell}$ (con $k_1 > \cdots > k_\ell$), se tiene $m_2(n) = 2^{k_1+\cdots+k_\ell}$

Importancia

1. Significado Teórico: La clasificación módulo 4 es importante para la clasificación de representaciones de espín del grupo simétrico
2. Valor Extensivo: La generalización de módulo 2 a módulo 4 es un paso clave para comprender propiedades modulares más generales
3. Estructura Combinatoria: Revela conexiones profundas entre la dimensión de particiones y la expansión binaria

Limitaciones de Métodos Existentes

• Aunque el trabajo de Amrutha P y T. Geetha proporciona una solución general para $m_{2^k}(n)$ (ecuación (6)), el resultado no es conveniente para la enumeración
• Solo proporcionan resultados explícitos para $m_4(n)$ en el caso especial $n = 2^\ell$
• Falta un método de cálculo efectivo para $n$ general

Motivación de la Investigación

Establecer una correspondencia combinatoria entre particiones cuya dimensión es congruente con 2 módulo 4 y la expansión binaria mediante la teoría de torres de 2-núcleos, proporcionando fórmulas recursivas computables y soluciones de forma cerrada para casos especiales.

Contribuciones Principales

1. Fórmula Recursiva (Teorema 1): Para $n = 2^R + m$ (con $m < 2^R$), se proporciona una fórmula recursiva por partes para $a_2(n)$:
   • Cuando $m < 2^{R-1}$: $a_2(n) = 2^R \cdot a_2(m) + \binom{2^{R-1}}{2} \cdot a(m)$
   • Cuando $2^{R-1} \leq m < 2^R$: $a_2(n) = 2^R \cdot a_2(m) + \frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right) \cdot a(m)$
2. Forma Cerrada para Números Dispersos (Corolario 2): Para números dispersos $n$ cuya expansión binaria no contiene unos consecutivos:
   • Cuando $n$ es par: $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n))$, donde $\nu(n)$ es el número de unos en la expansión binaria
   • Cuando $n$ es impar: $a_2(n) = a_2(n-1)$
3. Caracterización de Torres de 2-Núcleos (Proposición 13): Se proporcionan condiciones necesarias y suficientes para $v_2(f^\lambda) = 1$, caracterizadas mediante los pesos $w_i(\lambda)$ de cada nivel de la torre de 2-núcleos
4. Interpretación Combinatoria: Se transforma el problema de conteo en un conteo combinatorio de etiquetados de nodos de torres de 2-núcleos, estableciendo una correspondencia combinatoria clara

Explicación Detallada del Método

Definición de la Tarea

Entrada: Entero positivo $n$
Salida: $a_2(n)$, el número de particiones de $n$ cuya dimensión $f^\lambda \equiv 2 \pmod{4}$
Restricción: Utilizar la estructura combinatoria de torres de 2-núcleos para el conteo

Estructuras Matemáticas Centrales

1. Conceptos Fundamentales

• Partición: $\lambda = (\lambda_1, \ldots, \lambda_k)$ satisfaciendo $\lambda_1 \geq \cdots \geq \lambda_k > 0$ y $|\lambda| = \sum \lambda_i = n$
• Dimensión: $f^\lambda$ es el número de tablas estándar de Young (SYT) de forma $\lambda$
• 2-Núcleo: Una partición que no contiene dominós removibles, de la forma $(n, n-1, \ldots, 2, 1)$

2. Construcción de Torres de 2-Núcleos

Para una partición $\lambda$, se construye un árbol binario infinito:

• El nodo raíz se etiqueta con $\text{core}_2(\lambda)$
• Definición recursiva: Si un nodo $v$ se etiqueta con $\text{core}_2(\lambda^{(b)})$, sus dos nodos hijos se etiquetan con $\text{core}_2(\lambda^{(b0)})$ y $\text{core}_2(\lambda^{(b1)})$ respectivamente
• Aquí $\lambda^{(0)}, \lambda^{(1)}$ son los 2-cocientes de $\lambda$

3. Función de Peso

Se define el peso de la fila $k$-ésima como: $w_k(\lambda) := \sum_{b \in \{0,1\}^k} |\text{core}_2(\lambda^{(b)})|$

Propiedades Clave:

• Proposición 12 (Macdonald): $\lambda$ es una partición impar si y solo si $w_i(\lambda) = b_i$ (el $i$-ésimo dígito binario de $n$)
• Proposición 13 (Núcleo del Artículo): $v_2(f^\lambda) = 1$ si y solo si existe $R \in \text{bin}'(n)$ tal que:
  • $w_{R-1}(\lambda) = b_{R-1} + 2$
  • $w_R(\lambda) = 0$
  • $w_i(\lambda) = b_i$ para todo $i \neq R, R-1$

Puntos de Innovación Técnica

1. Caracterización mediante Secuencias de Pesos

Se introduce la secuencia de pesos $w^k(n) = (w^k_i(n))_{i \geq 0}$, caracterizando la condición $v_2(f^\lambda) = 1$ especificando que cierto nivel $k$ es "anómalo" (el peso aumenta en 2). Este es el paso clave de generalización desde la caracterización de particiones impares de Macdonald a particiones congruentes con 2 módulo 4.

2. Función de Conteo Combinatorio $T^k(w)$

Se define $T^k(w)$ como el número de esquemas donde la fila $k$-ésima tiene $2^k$ nodos, los nodos se etiquetan con 2-núcleos y la suma de tamaños es $w$:

• $T^k(0) = 1$
• $T^k(1) = 2^k$
• $T^k(2) = \binom{2^k}{2}$
• $T^k(3) = \binom{2^k}{3} + 2^k$

Esto utiliza el hecho de que los 2-núcleos de tamaño 0, 1, 3 son $\emptyset$, $(1)$, $(2,1)$ respectivamente (Lema 6).

3. Estrategia de Descomposición Recursiva

Se expresa $a_2(n)$ como: $a_2(n) = \sum_{k \in \text{bin}'(n)} T(w^k(n))$ donde $T(w^k(n)) = \prod_{i \geq 0} T^i(w^k_i(n))$

Separando el término $k = R$ de los demás términos, utilizando la hipótesis inductiva para calcular $a_2(m)$, se obtiene la fórmula recursiva.

4. Simplificación para Números Dispersos

Para números dispersos (sin unos consecutivos), se tiene $b_{k-1} = 0$ para todo $k \in \text{bin}'(n)$, por lo tanto: $a_2(n) = a(n) \sum_{k \in \text{bin}'(n)} \frac{T^{k-1}(2)}{T^k(1)} = a(n) \sum_{k \in \text{bin}'(n)} \frac{2^k - 2}{8}$

Esta suma puede calcularse explícitamente, obteniéndose la forma cerrada.

Configuración Experimental

Nota: Este artículo es un trabajo de matemática pura teórica que no involucra experimentos en el sentido tradicional. Todos los resultados se obtienen mediante demostraciones matemáticas rigurosas.

Métodos de Verificación

• Las derivaciones teóricas se basan en el marco de la teoría de torres de 2-núcleos de Macdonald
• Se verifican casos pequeños mediante el Lema 15 (con $w = 0, 1, 2, 3$)
• Las fórmulas recursivas pueden verificarse computacionalmente (aunque el artículo no proporciona experimentos numéricos)

Verificación de Casos Especiales

• Los números dispersos proporcionan formas cerradas verificables
• Los resultados son consistentes con los valores conocidos de $m_4(2^\ell)$ (Nota 17)

Resultados Experimentales

Resultados Principales

Aplicación del Teorema 1

La fórmula recursiva permite calcular $a_2(2^R + m)$ a partir de valores más pequeños de $m$:

• Primer Caso ($m < 2^{R-1}$): Depende principalmente de $a_2(m)$, con término de corrección de coeficiente $\binom{2^{R-1}}{2} = 2^{R-2}(2^{R-1}-1)$
• Segundo Caso ($m \geq 2^{R-1}$): El término de corrección es más complejo, con coeficiente $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$

Fórmula Explícita del Corolario 2

Para números dispersos, la fórmula es extremadamente concisa: $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n)) \quad (\text{n par})$

Ejemplo: $n = 42 = 2^5 + 2^3 + 2^1$ (disperso), $\nu(42) = 3$

• $a(42) = 2^{5+3+1} = 512$
• $a_2(42) = \frac{512}{8}(42 - 6) = 64 \times 36 = 2304$

Descubrimientos Teóricos

1. Naturaleza Jerárquica de la Estructura Módulo 4: Las particiones cuya dimensión es congruente con 2 módulo 4 corresponden a torres de 2-núcleos donde exactamente un nivel presenta una "anomalía" (el peso excede lo esperado en 2 unidades)
2. Papel de la Expansión Binaria:
   • Particiones impares: Cada dígito binario corresponde al peso de un nivel
   • Particiones congruentes con 2 módulo 4: Un "préstamo" en cierta posición causa cambios de peso en niveles adyacentes
3. Particularidad de Números Dispersos: La ausencia de unos consecutivos hace que todas las posiciones de "anomalía" posibles contribuyan con la misma estructura combinatoria, resultando en una forma cerrada
4. Relación con $m_4(n)$ (Nota 17): $m_4(n) = a(n) + a_2(n)$ El número de particiones cuya dimensión es divisible por 4 es $p(n) - a(n) - a_2(n)$

Trabajo Relacionado

Contexto Histórico

1. McKay (1972): Primer cálculo de $m_2(n)$, enumeración de particiones de dimensión impar
   • Método: Argumentos combinatorios directos
   • Resultado: Conexión con la expansión binaria
2. Macdonald (1971): Tratamiento sistemático de $m_p(n)$ utilizando la teoría de torres de $p$-núcleos
   • Introducción de la correspondencia núcleo-cociente
   • Establecimiento de la relación entre dimensión y pesos de torres de núcleos (ecuaciones $(3.3), (3.4)$)
   • La Proposición 12 es la base directa de este artículo
3. Amrutha P & T. Geetha (2024): Investigación de $m_{2^k}(n)$
   • La ecuación (6) proporciona una solución general, pero de cálculo complejo
   • Solo proporcionan resultados explícitos para $n = 2^\ell$
   • Este artículo logra mejoras significativas en computabilidad
4. Aplicaciones Relacionadas:
   • Ganguly & Spallone (2020): Representaciones de espín del grupo simétrico (fuente de motivación del artículo)
   • Ghosh & Spallone (2019): Enumeración de particiones quirales
   • Ayyer, Prasad & Spallone (2017): Representaciones con determinante no trivial

Posicionamiento del Artículo

• Generalización Teórica: Extensión natural de módulo 2 a módulo 4
• Innovación Metodológica: Introducción de secuencias de pesos $w^k(n)$ y función de conteo $T^k(w)$
• Valor Práctico: Proporciona recursiones computables y formas cerradas para casos especiales

Conclusiones y Discusión

Conclusiones Principales

1. Resolución Completa del Caso Módulo 4 Congruente con 2: Mediante la fórmula recursiva del Teorema 1, $a_2(n)$ es computable para todo $n$
2. Fórmula Elegante para Números Dispersos: El Corolario 2 proporciona una solución de forma cerrada para una clase amplia de enteros
3. Interpretación Combinatoria Clara: La caracterización de $v_2(f^\lambda) = 1$ mediante anomalías de peso en torres de 2-núcleos es transparente
4. Consistencia con Resultados Conocidos: Los casos especiales coinciden con los resultados de Amrutha-Geetha

Limitaciones

1. Naturaleza Recursiva: Aunque el Teorema 1 es completo, el cálculo de $a_2(n)$ requiere recursión a valores más pequeños, con complejidad dependiente de la estructura de la expansión binaria
2. Ausencia de Forma Cerrada General: Excepto para números dispersos, no se proporciona una fórmula de forma cerrada para $n$ general
3. Dificultad en Generalizaciones de Orden Superior (reconocido en la Sección 4):
   • El caso módulo $2^k$ (con $k > 2$) tiene demasiados términos recursivos
   • El caso módulo $p^2$ (con $p$ primo impar) es computacionalmente tedioso
   • Estas generalizaciones son difíciles de manejar en la práctica
4. Ausencia de Verificación Numérica: El artículo no proporciona ejemplos computacionales ni comparaciones numéricas con otros métodos

Direcciones Futuras

El artículo señala en la Sección 4:

1. Módulos de Orden Superior: Calcular casos módulo $2^k$ (con $k \geq 3$) o módulo $p^2$ (con $p$ primo impar), aunque se reconoce que la recursión será más compleja
2. Otras Clases Especiales: Buscar más clases de enteros que admitan formas cerradas (similares a números dispersos)
3. Optimización de Algoritmos: Desarrollar algoritmos eficientes para calcular $a_2(n)$
4. Aplicaciones en Teoría de Representaciones: Aplicar los resultados a la clasificación específica de representaciones de espín

Evaluación Profunda

Fortalezas

1. Rigor Teórico:
   • Todos los teoremas poseen demostraciones completas
   • La cadena lógica es clara: Lema 15 → Proposición 13 → Teorema 1 → Corolario 2
   • Se utiliza el marco maduro de la teoría de torres de 2-núcleos
2. Innovación Metodológica:
   • La introducción de secuencias de pesos $w^k(n)$ codifica ingeniosamente la posición del nivel "anómalo"
   • La función de conteo $T^k(w)$ descompone el problema en subproblemas manejables
   • El tratamiento del caso de números dispersos demuestra el poder del método
3. Computabilidad de Resultados:
   • La fórmula recursiva es explícita y programable
   • La forma cerrada para números dispersos es elegante y de aplicación directa
   • Las conexiones con resultados conocidos son claras (Nota 17)
4. Claridad de Presentación:
   • Introducción suficiente de antecedentes (Sección 1)
   • Definiciones exhaustivas (Sección 2) con ejemplos
   • Las pruebas tienen lógica clara con pasos clave marcados

Deficiencias

1. Utilidad Práctica Limitada:
   • Aunque la fórmula recursiva es completa, la eficiencia computacional para $n$ grande no está clara
   • Falta análisis de complejidad algorítmica
   • No se proporcionan implementaciones o tablas numéricas
2. Cobertura Estrecha:
   • Solo se resuelve el caso módulo 4 congruente con 2
   • No se discuten los casos módulo 4 congruentes con 0 y 3 (es decir, $a_0(n), a_3(n)$)
   • Aunque mediante $a(n) = a_1(n) + a_3(n)$ se puede obtener información indirecta
3. Camino de Generalización Poco Claro:
   • La Sección 4 reconoce la dificultad de generalizaciones de orden superior, pero no analiza profundamente la naturaleza de estas dificultades
   • No se proponen direcciones posibles para superar estos obstáculos
   • ¿Existe una generalización más amplia de la forma cerrada para números dispersos?
4. Falta de Intuición Directa:
   • ¿Por qué exactamente $w_{R-1} = b_{R-1} + 2$ corresponde a $v_2(f^\lambda) = 1$?
   • ¿Cuál es el significado combinatorio de los coeficientes $\binom{2^{R-1}}{2}$ y $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$ en la fórmula recursiva?
   • Aunque las pruebas son rigurosas, falta una imagen intuitiva
5. Aplicaciones No Desarrolladas:
   • Aunque se menciona la motivación en representaciones de espín, no se especifica cómo se utiliza $a_2(n)$ en la teoría de representaciones
   • La conexión con el trabajo de Ganguly-Spallone permanece solo a nivel de cita

Influencia

1. Contribución al Campo:
   • Cierra la brecha en la teoría de McKay-Macdonald hasta el caso módulo 4
   • Proporciona un modelo para investigaciones posteriores de módulos de orden superior
   • Enriquece la investigación de propiedades modulares de dimensiones de particiones
2. Valor Práctico:
   • La fórmula para números dispersos tiene aplicación directa
   • La fórmula recursiva proporciona base de implementación para sistemas de álgebra computacional
   • Tiene valor de referencia para investigadores en teoría de representaciones
3. Reproducibilidad:
   • Las demostraciones matemáticas son verificables
   • La fórmula recursiva es explícita y fácil de programar
   • Sin embargo, la ausencia de código o ejemplos numéricos reduce la reproducibilidad
4. Impacto Potencial:
   • Puede inspirar investigaciones sobre otras propiedades modulares
   • Aplicaciones adicionales del método de torres de 2-núcleos
   • Integración con sistemas de álgebra computacional

Escenarios de Aplicación

1. Investigación Teórica:
   • Investigación de propiedades modulares en teoría de particiones
   • Teoría de representaciones del grupo simétrico (especialmente representaciones de espín)
   • Aplicaciones de expansión binaria en combinatoria numérica
2. Aplicaciones Computacionales:
   • Cálculo de números de particiones con propiedades modulares específicas
   • Bibliotecas de funciones de particiones en sistemas de cálculo simbólico
   • Investigación de funciones generatrices en combinatoria enumerativa
3. Valor Pedagógico:
   • Demostración de aplicaciones de la teoría de torres de 2-núcleos
   • Ejemplos de métodos recursivos en conteo combinatorio
   • Ilustración de conexiones entre expansión binaria y estructuras combinatorias

Referencias Bibliográficas

Obras clave citadas en el artículo:

1. J. McKay (1972): "Irreducible representations of odd degree", Journal of Algebra - Trabajo pionero sobre particiones de dimensión impar
2. I. G. Macdonald (1971): "On the Degrees of the Irreducible Representations of Symmetric Groups", Bulletin of the London Mathematical Society - Establece el marco teórico de torres de $p$-núcleos
3. P. Amrutha & T. Geetha (2024): "On the degrees of representations of groups not divisible by $2^k$", Journal of Algebra and Its Applications - Trabajo relacionado reciente
4. J. Ganguly & S. Spallone (2020): "Spinorial representations of symmetric groups", Journal of Algebra - Motivación de teoría de representaciones del artículo
5. J. B. Olsson (1993): "Combinatorics and representations of finite groups" - Referencia técnica central

Evaluación General

Este es un artículo de teoría combinatoria de alta calidad que realiza una generalización sustancial de la teoría clásica de McKay-Macdonald. Las principales fortalezas son la completitud teórica, la rigor de las demostraciones y la computabilidad de los resultados; las principales deficiencias son la presentación limitada de aplicaciones y la falta de claridad en caminos de generalización. Para investigadores en teoría de particiones y teoría de representaciones del grupo simétrico, este es un artículo que merece lectura cuidadosa. La fórmula de forma cerrada para números dispersos es particularmente elegante, demostrando la profundidad de la teoría. Se recomienda que trabajos posteriores complementen con experimentos numéricos, exploren más clases especiales de formas cerradas y aclaren las conexiones específicas con teoría de representaciones.

Índice de Recomendación: ★★★★☆ (4/5)
Dificultad Técnica: Alta
Valor de Aplicación: Moderado
Contribución Teórica: Significativa