-
Optimization hierarchies for distance-avoiding sets in compact spaces
Authors:
Bram Bekker,
Olga Kuryatnikova,
Fernando Mário de Oliveira Filho,
Juan C. Vera
Abstract:
Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's proble…
▽ More
Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's problem and similar problems. These hierarchies are shown to converge and are used to compute the best upper bounds for $α_n$ in low dimensions.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Two-Stage Robust Quadratic Optimization with Equalities and its Application to Optimal Power Flow
Authors:
Olga Kuryatnikova,
Bissan Ghaddar,
Daniel K. Molzahn
Abstract:
In this work, we consider two-stage quadratic optimization problems under ellipsoidal uncertainty. In the first stage, one needs to decide upon the values of a subset of optimization variables (control variables). In the second stage, the uncertainty is revealed and the rest of the optimization variables (state variables) are set up as a solution to a known system of possibly non-linear equations.…
▽ More
In this work, we consider two-stage quadratic optimization problems under ellipsoidal uncertainty. In the first stage, one needs to decide upon the values of a subset of optimization variables (control variables). In the second stage, the uncertainty is revealed and the rest of the optimization variables (state variables) are set up as a solution to a known system of possibly non-linear equations. This type of problem occurs, for instance, in optimization for dynamical systems, such as electric power systems as well as gas and water networks. We propose a convergent iterative algorithm to build a sequence of approximately robustly feasible solutions with an improving objective value. At each iteration, the algorithm optimizes over a subset of the feasible set and uses affine approximations of the second-stage equations while preserving the non-linearity of other constraints. We implement our approach and demonstrate its performance on Matpower instances. This paper focuses on quadratic problems, but the approach is suitable for more general setups.
△ Less
Submitted 4 January, 2023; v1 submitted 7 April, 2021;
originally announced April 2021.
-
The maximum $k$-colorable subgraph problem and related problems
Authors:
Renata Sotirov,
Olga Kuryatnikova,
Juan Vera
Abstract:
The maximum $k$-colorable subgraph (M$k$CS) problem is to find an induced $k$-colorable subgraph with maximum cardinality in a given graph. This paper is an in-depth analysis of the M$k$CS problem that considers various semidefinite programming relaxations including their theoretical and numerical comparisons. To simplify these relaxations we exploit the symmetry arising from permuting the colors,…
▽ More
The maximum $k$-colorable subgraph (M$k$CS) problem is to find an induced $k$-colorable subgraph with maximum cardinality in a given graph. This paper is an in-depth analysis of the M$k$CS problem that considers various semidefinite programming relaxations including their theoretical and numerical comparisons. To simplify these relaxations we exploit the symmetry arising from permuting the colors, as well as the symmetry of the given graphs when applicable. We also show how to exploit invariance under permutations of the subsets for other partition problems and how to use the M$k$CS problem to derive bounds on the chromatic number of a graph.
Our numerical results verify that the proposed relaxations provide strong bounds for the M$k$CS problem, and that those outperform existing bounds for most of the test instances.
△ Less
Submitted 11 February, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Reducing non-negativity over general semialgebraic sets to non-negativity over simple sets
Authors:
Olga Kuryatnikova,
Juan C. Vera,
Luis F. Zuluaga
Abstract:
A non-negativity certificate (NNC) is a way to write a polynomial so that its non-negativity on a semialgebraic set becomes evident. Positivstellensätze (Psätze) guarantee the existence of NNCs. Both, NNCs and Psätze underlie powerful algorithmic techniques for optimization. This paper proposes a universal approach to derive new Psätze for general semialgebraic sets from ones developed for simpler…
▽ More
A non-negativity certificate (NNC) is a way to write a polynomial so that its non-negativity on a semialgebraic set becomes evident. Positivstellensätze (Psätze) guarantee the existence of NNCs. Both, NNCs and Psätze underlie powerful algorithmic techniques for optimization. This paper proposes a universal approach to derive new Psätze for general semialgebraic sets from ones developed for simpler sets, such as a box, a simplex, or the non-negative orthant. We provide several results illustrating the approach. First, by considering Handelman's Positivstellensatz (Psatz) over a box, we construct non-SOS Schmüdgen-type Psätze over any compact semialgebraic set. That is, a family of Psätze that follow the structure of the fundamental Schmüdgen's Psatz, but where instead of SOS polynomials, any class of polynomials containing the non-negative constants can be used, such as SONC, DSOS/SDSOS, hyperbolic or sums of AM/GM polynomials. Secondly, by considering the simplex as the simple set, we derive a sparse Psatz over general compact sets, which does not require any structural assumptions of the set. Finally, by considering Pólya's Psatz over the non-negative orthant, we derive a new non-SOS Psatz over unbounded sets which satisfy some generic conditions. All these results contribute to the literature regarding the use of non-SOS polynomials and sparse NNCs to derive Psätze over compact and unbounded sets. Throughout the article, we illustrate our results with relevant examples and numerical experiments.
△ Less
Submitted 22 March, 2024; v1 submitted 14 September, 2019;
originally announced September 2019.
-
Generalizations of Schoenberg's theorem on positive definite kernels
Authors:
Olga Kuryatnikova,
Juan C. Vera
Abstract:
The seminal theorem of I.J. Schoenberg characterizes positive definite (p.d.) kernels on the unit sphere $S^{n-1}$ invariant under the automorphisms of the sphere. We obtain two generalizations of this theorem for p.d. kernels on fiber bundles. Our first theorem characterizes invariant p.d. kernels on bundles whose fiber is a product of a compact set and the unit sphere. This result implies, in pa…
▽ More
The seminal theorem of I.J. Schoenberg characterizes positive definite (p.d.) kernels on the unit sphere $S^{n-1}$ invariant under the automorphisms of the sphere. We obtain two generalizations of this theorem for p.d. kernels on fiber bundles. Our first theorem characterizes invariant p.d. kernels on bundles whose fiber is a product of a compact set and the unit sphere. This result implies, in particular, a characterization of invariant under the automorphisms of the sphere, p.d. kernels on a product of $S^{n-1}$ and a compact set. Our second result characterizes invariant p.d. kernels on the bundle whose fiber is $S^{n-1}$, base space is $(S^{n-1})^{r}$ and map is the projection on the base space. This set of kernels is isomorphic to the set of invariant under the automorphisms of the sphere continuous functions $F$ on $(S^{n-1})^{r+2}$ such that $F(\cdot,\cdot ,Z)$ is positive definite for every $Z \in (S^{n-1})^{r}$. When $Z$ is fixed, this class reduces to the class of p.d. kernels invariant under the stabilizer of $Z$ in the automorphism group of the sphere. For $r=1$ these kernels have been used to obtain upper bounds for the spherical codes problem. Our extension for $r>1$ can be used to construct new upper bounds on the size of spherical codes.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
Positive semidefinite approximations to the cone of copositive kernels
Authors:
Olga Kuryatnikova,
Juan C. Vera
Abstract:
It has been shown that the maximum stable set problem in some infinite graphs, and the kissing number problem in particular, reduces to a minimization problem over the cone of copositive kernels. Optimizing over this infinite dimensional cone is not tractable, and approximations of this cone have been hardly considered in literature. We propose two convergent hierarchies of subsets of copositive k…
▽ More
It has been shown that the maximum stable set problem in some infinite graphs, and the kissing number problem in particular, reduces to a minimization problem over the cone of copositive kernels. Optimizing over this infinite dimensional cone is not tractable, and approximations of this cone have been hardly considered in literature. We propose two convergent hierarchies of subsets of copositive kernels, in terms of non-negative and positive definite kernels. We use these hierarchies and representation theorems for invariant positive definite kernels on the sphere to construct new SDP-based bounds on the kissing number. This results in fast-to-compute upper bounds on the kissing number that lie between the currently existing LP and SDP bounds.
△ Less
Submitted 1 December, 2018;
originally announced December 2018.
-
New bounds for truthful scheduling on two unrelated selfish machines
Authors:
Olga Kuryatnikova,
Juan C. Vera
Abstract:
We consider the minimum makespan problem for $n$ tasks and two unrelated parallel selfish machines. Let $R_n$ be the best approximation ratio of randomized monotone scale-free algorithms. This class contains the most efficient algorithms known for truthful scheduling on two machines. We propose a new $Min-Max$ formulation for $R_n$, as well as upper and lower bounds on $R_n$ based on this formulat…
▽ More
We consider the minimum makespan problem for $n$ tasks and two unrelated parallel selfish machines. Let $R_n$ be the best approximation ratio of randomized monotone scale-free algorithms. This class contains the most efficient algorithms known for truthful scheduling on two machines. We propose a new $Min-Max$ formulation for $R_n$, as well as upper and lower bounds on $R_n$ based on this formulation. For the lower bound, we exploit pointwise approximations of cumulative distribution functions (CDFs). For the upper bound, we construct randomized algorithms using distributions with piecewise rational CDFs. Our method improves upon the existing bounds on $R_n$ for small $n$. In particular, we obtain almost tight bounds for $n=2$ showing that $|R_2-1.505996|<10^{-6}$.
△ Less
Submitted 25 September, 2019; v1 submitted 13 November, 2017;
originally announced November 2017.