SearcharxivSearch

arXiv subjects

Philippe Lacomme

Publications and source records attributed to Philippe Lacomme.

15 recordsLinked to original sources

A quantum feasibility preserving modeling for the min cut problem

We study the minimum cut problem in weighted undirected graphs using variational quantum algorithms in which only feasible cut configurations are explored. Although minimum cut admits efficient classical solutions, it is a fundamental component of more complex network optimization problems such as multicut and network interdiction. Our objective is to examine quantum models in which feasibility is preserved by the mixer dynamics, without introducing penalty terms in the cost Hamiltonian. We employ a ring structured XY mixer that restricts the quantum evolution to the subspace of valid cut configurations, ensuring that all sampled states correspond to feasible solutions. To address scalability limitations, we suggest an iterative metaheuristic strategy that decomposes large instances into smaller subproblems solved sequentially using the same quantum model. The results obtained using the mixer indicate that the initial probability distribution can be systematically controlled, thereby enabling the development of warm start techniques within variational quantum based algorithms.

quant-ph

Assessing Quantum Annealing to Solve the Minimum Vertex Multicut

Cybersecurity in telecommunication networks often leads to hard combinatorial optimization problems that are challenging to solve with classical methods. This work investigates the practical feasibility of using quantum annealing to address the Restricted Vertex Minimum Multicut Problem. The problem is formulated as a Quadratic Unconstrained Binary Optimization model and implemented on D-Wave s quantum annealer. Rather than focusing on solution quality alone, we analyze key aspects of the quantum workflow including minor embedding techniques, chain length, topology constraints, chain strength selection, unembedding procedures, and postprocessing. Our results show that quantum annealing faces substantial hardware-level constraints limitations in embedding and scalability, especially for large instances, while hybrid quantum-classical solvers provide improved feasibility. This study offers a realistic assessment of the D-Wave system s current capabilities and identifies crucial parameters that govern the success of quantum optimization in cybersecurity-related network problems.

quant-ph

Quantum Approaches to the Minimum Edge Multiway Cut Problem

We investigate the minimum edge multiway cut problem, a fundamental task in evaluating the resilience of telecommunication networks. This study benchmarks the problem across three quantum computing paradigms: quantum annealing on a D-Wave quantum processing unit, photonic variational quantum circuits simulated on Quandela s Perceval platform, and IBM s gate-based Quantum Approximate Optimization Algorithm (QAOA). We assess the comparative feasibility of these approaches for early-stage quantum optimization, highlighting trade-offs in circuit constraints, encoding overhead, and scalability. Our findings suggest that quantum annealing currently offers the most scalable performance for this class of problems, while photonic and gate-based approaches remain limited by hardware and simulation depth. These results provide actionable insights for designing quantum workflows targeting combinatorial optimization in telecom security and resilience analysis.

quant-ph

Foundations of photonic quantum computation

This work aims to introduce the fundamental concepts required to perform computations on photonic quantum computers by presenting the gates specific to this architecture and highlighting the connections between standard Pauli gates and those available in photonic systems. The introduction navigates between physical considerations related to the optical components used, theoretical aspects concerning quantum operators, and a more applied section introducing implementations using the Perceval library developed by Quandela. This paper is intended for engineers and researchers familiar with Pauli gates and standard quantum concepts, looking at a clear and compact introduction to photonic components. A second part aims to introduce the concept of polarization, not from a theoretical perspective, but through its practical applications. To do so, we compare the similarities and differences between the original Grover's algorithm formulation and a version that leverages polarization. Gates specific to polarization are introduced and described in the context of the computations involved in Grover's algorithm. The description provided is as mathematical as possible and deliberately avoids physical considerations, in order to allow researchers familiar with "conventional" quantum circuits to more easily grasp the concepts.

quant-ph

Quantum circuit for exponentiation of Hamiltonians: an algorithmic description based on tensor products

