1: % ArXiv version with bibliography included
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3: % %
4: % %
5: % Forest matrices around the Laplacian matrix %
6: % %
7: % Pavel Chebotarev and Rafig Agaev %
8: % %
9: % %
10: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
11:
12: %\documentclass{elsart}
13: \documentclass[fleqn]{article}
14:
15: \usepackage{latexsym}
16: \usepackage{amssymb}
17:
18: \usepackage{widetex2}
19: \usepackage{point}
20: %used
21: \newcommand{\PTH}[1]{{\bf Proof of Theorem~#1.~}} %used
22: \newcommand{\PPR}[1]{{\bf Proof of Proposition~#1.~}} %used
23: \newcommand{\PLE}[1]{{\bf Proof of Lemma~#1.}} %used
24: \newcommand\prothe[2]{\par\noindent\PTH{#1}{\rm #2}\medskip\par} %used
25: \newcommand\propro[2]{\par\noindent\PPR{#1}{\rm #2}\medskip\par} %used
26: \newcommand\prolem[2]{\par\noindent\PLE{#1}{\rm #2}\medskip\par} %used
27:
28: %%%%%%%%%%%% FOR PLAIN LaTeX (not for Elsart) %%%%%%%%%%%%%%%
29:
30: \newtheorem{thm}{Theorem}{\bfseries}{\itshape} %used
31: \newtheorem{prop}{Proposition}{\bfseries}{\itshape} %used
32: \newtheorem{lem}{Lemma}{\bfseries}{\itshape} %used
33: \newtheorem{defn}{Definition}{\bfseries}{\rm} %used
34: \newtheorem{rem}{Remark}{\itshape}{\rm} %used
35: \newtheorem{cor}{Corollary}{\bfseries}{\itshape} %used
36: \newtheorem{obs}{Observation}{\bfseries}{\rm} %used
37:
38: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
39:
40: \def\qed{\relax\ifmmode\hskip2em \Box\else\unskip\nobreak\hskip1em $\Box$\fi}
41: \def\D{{\rm\Delta}} %used
42: \def\l{\ell} %used
43: \def\aa{\alpha} %used
44: \def\a{\mathop{\alpha}\nolimits}
45: \def\b{\mathop{\beta}\nolimits}
46: \def\G{\Gamma} %used
47: \def\la{\lambda} %used
48: \def\si{\sigma} %used
49: \def\Si{\Sigma} %used
50: \def\f{\varphi} %used
51: \def\e{w} %used
52: \def\FF{\mathop{\mathcal F}\nolimits} %used
53: \def\PP{\mathop{\mathcal P}\nolimits} %used
54: \def\GG{\mathop{\mathcal G}\nolimits} %used
55: \def\TT{\mathop{\mathcal T}\nolimits} %used
56: \def\NN{\mathop{\mathcal N}\nolimits} %used
57: \def\RR{\mathop{\mathcal R}\nolimits} %used
58: \def\II{\mathop{\mathcal I}\nolimits} %used
59: \def\JJ{\mathop{\mathcal J}\nolimits} %used
60: \def\suml {\mathop{\sum} \limits} %used
61: \def\liml {\mathop{\lim} \limits} %used
62: \def\maxl {\mathop{\max} \limits} %used
63: \def\capl {\mathop{\cap} \limits} %used
64: \def\cdc{,\ldots,} %used
65: \def\1n{1,\ldots,n} %used
66: \def\0n{0,\ldots,n} %used
67: \def\_#1{\mathop{\hspace{-0.45ex}^{}_{#1}}} %used Do not remove please. Improves the layout of subscripts.
68: %\def\_#1{\mathop{\hspace{-2pt}^{}_{#1}}}
69: \def\R{{\mathbb R}} %used
70: \def\N{{\mathbb N}} %used
71: \def\C{{\mathbb C}} %used
72: \def\vj {\mathop{\tilde{J}}\nolimits} %used
73: \def\q {\tilde{J}} %used
74: \def\J {\tilde{J}{}} %used
75: \def\interca{\mathop{\scriptscriptstyle T}\nolimits} %used
76: \def\Lpr{L^{\scriptscriptstyle\#}} %used
77: \def\NL{{\mathcal N}({L})} %used
78: \def\NLT{{\mathcal N}({L}^{*})} %used
79: \def\NJ{{\mathcal N}({\vj})} %used
80: \def\NJT{{\mathcal N}(\J^*)} %used
81: \def\RL{{\mathcal R}({L})} %used
82: \def\RLT{{\mathcal R}({L}^{*})} %used
83: \def\RJ{{\mathcal R}({\vj})} %used
84: \def\RJT{{\mathcal R}(\J^*)} %used
85: \def\gri{{\scriptscriptstyle\#}} %used
86: \def\tr{\mathop{\rm tr}\nolimits} %used
87: \def\inv{\mathop{\rm inv}\nolimits} %used
88: \def\adj{\mathop{\rm adj}\nolimits} %used
89: \def\rank{\mathop{\rm rank}\nolimits} %used
90: \def\ind{\mathop{\rm ind}\nolimits} %used
91: \def\beq{\begin{equation}} %used
92: \def\eeq{\end{equation}} %used
93: \def\beqq{\begin{eqnarray}} %used
94: \def\eeqq{\end{eqnarray}} %used
95: \newcommand{\abs}[1]{\left|#1\right|} %used
96: \def\di{d} %used
97: \def\ve{v} %used
98: \def\tor{\to\hspace{-.07em}{*}\hspace{-.05em}} %used
99: \def\rto{\hspace{-.02em}{*}\hspace{-.08em}\to} %used
100: \def\ms{\mathstrut} %used
101: \def\Pin{P^{\infty}} %used
102:
103: \def\baselinestretch{1.19}
104: \tolerance=800
105: \raggedbottom
106:
107:
108: \begin{document}
109:
110: \title{Forest matrices around the Laplacian matrix
111: %\footnote{%
112: %This work was supported by the Russian Foundation for Basic
113: %Research under grants 01--01--10732-z and 02--01--00614-a.
114: %}
115: }
116:
117: \author{Pavel Chebotarev$^1$%\footnotemark[1]
118: \ and Rafig Agaev
119: \\
120: {\normalsize Trapeznikov Institute of Control Sciences
121: of the Russian Academy of Sciences}
122: \\
123: {\normalsize 65 Profsoyuznaya str., Moscow 117997, Russia}
124: }
125: \footnotetext[1]{Corresponding author.\\
126: \indent{\ \ \it E-mail addresses:} chv@lpi.ru; pchv@rambler.ru}
127:
128: %\date{May 2002}
129: \date{}
130:
131: \maketitle
132:
133:
134: \begin{abstract}
135: We study the matrices $Q\_k$ of in-forests of a weighted digraph
136: $\G$ and their connections with the Laplacian matrix~$L$ of~$\G$.
137: The $(i,j)$ entry of $Q\_k$ is the total weight of spanning converging
138: forests ({\em in-forests}) with $k$ arcs such that $i$ belongs to a
139: tree rooted at~$j$.
140: The forest matrices, $Q\_k,$ can be calculated recursively and
141: expressed by polynomials in the Laplacian matrix; they provide
142: representations for the generalized inverses, the powers, and some
143: eigenvectors of~$L$. The normalized in-forest matrices are row
144: stochastic; the normalized matrix of maximum in-forests is the
145: eigenprojection of the Laplacian matrix, which provides an immediate
146: proof of the Markov chain tree theorem. A source of these results is
147: the fact that matrices $Q\_k$ are the matrix coefficients in the
148: polynomial expansion of $\adj(\la I+L)$. Thereby they are precisely
149: Faddeev's matrices for~$-L$.
150: \medskip
151:
152: \noindent{\em AMS classification:\/} 05C50; 15A48
153: \medskip
154:
155: \noindent{\em Keywords:} Weighted digraph; Laplacian matrix; Spanning
156: forest; Matrix-forest theorem; Leverrier-Faddeev method; Markov chain
157: tree theorem; Eigenprojection; Generalized inverse
158: \end{abstract}
159:
160:
161: \section{Introduction}
162: \label{sec1}
163:
164: According to the matrix-tree theorem, the $(i,j)$ cofactor of the
165: Laplacian matrix of a weighted digraph equals the total weight of
166: spanning converging trees rooted at vertex $i$ of the digraph.
167:
168: Fiedler and Sedl\'{a}\v{c}ek \cite{FiedlerSedlacek58} proved that the
169: principal minor of the Laplacian matrix resulting by the removal of the
170: rows and columns indexed by a set $\JJ$ is equal to the total weight of
171: in-forests with $\abs{\JJ}$ trees rooted at the vertices of~$\JJ$.
172:
173: These results are generalized by the {\em all minors matrix tree
174: theorem\/} \cite{Chen76,Chaiken82} (see also~\cite{Moon94})
175: which expresses arbitrary minors of the Laplacian matrix in terms of
176: in-forests of the digraph.
177:
178: We study the matrices, $Q\_k,$ of a digraph's in-forests: the $(i,j)$
179: entry of $Q\_k$ is the total weight of in-forests with $k$ arcs where
180: $i$ belongs to a tree converging to~$j$. In this paper, we show that
181: the forest matrices can be recursively calculated and represented by
182: simple polynomials in the Laplacian matrix~$L$; in turn, the powers of
183: $L$ are linear combinations of~$Q\_k$'s. Further, we demonstrate that
184: the forest matrices are useful to interpret a number of expressions
185: that involve the Laplacian matrix, including those of the group and
186: Moore-Penrose inverses, and some eigenvectors. Of special interest is
187: the normalized matrix $\J$ {\em of maximum in-forests\/} of a digraph
188: previously used~\cite{LeightonRivest83,LeightonRivest86} to represent
189: the long run transition probabilities of Markov chains. We prove that
190: $\J$ is the eigenprojection of the Laplacian matrix corresponding to
191: the eigenvalue~$0$ and study some properties of~$\J.$
192:
193: A seminal result that enables one to give short algebraic proofs to
194: these representations is the fact that matrices $Q\_k$ coincide with
195: the matrix coefficients in the polynomial form of $\adj(\la I+L)$:
196: \[
197: \adj(\la I+L)=\suml_{k=0}^{n-1}Q\_{n-k-1}\la^k,
198: \]
199: where $\adj A$ is the transposed matrix of cofactors of~$A$. This
200: expansion is a corollary to the {\em parametric matrix-forest
201: theorem\/}~\cite{AgaChe00} which expresses the entries of $(I+\tau
202: L)^{-1},$ $\tau\in\R$ in terms of in-forests.
203:
204: All results of this paper are applicable to unweighted digraphs
205: (by taking all weights equal to one) and undirected graphs (by
206: considering symmetric digraphs).
207:
208: The paper is organized as follows. After the notation section, we
209: briefly survey the major known results on the minors of the Laplacian
210: (Kirchhoff) matrix of a weighted digraph (Section~\ref{Preli}), give
211: a new proof
212: to the matrix-forest
213: theorem for digraphs (Section~\ref{nata}), present a recursive method
214: for calculating the forest matrices (Section~\ref{s_calc}), establish
215: polynomial representations of the forest matrices
216: (Sections~\ref{s_rela}), study the normalized matrix $\J$ of
217: maximum in-forests (Section~\ref{s_maxi}), consider $L$ and $\J$ as
218: linear transformations and show that $\J$ is the eigenprojection of
219: $L,$ which yields the {\em Markov chain tree theorem\/}
220: (Section~\ref{line}), and finally, express the generalized inverses of
221: $L$ in terms of the forest matrices (Section~\ref{pseudo2}).
222:
223:
224: \section{Notation}
225: \label{sec2}
226:
227: \subsection{Graph definitions}
228:
229: For graph terminology, we mainly follow~\cite{Harary69}.
230: Suppose that $\G$ is a weighted digraph without loops, $V(\G)=\{\1n\},$
231: $n>1$, is its set of vertices and $E(\G)$ its set of arcs. The
232: weights of all arcs are strictly positive.
233: Let $W=(\e\_{ij})$ be the matrix of arc weights of~$\G$. Its $(i,j)$
234: entry, $\e\_{ij},$ equals zero iff there is no arc from vertex
235: $i$ to vertex~$j$ in~$\G$. If $\G^{\prime}$ is a subgraph of $\G$, then
236: the weight of $\G^{\prime}$, $\e(\G^{\prime})$, is the product of the
237: weights of all its arcs; if $\G'$
238: does not contain arcs, then $\e(\G')=1$. The weight of a nonempty set
239: of digraphs $\GG$ is defined as follows:
240: \beq
241: \label{set_weight}
242: \e(\GG)=\suml_{H\in\GG}\e(H);\quad \e(\varnothing)=0.
243: \eeq
244:
245: A~{\it spanning\/} subgraph of $\G$ is a subgraph of $\G$ with vertex
246: set $V(\G)$. The {\it outdegree\/}
247: of vertex $\ve$ is the number of arcs that come from~$\ve$.
248: A {\it converging tree\/} is a weakly connected (i.e., its
249: corresponding undirected graph is connected) digraph in which one
250: vertex, called the {\it root}, has outdegree zero and the remaining
251: vertices have outdegree one.
252:
253: A~converging tree is said to {\em converge\/} to its root. Spanning converging
254: trees are sometimes called {\it in-arborescences}.
255: A~{\it converging forest\/}
256: is a digraph all of whose weak components (i.e., maximal weakly
257: connected subgraphs) are converging trees. The roots of these trees are
258: the roots of the converging forest.
259:
260: \begin{defn}
261: {\rm
262: An {\em in-forest\/} is a spanning converging forest.
263: }
264: \end{defn}
265:
266: \begin{defn}
267: \label{De2}
268: {\rm
269: An in-forest $F$ of a digraph $\G$ is called a {\em maximum
270: in-forest\/} of $\G$ if $\G$ has no in-forest with a greater number of
271: arcs than in~$F$.
272: }
273: \end{defn}
274:
275: {\em Out-forests\/} which {\em diverge\/} from their roots
276: and {\em maximum out-forests\/} are defined in the same manner. In this
277: paper, we deal with in-forests, but a parallel theory can be
278: developed for out-forests.
279:
280: The notion of maximum in-forest of a digraph generalizes the
281: concept of spanning converging tree (in-arborescence). If spanning
282: converging trees of a digraph exist, they coincide with maximum in-forests;
283: otherwise maximum in-forests inherit some of their properties.
284: These properties were studied in~\cite{AgaChe00}.
285:
286: It is easily seen that every maximum in-forest of $\G$ has the minimum
287: possible number of converging trees; we call this number the {\it
288: in-forest dimension\/} of $\G$ and denoted it by~$\di$. The number of
289: arcs in any maximum in-forest is obviously $n-\di$; in general, the
290: number of disjoint trees in a spanning forest with $k$ arcs is $n-k$.
291:
292: By $\FF^{\tor}(\G)=\FF^{\tor}$ and $\FF^{\tor}_k(\G)=\FF^{\tor}_k$
293: we denote the set of all in-forests of $\G$ and the set of all
294: in-forests of $\G$ with $k$ arcs, respectively; $\FF^{i\tor j}_k$
295: will designate the set of all in-forests with $k$ arcs where $i$
296: belongs to a tree converging to~$j$; $\FF^{i\tor
297: j}=\cup_{k=0}^{n-\di}\FF^{i\tor j}_k$ is the set of such
298: in-forests with any number of arcs. The notation
299: $\FF^{\tor}_{(k)}$ will be used for the set of in-forests that
300: consist of $k$ trees. The $\to\hspace{-.5em}{*}$ sign relates to
301: in-forests; the corresponding notation for out-forests is
302: $\FF^{\rto},$ etc.
303:
304: Let
305: \beqq
306: \label{sik}
307: \si\_k
308: &=&\e(\FF^{\tor}_k),\quad k=0,1,\ldots,
309: \\
310: \si
311: &=&\e(\FF^{\tor})=\suml_{k=0}^{n-\di}\si\_k.
312: \label{si}
313: \eeqq
314:
315: By (\ref{sik}) and (\ref{set_weight}), $\si\_k=0$ whenever $k>n-\di,$
316: and $\si\_0=1.$
317:
318: We will also consider the parametric value
319: \beq
320: \label{sitau}
321: \si(\tau)
322: =\suml_{k=0}^{n-\di}\si\_k\tau^k,
323: \eeq
324: which is the total weight of in-forests in $\G$ provided that all arc
325: weights are multiplied by~$\tau$.
326:
327:
328: Let
329: \beq
330: \label{sk}
331: s\_k=\suml_{j=0}^k\si\_j,\quad k=\0n-\di
332: \eeq
333: be the total weight of in-forests of $\G$ with at most $k$ arcs. Then,
334: by definition, $s\_{n-\di}=\si$.
335:
336: Finally,
337: \beq
338: \label{sktau}
339: s\_k(\tau)=\suml_{j=0}^k\si\_j\tau^j,\quad k=\0n-\di,
340: \eeq
341: whence $s\_{n-\di}(\tau)=\si(\tau).$
342:
343: \subsection{Matrix definitions}
344:
345: For any $n\!\times\!n$ matrix $A$, let
346: $A(\overline{\II}\,|\,\overline{\JJ}),$ where $\II,\JJ\subseteq \{1\cdc
347: n\},$ be the submatrix of $A$ obtained by the removal of the rows
348: indexed by $\II$ and the columns indexed by~$\JJ$. For a complex matrix
349: $A,$ $A^*$ is the conjugate transpose (Hermitian adjoint) and
350: $A^{\interca}$ the transpose of~$A.$
351:
352: The {\it Laplacian\/} (or {\it row Laplacian}) matrix of a
353: weighted digraph $\G$ is the $n\!\times\!n$ matrix $L=L(\G)=(\l\_{ij})$
354: with entries $\l\_{ij}=-\e\_{ij}$ when $j\ne i$ and
355: $\l\_{ii}=-\suml_{k\ne i}\l\_{ik}$, $i,j=\1n$. The {\it column
356: Laplacian} matrix $L'=L'(\G)=(\l'_{ij})$ differs from $L$ by the
357: diagonal only: ${\l'_{ij}=-\e\_{ij}}$ when $j\ne i$ and
358: $\l'_{ii}=-\suml_{k\ne i}\l'_{ki}$, $i,j=\1n$. The {\it Kirchhoff\/}
359: (or {\it row Kirchhoff\/}) matrix \cite{Tutte84} is $K=L'^{\interca};$
360: the {\it column Kirchhoff} matrix is $K'=L^{\interca}.$ These four
361: singular matrices are generalizations of the Laplacian (Kirchhoff)
362: matrix of an undirected graph. In what follows, we deal with the
363: Laplacian matrix~$L(\G)$ and reformulate for it some results originally
364: obtained for the other matrices.
365:
366: Throughout let $\G$ be a fixed digraph.
367: Consider the {\em matrices
368: \[
369: Q\_k=(q_{ij}^k),\quad k=0,1,\ldots,
370: \]
371: of in-forests of\/ $\G$ with $k$ arcs}: the entries of $Q\_k$ are
372: \beq
373: \label{qijk}
374: q_{ij}^k=\e(\FF_k^{i\tor j}).
375: \eeq
376:
377: By (\ref{qijk}) and (\ref{set_weight}), $Q\_k=0$ whenever $k>n-\di,$ and
378: $Q\_0=I.$
379:
380: The {\em matrix of all in-forests\/} is
381: \beq
382: \label{Q}
383: Q=(q\_{ij})=\suml_{k=0}^{n-\di}Q\_k
384: \eeq
385: with entries $q\_{ij}=\e(\FF^{i\tor j}).$
386:
387: We will also consider the {\em normalized matrices of forests}:
388: \beq
389: \label{Jk}
390: J\_k=\si_k^{-1}Q\_k,\quad k=\0n-\di,
391: \eeq
392: \beq
393: \label{J}
394: J=\si^{-1}Q,
395: \eeq
396: and the parametric matrices
397: \beq
398: \label{Qtau}
399: Q(\tau)=\suml_{k=0}^{n-\di} Q\_k\tau^k,
400: \eeq
401: \beq
402: \label{Jtau}
403: J(\tau)=\si^{-1}(\tau)\,Q(\tau),\quad \tau\ge0,
404: \eeq
405: where $\si\_k,$ $\si,$ and $\si(\tau)$ are defined by
406: (\ref{sik})--(\ref{sitau}).
407:
408: The {\em normalized matrix of maximum in-forests\/} $J\_{n-\di}\/$
409: will be also denoted by~$\J$:
410: \[
411: \J=J\_{n-\di}.
412: \]
413: In the case of undirected graphs, the entries of $\J$ are the same
414: within every connected component. In the directed case, this
415: matrix possesses nontrivial properties determined by the properties of
416: maximum in-forests, cf.~\cite{AgaChe00}.
417:
418: \begin{prop}
419: \label{pro_sto}
420: The matrices $J\_k,\;k=\0n-\di,$ $J,$ and $J(\tau)$ are row stochastic.
421: \end{prop}
422:
423: \propro{\ref{pro_sto}}{
424: Every row sum of $Q\_k,\;k=\0n-\di,$ is $\si\_k$. Indeed, for every
425: $i=\1n,$ we have
426: \[
427: \suml_{j=1}^nq^k_{ij}
428: =\suml_{j=1}^n\e(\FF_k^{i\tor j})
429: \stackrel{\scriptstyle{(\!\ast\!)}}{=}
430: \e\Bigl(\bigcup_{j=1}^n\FF_k^{i\tor j}\Bigr)
431: =\e(\FF^{\tor}_k)
432: =\si\_k.
433: \]
434: In the $(\ast)$ passage, we used the fact that
435: $\FF_k^{i\tor j\_1}\cap\FF_k^{i\tor j\_2}=\varnothing$ whenever
436: $j\_1\ne j\_2.$ Thus, the nonnegative matrices $J\_k=\si_k^{-1}Q\_k$
437: are row stochastic. Now the stochasticity of $J$ and $J(\tau)$ follows from
438: their definitions.
439: \qed
440: }
441:
442: The aim of this paper is to interpret, in terms of the forest matrices,
443: a number of expressions that involve the Laplacian matrix
444: as well as to provide polynomial expressions for the forest matrices
445: themselves.
446:
447:
448: \section{Preliminaries}
449: \label{Preli}
450:
451: This section briefly surveys some known results on the minors of
452: a digraph's Laplacian matrix.
453:
454: The oldest result of this kind is the {\em matrix-tree theorem\/}
455: by Tutte~\cite{Tutte48,Tutte84}, although some authors (e.g.,
456: \cite{Chaiken82}; cf.\ \cite{Moon70}) trace it back to
457: Sylvester~\cite{Sylvester57} and its proof to Borchardt~\cite{Borchardt60}.
458:
459: \begin{thm}
460: \label{MTT}
461: For every $i,j\in V(\G),$ $\ell^{ij}=\e(\TT^{\tor i})$ holds$,$ where
462: $\ell^{ij}$ is the cofactor of the $(i,j)$ entry of $L$ and $\TT^{\tor
463: i}$ is the set of all spanning trees converging to $i$ in~$\G$.
464: \end{thm}
465:
466: As stated in \cite{KelmansPakPostnikov99}, ``This small formula opens
467: a world of opportunities.''
468:
469: Tutte~\cite{Tutte84} formulated this theorem for the diagonal cofactors
470: of the Kirchhoff matrix. A~version that involves all
471: cofactors of the Laplacian and the column Laplacian matrices can be
472: found in~\cite{Harary69}.
473: We do not describe multiple analogues of the matrix-tree theorem here.
474:
475: By definition, $L$ has the form $L=D-W,$ where $W$ is the nonnegative
476: matrix of arc weights and $D$ is the diagonal matrix ensuring the zero
477: row sums of~$L.$ Therefore, by Ger\v{s}gorin's theorem, the real part
478: of each nonzero eigenvalue of $L$ is positive. Thus, $L$ is a singular
479: M-matrix (see, e.g., \cite[Theorem~4.6 in Chapter~6]{BermanPlemmons79}).
480: One of the consequences is that all the principal minors of $L$ are
481: nonnegative. Fiedler and Sedl\'{a}\v{c}ek~\cite{FiedlerSedlacek58}
482: obtained an interpretation of all principal minors of the Laplacian
483: matrix in terms of spanning forests:
484:
485: \begin{thm}
486: \label{FiSe}
487: For any $\JJ\subseteq\{\1n\}$, $\det
488: L(\overline{\JJ}\,|\,\overline{\JJ})=\e(\FF^{\tor \JJ})$ holds$,$
489: where $\FF^{\tor \JJ}$ is the set of in-forests for which $\JJ$ is
490: the set of roots.
491: \end{thm}
492:
493: Later this theorem was formulated and proved in~\cite{ChaikenKleitman78}.
494: Its special case with undirected graphs and $\abs{\JJ}=2$ was discovered
495: and employed earlier in the theory of electrical networks (see,
496: e.g.,~\cite{Percival53}). Fiedler and Sedl\'{a}\v{c}ek stated their
497: result for the column Laplacian matrix and out-forests. Generally, to
498: get interpretations for the minors of the column Laplacian matrix
499: $L'(\G),$ it suffices to observe that for the digraph obtained from
500: $\G$ by the reversal of all arcs, the Laplacian matrix coincides with
501: $K(\G)=L'^{\interca}(\G)$ and the in-forests are in a weight preserving
502: correspondence with the out-forests of~$\G.$
503:
504: Let
505: \beq
506: \label{p(la)}
507: \f(\la)=\det(\la I+L)=\suml^n_{k=0}c\_{n-k}\la^k
508: \eeq
509: be the characteristic polynomial of~$-L$ and let $\si\_k$ be as
510: defined in~(\ref{sik}).
511:
512: \begin{prop}
513: \label{char-L}
514: In\/ $(\ref{p(la)}),\;$ $c\_k=\si\_k,\;$ $k=0,\ldots,n.$
515: \end{prop}
516:
517: In view of Theorem~\ref{FiSe}, this proposition follows from
518: the fact that $c\_k$ is equal to the sum of the $k\!\times\!k$
519: principal minors of~$L$. In the case of undirected unweighted
520: multigraphs, Proposition~\ref{char-L} is due to
521: Kelmans~\cite{Kelmans67,KelmansChelnokov74}, who was probably the first
522: \cite{Kelmans6566E} to study the Laplacian characteristic polynomial
523: (see also discussion in \cite[p.~42]{Moon70} and \cite[Sections
524: 1.2,~1.5]{CvetkovicDoobSachs80}, and \cite[Theorem~7.5]{Biggs74}); some
525: extensions are given in~\cite[the last statement on
526: p.~236]{BapatConstantine92} and~\cite[Theorem~2]{ChungLanglands96}. An
527: alternative representation for the coefficients of the Laplacian
528: characteristic polynomial can be found in~\cite{Forman93}.
529:
530: Since $\si\_k=0$ if and only if $k>n-\di$ ($k=0,1,\ldots$),
531: Proposition~\ref{char-L} implies
532:
533: \begin{cor}
534: \label{mult0}
535: The multiplicity of\/ $0$ as the eigenvalue of $L$ is~$\di.$
536: \end{cor}
537:
538: Another immediate consequence of Proposition~\ref{char-L} is
539: \smallskip
540:
541: \begin{cor}
542: \label{sumprod}
543: ${\displaystyle
544: \:\si\_k=\sum_{\JJ:\:\abs{\JJ}=k}\:\prod_{j\in\JJ}\la\_j,
545: \quad k=0,\ldots,n,
546: }$\\
547: where $\la\_1\cdc\la\_n$ are the eigenvalues of $L$ and $\JJ$ are
548: the subsets of\/ $\{1\cdc n\}$.
549: \end{cor}
550:
551: Chen~\cite[p.~313, Problems~4.14 and 4.16]{Chen76} proposed an
552: extension of the matrix-tree theorem to additional minors of the
553: Laplacian matrix and Chaiken~\cite{Chaiken82} gave a similar graph
554: interpretation to all minors of~$L'.$ Moon~\cite{Moon94}
555: obtained a more general expansion which applies to all minors of
556: arbitrary matrices; Chaiken's theorem and a number of W.K.~Chen's
557: expansions follow from his result as special cases.
558: Minoux~\cite{Minoux99} generalized Chaiken's theorem to semirings and
559: Bapat et al.~\cite{BapatGrossman99} to mixed graphs (where each arc is
560: either directed or undirected). Other useful graph interpretations of
561: minors and determinants are given in~\cite{MaybeeOlesky89}.
562:
563: We do not quote these results here, but we employ Chaiken's formulation
564: \cite{Chaiken82} of the {\it all minors matrix tree theorem\/} in the
565: proof of a {\em matrix-forest theorem\/} in the following section.
566:
567:
568: \section{Another matrix-forest theorem}
569: \label{nata}
570:
571: The following theorem~\cite{CheSha95a,CheSha97} provides expressions
572: for the forest matrices $Q$ and $J$ (see (\ref{Q}) and~(\ref{J})) in
573: terms of the cofactors and the determinant of $I+L,$ where $I$ is the
574: identity matrix.
575:
576: \begin{thm}
577: \label{mft0}
578: $Q=\adj(I+L)$ and $\si=\det(I+L).$
579: Thus$,$ $J=(I+L)^{-1}.$
580: \end{thm}
581:
582: For the properties of $(I+L)^{-1},$
583: see~\cite{CheSha97,CheSha98,Merris97,Merris98}.
584:
585: It was mentioned in \cite{CheSha97} that a quick way to prove the
586: matrix-forest theorem is to employ the all minors matrix tree theorem,
587: more specifically, to apply the first formula (without number) on
588: page~328 in~\cite{Chaiken82}. Below we give a complete inference of
589: Theorem~\ref{mft0} from the all minors matrix tree theorem.
590: Note that a self-contained
591: proof of the matrix-forest theorem for unweighted
592: multigraphs can be found in~\cite{Sha94}. Another inference based on
593: some results of
594: \cite{Kelmans67,KelmansChelnokov74,FiedlerSedlacek58,MaybeeOlesky89}
595: was given in~\cite{CheSha95a} for the case of weighted multidigraphs
596: and multigraphs. Undirected and unweighted analogies of
597: Theorem~\ref{mft0} have been presented in~\cite{Merris97,Merris98}
598: (with the proof based on Chaiken's theorem) and~\cite{CheSha95}.
599:
600: In the following proof of Theorem~\ref{mft0}, we employ a standard
601: trick which enables one to reduce many novel statements about forests
602: to known statements about trees or forests.
603: Versions of this trick have been used in many papers, e.g.,
604: \cite{BapatConstantine92,Chaiken82,CheSha01,Chen76,GolenderDrboglav81,%
605: JonesPittel99,KelmansPakPostnikov99,KirklandNeumann99b,Merris97,Merris98,%
606: ProppWilson98}.%
607: \footnote{Note that one more expedient is to identify the roots of all
608: trees in a forest, which converts the forest into a tree
609: \cite{CvetkovicDoobSachs80,FiedlerSedlacek58,Kelmans67,KelmansChelnokov74,%
610: Myrvold92,CheSha95a}.}
611: We formalize it by
612: \begin{defn}
613: {\rm
614: Let $\G$ be a weighted digraph. The digraph $\widehat{\G}$ with vertex
615: set $V(\widehat{\G})=V(\G)\cup\{0\},$ arc set
616: $E(\widehat{\G})=E(\G)\cup\{(j,0)\,:\,j\in V(\G)\},$ the weights of
617: arcs in $E(\widehat{\G})\cap E(\G)$
618: the same as for~$\G,$ and $\e((j,0))=1,\;j\in V(\G),$ will be called
619: the {\em ground extension\/} of~$\G$.\footnote{In
620: \cite{KelmansPakPostnikov99} $\widehat{\G}$ is called the {\em cone\/}
621: of~$\G$.}
622: }
623: \end{defn}
624:
625: \begin{obs}
626: \label{obs1}
627: Let $\widehat{\G}$ be the ground extension of\/ $\G.$ Let $U=I+L(\G),$
628: $\widehat{L}=L(\widehat{\G}).$ Then for any $\II,\JJ\subseteq V(\G),$
629: $U(\overline{\II}\,|\,\overline{\JJ})
630: =\widehat{L}(\overline{\II\cup\{0\}}\,|\,\overline{\JJ\cup\{0\}})$ holds.
631: \end{obs}
632:
633: By virtue of Observation~\ref{obs1}, if one has expressions for all
634: minors of the Laplacian matrices $L$ (say, those provided by the
635: all minors matrix tree theorem), then expressions for all minors of
636: matrices $I+L$ are got gratis. The following lemma establishes a
637: correspondence between the forests in $\G$ and some forests in~$\widehat{\G}$.
638: The lemma is formulated here in a form useful for expressing all minors of
639: $I+L.$
640:
641: \begin{lem}
642: \label{trick}
643: Consider
644: $\II=\{i_1\cdc i_k\}\subseteq V(\G),$
645: $\JJ=\{j_1\cdc j_k\}\subseteq V(\G),$
646: $0\le k\le n,$ and the set of in-forests
647: $\FF^{\tor}\cap\Bigl(\capl_{u=1}^k\FF^{i\_u\tor j\_u}\Bigr)$ in $\G$.
648: Then there exists a weight preserving one-to-one correspondence between
649: this set and the set
650: $\widehat{\FF}\ms^{\tor}_{\II\!\JJ}$ of in-forests
651: $F\in\widehat{\FF}\ms^{0\tor 0}\cap\Bigl(\capl_{u=1}^k\widehat{\FF}\ms^{i\_u\tor j\_u}\Bigr)$
652: in $\widehat{\G}$ such that the $F$'s consist of exactly $k+1$ trees.
653: \end{lem}
654:
655: \prolem{\ref{trick}}{
656: Let $F\in\FF^{\tor}\cap\Bigl(\capl_{u=1}^k\FF^{i\_u\tor j\_u}\Bigr)$.
657: To define the corresponding forest in
658: $\widehat{\FF}\ms^{\tor}_{\II\!\JJ},$ consider the replica $F'$ of $F$
659: in $\widehat{\G}$ and attach the arcs $(r,0)$ to it, where the $r$'s
660: are the roots of $F'$ that are not in $\JJ$. The resulting in-forest
661: consists of exactly $k+1$ trees and belongs to
662: $\widehat{\FF}\ms^{\tor}_{\II\!\JJ}$. Conversely, for any
663: $\widehat{F}\in\widehat{\FF}\ms^{\tor}_{\II\!\JJ},$ consider its
664: restriction to $V(\G)$ as the corresponding forest of $\G$. Obviously,
665: this correspondence is one-to-one and the corresponding forests share
666: the weight.
667: \qed
668: }
669:
670: \prothe{\ref{mft0}}{
671: Consider the ground extension $\widehat{\G}$ of $\G$.
672: By Observation~\ref{obs1}, if $U=I+L(\G),$
673: $U^{ij}$ is the $(i,j)$ entry of~$\adj U,$ and $\widehat{L}=L(\widehat{\G}),$
674: then
675: \beq
676: \label{26}
677: U^{ij}
678: =(-1)^{i+j}\det U(\overline{\{j\}}\,|\,\overline{\{i\}})
679: =(-1)^{i+j}\det \widehat{L}(\overline{\{0,j\}}\,|\,\overline{\{0,i\}}).
680: \eeq
681:
682: Let $\widehat{\FF}\ms^{0\tor 0,i\tor j}_{(2)}$ be the set of in-forests
683: $F\in\widehat{\FF}\ms^{0\tor 0}\cap\widehat{\FF}\ms^{i\tor j}$ that
684: consist of two trees. Denoting by $\inv\{0\to 0,i\to j\}$ the number
685: of violations of monotonicity in the two-element correspondence $\{0\to
686: 0,i\to j\}$, which is obviously zero, and using the all minors matrix
687: tree theorem~\cite{Chaiken82,Moon94}, we get
688: \beqq
689: \!\!\!\!\!\!
690: \det\widehat{L}(\overline{\{0,j\}}\,|\,\overline{\{0,i\}})
691: &\!\!\!\!=\!\!\!\!&
692: (-1)^{\abs{\{k\in V(\G)\,:\,k<j\}}\,+\,\abs{\{k\in V(\G)\,:\,k<i\}}}
693: \!\!\!\!\!\!\!\!\!\!\!\!
694: \suml_{F\in\widehat{\FF}\ms^{0\tor 0,i\tor j}_{(2)}}
695: \!\!\!\!\!\!\!\!\!\!
696: (-1)^{\inv\{0\to 0,i\to j\}}\e(F)
697: \cr
698: \label{27}
699: &\!\!\!\!=\!\!\!\!&(-1)^{j+i-2}\e(\widehat{\FF}\ms^{0\tor 0,i\tor j}_{(2)}).
700: \eeqq
701: In the first passage, we used the fact that
702: $\widehat{\FF}\ms^{i\tor 0}=\varnothing.$
703:
704: Lemma~\ref{trick} implies $\e(\widehat{\FF}\ms^{0\tor 0,i\tor
705: j}_{(2)})=\e(\FF^{i\tor j}),$ so, from (\ref{26}) and (\ref{27}), we get
706: \[
707: U^{ij}=(-1)^{2i+2j-2}\e(\FF^{i\tor j})=\e(\FF^{i\tor j})=q\_{ij}.
708: \]
709:
710: By Observation~\ref{obs1}, Theorem~\ref{MTT}, and Lemma~\ref{trick},
711: $
712: \det U
713: =\det\widehat{L}(\overline{\{0\}}\,|\,\overline{\{0\}})
714: =\e(\widehat{\FF}\ms^{0\tor 0}_{(1)})
715: =\e(\FF^{\tor})
716: =\si
717: $
718: (cf.\ \cite[Eq.~(37)]{JonesPittel99} and
719: \cite[7.2 and~7.3]{KelmansPakPostnikov99}).
720: This completes the proof.
721: \qed
722: }
723:
724: \begin{rem}
725: \label{rem_pos}
726: {\rm
727: Obviously, the positivity of arc weights is needed for the last
728: statement of Theorem~\ref{mft0} only; the first two statements are
729: preserved for digraphs with arbitrary arc weights.
730: }
731: \end{rem}
732:
733: \begin{rem}
734: \label{r_drbog}
735: {\rm
736: Note that the cofactors and the determinant of $I+L,$ in the case of an
737: unweighted undirected graph $G$, have been expressed in
738: \cite{GolenderDrboglav81} in terms of spanning trees and 2-forests in
739: the ground extension of $G$ (for the case of weighted graphs,
740: cf.~\cite[Theorem~2.3]{KirklandNeumann97}).
741: Ref.~\cite{GolenderDrboglav81} also discusses the idea of using graph
742: invariants related to $(I+L)^{-1}$ in the study of the graph
743: isomorphism problem. We surmise that the forest matrices $Q\_k$ also
744: have some potential in this respect.
745: }
746: \end{rem}
747:
748: It is easily seen that $I+\tau L$ with $\tau\ge0$ are nonsingular
749: M-matrices, so their inverses are nonnegative.
750: In the next section, the following parametric matrix-forest
751: theorem~\cite{AgaChe00} will be helpful:
752: \bigskip
753:
754: \noindent
755: {\bf Theorem~\ref{mft0}$'.$\ }
756: {\it For
757: any $\tau\in\R,$
758: $Q(\tau)=\adj(I+\tau L)$ and
759: $\si(\tau)=\det(I+\tau L).$ Thus$,$ for any $\tau\ge0,$
760: $J(\tau)=(I+\tau L)^{-1}.$
761: }
762: \bigskip
763:
764: To prove this theorem, it suffices to apply Theorem~\ref{mft0}
765: to the weighted digraph $\G'(\tau)$ that differs from
766: $\G$ in the weights of arcs only: for all $i,j=\1n,$
767: $\e'_{ij}(\tau)=\tau\e\_{ij}$.
768: By Remark~\ref{rem_pos}, the nonnegativity of $\tau$ is needed
769: for the last statement of Theorem~\ref{mft0}$'$ only.
770:
771:
772: \section{A method for calculating $Q\_1\cdc Q\_{n-\di}$}
773: \label{s_calc}
774:
775: We first show that $Q\_1\cdc Q\_{n-\di}$ are the matrix
776: coefficients in the polynomial expansion of
777: $\adj(\la I+L)$.
778: \vspace{-1em}
779:
780: \begin{prop}
781: \label{MatCo}
782: ${\displaystyle
783: \adj(\la I+L)
784: =\suml_{k=0}^{n-d}Q\_k\la^{n-k-1}.}
785: $
786: \end{prop}
787:
788: \propro{\ref{MatCo}}{
789: If $\la=0,$ then the right-hand side is zero whenever $\di>1$ and
790: it reduces to $Q\_{n-1}$ when $d=1$ (we put $\la^0\equiv1$). This is
791: equal to $\adj(\la I+L)$ by Theorem~\ref{MTT}. For any $\la\ne0,$ let
792: $\tau=\la^{-1}$. Using Theorem~\ref{mft0}$'$ we get
793: \beq
794: \label{adjexp}
795: \adj(\la I+L)
796: =\adj\la(I+\tau L)
797: =\la^{n-1}Q(\tau)
798: =\la^{n-1}\suml_{k=0}^{n-\di} Q\_k\tau^k
799: =\suml_{k=0}^{n-\di} Q\_k\la^{n-k-1}.
800: \!\!\!\!\!\!\!\!\qed
801: \eeq
802: }
803: \vspace{-1em}
804:
805: Proposition~\ref{MatCo} underlies an easy algorithm for calculating
806: $Q\_1\cdc Q\_{n-\di}$ and $\si\_1\cdc\si\_{n-\di}.$
807:
808: \begin{prop}
809: \label{pro.allk}
810: For any $k=0,1,\ldots,$
811: \beqq
812: \label{Fadd1}
813: Q_{k+1}
814: \!\!&=\!\!&(-L)Q_{k}+\si\_{k+1}\!I,\\
815: \label{Fadd2}
816: \si_{k+1}
817: \!\!&=\!\!&\frac{\tr(LQ\_k)}{k+1}.
818: \eeqq
819: \end{prop}
820:
821: \propro{\ref{pro.allk}}{
822: Since, by Proposition~\ref{MatCo}, $Q\_0\cdc Q\_{n}$ are the matrix
823: coefficients in the polynomial form of $\adj(\la I+L),$ where $\la I+L$
824: is the characteristic matrix of $-L$ and, by Proposition~\ref{char-L},
825: $\si\_0\cdc \si\_{n}$ are the coefficients of the characteristic
826: polynomial of $-L,$ the equations~\cite[\S3 of Chapt.~4]{Gantmacher66}
827: $Q\_{k+1}=\si\_{k+1}\!I-LQ\_k,\;\; k=0,1,\ldots,$ take place.
828:
829: To prove (\ref{Fadd2}), it suffices to take the traces on the left and
830: on the right of (\ref{Fadd1}) and use the fact that
831: \[
832: \tr Q_{k}=(n-k)\si\_{k},\quad k=0,1,\ldots,
833: \]
834: which holds since every in-forest with $k$ arcs has $n-k$ roots.
835: \qed
836: }
837:
838: Note that, by virtue of Propositions~\ref{char-L} and~\ref{MatCo}, the
839: recurrent application of (\ref{Fadd2}) and (\ref{Fadd1}) starting with
840: $Q\_0=I$ coincides with the Leverrier-Faddeev
841: algorithm~\cite{FaddeevFaddeeva59,Gantmacher66} applied to calculate
842: the characteristic polynomial of~$-L$.
843:
844: Consider now a few corollaries to Proposition~\ref{pro.allk}. First,
845: in what follows we will need a recurrence formula for the row stochastic
846: matrices $J_{k}.$ It is:
847: \beq
848: \label{j_k+1}
849: J_{k+1}=\frac{\si\_k}{\si\_{k+1}}(-L)J_{k}+I, \quad k=0\cdc n-\di-1.
850: \eeq
851:
852: Second, the matrices $L Q_{k}$ prevailing in Proposition~\ref{pro.allk}
853: have a noteworthy graph interpretation. Let $\G\_{k}$ be the {\em
854: digraph of in-forests with $k$ arcs\/} of $\G$, i.e., the digraph on
855: vertex set $V(\G\_{k})=V(\G)$ whose matrix of arc weights results from
856: $Q_{k}$ by putting zeros on the main diagonal. In other words,
857: $(i,j)\in E(\G\_k)$ whenever $j\ne i$ and $q_{ij}^k>0$; $q_{ij}^k$ is
858: the weight of such arc. Evidently, $\G\_1=\G.$
859:
860: \begin{prop}
861: \label{allmatrbek}
862: $L Q_{k}$ is the Laplacian matrix of\/~$\G\_{k+1},$
863: $k=0,1,\ldots.$
864: \end{prop}
865:
866: \propro{\ref{allmatrbek}}{ By Proposition~\ref{pro.allk},
867: $LQ_{k}=\si\_{k+1}\!I-Q\_{k+1},$ so the off-diagonal entries of
868: $LQ\_k$ coincide with those of $L(\G\_{k+1}).$ To complete the proof,
869: note that every row sum of $LQ\_k$ is zero, since every row sum of both
870: $\si\_{k+1}\!I$ and $Q\_{k+1}$ is~$\si\_{k+1}.$
871: \qed
872: }
873:
874: Finally, Proposition~\ref{pro.allk} provides a recurrent
875: formula for the Laplacian matrices $L\_{k}\!:=\!L(\G\_{k})$:
876: \[
877: L\_{k+1}=L\,\Bigl(-L\_k+\frac{\tr L\_k}{k}I\Bigr),\quad k=1,2,\ldots.
878: \]
879:
880: We are going to discuss the application of digraphs $\G\_k$ to the
881: analysis of $\G$ elsewhere.
882:
883:
884: \def\baselinestretch{1.08}
885:
886:
887: \section{Forest matrices as polynomials in the Laplacian\\ matrix}
888: \label{s_rela}
889:
890: It follows from Proposition~\ref{pro.allk} that the forest matrices
891: $Q\_{k},$ $Q,$ and $Q(\tau)$ are polynomials in~$L.$ As a corollary,
892: the powers of $L$ are linear combinations of $Q\_0\cdc Q\_{n-\di}.$
893:
894: First, it is straightforward to prove
895: \def\nesk{\vspace{-1.1ex}}
896: \nesk
897:
898: \begin{prop}
899: \label{teo.allk}
900: ${\displaystyle Q\_{k}=\suml_{i=0}^k\si\_{k-i}(-L)^i,\;\;\; k=0,1,\ldots.}$
901: \end{prop}
902: \nesk
903:
904: These expressions are closely related to the characteristic polynomial
905: of~$-L$ (\ref{p(la)}) which, by Proposition~\ref{char-L}, can be
906: represented as
907: $
908: \f(\la)=(...((\si\_0\la+\si\_1)\la+\si\_2)\la+\ldots+\si\_{n-1})\la+\si\_n.
909: $
910: To find $\f(\la),$ one can successively calculate
911: $\f\_0(\la)=\si\_0,$
912: $\f\_1(\la)=\si\_0\la+\si\_1,$
913: $\f\_2(\la)=(\si\_0\la+\si\_1)\la+\si\_2\cdc$
914: $\f\_n(\la)=\f(\la).$
915: It is easily seen now that $Q\_k=\f\_k(-L),$ $k=0\cdc n.$
916: \vspace{-.7ex}
917:
918: \begin{cor}
919: \label{cor_comm}
920: {The matrices $Q\_k,$ $k=0,1,\ldots,$ commute with all matrices with
921: which $L$ commutes$,$ in particular$,$ with $L,$ $Q(\tau),$ and each
922: other.
923: }
924: \end{cor}
925: \vspace{-.7ex}
926:
927: By Theorems~\ref{mft0} and~\ref{mft0}$',$ $Q=\adj(I+L)$ and
928: $Q(\tau)=\adj(I+\tau L).$ Proposition~\ref{teo.allk}, (\ref{Q}),
929: and (\ref{Qtau}) provide a polynomial form of $Q$ and $Q(\tau).$
930:
931: \label{Sec_Poli}
932: \begin{prop}
933: \label{Qexpan}
934: \beqq
935: Q
936: &\!=&\!\suml_{k=0}^{n-\di}s\_{n-\di-k}(-L)^k
937: =\adj(I+L),
938: \cr
939: \label{iden3}
940: Q(\tau)
941: &\!=&\!\suml_{k=0}^{n-\di}s\_{n-\di-k}(\tau)\,(-\tau L)^k
942: =\adj(I+\tau L),
943: \eeqq
944: where $s\_i$ and $s\_i(\tau)$ are defined in\/ $(\ref{sk})$
945: and\/~$(\ref{sktau}).$
946: \end{prop}
947:
948: By (\ref{adjexp}), $\adj(\la I+L)=\la^{n-1}Q(\tau),$ where $\la\ne0$
949: and $\tau=1/\la.$ Combining this with (\ref{iden3}) and (\ref{sktau}),
950: we obtain
951: \nesk\vspace{-.7ex}
952:
953: \begin{cor}
954: \label{dualadj}
955: ${\displaystyle
956: \adj(\la I+L)
957: =\suml_{k=0}^{n-d}s'_{n-d-k}(\la)\,(-L/\la)^k,
958: }$\\
959: where
960: $s'_i(\la)=\sum_{j=0}^i\si\_j\la^{n-j-1},\;\;i=\0n-\di,$ and\/ $\la\ne0.$
961: \end{cor}
962: \vspace{-.9ex}
963:
964: Corollary~\ref{dualadj} and Proposition~\ref{MatCo} can be considered
965: as dual representations of $\adj(\la I+L)$.
966:
967: It follows from Proposition~\ref{teo.allk} that the powers of $L$
968: are linear combinations of $Q\_0\cdc Q\_{n-\di},$
969: but the coefficients are more complicated than before.
970:
971: \begin{prop}
972: \label{pro-combi}
973: For $m=0,1,\ldots,\;\;$
974: ${\displaystyle(-L)^m=\suml_{k=0}^m\a\_kQ\_{m-k}}$ holds$,$ where
975: $\a\_0=1,$
976: \beq
977: \label{e_combi}
978: \a\_k
979: =\suml_{(p\_1\cdc p\_k):\;\sum ip\_i=k}
980: (-1)^{\sum p\_i}
981: \frac{\bigl(\sum p\_i\bigr)!}{\prod\bigl(p\_i!\bigr)}
982: \prod\si_i^{p\_i},\quad k=1\cdc m,
983: \eeq
984: $p\_i$ are nonnegative integers$,$ and all sums and products in
985: $(\ref{e_combi}),$ except for the first sum$,$ range from $i=1$ to~$k.$
986: \end{prop}
987:
988: A nice property of these linear combinations is that the coefficients
989: $\a\_k$ do not depend on $m$ (similarly to Proposition~\ref{teo.allk}).
990: For instance,
991: \[
992: L\;\,= -(Q\_1-\si\_1I),
993: \]\vspace{-2.5ex}
994: \[
995: L^2=\quad\, Q\_2-\si\_1Q\_1-(\si\_2-\si_1^2)I,
996: \]\vspace{-2.5ex}
997: \[
998: L^3= -(Q\_3-\si\_1Q\_2-(\si\_2-\si_1^2)Q\_1-(\si\_3-2\si\_2\si\_1+\si_1^3)I),
999: \]\vspace{-2.5ex}
1000: \[
1001: L^4=\quad\, Q\_4-\si\_1Q\_3-(\si\_2-\si_1^2)Q\_2-(\si\_3-2\si\_2\si\_1+\si_1^3)Q\_1
1002: \]\vspace{-2.9ex}
1003: \[
1004: {\hspace{18em}}-(\si\_4-2\si\_3\si\_1-\si_2^2+3\si\_2\si_1^2-\si_1^4)I.
1005: \]
1006:
1007: \propro{\ref{pro-combi}}{
1008: We first prove, by induction on $m,$ the identity
1009: \beq
1010: \label{iden-L}
1011: (-L)^m=\suml_{k=0}^m\a'_kQ\_{m-k}
1012: \eeq
1013: with $\a'_0=1$ and
1014: \beq
1015: \label{alprim}
1016: \a'_k=\sum_{(\b(1)\cdc\b(n\_{\b})):\;
1017: \sum\b(i)=k}
1018: \prod\bigl(-\si\_{\b(i)}\bigr),\quad k=1\cdc m,
1019: \eeq
1020: where $\b(i)$ are positive integers, $n\_{\b}$ is the variable number
1021: of entries in $(\b(1)\cdc\b(n\_{\b})),$ and the unmarked sum and
1022: product range from $i=1$ to ${n\_{\b}}$.
1023:
1024: For the basis of induction, observe that $(-L)^0=I=\a'_0Q\_0.$ Let
1025: (\ref{iden-L})--(\ref{alprim}) be valid for $(-L)^0\cdc(-L)^{m-1}$. By
1026: Proposition~\ref{teo.allk},
1027: \beq
1028: \label{passa}
1029: (-L)^{m}=\a'_0Q\_{m}-\suml_{i=0}^{m-1}\si\_{m-i}(-L)^{i}.
1030: \eeq
1031: Substituting (\ref{iden-L}) in the right-hand side of
1032: (\ref{passa})
1033: and interchanging the two sums we obtain:
1034: \[
1035: (-L)^{m}
1036: =\a'_0Q\_{m}+\suml_{k=1}^m\a_{k}^{(m)}Q\_{m-k},
1037: \]
1038: where
1039: \[
1040: \a_{k}^{(m)}=\suml_{i=1}^{k}(-\si\_i)\a'_{k-i},\quad k=1\cdc m.
1041: \]
1042: It is easily seen that $\a_{k}^{(m)}=\a'_{k},\;$ $k=1\cdc m,$
1043: thereby the induction step has succeeded.
1044:
1045: Next, for an arbitrary positive integer $k,$ consider any vector
1046: $(\b(1)\cdc\b(n\_{\b}))$ with positive integer entries such that
1047: $\sum_{i=1}^{n\_{\b}}\b(i)=k$ (see~(\ref{alprim})).
1048: Let $p\_j=\abs{\{i:\b(i)=j\}},$ $j=1\cdc k.$
1049: Classifying the set of vectors $(\b(1)\cdc\b(n\_{\b}))$ such that
1050: $\sum\b(i)=k$ by the equality of the corresponding vectors
1051: $(p\_1\cdc p\_k),$ we see that every such a class contains
1052: ${\bigl(\sum p\_i\bigr)!}/{\prod\bigl(p\_i!\bigr)}$ members.
1053: This implies that $\a\_k=\a'_k,\;$ $k=0,1,\ldots,$ (cf.\ (\ref{e_combi})
1054: and~(\ref{alprim})) and thus, completes the proof.
1055: %%%\qed
1056: }
1057:
1058: \def\baselinestretch{1.19}
1059: \section{The matrix of maximum in-forests}
1060: \label{s_maxi}
1061:
1062: In this section, we study some properties of the normalized matrix
1063: $\J=J\_{n-\di}$ of maximum in-forests. Let $\mu\_{\la}(A)$ stand for the
1064: multiplicity of $\la$ as the eigenvalue of a square matrix~$A.$
1065:
1066: \begin{prop}
1067: \label{LJ=0}
1068: {\rm (i)} ${\displaystyle L\J=\J L=LQ\_{n-\di}=Q\_{n-\di}L=0;}$\\
1069: {\rm (ii)} ${\displaystyle \J J\_k=J\_k\J=\J,\;\; k=\0n-\di;}$\\
1070: {\rm (iii)} ${\displaystyle \J\mbox{\ is a projection$:$\ } \J^2=\J;}$\\
1071: {\rm (iv)} ${\displaystyle \rank \J=\mu\_1(\J)=\tr \J=\di;\;\;
1072: \mu\_0(\J)=n-\di.}$
1073:
1074: \end{prop}
1075:
1076: \propro{\ref{LJ=0}}{
1077: (i) Putting $k=n-\di$ in (\ref{Fadd1}) and using the facts
1078: that $Q\_{n-d+1}=0$ and $\si\_{n-d+1}=0,$ we get $LQ\_{n-\di}=0.$ The
1079: other identities follow from Corollary~\ref{cor_comm} and~(\ref{Jk}).
1080:
1081: (ii) Multiplying (\ref{j_k+1}) by $\J$ and using item~(i) and
1082: Corollary~\ref{cor_comm}, we get the required statement, whose special
1083: case is~(iii).
1084:
1085: (iv) Each maximum in-forest of $\G$ has $\di$ roots, hence
1086: $\tr Q\_{n-\di}=\di\,\si_{n-\di}$ and
1087: $\tr \J=\tr(\si_{n-\di}^{-1}Q\_{n-\di})=\di.$ Since $\J$ is
1088: idempotent, $\rank \J=\mu\_1(\J)=\tr \J,$ so $\mu\_0(\J)=n-\di.$
1089: \qed
1090: }
1091: \smallskip
1092:
1093: The following connection between the spectra of $L$ and
1094: $L+\aa\J,\,$ $\aa\in\C,$ will be used in the sequel.
1095:
1096: \begin{prop}
1097: \label{L+J}
1098: {\rm (i)}
1099: The spectrum of $L+\aa\J$ consists of all nonzero eigenvalues of $L$
1100: with their multiplicities and $\aa$ with $\mu\_{\aa}(L+\aa\J)=\di.$
1101: {\rm (ii)}
1102: $L+\aa\J$ is nonsingular whenever $\aa\ne0.$
1103: \end{prop}
1104:
1105: \propro{\ref{L+J}}{
1106: (i)
1107: Let $p(\la)=\si_{n-\di}^{-1}\,\sum_{i=0}^{n-\di}\si\_{n-\di-i}(-\la)^i.$
1108: By Proposition~\ref{teo.allk}, ${\J=\si_{n-\di}^{-1}Q\_{n-\di}=p(L),}$
1109: so $L+\aa\J=L+\aa p(L).$ Therefore, by
1110: \cite[Theorem~3 in Chapt.~4]{Gantmacher66}, all eigenvalues of
1111: $L+\aa\J$ are $\la'_i=\la\_i+\aa p(\la\_i),$ where $\la\_i,$ $i=\1n,$ are all
1112: eigenvalues of $L$ with their multiplicities.
1113: By (i)~of Proposition~\ref{LJ=0}, $L\J=0=Lp(L),$ whence $\la p(\la)$ is
1114: an annihilating polynomial for~$L.$ Therefore, for each $\la\_i,$ a
1115: nonzero eigenvalue of~$L,$ we have $p(\la\_i)=0,$ hence
1116: $\la'_i=\la\_i.$ Otherwise, if $\la\_i=0,$ then
1117: $\la'_i=\aa,$ since $p(0)=1$ by definition of~$p(\la)$. Finally, by
1118: Corollary~\ref{mult0}, $\mu\_0(L)=\di,$ thus $\mu\_{\aa}(L+\aa\J)=\di.$
1119: This implies~(ii).
1120: \qed
1121: }
1122:
1123: \label{qnc}
1124: \begin{prop}
1125: \label{Tl}
1126: $\displaystyle{\vj
1127: =\lim_{\tau\to\infty}J(\tau)
1128: =\lim_{\tau\to\infty} (I+\tau\,L)^{-1}.}$
1129: \end{prop}
1130:
1131: \propro{\ref{Tl}}{
1132: Using Theorem~\ref{mft0}$'$ and the definition (\ref{Jtau}) of
1133: $J(\tau),$ we have
1134: \beqq
1135: \lim_{\tau\to\infty} (I+\tau\,L)^{-1}
1136: &\!\!\!=&\!\!\!
1137: \lim_{\tau\to\infty}J(\tau)=
1138: \lim_{\tau\to\infty}\Bigl(\suml_{k=1}^{n-d}\si\_k\tau^k\Bigr)^{-1}
1139: \suml_{k=1}^{n-d} Q\_k\tau^k
1140: \cr
1141: &\!\!\!=&\!\!\!
1142: \lim_{\tau\to\infty}\Bigl(\suml_{k=1}^{n-d}\si\_k\tau^{k-n-d}\Bigr)^{-1}
1143: \suml_{k=1}^{n-d} Q\_k\tau^{k-n-d}
1144: =\si^{-1}_{n-d}Q\_{n-d}=\J.
1145: %%%\qed
1146: \nonumber
1147: \eeqq
1148: }
1149:
1150: \bigskip
1151: \def\baselinestretch{1.15}
1152: \section{$L$ and $\J$ as ``complementary'' linear transformations}
1153: \label{line}
1154:
1155: For a complex matrix $A$, let $\RR({A})$ and $\NN({A})$ denote its
1156: range and null space, respectively. Recall that the {\em index\/} of a
1157: square matrix $A,$ $\ind A,$ is
1158: the smallest nonnegative integer $k$ for which $\rank(A^{k+1})=\rank(A^k).$
1159: The {\em eigenprojection\footnote{The eigenprojections are also called {\em
1160: principal idempotents\/} \cite{Wedderburn34,Hartwig76}.}
1161: at\/ $0$ of $A$} \cite{Rothblum76a} or, for
1162: short, the {\em eigenprojection of $A$} \cite{Rothblum76} is the
1163: idempotent matrix $B$ such that $\RR(B)=\NN(A^{\nu})$ and
1164: ${\NN}(B)=\RR(A^{\nu}),$ where $\nu=\ind A.$ In other words,
1165: $B$ is the projection {\em on $\NN(A^{\nu})$ along
1166: $\RR(A^{\nu}).$}
1167: The eigenprojection is
1168: unique, because an idempotent matrix is uniquely determined by its
1169: range and null space (see, e.g.,
1170: \cite[p.~50]{Ben-IsraelGreville74}).\footnote{Note that for every
1171: $A\in\C^{n\!\times\!n}$ s.t.\ $\ind A=\nu$ and every idempotent matrix
1172: $B,$ each of the following conditions is equivalent
1173: to $B$ being the eigenprojection of~$A$:\\
1174: (i) $\RR(B) =\NN(A^{\nu})$ and
1175: $\RR(B^*)=\NN((A^*)^{\nu})$
1176: \cite{Rothblum76a};\\
1177: (ii) $A^{\nu}B=BA^{\nu}=0$ and
1178: $\rank A^{\nu}+\rank B=n$~\cite{Wei96,Zhang01}.\\
1179: (iii) $AB=BA$ and $A+\aa B$ is nonsingular for all $\aa\ne0$
1180: \cite{KolihaStraskraba99} %%%,Rothblum81LAA}%%%
1181: (cf.\ (ii) of Proposition~\ref{L+J});\\
1182: (iv) $AB=BA,$ $A+\aa B$ is nonsingular for some $\aa\ne0,$
1183: and $AB$ is nilpotent~\cite{KolihaStraskraba99};\\
1184: (v) $AB=BA,$ $AB$ is nilpotent, and $AU=I-B=VA$ for some
1185: $U,V\in\C^{n\!\times\!n}$ \cite{Harte84};\\
1186: (vi) $B$ commutes with all matrices commuting with $A,$
1187: $AB$ is nilpotent, and
1188: $B\ne0$ if $A$ is singular~\cite{Koliha01};\\
1189: Moreover, the eigenprojection of $A$ is $I-AA^D,$ where $A^D$ is the
1190: Drazin inverse of $A$ (see Section~\ref{pseudo2}).
1191: }
1192:
1193: Since $L\J=0$ (Proposition~\ref{LJ=0}), we have $\RLT\cap\RJ=\{{\bf
1194: 0}\},$ where $L^*=L^{\interca}.$
1195: Similarly, $\J L=0$ implies $\RJT\cap\RL=\{{\bf
1196: 0}\}.$ Consequently, by \cite[Theorem~11]{MarsagliaStyan74}, $L$ and
1197: $\J^*$ are {\em rank additive}, i.e., $\rank(L+\J^*)=\rank L+\rank \J^*.$
1198: Corollary~\ref{mult0} implies that $\rank L\ge n-\di,$ whereas, by
1199: Proposition~\ref{LJ=0}, $\rank \J^*=\di.$ Since $\rank(L+\J^*)\le n,$
1200: we have $\rank L=n-\di$ and $\rank(L+\J^*)=n.$
1201: Now $L\J=\J L=0$ implies $\NL=\RJ$ and $\NJ=\RL.$
1202: Furthermore, by Proposition~\ref{L+J}, $\rank(L+\J)=n,$ hence
1203: $L$ and $\J$ are rank additive. It follows now from
1204: \cite[Theorem~11]{MarsagliaStyan74} that $\RL\cap\RJ=\{{\bf 0}\}.$
1205: Since $\RJ=\NL,$ we get $\RL\cap\NL=\{{\bf 0}\},$ which, by
1206: \cite[p.~165]{Ben-IsraelGreville74}, implies $\ind L=1.$
1207: The latter fact together with $\RJ=\NL,$ $\NJ=\RL,$ and $\J^2=\J$ imply
1208: that $\J$ is the eigenprojection of~$L$ (alternatively, this follows
1209: from Proposition~\ref{Tl} and \cite[Theorem~3.1]{Meyer74}).
1210: We proved
1211: \begin{prop}
1212: \label{L+JT}
1213: {\rm(i)} $L+\J^*$ is nonsingular.\\
1214: {\rm(ii)} $\;\rank L=n-\rank \J=n-\di.$\\
1215: {\rm(iii)} $\NL=\RJ$ and\/ $\RL=\NJ.$\\
1216: {\rm(iv)} $\RL\cap\RJ=\{{\bf 0}\}.$\\
1217: {\rm(v)} $\;\ind L=1.$\\
1218: {\rm(vi)} $\J$ is the eigenprojection of~$L.$
1219: \end{prop}
1220:
1221: It is known \cite[p.~194]{Rothblum76a}, \cite[Theorem~7.a.3]{Rothblum81SIAM}
1222: that for every finite homogeneous Markov chain with a transition
1223: matrix~$P,$ the {\em long run transition matrix}
1224: $\Pin=\liml_{k\to\infty}\frac{1}{k}\,\suml_{t=0}^{k-1} P^t$ is the
1225: eigenprojection of $P$ at $1,$ which is
1226: the eigenprojection of $I-P.$\footnote{This also follows from Meyer's
1227: Theorem~2.2 in~\cite{Meyer75}. Indeed, by this theorem,
1228: $\Pin\!=\!I-(I-P)(I-P)^{\gri},$ where $(I-P)^{\gri}$ is the group
1229: inverse of $I-P,$ and the right-hand side is the eigenprojection of
1230: $I-P,$ as mentioned in the next section.} On the other hand, $I-P$ is
1231: exactly the Laplacian matrix $L$ of the weighted digraph without loops
1232: whose arc weights are equal to the corresponding transition
1233: probabilities. Therefore $\J,$ the eigenprojection of $L,$ coincides
1234: with~$\Pin.$ The fact that $\Pin$
1235: coincides with the normalized matrix of maximum in-forests of the
1236: digraph corresponding to a Markov chain is the so called {\em
1237: Markov chain tree theorem\/} \cite{LeightonRivest83,LeightonRivest86}.
1238: Thus, item (vi) of Proposition~\ref{L+JT} provides an immediate proof
1239: of this theorem.
1240:
1241: By virtue of Proposition~\ref{LJ=0}, every nonzero column of $\J$ (or
1242: $Q\_{n-\di}$) is an eigenvector of $L$ that corresponds to the zero
1243: eigenvalue. Moreover, it follows from $\NL=\RJ$
1244: (Proposition~\ref{L+JT}) that the nonzero columns of $\J$ span the null
1245: space of~$L$.
1246: Since, by (\ref{adjexp}), $Q(\tau)$ is proportional to $\adj(\la I-(-L))$
1247: at $\la=\tau^{-1},$ $Q(\tau)$ can be used to generate some eigenvectors
1248: of $L$ that correspond to its nonzero eigenvalues. For completeness, we
1249: give a proof of this fact.
1250:
1251: \begin{prop}
1252: \label{evect}
1253: Let $\la\_i\ne0$ be an eigenvalue of~$L.$ Then every nonzero column of
1254: $Q(-\la_i^{-1})$ is an eigenvector of $L$ that corresponds to~$\la\_i.$
1255: \end{prop}
1256:
1257: \propro{\ref{evect}}{
1258: Let $X=\la\_i\!I-L.$ Then $\det X=0$. Using Theorem~\ref{mft0}$'$ and
1259: the fact that for every square matrix $Y,\;$ $Y\adj Y=(\det Y)I$
1260: holds, we get
1261: \[
1262: (\la\_i\!I-L)\,Q(-\la_i^{-1})
1263: = X\adj(I-\la_i^{-1}L)
1264: =\la_i^{1-n}X\adj X
1265: =\la_i^{1-n}(\det X)I=0.
1266: \]
1267: This implies the desired statement.
1268: %%%\qed
1269: }
1270:
1271:
1272: \section{Forest matrices and generalized inverses of~$L$}
1273: \label{pseudo2}
1274:
1275: The {\it Moore-Penrose generalized inverse\/} $A^+$ of a
1276: rectangular complex matrix $A$ is the unique matrix $X$ such that
1277: \[
1278: AXA=A,\quad XAX=X,\quad (AX)^*=AX,\quad (XA)^*=XA.
1279: \]
1280:
1281: For an arbitrary square matrix $A,$ its {\em Drazin inverse},
1282: $A^D,$ is the unique matrix $X$ satisfying the equations
1283: \[
1284: A^{\nu+1}X=A^{\nu},\quad XAX=X,\quad AX=XA,
1285: \]
1286: where $\nu=\ind A.$
1287: If $\nu=0,$ then $A^D=A^{-1}$; if $\nu\le1,$ then $A^D$ is referred to
1288: as the {\em group inverse}, $A^{\gri},$ i.e., the unique matrix $X$
1289: such that
1290: \[
1291: AXA=A,\quad XAX=X,\quad AX=XA.
1292: \]
1293:
1294: As applied to the Laplacian matrices of graphs, the generalized
1295: inverses were considered in connection with the analysis of electrical
1296: networks (providing ``resistance distance''), Markov chains, and some
1297: preference aggregation problems (more specifically, estimation from
1298: paired comparisons), in constructing geometrical representations of graphs
1299: (with applications to chemistry, social networks, etc.), in control,
1300: cluster analysis, and parallel computing.
1301: There is a huge literature on generalized inverses within the last
1302: years. For multiple representations of
1303: the Drazin inverse, see, e.g.,~\cite{WeiWu00,ChenChen00,Chen01}.
1304:
1305: In this section, we present a few relations between the $\Lpr$ and
1306: the forest matrices and one representation for $L^+$. In the case
1307: of symmetric $L,$ where $\Lpr=L^+,$ some of these expressions are
1308: given in~\cite{CheSha98}.\footnote{For symmetric $L,$ interesting
1309: representations for $\Lpr=L^+$ were proposed in \cite{Fiedler95},
1310: \cite[Theorem~2.2]{KirklandNeumann97}, and, in case of weighted
1311: trees, in~\cite{KirklandNeumann97} and~\cite[Theorem~3]{Bapat97}.
1312: In~\cite[Theorem~3]{DruryStyan94} a combinatorial interpretation
1313: of the Campbell-Youla inverse (the symmetric generalized inverse
1314: with the zero diagonal) of~$L$ is given.}
1315:
1316: For an arbitrary square matrix $A,\,$ $AA^D$ is the unique projection
1317: on $\RR(A^{\nu})$ along $\NN(A^{\nu})$
1318: \cite[p.~173]{Ben-IsraelGreville74}. Then $I-AA^D$ is the projection
1319: on $\NN(A^{\nu})$ along $\RR(A^{\nu}).$
1320: Therefore, $I-AA^D$ is the eigenprojection of
1321: $A$~\cite{Rothblum76a,Rothblum76}. Combining this with items (v) and
1322: (iv) of Proposition~\ref{L+JT}, we obtain
1323:
1324: \begin{prop}
1325: \label{p_eig-proj}
1326: $\J=I-LL^{\gri}.$
1327: \end{prop}
1328:
1329: The fact that $\J$ is the eigenprojection of $L$ helps interpret, in
1330: terms of in-forests, the expressions of generalized inverses of $L$
1331: that involve the eigenprojection of~$L.$
1332:
1333: \begin{prop}
1334: \label{Lgroupinv}
1335: $\mathstrut$\\
1336: {\rm (i)}$\;$ For any $\aa\ne 0,\;$ $\Lpr=(L+\aa\vj)^{-1}-\aa^{-1}\vj,$
1337: whence $\Lpr=\liml_{\abs{\aa}\to\infty}(L+\aa\vj)^{-1}.$\\
1338: {\rm (ii)} For any $\aa\ne 0,\;$ $\Lpr=(L+\aa\vj)^{-1}(I-\vj)$.\\
1339: {\rm (iii)} $\displaystyle{\Lpr=\frac{\mathstrut\si_{n-\di-1}}{\si_{n-\di}}
1340: \left(J_{n-\di-1}-\q\right).}$\\
1341: {\rm (iv)} $\displaystyle{\Lpr
1342: =\liml_{\tau\to\infty}\tau\left(J(\tau)-\vj\right).}$
1343: \end{prop}
1344:
1345: {\bf Remarks on Proposition~\ref{Lgroupinv}.}
1346: (i), (iii), and (iv) were presented in~\cite{AgaChe01}.
1347: (i)~results by substituting $\J$ for the eigenprojection in the
1348: expression of group inverse employed
1349: in~\cite[p.~150]{MeyerStadelmaier78} (for its proof
1350: see~\cite[Theorem~4.2]{Rothblum81LAA}; related expressions appeared
1351: in \cite[Theorem~5.5]{Meyer75} and \cite[last line on
1352: p.~646]{Rothblum76}, where `$+$' must be replaced by `$-$').
1353: %
1354: (ii)~is obtained by the same substitution in the representation of
1355: Drazin inverse given in \cite{Koliha01} (the case with $\aa=1$ appeared
1356: in~\cite{Rothblum76}) or by multiplying (i) by $LL^{\gri}=I-\J.$
1357: %
1358: In view of Propositions~\ref{char-L} and~\ref{MatCo}, (iii) follows
1359: from the expression of Drazin inverse discovered independently by
1360: Hartwig~\cite[Eq.~(13)]{Hartwig76} and Gower~\cite[Theorem~1]{Gower80}.
1361: \medskip
1362:
1363: The matrices $L+\aa\J$ are the ``complementary
1364: perturbations''~\cite{MeyerStadelmaier78} of~$L.$ Matrices of this kind
1365: are important for the analysis of M-matrices and singular systems of
1366: equations. In particular, a matrix $A$ with eigenprojection $B$ and
1367: nonpositive off-diagonal entries is an M-matrix if and only if for some
1368: $c>0,\,$ $(A+\aa B)^{-1}$ is nonnegative when
1369: $\aa\in(0,c)$~\cite{MeyerStadelmaier78}. If $A$ is an M-matrix, then
1370: $(A+\aa B)^{-1},$ $\aa\in(0,c),$ make up a class of {\em nonnegative
1371: nonsingular commuting weak inverses\/} for
1372: $A$~\cite{MeyerStadelmaier78}. $(L+\aa\J)^{-1}$ can be represented as
1373: a linear combination of forest matrices using (i) and (iii) of
1374: Proposition~\ref{Lgroupinv}:
1375: \[
1376: (L+\aa\J)^{-1}
1377: =\frac{\si_{n-\di-1}}{\si_{n-\di}}\left(J_{n-\di-1}+\b\J\right),
1378: \]
1379: where $\b=\frac{\si_{n-\di}}{\aa\si_{n-\di-1}}-1.$ This throws some
1380: light on the nonnegativity of $(L+\aa\J)^{-1}$: if
1381: $\aa\in(0,\frac{\si_{n-\di}}{\si_{n-\di-1}})$ then $(L+\aa\J)^{-1}$ is
1382: a positive combination of $J_{n-\di-1}$ and $\J.$ Based on this, we
1383: termed $(L+\aa\J)^{-1}$ the {\em matrices of dense in-forests\/}
1384: of~$\G.$ These and the inverse ``uniform diagonal perturbations''
1385: $(L+\aa I)^{-1}$ can serve to measure proximity between digraph
1386: vertices~\cite{AgaChe01}. Note in this connection that by
1387: \cite[Corollary~4.4]{Rothblum81LAA}, $(L+\aa\J)^{-1}_{ij}>0$ for all
1388: $\aa>0$ sufficiently small if and only if vertex $j$ is accessible from
1389: $i$ in $\G,$ and the same is true for $(L+\aa I)^{-1}_{ij}.$ By
1390: Theorem~\ref{mft0}$',$ $(L+\aa I)^{-1}$ is proportional to $J(\tau)$
1391: with $\tau=1/\aa.$
1392:
1393: \medskip
1394:
1395: We conclude with one expression for the Moore-Penrose inverse of~$L.$
1396:
1397: Consider the matrix $Z\!:=L+\J^{*}$ which is nonsingular by
1398: Proposition~\ref{L+JT}. Using the identity $L\J=0$
1399: (Proposition~\ref{LJ=0}), we get
1400: $
1401: {(Z^{*})}^{-1}Z^{-1} =(ZZ^{*})^{-1}
1402: =(\J^{*}\!\!\vj+LL^{*})^{-1}.
1403: $
1404:
1405: \def\afterthmseparator{}
1406: \begin{prop}
1407: \label{pseudoor}
1408: {\rm \cite{AgaChe01}.}
1409: $L^+
1410: =L^{*}{(ZZ^{*})}^{-1}
1411: =L^{*}(\J^{*}\!\!\vj+L L^{*})^{-1}.$
1412: \end{prop}
1413: \def\afterthmseparator{.}
1414:
1415: One method to prove this is to check the conditions in
1416: the definition of Moore-Penrose inverse by direct computation using
1417: Proposition~\ref{LJ=0} and the
1418: facts that ${(ZZ^{*})}^{-1}$ commutes with $LL^{*}$ and
1419: $\J^{*}\!\!\vj$ and that
1420: $LL^{*}{(ZZ^{*})}^{-1}$ and
1421: $\J^{*}\!\!\vj{(ZZ^{*})}^{-1}$ are symmetric~\cite{AgaChe01}.
1422: Alternatively, Proposition~\ref{pseudoor} can be proved by
1423: employing the Penrose formula $A^+=A^*(AA^*)^+$, the fact that
1424: $(AA^*)^+=(AA^*)^{\gri}$ (since $AA^*$ is Hermitian) and an expression
1425: of $(AA^*)^{\gri}$ such as those given in (i) and (ii) of
1426: Proposition~\ref{Lgroupinv}.
1427:
1428:
1429: \section{A concluding remark}
1430:
1431: It is instructive to compare the ``Laplacian graph mathematics'' we
1432: touched upon in this paper with the corresponding results on the
1433: adjacency characteristic matrix, see, e.g., \cite[Sections 1.4, 1.9.1,
1434: 1.9.5 and others]{CvetkovicDoobSachs80} and the articles by Kasteleyn
1435: and Ponstein cited therein, \cite{Schwenk91}, and so on. This
1436: comparison suggests that the Laplacian mathematics is based on trees in
1437: the same sense as the ``adjacency graph mathematics'' is based on
1438: routes and circuits. We mean that a number of expressions related with
1439: the adjacency characteristic matrix can be interpreted in terms of
1440: routes and circuits, whereas the counterparts of these expressions
1441: related with the Laplacian characteristic matrix involve spanning
1442: forests for their interpretation.
1443: \vspace{-.9em}
1444:
1445:
1446: \section*{Acknowledgements}
1447:
1448: This work was supported in part by the Russian Foundation for Basic
1449: Research under grants 01--01--10732-z and 02--01--00614-a. The authors
1450: thank a referee for a careful reading of the paper and many thoughtful
1451: suggestions.
1452:
1453:
1454: {\small
1455: %\bibliographystyle{laa0}
1456: %\bibliography{c:/pavel/bibli/pavel/all2}
1457: \begin{thebibliography}{99}
1458: \bibitem{AgaChe00}
1459: R.~P. Agaev and P.~Y. Chebotarev, The matrix of maximum out forests
1460: of a digraph and its applications, {\it Automation and Remote Control\/}
1461: 61:1424--1450 (2000).
1462:
1463: \bibitem{AgaChe01}
1464: R.~P. Agaev and P.~Y. Chebotarev, Spanning forests of a digraph and their
1465: applications, {\it Automation and Remote Control\/} 62:443--466 (2001).
1466:
1467: \bibitem{Bapat97}
1468: R.~B. Bapat, {Moore}-{Penrose} inverse of the incidence matrix of a tree, {\it
1469: Linear and Multilinear Algebra\/} 42:159--167 (1997).
1470:
1471: \bibitem{BapatConstantine92}
1472: R.~B. Bapat and G.~Constantine, An enumerating function for spanning forests
1473: with color restrictions, {\it Linear Algebra and its Applications\/}
1474: 173:231--237 (1992).
1475:
1476: \bibitem{BapatGrossman99}
1477: R.~B. Bapat, J.~W. Grossman, and D.~M. Kulkarni, Generalized matrix tree
1478: theorem for mixed graphs, {\it Linear and Multilinear Algebra\/} 46:299--312
1479: (1999).
1480:
1481: \bibitem{Ben-IsraelGreville74}
1482: A.~Ben-Israel and T.~N.~E. Greville, {\it Generalized Inverses$:$ Theory and
1483: Applications\/}, Wiley, New York, 1974.
1484:
1485: \bibitem{BermanPlemmons79}
1486: A.~Berman and R.~Plemmons, {\it Nonnegative Matrices in the Mathematical
1487: Sciences\/}, Academic Press, New York, 1979.
1488:
1489: \bibitem{Biggs74}
1490: N.~Biggs, {\it Algebraic Graph Theory\/}, Cambridge University Press, 1974.
1491:
1492: \bibitem{Borchardt60}
1493: C.~W. Borchardt, Ueber eine der {Interpolation} entsprechende {Darstellung} der
1494: {Eliminations-Resultante}, {\it Journal f\"ur die reine und angewandte
1495: Mathematik\/} 57:111--121 (1860).
1496:
1497: \bibitem{Chaiken82}
1498: S.~Chaiken, A combinatorial proof of the all minors matrix tree theorem, {\it
1499: SIAM Journal on Algebraic and Discrete Methods\/} 3:319--329 (1982).
1500:
1501: \bibitem{ChaikenKleitman78}
1502: S.~Chaiken and D.~J. Kleitman, Matrix tree theorems, {\it Journal of
1503: Combinatorial Theory$,$ Series~A\/} 24:377--381 (1978).
1504:
1505: \bibitem{CheSha01}
1506: P.~Chebotarev and E.~Shamis, The forest metrics for graph vertices, {\it
1507: Electronic Notes in Discrete Mathematics\/} 11:98--107 (2002).
1508:
1509: \bibitem{CheSha95a}
1510: P.~Y. Chebotarev and E.~V. Shamis, Matrix-forest theorems, 1995, unpublished.
1511:
1512: \bibitem{CheSha95}
1513: P.~Y. Chebotarev and E.~V. Shamis, On the proximity measure for graph vertices
1514: provided by the inverse {Laplacian} characteristic matrix, in {\it 5th
1515: Conference of the International Linear Algebra Society\/}, 30--31, Georgia
1516: State University, Atlanta, 1995.
1517:
1518: \bibitem{CheSha97}
1519: P.~Y. Chebotarev and E.~V. Shamis, The matrix-forest theorem and measuring
1520: relations in small social groups, {\it Automation and Remote Control\/}
1521: 58:1505--1514 (1997).
1522:
1523: \bibitem{CheSha98}
1524: P.~Y. Chebotarev and E.~V. Shamis, On proximity measures for graph vertices,
1525: {\it Automation and Remote Control\/} 59:1443--1459 (1998).
1526:
1527: \bibitem{Chen76}
1528: W.~K. Chen, {\it Applied Graph Theory$,$ Graphs and Electrical Networks\/}, 2
1529: edn., North-Holland, Amsterdam, 1976.
1530:
1531: \bibitem{Chen01}
1532: Y.-L. Chen, Representation and approximation for the {Drazin} inverse
1533: ${A}^{(d)}$, {\it Applied Mathematics and Computation\/} 119:147--160 (2001).
1534:
1535: \bibitem{ChenChen00}
1536: Y.-L. Chen and X.~Chen, Representation and approximation of the outer inverse
1537: ${A}^{(2)}_{T,S}$ of a matrix~${A}$, {\it Linear Algebra and its
1538: Applications\/} 308:85--107 (2000).
1539:
1540: \bibitem{ChungLanglands96}
1541: F.~R.~K. Chung and R.~P. Langlands, A combinatorial {Laplacian} with vertex
1542: weights, {\it Journal of Combinatorial Theory$,$ Series~A\/} 75:316--327
1543: (1996).
1544:
1545: \bibitem{CvetkovicDoobSachs80}
1546: D.~M. Cvetkovi\'c, M.~Doob, and H.~Sachs, {\it Spectra of Graphs\/}, Academic
1547: Press, New York, 1980.
1548:
1549: \bibitem{DruryStyan94}
1550: S.~W. Drury, G.~P.~H. Styan, and G.~E. Subak-Sharpe, On spanning trees and
1551: terminal weight numbers, Report from the Department of Mathematics and
1552: Statistics 94-4, McGill University, Montreal, Quebec, Canada, 1994.
1553:
1554: \bibitem{FaddeevFaddeeva59}
1555: D.~K. Faddeev and V.~N. Faddeeva, {\it Numerical Methods in Linear Algebra\/},
1556: Dover, New York, 1959.
1557:
1558: \bibitem{Fiedler95}
1559: M.~Fiedler, Moore-{Penrose} involutions in the classes of {Laplacians} and
1560: simplices, {\it Linear and Multilinear Algebra\/} 39:171--178 (1995).
1561:
1562: \bibitem{FiedlerSedlacek58}
1563: M.~Fiedler and J.~Sedl\'{a}\v{c}ek, O ${W}$-bas\'{\i}ch orientovan\'{y}ch
1564: graf\r{u}, {\it \v{C}asopis P\v{e}st. Mat.\/} 83:214--225 (1958).
1565:
1566: \bibitem{Forman93}
1567: R.~Forman, Determinants of {Laplacians} on graphs, {\it Topology\/} 32:35--46
1568: (1993).
1569:
1570: \bibitem{Gantmacher66}
1571: F.~R. Gantmacher, {\it Teoriya Matrits\/}, 2 edn., Nauka, Moscow, 1966, [{i}n
1572: Russian] (The first edition translated as: {\em The Theory of Matrices},
1573: Vols. I and II, Chelsea, New York, 1959).
1574:
1575: \bibitem{GolenderDrboglav81}
1576: V.~E. Golender, V.~V. Drboglav, and A.~B. Rosenblit, Graph potentials method
1577: and its application for chemical information processing, {\it Journal of
1578: Chemical Information and Computer Sciences\/} 21:196--204 (1981).
1579:
1580: \bibitem{Gower80}
1581: J.~C. Gower, A modified {Leverrier}-{Faddeev} algorithm for matrices with
1582: multiple eigenvalues, {\it Linear Algebra and its Applications\/} 31:61--70
1583: (1980).
1584:
1585: \bibitem{Harary69}
1586: F.~Harary, {\it Graph Theory\/}, Addison-Wesley, Reading, Mass., 1969.
1587:
1588: \bibitem{Harte84}
1589: R.~E. Harte, Spectral projections, {\it Irish Mathematical Society
1590: Newsletter\/} 11:10--15 (1984).
1591:
1592: \bibitem{Hartwig76}
1593: R.~E. Hartwig, More on the {Souriau}-{Frame} algorithm and the {Drazin}
1594: inverse, {\it SIAM Journal on Applied Mathematics\/} 31:42--46 (1976).
1595:
1596: \bibitem{JonesPittel99}
1597: B.~D. Jones, B.~G. Pittel, and J.~S. Verducci, Tree and forest weights and
1598: their application to nonuniform random graphs, {\it The Annals of Applied
1599: Probability\/} 9:197--215 (1999).
1600:
1601: \bibitem{KelmansPakPostnikov99}
1602: A.~Kelmans, I.~Pak, and A.~Postnikov, Tree and forest volumes of graphs, Rutcor
1603: Research Report 47-99, Rutgers Center for Operations Research, Rutgers
1604: University, Piscataway, 1999.
1605:
1606: \bibitem{Kelmans6566E}
1607: A.~K. Kel'mans, The number of trees in a graph {I}, {II}, {\it Automation and
1608: Remote Control\/} 26:2118--2129 (1965) and 27:233--241 (1966).
1609:
1610: \bibitem{Kelmans67}
1611: A.~K. Kelmans, On the properties of the characteristic polynomial of a graph,
1612: in {\it Kibernetiku -- na sluzhbu kommunizmu $($Cybernetics Should Serve
1613: Communism$)$\/} (A.~I. Berg, Ed.), vol.~4, 27--41, Energiya,
1614: Moscow--Leningrad, 1967 [{in Russian}].
1615:
1616: \bibitem{KelmansChelnokov74}
1617: A.~K. Kelmans and V.~M. Chelnokov, A certain polynomial of a graph and graphs
1618: with an extremal number of trees, {\it Journal of Combinatorial Theory$,$
1619: Series~B\/} 16:197--214 (1974).
1620:
1621: \bibitem{KirklandNeumann99b}
1622: S.~J. Kirkland and M.~Neumann, On group inverses of {M}-matrices with uniform
1623: diagonal entries, {\it Linear Algebra and its Applications\/} 296:153--170
1624: (1999).
1625:
1626: \bibitem{KirklandNeumann97}
1627: S.~J. Kirkland, M.~Neumann, and B.~L. Shader, Distances in weighted trees and
1628: group inverse of {Laplacian} matrices, {\it SIAM Journal on Matrix Analysis
1629: and Applications\/} 18:827--841 (1997).
1630:
1631: \bibitem{Koliha01}
1632: J.~J. Koliha, Block diagonalization, {\it Mathematica Bohemica\/} 126:237--246
1633: (2001).
1634:
1635: \bibitem{KolihaStraskraba99}
1636: J.~J. Koliha and I.~Stra\v{s}kraba, Power bounded and exponentially bounded
1637: matrices, {\it Applications of Mathematics\/} 44:289--308 (1999).
1638:
1639: \bibitem{LeightonRivest83}
1640: T.~Leighton and R.~L. Rivest, The {Markov} chain tree theorem, Computer Science
1641: Technical Report MIT/LCS/TM-249, Laboratory of Computer Science, MIT,
1642: Cambridge, Mass., 1983.
1643:
1644: \bibitem{LeightonRivest86}
1645: T.~Leighton and R.~L. Rivest, Estimating a probability using finite memory,
1646: {\it IEEE Transactions on Information Theory\/} 32:733--742 (1986).
1647:
1648: \bibitem{MarsagliaStyan74}
1649: G.~Marsaglia and G.~P.~H. Styan, Equalities and inequalities for ranks of
1650: matrices, {\it Linear and Multilinear Algebra\/} 2:269--292 (1974).
1651:
1652: \bibitem{MaybeeOlesky89}
1653: J.~S. Maybee, D.~D. Olesky, P.~van~den Drissche, and G.~Wiener, Matrices,
1654: digraphs, and determinants, {\it SIAM Journal on Matrix Analysis and
1655: Applications\/} 10:500--519 (1989).
1656:
1657: \bibitem{Merris97}
1658: R.~Merris, Doubly stochastic graph matrices, {\it Univ. Beograd. Publ.
1659: Electrotechn. Fak., Ser. Mat.\/} 8:64--71 (1997).
1660:
1661: \bibitem{Merris98}
1662: R.~Merris, Doubly stochastic graph matrices {II}, {\it Linear and Multilinear
1663: Algebra\/} 45:275--285 (1998).
1664:
1665: \bibitem{Meyer74}
1666: C.~D. Meyer{,}~Jr., Limits and the index of a square matrix, {\it SIAM Journal
1667: on Applied Mathematics\/} 26:469--478 (1974).
1668:
1669: \bibitem{Meyer75}
1670: C.~D. Meyer{,}~Jr., The role of the group generalized inverse in the theory of
1671: finite {Markov} chains, {\it SIAM Review\/} 17:443--464 (1975).
1672:
1673: \bibitem{MeyerStadelmaier78}
1674: C.~D. Meyer{,}~Jr. and M.~W. Stadelmaier, Singular {M}-matrices and inverse
1675: positivity, {\it Linear Algebra and its Applications\/} 22:139--156 (1978).
1676:
1677: \bibitem{Minoux99}
1678: M.~Minoux, A generalization of the all minors matrix tree theorem to semirings,
1679: {\it Discrete Mathematics\/} 199:139--150 (1999).
1680:
1681: \bibitem{Moon70}
1682: J.~W. Moon, {\it Counting Labelled Trees\/}, Canadian Mathematical Congress,
1683: Montreal, 1970.
1684:
1685: \bibitem{Moon94}
1686: J.~W. Moon, Some determinant expansions and the matrix-tree theorem, {\it
1687: Discrete Mathematics\/} 124:163--171 (1994).
1688:
1689: \bibitem{Myrvold92}
1690: W.~Myrvold, Counting $k$-component forests of a graph, {\it Networks\/}
1691: 22:647--652 (1992).
1692:
1693: \bibitem{Percival53}
1694: W.~S. Percival, The solution of passive electrical networks by means of
1695: mathematical trees, {\it Proceedings of the Institute of Electrical
1696: Engineers\/} 100:143--150 (1953).
1697:
1698: \bibitem{ProppWilson98}
1699: J.~G. Propp and D.~B. Wilson, How to get a perfectly random sample from a
1700: generic {Markov} chain and generate a random spanning tree of a directed
1701: graph, {\it Journal of Algorithms\/} 27:170--217 (1998).
1702:
1703: \bibitem{Rothblum76a}
1704: U.~G. Rothblum, Computation of the eigenprojection of a nonnegative matrix at
1705: its spectral radius, {\it Mathematical Programming Study\/} 6:188--201
1706: (1976).
1707:
1708: \bibitem{Rothblum76}
1709: U.~G. Rothblum, A representation of the {Drazin} inverse and characterizations
1710: of the index, {\it SIAM Journal on Applied Mathematics\/} 31:646--648 (1976).
1711:
1712: \bibitem{Rothblum81SIAM}
1713: U.~G. Rothblum, Expansions of sums of matrix powers, {\it SIAM Review\/}
1714: 23:143--164 (1981).
1715:
1716: \bibitem{Rothblum81LAA}
1717: U.~G. Rothblum, Resolvent expansions of matrices and applications, {\it Linear
1718: Algebra and its Applications\/} 38:33--49 (1981).
1719:
1720: \bibitem{Schwenk91}
1721: A.~J. Schwenk, The adjoint of the characteristic matrix of a graph, {\it
1722: Journal of Combinatorics$,$ Information \& System Sciences\/} 16:87--92
1723: (1991).
1724:
1725: \bibitem{Sha94}
1726: E.~V. Shamis, Graph-theoretic interpretation of the generalized row sum method,
1727: {\it Mathematical Social Sciences\/} 27:321--333 (1994).
1728:
1729: \bibitem{Sylvester57}
1730: J.~J. Sylvester, On the change of systems of independent variables, {\it
1731: Quarterly Journal of Pure and Applied Mathematics\/} 1:42--56 (1857),
1732: reprinted in {\em Collected Math. Papers}, Cambridge, 2:65--85 (1908).
1733:
1734: \bibitem{Tutte48}
1735: W.~T. Tutte, The dissection of equilateral triangles into equilateral
1736: triangles, {\it Proceedings of the Cambridge Philosophical Society\/}
1737: 44:463--482 (1948).
1738:
1739: \bibitem{Tutte84}
1740: W.~T. Tutte, {\it Graph Theory\/}, Addison-Wesley, Reading, MA, 1984.
1741:
1742: \bibitem{Wedderburn34}
1743: J.~H.~M. Wedderburn, {\it Lectures on Matrices\/}, vol.~17 of {\it Colloquium
1744: Publications\/}, American Mathematical Society, Providence, RI, 1934.
1745:
1746: \bibitem{Wei96}
1747: Y.~Wei, A characterization and representation of the {Drazin} inverse, {\it
1748: SIAM Journal on Matrix Analysis and Applications\/} 17:744--747 (1996).
1749:
1750: \bibitem{WeiWu00}
1751: Y.~Wei and H.~Wu, The representation and approximation for {Drazin} inverse,
1752: {\it Journal of Computational and Applied Mathematics\/} 126:417--432 (2000).
1753:
1754: \bibitem{Zhang01}
1755: L.~Zhang, A characterization of the {Drazin} inverse, {\it Linear Algebra and
1756: its Applications\/} 335:183--188 (2001).
1757:
1758:
1759: \end{thebibliography}
1760: }
1761: \end{document}
1762: