Mkrtchyan–Petrosyan–Vardanyan conjecture on maximum matchings

About 14 years old · traced to

Let GG be a graph, possibly with multiple edges but no loops, and let Δ(G)\Delta(G) and δ(G)\delta(G) denote its maximum and minimum degrees. A matching is maximum if it has largest possible cardinality, and a vertex is MM-unsaturated if it is not incident with an edge of MM.

Mkrtchyan–Petrosyan–Vardanyan conjecture. If

Δ(G)−δ(G)≤1,\Delta(G)-\delta(G)\le 1,

then GG contains a maximum matching MM such that no two MM-unsaturated vertices have a common neighbor.

The conjecture is refuted: Picouleau found a counterexample that is a simple bipartite graph with δ(G)=4\delta(G)=4 and Δ(G)=5\Delta(G)=5.

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

Refreshed
Claimed solved

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 2≤δ(G)≤Δ(G)≤32 \le \delta(G) \le \Delta(G) \le 3, satisfy the conclusion (Mkrtchyan, Petrosyan, and Vardanyan, 2010).
  • Picouleau’s counterexample is a simple bipartite graph with δ(G)=4\delta(G)=4 and Δ(G)=5\Delta(G)=5 (reported by Petrosyan, 2012).
  • Further counterexamples cover degree-gap-one graphs with Δ(G)≥4\Delta(G) \ge 4 and regular graphs of degree at least 77 (Petrosyan, 2012).

August 2013 regular-graph update

The later work proves the conclusion for every simple kk-regular graph and for kk-regular multigraphs with k≤4k \le 4. Combined with the counterexamples, it identifies the 55- and 66-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 77 negatively, while no resolution of the 55- or 66-regular multigraph cases was found.

Sources

Solutions 0

No solutions have been posted yet.