A simple upper bound on largest laplacian eigenvalue of a connected graph












1












$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).










share|cite|improve this question











$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


















1












$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).










share|cite|improve this question











$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
















1












1








1





$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).










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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




















  • $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












2 Answers
2






active

oldest

votes


















2












$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)$.






share|cite|improve this answer









$endgroup$





















    1












    $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$.






    share|cite|improve this answer









    $endgroup$













      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
      });


      }
      });














      draft saved

      draft discarded


















      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









      2












      $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)$.






      share|cite|improve this answer









      $endgroup$


















        2












        $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)$.






        share|cite|improve this answer









        $endgroup$
















          2












          2








          2





          $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)$.






          share|cite|improve this answer









          $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)$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 22 '17 at 22:57









          achille huiachille hui

          95.8k5132258




          95.8k5132258























              1












              $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$.






              share|cite|improve this answer









              $endgroup$


















                1












                $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$.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $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$.






                  share|cite|improve this answer









                  $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$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 21 '18 at 15:09









                  mdeffmdeff

                  1135




                  1135






























                      draft saved

                      draft discarded




















































                      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.




                      draft saved


                      draft discarded














                      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





















































                      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







                      Popular posts from this blog

                      Bressuire

                      Cabo Verde

                      Gyllenstierna