Eigenvalues of the Laplacian of the directed De Bruijn graph Planned maintenance scheduled...



Eigenvalues of the Laplacian of the directed De Bruijn graph



Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)
Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?Does graph asymmetry imply all eigenvalues of the graph Laplacian are simple?Can the friendship graph be determind by its adjacency spectrum?Extreme Laplacian eigenvaluesConnection between eigenvalues of matrix and its Laplacian.Spectral Graph TheoryWhen does the normalized graph Laplacian have eigenvalue 1?Hashimoto Matrix (Non-backtracking operator) and the Graph LaplacianDirected graph Laplacian with exactly one negative eigenvalueSpectra of undirected $d$-regular graphsLocal-Global Principle in Graph Spectrum












4












$begingroup$


We will denote by $DB(n,k)$ the directed De Bruijn graph, which is a digraph whose vertices are elements of ${0,1,dots,k-1}^n$, and $sigma_1cdots sigma_n$ is connected to $tau_1cdots tau_{n}$ if and only if $sigma_i=tau_{i+1}$ for every $i=1,dots,n-1$.



We would like to calculate the spectrum of the Laplacian matrix of $DB(n,k)$. Note that since $DB(n,k)$ is $k$-regular, then $lambda in Spec(L_{DB(n,k)})$ if and only if $k-lambda in Spec(A_{DB(n,k)})$, so we can calculate the eigenvalues of the Laplacian matrix from the eigenvalues of the Adjacency matrix.



We found the following article on the subject, but it only calculates the spectrum of the underlining undirected graph of the De Bruijn graph:



https://core.ac.uk/download/pdf/82810454.pdf



Thanks!










share|cite|improve this question











