-
Tabu-driven Quantum Neighborhood Samplers
Authors:
Charles Moussa,
Hao Wang,
Henri Calandra,
Thomas Bäck,
Vedran Dunjko
Abstract:
Combinatorial optimization is an important application targeted by quantum computing. However, near-term hardware constraints make quantum algorithms unlikely to be competitive when compared to high-performing classical heuristics on large practical problems. One option to achieve advantages with near-term devices is to use them in combination with classical heuristics. In particular, we propose u…
▽ More
Combinatorial optimization is an important application targeted by quantum computing. However, near-term hardware constraints make quantum algorithms unlikely to be competitive when compared to high-performing classical heuristics on large practical problems. One option to achieve advantages with near-term devices is to use them in combination with classical heuristics. In particular, we propose using quantum methods to sample from classically intractable distributions -- which is the most probable approach to attain a true provable quantum separation in the near-term -- which are used to solve optimization problems faster. We numerically study this enhancement by an adaptation of Tabu Search using the Quantum Approximate Optimization Algorithm (QAOA) as a neighborhood sampler. We show that QAOA provides a flexible tool for exploration-exploitation in such hybrid settings and can provide evidence that it can help in solving problems faster by saving many tabu iterations and achieving better solutions.
△ Less
Submitted 4 March, 2021; v1 submitted 18 November, 2020;
originally announced November 2020.
-
Minimod: A Finite Difference solver for Seismic Modeling
Authors:
Jie Meng,
Andreas Atle,
Henri Calandra,
Mauricio Araya-Polo
Abstract:
This article introduces a benchmark application for seismic modeling using finite difference method, which is namedMiniMod, a mini application for seismic modeling. The purpose is to provide a benchmark suite that is, on one hand easy to build and adapt to the state of the art in programming models and changing high performance hardware landscape. On the other hand, the intention is to have a prox…
▽ More
This article introduces a benchmark application for seismic modeling using finite difference method, which is namedMiniMod, a mini application for seismic modeling. The purpose is to provide a benchmark suite that is, on one hand easy to build and adapt to the state of the art in programming models and changing high performance hardware landscape. On the other hand, the intention is to have a proxy application to actual production geophysical exploration workloads for Oil & Gas exploration, and other geosciences applications based on the wave equation. From top to bottom, we describe the design concepts, algorithms, code structure of the application, and present the benchmark results on different current computer architectures.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Polynomial-reproducing spline spaces from fine zonotopal tilings
Authors:
Hélène Barucq,
Henri Calandra,
Julien Diaz,
Stefano Frambati
Abstract:
Given a point configuration A, we uncover a connection between polynomial-reproducing spline spaces over subsets of conv(A) and fine zonotopal tilings of the zonotope Z(V) associated to the corresponding vector configuration. This link directly generalizes a known result on Delaunay configurations and naturally encompasses, due to its combinatorial character, the case of repeated and affinely depe…
▽ More
Given a point configuration A, we uncover a connection between polynomial-reproducing spline spaces over subsets of conv(A) and fine zonotopal tilings of the zonotope Z(V) associated to the corresponding vector configuration. This link directly generalizes a known result on Delaunay configurations and naturally encompasses, due to its combinatorial character, the case of repeated and affinely dependent points in A. We prove the existence of a general iterative construction process for such spaces. Finally, we turn our attention to regular fine zonotopal tilings, specializing our previous results and exploiting the adjacency graph of the tiling to propose a set of practical algorithms for the construction and evaluation of the associated spline functions.
△ Less
Submitted 11 March, 2021; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Practical Quantum Computing: solving the wave equation using a quantum approach
Authors:
Adrien Suau,
Gabriel Staffelbach,
Henri Calandra
Abstract:
In the last years, several quantum algorithms that try to address the problem of partial differential equation solving have been devised. On one side, "direct" quantum algorithms that aim at encoding the solution of the PDE by executing one large quantum circuit. On the other side, variational algorithms that approximate the solution of the PDE by executing several small quantum circuits and makin…
▽ More
In the last years, several quantum algorithms that try to address the problem of partial differential equation solving have been devised. On one side, "direct" quantum algorithms that aim at encoding the solution of the PDE by executing one large quantum circuit. On the other side, variational algorithms that approximate the solution of the PDE by executing several small quantum circuits and making profit of classical optimisers. In this work we propose an experimental study of the costs (in terms of gate number and execution time on a idealised hardware created from realistic gate data) associated with one of the "direct" quantum algorithm: the wave equation solver devised in [PCS. Costa, S. Jordan, A. Ostrander, Phys. Rev. A 99, 012323, 2019]. We show that our implementation of the quantum wave equation solver agrees with the theoretical big-O complexity of the algorithm. We also explain in great details the implementation steps and discuss some possibilities of improvements. Finally, our implementation proves experimentally that some PDE can be solved on a quantum computer, even if the direct quantum algorithm chosen will require error-corrected quantum chips, which are not believed to be available in the short-term.
△ Less
Submitted 14 June, 2021; v1 submitted 27 March, 2020;
originally announced March 2020.
-
To quantum or not to quantum: towards algorithm selection in near-term quantum optimization
Authors:
Charles Moussa,
Henri Calandra,
Vedran Dunjko
Abstract:
The Quantum Approximate Optimization Algorithm (QAOA) constitutes one of the often mentioned candidates expected to yield a quantum boost in the era of near-term quantum computing. In practice, quantum optimization will have to compete with cheaper classical heuristic methods, which have the advantage of decades of empirical domain-specific enhancements. Consequently, to achieve optimal performanc…
▽ More
The Quantum Approximate Optimization Algorithm (QAOA) constitutes one of the often mentioned candidates expected to yield a quantum boost in the era of near-term quantum computing. In practice, quantum optimization will have to compete with cheaper classical heuristic methods, which have the advantage of decades of empirical domain-specific enhancements. Consequently, to achieve optimal performance we will face the issue of algorithm selection, well-studied in practical computing. Here we introduce this problem to the quantum optimization domain.
Specifically, we study the problem of detecting those problem instances of where QAOA is most likely to yield an advantage over a conventional algorithm. As our case study, we compare QAOA against the well-understood approximation algorithm of Goemans and Williamson (GW) on the Max-Cut problem. As exactly predicting the performance of algorithms can be intractable, we utilize machine learning to identify when to resort to the quantum algorithm. We achieve cross-validated accuracy well over 96\%, which would yield a substantial practical advantage. In the process, we highlight a number of features of instances rendering them better suited for QAOA. While we work with simulated idealised algorithms, the flexibility of ML methods we employed provides confidence that our methods will be equally applicable to broader classes of classical heuristics, and to QAOA running on real-world noisy devices.
△ Less
Submitted 14 October, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
On the iterative solution of systems of the form $A^T A x=A^Tb+c$
Authors:
Henri Calandra,
Serge Gratton,
Elisa Riccietti,
Xavier Vasseur
Abstract:
Given a full column rank matrix $A \in \mathbb{R}^{m\times n}$ ($m\geq n$), we consider a special class of linear systems of the form $A^\top Ax=A^\top b+c$ with $x, c \in \mathbb{R}^{n}$ and $b \in \mathbb{R}^{m}$. The occurrence of $c$ in the right-hand side of the equation prevents the direct application of standard methods for least squares problems. Hence, we investigate alternative solution…
▽ More
Given a full column rank matrix $A \in \mathbb{R}^{m\times n}$ ($m\geq n$), we consider a special class of linear systems of the form $A^\top Ax=A^\top b+c$ with $x, c \in \mathbb{R}^{n}$ and $b \in \mathbb{R}^{m}$. The occurrence of $c$ in the right-hand side of the equation prevents the direct application of standard methods for least squares problems. Hence, we investigate alternative solution methods that, as in the case of normal equations, take advantage of the peculiar structure of the system to avoid unstable computations, such as forming $A^\top A$ explicitly. We propose two iterative methods that are based on specific reformulations of the problem and we provide explicit closed formulas for the structured condition number related to each problem. These formula allow us to compute a more accurate estimate of the forward error than the standard one used for generic linear systems, that does not take into account the structure of the perturbations. The relevance of our estimates is shown on a set of synthetic test problems. Numerical experiments highlight both the increased robustness and accuracy of the proposed methods compared to the standard conjugate gradient method. It is also found that the new methods can compare to standard direct methods in terms of solution accuracy.
△ Less
Submitted 31 October, 2019;
originally announced November 2019.
-
On high-order multilevel optimization strategies
Authors:
Henri Calandra,
Serge Gratton,
Elisa Riccietti,
Xavier Vasseur
Abstract:
We propose a new family of multilevel methods for unconstrained minimization. The resulting strategies are multilevel extensions of high-order optimization methods based on q-order Taylor models (with q >= 1) that have been recently proposed in the literature. The use of high-order models, while decreasing the worst-case complexity bound, makes these methods computationally more expensive. Hence,…
▽ More
We propose a new family of multilevel methods for unconstrained minimization. The resulting strategies are multilevel extensions of high-order optimization methods based on q-order Taylor models (with q >= 1) that have been recently proposed in the literature. The use of high-order models, while decreasing the worst-case complexity bound, makes these methods computationally more expensive. Hence, to counteract this effect, we propose a multilevel strategy that exploits a hierarchy of problems of decreasing dimension, still approximating the original one, to reduce the global cost of the step computation. A theoretical analysis of the family of methods is proposed. Specifically, local and global convergence results are proved and a complexity bound to reach first order stationary points is also derived. A multilevel version of the well known adaptive method based on cubic regularization (ARC, corresponding to q = 2 in our setting) has been implemented. Numerical experiments clearly highlight the relevance of the new multilevel approach leading to considerable computational savings in terms of floating point operations compared to the classical one-level strategy.
△ Less
Submitted 9 April, 2019;
originally announced April 2019.
-
On the approximation of the solution of partial differential equations by artificial neural networks trained by a multilevel Levenberg-Marquardt method
Authors:
Henri Calandra,
Serge Gratton,
Elisa Riccietti,
Xavier Vasseur
Abstract:
This paper is concerned with the approximation of the solution of partial differential equations by means of artificial neural networks. Here a feedforward neural network is used to approximate the solution of the partial differential equation. The learning problem is formulated as a least squares problem, choosing the residual of the partial differential equation as a loss function, whereas a mul…
▽ More
This paper is concerned with the approximation of the solution of partial differential equations by means of artificial neural networks. Here a feedforward neural network is used to approximate the solution of the partial differential equation. The learning problem is formulated as a least squares problem, choosing the residual of the partial differential equation as a loss function, whereas a multilevel Levenberg-Marquardt method is employed as a training method. This setting allows us to get further insight into the potential of multilevel methods. Indeed, when the least squares problem arises from the training of artificial neural networks, the variables subject to optimization are not related by any geometrical constraints and the standard interpolation and restriction operators cannot be employed any longer. A heuristic, inspired by algebraic multigrid methods, is then proposed to construct the multilevel transfer operators. Numerical experiments show encouraging results related to the efficiency of the new multilevel optimization method for the training of artificial neural networks, compared to the standard corresponding one-level procedure.
△ Less
Submitted 9 April, 2019;
originally announced April 2019.
-
Function Maximization with Dynamic Quantum Search
Authors:
Charles Moussa,
Henri Calandra,
Travis S. Humble
Abstract:
Finding the maximum value of a function in a dynamic model plays an important role in many application settings, including discrete optimization in the presence of hard constraints. We present an iterative quantum algorithm for finding the maximum value of a function in which prior search results update the acceptable response. Our approach is based on quantum search and utilizes a dynamic oracle…
▽ More
Finding the maximum value of a function in a dynamic model plays an important role in many application settings, including discrete optimization in the presence of hard constraints. We present an iterative quantum algorithm for finding the maximum value of a function in which prior search results update the acceptable response. Our approach is based on quantum search and utilizes a dynamic oracle function to mark items in a specified input set. As a realization of function optimization, we verify the correctness of the algorithm using numerical simulations of quantum circuits for the Knapsack problem. Our simulations make use of an explicit oracle function based on arithmetic operations and a comparator subroutine, and we verify these implementations using numerical simulations up to 30 qubits.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Simulations of intermittent two-phase flows in pipes using smoothed particle hydrodynamics
Authors:
Thomas Douillet-Grellier,
Florian De Vuyst,
Henri Calandra,
Philippe Ricoux
Abstract:
Slug flows are a typical intermittent two-phase flow pattern that can occur in submarine pipelines connecting the wells to the production facility and that is known to cause undesired consequences. In this context, computational fluid dynamics appears to be the tool of choice to understand their formation. However, few direct numerical simulations of slug flows are available in the literature, esp…
▽ More
Slug flows are a typical intermittent two-phase flow pattern that can occur in submarine pipelines connecting the wells to the production facility and that is known to cause undesired consequences. In this context, computational fluid dynamics appears to be the tool of choice to understand their formation. However, few direct numerical simulations of slug flows are available in the literature, especially using meshless methods which are known to be capable of handling complex problems involving interfaces.
In this work, a 2D study of the instability processes leading to the formation of intermittent flows in pipes is conducted using an existing multiphase smoothed particle hydrodynamics formulation associated with inlet and outlet boundary conditions. This paper aims to demonstrate the applicability of smoothed particle hydrodynamics to a given set of close-to-industry cases.
First, we check the ability of our implementation to reproduce flow regimes predicted by Taitel and Duckler's flow map. Then, we focus on the transition processes from one flow pattern to the other. Finally, we present the results obtained for more realistic cases with high density and viscosity ratios.
△ Less
Submitted 7 September, 2018; v1 submitted 18 April, 2018;
originally announced April 2018.
-
Velocity estimation via registration-guided least-squares inversion
Authors:
Hyoungsu Baek,
Henri Calandra,
Laurent Demanet
Abstract:
This paper introduces an iterative scheme for acoustic model inversion where the notion of proximity of two traces is not the usual least-squares distance, but instead involves registration as in image processing. Observed data are matched to predicted waveforms via piecewise-polynomial war**s, obtained by solving a nonconvex optimization problem in a multiscale fashion from low to high frequenc…
▽ More
This paper introduces an iterative scheme for acoustic model inversion where the notion of proximity of two traces is not the usual least-squares distance, but instead involves registration as in image processing. Observed data are matched to predicted waveforms via piecewise-polynomial war**s, obtained by solving a nonconvex optimization problem in a multiscale fashion from low to high frequencies. This multiscale process requires defining low-frequency augmented signals in order to seed the frequency sweep at zero frequency. Custom adjoint sources are then defined from the warped waveforms. The proposed velocity updates are obtained as the migration of these adjoint sources, and cannot be interpreted as the negative gradient of any given objective function. The new method, referred to as RGLS, is successfully applied to a few scenarios of model velocity estimation in the transmission setting. We show that the new method can converge to the correct model in situations where conventional least-squares inversion suffers from cycle-skip** and converges to a spurious model.
△ Less
Submitted 18 April, 2013;
originally announced April 2013.
-
Matrix probing: a randomized preconditioner for the wave-equation Hessian
Authors:
Laurent Demanet,
Pierre-David Létourneau,
Nicolas Boumal,
Henri Calandra,
Jiawei Chiu,
Stanley Snelson
Abstract:
This paper considers the problem of approximating the inverse of the wave-equation Hessian, also called normal operator, in seismology and other types of wave-based imaging. An expansion scheme for the pseudodifferential symbol of the inverse Hessian is set up. The coefficients in this expansion are found via least-squares fitting from a certain number of applications of the normal operator on ade…
▽ More
This paper considers the problem of approximating the inverse of the wave-equation Hessian, also called normal operator, in seismology and other types of wave-based imaging. An expansion scheme for the pseudodifferential symbol of the inverse Hessian is set up. The coefficients in this expansion are found via least-squares fitting from a certain number of applications of the normal operator on adequate randomized trial functions built in curvelet space. It is found that the number of parameters that can be fitted increases with the amount of information present in the trial functions, with high probability. Once an approximate inverse Hessian is available, application to an image of the model can be done in very low complexity. Numerical experiments show that randomized operator fitting offers a compelling preconditioner for the linearized seismic inversion problem.
△ Less
Submitted 19 January, 2011;
originally announced January 2011.