Matroides

Temas de representabilidad de matroides sobre campos
nitos e innitos
Wilson Pico Snchez
Cdigo: 830217
Universidad Nacional de Colombia
Facultad de Ciencias
Departamento de Matemticas
Bogot, D.C.
Junio de 2010
Temas de representabilidad de matroides sobre campos
nitos e innitos
Wilson Pico Snchez
Cdigo: 830217
Trabajo de tesis para optar al ttulo de
Magister en Matemticas
Director
Oleksandr Zavadskyy
Doctor en Matemticas
Universidad Nacional de Colombia
Facultad de Ciencias
Departamento de Matemticas
Bogot, D.C.
Junio de 2010
Dedicado a
A mis padres, hermanos y amigos Fabio, Luz y Olga.
Agradecimientos
A Dios por la inspiracin, la fortaleza, la inteligencia, la salud y todos los dones que
me ha dado para llevar a cabo mis propsitos.
A mis padres por apoyarme en los retos que he emprendido.
Al profesor Oleksandr Zavadskyy, por los aportes que me ha dado y por conar en
mis capacidades.
A mi amigo y hermano Fabio Corts, por motivarme permanentemente a cumplir
con mi sueo y acompaarme con das y noches en la elaboracin de este trabajo.
A mis amigas Luz y Olga, por su apoyo constante con palabras y acciones de afecto
para continuar con el desarrollo de este trabajo.
A mis hermanos Myriam y Freddy, por mantener la conanza en m y acompaarme
desde la distancia con sus llamadas.
A Miguel ngel por su colaboracin y aportes de L
A
T
E
X.
ndice general
ndice general I
Introduccin III
1. Resultados bsicos de la teora de matroides 1
1.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Otros ejemplos de matroides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1. Matroides grcas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2. Matroide uniforme, l
I,a
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.3. Matroides representables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.4. Matroide Fano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.5. Matroide Pappus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.6. Matroide Vmos,\
8
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Matroide dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Menor de una matroide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1. Restriccin o eliminacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.2. Contraccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Conectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. Representabilidad de matroides 16
2.1. Equivalencia y unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Teoremas de menores excludos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. Matroides regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3. Aplicaciones de matroides representables 30
3.1. Optimizacin combinatoria (algoritmo voraz) . . . . . . . . . . . . . . . . . . . . . . 30
I
NDICE GENERAL II
3.2. Redes matroidales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3. Redes elctricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Conclusiones 49
Bibliografa 50
Introduccin
En este trabajo se asumir que el lector esta familiarizado con conceptos bsicos del
algebra lineal, algn conocimiento de la teora de grafos y la teora de campos la cual ser
tambin de gran ayuda.
El nombre matroide sugiere una estructura relacionada con una matriz y, de hecho, las
matroides fueron introducidas por Whitney en 1935, [44], para proporcionar una relacin
entre el algebra lineal y la teora de grafos, basada en el concepto de dependencia lineal. As
mismo, por medio de este documento conocimos que algunas clases de matroides surgen
de las matrices y de los grafos. Desde entonces el concepto de matroide ha generado tanto
inters que se han publicado numerosos artculos que generalizan y profundizan esta idea,
as como tambin de algunos problemas derivados como el de representabilidad de una
matroide sobre campos nitos e innitos. El cual abordaremos en este trabajo teniendo
como fuente base el libro "Matroid theory"de James Oxley, [22].
Algunos de los resultados ms importantes conocidos de este problema son:
1. Una matroide ` es G1(2)-representable si y slo si ` no tiene un l
2,4
-menor, [Tutte,
1958].
2. Una matroide ` es G1(3)-representable si y slo si ` no tiene menor isomorfo a l
2,5
,
l
3,5
ni al plano Fano ni a su dual, [Bixby, Seymour, 1979].
3. Una matroide es G1(4)-representable si y slo si ` no tiene menor isomorfo a l
2,6
,
l
4,6
, 1
7
, (1
7
)
, 1
6
, 1
8
ni a 1
8
,[Geelen, Gerards, Kapoor, 1997],[13].
El caso siguiente, G1(5), esta todava abierto y es de gran inters para los tericos
reconocidos en matroides: Mayhew, Oxley, Vertigan, Whittle, entre otros. Los cuales slo
han encontrado que matroides 3-conexas tienen hasta 6 representaciones no equivalentes
sobre G1(5), [25].
Este tipo de teoremas, que enumera a todos los menores prohibidos asociados a un
campo es llamado una caracterizacin de menor excluido.
III
INTRODUCCIN IV
Otra clase de teoremas importantes sobre representabilidad de matroides fue conside-
rado por primera vez por Tutte en 1965:
4 . Una matroide ` es representable sobre todo campo, si y slo si, ` es binaria y para
algn campo 1 de caracterstica diferente de dos, ` es 1-representable, [22].
Una matroide como la de este cuarto resultado es llamada regular (ver seccin 6.6 de
[22]) la cual tiene una gran importancia en muchas reas de las matemticas y en otros
campos relacionados [42, 43].
De esta manera podemos observar que en los ltimos aos se han presentado mlti-
ples resultados en torno a representabilidad de matroides, los cuales expondremos en este
trabajo as: En el primer captulo se presenta la denicin de matroide dada por Whitney
y algunos caminos alternativos para denirla, acompaados de ejemplos. Por otra parte,
damos las deniciones fundamentales y axiomas asociados con la teora de matroides que
son relevantes para presentar el concepto de representabilidad. En el captulo dos, se presen-
ta la tcnica principal de representabilidad de matroides. Se empieza exponiendo algunos
conceptos pilares como el ser representable y unicidad, seguidos de los teoremas que ca-
racterizan las matroides sobre algunos campos. Finalmente en el captulo tres se presentan
algunas aplicaciones de las matroides en reas como Optimizacin Combinatoria, Teora
de Redes, e Ingeniera Elctrica.
La forma como organizamos la presentacin de este trabajo responde al orden natural
en que se abordaron los objetivos, los cuales sern expuestos a continuacin para permitir
un mejor seguimiento del contenido.
Objetivo general:
Observar algunos resultados bsicos de la teora de matroides nitas y algunas de sus
representaciones, as como exponer los criterios principales existentes de representabilidad
sobre campos nitos e innitos.
Objetivos especcos:
1. Presentar los conceptos fundamentales y axiomas de la Teora de Matroides, en parti-
cular, resultados concernientes a la representabilidad de estas.
2. Presentar diferentes representaciones de algunas matroides lineales nitas, as como,
los motivos de por qu algunas matroides tienen muchas representaciones diferentes,
mientras que otras tienen pocas.
3. Presentar los criterios principales de representabilidad de matroides nitas sobre cam-
pos nitos e innitos, as como, intentar encontrar un procedimiento que permita
determinar representaciones para ciertas matroides.
INTRODUCCIN V
4. Mostrar algunas aplicaciones de las matroides representables en distintos campos de las
ciencias.
Por otro lado, es importante resaltar que estamos interesados solo en matroides denidas
sobre campos nitos y vamos siempre a usar 1 para denotar el nmero de elementos en
un conjunto 1. Adems, algunas demostraciones sern omitidas y pueden encontrarse en
[22].
CAPTULO 1
Resultados bsicos de la teora de matroides
Quien ha trabajado con matroides se ha ido
con la conviccin de que las matroides son una
de las ms ricas y tiles ideas de nuestros das
- Gian-Carlo Rota y Fabrizio Palombi,
indiscrete thoughts, Birkhuser, Boston, 1997. -
En este captulo, inicialmente denimos una matroide. Luego exponemos la versatilidad
del concepto considerando caminos alternativos pero equivalentes de denirlo, acompaa-
dos de ejemplos. Tambin introducimos herramientas como el dual, el menor y la conec-
tividad de una matroide para acercarnos al estudio de la tcnica de representabilidad de
matroides abordada en el captulo dos.
1.1. Deniciones y ejemplos
Quiz la forma ms simple y natural de denir una matroide es en trminos de conjun-
tos independientes.
Denicin 1. Una matroide ` es un par ordenado (1, ), donde 1 es un conjunto
nito de n elementos e una coleccin de subconjuntos de 1, es decir (1), que
cumple las siguientes tres condiciones:
(I1) c , (el vaco es independiente).
Adems, cualquier subconjunto de un conjunto independiente es independiente, es decir
es hereditaria.
(I2) Si A j A
A entonces A
.
1
CAPTULO 1. RESULTADOS BSICOS DE LA TEORA DE MATROIDES 2
y por ltimo, dados dos subconjuntos independientes donde uno posee ms elementos
que el otro, entonces es posible encontrar un elemento del conjunto mayor, que cuando se
le aade al menor, resulta ser un conjunto independiente, es decir,
(I3) Si A, Y j A < Y , entonces existe un elemento r Y A tal que
A
{r} .
Se dice que 1 es el conjunto subyacente de ` y que ` = (1, ) es una matroide
sobre 1. Los elementos de son llamados conjuntos independientes, mientras que los
subconjuntos de 1 que no son independientes son llamados dependientes.
Un ejemplo de matroide que nos lleva a pensar en el por qu del nombre acuado por
Whitney (1935) a estos objetos es el siguiente:
Ejemplo 2. Consideremos la matriz
A=
(
0 0 1 1
1 0 0 1
)
denida sobre el campo de los reales, . Sea 1 = {1, 2, 3, 4} el conjunto de columnas
etiquetadas de . Entonces, es la coleccin de subconjuntos A 1, para los cuales
el conjunto de vectores columna de es un conjunto linealmente independiente en
2
.
Entonces consiste de todos los subconjuntos de 1{2} con un mximo de dos elementos,
es decir,
= {c, {1}, {3}, {4}, {1, 3}, {1, 4}, {3, 4}}.
Luego la pareja (1, ) es una matroide.
Cuando los elementos del conjunto fundamental 1 pueden ser mapeados a las colum-
nas de una matriz en un campo 1 dado, se dice que la matroide ` = (1, ) dene una
matroide vectorial. La matroide obtenida de la matriz del ejemplo anterior representa
esta clase matroides, la cual ser denotada por `[]. Esta idea la podemos consolidar en
el siguiente teorema.
Teorema 3. Sea 1 el conjunto de columnas etiquetadas de una matriz , :n, sobre
un campo 1, y sea el conjunto de subconjuntos A de 1 para los cuales el multiconjunto
de columnas etiquetadas por A es un conjunto linealmente independiente en el espacio
vectorial \ (:, 1). Entonces, (1, ) es una matroide.
Prueba.Claramente satisface (I1) y (I2). Para vericar que (I3) se tiene, sean A j Y
subconjuntos de 1 linealmente independientes tal que A < Y . Sea \el subespacio de
\ (:, 1) generado por A
Y . Entonces, dim\, la dimensin de \, es como mnimo Y .

Ahora supongamos que A
r es linealmente dependiente para todo r en Y A. Entonces,

\ est contenido en el generado de A. As Y dim\ A < Y ; una contradiccin.
Concluimos que Y A contiene un elemento r tal que A
r , esto es, (I3) se tiene.
Ahora denimos otros conceptos que permitirn exponer la idea de matroide emplean-
do un sistema de axiomas diferente.
Denicin 4. Una base 1 de ` es un conjunto independiente maximal respecto a la
inclusin, es decir, 1 y si 1 1 con 1 , entonce 1 = 1. En otras palabras, en
un conjunto independiente que se convierte en conjunto dependiente al adicionar cualquier
elemento de 1. El conjunto de todas las bases de ` se denota por (`) o simplemente
.
La denicin (4) es relevante para la Teora de Matroides ya que se desprende un teo-
rema anlogo al de lgebra Lineal.
Teorema 5. Toda base de una matroide ` contiene el mismo nmero de elementos.
Este nmero se llama rango de `.
Prueba.Sean 1
1
, y 1
2
dos bases de ` y supongamos que 1
2
1
1
. Como las bases
son conjuntos independientes entonces satisfacen (I3) de donde se desprende que existe
r 1
2
1
1
tal que 1
1
{r} , pero esto contradice que 1
1
era conjunto independiente
maximal. Luego tenemos que 1
1
= 1
2

La denicin (1) tambin se puede dar en terminos de bases de la siguiente forma:
Denicin 6. Una matroide ` es un par (1, ), donde 1 es un conjunto nito no
vaco y es una coleccin no vaca de subconjuntos de 1 (llamadas bases) que satisface
las siguientes condiciones:
(B1) es no vaca.
(B2) Si 1
1
y 1
2
son bases y si e es cualquier elemento de 1
1
1
2
, entonces existe un
elemento f de 1
2
1
1
tal que (1
1
{c}) {)} es tambin una base.
La condicin (B2) es conocida como la propiedad de intercambio.
Ejemplo 7. Asumiendo la submatriz
D =
(
1 0 1
0 1 1
)
de la matriz A del ejemplo 2 tenemos que las bases de `[1] son todos los subconjuntos
de dos elementos de {1, 2, 3}. As ={{1,2},{1,3},{2,3}} de donde (`, ) es una matroide.
Otro concepto fundamental en la Teora de Matroides es el de circuito de una matroide.
Denicin 8. Un circuito C en una matroide ` es un subconjunto de 1 dependiente
minimal, es decir, un conjunto dependiente cuyos subconjuntos propios son todos indepen-
dientes. El conjunto de todos los circuitos de ` se denota por (`) o simplemente .
Al igual que con bases, los circuitos de una matroide ` la denen completamente, es
decir, a partir de los circuitos es posible determinar los conjuntos independientes de una
matroide. Con la siguiente denicin proporcionamos una caracterizacin para la coleccin
de los circuitos de una matroide `.
Denicin 9. Una matroide ` es un par (1, ), donde 1 es un conjunto nito no
vaco y una coleccin de subconjuntos de 1, llamados circuitos, tales que:
(C1) c ,
(C2) Si C
1
, C
2
son circuitos de , con C
1
C
2
entonces C
1
= C
2
.
(C3) Si C
1
, C
2
son circuitos de , con C
1
= C
2
y c C
1
C
2
entonces existe C
3

tal que C
3
(C
1
C
2
) {c}. (Propiedad de eliminacin).
As, un conjunto A 1 es independiente si y slo si, no contiene a ningn circuito. A
continuacin mostramos un ejemplo:
Ejemplo 10. Sea 1 la matriz
(
1 0 1 1
0 1 1 0
)
sobre el campo de los reales, .
En el caso de las matrices los conjuntos de columnas dependientes minimales correspon-
den a los conjuntos dependientes minimales. De esta manera los circuitos de la matroide
`[1] son: = {{1, 4}, {1, 2, 3}, {2, 3, 4}} y determinan (`). Los miembros de son los
subconjuntos de 1 que no contienen miembros de , es decir = {c, {1}, {2}, {4}, {1, 2},
{1, 3}, {3, 4}, {2, 3}}.
Trayendo nuevamente herramientas de los espacios vectoriales, recordemos que la di-
mensin de un subespacio vectorial H de un espacio \ es el tamao de un conjunto
linealmente independiente maximal contenido en H. Analgamente en una matroide se
puede denir un concepto equivalente a dimensin.
Denicin 11. Sea ` una matroide. El rango de un subconjunto A de 1 es el tamao
de una base 1 de À = (A, A) y se nota por :(A).
Al igual como hemos hecho con bases y circuitos, la funcin rango dene una matroide.
Denicin 12. Una matroide ` es un conjunto nito 1 y una funcin : : 2
1
7
+
{0} rango, tales que:
(R1) Si A 1, entonces 0 :(A) A.
(R2) Si A Y 1, entonces :(A) :(Y ) (Propiedad hereditaria).
(R3) Para todo A, Y de 1 se cumple :(A Y ) + :(A Y ) :(A) + :(Y ) (Propiedad
semimodular).
As, decimos que un conjunto A 1 es independiente si :(A) = A. 1 es base si
:(1) = 1 = :(`). C es un circuito si :(C) = C 1, r es bucle si :(r) = 0, y r y j son
elementos paralelos si :({r, j}) = 1. Claramente :(`) = 1 para toda 1 .
Observacin 13.
Es claro que las matroides pueden ser denidas en diferentes caminos. Dado que no es de
inters en este trabajo considerar otras alternativas, si pensamos importante aclarar que
se puede denir una matroide en trminos de clausura, de ats, topolgicamente, etc.
Por otro lado usaremos el trmino isomorsmo, cuando dos objetos tienen la misma
estructura, es decir, dos matroides `
1
j `
2
sobre 1
1
j 1
2
respectivamente son isomorfas
si existe una biyeccin c : 1
1
1
2
tal que preserva independencia (cicuitos, la funcin
rango, etc). Escribimos `
1

= `
2
si y slo si `
1
j `
2
son isomorfas.
1.2. Otros ejemplos de matroides
1.2.1. Matroides grcas
Fue una de las clases fundamentales de matroides consideradas por Whitney para
plantear esta teora. Esta clase de objetos permiten la visualizacin de los circuitos (ciclos)
ya que son construdas a partir de grafos, como lo veremos a continuacin.
Consideremos antes algunos conceptos asociados con un grafo, los cuales facilitarn la
lectura del ejemplo 16.
Denicin 14. Un bucle de un grafo es una arista del tipo (r, r), es decir los puntos
nales coinciden.
Denicin 15. Un ciclo de un grafo es un subgrafo conexo cuyos vrtices tienen grado
dos. Un grafo conexo que no tiene ciclos es un rbol, mientras que una unin disjunta de
rboles es un bosque.
Ejemplo 16. Consideremos el grafo G con 4 vrtices y 7 aristas mostrado en la gura
1.1. Sea 1 el conjunto de aristas de G, esto es, {1, 2, 3, 4, 5, 6, 7}, y sea la coleccin de
subconjuntos de 1 que no contiene todas las aristas de un ciclo de G. Los ciclos de G para
el caso son
= {{1}, {2, 3}, {2, 4, 5}, {3, 4, 5}, {5, 6, 7}, {2, 4, 6, 7}, {3, 4, 6, 7}}
6
7 4
5
2
3
1
Figura 1.1: El grafo G
Luego el par (1, ) es una matroide. Esta matroide es llamada la matroide ciclo de
G o matroide polgono de G. Esta es denotada por `(G).
La prueba de que `(G) es una matroide se puede hacer fcilmente probando que la
coleccin de ciclos de G cumple (C1)-(C3) (denicin 9).
En este caso, los conjuntos independientes de `(G) son los conjuntos de aristas de G que
no contienen ciclos, es decir los bosques de G y las bases son los conjuntos independientes
maximales, que en este caso, corresponden a los bosques generadores de G.
Una matroide ` es llamada grca, si ` es isomorfa a una matroide ciclo de algn
grafo G. Un ejemplo de esta clase de matroides es obtenida de 1 = {1, 2, 3} y tomando
como conjuntos independientes
= {c, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}}.
(ver gura 1.2). Claramente C = {{o, /, c}}, luego ` = (1, ) es graca.
Desde el punto de vista de teora de grafos, la matroide construida a partir de la matriz
B =
(
1 0 1
0 1 1
)
a
c
b
Figura 1.2: El grafo 1
3
corresponde al grafo de 1
3
. En este caso los elementos 1, 2 j 3 de 1 etiquetan las aristas
del grafo 1
3
.
En general, cuando los elementos de 1 pueden ser asociados a las aristas de un grafo se
dice que el par (1, ) corresponde a una matroide grca. Conviene aclarar que no toda
matroide es una matroide graca, como lo veremos en la siguiente clase de matroides.
1.2.2. Matroide uniforme,
I,a
Si /, n N con / n y 1 es un conjunto nito de n elementos, 1 = {1, 2, .., n}.Se
puede denir una matroide sobre 1 tomando todo subconjunto de / elementos de 1 que
sea base, entonces la coleccin de estas bases = {A 1,A = /} cumple (B1) -(B2),
por lo tanto es el conjunto de bases de una matroide sobre 1. Esta matroide es conocida
como la matroide uniforme de rango k denotada por l
I,a
. Todas las matroides de rango
por lo menos dos son simples. Claramente se tiene:
= {A 1,A /},
= {A 1,A = /},
= {A 1,A = / + 1},
:(A) =
{
A :i, A < /,
/ :i, A /,
Ejemplo 17. Considrese 1 = {1, 2, 3, 4} y = {{1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}}.
Uno puede vericar que 1 y satisfacen las condiciones (B1)-(B2) y por lo tanto en este
caso, el par (1, ) constituye una matroide. Esta matroide juega un papel importante en
la teora de matroides y se denota por l
2,4
. Un aspecto interesante de l
2,4
lo proporciona
el hecho de que no es una matroide graca, es decir, no puede ser representada mediante
un grafo.
1.2.3. Matroides representables
Sea 1 un conjunto nito 1 de vectores, 1 = {
1
,
2
, ...,
I
}, de un espacio vectorial \
sobre un campo 1. Podemos denir una matroide ` sobre 1 tomando como conjuntos
independientes de la matroide aquellos subconjuntos de 1 que son linealmente indepen-
dientes en \ . Las bases de ` son aquellos subconjuntos de 1 que generan el mismo
subespacio 1.
Decimos que una matroide ` sobre un conjunto 1 es lineal sobre 1, si ` es isomorfa a
una matroide obtenida como se describi anteriormente. Esta denicin, excluye cualquier
matroide que contiene demasiados bucles o elementos paralelos, ya que cada bucle debe
corresponder al elemento cero de \ , y elementos paralelos corresponden a vectores depen-
dientes.
Por tanto una matroide ` = (1, ) es representable sobre un campo 1 o
1-representable si existe un mapeo de 1 al conjunto subyante de alguna matroide que es
lineal sobre 1.
Ejemplo 18. Tomemos 1 = G1(3), el campo de tres elementos, \ el espacio vectorial
2-dimensional sobre G1(3) y 1 el conjunto conformado por los vectores
1
= (1, 0),
2
= (0, 1),
3
= (1, 1) y,
4
= (1, 1). Entonces ` = (1, ) es una matroide repre-
sentable sobre G1(3) con bases = {{
1
,
2
}, {
1
,
3
}, {
1
,
4
}, {
2
,
3
}, {
2
,
4
}, {
3
,
4
}},
ya que `[]

= l
2,4
donde
A =
(
1 0 1 1
0 1 1 1
)
.
En general algunas matroides son representables sobre todo campo, matroides regu-
lares y otras solo a una clase de campos. De especial inters son las matroides binarias
las cuales son representables sobre el campo de dos elementos, las matroides ternarias
y las cuaternarias representables sobre el campo de tres y cuatro elementos respectiva-
mente. Profundizamos en esta clase de matroides en el siguiente captulo.
Los siguientes ejemplos son de fundamental importancia en la Teora de Matroides.
Tienen la caracterstica adicional que pueden ser representadas empleando diagramas for-
mados de puntos, lneas y planos. Tales diagramas deben satisfacer una serie de reglas
para que correspondan a lo que se conoce como una representacin geomtrica de la
matroide (en lo cual no entraremos en detalle). Cabe anotar que tales representaciones son
posibles para matroides de rango menor o igual a cuatro. Si el lector desea profundizar en
este tema puede consultar [22].
1.2.4. Matroide Fano
Es la matroide con conjunto subyacente 1 = {1, 2, 3, ..., 7} e la familia de subconjun-
tos de 1 tales que A < 3, donde A no contiene tres puntos colineales en el diagrama de
la gura 1.3(a),las bases son todos aquellos subconjuntos de 1 de tamao tres excepto
{{1, 2, 4}, {1, 3, 5}, {2, 3, 6}, {2, 5, 7}, {3, 4, 7}, {1, 6, 7}, {4, 5, 6}}.
La matroide Fano es generalmente denotada por 1
7
o 1G(2, 2), y tiene como representacin
geomtrica la gura 1.3(a). Mas adelante, mostraremos que 1
7
es representable sobre
cualquier campo de caracterstica dos, pero no sobre cualquier otro campo.
1
2 3
5
6
4
7
1
2 3
5
6
4
7
Figura 1.3: (a) Matroide Fano, 1
7
y (b) Matroide non-Fano,1
7
La matroide en la gura 1.3(b), la cual no tiene la lnea curva, es denotada por 1
7
y es
llamada matroide Non-Fano. Ntese adems que, en la representacin geomtrica para 1
7
,
{4, 5, 6} es un circuito (segn las reglas de los diagramas que corresponden a una matroide)
mientras que en 1.3(b) , este conjunto es una base. Se dice que 1
7
ha sido obtenida de
1
7
relajando el circuito {4, 5, 6}. Esta operacin no puede ser realizada en general.
El siguiente ejemplo que representaremos empleando un diagrama corresponde a un
objeto clsico de la geometra proyectiva.
1.2.5. Matroide Pappus
Los diagramas mostrados en la gura 1.4(a) y en la gura 1.4(b) corresponden a
representaciones geomtricas de matroides de rango 3 con 9 elementos conocidas como
matroide Pappus y non-Pappus, respectivamente. Obsrvese que la matroide non-Pappus
es obtenida de la matroide Pappus relajando la lnea (circuito) {7, 8, 9}.
1
2
3
7 8 9
4
5
6
1
2
3
7 8 9
4
5
6
Figura 1.4: (a) Matroide Pappus y (b) Matroide non-Pappus
1.2.6. Matroide Vmos,
8
Es una matroide de 8 elementos de rango 4 con conjunto subyacente
1 = {1, 2, 3, ..., 8} y cuyos conjuntos dependientes son aquellos subconjuntos A de 1
que son coplanares (circuitos) en el diagrama de 3 dimensiones de la gura 1.5, es decir,
= {1, 2, 3, 4}, 1 = {2, 3, 5, 6}, C = {1, 4, 5, 6}, 1 = {2, 3, 7, 8} y 1 = {1, 4, 7, 8} y todos
los subconjuntos de 1 de cardinalidad como mnimo 5. Las bases de la matroide son sub-
conjuntos de cardinal 4 excepto {, 1, C, 1} . La matroide (1, ) donde son todos los
subconjuntos de 1 que no son dependientes es conocida como la matroide Vmos (Vmos
1968) y denotada por \
8
.
1
7
2
5
4
6
3
8
Figura 1.5: Matroide Vmos
1.3. Matroide dual
Sea ` la matroide denida en terminos del par (1, ) y sea
el conjunto de todas las

bases complemento de , es decir
= {1
c
,1 }. Se puede vericar que el par (1,
c
)
es una matroide (Ver [22]).
Denicin 19. La matroide `
= (1,
) es la matroide dual de `.
Las bases, los circuitos y bucles de `
son llamados cobases, cocircuitos y cobucles de

` respectivamante. Similarmente la funcin de rango :
de `
es llamada la funcin de
corango de `. Esta se puede expresar fcilmente en trminos de la funcin rango : de
` de la siguiente forma :
(A) = A :(`) :(1 A). Entre otras observaciones

