arXiv++ Combinatorics

McCuaig (2001, Brace Generation, J. Graph Theory 38: 124-169) proved a generation theorem for braces, and used it as the principal induction tool to obtain a structural characterization of Pfaffian braces (2004, P{ó}lya's Permanent Problem, Electronic J. Combinatorics 11: R79). A brace is minimal if deleting any edge results in a graph that is not a brace. From McCuaig's brace generation theorem, we derive our main theorem that may be viewed as an induction tool for minimal braces. As an application, we prove that a minimal brace of order $2n$ has size at most $5n-10$, when $n \geq 6$, and we provide a complete characterization of minimal braces that meet this upper bound. A similar work has already been done in the context of minimal bricks by Norine and Thomas (2006, Minimal Bricks, J. Combin. Theory Ser. B 96: 505-513) wherein they deduce the main result from the brick generation theorem due to the same authors (2007, Generating Bricks, J. Combin. Theory Ser. B 97: 769-817).

A well-studied geometric object in combinatorial optimization is the perfect matching polytope of a graph $G$. In any investigation concerning the perfect matching polytope, one may assume that $G$ is matching covered --- that is, it is a connected graph (of order at least two) and each edge lies in some perfect matching. A graph $G$ is Birkhoff-von Neumann (BvN) if its perfect matching polytope is characterized solely by non-negativity and degree constraints. A result of Balas (1981) implies that $G$ is BvN if and only if $G$ does not contain a pair of vertex-disjoint odd cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. It follows immediately that the corresponding decision problem is in co-NP. However, it is not known to be in NP. The problem is in P if the input graph is planar --- due to a result of Carvalho, Lucchesi and Murty (2004). These authors, along with Kothari (2018), have shown that this problem is equivalent to the seemingly unrelated problem of deciding whether a given graph is $\overline{C_6}$-free. The combinatorial diameter of a polytope is the diameter of its $1$-skeleton graph. A graph $G$ is PM-compact (PMc) if the combinatorial diameter of its perfect matching polytope equals one. A result of Chvátal (1975) implies that $G$ is PMc if and only if $G$ does not contain a pair of vertex-disjoint even cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. Once again the corresponding decision problem is in co-NP, but it is not known to be in NP. The problem is in P if the input graph is bipartite or is near-bipartite --- due to a result of Wang, Lin, Carvalho, Lucchesi, Sanjith and Little (2013). In this paper, we consider the "intersection" of the aforementioned problems. We give a complete characterization of matching covered graphs that are BvN as well as PMc. (Thus the corresponding decision problem is in P.)

Lovász (1987) proved that every matching covered graph $G$ may be uniquely decomposed into a list of bricks (nonbipartite) and braces (bipartite); we let $b(G)$ denote the number of bricks. An edge $e$ is removable if $G-e$ is also matching covered; furthermore, $e$ is $b$-invariant if $b(G-e)=1$, and $e$ is quasi-$b$-invariant if $b(G-e)=2$. (Each edge of the Petersen graph is quasi-$b$-invariant.) A brick $G$ is near-bipartite if it has a pair of edges $\{e,f\}$ so that $G-e-f$ is matching covered and bipartite; such a pair $\{e,f\}$ is a removable doubleton. (Each of $K_4$ and the triangular prism $\overline{C_6}$ has three removable doubletons.) Carvalho, Lucchesi and Murty (2002) proved a conjecture of Lovász which states that every brick, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, has a $b$-invariant edge. A cubic graph is essentially $4$-edge-connected if it is $2$-edge-connected and if its only $3$-cuts are the trivial ones; it is well-known that each such graph is either a brick or a brace; we provide a graph-theoretical proof of this fact. We prove that if $G$ is any essentially $4$-edge-connected cubic brick then its edge-set may be partitioned into three (possibly empty) sets: (i) edges that participate in a removable doubleton, (ii) $b$-invariant edges, and (iii) quasi-$b$-invariant edges; our Main Theorem states that if $G$ has two adjacent quasi-$b$-invariant edges, say $e_1$ and $e_2$, then either $G$ is the Petersen graph or the (near-bipartite) Cubeplex graph, or otherwise, each edge of $G$ (distinct from $e_1$ and $e_2$) is $b$-invariant. As a corollary, we deduce that each essentially $4$-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges.

A cut $C:=\partial(X)$ of a matching covered graph $G$ is a separating cut if both its $C$-contractions $G/X$ and $G/\overline{X}$ are also matching covered. A brick is solid if it is free of nontrivial separating cuts. In 2004, we (Carvalho, Lucchesi and Murty) showed that the perfect matching polytope of a brick may be described without recourse to odd set constraints if and only if it is solid. In 2006, we proved that the only simple planar solid bricks are the odd wheels. The problem of characterizing nonplanar solid bricks remains unsolved. A bi-subdivision of a graph $J$ is a graph obtained from $J$ by replacing each of its edges by paths of odd length. A matching covered graph $J$ is a conformal minor of a matching covered graph $G$ if there exists a bi-subdivision $H$ of $J$ which is a subgraph of $G$ such that $G-V(H)$ has a perfect matching. For a fixed matching covered graph $J$, a matching covered graph $G$ is $J$-based if $J$ is a conformal minor of $G$ and, otherwise, $G$ is $J$-free. A basic result due to Lovász (1983) states that every nonbipartite matching covered graph is either $K_4$-based or is $\overline{C_6}$-based or both, where $\overline{C_6}$ is the triangular prism. In 2016, we (Kothari and Murty) showed that, for any cubic brick $J$, a matching covered graph $G$ is $J$-free if and only if each of its bricks is $J$-free. We also found characterizations of planar bricks which are $K_4$-free and those which are $\overline{C_6}$-free. Each of these problems remains unsolved in the nonplanar case. In this paper we show that the seemingly unrelated problems of characterizing nonplanar solid bricks and of characterizing nonplanar $\overline{C_6}$-free bricks are essentially the same. We do this by establishing that a simple nonplanar brick, other than the Petersen graph, is solid if and only if it is $\overline{C_6}$-free.

A brick is a $3$-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick $G$ is near-bipartite if it has a pair of edges $α$ and $β$ such that $G-\{α,β\}$ is bipartite and matching covered; examples are $K_4$ and the triangular prism $\overline{C_6}$. The significance of near-bipartite bricks arises from the theory of ear decompositions of matching covered graphs. The object of this paper is to establish a generation procedure which is specific to the class of simple near-bipartite bricks. In particular, we prove that every simple near-bipartite brick $G$ has an edge $e$ so that the graph obtained from $G-e$ by contracting each edge that is incident with a vertex of degree two is also a simple near-bipartite brick, unless $G$ belongs to any of eight well-defined infinite families. This is a refinement of the brick generation theorem of Norine and Thomas (Generating Bricks, J. Combin. Theory Ser. B, 2007) which is appropriate for the restricted class of near-bipartite bricks. Earlier, the first author (Generating near-bipartite bricks, J. Graph Theory, 2019) proved a similar generation theorem for (not necessarily simple) near-bipartite bricks; we deduce our main result from this theorem. Our proof is based on the strategy of Carvalho, Lucchesi and Murty (2008) and uses several of their techniques and results. The results presented here also appear in the Ph.D. thesis of the first author.