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.

The Total Matching Polytope of Complete Bipartite Graphs

Total Coloring and Total Matching: Polyhedra and Facets

Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs

On a class of strong valid inequalities for the connected matching polytope

Matching polytopes, Gorensteinness, and the integer decomposition property

Total Matching and Subdeterminants

The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs

On matroid parity and matching polytopes

Normality of $k$-Matching Polytopes of Bipartite Graphs

On the set of stable matchings of a bipartite graph

The facet ideals of matching complexes of line graphs

First Steps in Combinatorial Optimization on Graphons: Matchings.

Extending Stable and Popular Matching Algorithms from Bipartite to Arbitrary Instances

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Excluding a planar matching minor in bipartite graphs

Almost fair perfect matchings in complete bipartite graphs

Matchings in Geometric Graphs

Matching Cuts in Graphs of High Girth and H-Free Graphs

Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius

The weighted stable matching problem

A unified combinatorial view beyond some spectral properties