tenemos que (`
= `.
Ejemplo 20. Sea l
I,a
la matroide /-uniforme. De acuerdo con la denicin de dualidad
se tiene que el dual de l
I,a
esta dado por l
I,a
= l
aI,a
. En particular, ntese que si n = 2/
entonces l
I,a
es una matroide autodual.
Tambin podemos construir el dual de una matroide 1-representable teniendo en cuenta
el siguiente resultado.
Teorema 21. Si ` es la matroide vectorial de [1
1], entonces `
es la matroide
vectorial de [1
T
1
a
].
Recordemos del lgebra Lineal que, si es una matriz : n sobre un campo 1 y
`[] es la matroide de , la matriz puede ser reducida a la forma [1
1] por medio
de una secuencia de operaciones sin que esto afecte la matroide vectorial asociada `[],
donde 1
es la matriz identidad : : y 1 es alguna matriz : (n :) sobre 1. la matriz

[1
1] es llamada una matriz representativa estndar de `.

Del anterior teorema se deduce el siguiente corolario.
Corolario 22. Si ` es representable sobre el campo 1, entonces `
es tambin
representable sobre 1. En particular, el dual de una matroide binaria es binaria, el dual
de una matroide ternaria es ternaria y el dual de una matroide cuaternaria es cuaternaria.
Ejemplo 23. Considrese el grafo bipartito 1
3,3
, con nueve aristas y por lo tanto
da lugar al conjunto fundamental 1 = {1, 2, 3, ..., 9}. La matriz asociada a la matroide
`(1
3,3
) tiene la forma
A=
1 0 0 0 0 1 0 0 1
0 1 0 0 0 1 1 0 1
0 0 1 0 0 1 1 1 1
0 0 0 1 0 0 1 1 1
0 0 0 0 1 0 0 1 1
.
Por otra parte la matroide dual `
(1
3,3
) est representada por la matriz
1 1 1 0 0 1 0 0 0
0 1 1 1 0 0 1 0 0
0 0 1 1 1 0 0 1 0
1 1 1 1 1 0 0 0 1
.
Obsrvese que ambas matroides `(1
3,3
) y `
(1
3,3
) son matroides vectoriales sobre
el campo G1(2). Sin embargo, lo realmente interesante de este ejemplo es que en contraste
con `(1
3,3
) el matroide dual `
(1
3,3
) es un matroide no grco.
1.4. Menor de una matroide
Mostraremos ahora como obtener nuevas matroides a partir de unas ya dadas o cono-
cidas usando algunas construcciones (operaciones en matroides). Adems veremos que las
matroides obtenidas de esta manera preservan algunas de las propiedades de la matroide
inicial y adquieren otras que sern tiles para argumentos posteriores. Las operaciones que
tendremos en cuenta son la restriccin y la contraccin.
1.4.1. Restriccin o eliminacin.
Sea ` = (1, ). Si T es un subconjunto de 1, la restriccin de ` a T, escrita
`T = (1 T, T), es la matroide sobre el conjunto subyacente 1 T cuyos conjuntos
independientes son los conjuntos independientes de ` que estn contenidos en 1 T;
es decir, T = {1 : 1 1 T}. Sus circuitos son los circuitos de ` que estn
contenidos en 1 T y la funcin rango es la de ` restringida a subconjuntos de T; es
decir, si A (1 T), entonces :
AT
(A) = :
A
(A).
1.4.2. Contraccin
Sea ` = (1, ) con T 1, la contraccin de ` a T, escrita
`,T = (`
T)
= (1T, ,T), es la matroide sobre el conjunto subyacente 1T = T

c
cuya funcin de rango es :
AT
(A) = :
A
(A
T) :
A
(T), con A (1 T).
El siguiente teorema relaciona los conjuntos independientes de `,T con los de `.
Teorema 24. Sea 1 T
c
= (1T). Entonces 1 (`,T) si y slo si existe una base
1
T
de T en M tal que (1
1
T
) .
De lo anterior podemos observar que la restriccin y la contraccin son operaciones
duales.
Denicin 25. Sea ` = (1, ) una matroide. Una matroide que es obtenida de `
por una secuencia de operaciones de restriccin o/y contraccin es llamada un menor de
`. Decimos que ` contiene a como un menor.
Observacin 26. Algunas de las clases de matroides que hemos introducido tienen
la propiedad de que todos sus menores son de esa misma clase; es decir, cerrados bajo
menores. Dentro de estas clases de matroides tenemos las matroides grcas, las 1 re-
presentables y las regulares.
1.5. Conectividad
En esta seccin desarrollamos la nocin de conectividad para matroides, la cual ge-
neraliza el concepto de 2-conectividad en grafos. Para ello recurrimos a la siguiente deni-
cin.
Denicin 27: Sea G
1
= (\
1
, 1
1
) y G
2
= (\
2
, 1
2
) grafos, donde (\
1
\
2
) = c
y 1
1
1
2
= c. Entonces G
1
G
2
= (\
1
\
2
, 1
1
1
2
) es la unin disjunta de G
1
y G
2
.
Recordemos que un grafo deja de ser conexo si y slo si puede ser expresado como la
unin disjunta de dos grafos no vacos. La denicin anloga para matroides es:
Denicin 28: Sea `
1
= (1
1
,
1
) y `
2
= (1
2
,
2
) matroides con conjuntos subya-
centes disjuntos. Entonces `
1
`
2
= (1
1
1
2
, {1
1
1
2
: 1
1

1
, 1
2

2
}) es la suma
directa ( la 1-suma ) de `
1
y `
2
. Esta suma es una nueva matroide, cuyo conjunto
de bases es {1
1
1
2
: 1
i
es una base de `
i
para i = 1, 2} y el conjunto de circuitos es
{C : C es un circuito de `
1
} {C : C es un circuito de `
2
}.
A partir de la anterior denicin podemos denir una matroide conexa (2-conexa) como
aquella que no puede ser expresada como una suma directa de dos matroides no vacas,
(la matroide l
0,0
= (c, {c}) es vaca ).
Como deseamos desarrollar una denicin equivalente para conectividad superior
recurrimos a la nocin de rango e introducimos el concepto de separacin.
Proposicin 29: Sea `
1
= (1
1
,
1
) y `
2
= (1
2
,
2
) matroides con conjuntos sub-
yacentes disjuntos. Entonces
:
A
1
A
2
(1
1
) +:
A
1
A
2
(1
2
) = :(`
1
`
2
).
El resultado anterior es claro, por la manera como se construyo la matroide `
1
`
2
.
Por otra parte nos encamina hacia la siguiente proposicin.
Proposicin 30: Sea ` = (1, ) una matroide, y sea (A, Y ) una particin de 1 tal
que :(A) +:(Y ) = :(`) . Entonces ` = (À) (`Y ).
Observacin 31: Si (A, Y ) es cualquier particin de un conjunto subyacente de una
matroide, entonces :(A) + :(Y ) :(A Y ) + :(A Y ) = :(`) + :(c) = :(`). De lo
cual podemos concluir que la igualdad se satisface si la matroide ` puede ser expresada
como una suma directa. Esto motiva la siguiente denicin.
Denicin 32: Sea ` = (1, ) una matroide. Una 1-separacin de ` es una par-
ticin (A, Y ) de 1 tal que :(A) +:(Y ) = :(`).
Es fcil ver que si r es un bucle o un cobucle de una matroide ` = (1, ), donde
1 2, entonces ({r}, 1 r) es una 1-separacin.
Denicin 33: Una matroide es 2-conexa si no tiene una 1-separacin.
Ahora sera interesante decidir si una matroide grca es conexa observando su grafo
subyacente. El siguiente resultado va en esta direccin.
Probaremos la propiedad de eliminacin fuerte para circuitos de una matroide.
Proposicin 34: Sean C
1
y C
2
circuitos distintos de una matroide. Sea c un elemento
en C
1
C
2
, sea ) un elemento en C
1
C
2
. Entonces existe un circuito C
3
contenido en
(C
1
C
2
) c tal que ) C
3
.
Prueba: (ver [22], proposicin 1.4.11).
Proposicin 35: Una matroide es conexa si y solo si para cada par de elementos dis-
tintos de 1 , existe un circuito que los contiene a ambos.
Prueba: Si la matroide ` no es conexa, entonces puede ser expresada como `
1
`
2
,
donde `
1
y `
2
son no vacas. Sea c
i
un elemento de `
i
, para i = 1, 2. De la forma de los
circuitos de `
1
`
2
se tiene que no existe circuito que contenga c
1
y c
2
. Esto prueba una
direccin del resultado.
Para el inverso, asumimos que c y ) son elementos de la matroide ` = (1, ) , y que
ningn circuito de ` contiene a ambos c y ). Sea C
1
. . . C
|
los circuitos de ` que contienen
a c , y sea A =
|
i=1
C
|
. Si Y = 1A, entonces (A, Y ) es una particin de 1 tal que c A
y ) Y . Mostraremos que (A, Y ) es una 1-separacin de `. Primero asumamos que existe
un circuito C de ` que tiene una interseccin no vaca con A y Y . Sea r
1
y r
2
elementos
en C A y C Y respectivamente. Existe un circuito C
)
{C
1
, . . . , C
|
} tal que r
1
C
)
.
Si tenemos presente que C
)
C = c y que c C
)
y que r
2
C , entonces existe un circuito
de ` que los contiene a c y r
2
. Pero como r
2
, A, tenemos una contradiccin. Por tanto,
todo circuito de ` esta contenido en A y en Y . Claramente los circuitos contenidos en A
son exactamente los circuitos de `Y , y los circuitos contenidos en Y son los circuitos
de `Y . De la forma de los circuitos de la suma directa, tenemos que los circuitos de `
son exactamente los circuitos de (À) (`Y ). Por tanto ` = (À) (`Y ) , de
donde se tiene que ` no es conexa.
Proposicin 36: Sea G = (\, 1) un grafo sin vrtices aislados tal que \ 2. La
matroide grca `(G) es conexa, si y slo si, G no tiene bucles y es 2-conexo.
Este ltimo resultado muestra que a n de encontrar un anlogo de conectividad de
grafos para matroides, simplemente se necesita considerar una versin ms estricta de
conectividad de grafos.
Para extender la nocin dada de conectividad, obsrvese que si (A, Y ) es una particin
del conjunto subyacente de la matroide `, entonces :(A) + :(Y ) :(`) o equivalente-
mente :(A)+:(Y ):(`) 0 . Adems, (A, Y ) es una 1-separacin si y solo si A, Y 1
y :(A)+:(Y ):(`) < 1 . Esto inspira la siguiente extensin de la denicin de separacin.
Denicin 37: Sea ` = (1, ) una matroide y sea / 1 un entero. Una k-separacin
de ` es una particin (A, Y ) de 1 con la propiedad que A, Y / y :(A) + :(Y )
:(`) < /. La separacin es llamada una k-separacin exacta si :(A)+:(Y ):(`) < /1.
Denicin 38: Una matroide es n-conexa si no tiene k-separaciones tal que / < n.
La mayor parte de nuestra atencin se centrar en matroides 3-conexas. Una matroide
es simple si todo circuito tiene como mnimo tres elementos y es cosimple si su dual es
simple.
Proposicin 39: Una matroide 3-conexa con mnimo cuatro elementos es simple y
cosimple.
Ahora vamos a caracterizar las matroides 3-conexas en trminos de la operacin suma.
Denicin 40: Sean `
1
= (1
1
,
1
) y `
2
= (1
2
,
2
) dos matroides tales que 1
1
1
2
=
{c} , donde c no es un bucle ni un cobucle de `
1
ni de `
2
. Sean 1
1
y 1
2
los conjuntos
de circuitos de `
1
y `
2
respectivamente. La 2-suma de `
1
y `
2
( escrita `
1

2
`
2
)
tiene (1
1
1
2
) c como su conjunto subyacente, y {C 1
1
: c , C} {C 1
2
: c ,
C} {(A
1
A
2
) c : A
1
1
1
, A
2
1
2
, c A
1
A
2
} son sus conjuntos de circuitos.
Proposicin 41: Suponga que ` es una matroide conexa. Entonces M es 3-conexa si
y solo si no puede ser expresada como una 2-suma.
CAPTULO 2
Representabilidad de matroides
2.1. Equivalencia y unicidad
El problema de representabilidad de una matroide no ha sido resuelto por comple-
to, aunque hay muchos resultados importantes relacionados con diversos aspectos de este
problema sobre campos de caracterstica dos, tres y cuatro. En estos casos el principal
resultado es que existe una lista nita de matroides no representables, tal que, si ` tiene
un menor en la lista, entonces ` no es representable.
Recordemos que una matroide ` denida sobre un conjunto nito 1 es representable
sobre el campo 1 (nito o innito), si existe una aplicacin , : 1 \ , donde \ es un
espacio vectorial sobre 1 , tal que, para todo 1:
es independiente en `
{
,() es linealmente independiente en \
,
es inyectiva
Es decir , preserva el rango. En otras palabras, :
A
() = :
\
{,(o) : o } para todo
1 . Equivalentemente, ` es F-representable si y solo si existe una matriz A sobre
1 cuyas columnas son etiquetadas por los elementos de ` tal que, para todo 1 ,
la matriz consistente de las columnas de A que son etiquetadas por elementos de tiene
rango igual a :
A
(). En otras palabras, una matroide es llamada representable sobre un
campo 1 si esta es isomorfa a una matroide vectorial de una matriz sobre 1 , `

= `[].
Tal matriz es llamada una 1-representacin de `.
Es claro que una matroide es 1-representable si y solo si la matroide simple (la obtenida
de ` al eliminar los bucles de ` y de cada clase paralela no trivial, eliminar todos sus
elementos excepto uno) asociada es 1-representable. De esta manera, cuando se consideren
preguntas de representabilidad, pueden reducirse a matroides simples.
Ahora veamos que dos representaciones ,
1
y ,
2
de ` son isomorfas si existe un isomor-
smo de espacios vectoriales ,
1
(`) y ,
2
(`) tal que (,
1
(/)) es un mltiplo distinto de
16
CAPTULO 2. REPRESENTABILIDAD DE MATROIDES 17
cero de ,
2
(/) para todo elemento / de `. En trminos matriciales, dos representaciones
matriciales : n son equivalentes si una puede ser obtenida de la otra por una secuencia
de las siguientes operaciones (para ms detalles, ver [22], Seccin 6.3).
I. Intercambiar dos las.
II. Multiplicar una la por un miembro de 1 distinto de cero.
III. Reemplazar una la por la suma de esa la y de otra.
IV. Intercambiar dos columnas (moviendo sus etiquetas con sus columnas).
V. Multiplicar una columna por un miembro de 1 distinto de cero.
VI. Reemplazar cada entrada de la matriz por su imagen por algn automorsmo de 1.
Observacin 42. Es fcil notar que si una matroide ` es linealmente representable
sobre un campo 1, entonces su representacin no necesariamente es nica. Por ejemplo,
la matroide representada por la matriz identidad n n, 1
a
, es la misma que la matroide
representada por cualquier matriz no singular n n sobre un campo 1. Por otro lado,
tampoco es difcil notar que A
1
y A
2
pueden ser equivalentes an cuando no representen
la misma matroide.
Tambin dos representaciones de la misma matroide no son necesariamente equiva-
lentes, por ejemplo: tomando los elementos de G1(4) : 0, 1, n, n+1, donde en este campo,
n
2
= n+1 y 2 = 0 y las siguientes dos matrices A
1
y A
2
, ambas G1(4)-representaciones
de la misma matroide ` = l
2,4

2
l
2,4
, se tiene que ellas no son equivalentes (recuerde
que este campo tiene un automorsmo que mapea cada elemento en su cuadrado). Si reem-
plazamos toda entrada en una G1(4)-representacin de una matroide ` por su imagen
bajo este automorsmo obtenemos otra G1(4)representacin para `):
A
1
=
1 1 1 0 0 0
0 1 n 1 1 0
0 0 0 1 n 1
y
A
2
=
1 1 1 0 0 0
0 1 n 1 1 0
0 0 0 1 n + 1 1
Denicin 43: Una matroide ` de rango : sobre un conjunto de n elementos es

llamada nicamente representable sobre 1 si todas las representaciones : n de `
sobre 1 son equivalentes.
Tenga en cuenta que las representaciones que se diferencian por una accin de un
automorsmo de campo generalmente son contadas como diferentes.
Lema 44: Toda matroide binaria es nicamente representable sobre el campo G1(2).
Para obtener la prueba del lema anterior se requiere de la siguiente proposicin:
Proposicin 45: Suponga que A es una base de la matroide `, y que Y = 1 A.
Sea una matriz con las etiquetadas por A y columnas etiquetadas por Y tal que
` = `[1] sobre el campo 1. Si r A y j Y , entonces
a
= 0 (
a
denota
la entrada de en la la etiquetada por r y la columna etiquetada por j ) si y solo si
r C(j, A) (denota el nico circuito en A j ).
Prueba: La entrada
a
es diferente de cero si y solo si el determinante de [{r, j}] es
distinto de cero, lo cual es verdad si y solo si (A r) j es una base. Pero esto es verdad
si y solo si r esta contenido en el nico circuito en A j.
Prueba del lema: Sea ` una matroide binaria, y suponga que y
son matrices
sobre G1(2) tal que ` = `[1] = `[1
] . Por pivoteo sobre entradas de
, podemos
asumir que las las de y
son etiquetadas por el conjunto A , y que las columnas de

y
son etiquetas por Y , donde A es una base de `.

Si r A y j Y , entonces por la proposicin anterior,
a
es diferente de cero si y solo
si r esta contenido en el circuito C(j, A) que esta contenido en Aj. Pero esto es verdad
si y solo si
a
= 0. As una entrada en es distinta de cero si y solo si la correspondiente
entrada en
es distinta de cero. Pero y
son matrices sobre el campo G1(2) , el

cual contiene un nico elemento distinto de cero. Por lo tanto y
deben en efecto ser

iguales. Por pivoteo, hemos transformado
en , as y
son equivalentes.
Un resultado similar se tiene para el campo G1(3).

Lema 46: Toda matroide ternaria es nicamente representable sobre el campo G1(3).
Prueba: Sea y
matrices : n que representan una matroide ternaria ` sobre

G1(3) con rango : , donde : 1 . Entonces y
son equivalentes a matrices [1
1] y
[1
] , respectivamente, sobre G1(3) donde la funcin que, para todo i lleva la columna
i de [1
1] a la columna i de [1
] es un isomorsmo entre `[1
1] y `[1
]. Por el
teorema 10.1.1 de [22], concluimos que [1
1] y [1
] , son representaciones equivalentes

de ` . Por lo tanto todas las matroides ternarias de rango mnimo uno son nicamente
G1(3)-representables. El lema se completa teniendo en cuenta que todas las matroides de
rango menos que uno son nicamente representables sobre todos los campos.
Lamentablemente la unicidad de representaciones se rompe para G1(4). Pues como ya

vimos, existen matroides que tienen representaciones sobre G1(4) que no son equivalentes
.Sin embargo, tenemos el siguiente resultado.
Teorema 47(Kahn, 1988): Si ` es una matroide G1(4)-representable 3-conexa, en-
tonces todas las G1(4)-representaciones de ` son equivalentes,[15].
Es decir que la unicidad de las G1(4)-representaciones se tiene bajo el supuesto de
3-conectividad. Idea que podemos reformular bajo la nocin de matroide estable en el
siguiente teorema. Decimos que una matroide es estable si no puede ser expresada como
la suma directa o la 2-suma de dos matroides no binarias.
Teorema 48. Una matroide G1(4)-representable es nicamente G1(4)-representable
si y solo si es estable.
El teorema anterior es una herramienta crucial en la prueba de caracterizacin de
menores excludos de matroides cuaternarias.
2.2. Teoremas de menores excludos
En esta seccin daremos algunos resultados relacionados con matroides representables
sobre campos nitos e innitos y probaremos las caracterizaciones (va menores excludos)
de matroides binarias (matroides representables sobre un campo de caracterstica dos),
ternarias (representables sobre un campo de caracterstica tres), cuaternarias (representa-
bles sobre un campo de caracterstica cuatro), y regulares o unimodulares (representables
sobre cualquier campo).
Como punto de partida, debemos considerar la siguiente denicin, la cual nos ayudar
a comprender las caracterizaciones establecidas aqu:
Dencin 49: Sea 1 un campo. es un menor excludo para la 1-representabilidad,
si no es 1-representable, pero eliminando o contrayendo cualquier elemento produce una
matroide 1-representable.
Ahora planteamos algunos resultados generales sobre menores excludos que no pro-
baremos aqu, pero podrn ser encontradas en [22]:
Proposicin 50. Sea 1 un campo. Todo menor excludo para 1-representabilidad es
3-conexo.( se sigue de la proposicin 6.5 y 8.1 de [19]).
Recordemos que una matroide M es conexa, si no puede ser escrita como la suma
directa de dos matroides no vacas. Si ` es conexa no puede ser escrita como la 2-suma de
dos matroides, entonces ` es 3-conexa. Si G es un grafo conexo con al menos 4 vrtices,
entonces `(G) es una matroide 3-conexa, si y slo si, el grafo G es 3-conexo y simple, esto
es, G no puede ser desconectado removiendo dos vrtices, y G no tiene cclos con menos
de tres arstas.
Proposicin 51. Una matroide 3-conexa con al menos cuatro elementos es a la vez
simple y cosimple.
La siguiente proposicin, recurre al corolario 2.2.9 de [22] (Si ` es representable sobre
en campo 1, entonces `
es tambin representable sobre 1) para probar el siguiente re-

sultado:
Proposicin 52. Sea 1 un campo. Si ` es un menor excludo para la 1-represen-
tabilidad, entonces su dual `
, tambin lo es.
Los menores excludos para la F-representabilidad, se pueden clasicar en dos grupos:
los que son excludos por que el campo es demasiado pequeo y aquellos que son excludos
por razones estructurales.
Proposicin 53. Sea 1 un campo nito. Entonces l
2,a
es 1-representable, si y slo
si, n 1 + 1.
Prueba: Sea ` isomorfa a l
2,a
, y sea A una base de `. Suponga que es una matriz
sobre el campo 1 con las etiquetadas por A y columnas etiquetadas por Y = 1(`) A.
Asumamos que ` = `[1] . Si j Y , entonces A j es un circuito, luego se tiene que
tiene entradas distintas de cero. Ahora podemos escalar , la cual es igual a
[
1 1 1 . . . 1
1 r
1
r
2
. . . r
a3
]
donde r
1
, . . . , r
a3
son elementos de 1 distintos de cero. Ninguno de los elementos
r
1
, . . . , r
a3
pueden ser igual a uno, pues si ese fuera el caso podramos encontrar una
submatriz 2 2 de A con determinante cero. Esto implicara que ` contiene un circuito
de tamao dos. El mismo argumento mostrara que r
1
, . . . , r
a3
son pares distintos. Por
lo tanto n 3 es a lo sumo el nmero de elementos en 1 {0, 1} , as n 3 1 2 o
equivalentemente, n 1 +1. Por otro lado, si n 1 +1 , entonces podemos encontrar
n 3 dos a dos elementos distintos r
1
, . . . , r
a3
en 1 {0, 1} , y entonces la matriz
mostrada arriba representa a ` sobre 1.
De las proposiciones 52 y 53, podemos obtener de manera inmediata el siguiente corolario:
Corolario 54: Sea 1 un campo. Si 1 = , entonces l
2,q+2
y l
q,q+2
son los menores
excluidos para F-representabilidad.
Este corolario dice que l
2,4
es un menor excludo para la clase de matroides binarias.
Proposicin 55. Sea ` = (1, ) una matroide, y asuma que n y son elementos dis-
tintos de 1 tal que {n, } es coindependiente. Si `n y ` son binarias, entonces existe
una nica matroide binaria sobre 1 tal que n = `n, y = ` . Adems,
tiene el mismo rango que `.
Teorema 56. (W.T.Tutte,1958). El nico menore excludo para las matroides
G1(2)-representables es l
2,4
( es decir, la lnea de cuatro puntos).
Figura 2.1: l
2,4
Prueba: Suponga que ` = (1, ) es un menor excludo para la clase de matroides
binarias. La proposicin 50 implica que ` es 3-conexo. Por otro lado tenemos que todas
las matroides con a lo sumo 3 elementos son binarias, as que 1 4. Por tanto por la
proposicin 51 tenemos que ` es simple y cosimple.
Sea {n, } un par de elementos distintos en 1. Como ` es cosimple, se sigue que {n, }
es coindependiente. Claramente `n y ` son binarias, por la denicin de menor ex-
cludo. Por lo tanto, por la proposicin 55, se deduce que existe una matroide binaria
sobre 1. Adems :() = :(`). No puede darse el caso de que es igual a ` , por que
es binaria y ` no lo es. Por lo tanto debe haber un conjunto 1 1 tal que 1 es una base
de exactamente una de las matroides ` y , es decir, es un conjunto independiente en una
matroide y no en la otra. Es evidente que 1 debe contener a n , pues de otra manera 1 es
una base en exactamente una de las matroides de `n y n. Dado que estas matroides
son iguales , esto es una contradiccin. El mismo argumento muestra que 1.
El conjunto 1{n, } es independiente en `n = n . Por tanto esta contenido
en una base A de esta matroide. Note que como {n, } es coindependiente, existe una base
de ` que no contiene ni n ni . Por lo tanto, :(`) = :(`n). Se sigue que A es tambin
una base de ` , y de . Como A = :(`) = 1 {n, } + 2 , existe exactamente dos
elementos en A 1. Sean estos elementos o y /.
Asumamos que existe algn elemento . A {o, /}. Note que . 1. Todo conjunto
coindependiente en ` es coindependiente en `,., as {n, } coindependiente en `,..
Adems, `,.n y `,. son binarias. Por tanto por la proposicin 55, se dice que existe
una nica matroide binaria
sobre el conjunto subyacente 1 . tal que
n = `,.n
y
= `,.. Pero `,. y ,. son matroides binarias sobre el conjunto 1. con esta
propiedad, as `,. y ,. deben ser iguales a
. Por tanto ,. = `,.. Sin embargo,

1 . es una base de exactamente una de las matroides `,. y ,. y no es una base de
la otra. Esta contradiccin muestra que A {o, /} es vaco.
Ahora sabemos que ` tiene rango dos. Pero 1 4, y ` no tiene clases paralelas.
Por tanto ` contiene un menor isomorfo a l
2,4
. Como l
2,4
es un menor excludo para
matroides binarias, y ningn menor excludo puede contener propiamente a otro, vemos
que ` es isomorfo a l
2,4
.
Un ejemplo particular de matroide binaria es 1

7
, a la que frecuentemente nos referimos
como matroide Fano, la cual tiene como representacin a:
o / c d c ) p
1 0 0 1 1 0 1
0 1 0 1 0 1 1
0 0 1 0 1 1 1
b
a c
f
e
d
g
Los siguientes resultados son importantes para realizar las pruebas sobre la caracteri-
zacin de menores excludos para representabilidad de matroides ternarias.
Proposicin 57. Sea 1 un campo. Entonces,
1. 1
7
es 1-representable, si y slo si, la caracterstica de 1 es dos; y
2. 1
7
es 1-representable, si y slo si, la caracterstica de 1 no es dos.
Prueba :(Ver Lema 6.4.9, en [22]).
Proposicin 58. Sea 1 un campo de caracterstica diferente de dos. Entonces 1

7
y
1
7
son menores excludos para 1-representabilidad.
Prueba: (Ver proposicin 6.5.5, en [22]).
Teorema 59.(R.Reid, R. Bixby, P.Seymour,1971/1979).Los menores excludos para la

clase de matroides G1(3)-representables son l
2,5
, l
3,5
, 1
7
y 1
7
.
Figura 2.2: l
2,5
, l
3,5
, 1
7
, 1
7
Prueba : Del corolario 54 y la proposicin 58 se deduce que el conjunto de menores
excludos para G1(3)-representabilidad es {l
2,5
, l
3,5
, 1
7
, 1
7
}. Falta mostrar que este con-
junto est completo. Suponga ` una matroide menor-minimal que no es ternaria y sea
1(`) = 1. Suponga tambin que ` no tiene menores isomorfos a l
2,5
, l
3,5
, 1
7
ni a 1
7
.
Entonces el rango y el corango de ` es superior a dos. La estrategia de la prueba es
mostrar que ` debe tener rango y corango mximo 3 y entonces obtener la contradiccin
que ` tiene l
2,5
, l
2,5
= l
3,5
, 1
7
y 1
7
como un menor.
Para completar la prueba se tendr en cuenta los siguientes lemas, los cuales no sern
probados aqu, ya que estos podrn ser encontrados en [22].
Lema 60. La matroide ` es 3-conexa. Adems, para algn `
1
en {`, `
} , existe
un par de elementos distintos o y / de `
1
y una matroide ternaria `
2
tal que:
I. `
1
y `
2
son matroides conexas distintas sobre un conjunto subyacente en comn;
II. `
1
o = `
2
o y `
1
/ = `
2
/ ;
III. `
1
o, / = `
2
o, / y esta matroide es conexa; y
IV. {o, /} no es un cocircuito de `
1
ni de `
2
.
Lema 61. Si `
1
y `
2
son matroides arbitrarias que tienen elementos distintos o y /
tal que satisfacen I-IV, entonces a lo sumo una de `
1
y `
2
es ternaria. Adems, `
1
o y
`
1
/ son conexas.
Lema 62. Sea {`
1
, `
2
} un par de matroides menor minimal que satisfacen I-IV.
Entonces sus rangos : es igual a tres. Adems, existe un nico conjunto minimal 7 que
es dependiente en una de estas matroides e independiente en la otra. De hecho, 7 es una
base de una matroide y un circuito hiperplano de la otra.
Para completar la prueba del teorema 59, enfocamos nuestra atencin nuevamente en
la matroide menor minimal no ternaria `. Por el lema 60, par algn `
1
en {`, `
} ,
existen dos elementos distintos o y / de `
1
y una matroide ternaria `
2
que satisface I-IV.
Adems, por el lema 61 `
1
y `
2
es un par de matroides que satisfacen I-IV. As, por el
lema 62, :(`
1
) = 3. Sea {
1
,
2
} = {`
1
, `
2
} donde usamos el lema 62 para distinguir
1
de
2
. Asumamos que el conjunto 7 es un circuito hiperplano de
1
y una base de
2
.
Por el lema 62 tambin armamos que 7 es el nico conjunto que es dependiente en uno de
1
y
2
pero independiente en el otro. Por tanto
2
es obtenida de
1
por relajamiento
de 7.
Sea 7 = {o, /, .} . Entonces 7 es una lnea de
1
. Adems, en
2
, cada uno de los
conjuntos {o, /} ,{o, .} y {/, .} es una lnea. Ahora una de
1
y
2
es ternaria y la otra
es isomorfa a ` `
. Por tanto ni
1
ni
2
tiene un menor isomorfo a cualquiera
de l
2,5
, l
3,5
, 1
7
, 1
7
. De esta manera si c y d son elementos de 1(
2
) {o, /, .} , en-
tonces la lnea en
2
que contenga {c, d} tambin contiene o , /, . , de otra manera
2
[{o, /, ., c, d}]

= l
3,5
. Por tanto, en
1
, la lnea que contiene {c, d} tambin contiene
o, / , . . De esta manera
1
[{o, /, ., c, d}]

= 1(l
2,3
, l
2,3
) . Ahora uno de
1
y
2
esta en {`, `
} y es por lo tanto 3-conexa. As

1
tiene un punto c no en {o, /, .}
c|
A
({c, d}) . Igual que en el anterior, c|
A
({c, c}) y c|
A
({d, c}) se renen en {o, /, .}. Por
tanto
1
[{o, /, ., c, d, c}]

= `(1
4
) . Si 1(`) = {o, /, ., c, d, c} , entonces
1

= `(1
4
)
y
2

= \
3
. Pero `(1
4
) y \
3
son ambas ternarias. Por lo tanto
1
tiene un sptimo
elemento, digamos ) . De la consideracin de las lneas a travs de ) y de cada uno de c , d
y c , deducimos que
1
[{o, /, ., c, d, c, )}]

