Aproximaci on geom etrica al espectro de algunas familias

de digrafos
Fiol, M.A.
(a)
; Mitjana, M.
(b)
(a)
Departament de Matem` atica Aplicada IV
Universitat Polit` ecnica de Catalunya,
Barcelona
fiol@ma4.upc.edu
(b)
Departament de Matem` atica Aplicada I
Universitat Polit` ecnica de Catalunya,
Barcelona
margarida.mitjana@upc.edu
Resumen. Sea G un (di)grafo con matriz de adyacencia A. Es sabido que las componen-
tes del vector propio v asociado al valor propio , pueden interpretarse como cargas en
cada v ertice, de forma que la transformaci on lineal inducida por la matriz de adyacencia,
v Av, corresponde a un desplazamiento de cargas. Cada v ertice absorbe la carga de
los v ertices a los que es adyacente y la distribuci on de carga resultante es veces la carga
inicial, o sea v. A la luz de esta aproximaci on, en este trabajo se obtiene el llamado es-
pectro local del grafo lnea y la caracterizaci on espectral del digrafo lnea y lnea parcial
de un digrafo cuyo espectro es conocido.
Palabras clave. Espectro, espectro local, digrafo lnea parcial, grafo lnea.
1. Preliminares
Digrafos y grafos.
En este trabajo, G = (V, E) denota un digrafo simple, (fuertemente) conexo
de orden n = [V[ y tama no m = [E[. Suponemos los v ertices etiquetados con los
enteros 1, 2, . . . , n. Si i es adyacente hacia j; o sea, (i, j) E, lo denotamos i j;
dist(i, j) es la distancia desde el v ertice i al v ertice j y, ya que se consideran di-
grafos, en general dist(i, j) = dist( j, i). Para un cierto v ertice i,
+
(i) (respectiva-
mente,

(i)) indica el conjunto de v ertices adyacentes desde i (respectivamente,

el conjunto de v ertices desde los cuales i es adyacente). El grado interior y exte-
rior de i es
+
(i) := [
+
(i)[ y

(i) := [

(i)[; y el digrafo G es ()-regular si

+
(i) =
+
(i) = para cada i V.
287
288 Fiol, M.A. ; Mitjana, M.
Un grafo G = (V, E) se puede indenticar con el digrafo sim etrico obtenido
por substituci on de cada rama por un par de arcos opuestos y viceversa. En este
caso, observemos que
+
(i) =

(i) (:= (i)). Si los v ertices i, j V son adya-

centes i, j E, escribimos i j.
Conceptos algebraicos en grafos
Recordemos algunos conceptos y resultados algebraicos. La matriz de adya-
cencia A = (a
i j
) del digrafo G es la matriz n n cuyos coecientes son a
i j
= 1
si i j, y a
i j
= 0 en caso contrario. El espectro de un digrafo G, denotado por
spG, consta de los valores propios de su matriz de adyacencia A junto con sus
multiplicidades (algebraicas); es decir, las races, del polinomio caracterstico de
G (de A),
G
(x) := det(xI A):
spG := spA =
m
0
0
,
m
1
1
, . . . ,
m
d
d
,
donde los supra-ndices denotan multiplicidades. De forma paralela al caso de di-
grafos, la matriz de adyacencia de un grafo G, A= (a
i j
) =A(G), tiene coecientes
a
i j
= 1 si i j y a
i j
= 0 en caso contrario. Los autovalores de A constituyen el
espectro de G:
spG := spA =
m
0
0
,
m
1
1
, . . . ,
m
d
d
.
El conjunto de los distintos autovalores de G, se representa por
evG :=
0
>
1
> >
d
.
En este caso, se sabe que el di ametro de G es una cota inferior del n umero de
autovalores distintos; es decir, D(G) d (vease, por ejemplo, Biggs [2]). En el
caso que D(G) = d decimos que G es un grafo extremal.
Descomposici on espectral
Para cada autovalor
l
, 0 l d, sea U
l
la matriz cuyas columnas forman
una base ortonormal del subespacio de
l
autovalores E
l
:= Ker(A
l
I). Los
idempotentes (principales) de A son las matrices E
l
:= U
l
U

l
que representan
las proyecciones ortogonales sobre E
l
[17]. En particular, E
0
=
1
v
2
vv

, donde
v = (v
1
, v
2
, . . . , v
n
)

denota el autovector positivo normalizado. De la propia es-

tructura se obtiene que dichas matrices verican las siguientes propiedades (ver,
por ejemplo, Godsil [15]):
(a.1) E
l
E
h
=

E
l
si l = h

0 otros casos;
Aproximaci on geom etrica al espectro de algunas familias de digrafos 289
(a.2) AE
l
=
l
E
l
;
(a.3) p(A) =
d
l=0
p(
l
)E
l
, para cualquier polinomio p R[x].
En particular, si en (a.3) se toma p = 1 y p = x se obtiene, respectivamente,

d
l=0
E
l
= I (como era de esperar puesto que la suma de todas las proyecciones
ortogonales recupera el vector original), y el llamado Teorema de descomposi-
ci on espectral:
d
l=0

l
E
l
= A. Consideremos la siguiente descomposici on de los
vectores de la base can onica:
e
i
= z
i0
+z
i1
+ +z
id
= z
i0
+z
i
(1 i d)
donde z
il
:=E
l
e
i
E
l
, 0 l d, y z
i
E
1
E
d
=v

. Adem as, z
i0
=
e
i
,v
v
2
v =
v
i
v
2
v. En particular, para grafos regulares, z
i0
= (1/n) j.
Espectro local
Dados dos v ertices i, j y un autovalor
l
, Garriga, Yebra y el autor, [9], in-
trodujeron el concepto de multiplicidad cruzada (ij-)local de
l
como m
i j
(
l
) :=
'z
il
, z
jl
`. Notemos que este valor corresponde al coeciente i j del idempotente E
l
ya que, usando el car acter sim etrico de E
l
y la propiedad (a.1),
'z
il
, z
jl
` ='E
l
e
i
, E
l
e
j
` ='E
l
e
i
, e
j
` = (E
l
)
i j
.
De las propiedades de los idempotentes se deducen las siguientes propiedades
para la multiplicidades locales cruzadas:
(b.1)
d
l=0
m
i j
(
l
) =

1 if i = j,
0 otros casos;
(b.2)
ji
m
i j
(
l
) =
l
m
ii
(
l
);
(b.3) a
k
i j
=
d
l=0
m
i j
(
l
)
k
l
;
donde a
k
i j
:= (A
k
)
i j
es el numero de krecorridos que unen los v ertices i y j
(ver Godsil [13, 14]) incluyendo circuitos (when i = j). Bajo algunas hip otesis,
las multiplicidades locales cruzadas addmiten expresiones cerradas. Por ejemplo,
cuando =
0
, tenemos m
i j
(
0
) ='
v
i
v
2
v,
v
j
v
2
v` = v
i
v
j
/|v|
2
.
Las multiplicidades cruzadas i j-locales tienen un papel especialmente rele-
vante cuando i = j. En este caso m
ii
(
l
) = |z
il
|
2
0, que se denota m
i
(
l
), se
dene como la multiplicidad i-local de
l
. (En particular, se obtiene m
i
(
0
) =
v
2
i
/|v|
2
.) En [8] se destacaba que cuando el grafo se ve desde el v ertice i, la
290 Fiol, M.A. ; Mitjana, M.
multiplicidad i-local juega un papel similar al de la multiplicidad est andar, lo que
justica la denici on. Adem as, por la propiedad (b.1), para cada v ertice i, la suma
de las multiplicidades i-locales para todos los autovalores es 1; mientras que la
multiplicidad de cada autovalor
l
es la suma, extendida a todos los v ertices, de
las multiplicidades locales ya que
m(
l
) = tr E
l
=
n

i=1
m
ii
(
l
). (1)
Adem as, por la propiedad (b.3), el n umero de recorridos cerrados de longitud
k que contienen al v ertice i, a
k
i j
, puede ser calculado de forma parecida a co-
mo se calcula el n umero de tales recorridos en G utilizando las multiplicidades
globales. Algunos par ametros estrechamente relacionados son los angulos
de G denidos por Cvetkovi c, que se denen como los cosenos cos
il
, 1 i n,
0 l d, donde
il
es el angulo entre e
i
y el espacio propio E
l
(notemos que
m
i
(
l
) = cos
2

il
). Numerosas aplicaciones de estos par ametros pueden encon-
trarse en el libro de Cvetkovi c, Rowlinson, y Simi c [6].
Considerando solo los autovalores
0
(= ) >
1
> >
d
u
, con multiplici-
dades locales no nulas, se dene el espectro (i)local como
sp
i
G :=
m
i
(
0
)
,
m
i
(
1
)
1
, . . . ,
m
i
(
d
i
)
d
i
.
Autovectores de un grafo o digrafo
Sea A la matriz de adyacencia de un digrafo G = (V, E) y v un autovector por
la derecha correspondiente al autovalor . La idea es interpretar los autovalores
y autovectores de un (di)grafo como un proceso din amico de desplazamiento de
cargas, (ver Godsil [15]). Si pensamos v como una funci on de V en el cuerpo de
los numeros complejos, podemos asociar v
i
a la carga inicial o peso del v ertice
i. Entonces, como A es una matriz con coecientes 0-1, la ecuaci on Av = v es
equivalente a:
(Av)
i
=
n

j=1
a
i j
v
j
=

ij
v
j
= v
i
para todo i V. (2)
Luego, la suma de las cargas de v ertices adyacentes desde el v ertice i es veces
su carga inicial.
Una expresi on similar se obtiene para el caso en que v es un-autovalor por
la izquierda,

ij
v
j
= v
i
para todo i V. (3)
Aproximaci on geom etrica al espectro de algunas familias de digrafos 291
Para grafos (digrafos sim etricos), ambas ecuaciones se traducen en

ji
v
j
= v
i
i = 1, . . . , n. (4)
En [15] se muestra que esta idea puede extenderse a vectores de cargas, que da
paso a la teora de la representaci on.
2. El espectro del digrafo linia
En esta secci on se estudia el espectro de familias de digrafos desde la optica
del desplazamiento de cargas
Digrafo lnea y digrafo lnea parcial
Consideraremos digrafos fuertemente conexos sin fuentes ni sumideros y to-
dos los v ertices con grado no nulo.
Dado un digrafo G = (V, A) con n v ertices y m arcos, su digrafo lnea LG =
(V

, A

) tiene como v ertices los arcos de G, y las adyacencias son las inducidas
por las adyacencias entre arcos en G. Es decir el v ertice i j V

es adyacente
al v ertice jk si el arco (i, j) A tiene el mismo v ertice terminal que el v ertice
inicial en ( j, k). Por tanto, el orden de LG es igual al tama no m de G y, si G es
regular, tambi en lo es LG y tiene m

=n arcos. Es conocido que si G no es un

ciclo (dirigido) y tiene di ametro D, entonces su digrafo lnea LG tiene di ametro
D+1. Otras propiedades del digrafo lnea se pueden encontrar, por ejemplo, en
[11, 7]. Aqu nos interesa estudiar las peculiaridades de su espectro, caracterizado
por la presencia del autovalor 0, en general con multiplicidad elevada (ver [1,
16]). Veremos que esta caracterstica es compartida con una familia de digrafos
basada en la denici on del digrafo lnea parcial, introducida en [10] como una
generalizaci on del digrafo lnea.
Sea G = (V, A) un digrafo, y consideremos un subconjunto de arcos A

A,
m

= [A

[, tal que para cada v ertice j V, existe como mnimo un arco i j A

.
Po tanto, n m

m. Tomemos una aplicaci on exhaustiva : A A

que je los
elementos de A

; [
A
= id, y adem as (

( j))

( j), donde

( j) denota el
conjunto de arcos incidentes hacia el v ertice j. Entonces, el digrafo lnea parcial
de G, que denotamos por L
(A

,)
G (o simplemente LG si el par (A

, ) est a claro
por el contexto), es el digrafo cuyos v ertices son los arcos de A

; de manera que
identicamos cada v ertice i j V(LG) con el arco (i, j) A

; y el conjunto de
arcos
A(LG) =(i j, ( jk)) : k
+
( j).
292 Fiol, M.A. ; Mitjana, M.
El siguiente teorema generaliza, para digrafos lnea parciales, un resultado
an alogo para digrafos lnea [1, 16].
Teorema 1. Sea G = (V, A) un digrafo, de orden n, tama no m, matriz de adya-
cencia A, y espectro
spG =
m
0
0
,
m
1
1
, . . . ,
m
d
d
.
Sea A

A que satisface las condiciones anteriore m

= [A

[ m. Entonces, el
digrafo lnea parcial LG tiene espectro
spLG =
m
0
0
,
m
1
1
, . . . ,
m
d
d
, 0
m

n
.
Las ideas usadas en la demostraci on se basan en el m etodo de desplazamien-
to de cargas y son las siguientes: si suponemos que el autovalor spG tie-
ne un autovector asociado u. Entonces, el vector v, con m

coecientes v
i j
= u
j
,
(i, j) A

, es a su vez un autovector de LG Adem as, si u

1
, u
2
son linealmente
independientes, los vectores asociados v
1
, v
2
tambien lo son. En consecuencia las
multiplicidades de en G y LG coinciden
Respecto al autovalor 0, sea j V con grado exterior r :=

G
( j) 2. Supon-
gamos que A

contiene r
j
arcos de la forma (i
1
, j),(i
2
, j),. . . , (i
r
j
, j), con 2 r
j

( j).Entonces, todos los r v ertices i

1
j, i
2
j, . . . , i
r
j, son adyacentes al v ertice
( jk) para cadak
+
( j). Denimos r 1 vectores la w
s
, 1 s r, con dos
unicas componentes no nulas w
i
1
j
= 1, w
i
s
j
= 1. De (3), se deduce que w
s
es
un autovector por la izquierda de LG y, cuando j recorre V obtenemos m

n
vectores linealmente independientesde este tipo.
3. El espectro del grafo lnea
El grafo lnea LG de un grafo G = (V, E) se dene com el grafo LG cuyos
v ertices son las ramas en E(G), V(LG) = uv; u, v E y dos v ertices en LG
son adyacentes cundo las correspondientes ramas en G tienen un v ertice com un.
3.1. Grafos regulares
Un resultado cl asico en teora de grafos es la siguiente caracterizaci on del
espectro de un grafo lnea, en t erminos del espectro del grafo del cual procede
(ver, por ejemplo, [2, 5]).
Teorema 2. Sea G un grafo regular con matriz de adyacencia A y espectro
spG =
1
,
2
, . . . ,
n
.
entonces, su grafo lnea LG tiene espectro
spLG =
1
+ 2,
2
+ 2, . . . ,
n
+ 2, 2,
(mn)
. . . . . ., 2.
Aproximaci on geom etrica al espectro de algunas familias de digrafos 293
El espectro local del grafo lnea
Teorema 3. Sea G un grafo -regular con autovalor
l
, multiplicidad m(
l
), y
multiplicidad cruzada local m
i j
= m
i j
(
l
), i, j V. Entonces, las multiplicida-
des cruzadas locales de
l
en el grafo lnea LG, vienen dadas por las siguientes
expresiones:
m
(i, j)(k,h)
(
l
) =
m
i j
+m
ih
+m
jk
+m
jh
+
l
(
l
=2), (5)
m
(i, j)(k,h)
(2) =

l
=2
m
(i, j)
(
l
), (6)
con = 0 if (i, j) = (k, l) y = 1 en otros casos.
Demostraci on. Supongamos = 2, y sea U el subconjunto de m(
l
) vectores
columna de la matriz U
l
. Entonces, dado u U, sabemos que el vector v con
componentes v
(i, j)
= u
i
+u
j
es un
l
-autovector de LG. Notemos que, como

ij
(u
i
+u
j
)
2
=

i
u
2
i
+

ij
2u
i
u
j
= +'u, Au` = +
l
,
el correspondiente vector normalizado tiene componentes
u
i
+u
j

+
l
. Por tanto, la
multiplicidad cruzada local, en el v ertice (i, j), de
l
es:
m
(i, j)
(
l
) =

uU
(u
i
+u
j
)(u
k
+u
h
)
+
l
=
1
+
l

uU
(u
i
u
j
+u
i
u
k
+u
j
u
k
+u
j
u
h
)
=
m
ik
+m
ih
+m
jk
+m
jh
+
l
.
Finalmente, la multiplicidad cruzada local del autovalor 2 se obtiene utilizando
la f ormula (b.1).
Observemos que, en particular, las multiplicidades locales de
l
son m
(i, j)
(
l
) =
m
(i, j)(i, j)
(
l
), que da:
m
(i, j)
(
l
) =
m
i
+2m
i j
+m
j
+
l
(
l
=2) (7)
m
(i, j)
(2) = 1

l
=2
m
i
+2m
i j
+m
j
+
l
(8)
294 Fiol, M.A. ; Mitjana, M.
Como era de esperar,

ij
m
(i, j)
(
l
) =
1
+
l

ij
(m
i
+2m
i j
+m
j
)
=
1
+
l

i
m
i
+

ij
2m
i j

= m(
l
),
de acuerdo con (1).
Bibliografa
[1] C. Balbuena, D. Ferrero, X. Marcote, and I. Pelayo, Algebraic properties of
a digraph and its line digraph, J. Interconnection Networks 4 (2003), no. 4,
377393.
[2] N. Biggs, Algebraic Graph Theory. Cambridge University Press, Cambridge,
1974; second edition: 1993.
[3] F. Comellas, M.A. Fiol, J. Gimbert and M. Mitjana, Weakly distance-regular
digraphs, J. Combin. Theory Ser. B 90 (2004), no. 2, 233255.
[4] D. Cvetkovi c and M. Doob, Developments in the theory of graph spectra,
Linear and Multilinear Algebra 18 (1985), 153181.
[5] D. Cvetkovi c, M. Doob, and and S. Simi c, Generalized line graphs, J. Graph
Theory 5 (1981), 385399.
[6] D. Cvetkovi c, P. Rowlinson, and S. Simi c, Eigenspaces of Graphs. Cambrid-
ge University Press, Cambridge, 1997.
[7] J. F` abrega and M.A. Fiol, Maximally connected digraphs, J. Graph Theory
13 (1989), no. 3, 657-668.
[8] M.A. Fiol, E. Garriga, and J.L.A. Yebra, Locally pseudo-distance-regular
graphs, J. Combin. Theory Ser. B 68 (1996), 179205.
[9] M.A. Fiol, E. Garriga, and J.L.A. Yebra, Boundary graphs: The limit case of
a spectral property, Discrete Math. 226 (2001) 155173.
[10] M.A. Fiol and A.S. Llad o, The partial line digraph technique in the design of
large interconnection networks, IEEE Trans. Comput. C-41, no. 7, (1992),
848857.
Aproximaci on geom etrica al espectro de algunas familias de digrafos 295
[11] M.A. Fiol , J.L.A Yebra and I. Alegre, Line digraph iterations in the (d, k)
digraph problem, IEEE Trans. Comput. C-33, no. 5, (1984), 400403.
[12] E. Garriga, Contribuci o a la Teoria Espectral de Grafs. Problemes M` etrics
i Dist` ancia-Regularitat, Ph.D. Thesis (in Catalan), Universitat Polit` ecnica
de Catalunya, Barcelona, 1997.
[13] C.D. Godsil, Graphs, groups, and polytopes, in: Combinatorial Mathema-
tics (eds. D.A. Holton and J. Seberry) 157164, Lecture Not. Math. 686,
Springer, Berlin, 1978.
[14] C.D. Godsil, Bounding the diameter of distance regular graphs, Combinato-
rica 8 (1988), 333343.
[15] C. D. Godsil, Algebraic Combinatorics, Chapman and Hall, New York,
1993.
[16] J.C. Montserrat, Propiedades Matriciales de los Grafos Dirigidos, Ms. Dis-
sertation (in Spanish), Univ. Polit` ecnica de Catalunya, Spain, 1986.
[17] P. Rowlinson, Linear algebra, in: Graph Connections (ed. L.W. Beineke and
R.J. Wilson), Oxford Lecture Ser. Math. Appl., Vol. 5, 8699, Oxford Univ.
Press, New York, 1997.