4 papers
Beyond binarity: Semidefinite programming for ternary quadratic problems
Frank de Meijer, Veronica Piccialli, Renata Sotirov +1
We study the ternary quadratic problem (TQP), a quadratic optimization problem with linear constraints where the variables take values in . While semidefinite program…
Spanning and Splitting: Integer Semidefinite Programming for the Quadratic Minimum Spanning Tree Problem
Frank de Meijer, Melanie Siebenhofer, Renata Sotirov +1
In the quadratic minimum spanning tree problem (QMSTP) one wants to find the minimizer of a quadratic function over all possible spanning trees of a graph. We present a formulation…
Exploiting Symmetries in Optimal Quantum Circuit Design
Frank de Meijer, Dion Gijswijt, Renata Sotirov
A physical limitation in quantum circuit design is the fact that gates in a quantum system can only act on qubits that are physically adjacent in the architecture. To overcome this…
Lagrangian Duality for Mixed-Integer Semidefinite Programming: Theory and Algorithms
Frank de Meijer, Renata Sotirov
This paper presents the Lagrangian duality theory for mixed-integer semidefinite programming (MISDP). We derive the Lagrangian dual problem and prove that the resulting Lagrangian…