Azahara Saez

Definici
on de la funci
on partici
on
Propiedades funcion partici
on
Aplicaciones de la funci
on partici
on
Funcion de particion
Partiendo desde el principio
Investmat
A. Ferrero
I. Garca
A. Idrissi
A. Saez
Universitat de Val`
encia, 2013
A. Ferrero, I. Garca, A. el Idrissi, A. S

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
1 Definicion de la funci
on partici
on
2 Propiedades funcion partici

on
3 Aplicaciones de la funci
on partici
on

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Como surgio p(n)?

Surge a raz del problema general de la Teora aditiva de n
umeros.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Problema general de la Teora de n umeros

Si A = a1 , a2 , a3 . . . es un sistema de enteros dado. Consideramos
todas las posibles representaciones de un entero arbitrario n
positivo de la forma:
n = ai1 + ai2 + . . . + ai`
donde pueden haber o no las siguientes restricciones:

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Problema general de la Teora de n umeros

Si A = a1 , a2 , a3 . . . es un sistema de enteros dado. Consideramos
todas las posibles representaciones de un entero arbitrario n
positivo de la forma:
n = ai1 + ai2 + . . . + ai`
donde pueden haber o no las siguientes restricciones:

` prefijado,
aj 6= at j 6= t,
el orden de los enteros importa.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Ejemplo
A conjunto de cuadrados.
Problema Escribir n como suma de cuadrados:
n = b12 + b22 + . . . + b`2

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Ejemplo
n = b12 + b22 + . . . + b`2
` = 2 y n = 2 o n 1 (m
od 4) primo Teorema de Fermat:
n = x 2 + y 2.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Ejemplo
n = b12 + b22 + . . . + b`2
` = 2 y n = 2 o n 1 (m
n = x 2 + y 2.
` = 4 Teorema de los cuatro cuadrados de Lagrange:

