Imbalance conjecture

OPG_edge_imbalance_multiset_graphic

Medium ★★ Graph Theory

Status solved high confidence

Schreib and Yavari prove that the positive imbalance multiset $M_G$ is graphic, establishing the imbalance conjecture in full.

Cited literature (3)

Reviewer notes. These status corrections report results attributed to existing papers or to the final source version. Graph-Theory-LLM-Proofs located and checked the implication; it is not credited as the author of the result.

Auto-reviewed 2026-09-16 with gpt-6-astra.

Conjecture. Suppose that for all edges $ e\in E(G) $ we have $ imb(e)>0 $ . Then $ M_{G} $ is graphic.
Keywords: edge imbalance · graphic sequences

Discussion

Consider simple undirected graph $ G $ and let $ e=uv\in E(G) $ . The imbalance of the edge $ e $ defined as $ imb(e)=|deg(u)-deg(v)| $ . The multiset of all edge imbalances of $ G $ is denoted by $ M_{G} $ . Note, that conjecture is verified for all such graphs with $ \leq 9 $ vertices.

Bibliography