{"title":"A unified combinatorial view beyond some spectral properties","authors":"Xiaofeng Gu, Muhuo Liu","doi":"10.1007/s10801-024-01353-8","DOIUrl":null,"url":null,"abstract":"<p>Let <span>\\(\\beta >0\\)</span>. Motivated by the notion of jumbled graphs introduced by Thomason, the expander mixing lemma and Haemers’s vertex separation inequality, we say that a graph <i>G</i> with <i>n</i> vertices is a weakly <span>\\((n,\\beta )\\)</span>-graph if <span>\\(\\frac{|X| |Y|}{(n-|X|)(n-|Y|)} \\le \\beta ^2\\)</span> holds for every pair of disjoint proper subsets <i>X</i>, <i>Y</i> of <i>V</i>(<i>G</i>) with no edge between <i>X</i> and <i>Y</i>. It is an <span>\\((n,\\beta )\\)</span>-graph if in addition <i>X</i> and <i>Y</i> are not necessarily disjoint. Using graph eigenvalues, we show that every graph can be an <span>\\((n,\\beta )\\)</span>-graph and/or a weakly <span>\\((n,\\beta )\\)</span>-graph for some specific value <span>\\(\\beta \\)</span>. For instances, the expander mixing lemma implies that a <i>d</i>-regular graph on <i>n</i> vertices with the second largest absolute eigenvalue at most <span>\\(\\lambda \\)</span> is an <span>\\((n,\\lambda /d)\\)</span>-graph, and Haemers’s vertex separation inequality implies that every graph is a weakly <span>\\((n,\\beta )\\)</span>-graph with <span>\\(\\beta \\ge \\frac{\\mu _n - \\mu _2}{\\mu _n + \\mu _2}\\)</span>, where <span>\\(\\mu _i\\)</span> denotes the <i>i</i>-th smallest Laplacian eigenvalue. This motivates us to study <span>\\((n,\\beta )\\)</span>-graph and weakly <span>\\((n,\\beta )\\)</span>-graph in general. Our main results include the following. (i) For any weakly <span>\\((n,\\beta )\\)</span>-graph <i>G</i>, the matching number <span>\\(\\alpha '(G)\\ge \\min \\left\\{ \\frac{1-\\beta }{1+\\beta },\\, \\frac{1}{2}\\right\\} \\cdot (n-1)\\)</span>. If in addition <i>G</i> is a (<i>U</i>, <i>W</i>)-bipartite graph with <span>\\(|W|\\ge t|U|\\)</span> where <span>\\(t\\ge 1\\)</span>, then <span>\\(\\alpha '(G)\\ge \\min \\{t(1-2\\beta ^2),1\\}\\cdot |U|\\)</span>. (ii) For any <span>\\((n,\\beta )\\)</span>-graph <i>G</i>, <span>\\(\\alpha '(G)\\ge \\min \\left\\{ \\frac{2-\\beta }{2(1+\\beta )},\\, \\frac{1}{2}\\right\\} \\cdot (n-1).\\)</span> If in addition <i>G</i> is a (<i>U</i>, <i>W</i>)-bipartite graph with <span>\\(|W|\\ge |U|\\)</span> and no isolated vertices, then <span>\\(\\alpha '(G)\\ge \\min \\{1/\\beta ^{2},1\\}\\cdot |U|\\)</span>. (iii) If <i>G</i> is a weakly <span>\\((n,\\beta )\\)</span>-graph for <span>\\(0<\\beta \\le 1/3\\)</span> or an <span>\\((n,\\beta )\\)</span>-graph for <span>\\(0<\\beta \\le 1/2\\)</span>, then <i>G</i> has a fractional perfect matching. In addition, <i>G</i> has a perfect matching when <i>n</i> is even and <i>G</i> is factor-critical when <i>n</i> is odd. (iv) For any connected <span>\\((n,\\beta )\\)</span>-graph <i>G</i>, the toughness <span>\\(t(G)\\ge \\frac{1-\\beta }{\\beta }\\)</span>. For any connected weakly <span>\\((n,\\beta )\\)</span>-graph <i>G</i>, <span>\\(t(G)> \\frac{5(1-\\beta )}{11\\beta }\\)</span> and if <i>n</i> is large enough, then <span>\\(t(G)>\\left( \\frac{1}{2}-\\varepsilon \\right) \\frac{1-\\beta }{\\beta }\\)</span> for any <span>\\(\\varepsilon >0\\)</span>. The results imply many old and new results in spectral graph theory, including several new lower bounds on matching number, fractional matching number and toughness from eigenvalues. In particular, we obtain a new lower bound on toughness via normalized Laplacian eigenvalues that extends a theorem originally conjectured by Brouwer from regular graphs to general graphs.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"21 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Algebraic Combinatorics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10801-024-01353-8","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let \(\beta >0\). Motivated by the notion of jumbled graphs introduced by Thomason, the expander mixing lemma and Haemers’s vertex separation inequality, we say that a graph G with n vertices is a weakly \((n,\beta )\)-graph if \(\frac{|X| |Y|}{(n-|X|)(n-|Y|)} \le \beta ^2\) holds for every pair of disjoint proper subsets X, Y of V(G) with no edge between X and Y. It is an \((n,\beta )\)-graph if in addition X and Y are not necessarily disjoint. Using graph eigenvalues, we show that every graph can be an \((n,\beta )\)-graph and/or a weakly \((n,\beta )\)-graph for some specific value \(\beta \). For instances, the expander mixing lemma implies that a d-regular graph on n vertices with the second largest absolute eigenvalue at most \(\lambda \) is an \((n,\lambda /d)\)-graph, and Haemers’s vertex separation inequality implies that every graph is a weakly \((n,\beta )\)-graph with \(\beta \ge \frac{\mu _n - \mu _2}{\mu _n + \mu _2}\), where \(\mu _i\) denotes the i-th smallest Laplacian eigenvalue. This motivates us to study \((n,\beta )\)-graph and weakly \((n,\beta )\)-graph in general. Our main results include the following. (i) For any weakly \((n,\beta )\)-graph G, the matching number \(\alpha '(G)\ge \min \left\{ \frac{1-\beta }{1+\beta },\, \frac{1}{2}\right\} \cdot (n-1)\). If in addition G is a (U, W)-bipartite graph with \(|W|\ge t|U|\) where \(t\ge 1\), then \(\alpha '(G)\ge \min \{t(1-2\beta ^2),1\}\cdot |U|\). (ii) For any \((n,\beta )\)-graph G, \(\alpha '(G)\ge \min \left\{ \frac{2-\beta }{2(1+\beta )},\, \frac{1}{2}\right\} \cdot (n-1).\) If in addition G is a (U, W)-bipartite graph with \(|W|\ge |U|\) and no isolated vertices, then \(\alpha '(G)\ge \min \{1/\beta ^{2},1\}\cdot |U|\). (iii) If G is a weakly \((n,\beta )\)-graph for \(0<\beta \le 1/3\) or an \((n,\beta )\)-graph for \(0<\beta \le 1/2\), then G has a fractional perfect matching. In addition, G has a perfect matching when n is even and G is factor-critical when n is odd. (iv) For any connected \((n,\beta )\)-graph G, the toughness \(t(G)\ge \frac{1-\beta }{\beta }\). For any connected weakly \((n,\beta )\)-graph G, \(t(G)> \frac{5(1-\beta )}{11\beta }\) and if n is large enough, then \(t(G)>\left( \frac{1}{2}-\varepsilon \right) \frac{1-\beta }{\beta }\) for any \(\varepsilon >0\). The results imply many old and new results in spectral graph theory, including several new lower bounds on matching number, fractional matching number and toughness from eigenvalues. In particular, we obtain a new lower bound on toughness via normalized Laplacian eigenvalues that extends a theorem originally conjectured by Brouwer from regular graphs to general graphs.
期刊介绍:
The Journal of Algebraic Combinatorics provides a single forum for papers on algebraic combinatorics which, at present, are distributed throughout a number of journals. Within the last decade or so, algebraic combinatorics has evolved into a mature, established and identifiable area of mathematics. Research contributions in the field are increasingly seen to have substantial links with other areas of mathematics.
The journal publishes papers in which combinatorics and algebra interact in a significant and interesting fashion. This interaction might occur through the study of combinatorial structures using algebraic methods, or the application of combinatorial methods to algebraic problems.