Abstract:Let . 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 -graph if holds for every pair of disjoint proper subsets X , Y of V ( G ) with no edge between X and Y . It is an -graph if in addition X and Y are not necessarily disjoint. Using graph eigenvalues, we show that every graph can be an -graph and/or a weakly -graph for some specific value . For instances, the expander mixing lemma implies that a d -regular graph on n vertices with the second largest absolute eigenvalue at most is an -graph, and Haemers's vertex separation inequality implies that every graph is a weakly -graph with , where denotes the i -th smallest Laplacian eigenvalue. This motivates us to study -graph and weakly -graph in general. Our main results include the following. (i) For any weakly -graph G , the matching number . If in addition G is a ( U , W )-bipartite graph with where , then . (ii) For any -graph G , If in addition G is a ( U , W )-bipartite graph with and no isolated vertices, then . (iii) If G is a weakly -graph for or an -graph for , 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 -graph G , the toughness . For any connected weakly -graph G , and if n is large enough, then for any . 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.

Compatible Forts and Maximum Nullity of a Graph

Zero forcing and maximum nullity for hypergraphs

On the number of minimal forts of a graph

On the nullities of quartic circulant graphs and their extremal null spaces

On the tree cover number and the positive semidefinite maximum nullity of a graph

Dimension-free matricial Nullstellensätze for noncommutative polynomials

Toroidal extended affine Lie algebras and vertex algebras

Positivity preservers over finite fields

Tilings in Graphons

Frobenius-König theorem for classes of (0,±1)-matrices

Groups, Graphs, and Hypergraphs: Average Sizes of Kernels of Generic Matrices with Support Constraints

A Gröbner Basis Approach to Combinatorial Nullstellensatz

A unified combinatorial view beyond some spectral properties

On m-tuples of nilpotent 2x2 matrices over an arbitrary field

A Functorial Version of Chevalley's Theorem on Constructible Sets

The coherent rank of a graph with three eigenvalues

A Gr\"{o}bner Basis Approach to Combinatorial Nullstellensatz

Two Matrix Theorems Arising from Nilpotent Groups

Connectivity gaps among matroids with the same enumerative invariants

Stability Theorems for Forbidden Configurations

The Nullity of Bicyclic Signed Graphs