Extremal minimal bipartite matching covered graphs

[Ear Decomposition Theorem]
A bipartite graph is matching covered if and only if it admits an ear decomposition.

If a graph H, distinct from C_4, is obtained from a Halin tree T by isomorphic leaf matching, then H-E_2 has precisely two components, each of which is isomorphic to T.

[Main Theorem: Characterization of \mathcal{H}_2]
A graph is a 2-vertex extremal minimal bipartite matching covered graph if and only if it is obtained from a Halin tree by isomorphic leaf matching.

[Characterization of \mathcal{H}_3]
A graph is a 2-vertex n-extremal minimal bipartite matching covered graph if and only if it is obtained from a cubic Halin tree by isomorphic leaf matching.

[Characterization of \mathcal{H}_4]
A graph is an edge extremal minimal bipartite matching covered graph if and only if it is obtained from a star by isomorphic leaf matching.

In a matching covered graph, any edge that participates in a 2-cut is not removable. \qed

Any graph obtained from a nontrivial tree by isomorphic leaf matching is a minimal bipartite matching covered graph.

Any graph G obtained from a Halin tree T by isomorphic leaf matching is a minimal bipartite matching covered graph that is 2-vertex extremal. Furthermore:

1. if T is a cubic Halin tree then G is also 2-vertex n-extremal, whereas

2. if T is a star then G is also edge extremal.

[Characterization of \mathcal{H}_0]
A graph G, distinct from C_4, is a 2-edge extremal minimal bipartite matching covered graph if and only if its partial retract \widehat{G} is a 2-vertex extremal minimal bipartite matching covered graph.

[Characterization of \mathcal{H}_1]
A graph G is a 2-edge n-extremal minimal bipartite matching covered graph if and only if its partial retract \widehat{G} is an edge extremal minimal bipartite matching covered graph and \Delta(G)=3.

Let G be a matching covered graph, let u be a vertex of degree at least three and let e\in \partial(u). Then there is a conformal cycle C such that u\in C but e\notin C.

Let G be a bipartite graph, H be a matching covered subgraph and P be an ear of H in G. Then H\cup P is matching covered.

Let G be a bipartite matching covered graph, H be any conformal matching covered subgraph and e\notin H denote an edge that has at least one end in H. Then there exists an ear of H, say P_e, containing e such that H\cup P_e is a conformal matching covered subgraph of G.

For any conformal matching covered subgraph H of a bipartite matching covered graph G, there exists an ear decomposition of G in which H appears as one of the subgraphs.

Every conformal matching covered subgraph of a minimal bipartite matching covered graph is an induced subgraph.\qed

Let G be a minimal bipartite matching covered graph and let (C,P_1,P_2,\dots ,P_r) be any ear sequence. Then each ear P_i contains a 2-edge of G.

In a minimal bipartite matching covered graph, distinct from C_4, each conformal cycle contains a pair of 2-edges that comprise an induced matching.

A minimal bipartite matching covered graph, distinct from C_4, has an induced matching of size at least m-n+2, each of whose members is a 2-edge.

In a minimal bipartite matching covered graph, |V_2|\geqslant 2(m-n+2).

Every extremal minimal bipartite matching covered graph, distinct from C_4, satisfies the following:

1. E_2 is a perfect matching of G[V_2] and |E_2|=m-n+2,

2. each ear in any ear decomposition has exactly one 2-edge, and

3. each conformal cycle has precisely two 2-edges.

\mathcal{H}_2-C_4\subset \mathcal{H}_0.

Every extremal minimal bipartite matching covered graph, distinct from C_4, satisfies the following:

1. |V_3|=3n-2m-4,

2. |E_{3,2}|=2m-2n+4, and

3. |E_{3}|=3n-2m-6=|V_3|-2.\qed

[Balanced 2-cut Property]
In an extremal minimal bipartite matching covered graph, each 3-edge participates in a balanced 2-cut with some other 3-edge.

[Balanced 2-cut Induction Tool]
Let G be a bipartite graph that has a balanced 2-cut F, and let G_1 and G_2 be the (bipartite) graphs obtained from G by a 2-cut decomposition across F. Then the following statements hold:

1. G is matching covered if and only if G_1 and G_2 are both matching covered;

2. furthermore, G is minimal if and only if G_1 and G_2 are both minimal; and

3. finally, G is extremal if and only if G_1 and G_2 are both extremal.

Every extremal minimal bipartite matching covered graph, that has precisely two vertices of degree at least three, is obtained from a star by isomorphic leaf matching.

1.3[Main Theorem: Characterization of \mathcal{H}_2]
A graph G belongs to \mathcal{H}_2 if and only if it is obtained from a Halin tree by isomorphic leaf matching.

In a minimal bipartite matching covered graph, |V_2|\geqslant\frac{n}{2}+2.

1.4[Characterization of \mathcal{H}_3]
A graph G belongs to \mathcal{H}_3 if and only if it is obtained from a cubic Halin tree by isomorphic leaf matching.

\mathcal{H}_3\subset \mathcal{H}_2.

A minimal bipartite matching covered graph, distinct from C_4, has at most \frac{3n-6}{2} edges.

1.5[Characterization of \mathcal{H}_4]
A graph G belongs to \mathcal{H}_4 if and only if it is obtained from a star by isomorphic leaf matching.

\mathcal{H}_4-C_6\subset \mathcal{H}_2.