= 1
7
. Esto contradice el hecho que ni
1
ni
2
tiene un menor isomorfo a cualquiera de l
2,5
, l
3,5
, 1
7
1
7
y as completamos la prueba
del teorema.
Para el caso de la caracterizacin de representabilidad sobre G1(4) se requiere de los

siguientes resultados:
Proposicin 63. Sea / un entero mayor que uno. Entonces 1
8
es una matroide menor
minimal que no es representable sobre G1(2
I
). En particular si / = 2, 1
8
no es repre-
sentable sobre G1(4).
Prueba: ( Ver [22], proposicin 6.4.12 y lema 6.4.14).
La matroide 1
8
es ternaria, y es representada sobre G1(3) por la matriz
1
4
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 0
Existen dos circuitos hiperplanos en 1

8
. Por relajamiento de ste nico par de circuitos
hiperplanos se obtiene una copia isomorfa a la matroide 1
8
.
Proposicin 64. la matroide 1
6
es 1-representable si y solo si 1 5.
Prueba : ( Ver [22], proposicin 6.5.8 ).
La matroide 1
6
tiene rango tres, y un conjunto subyacente de 6 elementos. Tiene un
solo circuito de tamao tres. Es autodual.
Proposicin 65. Sea 1 un campo de caracterstica dos. Si 1 = G1(2), entonces 1
7
y (1
7
)
son menores excludos para 1-representabilidad.

