arXiv++ Combinatorics

Circulant contraction minors play a key role for characterizing ideal circular matrices in terms of minimally non ideal structures. In this article we prove necessary and sufficient conditions for a circular matrix $A$ to have circulant contraction minors in terms of circuits in a digraph associated with $A$. In the particular case when $A$ itself is a circulant matrix, our result provides an alternative characterization to the one previously known from the literature.

Clique-node and closed neighborhood matrices of circular interval graphs are circular matrices. The stable set polytope and the dominating set polytope on these graphs are therefore closely related to the set packing polytope and the set covering polyhedron on circular matrices. Eisenbrand et al. take advantage of this relationship to propose a complete linear description of the stable set polytope on circular interval graphs. In this paper we follow similar ideas to obtain a complete description of the dominating set polytope on the same class of graphs. As in the packing case, our results are established for a larger class of covering polyhedra of the form Q*(A,b):= conv{x \in \Z^n_+: Ax >= b}, with A a circular matrix and b an integer vector. These results also provide linear descriptions of polyhedra associated with several variantsof the dominating set problem on circular interval graphs.

The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lovász-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is $\LS_+$-perfect. An according conjecture has been recently formulated ($\LS_+$-Perfect Graph Conjecture); here we verify it for the well-studied class of claw-free graphs.

Working on the set covering polyhedron of consecutive ones circulant matrices, Argiroffo and Bianchi found a class of facet defining inequalities, induced by a particular family of circulant minors. In this work we extend these results to inequalities associated with every circulant minor. We also obtain polynomial separation algorithms for particular classes of such inequalities.