la conjetura de merino-welsh es cierta para...
TRANSCRIPT
![Page 1: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/1.jpg)
La conjetura de Merino-Welsh es cierta paramatroides de caminos latices
Kolja KnauerLeonardo Ignacio Martınez Sandoval
Jorge Ramırez Alfonsın
Instituto de Matematicas - Unidad Juriquilla, UNAMIMAG - Universite Montpellier 2
12 de noviembre de 2015Coloquio Oaxaqueno
![Page 2: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/2.jpg)
Algunas ideas en graficas
Consideremos una grafica G y etiquetemos sus aristas
Nos interesan: los arboles generadores τ(G ), las orientacionesacıclicas α(G ) y las orientaciones totalmente cıclicas α∗(G ).
![Page 3: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/3.jpg)
Algunas ideas en graficas
Consideremos una grafica G y etiquetemos sus aristas
Nos interesan: los arboles generadores τ(G ), las orientacionesacıclicas α(G ) y las orientaciones totalmente cıclicas α∗(G ).
![Page 4: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/4.jpg)
Algunas ideas en graficas
Consideremos una grafica G y etiquetemos sus aristas
Nos interesan: los arboles generadores τ(G ), las orientacionesacıclicas α(G ) y las orientaciones totalmente cıclicas α∗(G ).
![Page 5: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/5.jpg)
Arboles generadores
Subgraficas conexas sin ciclos cuyas aristas cubren todos losvertices
Se muestra el arbol generador {3, 5, 6, 7}. Otros ejemplos son{2, 5, 7, 8} y {1, 4, 5, 8}. Son 27 en total.
![Page 6: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/6.jpg)
Arboles generadores
Subgraficas conexas sin ciclos cuyas aristas cubren todos losvertices
Se muestra el arbol generador {3, 5, 6, 7}. Otros ejemplos son{2, 5, 7, 8} y {1, 4, 5, 8}. Son 27 en total.
![Page 7: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/7.jpg)
Arboles generadores
Subgraficas conexas sin ciclos cuyas aristas cubren todos losvertices
Se muestra el arbol generador {3, 5, 6, 7}. Otros ejemplos son{2, 5, 7, 8} y {1, 4, 5, 8}.
Son 27 en total.
![Page 8: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/8.jpg)
Arboles generadores
Subgraficas conexas sin ciclos cuyas aristas cubren todos losvertices
Se muestra el arbol generador {3, 5, 6, 7}. Otros ejemplos son{2, 5, 7, 8} y {1, 4, 5, 8}. Son 27 en total.
![Page 9: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/9.jpg)
Arboles generadores
El conjunto de arboles generadores cumple
1. Ser no vacıo
2. Si A y B son conjuntos de aristas de dos arboles generadoresy hay un elemento a ∈ A \ B, entonces podemos encontrar unelemento b ∈ B \ A tal que A \ {a} ∪ {b} es el conjunto dearistas de un arbol generador.
![Page 10: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/10.jpg)
Arboles generadores
El conjunto de arboles generadores cumple
1. Ser no vacıo
2. Si A y B son conjuntos de aristas de dos arboles generadoresy hay un elemento a ∈ A \ B, entonces podemos encontrar unelemento b ∈ B \ A tal que A \ {a} ∪ {b} es el conjunto dearistas de un arbol generador.
![Page 11: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/11.jpg)
Orientaciones acıclicas
Dar una orientacion a cada arista sin que aparezcan ciclos dirigidos
Son 42 en total.
![Page 12: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/12.jpg)
Orientaciones acıclicas
Dar una orientacion a cada arista sin que aparezcan ciclos dirigidos
Son 42 en total.
![Page 13: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/13.jpg)
Orientaciones acıclicas
Dar una orientacion a cada arista sin que aparezcan ciclos dirigidos
Son 42 en total.
![Page 14: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/14.jpg)
Orientaciones totalmente cıclicas
Dar una orientacion a cada arista de modo que cada arista este enal menos un ciclo dirigido
Son 42 en total.
![Page 15: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/15.jpg)
Orientaciones totalmente cıclicas
Dar una orientacion a cada arista de modo que cada arista este enal menos un ciclo dirigido
Son 42 en total.
![Page 16: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/16.jpg)
Orientaciones totalmente cıclicas
Dar una orientacion a cada arista de modo que cada arista este enal menos un ciclo dirigido
Son 42 en total.
![Page 17: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/17.jpg)
Conjeturas de Merino-Welsh
Notemos que max{42, 42} ≥ 27.
En 1999, Criel Merino y DominicWelsh se dan cuenta que α ≥ τ en ciertas familias de graficas y enlas que no, α′ ≥ τ . A partir de estas observaciones conjeturan:
Conjetura
Para cualquier grafica G 2-conexa y sin bucles se cumple que:
max (α(G ), α∗(G )) ≥ τ(G )
![Page 18: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/18.jpg)
Conjeturas de Merino-Welsh
Notemos que max{42, 42} ≥ 27. En 1999, Criel Merino y DominicWelsh se dan cuenta que α ≥ τ en ciertas familias de graficas y enlas que no, α′ ≥ τ . A partir de estas observaciones conjeturan:
Conjetura
Para cualquier grafica G 2-conexa y sin bucles se cumple que:
max (α(G ), α∗(G )) ≥ τ(G )
![Page 19: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/19.jpg)
Conjeturas de Merino-Welsh
Notemos que max{42, 42} ≥ 27. En 1999, Criel Merino y DominicWelsh se dan cuenta que α ≥ τ en ciertas familias de graficas y enlas que no, α′ ≥ τ . A partir de estas observaciones conjeturan:
Conjetura
Para cualquier grafica G 2-conexa y sin bucles se cumple que:
max (α(G ), α∗(G )) ≥ τ(G )
![Page 20: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/20.jpg)
Conjeturas de Merino-Welsh
Mas adelante (2009), Conde y Welsh proponen versiones masfuertes, pero mas manejables de la conjetura:
Conjetura
Para cualquier grafica G 2-conexa y sin bucles se cumple que:
1. (Aditiva) α(G ) + α∗(G ) ≥ 2 · τ(G ).
2. (Multiplicativa) α(G ) · α∗(G ) ≥ τ(G )2.
max (α, α∗) ≥ α + α∗
2≥√α · α∗.
![Page 21: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/21.jpg)
Conjeturas de Merino-Welsh
Mas adelante (2009), Conde y Welsh proponen versiones masfuertes, pero mas manejables de la conjetura:
Conjetura
Para cualquier grafica G 2-conexa y sin bucles se cumple que:
1. (Aditiva) α(G ) + α∗(G ) ≥ 2 · τ(G ).
2. (Multiplicativa) α(G ) · α∗(G ) ≥ τ(G )2.
max (α, α∗) ≥ α + α∗
2≥√α · α∗.
![Page 22: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/22.jpg)
Conjeturas de Merino-Welsh
Mas adelante (2009), Conde y Welsh proponen versiones masfuertes, pero mas manejables de la conjetura:
Conjetura
Para cualquier grafica G 2-conexa y sin bucles se cumple que:
1. (Aditiva) α(G ) + α∗(G ) ≥ 2 · τ(G ).
2. (Multiplicativa) α(G ) · α∗(G ) ≥ τ(G )2.
max (α, α∗) ≥ α + α∗
2≥√α · α∗.
![Page 23: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/23.jpg)
Resultados parciales
I 1999 - Merino, Welsh - Se plantea la conjetura y algunasfamilias
I 2009 - Conde, Merino - Threshold graphs, bipartitascompletas, 9, 945, 269 ejemplos computacionalmente
I 2010 - Thomassen - G con al menos 4n aristas o a lo mas 16n15
aristas, multigraficas de grado maximo 3 y triangulacionesplanas
I 2011 - Chavez-Lomelı, Merino, Noble, Ramırez-Ibanez -Ruedas, whirls, 3-regulares de cuello al menos 5, completas
I 2014 - Noble, Royle - Series parallel graphs
![Page 24: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/24.jpg)
Resultados parciales
I 1999 - Merino, Welsh - Se plantea la conjetura y algunasfamilias
I 2009 - Conde, Merino - Threshold graphs, bipartitascompletas, 9, 945, 269 ejemplos computacionalmente
I 2010 - Thomassen - G con al menos 4n aristas o a lo mas 16n15
aristas, multigraficas de grado maximo 3 y triangulacionesplanas
I 2011 - Chavez-Lomelı, Merino, Noble, Ramırez-Ibanez -Ruedas, whirls, 3-regulares de cuello al menos 5, completas
I 2014 - Noble, Royle - Series parallel graphs
![Page 25: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/25.jpg)
Escaleras
I Tomamos m, n enteros positivos, un tablero de m × n.
I Camino inferior P y uno superior Q (no se cruzan).
![Page 26: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/26.jpg)
Escaleras
I Tomamos m, n enteros positivos, un tablero de m × n.
I Camino inferior P y uno superior Q (no se cruzan).
![Page 27: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/27.jpg)
Caminos validos
I Consideremos todos los caminos que quedan entre P y Q ysuben o van a la derecha en cada paso.
Podemos identificarlos viendo en que momentos se va haciaarriba. {1,4,7,8,11,12}. Otro es {1,2,3,6,7,11}.
![Page 28: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/28.jpg)
Caminos validos
I Consideremos todos los caminos que quedan entre P y Q ysuben o van a la derecha en cada paso.
Podemos identificarlos viendo en que momentos se va haciaarriba. {1,4,7,8,11,12}. Otro es {1,2,3,6,7,11}.
![Page 29: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/29.jpg)
Caminos validos
I Consideremos todos los caminos que quedan entre P y Q ysuben o van a la derecha en cada paso.
Podemos identificarlos viendo en que momentos se va haciaarriba.
{1,4,7,8,11,12}. Otro es {1,2,3,6,7,11}.
![Page 30: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/30.jpg)
Caminos validos
I Consideremos todos los caminos que quedan entre P y Q ysuben o van a la derecha en cada paso.
Podemos identificarlos viendo en que momentos se va haciaarriba. {1,4,7,8,11,12}.
Otro es {1,2,3,6,7,11}.
![Page 31: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/31.jpg)
Caminos validos
I Consideremos todos los caminos que quedan entre P y Q ysuben o van a la derecha en cada paso.
Podemos identificarlos viendo en que momentos se va haciaarriba. {1,4,7,8,11,12}. Otro es {1,2,3,6,7,11}.
![Page 32: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/32.jpg)
Caminos validos
El conjunto de caminos validos B cumple
1. Ser no vacıo
2. Si A y B estan en B y hay un elemento a ∈ A \ B, entoncespodemos encontrar un elemento b ∈ B \ A tal queA \ {a} ∪ {b} esta en B.
Son las mismas propiedades que para los conjuntos de aristas dearboles generadores.
![Page 33: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/33.jpg)
Caminos validos
El conjunto de caminos validos B cumple
1. Ser no vacıo
2. Si A y B estan en B y hay un elemento a ∈ A \ B, entoncespodemos encontrar un elemento b ∈ B \ A tal queA \ {a} ∪ {b} esta en B.
Son las mismas propiedades que para los conjuntos de aristas dearboles generadores.
![Page 34: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/34.jpg)
Caminos validos
El conjunto de caminos validos B cumple
1. Ser no vacıo
2. Si A y B estan en B y hay un elemento a ∈ A \ B, entoncespodemos encontrar un elemento b ∈ B \ A tal queA \ {a} ∪ {b} esta en B.
Son las mismas propiedades que para los conjuntos de aristas dearboles generadores.
![Page 35: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/35.jpg)
Matroides
Un matroide esta formado por un conjunto inicial E y un conjuntode bases B ⊆ P(E ), de modo que B cumple 1. y 2.
Tenemos dos formas de construir matroides:
I A partir de una grafica: matroides graficos.
I A partir de un tablero: matroides de caminos latices (2013 -Bonin, de Mier, Noy).
![Page 36: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/36.jpg)
Matroides
Un matroide esta formado por un conjunto inicial E y un conjuntode bases B ⊆ P(E ), de modo que B cumple 1. y 2.Tenemos dos formas de construir matroides:
I A partir de una grafica: matroides graficos.
I A partir de un tablero: matroides de caminos latices (2013 -Bonin, de Mier, Noy).
![Page 37: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/37.jpg)
Matroides
Un matroide esta formado por un conjunto inicial E y un conjuntode bases B ⊆ P(E ), de modo que B cumple 1. y 2.Tenemos dos formas de construir matroides:
I A partir de una grafica: matroides graficos.
I A partir de un tablero: matroides de caminos latices (2013 -Bonin, de Mier, Noy).
![Page 38: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/38.jpg)
Matroides
Un matroide esta formado por un conjunto inicial E y un conjuntode bases B ⊆ P(E ), de modo que B cumple 1. y 2.Tenemos dos formas de construir matroides:
I A partir de una grafica: matroides graficos.
I A partir de un tablero: matroides de caminos latices (2013 -Bonin, de Mier, Noy).
![Page 39: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/39.jpg)
Otra forma de construir matroides
I Tomamos un espacio vectorial V sobre un campo F.
I Tomamos un conjunto de vectores S = {v1, v2, . . . , vj}.I Un subconjunto I de [j ] es base si {vi : i ∈ I} es base vectorial
de span(S).
En este caso, decimos que el matroide es representable sobre F. SiF es GF (2), simplemente decimos que el matroide es binario.
![Page 40: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/40.jpg)
Otra forma de construir matroides
I Tomamos un espacio vectorial V sobre un campo F.
I Tomamos un conjunto de vectores S = {v1, v2, . . . , vj}.
I Un subconjunto I de [j ] es base si {vi : i ∈ I} es base vectorialde span(S).
En este caso, decimos que el matroide es representable sobre F. SiF es GF (2), simplemente decimos que el matroide es binario.
![Page 41: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/41.jpg)
Otra forma de construir matroides
I Tomamos un espacio vectorial V sobre un campo F.
I Tomamos un conjunto de vectores S = {v1, v2, . . . , vj}.I Un subconjunto I de [j ] es base si {vi : i ∈ I} es base vectorial
de span(S).
En este caso, decimos que el matroide es representable sobre F. SiF es GF (2), simplemente decimos que el matroide es binario.
![Page 42: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/42.jpg)
Otra forma de construir matroides
I Tomamos un espacio vectorial V sobre un campo F.
I Tomamos un conjunto de vectores S = {v1, v2, . . . , vj}.I Un subconjunto I de [j ] es base si {vi : i ∈ I} es base vectorial
de span(S).
En este caso, decimos que el matroide es representable sobre F.
SiF es GF (2), simplemente decimos que el matroide es binario.
![Page 43: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/43.jpg)
Otra forma de construir matroides
I Tomamos un espacio vectorial V sobre un campo F.
I Tomamos un conjunto de vectores S = {v1, v2, . . . , vj}.I Un subconjunto I de [j ] es base si {vi : i ∈ I} es base vectorial
de span(S).
En este caso, decimos que el matroide es representable sobre F. SiF es GF (2), simplemente decimos que el matroide es binario.
![Page 44: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/44.jpg)
Independientes
I A cualquier subconjunto de una base le llamaremos unconjunto independiente. Funciona para matroirdes en general.
I Para un subconjunto A del conjunto inicial definimos r(A)como la cardinalidad del maximo independiente contenido enA.
I Una herramienta algebraica que guarda mucha informacion esel polinomio de Tutte, un polinomio en dos variables x y ydefinido como sigue:
T (M; x , y) =∑A⊂E
(x − 1)r(E)−r(A)(y − 1)|A|−r(A).
![Page 45: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/45.jpg)
Independientes
I A cualquier subconjunto de una base le llamaremos unconjunto independiente. Funciona para matroirdes en general.
I Para un subconjunto A del conjunto inicial definimos r(A)como la cardinalidad del maximo independiente contenido enA.
I Una herramienta algebraica que guarda mucha informacion esel polinomio de Tutte, un polinomio en dos variables x y ydefinido como sigue:
T (M; x , y) =∑A⊂E
(x − 1)r(E)−r(A)(y − 1)|A|−r(A).
![Page 46: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/46.jpg)
Independientes
I A cualquier subconjunto de una base le llamaremos unconjunto independiente. Funciona para matroirdes en general.
I Para un subconjunto A del conjunto inicial definimos r(A)como la cardinalidad del maximo independiente contenido enA.
I Una herramienta algebraica que guarda mucha informacion esel polinomio de Tutte, un polinomio en dos variables x y ydefinido como sigue:
T (M; x , y) =∑A⊂E
(x − 1)r(E)−r(A)(y − 1)|A|−r(A).
![Page 47: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/47.jpg)
Independientes
I A cualquier subconjunto de una base le llamaremos unconjunto independiente. Funciona para matroirdes en general.
I Para un subconjunto A del conjunto inicial definimos r(A)como la cardinalidad del maximo independiente contenido enA.
I Una herramienta algebraica que guarda mucha informacion esel polinomio de Tutte, un polinomio en dos variables x y ydefinido como sigue:
T (M; x , y) =∑A⊂E
(x − 1)r(E)−r(A)(y − 1)|A|−r(A).
![Page 48: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/48.jpg)
Polinomio de Tutte
En tableros, T (M; 1, 1) = numero de caminos validos.
En graficas:
I T (M; 1, 1) = arboles generadores
I T (M; 2, 0) = orientaciones acıclicas
I T (M; 0, 2) = orientaciones totalmente cıclicas
El polinomio de Tutte se puede obtener recursivamente
![Page 49: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/49.jpg)
Polinomio de Tutte
En tableros, T (M; 1, 1) = numero de caminos validos.En graficas:
I T (M; 1, 1) = arboles generadores
I T (M; 2, 0) = orientaciones acıclicas
I T (M; 0, 2) = orientaciones totalmente cıclicas
El polinomio de Tutte se puede obtener recursivamente
![Page 50: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/50.jpg)
Polinomio de Tutte
En tableros, T (M; 1, 1) = numero de caminos validos.En graficas:
I T (M; 1, 1) = arboles generadores
I T (M; 2, 0) = orientaciones acıclicas
I T (M; 0, 2) = orientaciones totalmente cıclicas
El polinomio de Tutte se puede obtener recursivamente
![Page 51: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/51.jpg)
Conjeturas de Merino-Welsh
Conjetura (Conjeturas de Merino-Welsh para matroides)
Sea M un matroide sin bucles ni cobucles y TM su polinomio deTutte. Entonces:
1. max (TM(2, 0),TM(0, 2)) ≥ TM(1, 1).
2. (Aditiva) TM(2, 0) + TM(0, 2) ≥ 2 · TM(1, 1).
3. (Multiplicativa) TM(2, 0) · TM(0, 2) ≥ TM(1, 1)2.
![Page 52: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/52.jpg)
Resultados parciales
I 2011 - Chavez-Lomelı, Merino, Noble, Ramırez-Ibanez -Matroides de catalan y paving matroids
I 2015 - Knauer, M-S, Ramırez-Alfonsın - Matroides de caminoslatices + mejora multiplicativa y caraterizacion de igualdad(arXiv y enviado)
![Page 53: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/53.jpg)
Resultados parciales
I 2011 - Chavez-Lomelı, Merino, Noble, Ramırez-Ibanez -Matroides de catalan y paving matroids
I 2015 - Knauer, M-S, Ramırez-Alfonsın - Matroides de caminoslatices
+ mejora multiplicativa y caraterizacion de igualdad(arXiv y enviado)
![Page 54: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/54.jpg)
Resultados parciales
I 2011 - Chavez-Lomelı, Merino, Noble, Ramırez-Ibanez -Matroides de catalan y paving matroids
I 2015 - Knauer, M-S, Ramırez-Alfonsın - Matroides de caminoslatices + mejora multiplicativa y caraterizacion de igualdad(arXiv y enviado)
![Page 55: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/55.jpg)
Serpientes
Si P y Q encierran una banda de ancho 1, decimos que tenemosuna serpiente.
![Page 56: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/56.jpg)
Serpientes
Si P y Q encierran una banda de ancho 1, decimos que tenemosuna serpiente.
![Page 57: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/57.jpg)
Serpientes
Si P y Q encierran una banda de ancho 1, decimos que tenemosuna serpiente.
![Page 58: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/58.jpg)
Ejemplo de caminos en serpientes
Consideremos la siguiente serpiente:
Un camino valido es {3, 5, 6, 7}. Otros son {2, 5, 7, 8} y {1, 4, 5, 8}
![Page 59: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/59.jpg)
Ejemplo de caminos en serpientes
Consideremos la siguiente serpiente:
Un camino valido es {3, 5, 6, 7}. Otros son {2, 5, 7, 8} y {1, 4, 5, 8}
![Page 60: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/60.jpg)
Correspondencia
De hecho, existe una correspondencia entre caminos de la serpientey arboles generadores de una grafica.
Cuando existe una grafica correspondiente al tablero, decimos queel matroide obtenido es grafico. No todos los tableros danmatroides graficos. ¿Cuales lo hacen?
![Page 61: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/61.jpg)
Correspondencia
De hecho, existe una correspondencia entre caminos de la serpientey arboles generadores de una grafica.
Cuando existe una grafica correspondiente al tablero, decimos queel matroide obtenido es grafico. No todos los tableros danmatroides graficos. ¿Cuales lo hacen?
![Page 62: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/62.jpg)
Correspondencia
De hecho, existe una correspondencia entre caminos de la serpientey arboles generadores de una grafica.
Cuando existe una grafica correspondiente al tablero, decimos queel matroide obtenido es grafico.
No todos los tableros danmatroides graficos. ¿Cuales lo hacen?
![Page 63: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/63.jpg)
Correspondencia
De hecho, existe una correspondencia entre caminos de la serpientey arboles generadores de una grafica.
Cuando existe una grafica correspondiente al tablero, decimos queel matroide obtenido es grafico. No todos los tableros danmatroides graficos.
¿Cuales lo hacen?
![Page 64: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/64.jpg)
Correspondencia
De hecho, existe una correspondencia entre caminos de la serpientey arboles generadores de una grafica.
Cuando existe una grafica correspondiente al tablero, decimos queel matroide obtenido es grafico. No todos los tableros danmatroides graficos. ¿Cuales lo hacen?
![Page 65: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/65.jpg)
Resultados
Teorema (Caracterizacion de serpientes)
Dado un tablero, son equivalentes:
I Que el tablero sea una serpiente
I Que el matroide obtenido sea grafico
I Que el matroide obtenido sea binario
De hecho las serpientes siempre son abanicos generalizados.
![Page 66: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/66.jpg)
Resultados
Teorema (Caracterizacion de serpientes)
Dado un tablero, son equivalentes:
I Que el tablero sea una serpiente
I Que el matroide obtenido sea grafico
I Que el matroide obtenido sea binario
De hecho las serpientes siempre son abanicos generalizados.
![Page 67: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/67.jpg)
Resultados
![Page 68: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/68.jpg)
Resultados
Sea F (n) el conjunto de todas las sucesiones de ceros y unosb = (b1, . . . , bn) de longitud n sin unos consecutivos.
Proposicion
La cantidad de caminos en la serpiente S(a1, a2, . . . , an) es
∑b∈F (n+1)
n∏i=1
(ai − 1)1−|bi+1−bi |.
Proposicion
El producto α · α∗ para la serpiente S(a1, a2, . . . , an) es
4 ·n∏
i=1
(2ai − 1).
![Page 69: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/69.jpg)
Resultados
Sea F (n) el conjunto de todas las sucesiones de ceros y unosb = (b1, . . . , bn) de longitud n sin unos consecutivos.
Proposicion
La cantidad de caminos en la serpiente S(a1, a2, . . . , an) es
∑b∈F (n+1)
n∏i=1
(ai − 1)1−|bi+1−bi |.
Proposicion
El producto α · α∗ para la serpiente S(a1, a2, . . . , an) es
4 ·n∏
i=1
(2ai − 1).
![Page 70: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/70.jpg)
Resultados
Sea F (n) el conjunto de todas las sucesiones de ceros y unosb = (b1, . . . , bn) de longitud n sin unos consecutivos.
Proposicion
La cantidad de caminos en la serpiente S(a1, a2, . . . , an) es
∑b∈F (n+1)
n∏i=1
(ai − 1)1−|bi+1−bi |.
Proposicion
El producto α · α∗ para la serpiente S(a1, a2, . . . , an) es
4 ·n∏
i=1
(2ai − 1).
![Page 71: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/71.jpg)
Resultados
TeoremaSea M un matroide de caminos latices sin bucles ni cobucles queno sea una suma directa de serpientes triviales. Entonces
TM(2, 0) · TM(0, 2) ≥ 4
3· TM(1, 1)2
Este teorema resuleve la conjetura de Merino-Welsh paramatroides de caminos latices y caracteriza los matroides para losque se da la igualdad.
![Page 72: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/72.jpg)
Resultados
TeoremaSea M un matroide de caminos latices sin bucles ni cobucles queno sea una suma directa de serpientes triviales. Entonces
TM(2, 0) · TM(0, 2) ≥ 4
3· TM(1, 1)2
Este teorema resuleve la conjetura de Merino-Welsh paramatroides de caminos latices y caracteriza los matroides para losque se da la igualdad.
![Page 73: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/73.jpg)
Esbozo de la demostracion
I Probamos el resultado para serpientes conexas
I Mostramos que cualquer MCL es una serpiente conexa, otiene un elemento e tal que tanto M \ e como M/e son MCLconexos con menos elementos.
I Enunciamos y mostramos un lema sencillo para probar ladesigualdad para M a partir de la desigualdad para M \ e yM/e.
I Extendemos el resultado para MCL disconexos, pero sin buclesni cobucles.
![Page 74: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/74.jpg)
Esbozo de la demostracion
I Probamos el resultado para serpientes conexas
I Mostramos que cualquer MCL es una serpiente conexa, otiene un elemento e tal que tanto M \ e como M/e son MCLconexos con menos elementos.
I Enunciamos y mostramos un lema sencillo para probar ladesigualdad para M a partir de la desigualdad para M \ e yM/e.
I Extendemos el resultado para MCL disconexos, pero sin buclesni cobucles.
![Page 75: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/75.jpg)
Esbozo de la demostracion
I Probamos el resultado para serpientes conexas
I Mostramos que cualquer MCL es una serpiente conexa, otiene un elemento e tal que tanto M \ e como M/e son MCLconexos con menos elementos.
I Enunciamos y mostramos un lema sencillo para probar ladesigualdad para M a partir de la desigualdad para M \ e yM/e.
I Extendemos el resultado para MCL disconexos, pero sin buclesni cobucles.
![Page 76: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/76.jpg)
Esbozo de la demostracion
I Probamos el resultado para serpientes conexas
I Mostramos que cualquer MCL es una serpiente conexa, otiene un elemento e tal que tanto M \ e como M/e son MCLconexos con menos elementos.
I Enunciamos y mostramos un lema sencillo para probar ladesigualdad para M a partir de la desigualdad para M \ e yM/e.
I Extendemos el resultado para MCL disconexos, pero sin buclesni cobucles.
![Page 77: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/77.jpg)
Serpientes conexas
I La conjetura sin el 43 se puede probar con el resultado de
Noble y Royle de series-parallel graphs.
I Procedemos por induccion sobre el numero de vueltas de laserpiente. Hacemos 1 y 2 como base.
4 · 3 · (2a − 1) ≥ 12 ·(
1 + a +a(a− 1)
2− 1
)= 6a2 + 6a =
4
3· (4a2 + 4a) +
2
3(a2 + a)
≥ 4
3· (2a + 1)2.
I Hacemos el paso inductivo con una formula recursiva para elnumero de caminos.
![Page 78: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/78.jpg)
Serpientes conexas
I La conjetura sin el 43 se puede probar con el resultado de
Noble y Royle de series-parallel graphs.
I Procedemos por induccion sobre el numero de vueltas de laserpiente. Hacemos 1 y 2 como base.
4 · 3 · (2a − 1) ≥ 12 ·(
1 + a +a(a− 1)
2− 1
)= 6a2 + 6a =
4
3· (4a2 + 4a) +
2
3(a2 + a)
≥ 4
3· (2a + 1)2.
I Hacemos el paso inductivo con una formula recursiva para elnumero de caminos.
![Page 79: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/79.jpg)
Serpientes conexas
I La conjetura sin el 43 se puede probar con el resultado de
Noble y Royle de series-parallel graphs.
I Procedemos por induccion sobre el numero de vueltas de laserpiente. Hacemos 1 y 2 como base.
4 · 3 · (2a − 1) ≥ 12 ·(
1 + a +a(a− 1)
2− 1
)= 6a2 + 6a =
4
3· (4a2 + 4a) +
2
3(a2 + a)
≥ 4
3· (2a + 1)2.
I Hacemos el paso inductivo con una formula recursiva para elnumero de caminos.
![Page 80: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/80.jpg)
Serpientes conexas
I La conjetura sin el 43 se puede probar con el resultado de
Noble y Royle de series-parallel graphs.
I Procedemos por induccion sobre el numero de vueltas de laserpiente. Hacemos 1 y 2 como base.
4 · 3 · (2a − 1) ≥ 12 ·(
1 + a +a(a− 1)
2− 1
)= 6a2 + 6a =
4
3· (4a2 + 4a) +
2
3(a2 + a)
≥ 4
3· (2a + 1)2.
I Hacemos el paso inductivo con una formula recursiva para elnumero de caminos.
![Page 81: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/81.jpg)
Lema de descomposicion
Proposicion
Sea M un MCL conexo. Entonces
I M es una serpiente o
I M tiene un elemento e tal que M \ e y M/e son MCL conexosdistintos de la serpiente trivial.
![Page 82: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/82.jpg)
Lema de descomposicion
![Page 83: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/83.jpg)
Lema de la desigualdad
LemaSea M un matroide sin bucles ni cobucles y e un elemento de suconjunto inicial. Supongamos que la desigualdad se cumple paraM \ e y M/e. Entonces tambien se cumple para M.
a = TM\e(2, 0), b = TM\e(0, 2), c = TM\e(1, 1)
d = TM/e(2, 0), e = TM/e(0, 2), f = TM/e(1, 1)
(a + d)(b + e) ≥(√
ab +√de)2≥ 4
3· (c + f )2.
![Page 84: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/84.jpg)
Lema de la desigualdad
LemaSea M un matroide sin bucles ni cobucles y e un elemento de suconjunto inicial. Supongamos que la desigualdad se cumple paraM \ e y M/e. Entonces tambien se cumple para M.
a = TM\e(2, 0), b = TM\e(0, 2), c = TM\e(1, 1)
d = TM/e(2, 0), e = TM/e(0, 2), f = TM/e(1, 1)
(a + d)(b + e) ≥(√
ab +√de)2≥ 4
3· (c + f )2.
![Page 85: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/85.jpg)
Lema de la desigualdad
LemaSea M un matroide sin bucles ni cobucles y e un elemento de suconjunto inicial. Supongamos que la desigualdad se cumple paraM \ e y M/e. Entonces tambien se cumple para M.
a = TM\e(2, 0), b = TM\e(0, 2), c = TM\e(1, 1)
d = TM/e(2, 0), e = TM/e(0, 2), f = TM/e(1, 1)
(a + d)(b + e) ≥(√
ab +√de)2≥ 4
3· (c + f )2.
![Page 86: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/86.jpg)
Pegar todo y lidiar con conexidad
I De nuevo procedemos por induccion, ahora por el numero deelementos en el conjunto inicial.
I El lema de descomposicion nos permite bajar.
I El lema de desigualdad nos permite dar el paso inductivo.
I Para lidiar con disconexos, lo hacemos parte por parte yusamos que el polinomio de Tutte es muliplicativo en sumasdirectas de matroides.
TM(2, 0) · TM(0, 2) =n∏
i=1
ai ·n∏
i=1
bi =n∏
i=1
(ai · bi )
≥ 4
3·
n∏i=1
c2i =
4
3·
(∏i=1
ci
)2
=4
3· TM(1, 1)2.
![Page 87: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/87.jpg)
Pegar todo y lidiar con conexidad
I De nuevo procedemos por induccion, ahora por el numero deelementos en el conjunto inicial.
I El lema de descomposicion nos permite bajar.
I El lema de desigualdad nos permite dar el paso inductivo.
I Para lidiar con disconexos, lo hacemos parte por parte yusamos que el polinomio de Tutte es muliplicativo en sumasdirectas de matroides.
TM(2, 0) · TM(0, 2) =n∏
i=1
ai ·n∏
i=1
bi =n∏
i=1
(ai · bi )
≥ 4
3·
n∏i=1
c2i =
4
3·
(∏i=1
ci
)2
=4
3· TM(1, 1)2.
![Page 88: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/88.jpg)
Pegar todo y lidiar con conexidad
I De nuevo procedemos por induccion, ahora por el numero deelementos en el conjunto inicial.
I El lema de descomposicion nos permite bajar.
I El lema de desigualdad nos permite dar el paso inductivo.
I Para lidiar con disconexos, lo hacemos parte por parte yusamos que el polinomio de Tutte es muliplicativo en sumasdirectas de matroides.
TM(2, 0) · TM(0, 2) =n∏
i=1
ai ·n∏
i=1
bi =n∏
i=1
(ai · bi )
≥ 4
3·
n∏i=1
c2i =
4
3·
(∏i=1
ci
)2
=4
3· TM(1, 1)2.
![Page 89: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/89.jpg)
Pegar todo y lidiar con conexidad
I De nuevo procedemos por induccion, ahora por el numero deelementos en el conjunto inicial.
I El lema de descomposicion nos permite bajar.
I El lema de desigualdad nos permite dar el paso inductivo.
I Para lidiar con disconexos, lo hacemos parte por parte yusamos que el polinomio de Tutte es muliplicativo en sumasdirectas de matroides.
TM(2, 0) · TM(0, 2) =n∏
i=1
ai ·n∏
i=1
bi =n∏
i=1
(ai · bi )
≥ 4
3·
n∏i=1
c2i =
4
3·
(∏i=1
ci
)2
=4
3· TM(1, 1)2.
![Page 90: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/90.jpg)
Pegar todo y lidiar con conexidad
I De nuevo procedemos por induccion, ahora por el numero deelementos en el conjunto inicial.
I El lema de descomposicion nos permite bajar.
I El lema de desigualdad nos permite dar el paso inductivo.
I Para lidiar con disconexos, lo hacemos parte por parte yusamos que el polinomio de Tutte es muliplicativo en sumasdirectas de matroides.
TM(2, 0) · TM(0, 2) =n∏
i=1
ai ·n∏
i=1
bi =n∏
i=1
(ai · bi )
≥ 4
3·
n∏i=1
c2i =
4
3·
(∏i=1
ci
)2
=4
3· TM(1, 1)2.
![Page 91: La conjetura de Merino-Welsh es cierta para …blog.nekomath.com/wp-content/uploads/2016/01/ColOaxNov2015.pdf · La conjetura de Merino-Welsh es cierta para matroides de caminos latices](https://reader035.vdocuments.pub/reader035/viewer/2022062317/5bc2e01f09d3f2fa268de9d5/html5/thumbnails/91.jpg)
Corolario: Merino-Welsh para MCL
TeoremaSea M un matroide de caminos latices sin bucles ni cobucles.Entonces
TM(2, 0) · TM(0, 2) ≥ TM(1, 1)2.
La igualdad se da si y solo si M es una suma directa de serpientestriviales. En otro caso, podemos mejorar el lado derecho por unfactor multiplicativo 4
3 .