Prueba: El argumento empleado en la prueba de esta proposicin es el mismo que el
empleado en la proposicin 58.
Recordemos que la matroide 1
7
, es obtenida de 1
7
por relajamiento de un circuito-
hiperplano.
Proposicin 66. Sea 1 un campo. Entonces 1
8
y 1
8
son menores excludos para
G1(4)-representabilidad.
Prueba: Sea `
o,o
la matroide vector representada por la matriz
=
1
4
1 1 1 1
1 1 /
1
o
1 o 0 o
1 / 1 0
donde o y / son elementos de 1{0, 1}, pero que posiblemente se permita que o = /
y/ o = /
1
. Considerando las submatrices singulares 1 1 y 2 2 de , es claro que,
por operaciones elementales de las y columnas, podamos llevar cualquier representacin
de `
o,o
a la misma forma de . Existen justamente dos submatrices cuadradas de que
son singulares para algn, pero no para todo, escogiendo o y / de 1{0, 1}; estas son:
1
=
[
1 o
1 /
]
y
2
=
[
1 1
/
1
o
]
1
es singular si y solo si o = / , y
2
es singular si y solo si o = /
1
. Exactamente una
de estas dos ecuaciones o = / y o = /
1
se satisface por un par o, / G1(4){0, 1}. 1
8
es
la matroide obtenida cuando ambas ecuaciones se satisfacen, y 1
8
es la matroide obtenida
cuando ninguna se cumple. Por lo tanto, ni 1
8
ni 1
8
es G1(4)-representable.
Queda por comprobar que los menores propios de 1
8
y 1
8
son G1(4)-representables.
Note que cualquier menor es un menor de una de estas dos matroides, `
o,o
y `
o,o
1(o =
0, 1), obtenidos por la persistencia en que exactamente uno de
1
y
2
es singular. Por
lo anterior, ambas matroides son G1(4)-representables. Por lo tanto, todos los menores
propios de 1
8
y 1
8
son G1(4)-representables tambin.
Teorema 67.(J. Geelen, B. Gerards, A. Kapoor,1997).Los menores excludos para la

