A simple upper bound on largest laplacian eigenvalue of a connected graph
$begingroup$
I need a simple upper bound on the $lambda_1$ the largest Laplacian eigenvalue of $G$ (aka $L(G)$ matrix). $G$ is a connected weighted graph without any loop or multiple edges. I've search the literature and found some paper regarding this. For example:
$$
lambda_1 leq max_{i~j} left{lambda_1 (sum_{k:ksim i}w_{ik}) + sum_{k:ksim j}lambda_1(w_{jk}) right}
$$
which $w_{ij}$ is the weight between the node $i$ and $j$. Also it's been assumed that the laplacian eigenvalues are ordered as $lambda_1 geq ldots geq lambda_n = 0$. The literature is focused on giving thigher bounds while I need more simpler ones. Tightness is a good point but second priority.
- Weight in $G$ are all positive and between 0 and 1 i.e ($a_{ij} in [0,1]$)
- Being simpler in term of mathematical complexity and less dependency to various variables is far more important than tightness.
- Simpler also means have less computational complexity to be implemented. For example $lambda_1 underset{?}{leq} 2Delta$ which $Delta$ is the largest $G$'s degree is considered simple (let's suppose it's correct).
graph-theory eigenvalues-eigenvectors spectral-graph-theory
$endgroup$
add a comment |
$begingroup$
I need a simple upper bound on the $lambda_1$ the largest Laplacian eigenvalue of $G$ (aka $L(G)$ matrix). $G$ is a connected weighted graph without any loop or multiple edges. I've search the literature and found some paper regarding this. For example:
$$
lambda_1 leq max_{i~j} left{lambda_1 (sum_{k:ksim i}w_{ik}) + sum_{k:ksim j}lambda_1(w_{jk}) right}
$$
which $w_{ij}$ is the weight between the node $i$ and $j$. Also it's been assumed that the laplacian eigenvalues are ordered as $lambda_1 geq ldots geq lambda_n = 0$. The literature is focused on giving thigher bounds while I need more simpler ones. Tightness is a good point but second priority.
- Weight in $G$ are all positive and between 0 and 1 i.e ($a_{ij} in [0,1]$)
- Being simpler in term of mathematical complexity and less dependency to various variables is far more important than tightness.
- Simpler also means have less computational complexity to be implemented. For example $lambda_1 underset{?}{leq} 2Delta$ which $Delta$ is the largest $G$'s degree is considered simple (let's suppose it's correct).
graph-theory eigenvalues-eigenvectors spectral-graph-theory
$endgroup$
$begingroup$
if you apply Gershgorin circle theorem to the Laplacian matrix, you find all eigenvalues are lying inside the disc $| lambda - Lambda| le Lambda$.
$endgroup$
– achille hui
Sep 21 '17 at 10:48
$begingroup$
@achillehui, I checked it. It seems a general bound based on LA. But I don't think if it would be any simpler that the above in term of complexity. I've to first find the $R_i$ for each row of $L(G)$ then compute the Gershgorin disk around $a_{ii}$ i.e. $D(a_{ii}, R_i)$ and then find the maximum. However reading wikipeida I couldn't figure it out what $D(a_{ii}, R_i)$ means. Should I sum up all entries within the disc? or just consider the maximum member of disc? From the proof I deduce that I might be able to write $lambda leq |a_{ii}|+R_i$.
$endgroup$
– PiTao
Sep 21 '17 at 11:54
$begingroup$
$D(a_{ii},R_i)$ is the disc centered at $a_{ii}$ ( the $i^{th}$ diagonal element = degree of vertex $v_{i}$ ) with radius $R_i$ (the sum of absolute values of off-diagonal elements of $i^{th}$ row, which again equals to the degree of vertex $v_i$) (assume all weights = 1).
$endgroup$
– achille hui
Sep 21 '17 at 12:33
$begingroup$
@achillehui, seems promising. Please rewrite your comment as an answer to make it accepted. One simple bound is $tr(L)$, but this is tighter and not that complex.
$endgroup$
– PiTao
Sep 22 '17 at 19:17
add a comment |
$begingroup$
I need a simple upper bound on the $lambda_1$ the largest Laplacian eigenvalue of $G$ (aka $L(G)$ matrix). $G$ is a connected weighted graph without any loop or multiple edges. I've search the literature and found some paper regarding this. For example:
$$
lambda_1 leq max_{i~j} left{lambda_1 (sum_{k:ksim i}w_{ik}) + sum_{k:ksim j}lambda_1(w_{jk}) right}
$$
which $w_{ij}$ is the weight between the node $i$ and $j$. Also it's been assumed that the laplacian eigenvalues are ordered as $lambda_1 geq ldots geq lambda_n = 0$. The literature is focused on giving thigher bounds while I need more simpler ones. Tightness is a good point but second priority.
- Weight in $G$ are all positive and between 0 and 1 i.e ($a_{ij} in [0,1]$)
- Being simpler in term of mathematical complexity and less dependency to various variables is far more important than tightness.
- Simpler also means have less computational complexity to be implemented. For example $lambda_1 underset{?}{leq} 2Delta$ which $Delta$ is the largest $G$'s degree is considered simple (let's suppose it's correct).
graph-theory eigenvalues-eigenvectors spectral-graph-theory
$endgroup$
I need a simple upper bound on the $lambda_1$ the largest Laplacian eigenvalue of $G$ (aka $L(G)$ matrix). $G$ is a connected weighted graph without any loop or multiple edges. I've search the literature and found some paper regarding this. For example:
$$
lambda_1 leq max_{i~j} left{lambda_1 (sum_{k:ksim i}w_{ik}) + sum_{k:ksim j}lambda_1(w_{jk}) right}
$$
which $w_{ij}$ is the weight between the node $i$ and $j$. Also it's been assumed that the laplacian eigenvalues are ordered as $lambda_1 geq ldots geq lambda_n = 0$. The literature is focused on giving thigher bounds while I need more simpler ones. Tightness is a good point but second priority.
- Weight in $G$ are all positive and between 0 and 1 i.e ($a_{ij} in [0,1]$)
- Being simpler in term of mathematical complexity and less dependency to various variables is far more important than tightness.
- Simpler also means have less computational complexity to be implemented. For example $lambda_1 underset{?}{leq} 2Delta$ which $Delta$ is the largest $G$'s degree is considered simple (let's suppose it's correct).
graph-theory eigenvalues-eigenvectors spectral-graph-theory
graph-theory eigenvalues-eigenvectors spectral-graph-theory
edited Sep 21 '17 at 10:36
PiTao
asked Sep 21 '17 at 10:31
PiTaoPiTao
84
84
$begingroup$
if you apply Gershgorin circle theorem to the Laplacian matrix, you find all eigenvalues are lying inside the disc $| lambda - Lambda| le Lambda$.
$endgroup$
– achille hui
Sep 21 '17 at 10:48
$begingroup$
@achillehui, I checked it. It seems a general bound based on LA. But I don't think if it would be any simpler that the above in term of complexity. I've to first find the $R_i$ for each row of $L(G)$ then compute the Gershgorin disk around $a_{ii}$ i.e. $D(a_{ii}, R_i)$ and then find the maximum. However reading wikipeida I couldn't figure it out what $D(a_{ii}, R_i)$ means. Should I sum up all entries within the disc? or just consider the maximum member of disc? From the proof I deduce that I might be able to write $lambda leq |a_{ii}|+R_i$.
$endgroup$
– PiTao
Sep 21 '17 at 11:54
$begingroup$
$D(a_{ii},R_i)$ is the disc centered at $a_{ii}$ ( the $i^{th}$ diagonal element = degree of vertex $v_{i}$ ) with radius $R_i$ (the sum of absolute values of off-diagonal elements of $i^{th}$ row, which again equals to the degree of vertex $v_i$) (assume all weights = 1).
$endgroup$
– achille hui
Sep 21 '17 at 12:33
$begingroup$
@achillehui, seems promising. Please rewrite your comment as an answer to make it accepted. One simple bound is $tr(L)$, but this is tighter and not that complex.
$endgroup$
– PiTao
Sep 22 '17 at 19:17
add a comment |
$begingroup$
if you apply Gershgorin circle theorem to the Laplacian matrix, you find all eigenvalues are lying inside the disc $| lambda - Lambda| le Lambda$.
$endgroup$
– achille hui
Sep 21 '17 at 10:48
$begingroup$
@achillehui, I checked it. It seems a general bound based on LA. But I don't think if it would be any simpler that the above in term of complexity. I've to first find the $R_i$ for each row of $L(G)$ then compute the Gershgorin disk around $a_{ii}$ i.e. $D(a_{ii}, R_i)$ and then find the maximum. However reading wikipeida I couldn't figure it out what $D(a_{ii}, R_i)$ means. Should I sum up all entries within the disc? or just consider the maximum member of disc? From the proof I deduce that I might be able to write $lambda leq |a_{ii}|+R_i$.
$endgroup$
– PiTao
Sep 21 '17 at 11:54
$begingroup$
$D(a_{ii},R_i)$ is the disc centered at $a_{ii}$ ( the $i^{th}$ diagonal element = degree of vertex $v_{i}$ ) with radius $R_i$ (the sum of absolute values of off-diagonal elements of $i^{th}$ row, which again equals to the degree of vertex $v_i$) (assume all weights = 1).
$endgroup$
– achille hui
Sep 21 '17 at 12:33
$begingroup$
@achillehui, seems promising. Please rewrite your comment as an answer to make it accepted. One simple bound is $tr(L)$, but this is tighter and not that complex.
$endgroup$
– PiTao
Sep 22 '17 at 19:17
$begingroup$
if you apply Gershgorin circle theorem to the Laplacian matrix, you find all eigenvalues are lying inside the disc $| lambda - Lambda| le Lambda$.
$endgroup$
– achille hui
Sep 21 '17 at 10:48
$begingroup$
if you apply Gershgorin circle theorem to the Laplacian matrix, you find all eigenvalues are lying inside the disc $| lambda - Lambda| le Lambda$.
$endgroup$
– achille hui
Sep 21 '17 at 10:48
$begingroup$
@achillehui, I checked it. It seems a general bound based on LA. But I don't think if it would be any simpler that the above in term of complexity. I've to first find the $R_i$ for each row of $L(G)$ then compute the Gershgorin disk around $a_{ii}$ i.e. $D(a_{ii}, R_i)$ and then find the maximum. However reading wikipeida I couldn't figure it out what $D(a_{ii}, R_i)$ means. Should I sum up all entries within the disc? or just consider the maximum member of disc? From the proof I deduce that I might be able to write $lambda leq |a_{ii}|+R_i$.
$endgroup$
– PiTao
Sep 21 '17 at 11:54
$begingroup$
@achillehui, I checked it. It seems a general bound based on LA. But I don't think if it would be any simpler that the above in term of complexity. I've to first find the $R_i$ for each row of $L(G)$ then compute the Gershgorin disk around $a_{ii}$ i.e. $D(a_{ii}, R_i)$ and then find the maximum. However reading wikipeida I couldn't figure it out what $D(a_{ii}, R_i)$ means. Should I sum up all entries within the disc? or just consider the maximum member of disc? From the proof I deduce that I might be able to write $lambda leq |a_{ii}|+R_i$.
$endgroup$
– PiTao
Sep 21 '17 at 11:54
$begingroup$
$D(a_{ii},R_i)$ is the disc centered at $a_{ii}$ ( the $i^{th}$ diagonal element = degree of vertex $v_{i}$ ) with radius $R_i$ (the sum of absolute values of off-diagonal elements of $i^{th}$ row, which again equals to the degree of vertex $v_i$) (assume all weights = 1).
$endgroup$
– achille hui
Sep 21 '17 at 12:33
$begingroup$
$D(a_{ii},R_i)$ is the disc centered at $a_{ii}$ ( the $i^{th}$ diagonal element = degree of vertex $v_{i}$ ) with radius $R_i$ (the sum of absolute values of off-diagonal elements of $i^{th}$ row, which again equals to the degree of vertex $v_i$) (assume all weights = 1).
$endgroup$
– achille hui
Sep 21 '17 at 12:33
$begingroup$
@achillehui, seems promising. Please rewrite your comment as an answer to make it accepted. One simple bound is $tr(L)$, but this is tighter and not that complex.
$endgroup$
– PiTao
Sep 22 '17 at 19:17
$begingroup$
@achillehui, seems promising. Please rewrite your comment as an answer to make it accepted. One simple bound is $tr(L)$, but this is tighter and not that complex.
$endgroup$
– PiTao
Sep 22 '17 at 19:17
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Given a graph $G$ with vertices $v_1, ldots, v_n$ and a set of weights $w_{ij} = w_{ji} in [0,1]$ assigned to edges $v_i v_j$.
The Laplacian matrix $L(G ; w)$ is defined by the formula:
$$L(G ; w)_{ij} = begin{cases}
a_i, & i = j\
-w_{ij},& i sim j\
0 & text{ otherwise }
end{cases}
quadtext{ where }quad a_i = sum_{k : ksim i} w_{ik}
$$
Since $sumlimits_{j=0}^n L(G;w)_{ij} = 0$ for each $i$, the row sum of $i^{th}$ row coincides with the diagonal element $a_i$.
$$R_i stackrel{def}{=} sum_{jne i} left|L(G;w)_{ij}right|
= sum_{j : j sim i} |-w_{ij}| = sum_{j : j sim i } w_{ij} = a_i$$
By Gershgorin circle theorem, the eigenvalues $lambda_1 ge cdots ge lambda_n$ are located inside the union of a bunch of closed discs:
$$lambda_1, ldots,lambda_n in bigcup_{i=1}^n bar{B}( a_i, R_i ) =
bigcup_{i=1}^n bar{B}( a_i, a_i )$$
Notice for any pair of non-negative numbers $r, s$, we have $bar{B}( r, r ) subset bar{B}( s, s )$ whenever $r le s$.
Above union is a single disc and
$$lambda_1, ldots, lambda_n in bar{B}( a_{max}, a_{max} )
quadtext{ where }quad a_{max} = max(a_1,ldots,a_i)$$
Since all $w_{ij} in [0,1]$, we have $a_{max} le Delta(G)$, the maximum degree of $G$. This leads to
$$lambda_1, ldots, lambda_n in bar{B}(Delta(G),Delta(G))$$
As a result, the largest eigenvalue $lambda_1$ is bounded from above by $2Delta(G)$.
$endgroup$
add a comment |
$begingroup$
Another simple one is given by Anderson, Morley, Eigenvalues of the Laplacian of a graph:
$$ lambda_1 leq max_{ij} d_i + d_j, $$
where $d_i = sum_{k: ksim i} w_{ik}$ is the weighted degree of node $i$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2438716%2fa-simple-upper-bound-on-largest-laplacian-eigenvalue-of-a-connected-graph%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Given a graph $G$ with vertices $v_1, ldots, v_n$ and a set of weights $w_{ij} = w_{ji} in [0,1]$ assigned to edges $v_i v_j$.
The Laplacian matrix $L(G ; w)$ is defined by the formula:
$$L(G ; w)_{ij} = begin{cases}
a_i, & i = j\
-w_{ij},& i sim j\
0 & text{ otherwise }
end{cases}
quadtext{ where }quad a_i = sum_{k : ksim i} w_{ik}
$$
Since $sumlimits_{j=0}^n L(G;w)_{ij} = 0$ for each $i$, the row sum of $i^{th}$ row coincides with the diagonal element $a_i$.
$$R_i stackrel{def}{=} sum_{jne i} left|L(G;w)_{ij}right|
= sum_{j : j sim i} |-w_{ij}| = sum_{j : j sim i } w_{ij} = a_i$$
By Gershgorin circle theorem, the eigenvalues $lambda_1 ge cdots ge lambda_n$ are located inside the union of a bunch of closed discs:
$$lambda_1, ldots,lambda_n in bigcup_{i=1}^n bar{B}( a_i, R_i ) =
bigcup_{i=1}^n bar{B}( a_i, a_i )$$
Notice for any pair of non-negative numbers $r, s$, we have $bar{B}( r, r ) subset bar{B}( s, s )$ whenever $r le s$.
Above union is a single disc and
$$lambda_1, ldots, lambda_n in bar{B}( a_{max}, a_{max} )
quadtext{ where }quad a_{max} = max(a_1,ldots,a_i)$$
Since all $w_{ij} in [0,1]$, we have $a_{max} le Delta(G)$, the maximum degree of $G$. This leads to
$$lambda_1, ldots, lambda_n in bar{B}(Delta(G),Delta(G))$$
As a result, the largest eigenvalue $lambda_1$ is bounded from above by $2Delta(G)$.
$endgroup$
add a comment |
$begingroup$
Given a graph $G$ with vertices $v_1, ldots, v_n$ and a set of weights $w_{ij} = w_{ji} in [0,1]$ assigned to edges $v_i v_j$.
The Laplacian matrix $L(G ; w)$ is defined by the formula:
$$L(G ; w)_{ij} = begin{cases}
a_i, & i = j\
-w_{ij},& i sim j\
0 & text{ otherwise }
end{cases}
quadtext{ where }quad a_i = sum_{k : ksim i} w_{ik}
$$
Since $sumlimits_{j=0}^n L(G;w)_{ij} = 0$ for each $i$, the row sum of $i^{th}$ row coincides with the diagonal element $a_i$.
$$R_i stackrel{def}{=} sum_{jne i} left|L(G;w)_{ij}right|
= sum_{j : j sim i} |-w_{ij}| = sum_{j : j sim i } w_{ij} = a_i$$
By Gershgorin circle theorem, the eigenvalues $lambda_1 ge cdots ge lambda_n$ are located inside the union of a bunch of closed discs:
$$lambda_1, ldots,lambda_n in bigcup_{i=1}^n bar{B}( a_i, R_i ) =
bigcup_{i=1}^n bar{B}( a_i, a_i )$$
Notice for any pair of non-negative numbers $r, s$, we have $bar{B}( r, r ) subset bar{B}( s, s )$ whenever $r le s$.
Above union is a single disc and
$$lambda_1, ldots, lambda_n in bar{B}( a_{max}, a_{max} )
quadtext{ where }quad a_{max} = max(a_1,ldots,a_i)$$
Since all $w_{ij} in [0,1]$, we have $a_{max} le Delta(G)$, the maximum degree of $G$. This leads to
$$lambda_1, ldots, lambda_n in bar{B}(Delta(G),Delta(G))$$
As a result, the largest eigenvalue $lambda_1$ is bounded from above by $2Delta(G)$.
$endgroup$
add a comment |
$begingroup$
Given a graph $G$ with vertices $v_1, ldots, v_n$ and a set of weights $w_{ij} = w_{ji} in [0,1]$ assigned to edges $v_i v_j$.
The Laplacian matrix $L(G ; w)$ is defined by the formula:
$$L(G ; w)_{ij} = begin{cases}
a_i, & i = j\
-w_{ij},& i sim j\
0 & text{ otherwise }
end{cases}
quadtext{ where }quad a_i = sum_{k : ksim i} w_{ik}
$$
Since $sumlimits_{j=0}^n L(G;w)_{ij} = 0$ for each $i$, the row sum of $i^{th}$ row coincides with the diagonal element $a_i$.
$$R_i stackrel{def}{=} sum_{jne i} left|L(G;w)_{ij}right|
= sum_{j : j sim i} |-w_{ij}| = sum_{j : j sim i } w_{ij} = a_i$$
By Gershgorin circle theorem, the eigenvalues $lambda_1 ge cdots ge lambda_n$ are located inside the union of a bunch of closed discs:
$$lambda_1, ldots,lambda_n in bigcup_{i=1}^n bar{B}( a_i, R_i ) =
bigcup_{i=1}^n bar{B}( a_i, a_i )$$
Notice for any pair of non-negative numbers $r, s$, we have $bar{B}( r, r ) subset bar{B}( s, s )$ whenever $r le s$.
Above union is a single disc and
$$lambda_1, ldots, lambda_n in bar{B}( a_{max}, a_{max} )
quadtext{ where }quad a_{max} = max(a_1,ldots,a_i)$$
Since all $w_{ij} in [0,1]$, we have $a_{max} le Delta(G)$, the maximum degree of $G$. This leads to
$$lambda_1, ldots, lambda_n in bar{B}(Delta(G),Delta(G))$$
As a result, the largest eigenvalue $lambda_1$ is bounded from above by $2Delta(G)$.
$endgroup$
Given a graph $G$ with vertices $v_1, ldots, v_n$ and a set of weights $w_{ij} = w_{ji} in [0,1]$ assigned to edges $v_i v_j$.
The Laplacian matrix $L(G ; w)$ is defined by the formula:
$$L(G ; w)_{ij} = begin{cases}
a_i, & i = j\
-w_{ij},& i sim j\
0 & text{ otherwise }
end{cases}
quadtext{ where }quad a_i = sum_{k : ksim i} w_{ik}
$$
Since $sumlimits_{j=0}^n L(G;w)_{ij} = 0$ for each $i$, the row sum of $i^{th}$ row coincides with the diagonal element $a_i$.
$$R_i stackrel{def}{=} sum_{jne i} left|L(G;w)_{ij}right|
= sum_{j : j sim i} |-w_{ij}| = sum_{j : j sim i } w_{ij} = a_i$$
By Gershgorin circle theorem, the eigenvalues $lambda_1 ge cdots ge lambda_n$ are located inside the union of a bunch of closed discs:
$$lambda_1, ldots,lambda_n in bigcup_{i=1}^n bar{B}( a_i, R_i ) =
bigcup_{i=1}^n bar{B}( a_i, a_i )$$
Notice for any pair of non-negative numbers $r, s$, we have $bar{B}( r, r ) subset bar{B}( s, s )$ whenever $r le s$.
Above union is a single disc and
$$lambda_1, ldots, lambda_n in bar{B}( a_{max}, a_{max} )
quadtext{ where }quad a_{max} = max(a_1,ldots,a_i)$$
Since all $w_{ij} in [0,1]$, we have $a_{max} le Delta(G)$, the maximum degree of $G$. This leads to
$$lambda_1, ldots, lambda_n in bar{B}(Delta(G),Delta(G))$$
As a result, the largest eigenvalue $lambda_1$ is bounded from above by $2Delta(G)$.
answered Sep 22 '17 at 22:57
achille huiachille hui
95.8k5132258
95.8k5132258
add a comment |
add a comment |
$begingroup$
Another simple one is given by Anderson, Morley, Eigenvalues of the Laplacian of a graph:
$$ lambda_1 leq max_{ij} d_i + d_j, $$
where $d_i = sum_{k: ksim i} w_{ik}$ is the weighted degree of node $i$.
$endgroup$
add a comment |
$begingroup$
Another simple one is given by Anderson, Morley, Eigenvalues of the Laplacian of a graph:
$$ lambda_1 leq max_{ij} d_i + d_j, $$
where $d_i = sum_{k: ksim i} w_{ik}$ is the weighted degree of node $i$.
$endgroup$
add a comment |
$begingroup$
Another simple one is given by Anderson, Morley, Eigenvalues of the Laplacian of a graph:
$$ lambda_1 leq max_{ij} d_i + d_j, $$
where $d_i = sum_{k: ksim i} w_{ik}$ is the weighted degree of node $i$.
$endgroup$
Another simple one is given by Anderson, Morley, Eigenvalues of the Laplacian of a graph:
$$ lambda_1 leq max_{ij} d_i + d_j, $$
where $d_i = sum_{k: ksim i} w_{ik}$ is the weighted degree of node $i$.
answered Dec 21 '18 at 15:09
mdeffmdeff
1135
1135
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2438716%2fa-simple-upper-bound-on-largest-laplacian-eigenvalue-of-a-connected-graph%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
if you apply Gershgorin circle theorem to the Laplacian matrix, you find all eigenvalues are lying inside the disc $| lambda - Lambda| le Lambda$.
$endgroup$
– achille hui
Sep 21 '17 at 10:48
$begingroup$
@achillehui, I checked it. It seems a general bound based on LA. But I don't think if it would be any simpler that the above in term of complexity. I've to first find the $R_i$ for each row of $L(G)$ then compute the Gershgorin disk around $a_{ii}$ i.e. $D(a_{ii}, R_i)$ and then find the maximum. However reading wikipeida I couldn't figure it out what $D(a_{ii}, R_i)$ means. Should I sum up all entries within the disc? or just consider the maximum member of disc? From the proof I deduce that I might be able to write $lambda leq |a_{ii}|+R_i$.
$endgroup$
– PiTao
Sep 21 '17 at 11:54
$begingroup$
$D(a_{ii},R_i)$ is the disc centered at $a_{ii}$ ( the $i^{th}$ diagonal element = degree of vertex $v_{i}$ ) with radius $R_i$ (the sum of absolute values of off-diagonal elements of $i^{th}$ row, which again equals to the degree of vertex $v_i$) (assume all weights = 1).
$endgroup$
– achille hui
Sep 21 '17 at 12:33
$begingroup$
@achillehui, seems promising. Please rewrite your comment as an answer to make it accepted. One simple bound is $tr(L)$, but this is tighter and not that complex.
$endgroup$
– PiTao
Sep 22 '17 at 19:17