Exponentiation of Hamiltonians refers to a mathematical operation to a Hamiltonian operator, typically in the form e^(-i.t.H), where H is the Hamiltonian and t is a time parameter. This operation is fundamental in quantum mechanics, particularly to evolve quantum systems over time according to the Schrodinger equation. In quantum algorithms, such as Adiabatic methods and QAOA, exponentiation enables efficient simulation of a system dynamics. It involves constructing quantum circuits that approximate this exponential operation. When H=\sum_(p=1)^n H_p , each H_p is defined using the Pauli operator basis, which includes the well-known X, Y, Z and Id gates, i.e., H_p=U_1\otimes U_2\otimes \otimes U_n and U_k\in{Id,X,Y,Z}. In this article, we explore the exponentiation of H_p, specifically e^(-i.t.U_1 \otimes U_2\otimes \otimes U_n ), by introducing an algorithmic approach. We demonstrate a straightforward and efficient method to construct compact circuits that are easy to implement.

quant-ph

Comparative study of quantum methods in the resolution of track findings instances

Track finding can be considered as a complex optimization problem initially introduced in particle physics involving the reconstruction of particle trajectories. A track is typically composed of several consecutive segments (track segments) that resembles a smooth curve without bifurcations. In this paper various modeling approaches are explored in order to assess both their impact and their effectiveness in solving them using quantum and classical methods. We present implementations of three classical models using CPLEX, two quantum models running on actual D-Wave quantum computers, and one quantum model on a D-Wave simulator. To facilitate a fair comparative study and encourage future research in this area, we introduce a new set of benchmark instances, categorized into small, medium, and large scales. Our evaluation of these methods on the benchmark instances indicates that D-Wave methods offer an excellent balance between computation time and result quality, outperforming CPLEX in numerous cases.

quant-ph

A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach

This paper addresses the resolution of the 3-SAT problem using a QAOA-like approach. The chosen principle involves modeling the solution ranks of the 3-SAT problem, which, in this particular case, directly represent a solution. This results in a highly compact circuit with few gates, enabling the modeling of large-sized 3-SAT problems. Numerical experimentation demonstrates that the approach can solve instances composed of 91 clauses and 20 variables with an implementation based on Qiskit.

cs.AI

Indirect Quantum Approximate Optimization Algorithms: application to the TSP

We propose an Indirect Quantum Approximate Optimization Algorithm (referred to as IQAOA) where the Quantum Alternating Operator Ansatz takes into consideration a general parameterized family of unitary operators to efficiently model the Hamiltonian describing the set of string vectors. This algorithm creates an efficient alternative to QAOA, where: 1) a Quantum parametrized circuit executed on a quantum machine models the set of string vectors; 2) a Classical meta-optimization loop executed on a classical machine; 3) an estimation of the average cost of each string vector computing, using a well know algorithm coming from the OR community that is problem dependent. The indirect encoding defined by dimensional string vector is mapped into a solution by an efficient coding/decoding mechanism. The main advantage is to obtain a quantum circuit with a strongly limited number of gates that could be executed on the noisy current quantum machines. The numerical experiments achieved with IQAOA permits to solve 8-customer instances TSP using the IBM simulator which are to the best of our knowledge the largest TSP ever solved using a QAOA based approach.

quant-ph

Mathematical Foundations of Quantum Computing for Computer Science Researchers

This paper provides a short introduction to the mathematical foundation of quantum computation for researchers in computer science by providing an introduction fo the mathematical basis of calculations. This paper concerns the mathematical foundations of quantum computation addressing first the representation of qubit using the Bloch sphere and second the special relations between SU(2) and SO(3). The properties of SU(2) are introduced focusing especially about the double-covering of SO(3) and explaining how to map rotations of SO(3) into matrices of SU(2). Quantum physic operators are based on SU(2) since we have a direct relationship to SO(3) namely one isomorphism. We start first from basic representations of qubit in R^3 and representations of operators in SU(2) and we next discuss with operators that permit to move from one SU(2) to another one according to a specific operator of SU(2) that is related to rotation into R^3.

cs.ET

A GRASPxELS with Depth First Search Split Procedure for the HVRP

Split procedures have been proved to be efficient within global framework optimization for routing problems by splitting giant tour into trips. This is done by generating optimal shortest path within an auxiliary graph built from the giant tour. An efficient application has been introduced for the first time by Lacomme et al. (2001) within a metaheuristic approach to solve the Capacitated Arc Routing Problem (CARP) and second for the Vehicle Routing Problem (VRP) by Prins (2004). In a further step, the Split procedure embedded in metaheuristics has been extended to address more complex routing problems thanks to a heuristic splitting of the giant tour using the generation of labels on the nodes of the auxiliary graph linked to resource management. Lately, Duhamel et al. (2010) defined a new Split family based on a depth first search approach during labels generation in graph. The efficiency of the new split method has been first evaluated in location routing problem with a GRASP metaheuristic. Duhamel et al. (2010) provided full numerical experiments on this topic.