clase de matroides G1(4)-representables son l
2,6
, l
4,6
, 1
7
, (1
7
)
, 1
6
, 1
8
y 1
8
.
Figura 2.3: 1
7
, 1
6
, 1
8
, (1
7
)
Bosquejo de la Prueba: Del corolario 54 y las proposiciones 63,64, 65, y 66 se tiene

que l
2,6
, l
4,6
, 1
7
, (1
7
)
, 1
6
, 1
8
y 1
8
son menores excludos para G1(4)-representabilidad.
Faltara probar que este conjunto de matroides es completo. Este problema fue resuelto en
el 2000 (ver [13]). Dada la extensin de la prueba procederemos a formular los siguientes
tres resultados que permiten resumir la estrategia empleada.
Teorema 68. Sea ` una matroide. Asumamos que n y son elementos distintos de
` tal que {n, } es coindependiente, que `n, ` y `n, son estables, y que `n,
es conexa y no binaria. Si `n y ` son G1(4)-representables, entonces existe una
nica matroide G1(4)-representable tal que n = `n y = `. (ste teorema
basa su demostracin en la nicidad de la representabilidad de la matroide sobre G1(4) ).
Una consecuencia inmediata del teorema 68 es el siguiente resultado.
Teorema 69. Sea ` y sobre un conjunto subyacente en comn 1, donde es
G1(4)-representable, y sea n y elementos distintos de 1 tal que n = `n y
= `. Supongamos que existen conjuntos subyacentes A, Y 1 {n, } tal que :
1) (À,Y )n y (À,Y ) son estables.
2) (À,Y )n, es conexa, estable, y no binaria, y
3) À,Y = A,Y .
Entonces À,Y no es G1(4)-representable.
El siguiente teorema garantiza la existencia de los elementos requeridos en el teorema
68.
Teorema 70. Una matroide 3-conexa tiene un par de elementos de eliminacin o un
par de contraccin si y solo si es binaria y tiene rango y corango mnimo cuatro.
De aqu en adelante la prueba se divide en dos. Por un lado consideremos que `
es una matroide menor minimal no G1(4)-representable de rango y corango mayor que
cuatro. Luego por el teorema 70, podemos encontrar elementos n y que satisfacen el teo-
rema 68. Entonces, por este ltimo teorema, existe una matroide G1(4)-representable
tal que n = `n y = `. Luego procedemos a construir un menor propio
`
:= À,Y de ` que satisfaga las condiciones 1), 2) y 3) del teorema 69. Por ste
ltimo teorema, `
no es G1(4)-representable. Como `
es un menor propio de ` esto

produce una contradiccin. As que ninguna matroide menor minimal no G1(4) repre-
sentable tiene rango y corango mayor que cuatro.
De lo anterior se desprende que debemos probar que ` es una matroide menor minimal
no G1(4)-representable de rango y corango como mximo cuatro. Esto constituye la parte
principal del teorema 67. En particular dice que todos los menores excludos tienen como
mximo 8 elementos.
Teorema 71.Las matroides menor minimal no G1(4)-representables tienen rango y
corango como mximo cuatro.
Para completar la prueba se realiza anlisis de casos con una lista de matroides para
establecer de manera explicita los menores excludos que tienen rango y corango como
mximo cuatro y que no son G1(4)-representables. Adems debe satisfacer que ` es no
binaria y 3-conexa.
Con lo anterior hemos completado la caracterizacin de las matroides cuaternarias.

Al cabo de las caracterizaciones de las matroides ternarias y cuaternarias, podramos
preguntarnos si existen matroides que son representables sobre G1(3) y G1(4) al mismo
tiempo. La respuesta es armativa. Estas matroides son llamadas
6
1-matroides ma-
troides sexta raz de la unidad. Una
6
1-matroide es aquella que puede ser representada

sobre los nmeros complejos por una
6
1-matriz, es decir, una matriz cuyos determinantes

de las submatrices cuadradas es un nmero complejo . solucin de la ecuacin .
6
= 1.
Para el caso, G1(5) , es an un problema abierto y de gran inters ya que parte de
la unicidad se pierde. Sin embargo, actualmente se conocen 564 menores excludos para
G1(5)-representabilidad, todos de tamao como mximo nueve. Para mayor informacin
ver [19]. De hecho, podemos pensar que existen un nmero innito de tales menores. Este
es uno de los problemas sin resolver ms famosos en teora de matroides.
Conjetura 72.(G.C. Rota,1971).Si 1 es un campo nito, entonces solo existe un
nmero nito de menores excludos para 1-representabilidad.
Observacin 73: Los menores excludos para 1-representabilidad solo se conocen para
el caso en que 1 es G1(2), G1(3) , G1(4) aunque se ha tratado de deducirlos para otros
campos empleando programas informticos. Adems, se sabe que la conjetura es falsa para
1 = Q.
En contraste con la conjetura de Rota, tenemos:
Teorema 74.(T. Lazarson, 1958).Existen innidad de menores excludos de repre-
sentabilidad .
Prueba: Si j 2 es un primo, entonces la matroide representada sobre G1(j) por la
matriz.
|
j+1
0 1 1 . . . 1
1 0 1 . . . 1
1 1 0 . . . 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 1 1 . . . 0
es un menor excludo para -representabilidad.
Conjetura 75.(J. Geelen, 2008).Si ` es una matroide -representable, entonces

