{"title":"The inertia bound is far from tight","authors":"Matthew Kwan, Yuval Wigderson","doi":"10.1112/blms.13127","DOIUrl":null,"url":null,"abstract":"<p>The inertia bound and ratio bound (also known as the Cvetković bound and Hoffman bound) are two fundamental inequalities in spectral graph theory, giving upper bounds on the independence number <span></span><math>\n <semantics>\n <mrow>\n <mi>α</mi>\n <mo>(</mo>\n <mi>G</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\alpha (G)$</annotation>\n </semantics></math> of a graph <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math> in terms of spectral information about a weighted adjacency matrix of <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math>. For both inequalities, given a graph <span></span><math>\n <semantics>\n <mi>G</mi>\n <annotation>$G$</annotation>\n </semantics></math>, one needs to make a judicious choice of weighted adjacency matrix to obtain as strong a bound as possible. While there is a well-established theory surrounding the ratio bound, the inertia bound is much more mysterious, and its limits are rather unclear. In fact, only recently did Sinkovic find the first example of a graph for which the inertia bound is not tight (for any weighted adjacency matrix), answering a longstanding question of Godsil. We show that the inertia bound can be extremely far from tight, and in fact can significantly underperform the ratio bound: for example, one of our results is that for infinitely many <span></span><math>\n <semantics>\n <mi>n</mi>\n <annotation>$n$</annotation>\n </semantics></math>, there is an <span></span><math>\n <semantics>\n <mi>n</mi>\n <annotation>$n$</annotation>\n </semantics></math>-vertex graph for which even the unweighted ratio bound can prove <span></span><math>\n <semantics>\n <mrow>\n <mi>α</mi>\n <mrow>\n <mo>(</mo>\n <mi>G</mi>\n <mo>)</mo>\n </mrow>\n <mo>⩽</mo>\n <mn>4</mn>\n <msup>\n <mi>n</mi>\n <mrow>\n <mn>3</mn>\n <mo>/</mo>\n <mn>4</mn>\n </mrow>\n </msup>\n </mrow>\n <annotation>$\\alpha (G)\\leqslant 4n^{3/4}$</annotation>\n </semantics></math>, but the inertia bound is always at least <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>/</mo>\n <mn>4</mn>\n </mrow>\n <annotation>$n/4$</annotation>\n </semantics></math>. In particular, these results address questions of Rooney, Sinkovic, and Wocjan–Elphick–Abiad.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"56 10","pages":"3196-3208"},"PeriodicalIF":0.8000,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13127","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.13127","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
The inertia bound and ratio bound (also known as the Cvetković bound and Hoffman bound) are two fundamental inequalities in spectral graph theory, giving upper bounds on the independence number of a graph in terms of spectral information about a weighted adjacency matrix of . For both inequalities, given a graph , one needs to make a judicious choice of weighted adjacency matrix to obtain as strong a bound as possible. While there is a well-established theory surrounding the ratio bound, the inertia bound is much more mysterious, and its limits are rather unclear. In fact, only recently did Sinkovic find the first example of a graph for which the inertia bound is not tight (for any weighted adjacency matrix), answering a longstanding question of Godsil. We show that the inertia bound can be extremely far from tight, and in fact can significantly underperform the ratio bound: for example, one of our results is that for infinitely many , there is an -vertex graph for which even the unweighted ratio bound can prove , but the inertia bound is always at least . In particular, these results address questions of Rooney, Sinkovic, and Wocjan–Elphick–Abiad.