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.

Exploring two concepts: branch decomposition and weak ultrafilter on connectivity system

Various Properties of Various Ultrafilters, Various Graph Width Parameters, and Various Connectivity Systems

Reconsideration of Tangle and Ultrafilter using Separation and Partition

Group Corings and (invertible) Weak Group Entwining Structures

Matroid, Ideal, Ultrafilter, Tangle, and so on: Reconsideration of Obstruction to linear decomposition

Frobenius Property and Maschke-Type Theorem for Weak Entwined Modules

A unified combinatorial view beyond some spectral properties

Ultrafilter extensions of bounded graphs are elementary

Exponentiations of ultrafilters

Distal combinatorial tools for graphs of bounded twin-width

Finite combinatorics implicit in the basic definitions of topology

Weak Linking

A filtered version of the bipolar theorem of Brannath and Schachermayer

Ultrafilters in Reverse Mathematics

Weak Lipschitz structures and their connections with the topological structures

Applications of Ultrafilters in Ergodic Theory and Combinatorial Number Theory

The Linear Topology Associated with Weak Convergence of Probability Measures

On Ultrapowers and Cohesive Ultrafilters

High dimensional countable compactness and ultrafilters

Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond

Fuzzy VC Combinatorics and Distality in Continuous Logic