n = a2 + b 2 + c 2 + d 2 .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Ejemplo
n = b12 + b22 + . . . + b`2
` = 2 y n = 2 o n 1 (m
n = x 2 + y 2.
` = 4 Teorema de los cuatro cuadrados de Lagrange:

n = a2 + b 2 + c 2 + d 2 .
` = 24 Problema del cual surge la funci

on de Ramanujan.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Es uno de los problemas no resueltos mas difciles de la teora de

n
umeros:
Ejemplo
A conjunto de n
umeros primos.
` = 2 y n > 2 par Conjetura de Goldbach (1742)
Todo n umero par mayor que 2 puede escribirse como suma de dos
n
umeros primos.
As la conjetura lo que dira es que existe, al menos una forma de
escribir los n
umeros pares mayores que 2 como suma de dos primos.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Nuestro caso
Imponemos las siguientes premisas:

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Nuestro caso
A = N,
` arbitrario,
aj = at aunque j 6= t,
el orden no importa.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Introduccion
Nuestro caso
A = N,
` arbitrario,
aj = at aunque j 6= t,
el orden no importa.
A raz de estas condiciones obtenemos la definici

on de particion y
funcion particion.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Definicion de particion
Definicion: particion de n
Una particion de n es una representaci
on de n como suma de
enteros positivos.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Definicion de particion
Una particion de n es una representaci
on de n como suma de
enteros positivos.
Nota
Dos representaciones con los mismos sumandos pero en orden
distinto, representan la misma partici
on de n.
Para evitar confusi
on los elementos de la particion se ordenan
en orden decreciente.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Ejemplo: particiones del 5

Dado n = 5, aqu tenemos todas las posibles representaciones de 5:

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Ejemplo: particiones del 5

Dado n = 5, aqu tenemos todas las posibles representaciones de 5:
5 = 1 + 1 + 1 + 1 + 1,
5 = 2 + 1 + 1 + 1,
5 = 2 + 2 + 1,
5 = 3 + 1 + 1,
5 = 3 + 2,
5 = 4 + 1,
5 = 5.
Se observa que la cantidad de particiones es 7.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Definicion de la funcion particion
Definicion: funcion partici

on de n
La funcion particion de n, p(n), es el n
umero de veces diferentes
que se puede escribir un n umero dado n como suma de n umeros
enteros positivos.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Definicion de la funcion particion
Definicion: funcion partici

on de n
La funcion particion de n, p(n), es el n
umero de veces diferentes
que se puede escribir un n umero dado n como suma de n umeros
enteros positivos.
As en el ejemplo anterior:
p(5) = 7.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Nota
Por convenio, se tiene que:
p(0) = 1,
p(m) = 0 con m entero negativo.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Ejemplos de la funcion particion
Calculando mas valores de la funci on, p(n) para n 0,

on partici
obtenemos la siguiente sucesion de n
umeros:

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Ejemplos de la funcion particion
Calculando mas valores de la funci on, p(n) para n 0,

on partici
obtenemos la siguiente sucesion de n
umeros:
1, 1, 2, 3, 5, 7, 11, 15, 22, 30, 42, 56, 77, 101, 135, 176, 231, 297, 385,
490, 627, 792, 1002, 1255, 1575, 1958, 2436, 3010, 3718, 4565, 5604,
6482, 8349, 10143, 12310, 14883, 17977, 21637, 26015, 31185, 37338,
44583, 53174, 63261, 75175, 89134, 105558, 124754, 147273, 173525,
204226, 239943, 281589, 329931, 386155, 451276, 526823, 614154,
715220, 831820, 966467, 1121505, 1300156, 1505499, . . .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Funcion particion
Como se observa, cada vez es mas alto el valor de p(n), lo cual

dificulta su obtencion usando la definici
on.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Funcion particion

on.
Cuestion
Hay alguna forma de obtener el valor exacto de p(n) para un n
dado sin tener que calcular todas las posibles particiones de n?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Funcion particion

on.
Cuestion
Hasta hace apenas un a

no, la respuesta era NO.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Funcion particion

on.
Cuestion
Hasta hace apenas un a

no, la respuesta era NO.
Vamos a ver primero resultados que ya se saban y que se usaban
para calcular los valores de la funci
on.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
on partici
on

on
on partici
on

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Formula recursiva
Podemos calcular n
umeros como p(200)?
Mirando como van creciendo los n

umeros parece complicado.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Formula recursiva
Podemos calcular n
umeros como p(200)?
Mirando como van creciendo los n

umeros parece complicado.
La solucion a esta pregunta la dio Leonhard Euler:

Teorema (Euler (1700s))
p(n) = p(n 1) + p(n 2) p(n 5) p(n 7) + p(n 12) + . . .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Formula recursiva
Nota
Fue muy famoso en 1915 el calculo de los primeros 200 valores de
la funcion particion, usando el teorema de Euler.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Formula recursiva
Nota
p(1) = p(1 1) = p(0) = 1

p(2) = p(2 1) + p(2 2) = 1 + 1 = 2
p(3) = p(3 1) + p(3 2) = 2 + 1 = 3
p(4) = p(4 1) + p(4 2) = 3 + 2 = 5
p(5) = p(5 1) + p(5 2) p(5 5) = 5 + 3 1 = 7


aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Formula recursiva
Nota
p(1) = p(1 1) = p(0) = 1

p(2) = p(2 1) + p(2 2) = 1 + 1 = 2
p(3) = p(3 1) + p(3 2) = 2 + 1 = 3
p(4) = p(4 1) + p(4 2) = 3 + 2 = 5
p(5) = p(5 1) + p(5 2) p(5 5) = 5 + 3 1 = 7

p(200) = 3972999029388

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Aproximacion
Cuestion
Podemos aproximar el valor de la funci
on de particion?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Aproximacion
Cuestion
Podemos aproximar el valor de la funci
on de particion?
Teorema (Hardy-Ramanujan (1918))

Para n muy grande, se tiene:
1
p(n) e 2n/3
4n 3

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Aproximacion

Si denotamos Aprox := 4n13 e 2n/3
.
Veamos como aproxima:
Aprox(n)
n p(n) Aprox(n) p(n)
10 42 48,104 . . . 1,145 . . .
20 627 692,384 . . . 1,104 . . .
30 5604 6080,435 . . . 1,085 . . .
40 37338 40080,080 . . . 1,073 . . .
50 204226 217590,501 . . . 1,065 . . .

200 3972999029388 4100251432187,829 . . . 1,032 . . .


aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Con lo visto hasta ahora seguimos sin solucionar nuestro problema:

Hay alguna forma directa de calcular p(n) para un n dado?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

Teorema (Rademacher (1943))

Si n es un entero positivo, entonces

34
X Ak (n) 24n 1
p(n) = 2(24n 1) I3 ,
k 2 6k
k=1
donde

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

Teorema (Rademacher (1943))

Si n es un entero positivo, entonces

34
X Ak (n) 24n 1
p(n) = 2(24n 1) I3 ,
k 2 6k
k=1
donde
X 1
Ak (n) = e i[(m,k) k 2nm] ,
0m<k;(m,k)=1
q
2z d sinh z

I 3 (z) = dz z .
2

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Notas
La formula asintotica de Hardy y Ramanujan fue
posteriormente perfeccionada por Rademacher para obtener
una formula exacta.
Para probar dicha f ormula, Rademacher us o principalmente

los crculos de Ford (centro (p/q, 1/(2q 2 )) y radio
1/(2q 2 ),donde p y q son coprimos), series de Farey, simetra
modular y la funci on de Dedekind.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Cuestiones
Nota
Como dijo Ken Ono en una de sus conferencias: There are crazy
infinite sums of perfectly good integers.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Cuestiones
Nota
Podramos obtener el valor de p(n) truncando la suma?

Hay alguna suma finita con la que obtener el valor de p(n)?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Cuestiones
Nota
Podramos obtener el valor de p(n) truncando la suma?

Hay alguna suma finita con la que obtener el valor de p(n)?
La respuesta ahora es SI: usando la siguiente f

ormula finita
algebraica.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Genialidad
Teorema (Bruinier-Ono (2013))

Tenemos una funcion llamada P(z) (la forma debil de Maass) tal
que:
1
p(n) = (P(n,1 ) + P(n,2 ) + + P(n,hn )) .
24n 1
Los n
umeros P(n,m ) son algebraicos.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Genialidad
Teorema (Bruinier-Ono (2013))

Tenemos una funcion llamada P(z) (la forma debil de Maass) tal
que:
1
p(n) = (P(n,1 ) + P(n,2 ) + + P(n,hn )) .
24n 1
Los n
umeros P(n,m ) son algebraicos.
Notas

Los 0 s son races de hn n ecuaciones cuadraticas.
La formula es una suma corta de n
umeros algebraicos.
Da un efectivo y eficiente metodo para obtener p(n).

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Generatriz de la funcion particion
Dejando a un lado estas recientes f

ormulas, vamos a hallar la
funci
on generatriz de p(n) la cual fue hallada por Euler.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Dejando a un lado estas recientes f

ormulas, vamos a hallar la
funci
on generatriz de p(n) la cual fue hallada por Euler.
Queremos obtener la funci

on F (x) tal que:

X
F (x) = p(n)x n
n=0

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Idea
Por definicion, toda partici
on de n contribuye con un 1 en el
coeficiente de x .n

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Idea
Por definicion, toda partici
on de n contribuye con un 1 en el
coeficiente de x .n
Vamos a considerar el siguiente producto infinito:
F (x) = 1 + x 1 + x 2 + x 3 + . . . 1 + x 2 + x 4 + x 6 + . . .

!
Y X
3 6 9 ki

1 + x + x + x + ... = x
i=1 k=0
umero i), el exponente k i de

donde en cada factor i (i.e. factor n
la x representa que i aparece k veces en una particion de un cierto
numero entero positivo n.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
F (x) = 1 + x 1 + x 2 + x 3 + . . . 1 + x 2 + x 4 + x 6 + . . .

1 + x 3 + x 6 + x 9 + . . . 1 + x 4 + x 8 + x 12 + . . .


aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
F (x) = 1 + x 1 + x 2 + x 3 + . . . 1 + x 2 + x 4 + x 6 + . . .

1 + x 3 + x 6 + x 9 + . . . 1 + x 4 + x 8 + x 12 + . . .

= 1 1 1 + 1 x2 1 1 + 1 x4 1 1 + . . .
+ x 1 1 + x x2 1 1 + x x4 1 +
+ x2 1 1 + x2 x2 1 1 + x2 x4 1 1 + . . .
+ x3 1 1 + x3 x2 1 1 + . . . + x4 1 1 1 + . . .
+ 1 1 x3 1 1 + x 1 x3 1 1 +
+ 1 1 1 x4 1 +
= 1x 0 + 1x + 2x 2 + 3x 3 + 5x 4 + . . .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Por tanto, escribiendo F (x) como una serie de Taylor sera:
F (x) = ao + a1 x + a2 x 2 + . . . + an x n + . . . =
= 1 + x + 2x 2 + 3x 3 + 5x 4 + 7x 5 + 11x 6 + . . .
donde los coeficientes am son los valores de p(m).

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Por tanto, escribiendo F (x) como una serie de Taylor sera:
F (x) = ao + a1 x + a2 x 2 + . . . + an x n + . . . =
= 1 + x + 2x 2 + 3x 3 + 5x 4 + 7x 5 + 11x 6 + . . .
donde los coeficientes am son los valores de p(m).
As:

!
Y X X
ki
x = p(n)x n
i=1 k=0 n=0

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Por otro lado, observamos que cada factor de F (x) es la suma

on x k , con k = 1, 2, 3, . . ..
infinita de una serie geometrica de raz
Por tanto:
1 1 1 1
F (x) =
1 x 1 x 1 x 1 x4
2 3

1 2 1 3 1
(1 x n )1
Y
= (1 x) 1 x 1x =
n=1

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Por tanto, esta es la funci

on generatriz de la funcion particion.

(1 x n )1
X Y
n
p(n)x =
n=0 n=1

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Por tanto, esta es la funci

on generatriz de la funcion particion.

(1 x n )1
X Y
n
p(n)x =
n=0 n=1
As p(n) es el coeficiente de x n cuando calculamos el producto

infinito de la derecha, lo que no soluciona nuestro problema,
aunque s nos da otro metodo para calcular p(n).

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Propiedades de la funcion particion
Que propiedades aritmeticas se conocen sobre la funcion p(n)?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

Sabemos si p(n) toma mas veces valores pares que impares?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

Sabemos si p(n) toma 1/3 veces valores m
ultiplos de 3?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

ultiplos de 3?
ultiplos de 5?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

ultiplos de 3?
ultiplos de 5?


aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Que esta probado al respecto?
Teorema (O.Kolberg (1959))

Hay una cantidad infinita de veces que p(n) toma valores
pares.
Hay una cantidad infinita de veces que p(n) toma valores
impares.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Proporcion pares
Sea Pr2 (N) := la proporci

on de los primeros N valores que son
pares.
N Pr2 (N)
200 000 0,5012 . . .
600 000 0,5000 . . .
1 000 000 0,5004 . . .
1
2 ?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Proporcion pares

pares.
N Pr2 (N)
200 000 0,5012 . . .
600 000 0,5000 . . .
1 000 000 0,5004 . . .
1
2 ?
Conjetura
La mitad de los valores de p(n) son pares.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Proporcion multiplos de 3

divisibles por 3.
N Pr3 (N)
800 0,334 . . .
1600 0,314 . . .
2400 0,319 . . .
3200 0,331 . . .
1
3 ?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

divisibles por 3.
N Pr3 (N)
800 0,334 . . .
1600 0,314 . . .
2400 0,319 . . .
3200 0,331 . . .
1
3 ?
Conjetura
Un tercio de los valores de p(n) son divisibles por 3.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

divisibles por 5.
N Pr5 (N)
500 0,336 . . .
1000 0,342 . . .
1500 0,348 . . .
2000 0,346 . . .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

divisibles por 5.
N Pr5 (N)
500 0,336 . . .
1000 0,342 . . .
1500 0,348 . . .
2000 0,346 . . .
NO hay conjetura
En este caso no parece que una quinta parte vayan a ser n
umeros
divisibles por 5.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

Lo que s se observa es esta curiosa secuencia:
4 p(4) = 5
9 p(9) = 30
14 p(14) = 135
19 p(19) = 490
24 p(24) = 1575
29 p(29) = 4565

99 p(99) = 169229875
104 p(104) = 304801365


aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Se puede ver que cada 5 n umeros, empezando por 4, el valor de la

funcion particion es un m
ultiplo de 5.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Se puede ver que cada 5 n umeros, empezando por 4, el valor de la

funcion particion es un m
ultiplo de 5.
Relaciones similares las observ
o Ramanujan, a partir de las cuales
enuncio el siguiente teorema n N :
Teorema (Ramanujan (1915))
p(5n + 4) 0 (m
od 5)
p(7n + 5) 0 (m
od 7)
p(11n + 6) 0 (m
od 11)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
No solo afirmo esas tres famosas congruencias, sino que ademas

Ramanujan aseguraba que solo existan esas tres relaciones
de ese tipo.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
No solo afirmo esas tres famosas congruencias, sino que ademas

Ramanujan aseguraba que solo existan esas tres relaciones
de ese tipo.
Pero no fue hasta 2005 cuando se prob
o que la afirmacion de
Ramanujan era cierta:
Teorema (Ahlgren y Boylan (2005))
Los u
nicos pares (`, a) tal que
p(`n + a) 0 (m
od `);
son (5, 4), (7, 5), y (11, 6).

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Teorema (Ken Ono (2000))

