Академический Документы
Профессиональный Документы
Культура Документы
Menú:
Entrada
Motivación
Plato fuerte
Herramientas
El lema
El Resultado
El Postre
Conclusión
Resumen
Entrada Plato fuerte El Postre
Motivación
Intuitivamente:
• Muchas Aristas ⇒ Seguramente hay triángulos.
Entrada Plato fuerte El Postre
Motivación
Intuitivamente:
• Muchas Aristas ⇒ Seguramente hay triángulos.
• Pocas Aristas ⇒ Difı́cilmente se pueden garantizar triángulos.
Entrada Plato fuerte El Postre
Motivación
Intuitivamente:
• Muchas Aristas ⇒ Seguramente hay triángulos.
• Pocas Aristas ⇒ Difı́cilmente se pueden garantizar triángulos.
Entrada Plato fuerte El Postre
Motivación
Intuitivamente:
• Muchas Aristas ⇒ Seguramente hay triángulos.
• Pocas Aristas ⇒ Difı́cilmente se pueden garantizar triángulos.
Motivación
Teorema. (Turán)
Sea G una gráfica con n vértices libre de triángulos, entonces G
2
tiene a lo más n4 aristas.
Entrada Plato fuerte El Postre
Motivación
Teorema. (Turán)
Sea G una gráfica con n vértices libre de triángulos, entonces G
2
tiene a lo más n4 aristas.
n2
4
es un numerote
Entrada Plato fuerte El Postre
Motivación
Teorema. (Turán)
Sea G una gráfica con n vértices libre de triángulos, entonces G
2
tiene a lo más n4 aristas.
n2
4
es un numerote /
Motivación
Motivación
Seamos flexibles
Entrada Plato fuerte El Postre
Motivación
Seamos flexibles
¿Qué necesitamos para casi garantizar un triángulo?
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
Motivación
Un ejemplo
Motivación
Un ejemplo
Motivación
Un ejemplo
•.......
•......................•...
•................
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
• •.......
•......................•...
•................
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
•.........................................•.......•........................
..
.....
.....
.....
•.
•................
.....
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
•
•.........................................•.......•........................
..
.....
.....
.....
•.
•................
.....
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
•
........
........... ....
........... ...
• .. ..... .
.. ...........
....................
• ...
..
.
.
..
..... .................. ..... ....
.....
.....
.....
• • ....................
.....
• .....
.......
.......
• .
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
•
........
........... ....
........... ...
• .. ..... .
.. ...........
....................
• ...
..
.
.
..
..... .................. ..... ....
.....
.....
.....
• • ....................
.....
• .....
.......
.......
• .
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• .. ..... .
.. ...........
....................
• ... ....
..
..... .................. ..... ....
.....
.....
.....
• • ....................
...
...
..... ...
•.....
.......
.......
...
• .
...
...
...
...
...
...
• ..
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• .. ..... .
.. ...........
....................
• ... ....
..
..... .................. ..... ....
.....
.....
.....
• • ....................
...
...
..... ...
•.....
.......
.......
...
• .
...
...
...
...
...
...
• • ..
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• .. ..... .
.. ...........
....................
• ... ....
..
..... .................. ..... ....
.....
.....
.....
• • ....................
...
...
..... ...
• .....
.......
.......
...
• .
...
...
...
...
...
.
• .............................
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• .. ..... .
.. ...........
....................
• ... ....
..
..... .................. ..... ....
.....
.....
.....
• • ....................
...
...
..... ...
• .....
.......
.......
...
• .
...
...
...
• ...
...
.
• .............................
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• . . . . . .
.................................... • .... . .
. ..
..
.......... ....................... ..... ...
... ......
... ......
• • ................
...
... ..... ...
.....
...
... • .
...............
...
...
... ...
.
.
.
... ... ..........
.
............. ..
•
...
....
.
. ...
...
...
• .. ...
...
• .............................
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• . . . . . .
.................................... • .... . .
. ..
..
.......... ....................... ..... ...
... ......
... ......
• • ................
...
... ..... ...
.....
...
... • .
...............
...
...
... ...
.
.
.
... ... ..........
.
............. ..
•
...
....
.
. ...
...
...
• .. ...
...
• .............................
•
Entrada Plato fuerte El Postre
Motivación
Un ejemplo
...........
........... .... •
........
........... ...
• . . . . . .
.................................... • .... . .
. ..
..
.......... ....................... ..... ...
... ......
... ......
• • ................
...
... ..... ...
.....
...
... • .
...............
...
...
... ...
.
.
.
... ... ..........
.
............. ..
•
...
....
.
. ...
...
...
• .. ...
...
• .............................
•
Entrada Plato fuerte El Postre
Las Herramientas
Gráficas Aleatorias
Las Herramientas
Gráficas Aleatorias
Las Herramientas
Gráficas Aleatorias
Observación.
• Si p = 0, Gn,p es una gráfica sin aristas.
Entrada Plato fuerte El Postre
Las Herramientas
Gráficas Aleatorias
Observación.
• Si p = 0, Gn,p es una gráfica sin aristas.
• Si p = 1 entonces Gn,p = Kn .
Entrada Plato fuerte El Postre
Las Herramientas
Gráficas Aleatorias
Observación.
• Si p = 0, Gn,p es una gráfica sin aristas.
• Si p = 1 entonces Gn,p = Kn .
• Si E (|A(Gn,p |) es el promedio del número de aristas de Gn,p
n
entonces tenemos que E (|A(Gn,p )|) = p 2 .
Entrada Plato fuerte El Postre
Herramientas
Cosas que cuentan cosas
Herramientas
Cosas que cuentan cosas
Herramientas
Cosas que cuentan cosas
ADVERTENCIA
El Lema
Lema.
Sea X1 , X2 , · · · , Xn · · · una familia de funciones reales no negativas
(¡Como las nuestras!) de tal forma que
Var (Xn )
lı́m =0
n→∞ E (Xn )2
entonces
lı́m P(Xn > 0) = 1
n→∞
.
Entrada Plato fuerte El Postre
El Resultado
Teorema.
Sea p : N → [0, 1] de tal forma que
1
n
lı́m =0
n→∞ p(n)
El Resultado
Demostración
El Resultado
Demostración
1 si el i-ésimo triángulo aparece
Ti =
0 si no.
Entrada Plato fuerte El Postre
El Resultado
Demostración
1 si el i-ésimo triángulo aparece
Ti =
0 si no.
Observemos que
(n3)
X
T = Ti
i=1
Entrada Plato fuerte El Postre
El Resultado
Demostración
1 si el i-ésimo triángulo aparece
Ti =
0 si no.
Observemos que
(n3)
X
T = Ti
i=1
y que
3 n 3
E (Ti ) = p y entonces E (T ) = p
3
Entrada Plato fuerte El Postre
El Resultado
Demostración
Calculemos Var (T ):
(n3)
X X
Var (T ) = Var (Ti ) + Cov (Ti , Tj )
i=1 i6=j
Donde
Cov (Ti , Tj ) = E (Ti Tj ) − E (Ti )E (Tj )
Entrada Plato fuerte El Postre
El Resultado
Demostración
Calculemos Var (T ):
(n3)
X X
Var (T ) = Var (Ti ) + Cov (Ti , Tj )
i=1 i6=j
Donde
Cov (Ti , Tj ) = E (Ti Tj ) − E (Ti )E (Tj )
Calculemos por separado
(n3)
X X
Var (Ti ) y Cov (Ti , Tj )
i=1 i6=j
Entrada Plato fuerte El Postre
El Resultado
Demostración
El Resultado
Demostración
El Resultado
Demostración
El Resultado
Demostración
El Resultado
Demostración
Ası́ que
(n3)
X n 3
Var (Ti ) ≤ p
3
i=1
Entrada Plato fuerte El Postre
El Resultado
Demostración
Observemos que Cov (Ti , Tj ) = 0 si el i-ésimo y el j-ésimo
triángulo están separados:
.. ..
.
... ... ... ...
.
•
......................
..
.... ............. .....
..
..... ............ ....
•
.......................
··· • ··· •
... i ................
... ........ .. ...
.......
.........
... j .
..... ............. ....
.. .
.
···
•.
.................
... ...
.
... ...
•.
......................
.. ..
Entrada Plato fuerte El Postre
El Resultado
Demostración
Observemos que Cov (Ti , Tj ) = 0 si el i-ésimo y el j-ésimo
triángulo están separados:
.. ..
.
... ... ... ...
.
•
......................
..
.... ............. .....
..
..... ............ ....
•
.......................
··· • ··· •
... i ................
... ........ .. ...
.......
.........
... j .
..... ............. ....
.. .
.
···
•.
.................
... ...
.
... ...
•.
......................
.. ..
.. ..
Entrada Plato fuerte El Postre
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
Entrada Plato fuerte El Postre
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
•..................... .. ...............•.....
· · · .......... i.................................................j ........ · · ·
•......................................•......
.
El Resultado
Demostración
(n3)
X X
Var (T ) = Var (Ti ) + Cov (Ti , Tj )
i=1 i6=j
Entrada Plato fuerte El Postre
El Resultado
Demostración
(n3)
X X n 3
Var (T ) = Var (Ti ) + Cov (Ti , Tj ) ≤ p
3
i=1 i6=j
Entrada Plato fuerte El Postre
El Resultado
Demostración
(n3)
X X n 3 n 4 5
Var (T ) = Var (Ti ) + Cov (Ti , Tj ) ≤ p +2 p
3 4 2
i=1 i6=j
Entrada Plato fuerte El Postre
El Resultado
Demostración
(n3)
X X n 3 n 4 5
Var (T ) = Var (Ti ) + Cov (Ti , Tj ) ≤ p +2 p
3 4 2
i=1 i6=j
y recordemos que:
n 3
E (T ) = p
3
Entrada Plato fuerte El Postre
El Resultado
Demostración
Por lo tanto
n
p(n)3 + 2 n4 42 p(n)5
Var (T ) 3
lı́m ≤ lı́m
n→∞ E (T )2 n 3 2
n→∞
3 p(n)
Entrada Plato fuerte El Postre
El Resultado
Demostración
Por lo tanto
n
p(n)3 + 2 n4 42 p(n)5
Var (T ) 3
lı́m ≤ lı́m =0
n→∞ E (T )2 n 3 2
n→∞
3 p(n)
Entrada Plato fuerte El Postre
El Resultado
Demostración
Por lo tanto
n
p(n)3 + 2 n4 42 p(n)5
Var (T ) 3
lı́m ≤ lı́m =0
n→∞ E (T )2 n 3 2
n→∞
3 p(n)
y por El Lema
El Resultado
Demostración
Por lo tanto
n
p(n)3 + 2 n4 42 p(n)5
Var (T ) 3
lı́m ≤ lı́m =0
n→∞ E (T )2 n 3 2
n→∞
3 p(n)
y por El Lema
,
Entrada Plato fuerte El Postre
Conclusión
¿Qué tantas aristas tiene la gráfica que construı́mos?
E (|A(Gn,p )|)
Entrada Plato fuerte El Postre
Conclusión
¿Qué tantas aristas tiene la gráfica que construı́mos?
n2
= E (|A(Gn,p )|)
4
Entrada Plato fuerte El Postre
Conclusión
¿Qué tantas aristas tiene la gráfica que construı́mos?
n2
n
= E (|A(Gn,p )|) = p
4 2
Entrada Plato fuerte El Postre
Conclusión
¿Qué tantas aristas tiene la gráfica que construı́mos?
n2
n
= E (|A(Gn,p )|) = p
4 2
Por lo tanto
n2
4 n
p= n =
2
2(n − 1)
Entrada Plato fuerte El Postre
¿Qué hicimos?
• Repasamos Turán.
Entrada Plato fuerte El Postre
¿Qué hicimos?
• Repasamos Turán.
• Debilitamos el problema planteándolo de un modo
probabilı́stico.
Entrada Plato fuerte El Postre
¿Qué hicimos?
• Repasamos Turán.
• Debilitamos el problema planteándolo de un modo
probabilı́stico.
• Dimos un resultado que nos promete un triángulo con mucha
certeza pidiéndonos relativamente pocas aristas.
Entrada Plato fuerte El Postre
Diapositivas y detalles:
• www .fismat.umich.mx/ ∼ jjpelayo/Coloquio
• www .fismat.umich.mx/ ∼ htellez/Coloquio
• www .fismat.umich.mx/ ∼ jamontero/Coloquio
(en una semana)
Entrada Plato fuerte El Postre
Diapositivas y detalles:
• www .fismat.umich.mx/ ∼ jjpelayo/Coloquio
• www .fismat.umich.mx/ ∼ htellez/Coloquio
• www .fismat.umich.mx/ ∼ jamontero/Coloquio
(en una semana)
¡GRACIAS!