📝 SummarXiv

Abstract

We recast Vizing's conjecture \gamma(G \square H) \ge \gamma(G)\gamma(H) through a simple domination-density lens. Defining \rho_X = \gamma(X)/|V(X)|, the conjecture becomes \rho_{G \square H} \ge \rho_G \rho_H. Many classical estimates admit this normalized form; if we select valid upper bounds \rho_G \le \tilde\rho_G, \rho_H \le \tilde\rho_H and a product lower bound \rho_{G \square H} \ge \tilde\rho_{G \square H}, then the single test \tilde\rho_{G \square H} \ge \tilde\rho_G \tilde\rho_H certifies Vizing's. Instantiations include: (i) a bipartite imbalance criterion, where partition asymmetry together with a maximum-degree bound yields infinite nontrivial families; and (ii) a regular high-degree regime via the Arnautov-Payan bound, certifying all k-regular pairs for k \ge 32. The framework is modular: sharper family-specific bounds can be dropped in without altering the proof, expanding the certified regime while preserving the simple density form.