Para primos q 5, existen infinitas progresiones An + B tal que
p(An + B) 0 (m
od q)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Teorema (Ken Ono (2000))

Para primos q 5, existen infinitas progresiones An + B tal que
p(An + B) 0 (m
od q)
Ejemplos
p(48037937n + 1122838) 0 (m
od 17),
p(1977147619n + 815655) 0 (m
od 19),
p(14375n + 3474) 0 (m
od 23),
p(348104768909n + 43819835) 0 (m
od 29),
p(4063467631n + 1122838) 0 (m
od 31).

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Con esto concluimos la parte de presentaci

on de la funcion
particion.
Hemos comentado gran parte de lo que se conoce sobre ella hasta
ahora.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Con esto concluimos la parte de presentaci

on de la funcion
particion.
Hemos comentado gran parte de lo que se conoce sobre ella hasta
ahora.
A continuacion vamos a hablar de sus aplicaciones en otro ambito

de las matematicas.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
on partici
on

on
on partici
on

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Aplicaciones de la funcion particion
Nos podemos preguntar:

Donde podramos encontrar la funci
on partici
on?

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

on partici
on?
Una respuesta sera:

En el
algebra.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

on partici
on?
Una respuesta sera:

En el
algebra.
En particular,nos va a aparecer con los grupos sim
etricos.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

