Avoid common mistakes on your manuscript.
1 Correction to: Mathematical Programming https://doi.org/10.1007/s10107-020-01587-x
Let \({\mathcal {C}}\) be a clutter over ground set V. \({\mathcal {C}}\) is ideal if the polyhedron \(Q({\mathcal {C}}):=\left\{ x\in {\mathbb {R}}^V_+:\sum _{v\in C}x_v\ge 1~\forall C\in {\mathcal {C}}\right\} \) is integral. Given an integer \(k\ge 2\), \({\mathcal {C}}\) is k-wise intersecting if every subset of at most k members have a common element, yet no element belongs to all members. In the paper, we studied the following conjecture.
Conjecture 3
There exists an integer \(k\ge 4\) such that every k-wise intersecting clutter is non-ideal.
Let \(n \ge 1\) be an integer, and let \(S\subseteq \{0,1\}^n\). Let \(\mathrm {conv}(S)\) denote the convex hull of S. An inequality of the form \(\sum _{i\in I} x_i + \sum _{j\in J} (1-x_j)\ge 1\), for some disjoint \(I,J\subseteq [n]\), is called a generalized set covering inequality. The set S is cube-ideal if every facet of \(\mathrm {conv}(S)\) is defined by \(x_i\ge 0\), \(x_i\le 1\), or a generalized set covering inequality.
Conjecture 16
There exists an integer \(k\ge 4\) such that for every cube-ideal set S, either all the points in S agree on a coordinate, or there is a subset of S of at most k points that do not agree on a coordinate.
At the beginning of §4 of the paper, we showed that Conjecture 3 for k implies Conjecture 16 for the same k. Then, in §4.2, we proved that the two conjectures are equivalent. While the statement is true, our proof is flawed; we address the source of the flaw shortly. For now, let us provide a shorter, correct proof of this fact.
Theorem 23
Conjecture 16 for k is equivalent to Conjecture 3 for the same k.
Revised proof
We already showed \((\Leftarrow )\). It remains to prove \((\Rightarrow )\). Suppose Conjecture 3 is false for some \(k\ge 4\). That is, there is an ideal k-wise intersecting clutter \({\mathcal {C}}\) over ground set \(\{1,2,\ldots ,n\}\). Let
Observe that S is an up-monotone subset of \(\{0,1\}^n\). By Theorem 4.3 of [2], since \({\mathcal {C}}\) is an ideal clutter, S is a cube-ideal set. Moreover, since \({\mathcal {C}}\) is k-wise intersecting, the points in S do not agree on a coordinate but every subset of S of \(\le k\) points do. Therefore, S refutes Conjecture 16 for k, as required. \(\square \)
The culprit. The previous proof of Theorem 23 relied on Theorem 22, but there is an oversight in the proof of that theorem. More specifically, the last two sentences of the proof of Claim 3, starting with “Thus, to finish the proof,” and ending with “We leave this as an easy exercise for the reader.” are incorrect. As a result, we retract the second claim of Theorem 22, as follows.
Theorem 22
Let \({\mathcal {C}}\) be an ideal tangled clutter. Then \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) is a duplication of a cuboid.
In particular, we do not prove that every ideal tangled clutter has an ideal core (though this has been proved using more advanced machinery recently [1]). The only result in the paper that relies on Theorem 22 is Theorem 23, which remains correct.
Fixing Theorem 22. The proof of Theorem 22 can be expanded to show something different. Moving forward, we use terminology and results from our paper without recalling them.
Theorem 22a
Let \({\mathcal {C}}\) be an ideal tangled clutter over ground set V, let \(G=(V,E)\) be the bipartite graph over vertex set V whose edges correspond to the minimum covers of \({\mathcal {C}}\), and let \(\{U_1,V_1\},\ldots ,\{U_r,V_r\}\) be the bipartitions of the connected components of G. Then the following statements hold:
-
1.
\(\mathrm {core}\!\left( {\mathcal {C}}\right) \) is a tangled clutter.
-
2.
For each \(i\in [r]\), pick \(u_i\in U_i\) and \(v_i\in V_i\). Let \({\mathcal {C}}'\) be the clutter over ground set \(\{u_1,v_1,\ldots ,u_r,v_r\}\) obtained from \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) after contracting \(V-\{u_1,v_1,\ldots ,u_r,v_r\}\). Then \(\mathrm {conv}(\{\chi _C:C\in {\mathcal {C}}'\})\) can be described by \(z\ge \mathbf{0}\), \(z_{u_i}+z_{v_i}=1,i\in [r]\), and
$$\begin{aligned} \sum _{B\cap U_i\ne \emptyset } |B\cap U_i| z_{u_i} + \sum _{B\cap V_j\ne \emptyset } |B\cap V_j| z_{v_j} \ge 1 \end{aligned}$$for every minimal cover B of \({\mathcal {C}}\) such that for each \(i\in [r]\), \(B\cap (U_i\cup V_i)\subseteq U_i \text { or } V_i\).
-
3.
\({\mathcal {C}}'\) is the cuboid of some subset \(S\subseteq \{0,1\}^r\), where \(\mathrm {conv}(S)\) is defined by \(\mathbf{0}\le x\le \mathbf{1}\), and
$$\begin{aligned} \sum _{B\cap U_i\ne \emptyset } |B\cap U_i|x_i+ \sum _{B\cap V_j\ne \emptyset } |B\cap V_j|(1-x_j)\ge 1 \end{aligned}$$for every minimal cover B of \({\mathcal {C}}\) such that for each \(i\in [r]\), \(B\cap (U_i\cup V_i)\subseteq U_i \text { or } V_i\).
Proof
By Proposition 20 (3), for each \(i\in [r]\), the elements in \(U_i\) are duplicates in \(\mathrm {core}\!\left( {\mathcal {C}}\right) \), the elements in \(V_i\) are duplicates in \(\mathrm {core}\!\left( {\mathcal {C}}\right) \), and \(|\{u,v\}\cap C|=1\) for all \(u\in U_i,v\in V_i\) and \(C\in \mathrm {core}\!\left( {\mathcal {C}}\right) \). That is, each \(C \in \mathrm {core}\!\left( {\mathcal {C}}\right) \) is determined by r binary choices; in each connected component of G, C must contain exactly one of the two parts of the bipartition. This allows a more concise representation of the core. For each \(C \in \mathrm {core}\!\left( {\mathcal {C}}\right) \), define \(p_{C} \in \{0, 1\}^{r}\) such that
Let \(S := \{p_{C} : C \in \mathrm {core}\!\left( {\mathcal {C}}\right) \}\subseteq \{0,1\}^r\). Then \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) is a duplication of \(\mathrm {cuboid}\!\left( S\right) \).
Claim 1
\(\mathrm {core}\!\left( {\mathcal {C}}\right) \) is a tangled clutter, so (1) holds.
Proof of Claim
As a subset of \({\mathcal {C}}\), \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) has covering number at most two, and every element of it appears in a cover of cardinality two. Thus, to prove the claim, it suffices to show that \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) has covering number at least two. Let y be a fractional packing of \({\mathcal {C}}\) of value two. Then \(\mathrm {support}(y)\subseteq \mathrm {core}\!\left( {\mathcal {C}}\right) \) by Proposition 20 (1), so y is also a fractional packing of \(\mathrm {core}\!\left( {\mathcal {C}}\right) \). Subsequently, \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) has covering number at least two, as required. \(\Diamond \)
We know that
Claim 2
\(\mathrm {conv}\{\chi _C:C\in \mathrm {core}\!\left( {\mathcal {C}}\right) \}= Q\big (b({\mathcal {C}})\big ) \cap \big \{x: x_{u}+x_{v}=1, ~\{u,v\}\in E\big \}\).
Proof of Claim
\((\subseteq )\) follows immediately from \((\star )\). \((\supseteq )\) Pick a point \(x^\star \) in the set on the right-hand side. Clearly, \(x^\star \in Q\big (b({\mathcal {C}})\big )\). Since \({\mathcal {C}}\) is ideal, so is \(b({\mathcal {C}})\), implying that for some \(\lambda \in {\mathbb {R}}_+^{{\mathcal {C}}}\) with \(\sum _{C\in {\mathcal {C}}} \lambda _C=1\), we have that
Since for all \(\{u,v\}\in E\), we have that \(x^\star _{u}+x^\star _{v}=1\) and \(\{u,v\}\in b({\mathcal {C}})\), equality must hold above and by \((\star )\), if \(\lambda _C>0\) then \(C\in \mathrm {core}\!\left( {\mathcal {C}}\right) \). Hence, \(x^\star \in \mathrm {conv}\{\chi _C:C\in \mathrm {core}\!\left( {\mathcal {C}}\right) \}\), as required. \(\Diamond \)
For each \(i\in [r]\), pick \(u_i\in U_i\) and \(v_i\in V_i\), and let \({\mathcal {C}}'\) be the clutter over ground set \(\{u_1,v_1,\ldots ,u_r,v_r\}\) obtained from \(\mathrm {core}\!\left( {\mathcal {C}}\right) \) after contracting \(V-\{u_1,v_1,\ldots ,u_r,v_r\}\). Notice that \(|\{u_i,v_i\}\cap C|=1\) for all \(i\in [r]\) and \(C\in {\mathcal {C}}'\). Observe that \({\mathcal {C}}'\) is nothing but \(\mathrm {cuboid}\!\left( S\right) \).Footnote 1
Claim 3
\(\mathrm {conv}(\{\chi _C:C\in {\mathcal {C}}'\})\) can be described by \(z\ge \mathbf{0}\), \(z_{u_i}+z_{v_i}=1,i\in [r]\), and
for every \(B\in b({\mathcal {C}})\) such that for each \(i\in [r]\), \(B\cap (U_i\cup V_i)\subseteq U_i \text { or } V_i\). Thus, (2) holds.
Proof of Claim
Observe that \(\mathrm {conv}\{\chi _C:C\in {\mathcal {C}}' \}\) is the projection of \(\mathrm {conv}\{\chi _C:C\in \mathrm {core}\!\left( {\mathcal {C}}\right) \}\) onto the coordinates \(\{u_i,v_i:i\in [r]\}\). Thus, to give a description for \(\mathrm {conv}\{\chi _C:C\in {\mathcal {C}}' \}\), we may apply Fourier–Motzkin Elimination to the description of \(\mathrm {conv}\{\chi _C:C\in \mathrm {core}\!\left( {\mathcal {C}}\right) \}\) given by Claim 2, thereby giving us the claimed description. \(\Diamond \)
Claim 4
\(\mathrm {conv}(S)\) is defined by \(\mathbf{0}\le x\le \mathbf{1}\), and
for every minimal cover B of \({\mathcal {C}}\) such that for each \(i\in [r]\), \(B\cap (U_i\cup V_i)\subseteq U_i \text { or } V_i\). Thus, (3) holds.
Proof of Claim
This follows from Claim 3 by another application of Fourier–Motzkin Elimination. \(\Diamond \)
Claim 4 finishes the proof. \(\square \)
References
Abdi, A., Cornuéjols, G.: A min-max theorem for clean tangled clutters. Submitted, 2022
Abdi, A., Cornuéjols, G., Guričanová, N., Lee, D.: Cuboids, a class of clutters. J. Comb. Theory Ser. B 142, 144–209 (2020)
Abdi, A., Cornuéjols, G., Huynh, T., Lee, D.: Idealness of k-wise intersecting families. Math. Program. (2020)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Published in Mathematical Programming, 2020 [3].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abdi, A., Cornuéjols, G., Huynh, T. et al. Correction to: Idealness of k-wise intersecting families. Math. Program. 192, 51–55 (2022). https://doi.org/10.1007/s10107-022-01773-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-022-01773-z