🔢 mathematics

Some new congruences on biregular overpartitions

Este artículo establece infinitas familias de nuevas congruencias módulo 3 y potencias de 2 para sobreparticiones biregulares con pares de parámetros específicos, incluyendo casos generales para $(5,2^t)$ , $(3,2^t)$ y $(4,3^t)$ , al utilizar la teoría de los autofiltros de Hecke, una identidad de Newman y fórmulas de disección.

Autores originales: N. K. Meher

Publicado 2026-07-31

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: N. K. Meher

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo donde los números no son solo herramientas para contar tu mesada o rastrear el puntaje de tu videojuego, sino que son los ladrillos y el mortero de una vasta e invisible ciudad. Esta ciudad es el reino de la teoría de números, una rama de las matemáticas que estudia los patrones y relaciones ocultos entre los números enteros. En esta ciudad, hay un juego fascinante llamado "partición". Imagina que tienes un montón de 4 ladrillos de Lego idénticos. Puedes apilarlos en una sola torre, dividirlos en dos torres de 2, o hacer una torre de 3 y un ladrillo suelto. Cada forma en que los organizas es una "partición". Los matemáticos han pasado siglos contando estas disposiciones, pero recientemente han comenzado a jugar una versión más compleja llamada "sobreparticiones". En esta versión, la primerísima vez que un número aparece en tu pila, puedes ponerle un pequeño sombrero (o "subrayarlo"). Este diminuto sombrero duplica el número de arreglos posibles, haciendo que la ciudad esté mucho más concurrida y los patrones sean mucho más difíciles de encontrar.

Ahora, imagina que eres un detective tratando de encontrar pistas específicas en esta ciudad concurrida. Buscas arreglos que sigan reglas estrictas: tal vez ninguna torre puede ser un múltiplo de 3, o tal vez ninguna torre puede ser un múltiplo de 5. Estas se llaman particiones "regulares". Cuando combinas reglas —como "no múltiplos de 3 Y no múltiplos de 5"— obtienes sobreparticiones "biregulares". La gran pregunta en este rincón de las matemáticas es: ¿Siguen estos números un ritmo secreto? Específicamente, si cuentas estos arreglos especiales, ¿siempre dejan un resto de 0 cuando se dividen por 3, o 8, o algún otro número? Encontrar estas "congruencias" es como descubrir que cada 10ª casa en la ciudad tiene una puerta azul, o que cada 7ª calle está siempre vacía. Revela un orden profundo y subyacente en lo que parece ser el caos.

Este artículo es un mapa del tesoro dibujado por el matemático N.K. Meher, que nos guía hacia nuevos y ocultos patrones en el mundo de las sobreparticiones biregulares. Mientras que detectives anteriores ya habían encontrado algunas puertas azules en vecindarios específicos (como cuando los números prohibidos eran 4 y 3), Meher ha expandido la búsqueda a nuevos territorios. El artículo se centra en pares de números prohibidos, tales como (2, 9), (5, 2) y (5, 4), e incluso familias generales como (5, 2t) donde t es cualquier número 3 o mayor.

Usando un kit de herramientas poderoso que incluye "funciones generatrices" (que son como recetas mágicas que convierten una lista de números en una única ecuación fluida), "fórmulas de disección" (una forma de rebanar esas ecuaciones en piezas más pequeñas y manejables) y la teoría de los "autofiltros de Hecke" (una estructura matemática de alto nivel que actúa como una huella dactilar para estos patrones), Meher demuestra que estos nuevos vecindarios están llenos de secretos. El artículo no solo supone; demuestra con absoluta certeza que para estos pares de reglas, existen infinitas familias de números que son perfectamente divisibles por 3 o potencias de 2.

Por ejemplo, el artículo muestra que si observas el número de formas de organizar tus sobreparticiones bajo la regla de "no múltiplos de 2 o 9", encontrarás que el conteo para ciertos números (como 6n + 3) es siempre divisible por 4, y para otros (como 6n + 5) es siempre divisible por 8. Es como si la ciudad tuviera una estricta ley de zonificación que obliga a ciertos bloques a estar vacíos o ser perfectamente divisibles. El autor también descubre que estos patrones se repiten de manera multiplicativa: si tomas un número que encaja en el patrón y lo multiplicas por un número primo específico (como 5), el nuevo número también encaja en el patrón, a menudo con un cambio predecible.

El artículo es una prueba rigurosa, lo que significa que no son solo conjeturas afortunadas o simulaciones por computadora; son hechos matemáticos derivados de la lógica. Meher establece que para pares como (5, 2t) donde t es 3 o más, y (3, 2t) o (4, 3t) para cualquier t, existen infinitas secuencias de números donde el conteo de estos arreglos especiales se anula módulo 3 o 8. Es una expansión significativa de nuestro conocimiento, mostrando que el ritmo oculto de estas sobreparticiones es incluso más complejo y extendido de lo que creíamos, revelando nuevas "puertas azules" en la infinita ciudad de los números.

Resumen Técnico: Nuevas Congruencias sobre Sobreparticiones Biregulares

Planteamiento del Problema
El artículo investiga las propiedades aritméticas de $\bar{B}_{\ell_1, \ell_2}(n)$ , el número de sobreparticiones $(\ell_1, \ell_2)$ -biregulares de $n$ . Una sobrepartición es una partición donde la primera ocurrencia de cada parte puede estar sobrelineada. Una sobrepartición biregular es aquella en la que ninguna parte es divisible ni por $\ell_1$ ni por $\ell_2$ , con las restricciones $\gcd(\ell_1, \ell_2)=1$ y $\ell_1, \ell_2 > 1$ . Mientras que trabajos recientes de Nadji, Ahmia y Ramírez [18]; Alanazi, Munagi y Saikia [1]; y Paudel, Sellers y Wang [21] han establecido congruencias para pares específicos como $(4,3)$ , $(4,9)$ y $(8,3)$ , este artículo tiene como objetivo extender estos resultados a nuevos pares y familias generales de parámetros.

