Reverse comparison between residual matching number and matching variance
Determine whether there is an absolute constant C such that the residual matching number λ(G) is at most C times the matching variance σ²(G) for every finite simple graph G; equivalently, establish whether λ=O(σ²).
References
Corollary C.7.3 says nothing about the reverse bound λ = O(σ2), which remains open.
— The Problem Is the Problem: Towards Scalable Mathematical Discovery
(2608.16977 - Zheng et al., 17 Aug 2026) in Remark C.7.4, Appendix C.7