existe un menor excludo, , de -representabilidad, tal que ` es un menor de .
La anterior conjetura recientemente fue probada por D. Mayhew, M. Newman, G.
Whittle:
Teorema 76.(D. Mayhew, M. Newman, G. Whittle, 2008).Sea 1 cualquier campo
innito y sea ` una matroide 1-representable. Existe un menor excludo, , de 1-repre-
sentabilidad, tal que ` es un menor de .
De manera equivalente, los menores excludos de 1-representabilidad forman una an-
ticadena maximal en el orden menor.
La prueba de este teorema requiere una serie de razones geomtricas. En el cual, con
frecuencia se aprovecha la siguiente situacin: Supngase que ` es una matroide con con-
junto subyacente 1 , y ` representable sobre 1, un campo innito. Se puede pensar en
esta representacin como un monomorsmo de 1 en una geometra proyectiva 1 sobre el
campo 1.
Sea A el subespacio de 1. Debido a que 1 es innito, existe un punto r A 1 ,
tal que si Y 1 genera a r entonces Y genera A. Aadir r a 1 se llama aadiendo r
libremente a A relativo a 1. Podemos realizar esta operacin y permanece 1-representable.
Ahora consideramos la clase de matroides regulares, las cuales son de gran relevancia
ya que son matroides representables sobre todo campo.
2.3. Matroides regulares
Denicin 77. Sea una matriz sobre el campo de los nmeros racionales Q. Si toda
submatriz cuadrada de tiene determinante en {0, 1, 1} , entonces decimos que es
totalmente unimodular.
Note que una entrada de una matriz puede ser vista como una submatriz 1 1, y el
determinante de esta submatriz es exactamente igual a la correspondiente entrada, Por
tanto, si es totalmente unimodular, entonces todas sus entradas estn en {0, 1, 1}.
Denicin 78. Una matroide ` es regular si existe una matriz totalmente uni-
modular sobre Q tal que ` = `[1]. Por ejemplo, considere la matriz
1 =
1 0 0
0 1 0
0 0 1
1 0 0 0
1 1 1 0
0 1 1 0
.
Sea 1 el conjunto {1, 2, 3, 4, 5, 6, 7} de columnas etiquetadas de 1 y sea la coleccin
de subconjuntos 1 de 1 para los cuales el multiconjunto de columnas etiquetadas por 1,
es linealmente independiente sobre los nmeros reales . El par (1, ) es una matroide
regular.
Ahora establecemos el siguiente teorema sin prueba. Aunque se har una observacin.
Teorema 79. Sea ` una matroide. Las siguientes condiciones son equivalentes.
a. ` es regular.
b. ` es representable sobre todo campo.
c. ` es binaria, y es representable sobre un campo 1 en el cual 1 + 1 = 0.
Se puede observar que las clases de matroides regulares es la interseccin de la clase de
matroides binarias y ternarias. Adems, de este teorema deducimos ciertos hechos.
Corolario 80. Si ` es regular, entonces tambin lo es `
.
Corolario 81. Las clases de matroides regulares son cerradas bajo menores tomando
1-sumas y 2-sumas.
Teorema 82.(Seymour,1980). Los menores excludos para las matroides regulares (ma-
troides representables sobre cualquier campo) son l
2,4
, 1
7
, 1
7
.
Prueba. Las tres matroides en el enunciado del teorema son no binarias, no terna-
rias. Sin embargo, Todos sus menores propios son binarios y ternarios. Por tanto ellos son
menores excludos para la clase de matroides regulares.
Ahora suponga que ` es un menor excludo para la clase de matroides regulares.
Asuma que es no binario. Todos sus menores propios son regulares, y por tanto binarios,
as ` es un menor excludo para la clase de matroides binarias. Por tanto ` es isomorfo
a l
2,4
, por el teorema 56.
Ahora asuma que ` es binaria. Si ` es ternaria, entonces es a la vez binaria y ternaria,
y por lo tanto regular. Esto contradice la denicin de menor excludo, as que ` no es
ternaria. Sin embargo todo menor propio de ` es regular , y por lo tanto ternaria, as `
es un menor excludo para la clase de matroides ternarias. Por lo tanto, por el teorema 59,
` es isomorfo a l
2,5
, l
2,5
, 1
7
1
7
. Pero, l
2
, 5 y l
3
, 5 tienen a l
2,4
como menor, y son
por lo tanto no binarios. En consecuencia ` es isomorfo a cualquiera 1
7
a 1
7
.
CAPTULO 3
Aplicaciones de matroides representables
La teora de matroides es un campo que tiene el poder de unicar varias reas y que
ayuda a explicar y descubrir sus propiedades comunes. El estudio de los problemas en este
contexto ms general a menudo ofrece nuevas perspectivas en diferentes problemas y sus
conexiones.
Por ejemplo, las matroides desempean un papel importante en muchos problemas de
optimizacin combinatoria. Hay una fuerte conexin con el algoritmo de greedy, un con-
cepto algortmico que es capaz de caracterizar matroides, ms precisamente, las matroides
son exactamente estas estructuras donde las estrategias voraces producen una solucin p-
tima.
En este captulo vamos a dar a conocer el uso de las matroides en optimizacin com-
binatoria, as como tambin la relacin existente entre matroides y campos como la teora
de redes e ingeniera elctrica.
3.1. Optimizacin combinatoria (algoritmo voraz)
Las matroides surgen en una serie de problemas en optimizacin combinatoria. Su as-
pecto ms importante se reere al algoritmo voraz, ya que una matroide es un modelo que
permite aplicar algoritmos voraces en una gran variedad de problemas. En particular, es
un concepto muy til en manipulacin matricial y teora de grafos.
Por ejemplo, sobre una matroide vectorial podemos considerar el siguiente problema:
Dada una funcin de peso n la cual mapea las columnas de la matriz (asociada con la
matroide vectorial) en 1
+
, encontrar un conjunto de columnas linealmente independientes
de peso mximo. El algoritmo aqu es trivial: Escogemos las columnas una por una en el
orden no creciente de sus pesos, rechazando una columna solo si hace el actual conjunto
30
CAPTULO 3. APLICACIONES DE MATROIDES REPRESENTABLES 31
linealmente dependiente.
El problema anlogo para las matroides ciclo `(G) (las que surgen de un grafo), es de
hecho, el problema de encontrar el bosque (unin disjunta de rboles) de mximo peso; el
cual puede ser resuelto por el algoritmo de Kruskal. Esto es esencialmente lo mismo que lo
hecho en la situacin anterior, dado un grafo conexo G = (\, 1), seleccionamos las aristas
de una en una en orden no creciente de sus pesos, rechazando una arista solo si se crea un
ciclo.
Resulta que un algoritmo voraz funciona para cualquier matroide. Supongamos que
damos una matroide ` = (1, ) y una funcin peso n : 1 1
+
, donde se dene el peso
n(A) de cualquier subconjunto no vacio A de 1 por n(A) =
aA
n(r) y sea n(c) = 0.
El siguiente algoritmo pretende encontrar un conjunto linealmente independiente 1 1
que maximice el peso total.
1. Sea 1 := c;
2. Mientras que 1 = c;
3. Escojamos c 1 tal que n(c) = :or{n(c
) : c
1};
4. Si 1 {c} , entonces el conjunto 1 := 1 {c};
5. 1 := 1{c}.
La importancia de las matroides aqu, es que usando la teora de matroides, uno puede
determinar exactamente las condiciones bajo las cuales un procedimiento voraz como el
descrito aqu puede llevarse acabo con xito. Esto permite una identicacin rpida de la
posibilidad de resolver un problema particular de un algoritmo voraz a travs del uso del
concepto de matroide.
Teorema 83. [Rado, Edmonds]. Sea 1 un conjunto nito y sea una coleccin de
subconjuntos no vaca de 1 tal que 1 y J 1 implica J . Entonces (1, ) es un
matroide si y solo si, para cualquier funcin de peso n : 1 1
+
el algoritmo de arriba es
ptimo, es decir, produce un conjunto 1 tal que n(1) = :or{n(J) : J }.
Prueba.): Suponga que ` = (1, ) es un matroide y sea n : 1 1
+
una funcin de
peso arbitraria. Supongamos que el algoritmo voraz produce un conjunto 1 = {o
1
, . . . , o
I
},
mientras que J = {/
1
, . . . , /
I
} es una solucin ptima (sin perdida de generalidad podemos
asumir que ambos conjuntos tienen el mismo tamao, ya que es probable que sean bases
de `). Podemos tambin asumir que o
1
. . . o
I
y /
1
. . . /
|
.
Mostremos que n(o
i
) n(/
i
) para todo i. Supongamos que n(o
i
) < n(/
i
)
para algn i, consideremos dos conjuntos: 1
:= {o
1
, . . . , o
i1
} y J
:= {/
1
, . . . , /
i1
, /
i
}.
Como 1
, existe /
)
J
tal que 1
{/
)
} es independiente. Pero n(/
)
) n(/
i
)
n(o
i
) y el algoritmo voraz debe haberlo considerado (y aceptado) antes o
i
.
): Suponga que (1, ) no es una matroide. Entonces existen dos conjuntos 1, J
tal que 1 < J y que 1 {c} , para cualquier c J1. Ahora, asignemos pesos a los
elementos de 1 como sigue:
n(c) :=
1 +c :i c 1
1 :i c J1
0 cn ot:o co:o
donde c 0. El algoritmo voraz recoger elementos de peso 1 +c hasta obtener 1. En
este punto no se puede aadir ningn elemento de peso uno, as el peso total del conjunto
resultante es 1(1 + c). Es fcil ver que el valor ptimo es al menos J. De esta manera,
para c 0 sucientemente pequeo , el algoritmo voraz falla en encontrar una solucin
ptima, una contradiccin.
Ejemplo 84. Supongamos que el grafo de abajo con pesos dados a las aristas da el
costo de proporcionar un tipo especial de comunicacin inalmbrica entre A, B, C, D y E.
El costo de ser capaz de enviar un mensaje entre dos sitios ubicados en los extremos de la
arista est dado por el peso asignado a esa arista.
A
E
D C
B
46
53
28
44
37
48
51 50
33 41
Aunque est conectado cada par de vrtices en este grafo, en general no necesitamos
vnculos entre cualquier par de vrtices, ya que los vrtices conectados indirectamente
pueden tener los mensajes transmitidos entre ellos. As pues, si existen vnculos de B a C
y C a E, entonces un mensaje puede ser enviado de B a E, aunque la arista BE no sea
parte del sistema. Entonces podemos preguntarnos, Qu aristas deben ser colocadas en
la red para que los mensajes puedan ser enviados entre cualquier par de los cinco locales
y para que el costo de la prestacin del servicio sea mnimo? Lo que se requiere es que se
encuentre un peso mnimo del rbol generador del grafo.
Al matemtico estadounidense Joseph Kruskal (1956) se da generalmente el crdito de
encontrar una solucin muy elegante a este problema, aunque en realidad la solucin se
public (en checo), un poco antes por el matemtico checo Boruvka en 1926. El algoritmo
de Kruskal-Boruvka es un algoritmo voraz en que en cada etapa, de una decisin local que
se tome la mejor. Aqu est el procedimiento. Ordenar los pesos de las aristas de menor a
mayor. En cada etapa de seleccin se debe tener en cuenta la arista que es ms barata (se
puede romper los lazos de manera arbitraria), que junto con los aristas anteriores elegidas,
no genere un ciclo (circuito en la matroide `(G)).
Es evidente que no tiene sentido crear un ciclo porque, dado el hecho de que los men-
sajes pueden ser transmitidos, todava se pueden enviar mensajes entre cualquier par de
vrtices que forman el ciclo, omitiendo la arista ms cara en el ciclo.
Conclusin 85. El algoritmo de greedy con una funcin de peso n puede arrojar
distintos conjuntos 1 dependiendo del orden que se tome entre los elementos de 1 con el
mismo peso. Claramente, si 1 es una base de peso maximal entonces hay un ordenamiento
de estos elementos tal que el algoritmo de greedy arroja precisamente esta base.
3.2. Redes matroidales
En esta seccin, presentamos una introduccin a redes. Seguido de esta, denimos una
clase especial de redes, llamadas redes matroidales, (las cuales resultan ser representables),
acompaadas de algunas propiedades. Luego, presentamos un mtodo para construir redes
a partir de matroides y por ltimo damos algunos ejemplos de redes matroidales que juegan
un papel importante en la teora de redes.
Denicin 86. Un grafo dirigido ( dgrafo) es un par ordenado G = (\, 1), donde
\ es un conjunto nito y 1 \ \ . Los elementos en \ son llamados nodos o vrtices del
dgrafo G, y los elementos en 1 son llamados aristas. Una arista (n, ) 1 es denotada
por n o c
&
.
Denicin 87. Un multigrafo dirigido ( multidigrafo) es aquel que permite, a
diferencia de un dgrafo, uno o ms aristas entre los nodos, donde 1 \ \ , en este
caso denotaremos una arista como (n, , n) 1.
Denicin 88. Un ciclo de un dgrafo es el conjunto de aristas
{
0
1
,
1
2
, . . . ,
I1
I
} del dgrafo, tal que
0
=
I
. Decimos que un dgrafo es cclico, si
existe un ciclo sobre el, en otro caso decimos que es acclico.
Denicin 89. Si n y son nodos de un dgrafo G = (\, 1), y c = (n, ), escribimos
n = co|o(c) y = co/c.o(c). Denotemos para cada nodo t, 1nt(t) := el conjunto de aristas
que entran a t y Ont(t) := el conjunto de aristas que salen de t.
Denicin 90. Un nodo de un dgrafo G = (\, 1) es una fuente de G, si
= co/c.o(c) para cualquier c 1 y es un terminal de G, si = co|o(c) para toda c 1.
Denicin 91. Una red , es un multidigrafo acclico nito (\, 1, j, o, 1), donde \
es el conjunto de nodos, 1 el conjunto de aristas, junto con un conjunto nito de mensajes
j, una funcin fuente o : \ 2
j
y funcin receptora 1 : \ 2
j
.
Denicin 92. Una red unicast , es una red donde cada mensaje de la red es gen-
erado por exactamente un solo nodo fuente y es demandado por exactamente un solo nodo
terminal .Y aquellas redes que tienen ms de un nodo terminal que demandan todos los
mensajes del nico nodo fuente es llamada red multicast (muldifusin). En estas clases
de redes se asume que todos mensajes tienen el mismo tamao, y que la capacidad de cada
arista en la red es de un mensaje.
Estas clases de redes en los ltimos aos han permitido que la teora de matroides haya
encontrado ricas aplicaciones en redes de codicacin. Por ejemplo, para mostrar la insu-
ciencia de codicacin lineal en la red, se construye una red multicast multi-fuente acclica
soluble pero no linealmente soluble a partir de la matroide Fano y la matroide Non-Fano.
Por otra parte, la no representabilidad de la matroide Vmos es usada para mostrar la
insuciencia de las desigualdades de informacin de tipo Shannon.
En general la teora de matroides en esta rea, permite hacer anlisis de redes
construyendo redes matroidales, para luego usarlas como contraejemplos, y mostrar, como
por ejemplo, que una red soluble linealmente no es soluble escalar-lineal. Tambin son u
sadas para garantizar que las redes construidas hereden propiedades especiales que lleven
a contradicciones.
Denicin 93. Sea una red con un conjunto de mensajes j, un conjunto de nodos
\ , y un conjunto de aristas 1. Sea ` = (o, ) una matroide con funcin rango :. La red
es una red matroidal asociada con ` si existe una funcin ) : j 1 o tal que las
siguientes condiciones se satisfacen:
(M1) ) es uno a uno sobre j.
(M2) )(j) .
(M3) :()(1n(t))) = :()(1n(t) Ont(t))) para cada t \ . Si t es una fuente interpretare-
mos el conjunto 1n(t) como el conjunto de mensajes fuente en t y si t es un terminal
interpretaremos Ont(t) como el conjunto de mensajes demandados por t.
La funcin ) es llamada funcin red matroidal.
Observacin 94.
1. La condicin (M1) dice que cada elemento del conjunto subyacente o es la imagen
de exactamente un nico mensaje de la red. (M2) dice que la red de mensajes es
un conjunto independiente. (M3) reeja el hecho que las aristas de salida de cada
nodo de la red son completamente determinadas por las aristas de entrada y los
mensajes fuente del nodo. En otras palabras, dice que la informacin que sale de
t no se incrementa, ya que ) esta midiendo la independencia de la informacin.
Generalmente, esta ltima condicin permite analizar si una red dada es matroidal.
2. De (M1), (M2) y la condicin hereditaria de los conjuntos independientes de una ma-
troide se sigue: :()(A)) = A para todo A j, en particular :()(:)) = 1 para
todo : j.
3. De (M3) podemos deducir una forma exible pero equivalente: Para cada t \ y para
cualquier A Ont(t) tenemos que
:()(1n(t))) = :()(1n(t) A)).
Esto se tiene de:
Por un lado notemos que
:()(1n(t))) = :()(1n(t) Ont(t))) [1c (`3)]
:()(1n(t) A)) [1c (12)]
:()(1n(t))) [1c (12)]
Por otro lado tenemos que )(1n(t)) )(1n(t) A) entonces
:()(1n(t))) :()(1n(t) A))
de donde se tiene la igualdad.
1 2
x
a,b
y
a,b
Figura 3.1: Red matroidal
Ejemplo 95. Veamos una red que es matroidal con respecto a ms de un matroide. Con-
sideremos la red mostrada en la gura 3.1. Si tomamos )(o) = )(r) = 1 y )(/) = )(j) = 2,
entonces ) es una funcin red matroidal sobre la matroide uniforme l
2,2
con conjunto
subyacente {1, 2}, y si tomamos )(o) = )(r) = 1, )(/) = 2 y ,)(j) = 3 entonces ) es una
funcin red matroidal sobre la matroide uniforme l
2,3
con conjunto subyacente {1, 2, 3}.
Ejemplo 96. Veamos una red que no es matroidal. En la gura 3.2 notamos que los
mensajes o y / son generados por la fuente n
1
y son demandados por el terminal n
2
. Para ver
que esta red no es matroidal, supongamos lo contrario, en consecuencia, se tiene que existe
una matroide ` = (o, ) con funcin rango :, y una funcin red matroidal ) : j1 o,
con j = {o, /} y 1 = {r}. De donde tenemos que 1n(2) = {r} y Ont(2) = {o, /} entonces,
2 = :()(o), )(/)) [1c (`1), (`2)]
:()(o), )(/), )(r)) [1c (12)]
= :()(r)) [1c (`3)]
1 [1c (11)]
lo cual da una contradiccin.
1 2
x
a,b a,b
Figura 3.2: Red no matroidal
Denicin 97. Decimos que una red tiene una solucin (algunas veces llamada
una solucin escalar), si existe una funcin ) denida sobre el dgrafo de tal manera que
si se aplica esta funcin sobre los argumentos (los datos de entrada) los terminales puedan
recibir la informacin requerida. La solucin es un cdigo. Una red que tiene una solucin
es llamada soluble.
Ahora veamos a travs del siguiente resultado que existe una familia grande de redes
que son matroidales.
Teorema 98. Si una red es soluble escalar-lineal sobre algn campo nito , en-
tonces la red es matroidal. De hecho, la red es asociada con una matroide representable.
Prueba: Sea una red soluble escalar-lineal sobre un campo nito 1, {o
1
, . . . , o
n
}
el conjunto de mensajes de la red y {r
1
, r
2
, . . . , r
|
} las variables de los mensajes y aris-
tas. Para cada i, la variable r
i
puede escribirse como una combinacin lineal de mensajes
r
i
= c
(i)
1
o
1
+ +c
(i)
n
o
n
donde c
(i)
)
1 para todo ,, 1 , :.
Sea C una matriz con isima columna
C
(i)
=
c
(i)
1
c
(i)
2
.
.
.
c
(i)
n
para cada r
i
, donde
[r
1
. . . r
|
] = [o
1
. . . o
n
]
c
1
1
. . . c
(i)
1
. . . c
|
1
c
1
2
. . . c
(i)
2
. . . c
|
2
.
.
. . . .
.
.
. . . .
.
.
.
c
1
n
c
(i)
n
c
|
n
y ` la matroide vector para esta matriz C con : como funcin rango. Sea )(r
i
) = i
para cada 1 i |. Entonces la funcin es claramente uno a uno, as que (M1) se tiene.
Si r
i
es un mensaje o
)
, entonces C
(i)
tiene todas las componentes cero excepto la ,-sima
componente, es decir, es un vector cannico. Por lo tanto las : columnas asociadas con
tales mensajes son claramente independientes, de donde se tiene (M2). Para probar (M3),
supngase que r
i
Ont(t), entonces r
i
es una combinacin lineal de los elementos de
1n(t), as C
(i)
es la misma combinacin lineal de la C
())
columna para r
)
Ont(t). Por lo
tanto :()({r
i
} Ont(t))) = :()(Ont(t))). Con lo cual se prueba que (M3) se satisface.
El teorema anterior sirve de inspiracin para construir redes que no sean solubles
escalar-lineal. Esto se hace tomando una red que sea matroidal sobre una matroide no
representable, por ejemplo la matroide Vmos.
Una consecuencia del teorema anterior es el siguiente resultado.
Corolario 99. Toda red multicast soluble es matroidal.
Lo anterior se debe a que las redes multicast solubles son solubles escalar-lineal sobre
algn campo nito. En consecuencia son matroidales.
Ahora presentaremos un ejemplo de red que es soluble linealmente (tiene una solucin
vector-lineal) pero no es matroidal, es decir, no tiene solucin escalar-lineal. La solucin y
la prueba de esto la podemos encontrar en [31].
Ejemplo 100. Llamamos la red mostrada en la gura 3.3 la M-red (debido a su forma).
La cual no es matroidal representable.
Ahora veamos un algoritmo que permite construir una red matroidal a partir de una
matroide. Estas construcciones permiten transferir interesantes propiedades de las ma-
troides a las redes y as obtener resultados anlogos para las redes. El algoritmo puede
6 7 8 9
1 2
3 4 5
n
1
n
2
n
3
n
4
o, c
o, d
n
1
o, /
n
2
n
3
n
4
c, d
/, c /, d
Figura 3.3: `-red
dar lugar a varias clases de redes; esto depende de cuantas veces usemos cada paso del
algoritmo.
Sea ` = (o, ) una matroide con funcin rango :. denota la red que se construir,
j su conjunto de mensajes, \ su conjunto de nodos y 1 su conjunto de aristas.
El algoritmo al mismo tiempo construir la red , la funcin
) : j 1 o, y una funcin auxiliar p : o \ , donde para cada r o o
I. p(r) es un nodo fuente con mensaje : y )(:) = r;
II. p(r) es un nodo con grado uno y cuya arista c satisface que )(c) = r .
La construccin tendr cuatro etapas; cada etapa puede ser completada en muchos
caminos.
Paso 1: Crea nodos fuente de la red n
1
, n
2
, . . . , n
(-)
y sus correspondientes mensajes
:
1
, :
2
, . . . , :
(-)
. Escojamos cualquier base 1 = {/
1
, . . . , /
(-)
} de `. Por cada elemen-
to /
i
1, generamos un nodo fuente n
i
y un mensaje :
i
y hacemos )(:
i
) = /
i
y p(/
i
) = n
i
.
Paso 2: (Se repetir hasta que ya no sea posible). Genera nuevos nodos y sus co-
rrespondientes aristas de entrada a partir de circuitos. Tomemos un circuito {r
0
, r
1
, . . . , r
)
}
de `, tal que p(r
1
), . . . , p(r
)
) ya hayan sido denidos, pero que p(r
0
) no haya sido denido.
Entonces ser aadido lo siguiente:
I. Un nuevo nodo j y las aristas c
1
, . . . , c
)
tal que c
i
conecta p(r
i
) a j, y denamos
)(c
i
) = r
i
.
II. Un nuevo nodo n
0
con una sola arista de entrada c
0
que conecte j a n
0
y hagamos
)(c
0
) = r
0
y p(r
0
) = n
0
.
Paso 3:(Se repite tantas veces como se desee).Genera nodos terminales y sus correspon-
dientes aristas de entrada y mensajes demandados a partir de circuitos. Si {r
0
, r
1
, . . . , r
)
}
es un circuito de ` y p(r
0
) es un nodo fuente con mensaje :
0
, entonces aadamos a la
red un nuevo receptor j el cual demanda el mensaje :
0
y el cual tiene como aristas de
entrada c
1
, . . . , c
)
donde c
i
conecta p(r
i
) a j . Denamos )(c
i
) = r
i
.
Paso 4:(Se repite tantas veces como se desee). Genera nodos terminales y sus co-
rrespondientes aristas de entrada y mensajes demandados a partir de bases). Escojamos
una base 1 = {r
1
, . . . , r
(-)
} de ` y creamos un nuevo nodo receptor j que demande
todos los mensajes de la red, y tal que j tiene aristas de entrada c
1
, . . . , c
(-)
donde c
i
conecta p(r
i
) a j. Denamos )(c
i
) = r
i
.
Observacin 101.
I. No todas las dependencias de la matroide ` quedan reejadas en las propiedades de la
red, ya que no se usan todos los circuitos.
II. El paso 4, nos garantiza que todas las independencias en ` quedan reejadas en las
propiedades de la red .
Ilustremos los pasos de ste algoritmo en la construccin de una red.
Ejemplo 102. El graco de la gura 3.4 corresponde a una representacin geomtrica
de la matroide l
2,3
la cual genera la red mariposa, que se observa en la gura 3.7. Esta red
es conocida por tener una solucin vector-lineal sobre cualquier anillo (tomando . = r+j).
r .
j
Figura 3.4: Matroide l
2,3
Paso 1: Tomemos la base 1 = { r, j} de l
2,3
y mensajes j = {r, j} y asignemos
)(r) = r, )(j) = j, p( r) = n
1
y p( j) = n
2
.
1 2
y
x
Figura 3.5: Paso 1
Paso 2: El nico circuito en la matroide es { r, j, .}, con p( r) = n
1
y p( j) = n
2
y
donde falta denir p( .). Aadamos un nuevo nodo n
3
y aristas c
1,3
y c
2,3
y denimos
)(c
1,3
) = r y )(c
2,3
) = j. Aadimos otro nodo n
4
con una sola arista de entrada c
3,4
y
hacemos )(c
3,4
) = . y p( .) = n
4
.
1 2
3
4
y
x
z
Figura 3.6: Paso 2
Paso 3: Tomamos el nico circuito en la matroide { r, j, .} y consideremos p( r) = n
1
el nodo fuente con mensaje r. Aadimos un nuevo nodo terminal n
5
el cual demanda el
mensaje j, el cual tiene como aristas de entrada c
1,5
y c
4,5
y denimos )(c
1,5
) = r y
)(c
4,5
) = .. Repetimos este mismo procedimiento con el mismo circuito pero considerando
como nodo fuente a p( j) = n
2
con mensaje j. Aadimos un nuevo nodo receptor n
6
el cual
demanda el mensaje r y tiene como aristas de entrada c
2,6
y c
4,6
y denimos )(c
4,6
) = .
y )(c
2,6
) = j. El resultado hasta aqu es la red Mariposa.
1 2
3
4
5
y
y
x
z
1 2
3
4
5 6
y
y x
x
z
Figura 3.7: Paso 3 y Red Mariposa
Paso 4: No se aplica.
Ejemplo 103. El grco de la gura 3.8(a) corresponde a una representacin geomtri-
ca de la matroide 1
7
la cual genera la red Fano, que se observa junto a ella. De la matroide
Fano sabemos que es representable sobre un campo de caracterstica dos, de lo cual pode-
mos suponer un anlogo para la red correspondiente, el cual es cierto. La red es soluble si
el tamao del alfabeto es un entero potencia de dos. En efecto, tiene una solucin lineal
sobre cualquier campo nito de caracterstica dos (tomando n = o+/, r = o+c, j = / +c
y . = o + / + c), [10,31]. El cuadro debajo de estos grcos muestran los pasos que se
siguieron para construir la red Fano.
.
n
/
o
j
r
c
1 2
4
3
5
7
9
11
14
10
12
6
8
13
c
a
b
c
b
a
w
y
x z
Figura 3.8: (a).Matroide Fano y (b).Red Fano
Ejemplo 104. En la gura 3.9(a) mostramos la matroide Non-Fano, la red asociada
a esta matroide y una tabla que muestra los pasos de construccin de la red Non-Fano a
partir de la matroide que lleva el mismo nombre. Esta red se caracteriza por ser soluble si
y solo si el alfabeto es de tamao impar. De hecho tiene una solucin lineal sobre un alfa-
beto de cardinalidad impar (tomando n = o+/, r = o+c, j = /+c y . = o+/+c), [10,31].
.
n
/
o
j
r
c
1 2
4
3
5
7
9 11
14
10
12
6 8
13 15
a
abc
b c
z
w
b
y
c
x
a
Figura 3.9: (a).Matroide Non-Fano y (b).Red Matroide Non-Fano
Uno de los resultados ms importantes sobre estas dos ltimas redes fue que su
construccin permiti mostrar la insuciencia de las redes de cdigos lineales sobre campos
nitos, pues al unir un bloque de la red Fano con dos bloques de la red Non-Fano se obtiene
la red conocida como
3
, la cual es soluble pero no es linealmente soluble, ver [10].
Al construir redes a partir de matroides podra suponerse que gran parte de las propiedades
que tienen las matroides son heredadas por la red asociada a esta, lo cual facilitara el anli-
sis de las redes. Por ende, nos atrevemos a suponer que la red l
2,4
presentada a continuacin
(junto con su tabla de construccin) es soluble sobre un alfabeto de tamao tres pero no
sobre un alfabeto de tamao dos (siguiendo el anlogo para las matroides).
1 2
3 5
4 6
7 8 9
w
xy
x
x y
y
z
Figura 3.10: Red l
2,4
En la misma lnea se han venido construyendo diferentes redes que hereden propiedades
anlogas a las de las matroides asociadas; con el objeto de obtener resultados de gran re-
levancia en este campo. Tal es el caso de red Vmos la cual es usada para probar que las
desigualdades de informacin de tipo Shannon son en general insucientes para calcular la
capacidad de codicacin de la red [11].
3.3. Redes elctricas
Las matroides se han aplicado en la ingeniera elctrica por ms de 30 aos. Uno de los
teoristas actuales ms reconocido en esta rea ha sido Andrs Recski quien expone en [30]
muchas aplicaciones.
La historia nos dice, que se han presentado varios periodos de tiempo donde las matemti-
cas han interactuado con la ingeniera elctrica, tal vez el primer mbito de aplicacin fue
la teora de grafos, la cual fue aplicada por la ingeniera (Kirchho, Maxwell, en el siglo
XIX), para estudiar las redes elctricas lo cual condujo al descubrimiento de las matroides
(alrededor de 1930). Luego estos resultados matroidales contribuyeron de nuevo a resul-
tados adicionales en ingeniera elctrica (alrededor de 1970-80). Un tercer periodo lleg
cuando el estudio de las redes elctricas condujo a nuevos conceptos y resultados en teora
de matroides (ltimos 30 aos), pues se encontr que ciertas propiedades fsicas de las
redes elctricas (tales como: La propiedad de semiplano y monotonicidad Rayleigh) estn
estrechamente relacionadas con las propiedades matemticas de los grafos subyacentes y
algunas de estas ltimas propiedades pueden ser generalizadas a matroides. Dicho esto de
una manera ms precisa, tenemos:
Dado que las redes consistentes de resistencias y voltaje y fuentes de corriente ideal
pueden ser descritas por grafos, las propiedades cualitativas de dicha red, a su vez, pueden
ser descritas por matroides especialmente gracas [14,21,27].Veamos como es esto.
Kirchho estudi los grafos conexos de medida mnima, es decir, sin ciclos ( llamados
rboles) con el objetivo de desarrollar un mtodo efectivo para el anlisis de redes elctri-
cas entendiendo dicho anlisis como el clculo de la intensidad y la diferencia de potencial
de cada elemento de la red (resistencia, bobina, condensador, fuente de tensin, etc.). En
realidad conocidas las caractersticas fsicas de un elemento (resistencia, inductancia o ca-
pacidad, segn corresponda) las dos variables i = Y n y n = 1i estn relacionadas por
una ley fsica, donde 1 y Y son llamados la resistencia y la conductancia del resistor, re-
spectivamente. Adems por el hecho de estar interconectados deben cumplir los postulados
conocidos como leyes de Kirchho:
La suma de las corrientes asociadas a los arcos incidentes a un vrtice dado ha de ser
cero. lo que es lo mismo, la suma de las corrientes indicadas a lo largo de cualquier
grupo de corte del grafo asociado a la red ha de ser cero.
a
I=1
1
I
= 1
1
+1
2
+1
3
+. . . +1
a
= 0
La suma de los voltajes asociados a los arcos de cualquier ciclo ha de ser cero.
a
I=1
\
I
= \
1
+\
2
+\
3
+. . . +\
a
= 0
Modelacin 105. Imponiendo dichos postulados a cada uno de los nodos y ciclos del
dgrafo que modeliza la red elctrica se obtiene un sistema de ecuaciones lineales a solu-
cionar. El trabajo de Kirchho consisti en determinar un sistema equivalente y reducido
de dichas ecuaciones. Tal reduccin se obtiene considerando nicamente las ecuaciones
asociadas a un sistema fundamental de ciclos y cortes asociado a un rbol generador del
grafo subyacente que, en total, da lugar a un sistema de tantas ecuaciones lineales como
elementos elctricos hay. Dado un rbol generador T de un grafo G de orden n, un ciclo
fundamental asociado a T se obtiene aadiendo a T una cuerda, es decir, una arista de G
no perteneciente a T. De este modo se pueden obtenerse :(n1) ciclos distintos, donde
: es la medida de G. Por otro lado, un corte fundamental esta formado por el conjunto
de arcos que unen pares de vrtices situados en las dos componentes conexas que resultan
de suprimir en el rbol generador una de las aristas. As, en total, hay n 1 conjuntos de
corte fundamentales.
Como un ejemplo considere la red de la siguiente gura y su grafo asociado.
2
1 5
4
3
Por ejemplo la corriente del resistor 3 puede ser expresada como:
i
3
=
1
4
n
1
+1
2
n
5
1
2
1
3
+1
2
1
4
+1
3
1
4
=
Y
2
Y
3
n
1
+Y
3
Y
4
n
5
Y
4
+Y
3
+Y
2
.
Las otras cantidades desconocidas podran ser expresadas por otras expresiones, sin
embargo, todas ellas son expresiones con el mismo denominador \
1
(G) = 1
2
1
3
+1
2
1
4
+
1
3
1
4
\
Y
(G) = Y
4
+Y
3
+Y
2
.
Una observacin fundamental de kirchho y Maxwell fue que el comn denominador
\
1
(G) (respectivamente \
Y
(G)) de cada incgnita es
\
1
(G) =
i T
1
i
o \
Y
(G) =
)T
Y
)
donde las sumatorias se realizan sobre el conjunto de rboles generadores T de G.
Un resultado fuertemente relacionado de carcter similar es el siguiente:
Teorema 106. Suponga que los resistores con conductancias Y
1
, Y
2
, . . . estn inter-
conectadas a lo largo del grafo conexo G. Sea o, / \ (G) dos puntos especcos de G.
Aada una arista cticia c = {o, /} a G y denote el grafo resultante por G
(si los dos pun-

tos son ya adyacentes en G, entonces c es paralela a una arista impar). La conductancia
efectiva medida entre o y / en la red ser
Y
o,o
=
\
Y
(G
c)
\
Y
(G
,c)
Donde,
\
Y
(G) =
)T
Y
)
y y , denota eliminacin y la contraccin de una arista respectivamente.
Denicin 107. Sea ` una matroide arbitraria sobre el conjunto subyacente 1 y

