Articulo de referencia

La conjetura de Newman

Problema sin resolver en matemáticas Dados m y r arbitrarios , ¿existen infinitos valores de n tales que la función de partición en n sea congruente con r mod m ? Más problemas ...

Problema sin resolver en matemáticas
Dados m y r arbitrarios , ¿existen infinitos valores de n tales que la función de partición en n sea congruente con r mod m ?

En matemáticas , específicamente en teoría de números , la conjetura de Newman es una conjetura sobre el comportamiento de la función de partición módulo cualquier entero. Específicamente, afirma que para cualesquiera enteros m y r tales que0rmetro1{\displaystyle 0\leq r\leq m-1}, el valor de la función de particiónpag(norte){\displaystyle p(n)}satisface la congruenciapag(norte)r(modmetro){\displaystyle p(n)\equiv r{\pmod {m}}}para infinitos enteros no negativos n . Fue formulado por el matemático Morris Newman en 1960. [ 1 ] Permanece sin resolver a fecha de 2026 .

Historia

Oddmund Kolberg fue probablemente el primero en demostrar un resultado relacionado, a saber, que la función de partición toma valores pares e impares infinitamente. La demostración empleada era de naturaleza elemental y fácilmente accesible, y fue propuesta como ejercicio por Newman en el American Mathematical Monthly . [ 2 ] [ 3 ] [ 4 ]

Un año después, en 1960, Newman propuso la conjetura y demostró los casos m = 5 y 13 en su artículo original, [ 1 ] y m = 65 dos años después. [ 5 ]

Ken Ono , un matemático estadounidense, realizó nuevos avances al demostrar condiciones suficientes para que la conjetura se cumpla para un número primo m . Primero demostró que la conjetura de Newman se cumple para un número primo m si para cada r entre 0 y m −1 , existe un entero no negativo n tal que se cumple lo siguiente:

  • 24metronorte+1{\displaystyle 24\mid mn+1}
  • pag(metronorte+124)r(modmetro){\displaystyle p\left({\frac {mn+1}{24}}\right)\equiv r{\pmod {m}}}

Utilizó el resultado, junto con un programa informático, para demostrar la conjetura para todos los primos menores que 1000, excepto 3. [ 6 ] Ahlgren amplió su resultado para demostrar que la condición de Ono es, de hecho, verdadera para todos los números compuestos coprimos con 6. [ 7 ]

Tres años después, Ono demostró que para cada número primo m mayor que 3, debe cumplirse una de las siguientes condiciones:

  • La conjetura de Newman se cumple para m , o
  • metropag(metronorte+k){\displaystyle m\mid p(mn+k)}para todos los enteros no negativos n y1k<24,24k1(modmetro){\displaystyle 1\leq k<24,24k\equiv 1{\pmod {m}}}.

Utilizando una computadora, demostró el teorema para todos los números primos menores que 200.000, excepto el 3. [ 8 ]

Posteriormente, Ahlgren y Boylan utilizaron el criterio de Ono para extender la conjetura de Newman a todos los primos excepto posiblemente 3. [ 9 ] Dos años después, extendieron su resultado a todas las potencias de primos excepto las potencias de 2 o 3. [ 10 ]

Progreso parcial y casos resueltos

La afirmación más débil quepag(norte)0(modmetro){\displaystyle p(n)\equiv 0{\pmod {m}}}Se ha demostrado que existe al menos una solución para todos los números primos m . Anteriormente se conocía como la conjetura de Erdős-Ivić , llamada así en honor a los matemáticos Paul Erdős y Aleksandar Ivić . Fue resuelta por A. Schinzel . [ 6 ]

Referencias

  1. 1 2 Newman, Morris (1960). "Periodicidad módulo m y propiedades de divisibilidad de la función de partición". Transactions of the American Mathematical Society . 97 (2): 225– 236. doi : 10.2307/1993300 . ISSN 0002-9947 . JSTOR 1993300 .  
  2. Subbarao, MV (1966). "Algunas observaciones sobre la función de partición". The American Mathematical Monthly . 73 (8): 851– 854. doi : 10.2307/2314179 . ISSN 0002-9890 . JSTOR 2314179 .  
  3. Kolberg, O. (1959-12-01). "Nota sobre la paridad de las funciones de partición" . Mathematica Scandinavica . 7 : 377–378 . doi : 10.7146/math.scand.a-10584 . ISSN 1903-1807 . 
  4. Newman, Morris; van Lint, JH (1962). "4944". The American Mathematical Monthly . 69 (2): 175. doi : 10.2307/2312568 . ISSN 0002-9890 . JSTOR 2312568 .  
  5. Newman, Morris (marzo de 1962). "Congruencias para la función de partición a módulos compuestos" . Illinois Journal of Mathematics . 6 (1): 59– 63. doi : 10.1215/ijm/1255631806 . ISSN 0019-2082 . 
  6. 1 2 Ono, Ken (2000). "Distribución de la función de partición módulo m". Annals of Mathematics . 151 (1): 293– 307. arXiv : math/0008140 . Bibcode : 2000math......8140O . doi : 10.2307/121118 . ISSN 0003-486X . JSTOR 121118 .  
  7. ^ Ahlgren, Scott (1 de diciembre de 2000). "Distribución de la función de partición módulo de enteros compuestos M". Annalen Matemáticas . 318 (4): 795– 803. doi : 10.1007/s002080000142 . ISSN 1432-1807 . 
  8. Bruinier, Jan H.; Ono, Ken (2003-03-01). "Coeficientes de formas modulares de peso semi-entero" . Journal of Number Theory . 99 (1): 164– 179. doi : 10.1016/S0022-314X(02)00061-6 . ISSN 0022-314X . 
  9. Ahlgren, Scott; Boylan, Matthew (1 de septiembre de 2003). "Propiedades aritméticas de la función de partición". Inventiones Mathematicae . 153 (3): 487– 502. Bibcode : 2003InMat.153..487A . doi : 10.1007/s00222-003-0295-6 . ISSN 1432-1297 . 
  10. ^ Ahlgren, Scott; Boylan, Mateo (1 de enero de 2005). "Coeficientes de formas modulares de peso semiintegral módulo ℓj". Annalen Matemáticas . 331 (1): 219– 239. doi : 10.1007/s00208-004-0555-9 . ISSN 1432-1807 .