{"title":"基尔霍夫拉普拉斯函数的特征值边界","authors":"Oliver Knill","doi":"10.1016/j.laa.2024.08.001","DOIUrl":null,"url":null,"abstract":"<div><p>We prove the inequality <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>+</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span> for all the eigenvalues <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the Kirchhoff matrix <em>K</em> of a finite simple graph or quiver with vertex degrees <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and assuming <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>=</mo><mn>0</mn></math></span>. Without multiple connections, the inequality <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≥</mo><mrow><mi>max</mi></mrow><mo>(</mo><mn>0</mn><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>−</mo><mo>(</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>)</mo><mo>)</mo></math></span> holds. A consequence in the finite simple graph or multi-graph case is that the pseudo determinant <span><math><mrow><mi>Det</mi></mrow><mo>(</mo><mi>K</mi><mo>)</mo></math></span> counting the number of rooted spanning trees has an upper bound <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> and that <span><math><mrow><mi>det</mi></mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>K</mi><mo>)</mo></math></span> counting the number of rooted spanning forests has an upper bound <span><math><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup><mo>(</mo><mn>1</mn><mo>+</mo><mn>2</mn><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>.</p></div>","PeriodicalId":18043,"journal":{"name":"Linear Algebra and its Applications","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Eigenvalue bounds of the Kirchhoff Laplacian\",\"authors\":\"Oliver Knill\",\"doi\":\"10.1016/j.laa.2024.08.001\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We prove the inequality <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>+</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span> for all the eigenvalues <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><msub><mrow><mi>λ</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of the Kirchhoff matrix <em>K</em> of a finite simple graph or quiver with vertex degrees <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and assuming <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>=</mo><mn>0</mn></math></span>. Without multiple connections, the inequality <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≥</mo><mrow><mi>max</mi></mrow><mo>(</mo><mn>0</mn><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>−</mo><mo>(</mo><mi>n</mi><mo>−</mo><mi>k</mi><mo>)</mo><mo>)</mo></math></span> holds. A consequence in the finite simple graph or multi-graph case is that the pseudo determinant <span><math><mrow><mi>Det</mi></mrow><mo>(</mo><mi>K</mi><mo>)</mo></math></span> counting the number of rooted spanning trees has an upper bound <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> and that <span><math><mrow><mi>det</mi></mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>K</mi><mo>)</mo></math></span> counting the number of rooted spanning forests has an upper bound <span><math><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msubsup><mo>(</mo><mn>1</mn><mo>+</mo><mn>2</mn><msub><mrow><mi>d</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>.</p></div>\",\"PeriodicalId\":18043,\"journal\":{\"name\":\"Linear Algebra and its Applications\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-08-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Linear Algebra and its Applications\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S002437952400315X\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Linear Algebra and its Applications","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S002437952400315X","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
We prove the inequality for all the eigenvalues of the Kirchhoff matrix K of a finite simple graph or quiver with vertex degrees and assuming . Without multiple connections, the inequality holds. A consequence in the finite simple graph or multi-graph case is that the pseudo determinant counting the number of rooted spanning trees has an upper bound and that counting the number of rooted spanning forests has an upper bound .
期刊介绍:
Linear Algebra and its Applications publishes articles that contribute new information or new insights to matrix theory and finite dimensional linear algebra in their algebraic, arithmetic, combinatorial, geometric, or numerical aspects. It also publishes articles that give significant applications of matrix theory or linear algebra to other branches of mathematics and to other sciences. Articles that provide new information or perspectives on the historical development of matrix theory and linear algebra are also welcome. Expository articles which can serve as an introduction to a subject for workers in related areas and which bring one to the frontiers of research are encouraged. Reviews of books are published occasionally as are conference reports that provide an historical record of major meetings on matrix theory and linear algebra.