physics.soc-ph

Description of the Grover algorithm based on geometric considerations

This paper concerns the Grover algorithm that permits to make amplification of quantum states previously tagged by an Oracle. Grover's algorithm allows searches in an unstructure database of n entries finding a marked element with a quadratic speedup. The algorithm requires a predefined number of runs to succeed with probability close to one.This article provides a description of the amplitude amplification quantum algorithm mechanism in a very short computational way, based on tensor products and provides a geometric presentation of the successive system states. All the basis changes are fully described to provide an alternative to the wide spread Grover description based only on matrices and complex tensor computation. Our experiments encompass numerical evaluations of circuit using the Qiskit library of IBM that meet the theoretical considerations

quant-ph

Mixer Hamiltonian with QAOA for Max k-coloring : numerical evaluations

This paper concerns quantum heuristics based on Mixer Hamiltonians that allow to restrict investigation on a specific subspace. Mixer Hamiltonian based approaches can be included in QAOA algorithm and we can state that Mixer Hamiltonians are mapping functions from the set of qubit-strings to the set of solutions. Mixer Hamiltonian offers an approach very similar to indirect representations commonly used in routing or in scheduling community for decades. After the initial publication of Cheng et al. in 1996 (Cheng et al., 1996), numerous propositions in OR lies on 1-to-n mapping functions, including the split algorithm that transform one TSP solution into a VRP solution. The objective is at first to give a compact and readable presentation of these Mixer Hamiltonians considering the functional analogies that exist between the OR community practices and the quantum field. Our experiments encompass numerical evaluations of circuit using the Qiskit library of IBM meeting the theoretical considerations.

quant-ph

Adiabatic based Algorithm for SAT: a comprehensive algorithmic description

This paper concerns quantum heuristics able to extend the domain of quantum computing, defining a promising way in the large number of well-known classical algorithms. Quantum approximate heuristics take advantage of alternation between a Hamiltonian defining the problem to solve and a mixing Hamiltonian. The adiabatic theorem initially defined in quantum physic allows to compute a solution for the Schrödinger equation, but the foundation of this methods requires strong skill in physics and mathematics. Our main objectives in this paper are at first to provide an algorithm-based presentation (as close as possible of the classical computer science community in operational research practice) of the adiabatic optimization and secondly to give a comprehensive resolution of the well-known SAT problem. This gives opportunities to provide a concise but explicit analysis of the adiabatic capability to define a new efficient operational research trend. Our experiments encompass numerical evaluations on both simulator and on real quantum computer provided by IBM. Numerical experiments on simulator have been achieved on both Qiskit and MyQLM.

quant-ph

A technical note for a Shor's algorithm by phase estimation

The objective of this paper concerns at first the motivation and the method of Shor's algorithm including an excursion into quantum mechanics and quantum computing introducing an algorithmic description of the method. The corner stone of the Shor's algorithm is the modular exponentiation that is the most computational component (in time and space). Second, a linear depth unit based on phase estimation is introduced and a description of a generic version of a modular multiplier based on phases is introduced to build block of a modular exponentiation circuit. Our proposal includes numerical experiments achieved on both the IBM simulator using the Qiskit library and on quantum physical optimizers provided by IBM.

cs.DM

A Statistical Comparison of Objective Functions for the Vehicle Routing Problem with Route Balancing

The Vehicle Routing Problem with Route Balancing (VRPRB) is a biobjective version of the original Vehicle Routing Problem (VRP) in which, besides minimizing the total distance traveled by the vehicles involved, the balance among route loads is also pursued. Different objective functions (OFs) to achieve balanced route configurations have been proposed in the literature, however to the best of the authors knowledge there is still no consensus on which OF is the most suitable one for addressing, through metaheuristics, this challenging multiobjective optimization problem. This paper inquires into the effectiveness of seven different OFs for the VRPRB. Their influence on the performance of a basic single solution based evolutionary algorithm is analyzed by comparing the quality of the Pareto approximations produced for a set of well known benchmark instances. The obtained results indicate that studying alternative evaluation schemes for the VRPRB represents a highly valuable direction for future research which merits more attention.

math.OC