suponga que los nmeros complejos Y
i
son asignados a cada elemento c
i
1. Denamos
\
Y
(`) =
1
Y
i
, donde la sumatoria es representada sobre el conjunto de las
bases 1 de la matroide. La matroide se dice que tiene la propiedad de semiplano si
\
Y
(`) = 0 se tiene siempre que (Y
i
) 0, c
i
1.
Teorema 108[6]. Toda matroide graca tiene la propiedad de semiplano.
Prueba: Sea ` la matroide ciclo de un grafo G. Supongamos que G es conexo y n
el nmero de sus vrtices. denota la matriz de incidencia reducida de G. Como tiene
n 1 las, por el teorema de Bidet -Cauchy,
dct(Y
) =
S1,S=a1
dct[o] dct
[o]
S
Y
i
,
donde Y es una matriz diagonal que contiene las cantidades Y
i
y
(la transpuesta)
representa la adjunta de la matriz .
Sea o un subconjunto de columnas de con cardinalidad n1.Entonces el dct[o] = 0
si el o-aristas contiene un ciclo y dct[o] = 1 si ellas forman un rbol. De ah,
dct(Y
) =
T
Y
i
= \
Y
(`).
Por lo tanto, lo que tenemos que probar es que Y
es no singular si (Y
i
) 0 para
cada i.
Sea un vector arbitrario diferente de cero del espacio complejo de n 1 dimensiones.
Probaremos que Y
= 0. Observe que
= 0 (ya que las las de son independi-

entes), por tanto como mnimo una de estas coordenadas, digamos i
0
, es diferente de cero.
Finalmente,
i
Y
i
(
)
i
2
,
y la parte real de esta suma es positiva (ya que (Y
i
) 0, i, sus coecientes son no
negativos y como mnimo uno de ellos ( digamos i
0
-simo) es positivo).
Este resultado puede ser generalizado en el siguiente teorema:

