Showing 1–8 of 8 results for author: Elloumi, S

Variational quantum algorithms for permutation-based combinatorial problems: Optimal ansatz generation with applications to quadratic assignment problems and beyond

Authors: Dylan Laplace Mermoud, Andrea Simonetto, Sourour Elloumi

Abstract: We present a quantum variational algorithm based on a novel circuit that generates all permutations that can be spanned by one- and two-qubits permutation gates. The construction of the circuits follows from group-theoretical results, most importantly the Bruhat decomposition of the group generated by the \(\mathtt{cx}\) gates. These circuits require a number of qubits that scale logarithmically w… ▽ More We present a quantum variational algorithm based on a novel circuit that generates all permutations that can be spanned by one- and two-qubits permutation gates. The construction of the circuits follows from group-theoretical results, most importantly the Bruhat decomposition of the group generated by the \(\mathtt{cx}\) gates. These circuits require a number of qubits that scale logarithmically with the permutation dimension, and are therefore employable in near-term applications. We further augment the circuits with ancilla qubits to enlarge their span, and with these we build ansatze to tackle permutation-based optimization problems such as quadratic assignment problems, and graph isomorphisms. The resulting quantum algorithm, \textsc{QuPer}, is competitive with respect to classical heuristics and we could simulate its behavior up to a problem with $256$ variables, requiring $20$ qubits. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Comments: 36 pages

A rounding and clustering-based exact algorithm for the p-center problem

Authors: Zacharie Ales, Cristian Duran-Matelunaa, Sourour Elloumi

Abstract: The p-center problem consists in selecting p facilities from a set of possible sites and allocating a set of clients to them in such a way that the maximum distance between a client and the facility to which it is allocated is minimized. This paper proposes a new scalable exact solution algorithm based on client clustering and an iterative distance rounding procedure. The client clustering enables… ▽ More The p-center problem consists in selecting p facilities from a set of possible sites and allocating a set of clients to them in such a way that the maximum distance between a client and the facility to which it is allocated is minimized. This paper proposes a new scalable exact solution algorithm based on client clustering and an iterative distance rounding procedure. The client clustering enables to initialize and update a subset of clients for which the p-center problem is iteratively solved. The rounding drastically reduces the number of distinct distances considered at each iteration. Our algorithm is tested on 396 benchmark instances with up to 1.9 million clients and facilities. We outperform the two state-of-the-art exact methods considered when p is not very small (i.e., p > 5). △ Less

Submitted 29 November, 2024; originally announced November 2024.

Optimizing Variational Circuits for Higher-Order Binary Optimization

Authors: Zoé Verchère, Sourour Elloumi, Andrea Simonetto

Abstract: Variational quantum algorithms have been advocated as promising candidates to solve combinatorial optimization problems on near-term quantum computers. Their methodology involves transforming the optimization problem into a quadratic unconstrained binary optimization (QUBO) problem. While this transformation offers flexibility and a ready-to-implement circuit involving only two-qubit gates, it has… ▽ More Variational quantum algorithms have been advocated as promising candidates to solve combinatorial optimization problems on near-term quantum computers. Their methodology involves transforming the optimization problem into a quadratic unconstrained binary optimization (QUBO) problem. While this transformation offers flexibility and a ready-to-implement circuit involving only two-qubit gates, it has been shown to be less than optimal in the number of employed qubits and circuit depth, especially for polynomial optimization. On the other hand, strategies based on higher-order binary optimization (HOBO) could save qubits, but they would introduce additional circuit layers, given the presence of higher-than-two-qubit gates. In this paper, we study HOBO problems and propose new approaches to encode their Hamiltonian into a ready-to-implement circuit involving only two-qubit gates. Our methodology relies on formulating the circuit design as a combinatorial optimization problem, in which we seek to minimize circuit depth. We also propose handy simplifications and heuristics that can solve the circuit design problem in polynomial time. We evaluate our approaches by comparing them with the state of the art, showcasing clear gains in terms of circuit depth. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 6 pages plus references. Conference: IEEE QCE 2023

Compact MILP formulations for the $p$-center problem

Authors: Zacharie Ales, Sourour Elloumi

Abstract: The p-center problem consists in selecting p centers among M to cover N clients, such that the maximal distance between a client and its closest selected center is minimized. For this problem we propose two new and compact integer formulations. Our first formulation is an improvement of a previous formulation. It significantly decreases the number of constraints while preserving the optimal value… ▽ More The p-center problem consists in selecting p centers among M to cover N clients, such that the maximal distance between a client and its closest selected center is minimized. For this problem we propose two new and compact integer formulations. Our first formulation is an improvement of a previous formulation. It significantly decreases the number of constraints while preserving the optimal value of the linear relaxation. Our second formulation contains less variables and constraints but it has a weaker linear relaxation bound. We besides introduce an algorithm which enables us to compute strong bounds and significantly reduce the size of our formulations. Finally, the efficiency of the algorithm and the proposed formulations are compared in terms of quality of the linear relaxation and computation time over instances from OR-Library. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Comments: Lecture Notes in Computer Science 2018

An efficient Benders decomposition for the p-median problem

Authors: Cristian Durán Mateluna, Zacharie Alès, Sourour Elloumi

Abstract: The p-median problem is a classic discrete location problem with several applications. It aims to open p sites while minimizing the sum of the distances of each client to its nearest open site. We study a Benders decomposition of the most efficient formulation in the literature. We prove that the Benders cuts can be separated by a polynomial time algorithm. The Benders decomposition also leads to… ▽ More The p-median problem is a classic discrete location problem with several applications. It aims to open p sites while minimizing the sum of the distances of each client to its nearest open site. We study a Benders decomposition of the most efficient formulation in the literature. We prove that the Benders cuts can be separated by a polynomial time algorithm. The Benders decomposition also leads to a new compact formulation for the p-median problem. We implement a branch-and-Benders-cut approach that outperforms state-of-the-art methods on benchmark instances by an order of magnitude. △ Less