Metodología
El autor emplea una combinación de manipulaciones clásicas de series $q$ , fórmulas de disección y la teoría de formas modulares. Las herramientas principales incluyen:

Funciones Generatrices: La función generatriz para $\bar{B}_{\ell_1, \ell_2}(n)$ se expresa como un cociente de eta (Ecuación 1.1).
Fórmulas de Disección: El artículo utiliza diversas identidades de disección (Lemas 2.5–2.10) derivadas del trabajo de Ramanujan y la literatura subsiguiente para separar términos en la función generatriz basados en el índice módulo enteros específicos (por ejemplo, extrayendo términos $q^{2n}$ , $q^{3n}$ , etc.).
Formas Modulares y Autovectores de Hecke: El autor identifica cocientes de eta específicos como formas modulares en los espacios $M_k(\Gamma_0(N), \chi)$ . Al demostrar que estas formas son autovectores de Hecke, el artículo aprovecha las propiedades de los operadores de Hecke $T_p$ para derivar relaciones de recurrencia para los coeficientes.
Identidad de Newman: Para casos específicos, el artículo aplica una identidad debida a Newman [19] referente a los coeficientes de productos de funciones eta para establecer congruencias para primos $p \equiv 1 \pmod m$ .
Propiedades de Congruencia: El Lema 2.8, una congruencia estándar para potencias de $f_m$ módulo $p^k$ , se utiliza repetidamente para simplificar expresiones módulo 3 y potencias de 2.

Contribuciones Clave y Resultados
El artículo establece infinitas familias de congruencias módulo 3 y potencias de 2 para los siguientes pares $(\ell_1, \ell_2)$ :

Pares Específicos: $(2, 9)$ , $(5, 2)$ , $(5, 4)$ , $(8, 3)$ y $(5, 8)$ .
Familias Generales:
- $(5, 2^t)$ para todo $t \geq 3$ .
- $(3, 2^t)$ para todo $t \geq 1$ .
- $(4, 3^t)$ para todo $t \geq 1$ .

Hallazgos Específicos por Sección:

Sección 3 ( $\bar{B}_{2,9}(n)$ ): El autor demuestra que $\bar{B}_{2,9}(6n+3) \equiv 0 \pmod 4$ y $\bar{B}_{2,9}(6n+5) \equiv 0 \pmod 8$ . Utilizando la teoría de autovectores de Hecke, se derivan familias infinitas de congruencias módulo 8 para argumentos de la forma $6p_1^2 \dots p_{k+1}^2 n + \dots$ donde los primos $p_i \geq 5$ y $p_i \not\equiv 1 \pmod 6$ . También se establecen fórmulas multiplicativas módulo 8 y 3.
Sección 4 ( $\bar{B}_{5,2^t}(n)$ ): Para $t \geq 3$ , el artículo muestra que $\bar{B}_{5,2^t}(4n+3) \equiv 0 \pmod 8$ . Deriva familias infinitas de congruencias módulo 8 para argumentos que involucran cuadrados de primos $p \not\equiv 1 \pmod 4$ . Se presentan fórmulas multiplicativas que involucran una función $f(p)$ dependiente de $p \pmod{20}$ .
Secciones 5 y 6 ( $\bar{B}_{5,2}(n)$ y $\bar{B}_{5,4}(n)$ ): Se establecen congruencias similares módulo 4 para estos casos específicos, incluyendo $\bar{B}_{5,2}(4n+3) \equiv 0 \pmod 4$ y $\bar{B}_{5,4}(4n+3) \equiv 0 \pmod 4$ .
Sección 7 ( $\bar{B}_{8,3}(n)$ ): El artículo demuestra que $\bar{B}_{8,3}(36n+33) \equiv 0 \pmod 3$ .
Sección 8 ( $\bar{B}_{4,3^t}(n)$ ): Para todo $t \geq 1$ , el autor establece $\bar{B}_{4,3^t}(3n) \equiv 0 \pmod 8$ (para $n \geq 1$ ) y varias congruencias módulo 4 para los argumentos $6n+4$ , $12n+7$ y $3n+2$ .
Sección 9 ( $\bar{B}_{3,2^t}(n)$ ): Para todo $t \geq 1$ , el artículo demuestra que $\bar{B}_{3,2^t}(16n+6) \equiv \bar{B}_{3,2^t}(16n+10) \equiv \bar{B}_{3,2^t}(16n+14) \equiv 0 \pmod 8$ .

Significancia
El artículo afirma extender la literatura existente sobre sobreparticiones biregulares al proporcionar nuevas familias infinitas de congruencias para pares $(\ell_1, \ell_2)$ que no habían sido cubiertos previamente o generalizados completamente. Al utilizar la teoría de autovectores de Hecke y la identidad de Newman, el autor va más allá de los ejemplos computacionales específicos para establecer propiedades estructurales de estas funciones de partición. Los resultados contribuyen a la comprensión más amplia del comportamiento aritmético de las sobreparticiones con divisibilidad de partes restringida, destacando específicamente patrones módulo 3 y potencias de 2. El trabajo se apoya en las teorías fundamentales de las formas modulares y las series $q$ , ofreciendo un marco algebraico riguroso para estas nuevas congruencias.

Más como este