Teorema 109[6]. Toda matroide regular tiene la propiedad de semiplano.
Prueba: Por denicin de matroide regular existe una matriz totalmente unimodular
sobre Q tal que ` = `[1], es decir, toda submatriz cuadrada de tiene determinante
cero 1.Si suponemos que las las de son linealmente independientes, podemos aplicar
el mismo argumento del teorema anterior.
Como una consecuencia del teorema anterior, surge una de las clases de matrices lla-
madas
6
1-matriz que satisfacen el argumento del teorema anterior, pues se requiere que el
determinante de una submatriz cuadrada sea diferente de cero, para que el valor absoluto
sea uno. De las cuales a su vez, surge una matroide, llamada sexta raz de la unidad,
la cual es representable sobre el campo de los complejos si existe una
6
1-matriz.
Teorema 110 [6]. Toda matroide sexta raz de la unidad tiene la propiedad de semi-
plano.
La siguiente graca resume una serie de relaciones que se presentan entre los conjuntos
de matroides representables sobre un campo 1.
Aqui 2, 3 y 4 denotan los conjuntos de matroides representables sobre G1(2), G1(3) y
G1(4) respectivamente, A denota el conjunto de matroides regulares, AB el conjunto de
las matroides sexta raz de la unidad y HPP es el conjunto de matroides con la propiedad
de semiplano.
Teorema 111. Las regiones sombreadas en la gura anterior son subconjuntos vacos.
Los otros ocho subconjuntos son no vacos, las letras minsculas o, /, . . . , en estos subcon-
juntos son ejemplos como sigue: o, /, c y p son matroides uniformes l
2,3
, l
2,4
, l
2,5
y l
2,6
respectivamente. d y ) son las matroides Fano y Non-Fano, respectivamente. Finalmente
c y son sumas directas 1
7
l
2,4
y 1
7
l
2,5
, respectivamente.
Prueba: Hecho 1: El primer enunciado, que las regiones sombreadas son vacas, tri-
vialmente se sigue de los resultados de [6] que una matroide binaria tiene la propiedad de
semiplano si y solo si es regular y una matroide ternaria tiene la propiedad de semiplano
si y solo si es una matroide sexta raz de la unidad.
Hecho 2: Toda matroide uniforme tiene la propiedad de semiplano y la matroide Fano
no la tiene [6].
Hecho 3: La matroide uniforme l
2,I
es representable sobre campos con cardinalidad
/ 1.
Hecho 4: La matroide Non-Fano es representable sobre campos de caracterstica dife-
rente de dos y la matroide Fano sobre campos de caracterstica dos.
Hecho 5: La clase de matroides con la propiedad de semiplano es cerrada bajo menores
y sumas directas.
Las proposiciones de o y / son obvias: l
2,3
es regular y l
2,4
es representable sobre
cualquier campo excepto G1(2). Las proposiciones c, d y p se siguen de los hechos 2 y 3.
La matroide Non-Fano es ternaria por el hecho 4 y no puede tener la propiedad de
semiplano por el hecho 1, lo que conduce a la proposicin f. Finalmente, las proposiciones
e y h se siguen de los resultados previos y del hecho 5.
Podemos denir un nuevo tipo de matroides, llamadas Rayleigh, que contienen las
anteriores matroides denidas.
Para ello, supongamos que tenemos una red elctrica con resistores positivos y un inter-
ruptor. La conductancia efectiva entre dos puntos de la red puede aumentar si giramos el
interruptor de la posicin apagado a encendido. Lo cual se conoce como monotonicidad
Rayleigh.
Denicin 112. Sea ` una matroide arbitraria sobre el conjunto subyacente 1 y
suponga que los nmeros reales positivos Y
i
son asignados a cada elemento c
i
1. De-
namos \
Y
(`) =
1
Y
i
, donde la sumatoria es representada sobre el conjunto de
las bases 1 de la matroide. Por otro lado, supongamos que tenemos una red con resistores
positivos y un interruptor. Una matroide es Rayleigh, si esta cumple la monotonocidad
Rayleigh.
Las matroides grcas obviamente son Rayleigh, [8]. Tambin lo son las matroides que
tiene la propiedad de semiplano, [7]. Por otro lado, se tiene que una matroide es Rayleigh
si y solo si no tiene la matroide 1
8
como un menor, [7,12]. Tambin tenemos que toda
matroide con un mximo de 7 elementos es Rayleigh, [7] y toda matroide de rango mximo
tres es Rayleigh, [40].
Podemos resumir las relaciones obtenidas a travs de la siguiente cadena de contenencias
G:o)ico: 1cpn|o:c:
6
1 H11 1oj|cip.
Se pueden observar otros resultados donde surgen de manera natural las matroides en
las redes elctricas [26,30].
Conclusiones
Este trabajo se ha centrado principalmente en matroides representables sobre campos
nitos e innitos y la presentacin de numerosos vnculos entre la Teora de Matroides y
campos como grafos, Optimizacin Combinatoria, Teora de Redes Matroidales y elctri-
cas. Por ejemplo, en relacin con los grafos se tienen vnculos sobre todo en resultados de
la conectividad, los cuales aparecen en [23]. Por otro lado, otra muy activa y rica parte
de los centros de la teora de matroides es el mtodo de optimizacin conocido como el
algoritmo de greedy, el cual permite estudiar sus propiedades. El algoritmo greedy"se
relaciona ntimamente con matroides, esto se expuso en el teorema 83 mostrado por Rado
y Edmonds. Otra de las conexiones relevantes de las matroides se da a travs del algorit-
mo que genera redes matroidales a partir de matroides, el cual permite estudiar algunas
problemas similares entre estos dos campos, por ejemplo permite mostrar que toda red con
una solucin escalar lineal es matroidal, teorema 98, y este resultado nos permite a su vez
concluir que la `-red no tiene solucin escalar lineal. Un trabajo reciente en esta lnea lo
podemos ver en [31]. Tambin, mostramos que a lo largo de la historia se han encontrado
mltiples aplicaciones entre las matroides y la ingeniera elctrica , siendo la ms reciente,
el empleo de las matroides gracas para describir las propiedades cualitativas de una red
elctrica[26,30].
Para poder observar algunos de los resultados ms relevantes sobre representabili-
dad, se remite al lector a Oxley [22]. Esto le permitir introducirse en este problema y
llevarlo tal vez, a abordar algunos problemas de investigacin en esta temtica, como por
ejemplo, encontrar los menores excludos para la clase de matroides G1(5)-representables.
Siguiendo este resultado, tal vez lo inquietarn conjeturas como la presentada por Rota, en
1971, para cualquier campo nito G1(), existe solo un nmero nito de menores excluidos
para la clase de matroides G1()-representables (en este trabajo, conjetura 72),entre otros.
Uno de los resultados ms interesantes presentados en [22], es el hecho, que el con-
cepto de matroide es axiomatizado por los matemticos en muy diferentes caminos, pero
equivalentes. Esto es un testimonio de hoy en da de su versatilidad y utilidad.
Por otra parte, es claro para el autor que la mayor ganancia obtenida en este trabajo,
fue el hecho de introducirse en la teora de las matroides y observar diferentes aplicaciones
en el problema de la representabilidad, llevndolo a inquietarse por la bsqueda de nuevas
conexiones con otros campos y continuar estudiando los problemas abiertos en esta materia.
49
CONCLUSIONES 50
Bibliografa
[1] Bixby, R. On Reids characterization of ternary matroids". J. Combin. Theory Ser.
B, 26, pg: 174-204,(1979).
[2] Bjorner, M. Las Vergnas, B. Sturmfels, N. White, G . Ziegler. Oriented matroids".
In encyclopedia of Mathematics 46, Cambridge Univ. Press, (1993).
[3] Borovik, A,V. Gelfand,I.M. and White, N. Coxeter matroids". Birkh user,
Boston,(2003).
[4] Chaiken, S. A combinatorial proof of the all minors matrix tree theorem". SIAM J.
Alg. Discrete Math 3 , pg: 319-329 . (1982).
[5] Chaiken S. and Kleitman D.J. Matrix tree theorems". J. Combinatorial Th. Ser. A
24 pg: 377-381,(1978).
[6] Choe,Y.B. Oxley, J. Sokal, A. and Wagner, D. Homogeneous multivariate polyno-
mials with the half-plane property". Adv, in Appl.Math. pg:88-187 (2004).
[7] Choe Y.B. and Wagner D.G. Rayleigh matroids". Combinatorial. Probab. Comput.
15, pg: 765-781. (2006).
[8] Choe Y.B. A combinatorial proof of the Rayleigh formula for graphs". Discrete
Math. (2007).
[9] Dougherty,R. Freiling,Ch. and Zeger,K. Linearity and solvability in multicast net-
works". Conference on information sciences and systems, Princeton University,(March
17-19, 2004).
[10] Dougherty, R. Freiling, Ch. and Zeger,K. Insuciency of linear coding in network
information ow". IEEE Trans. on Information Theory vol. 51, No. 8, (August, 2005).
[11] Dougherty, R. Freiling, Ch. and Zeger, K. Networks, matroids, and non-Shannon
information inequalities". IEEE Trans. on Information Theory vol. 53, No. 6, (June
2007).
[12] Feder T. and Mihail M. Balanced matroids"Proc. 24th. STOC pg: 26-38. (1992).
[13] Geelen, J.F. Gerards, A.M.H. and Kapoor, A. The excluded minors for G1(4)-
representable matroids".Journal of Combinatorial Theory Series B, 79(2), pg: 247-
299,(2000).
51
BIBLIOGRAFA 52
[14] Iri M. and Tomizawa N. A unifying approach to fundamental problems in network
theory by means of matroids". Trans. Inst. Electron. and Comm. Eng. Japan 58-A
pg: 33-40, (1975).
[15] Kahn, J. On the uniqueness of matroid representations over G1(4)". Bull. London
Math. Soc. 20, pg: 5-10, (1988).
[16] Kirchho, G. ber die au sung der gleichungen", auf welche man bei der untersuchun-
gen der linearen vertheilung galvanischer str me gefhrt wird, Ann. Phys. Chem. 72
pg: 497-508, (1847).
[17] Lovsz, L. and Recski A. On the sum of matroids". Acta Math. Acad. Sci. Hungar.
24 pg: 329-333. (1973).
[18] Maxwell,J,C. Electricity and magnetism". Clarendon press.Oxford, (1892).
[19] Mayhew, D. ttj : ,,::o:.icto:io.oc.n.,Con::c:,`TH432,2010T1, (2010).
[20] Mayhew,D. Newman,M. and Whittle,G. On excluded minors for real-
representability". Journal of combinatorial theory series B, v. 99 N
o
4, pg:
685-689,(July 2009).
[21] Narayanan, H. Theory of matroids and network analysis". PhD. thesis, Indian In-
stitute Of Technology, Bombay, (1974).
[22] Oxley, James.G. Matroid Theory". Oxford University Press, (1992).
[23] Oxley, James.G. On the interplay between graphs and matroids". Surveys in com-
binatoric. British Combinatorial committee, pg: 199-239,(2001).
[24] Oxley, James. G. What is a matroid?". Departament of mathematics, Lousiana State
University, Baton Rouge. USA.pg: 1-37(2002).
[25] Oxley,James.G. Vertigan, D. and Whittle, G. On inequivalent representations of
matroids over nite elds". J.Combin. Theory ser. B, 67(2), pg: 325-343, (1996).
[26] Recski, A. Matroids -the engineers revenge". Research trends in combinatorial
optimization. Bonn, Alemania .Springer-Verlag, pg: 387-398.(November 2008).
[27] Recski, A. On partitional matroids with applications".Coll. Math. Soc. J. Bolyai 10
pg: 1169-1179, (1973).
[28] Recski, A. On the sum of matroids II". Proc. 5th British Combinatorial Conf. Ab-
erdeen, pg: 515-520, (1975).
[29] Recski, A. An algorithm to determine whether the sum of some graphic matroids is
graphic".Coll. Math. Soc. J. Bolyai 25 pg: 647-656, (1981).
[30] Recski, A. Matroid theory and its applications in electric network theory and in
static". Springer, Berlin, (1989).
[32] Semple, C. and Whittle, G. Parcial elds and matroid representation".Adv. in ap-
plication Math, vol 17(2), pg: 184-208,(1996).
BIBLIOGRAFA 53
[33] Semple, C. and Whittle, G. On representable matroids having neither. l
2,5
No l
3,5
- minors". Adv. in application Math, vol 17(2), pg: 209-241,(1996).
[34] Seymour,P. Matroid representation over GF(3)". J. Combin. Theory Ser. B, 26, pg:
159-173, (1979).
[35] Seymour, P. and Welsh, D.J.A. Combinatorial applications of an inequality from
statistical mechanics". Matr. Proc. Cambridge Phil. Soc. 77 pg: 485-495, (1975).
[36] Sun, Q. Ho,T. and Li,R. On network matroids and linear network codes". ISIT 2008,
Toronto, Canada, (July 6 - 11, 2008).
[37] Tutte, W.T. Lectures on matroids".J.Res.Nat.Bur. Standars ser.B,vol 88, pg: 144-
174,(1958).
[38] Tutte, W.T. Lectures on matroids".J.Res.Nat.Bur. Standars ser.B,vol 69-B, pg:1-
47(1965).
[39] Wagner D,G. Matroid inequalities from electrical network theory".The electronics
J. Of Combinatorics 11 # A1,(2005).
[40] Wagner, D.G. Rank-three matroids are Rayleigh".The Electronic J. of Combina-
torics 12 # N81, (2005).
[41] Welsh, D.J.A Matroid theory ".Academic Press, (1976).
[42] White,N. Combinatorial geometries .in Encyclopedia of Mathematics", Cambridge
Univ. Press,(1991).
[43] White,N. Matroid applications in Encyclopedia of Mathematics", Cambridge Univ.
Press, (1992).
[44] Whitney, H. On the abstract properties of linear dependence". Amer. J. Math., 57,
pg: 509-533, (1935).
[45] Whittle, G. On matroids representable over G1(3) and other elds".Trans. Amer.
Math. Soc; vol 349(2), pg: 579-603, (1997).
[46] Wilson, R.J. An introduction to matroid theory".American Mathematical Monthly
80, pg: 500-525,(1973).

Matroides

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Matroides

Uploaded by

Copyright:

Available Formats

Temas de representabilidad de matroides sobre campos

Y . Entonces, dim\, la dimensin de \, es como mnimo Y .

r es linealmente dependiente para todo r en Y A. Entonces,

r , esto es, (I3) se tiene.

el conjunto de todas las

son llamados cobases, cocircuitos y cobucles de

(A) = A :(`) :(1 A). Entre otras observaciones

es la matriz identidad : : y 1 es alguna matriz : (n :) sobre 1. la matriz

1] es llamada una matriz representativa estndar de `.

= (1T, ,T), es la matroide sobre el conjunto subyacente 1T = T

Denicin 43: Una matroide ` de rango : sobre un conjunto de n elementos es

] . Por pivoteo sobre entradas de

son etiquetadas por el conjunto A , y que las columnas de

son etiquetas por Y , donde A es una base de `.

es distinta de cero. Pero y

son matrices sobre el campo G1(2) , el

deben en efecto ser

Un resultado similar se tiene para el campo G1(3).

matrices : n que representan una matroide ternaria ` sobre

son equivalentes a matrices [1

] es un isomorsmo entre `[1

] , son representaciones equivalentes

Lamentablemente la unicidad de representaciones se rompe para G1(4). Pues como ya

es tambin representable sobre 1) para probar el siguiente re-

sobre el conjunto subyacente 1 . tal que

. Por tanto ,. = `,.. Sin embargo,

Un ejemplo particular de matroide binaria es 1

Proposicin 58. Sea 1 un campo de caracterstica diferente de dos. Entonces 1

Teorema 59.(R.Reid, R. Bixby, P.Seymour,1971/1979).Los menores excludos para la

} y es por lo tanto 3-conexa. As

Para el caso de la caracterizacin de representabilidad sobre G1(4) se requiere de los

Existen dos circuitos hiperplanos en 1

son menores excludos para 1-representabilidad.

Recordemos que la matroide 1

Teorema 67.(J. Geelen, B. Gerards, A. Kapoor,1997).Los menores excludos para la

Bosquejo de la Prueba: Del corolario 54 y las proposiciones 63,64, 65, y 66 se tiene

es un menor propio de ` esto

Con lo anterior hemos completado la caracterizacin de las matroides cuaternarias.

1-matroide es aquella que puede ser representada

1-matriz, es decir, una matriz cuyos determinantes

es un menor excludo para -representabilidad.

Conjetura 75.(J. Geelen, 2008).Si ` es una matroide -representable, entonces

(si los dos pun-

Denicin 107. Sea ` una matroide arbitraria sobre el conjunto subyacente 1 y

= 0 (ya que las las de son independi-

Este resultado puede ser generalizado en el siguiente teorema:

You might also like