Submitted 9 December, 2021; v1 submitted 26 November, 2021; originally announced November 2021.

A solution robustness approach applied to network optimization problems

Authors: Zacharie Ales, Sourour Elloumi

Abstract: Solution robustness focuses on structural similarities between the nominal solution and the scenario solutions. Most other robust optimization approaches focus on the quality robustness and only evaluate the relevance of their solutions through the objective function value. However, it can be more important to optimize the solution robustness and, once the uncertainty is revealed, find an alternat… ▽ More Solution robustness focuses on structural similarities between the nominal solution and the scenario solutions. Most other robust optimization approaches focus on the quality robustness and only evaluate the relevance of their solutions through the objective function value. However, it can be more important to optimize the solution robustness and, once the uncertainty is revealed, find an alternative scenario solution $x^s$ which is as similar as possible to the nominal solution $x^{nom}$. This for example occurs when the robust solution is implemented on a regular basis or when the uncertainty is revealed late. We call this distance between $x^{nom}$ and $x^s$ the solution cost. We consider the proactive problem which minimizes the average solution cost over a discrete set of scenarios while ensuring the optimality of the nominal objective of $x^{nom}$. We show for two different solution distances $d_{val}$ and $d_{struct}$ that the proactive problem is NP-hard for both the integer min-cost flow problem with uncertain arc demands and for the integer max-flow problem with uncertain arc capacities. For these two problems, we prove that once the uncertainty is revealed, even identifying a reactive solution $x^r$ with a minimal distance to a given solution $x^{nom}$ is NP-hard for $d_{struct}$, and that it is polynomial for $d_{val}$. We highlight the benefits of solution robustness in a case study on a railroad planning problem. First, we compare our proactive approach to the anchored and the $k$-distance approaches. Then, we show the efficiency of the proactive solution over reactive solutions. Finally, we illustrate the solution cost reduction when relaxing the optimality constraint on the nominal objective of the proactive solution $x^{nom}$. △ Less

Submitted 22 October, 2021; originally announced October 2021.

Novel Approach Towards Global Optimality of Optimal Power Flow Using Quadratic Convex Optimization

Authors: Hadrien Godard, Sourour Elloumi, Amélie Lambert, Jean Maeght, Manuel Ruiz

Abstract: Optimal Power Flow (OPF) can be modeled as a non-convex Quadratically Constrained Quadratic Program (QCQP). Our purpose is to solve OPF to global optimality. To this end, we specialize the Mixed-Integer Quadratic Convex Reformulation method (MIQCR) to (OPF). This is a method in two steps. First, a Semi-Definite Programming (SDP) relaxation of (OPF) is solved. Then the optimal dual variables of thi… ▽ More Optimal Power Flow (OPF) can be modeled as a non-convex Quadratically Constrained Quadratic Program (QCQP). Our purpose is to solve OPF to global optimality. To this end, we specialize the Mixed-Integer Quadratic Convex Reformulation method (MIQCR) to (OPF). This is a method in two steps. First, a Semi-Definite Programming (SDP) relaxation of (OPF) is solved. Then the optimal dual variables of this relaxation are used to reformulate OPF into an equivalent new quadratic program, where all the non-convexity is moved to one additional constraint. In the second step, this reformulation is solved within a branch-and-bound algorithm, where at each node a quadratic and convex relaxation of the reformulated problem, obtained by relaxing the non-convex added constraint, is solved. The key point of our approach is that the lower bound at the root node of the branch-and-bound tree is equal to the SDP relaxation value. We test this method on several OPF cases, from two-bus networks to more-than-a-thousand-buses networks from the MAT-POWER repository. Our first results are very encouraging. △ Less

Submitted 13 March, 2019; originally announced March 2019.

Journal ref: Conference on Control, Decision and Information Technologies, Apr 2019, Paris, France

Using a conic bundle method to accelerate both phases of a quadratic convex reformulation

Authors: Alain Billionnet, Sourour Elloumi, Amélie Lambert, Angelika Wiegele

Abstract: We present algorithm MIQCR-CB that is an advancement of method MIQCR~(Billionnet, Elloumi and Lambert, 2012). MIQCR is a method for solving mixed-integer quadratic programs and works in two phases: the first phase determines an equivalent quadratic formulation with a convex objective function by solving a semidefinite problem $(SDP)$, and, in the second phase, the equivalent formulation is solved… ▽ More We present algorithm MIQCR-CB that is an advancement of method MIQCR~(Billionnet, Elloumi and Lambert, 2012). MIQCR is a method for solving mixed-integer quadratic programs and works in two phases: the first phase determines an equivalent quadratic formulation with a convex objective function by solving a semidefinite problem $(SDP)$, and, in the second phase, the equivalent formulation is solved by a standard solver. As the reformulation relies on the solution of a large-scale semidefinite program, it is not tractable by existing semidefinite solvers, already for medium sized problems. To surmount this difficulty, we present in MIQCR-CB a subgradient algorithm within a Lagrangian duality framework for solving $(SDP)$ that substantially speeds up the first phase. Moreover, this algorithm leads to a reformulated problem of smaller size than the one obtained by the original MIQCR method which results in a shorter time for solving the second phase. We present extensive computational results to show the efficiency of our algorithm. △ Less

Submitted 7 June, 2016; v1 submitted 1 March, 2016; originally announced March 2016.