arXiv++ Combinatorics

Cutting plane methods, particularly outer approximation, are a well-established approach for solving nonlinear discrete optimization problems without relaxing the integrality of decision variables. While powerful in theory, their computational performance can be highly variable. Recent research has shown that constructing cutting planes at the projection of infeasible points onto the feasible set can significantly improve the performance of cutting plane approaches. Motivated by this, we examine whether constructing cuts at feasible points closer to the optimal solution set could further enhance the effectiveness of cutting plane methods. We propose a hybrid method that combines the global convergence guarantees of cutting plane methods with the local exploration capabilities of first-order optimization techniques. Specifically, we use projected gradient methods as a heuristic to identify promising regions of the solution space and generate tighter, more informative cuts. We focus on binary optimization problems with convex differentiable objective functions, where projection operations can be efficiently computed via mixed-integer linear programming. By constructing cuts at points closer to the optimal solution set and eliminating non-optimal regions, the algorithm achieves better approximation of the feasible region and faster convergence. Numerical experiments confirm that our approach improves both the quality of the solution and computational efficiency across different solver configurations. This framework provides a flexible foundation for further extensions to more general discrete domains and offers a promising heuristic to the toolkit for nonlinear discrete optimization.

This paper aims to answer an open question recently posed in the literature, that is to find a fast exact method for solving the p-dispersion-sum problem (PDSP), a nonconcave quadratic binary maximization problem. We show that, since the Euclidean distance matrix defining the quadratic term in (PDSP) is always conditionally negative definite, the cutting plane method is exact for (PDSP) even in the absence of concavity. As such, the cutting plane method, which is primarily designed for concave maximisation problems, converges to the optimal solution of the (PDSP). The numerical results show that the method outperforms other exact methods for solving (PDSP), and can solve to optimality large instances of up to two thousand variables.

The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked. We establish that the $d$-dimensional cube is $\lfloor(d+1)/2\rfloor$-linked, for every $d\ne 3$; this is the maximum possible linkedness of a $d$-polytope. This result implies that, for every $d\ge 1$, a cubical $d$-polytope is $\lfloor{d/2}\rfloor$-linked, which answers a question of Wotzlaw \cite{Ron09}. Finally, we introduce the notion of strong linkedness, which is slightly stronger than that of linkedness. A graph $G$ is {\it strongly $k$-linked} if it has at least $2k+1$ vertices and, for every vertex $v$ of $G$, the subgraph $G-v$ is $k$-linked. We show that cubical 4-polytopes are strongly $2$-linked and that, for each $d\ge 1$, $d$-dimensional cubes are strongly $\lfloor{d/2}\rfloor$-linked.

A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked. In a previous paper \cite{BuiPinUgo20a} we proved that every cubical $d$-polytope is $\floor{d/2}$-linked. Here we strengthen this result by establishing the $\floor{(d+1)/2}$-linkedness of cubical $d$-polytopes, for every $d\ne 3$. A graph $G$ is {\it strongly $k$-linked} if it has at least $2k+1$ vertices and, for every vertex $v$ of $G$, the subgraph $G-v$ is $k$-linked. We say that a polytope is (strongly) \textit{$k$-linked} if its graph is (strongly) $k$-linked. In this paper, we also prove that every cubical $d$-polytope is strongly $\floor{d/2}$-linked, for every $d\ne 3$. These results are best possible for this class of polytopes.

A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. We deal with the connectivity of the graphs of cubical polytopes. We first establish that, for any $d\ge 3$, the graph of a cubical $d$-polytope with minimum degree $δ$ is $\min\{δ,2d-2\}$-connected. Second, we show, for any $d\ge 4$, that every minimum separator of cardinality at most $2d-3$ in such a graph consists of all the neighbours of some vertex and that removing the vertices of the separator from the graph leaves exactly two components, with one of them being the vertex itself.