{"title":"惯性约束远远不够","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":"{\"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}","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
摘要
惯性约束和比值约束(又称 Cvetković 约束和 Hoffman 约束)是谱图理论中的两个基本不等式,根据 G $G$ 的加权邻接矩阵的谱信息给出了图 G $G$ 的独立性数 α ( G ) $\alpha (G)$ 的上限。对于这两个不等式,给定一个图 G $G$ 时,需要明智地选择加权邻接矩阵,以获得尽可能强的约束。虽然围绕比值约束有一套成熟的理论,但惯性约束要神秘得多,其极限也相当不明确。事实上,直到最近,辛科维奇才找到了第一个惯性约束不严格(对于任何加权邻接矩阵)的图的例子,回答了戈德希尔长期以来提出的一个问题。我们的研究表明,惯性约束离严密可能相去甚远,而且事实上可能大大低于比率约束:例如,我们的结果之一是,对于无限多的 n $n$ ,存在一个 n $n$ -顶点图,对于该图,即使无权比率约束也能证明 α ( G ) ⩽ 4 n 3 / 4 $\alpha (G)\leqslant 4n^{3/4}$ ,但惯性约束总是至少 n / 4 $n/4$ 。这些结果特别解决了鲁尼、辛科维奇和沃奇扬-埃尔菲克-阿比阿德的问题。
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.