\mathcal{H}_4\cap \mathcal{H}_3=\{\Theta\}.

[Bicontraction preserves Matching Covered property]
Let G be a graph that has a vertex of degree two, say v, that has two distinct neighbours each of which has degree two or more, and let G':=G/v. Then G is matching covered if and only if G' is matching covered.

[Restricted Bicontraction preserves 2-edge Extremality]
Let G be a bipartite graph that has a vertex of degree two, say v, each of whose neighbours has degree three or more, and let G':=G/v. Then the following statements hold:

1. G is matching covered if and only if G' is matching covered;

2. furthermore, G is minimal if and only if G' is minimal; and

3. finally, G belongs to \mathcal{H}_0 if and only if G' belongs to \mathcal{H}_0.

A graph G belongs to \mathcal{H}_0 if and only if its partial retract \widehat{G} belongs to \mathcal{H}_0.

1.9[Characterization of \mathcal{H}_0]
A graph G, distinct from C_4, belongs to \mathcal{H}_0 if and only if its partial retract \widehat{G} belongs to \mathcal{H}_2.

In a minimal bipartite matching covered graph, |E_2|\geqslant \frac{n+10}{6}.

If a graph G has a vertex of degree two, say v, each of whose neighbours has degree at least three, then |E_3(G)|=|E_3(G/v)|. Consequently, |E_3(G)|=|E_3(\widehat{G})|.

1.10[Characterization of \mathcal{H}_1]
A graph G belongs to \mathcal{H}_1 if and only if its partial retract \widehat{G} belongs to \mathcal{H}_4 and \Delta(G)=3.

\mathcal{H}_1\subset \mathcal{H}_0.

\mathcal{H}_1\cap \mathcal{H}_2=\{\Theta\}.

For k\geqslant 1, every k-extendable graph is (k+1)-connected.

In a k-extendable graph, each vertex has degree at least k+1.

[Characterization of k-extendable Bipartite Graphs]
For a bipartite graph G[A,B] of order at least 2k+2, where |A|=|B|, the following are equivalent:

1. G is k-extendable,

2. for every nonempty subset S\subseteq A, either N(S)=B or |N(S)|\geqslant |S|+k, and

3. G-X-Y is matchable for all X\subseteq A and Y\subseteq B such that |X|=|Y|=k.

If G[A,B] is a k-extendable bipartite graph, where k\geqslant 1, then G-a-b is (k-1)-extendable for each pair a\in A and b\in B.

In a minimal k-extendable bipartite graph G, the induced subgraph G[V_{k+2}] is a forest.

In a minimal k-extendable bipartite graph, |V_{k+1}|\geqslant \frac{kn+2}{2k+1}.

For k\geqslant 1, in a minimal k-extendable bipartite graph, |V_{k+1}|\geqslant \frac{1}{k}(m-n+1).

In a minimal k-extendable bipartite graph, |E|\leqslant (k+1)n-1.

Every minimal 2-extendable bipartite graph, on twelve or more vertices, satisfies |E|\leqslant\frac{5n-20}{2}.

Conjecture 8.9 implies Conjecture 8.10.

Conjecture 8.9 implies Conjecture 8.11.

Let p and q be nonnegative real numbers where p<q, let D:=[p,q], and let f : D^2\mapsto \mathbb{R} be the function f(x,y):=y(p+q-x)+x(p+q-y). Then f(x,y)\geqslant 2pq for each (x,y)\in D^2.

Every k-extendable bipartite graph is essentially 2k-edge-connected.

An edge e of a k-extendable bipartite graph is not superfluous if either of the following holds:

1. either an end of e has degree k+1,

2. or e belongs to a nontrivial 2k-cut.

Let G be a graph obtained from a tree T by isomorphic k-leaf matching where k\geqslant 1; adopt notation from Definition 8.18. For an edge e of H\cup H', let e_i and e_i' denote the copies of e in T_i and T_i', respectively, for each i\in \{1,2,\dots,k\}. Then, the set \{e_1,e_2,\dots ,e_k,e_1',e_2',\dots, e_k'\} is a 2k-cut of G containing the edge e.

The bipartite graph J_{k,r}[A,B], where r\geqslant k\geqslant 0, is \min\{k,r-k\}-extendable.

For any positive integer k, the bipartite graph G[A,B] obtained from a double star D_{p,q}, where p,q\geqslant k+1, by isomorphic k-leaf matching is k-extendable.

If G[A,B] is a k-extendable bipartite graph, where k\geqslant 1, then G-e-e' is (k-1)-extendable for any two nonadjacent edges e and e' such that an end of e is adjacent with an end of e'.

The bipartite graph G' obtained from a k-extendable bipartite graph G by replacing an edge uv, where d(u)=d(v)=p+1, with J_{p,r} is also k-extendable.

For a positive integer k, any graph G — obtained from a (k+1)-tree T, that is neither K_2 nor a star K_{1,p} where p< 2k, by isomorphic k-leaf matching — is a minimal k-extendable bipartite graph.

For a positive integer k, any graph G obtained from a (k+2)-tree T, that is neither K_2 nor a star K_{1,p} where p< 2k, by isomorphic k-leaf matching is a minimal k-extendable bipartite graph that satisfies the bound in Conjecture 8.9 with equality. Furthermore:

1. if T is a regular (k+2)-tree then G satisfies the bound in Conjecture 8.10 with equality, whereas

2. if T is a star then G satisfies the bound in Conjecture 8.11 with equality.