on partici
on?
Una respuesta sera:

En el
algebra.
En particular,nos va a aparecer con los grupos sim
etricos.
Antes de nada, vamos a definir un par de nociones necesarias sobre

esta parte del algebra.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Supongamos que es un conjunto finito.

Definicion: permutacion
on biyectiva f : .
Una permutacion de es una aplicaci

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Supongamos que es un conjunto finito.

Definicion: permutacion
on biyectiva f : .
Una permutacion de es una aplicaci
Nosotros vamos a tomar el grupo S de permutaciones de con

la multiplicacion fg = g f . De hecho, vamos a trabajar con Sn .
Definicion: Sn
El grupo Sn es el conjunto de aplicaciones de {1, . . . , n} en
{1, . . . , n}. Recordamos que |Sn | = n!.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
As, por ejemplo, los elementos de S3 son las siguientes 6(= 3!)
permutaciones:
Elementos de S3
1 = (1)(2)(3) = 1
2 = (1 2)(3) = (1 2)
3 = (1 3)(2) = (1 3)
4 = (2 3)(1) = (2 3)
5 = (1 2 3)
6 = (1 3 2)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Una particion de n es una tupla = (1 , . . . , ` ) de n
umeros
enteros positivos tal que:
1 2 . . . `
1 + 2 + . . . + ` = n

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Teorema
Salvo orden y ciclos de longitud 1, cualquier permutacion se puede
escribir de forma u
nica como producto de ciclos disjuntos dos a
dos.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Teorema
Salvo orden y ciclos de longitud 1, cualquier permutacion se puede
escribir de forma u
nica como producto de ciclos disjuntos dos a
dos.
Como aplicacion de este teorema podemos hablar de la estructura

de ciclos de cualquier Sn .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Definicion: Estructura de ciclos

La estructura de ciclos de una permutaci on Sn es la
particion natural de n asociada a la permutacion .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

La denotamos as: type()= (1 , . . . , ` ) donde los i son los
tamanos de los ciclos de en orden decreciente.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on