$endgroup$

















    4












    $begingroup$


    We will denote by $DB(n,k)$ the directed De Bruijn graph, which is a digraph whose vertices are elements of ${0,1,dots,k-1}^n$, and $sigma_1cdots sigma_n$ is connected to $tau_1cdots tau_{n}$ if and only if $sigma_i=tau_{i+1}$ for every $i=1,dots,n-1$.



    We would like to calculate the spectrum of the Laplacian matrix of $DB(n,k)$. Note that since $DB(n,k)$ is $k$-regular, then $lambda in Spec(L_{DB(n,k)})$ if and only if $k-lambda in Spec(A_{DB(n,k)})$, so we can calculate the eigenvalues of the Laplacian matrix from the eigenvalues of the Adjacency matrix.



    We found the following article on the subject, but it only calculates the spectrum of the underlining undirected graph of the De Bruijn graph:



    https://core.ac.uk/download/pdf/82810454.pdf



    Thanks!










    share|cite|improve this question











    $endgroup$















      4












      4








      4





      $begingroup$


      We will denote by $DB(n,k)$ the directed De Bruijn graph, which is a digraph whose vertices are elements of ${0,1,dots,k-1}^n$, and $sigma_1cdots sigma_n$ is connected to $tau_1cdots tau_{n}$ if and only if $sigma_i=tau_{i+1}$ for every $i=1,dots,n-1$.



      We would like to calculate the spectrum of the Laplacian matrix of $DB(n,k)$. Note that since $DB(n,k)$ is $k$-regular, then $lambda in Spec(L_{DB(n,k)})$ if and only if $k-lambda in Spec(A_{DB(n,k)})$, so we can calculate the eigenvalues of the Laplacian matrix from the eigenvalues of the Adjacency matrix.



      We found the following article on the subject, but it only calculates the spectrum of the underlining undirected graph of the De Bruijn graph:



      https://core.ac.uk/download/pdf/82810454.pdf



      Thanks!










      share|cite|improve this question











      $endgroup$




      We will denote by $DB(n,k)$ the directed De Bruijn graph, which is a digraph whose vertices are elements of ${0,1,dots,k-1}^n$, and $sigma_1cdots sigma_n$ is connected to $tau_1cdots tau_{n}$ if and only if $sigma_i=tau_{i+1}$ for every $i=1,dots,n-1$.



      We would like to calculate the spectrum of the Laplacian matrix of $DB(n,k)$. Note that since $DB(n,k)$ is $k$-regular, then $lambda in Spec(L_{DB(n,k)})$ if and only if $k-lambda in Spec(A_{DB(n,k)})$, so we can calculate the eigenvalues of the Laplacian matrix from the eigenvalues of the Adjacency matrix.



      We found the following article on the subject, but it only calculates the spectrum of the underlining undirected graph of the De Bruijn graph:



      https://core.ac.uk/download/pdf/82810454.pdf



      Thanks!







      co.combinatorics graph-theory spectral-graph-theory enumerative-combinatorics






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 3 hours ago









      Fedor Petrov

      52.5k6122241




      52.5k6122241










      asked 4 hours ago









      Serge the ToasterSerge the Toaster

      542




      542






















          2 Answers
          2






          active

          oldest

          votes


















          2












          $begingroup$

          The computation for $k=2$ appears (among other places) on pp. 158--159 of my book Algebraic Combinatorics, second edition. The computation for arbitrary $k$ is completely analogous. Dima Pasechnik is correct that there is one eigenvalue equal to 0, and all the others are equal to $k$.






          share|cite|improve this answer









          $endgroup$





















            1












            $begingroup$

            I believe that for $p$ prime $DB(m,p)$ has one 0 eigenvalue (this is easy to check), and the other eigenvalues are all equal to $p$. This is something that we observed while working on https://arxiv.org/abs/1405.0113, but didn't try to prove (should not be too hard I guess, using a decription of $DB(m,p)$ as the line graph of $DB(m-1,p)$, and then induction).






            share|cite|improve this answer











            $endgroup$














              Your Answer








              StackExchange.ready(function() {
              var channelOptions = {
              tags: "".split(" "),
              id: "504"
              };
              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%2fmathoverflow.net%2fquestions%2f328770%2feigenvalues-of-the-laplacian-of-the-directed-de-bruijn-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$

              The computation for $k=2$ appears (among other places) on pp. 158--159 of my book Algebraic Combinatorics, second edition. The computation for arbitrary $k$ is completely analogous. Dima Pasechnik is correct that there is one eigenvalue equal to 0, and all the others are equal to $k$.






              share|cite|improve this answer









              $endgroup$


















                2












                $begingroup$

                The computation for $k=2$ appears (among other places) on pp. 158--159 of my book Algebraic Combinatorics, second edition. The computation for arbitrary $k$ is completely analogous. Dima Pasechnik is correct that there is one eigenvalue equal to 0, and all the others are equal to $k$.






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  The computation for $k=2$ appears (among other places) on pp. 158--159 of my book Algebraic Combinatorics, second edition. The computation for arbitrary $k$ is completely analogous. Dima Pasechnik is correct that there is one eigenvalue equal to 0, and all the others are equal to $k$.






                  share|cite|improve this answer









                  $endgroup$



                  The computation for $k=2$ appears (among other places) on pp. 158--159 of my book Algebraic Combinatorics, second edition. The computation for arbitrary $k$ is completely analogous. Dima Pasechnik is correct that there is one eigenvalue equal to 0, and all the others are equal to $k$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 1 hour ago









                  Richard StanleyRichard Stanley

                  29.4k9118191




                  29.4k9118191























                      1












                      $begingroup$

                      I believe that for $p$ prime $DB(m,p)$ has one 0 eigenvalue (this is easy to check), and the other eigenvalues are all equal to $p$. This is something that we observed while working on https://arxiv.org/abs/1405.0113, but didn't try to prove (should not be too hard I guess, using a decription of $DB(m,p)$ as the line graph of $DB(m-1,p)$, and then induction).






                      share|cite|improve this answer











                      $endgroup$


















                        1












                        $begingroup$

                        I believe that for $p$ prime $DB(m,p)$ has one 0 eigenvalue (this is easy to check), and the other eigenvalues are all equal to $p$. This is something that we observed while working on https://arxiv.org/abs/1405.0113, but didn't try to prove (should not be too hard I guess, using a decription of $DB(m,p)$ as the line graph of $DB(m-1,p)$, and then induction).






                        share|cite|improve this answer











                        $endgroup$
















                          1












                          1








                          1





                          $begingroup$

                          I believe that for $p$ prime $DB(m,p)$ has one 0 eigenvalue (this is easy to check), and the other eigenvalues are all equal to $p$. This is something that we observed while working on https://arxiv.org/abs/1405.0113, but didn't try to prove (should not be too hard I guess, using a decription of $DB(m,p)$ as the line graph of $DB(m-1,p)$, and then induction).






                          share|cite|improve this answer











                          $endgroup$



                          I believe that for $p$ prime $DB(m,p)$ has one 0 eigenvalue (this is easy to check), and the other eigenvalues are all equal to $p$. This is something that we observed while working on https://arxiv.org/abs/1405.0113, but didn't try to prove (should not be too hard I guess, using a decription of $DB(m,p)$ as the line graph of $DB(m-1,p)$, and then induction).







                          share|cite|improve this answer














                          share|cite|improve this answer



                          share|cite|improve this answer








                          edited 3 hours ago

























                          answered 3 hours ago









                          Dima PasechnikDima Pasechnik

                          9,43311952




                          9,43311952






























                              draft saved

                              draft discarded




















































                              Thanks for contributing an answer to MathOverflow!


                              • 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%2fmathoverflow.net%2fquestions%2f328770%2feigenvalues-of-the-laplacian-of-the-directed-de-bruijn-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

                              Gersau Kjelder | Navigasjonsmeny46°59′0″N 8°31′0″E46°59′0″N...

                              Hestehale Innhaldsliste Hestehale på kvinner | Hestehale på menn | Galleri | Sjå òg |...

                              What is the “three and three hundred thousand syndrome”?Who wrote the book Arena?What five creatures were...