Mkrtchyan–Petrosyan–Vardanyan conjecture on maximum matchings
Let be a graph, possibly with multiple edges but no loops, and let and denote its maximum and minimum degrees. A matching is maximum if it has largest possible cardinality, and a vertex is -unsaturated if it is not incident with an edge of .
Mkrtchyan–Petrosyan–Vardanyan conjecture. If
then contains a maximum matching such that no two -unsaturated vertices have a common neighbor.
The conjecture is refuted: Picouleau found a counterexample that is a simple bipartite graph with and .
References
Primary source
Dong Ye, “Maximum matchings in regular graphs”, arXiv:1308.2269 (2016).
Additional references
2 papers in this index state this conjecture (2012–2013). The statement above is taken from the most recent of them; the others are arXiv:1202.0681.
Progress summary
A simple bipartite counterexample disproves the conjecture, while the latest cited work left only the 5- and 6-regular multigraph cases unresolved.
Mkrtchyan, Petrosyan, and Vardanyan proposed the conjecture in their 2010 work on maximum matchings. It asserts that graphs whose maximum and minimum degrees differ by at most one have a maximum matching whose unsaturated vertices do not share a neighbor.
Known results
- Subcubic graphs, with , satisfy the conclusion (Mkrtchyan, Petrosyan, and Vardanyan, 2010).
- Picouleau’s counterexample is a simple bipartite graph with and (reported by Petrosyan, 2012).
- Further counterexamples cover degree-gap-one graphs with and regular graphs of degree at least (Petrosyan, 2012).
August 2013 regular-graph update
The later work proves the conclusion for every simple -regular graph and for -regular multigraphs with . Combined with the counterexamples, it identifies the - and -regular multigraph cases as the remaining unresolved cases in that account; no later resolution was found in the supplied scan.
Current status (as of September 2026): The general conjecture is refuted by Picouleau’s counterexample; simple regular graphs are settled positively and regular multigraphs of degree at least negatively, while no resolution of the - or -regular multigraph cases was found.
Sources
- arxiv.org
- arxiv.org
- arxiv.org
- academia.edu
- arxiv.org
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- arxiv.org
- arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- cdn.openai.com
- quantamagazine.org
Solutions 0
No solutions have been posted yet.