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

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

                              Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

                              Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

                              François Viète Contents Biography Work and thought Bibliography See also Notes Further reading External links Navigation menup. 21Google Bookspp. 75–77Google BooksDe thou (from University of Saint Andrews)ArchivedGoogle BooksGoogle BooksGoogle BooksGoogle booksGoogle Bookscc-parthenay.frL'histoire universelle (fr)Universal History (en)ArchivedAdsabs.harvard.eduPagesperso-orange.frArchive.orgChikara Sasaki. Descartes' mathematical thought p.259Google BooksGoogle BooksGoogle Bookspp. 152 and onwardGoogle BooksGoogle BooksScribd.comGoogle Books1257-7979Google BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGallica.bnf.frGoogle BooksGoogle Books"François Viète"Francois Viète: Father of Modern Algebraic NotationThe Lawyer and the GamblerAbout TarporleySite de Jean-Paul GuichardL'algèbre nouvelle"About the Harmonicon"cb120511976(data)1188044800000 0001 0913 5903n82164680ola2013766880073431702w6vt1sb70287374827140948071409480