It would be fun to have a list of misleading ideas and traps in CO. I will update this post for new problems.

1 Polytope for s-t cut

\[\begin{equation} \begin{aligned} \sum_{e\in p} x_e &\geq 1 & &\forall \text{ $s$-$t$ path $p$}\\ x_e &\geq 0 & &\forall e\in E \end{aligned} \end{equation}\] Is this polytope integral?

Initially I thought, we have max flow min cut thm and flow polytope is integral and this path formulation of s-t cut should be the dual of flow problem and thus it is integral. However, hitting spanning tree (dual to tree packing) formulation has a integrality gap of 2. Make sense.

However, LP(1) is not the dual of Max-flow.

2 Size of support

Given a linear program with a rank \(r\) constraint matrix, what is the size of support of its optimal solution?

This is mentioned in a previous post. The description there is not precise. Consider the following linear program,

\[\begin{equation*} \begin{aligned} \min& & c^Tx& \\ s.t.& & Ax&\leq b\\ & & x&\geq 0 \end{aligned} \end{equation*}\]

Let \(r\) be the rank of \(A\). We may assume \(b\geq0\). For any \(c\) that this LP has a bounded solution, there must exist an optimal solution \(x^*\) with support at most \(r\). There are at most \(r\) tight constraints in \(Ax\leq b\) and hence the optimal solution \(x^*\) lies in the intersection of \(\R^n_+\) and a rank \(\geq n-r\) affine subspace, which is a convex polyhedron. If the LP has a bounded solution, then the optimal \(x^*\) must be some vertex of the polyhedron. To make a point in our affine subspace a vertex in the polyhedron, we need at least \(n-r\) hyperplanes \(x_i=0\), each of the hyperplanes gives us a zero coordinate. Thus for any bounded solution, the support is at most \(r\).

What about integer programs? One may think that the support should also be at most \(r\), since the 0s in the optimal solution of its linear relaxation are integers. But rounding the fractional coordinates may break the feasibility. The currently best upperbound is roughly \(m (3\|A\|_1+\sqrt{\log( \|A\|_1 )})\) [1].

3 Cocircuit space of binary matroids

This comes from the proof of Lemma 4.2 in [2].

First, recall that we have the following property for binary matroid.

To see this proposition, consider doing some row operations and deleting zero rows to make the matrix \(A\) become \([I_r| D]\). Note that row operations do not change the row space. The set of the first \(r\) columns is a base of \(M\) and the set of the rest \(n-r\) columns is a cobase. Denote this base by \(B\) and the cobase by \(B^*\). Now the support of each row is a fundamental cociruit with respect to \(B^*\). To see this claim, we have several approaches:

1. The dual matroids of \([I_r|D]\) is \([-D^T|I_{n-r}]\). Since we are working with \(\F_2\), the dual is just the binary matroid \([D^T|I_{n-r}]\). The claim follows easily.
2. Take a row from \([I_r| D]\) and let \(F^*\) be the set of columns with value \(0\). One can easily see that this is a hyperplane since the rank is \(r-1\) and any column not in \(F^*\) has \(1\) in that row, thus adding any element in \(E\setminus F^*\) will increase the rank. Then the complement of \(F^*\) is a cocircuit.

The claim shows that the cocircuit space contains the row space. Now we prove the other side. Every circuit is a fundamental circuit to some base. Thus we can choose different cobase \(B^*\) and do the same argument to show that every circuit in the row space. Hence, the cocircuit space is the same as row space of \(A\).

Here is the problem: Given a binary matroid \(A\in \F_2^{r\times n}\) and a cocycle \(C^*\) of \(A\), there exists a vector \(y\in \F_2^r\) such that \(C^*\) remains a cocycle in \(y^T A\).

With Proposition 1, you may think that this looks fine. The incidence vector of any cocycle is in the row space and \(y^T A\) is a linear combination of row vectors.

Counterexample: Consider the following binary matroid.

Any single column vector is a flat. So its complement should be a cocycle. However, it is easy to see that \(\begin{bmatrix} 0 & 1 & 1 & 1 & 1& 1& 1 \end{bmatrix}\) is not in the row space.

The bug is the definition of cocycle and cocircuit space. Cocycle is union of cocircuits but things in cocircuit space is the symmetric difference of cocircuits. (Or if you prefer to call the disjoint union of circuits a cycle, the complement of flat is union of cocircuits not cocycle.)

References