La denotamos as: type()= (1 , . . . , ` ) donde los i son los
tamanos de los ciclos de en orden decreciente.
Ejemplo en S11
type ((9 6 3 4 1)(11 2)(5 7)(8)(10)) = (5, 2, 2, 1, 1)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Sabemos por teora de grupos que:

Definicion: Clase de conjugaci on:
Sea g G = Sn , se tiene que la clase de conjugacion de g es:
C `G (g ) = {g x | x G } = x 1 gx| x G .


aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Sabemos por teora de grupos que:

Definicion: Clase de conjugaci on:
Sea g G = Sn , se tiene que la clase de conjugacion de g es:
C `G (g ) = {g x | x G } = x 1 gx| x G .

Ejemplo con G= S5
Algunos elementos de C `G (g ) con g = (5 2)(3 4 1)
x1 = (1 3) g x1 = (1 3)(5 2)(3 4 1)(1 3) = (5 2)(1 4 3)
(
g x2 = (5 3)(4 2)(5 2)(3 4 1)(5 3)(4 2)
x2 = (5 3)(4 2)
= (4 3)(5 2 1)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Teorema
Dos permutaciones son conjugadas tienen la misma estructura
de ciclo.
Dicho con otras palabras:
Teorema
Sea , Sn . Entonces es conjugada de type() = type( )

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Teorema
Dos permutaciones son conjugadas tienen la misma estructura
de ciclo.
Dicho con otras palabras:
Teorema
Sea , Sn . Entonces es conjugada de type() = type( )
Ejemplo con G= S5
Dado g = (5 2)(3 4 1) type (g ) = (3, 2)
g x1 = (5 2)(1 4 3) type (g x1 ) = (3, 2)
g x2 = (4 3)(5 2 1) type (g x2 ) = (3, 2)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Ejemplos, en S5
type (1 ) =type (1) = (1, 1, 1, 1, 1)
type (2 ) =type ((1 2)) = (2, 1, 1, 1)
type (3 ) =type ((1 2 3)) = (3, 1, 1)
type (4 ) =type ((1 2 3 4)) = (4, 1)
type (5 ) =type ((1 2 3 4 5)) = (5)
type (6 ) =type ((1 2) (3 4)) = (2, 2, 1)
type (7 ) =type ((1 2) (3 4 5)) = (3, 2)

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Notas
Por ejemplo, si tomamos = (5 2)(3 4 1)
type ( ) = (3, 2) = type (7 ) .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Notas
type ( ) = (3, 2) = type (7 ) .
Se tiene que los 7 elementos de E = {1 , 2 , 3 , 4 , 5 , 6 , 7 }

son representantes de las distintas estructuras de ciclos de S5 .

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Notas
type ( ) = (3, 2) = type (7 ) .
Se tiene que los 7 elementos de E = {1 , 2 , 3 , 4 , 5 , 6 , 7 }

son representantes de las distintas estructuras de ciclos de S5 .
Se puede ver que los elementos de E estan en biyeccion con

las particiones del n
umero 5:
1+1+1+1+1=2+1+1+1=3+1+1
=4+1=5=2+2+1=3+2

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Recapitulamos
Todos los elementos de Sn con la misma estructura de ciclo
pertenecen a la misma clase de conjugaci
on.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Recapitulamos
on.
Hay tantas clases de conjugaci
on como estructuras de ciclo.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Recapitulamos
on.
Cada representante de una clase de conjugacion tiene una
estructura de ciclo diferente del resto de representantes.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Recapitulamos
on.
Cada representante de una clase de conjugacion tiene una
estructura de ciclo diferente del resto de representantes.
Cada representante de una clase de conjugacion esta en
biyeccion con una partici
on de n.

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
Conclusion
El n
umero de clases de conjugaci
on en el grupo Sn es p(n).

aez Funci
on de partici
on
Definici
on de la funci
on partici
on
on
on partici
on
References I
Jan Hendrik Bruinier y Ken Ono

Algebraic formulas for the coefficients of half-integral weight
harmonic weak Maass forms .
Advances in Mathematics, (2013).
Scott Ahlgren y Matthew Boylan,
Arithmetic properties of the partition function.
Inventiones mathematicae, Springer, (2003).
Benjamin Steinberg
Representation Theory of the Symmetric Group Representation
Theory of Finite Groups.
Springer, 2012.

aez Funci
on de partici
on

Azahara Saez

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Azahara Saez

Cargado por

Copyright:

Formatos disponibles

Definici

A. Ferrero, I. Garca, A. el Idrissi, A. S

2 Propiedades funcion partici

A. Ferrero, I. Garca, A. el Idrissi, A. S

Como surgio p(n)?

A. Ferrero, I. Garca, A. el Idrissi, A. S

Problema general de la Teora de n umeros

n = ai1 + ai2 + . . . + ai`

donde pueden haber o no las siguientes restricciones:

A. Ferrero, I. Garca, A. el Idrissi, A. S

Problema general de la Teora de n umeros

n = ai1 + ai2 + . . . + ai`

donde pueden haber o no las siguientes restricciones:

A. Ferrero, I. Garca, A. el Idrissi, A. S

n = b12 + b22 + . . . + b`2

A. Ferrero, I. Garca, A. el Idrissi, A. S

n = b12 + b22 + . . . + b`2

A. Ferrero, I. Garca, A. el Idrissi, A. S

n = b12 + b22 + . . . + b`2

` = 4 Teorema de los cuatro cuadrados de Lagrange:

A. Ferrero, I. Garca, A. el Idrissi, A. S

n = b12 + b22 + . . . + b`2

` = 4 Teorema de los cuatro cuadrados de Lagrange:

` = 24 Problema del cual surge la funci

A. Ferrero, I. Garca, A. el Idrissi, A. S

Es uno de los problemas no resueltos mas difciles de la teora de

A. Ferrero, I. Garca, A. el Idrissi, A. S

A. Ferrero, I. Garca, A. el Idrissi, A. S

A. Ferrero, I. Garca, A. el Idrissi, A. S

A raz de estas condiciones obtenemos la definici

A. Ferrero, I. Garca, A. el Idrissi, A. S

A. Ferrero, I. Garca, A. el Idrissi, A. S

A. Ferrero, I. Garca, A. el Idrissi, A. S

Ejemplo: particiones del 5

A. Ferrero, I. Garca, A. el Idrissi, A. S

Ejemplo: particiones del 5

Se observa que la cantidad de particiones es 7.

A. Ferrero, I. Garca, A. el Idrissi, A. S

Definicion de la funcion particion

Definicion: funcion partici

A. Ferrero, I. Garca, A. el Idrissi, A. S

Definicion de la funcion particion

Definicion: funcion partici

A. Ferrero, I. Garca, A. el Idrissi, A. S

A. Ferrero, I. Garca, A. el Idrissi, A. S

Ejemplos de la funcion particion

Calculando mas valores de la funci on, p(n) para n 0,

A. Ferrero, I. Garca, A. el Idrissi, A. S

Ejemplos de la funcion particion

Calculando mas valores de la funci on, p(n) para n 0,

A. Ferrero, I. Garca, A. el Idrissi, A. S

Como se observa, cada vez es mas alto el valor de p(n), lo cual

A. Ferrero, I. Garca, A. el Idrissi, A. S

Como se observa, cada vez es mas alto el valor de p(n), lo cual

A. Ferrero, I. Garca, A. el Idrissi, A. S

Como se observa, cada vez es mas alto el valor de p(n), lo cual

Hasta hace apenas un a

A. Ferrero, I. Garca, A. el Idrissi, A. S

Como se observa, cada vez es mas alto el valor de p(n), lo cual

Hasta hace apenas un a

A. Ferrero, I. Garca, A. el Idrissi, A. S

2 Propiedades funcion partici

A. Ferrero, I. Garca, A. el Idrissi, A. S

Mirando como van creciendo los n