-
Gate-based counterdiabatic driving with complexity guarantees
Authors:
Dyon van Vreumingen
Abstract:
We propose a general, fully gate-based quantum algorithm for counterdiabatic driving. The algorithm does not depend on heuristics as in previous variational methods, and exploits regularisation of the adiabatic gauge potential to suppress only the transitions from the eigenstate of interest. This allows for a rigorous quantum gate complexity upper bound in terms of the minimum gap $Δ$ around this…
▽ More
We propose a general, fully gate-based quantum algorithm for counterdiabatic driving. The algorithm does not depend on heuristics as in previous variational methods, and exploits regularisation of the adiabatic gauge potential to suppress only the transitions from the eigenstate of interest. This allows for a rigorous quantum gate complexity upper bound in terms of the minimum gap $Δ$ around this target eigenstate. We find that the algorithm requires at most $\tilde O(Δ^{-(3 + o(1))} ε^{-(1 + o(1))})$ quantum gates to achieve a target state fidelity of at least $1 - ε^2$, which is nearly equivalent to the gate complexity of gate-based adiabatic state preparation. This calls into question the perception of counterdiabatic driving as a general shortcut to adiabaticity.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Virtual mitigation of coherent non-adiabatic transitions by echo verification
Authors:
Benjamin F. Schiffer,
Dyon van Vreumingen,
Jordi Tura,
Stefano Polla
Abstract:
Transitions out of the ground space limit the performance of quantum adiabatic algorithms, while hardware imperfections impose stringent limitations on the circuit depth. We propose an adiabatic echo verification protocol which mitigates both coherent and incoherent errors, arising from non-adiabatic transitions and hardware noise, respectively. Quasi-adiabatically evolving forward and backwards a…
▽ More
Transitions out of the ground space limit the performance of quantum adiabatic algorithms, while hardware imperfections impose stringent limitations on the circuit depth. We propose an adiabatic echo verification protocol which mitigates both coherent and incoherent errors, arising from non-adiabatic transitions and hardware noise, respectively. Quasi-adiabatically evolving forward and backwards allows for an echo-verified measurement of any observable. In addition to mitigating hardware noise, our method uses positive-time dynamics only. Crucially, the estimator bias of the observable is reduced when compared to standard adiabatic preparation, achieving up to a quadratic improvement.
△ Less
Submitted 9 May, 2024; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Adiabatic ground state preparation of fermionic many-body systems from a two-body perspective
Authors:
Dyon van Vreumingen,
Kareljan Schoutens
Abstract:
A well-known method to prepare ground states of fermionic many-body hamiltonians is adiabatic state preparation, in which an easy to prepare state is time-evolved towards an approximate ground state under a specific time-dependent hamiltonian. However, which path to take in the evolution is often unclear, and a direct linear interpolation, which is the most common method, may not be optimal. In th…
▽ More
A well-known method to prepare ground states of fermionic many-body hamiltonians is adiabatic state preparation, in which an easy to prepare state is time-evolved towards an approximate ground state under a specific time-dependent hamiltonian. However, which path to take in the evolution is often unclear, and a direct linear interpolation, which is the most common method, may not be optimal. In this work, we explore new types of adiabatic paths based on the spectral decomposition of the two-body projection of the residual hamiltonian (the difference between the final and initial hamiltonian). The decomposition defines a set of hamiltonian terms which may be adiabatically interpolated in a piecewise or combined fashion. We demonstrate the usefulness of partially piecewise interpolation through examples involving Fermi-Hubbard models where, due to symmetries, level crossings occur in direct (fully combined) interpolation. We show that this specific deviation from a direct path appropriately breaks the relevant symmetries, thus avoiding level crossings and enabling an adiabatic passage. On the other hand, we show that a fully piecewise scheme, which interpolates every hamiltonian term separately, exhibits a worst-case complexity of $O(L^6/Δ^3)$ as compared to $O(L^4/Δ^3)$ for direct interpolation, in terms of the number of one-body modes $L$ and the minimal gap $Δ$ along the path. This suboptimality result suggests that only those terms which break necessary symmetries should be taken into account for piecewise interpolation, while the rest is treated with direct interpolation.
△ Less
Submitted 13 July, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Structural risk minimization for quantum linear classifiers
Authors:
Casper Gyurik,
Dyon van Vreumingen,
Vedran Dunjko
Abstract:
Quantum machine learning (QML) models based on parameterized quantum circuits are often highlighted as candidates for quantum computing's near-term ``killer application''. However, the understanding of the empirical and generalization performance of these models is still in its infancy. In this paper we study how to balance between training accuracy and generalization performance (also called stru…
▽ More
Quantum machine learning (QML) models based on parameterized quantum circuits are often highlighted as candidates for quantum computing's near-term ``killer application''. However, the understanding of the empirical and generalization performance of these models is still in its infancy. In this paper we study how to balance between training accuracy and generalization performance (also called structural risk minimization) for two prominent QML models introduced by Havlíček et al. (Nature, 2019), and Schuld and Killoran (PRL, 2019). Firstly, using relationships to well understood classical models, we prove that two model parameters -- i.e., the dimension of the sum of the images and the Frobenius norm of the observables used by the model -- closely control the models' complexity and therefore its generalization performance. Secondly, using ideas inspired by process tomography, we prove that these model parameters also closely control the models' ability to capture correlations in sets of training examples. In summary, our results give rise to new options for structural risk minimization for QML models.
△ Less
Submitted 10 January, 2023; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Metaheuristic macro scale traffic flow optimisation from urban movement data
Authors:
Laurens Arp,
Dyon van Vreumingen,
Daniela Gawehns,
Mitra Baratchi
Abstract:
How can urban movement data be exploited in order to improve the flow of traffic within a city? Movement data provides valuable information about routes and specific roads that people are likely to drive on. This allows us to pinpoint roads that occur in many routes and are thus sensitive to congestion. Redistributing some of the traffic to avoid unnecessary use of these roads could be a key facto…
▽ More
How can urban movement data be exploited in order to improve the flow of traffic within a city? Movement data provides valuable information about routes and specific roads that people are likely to drive on. This allows us to pinpoint roads that occur in many routes and are thus sensitive to congestion. Redistributing some of the traffic to avoid unnecessary use of these roads could be a key factor in improving traffic flow. Many proposed approaches to combat congestion are either static or do not incorporate any movement data. In this work, we present a method to redistribute traffic through the introduction of externally imposed variable costs to each road segment, assuming that all drivers seek to drive the cheapest route. We use a metaheuristic optimisation approach to minimise total travel times by optimising a set of road-specific variable cost parameters, which are used as input for an objective function based on traffic flow theory. The optimisation scenario for the city centre of Tokyo considered in this paper was defined using public spatial road network data, and movement data acquired from Foursquare. Experimental results show that our proposed scenario has the potential to achieve a 62.6\% improvement of total travel time in Tokyo compared to that of a currently operational road network configuration, with no imposed variable costs.
△ Less
Submitted 22 May, 2020;
originally announced June 2020.
-
Quantum-assisted finite-element design optimization
Authors:
Dyon van Vreumingen,
Florian Neukart,
David Von Dollen,
Carsten Othmer,
Michael Hartmann,
Arne-Christian Voigt,
Thomas Bäck
Abstract:
Quantum annealing devices such as the ones produced by D-Wave systems are typically used for solving optimization and sampling tasks, and in both academia and industry the characterization of their usefulness is subject to active research. Any problem that can naturally be described as a weighted, undirected graph may be a particularly interesting candidate, since such a problem may be formulated…
▽ More
Quantum annealing devices such as the ones produced by D-Wave systems are typically used for solving optimization and sampling tasks, and in both academia and industry the characterization of their usefulness is subject to active research. Any problem that can naturally be described as a weighted, undirected graph may be a particularly interesting candidate, since such a problem may be formulated a as quadratic unconstrained binary optimization (QUBO) instance, which is solvable on D-Wave's Chimera graph architecture. In this paper, we introduce a quantum-assisted finite-element method for design optimization. We show that we can minimize a shape-specific quantity, in our case a ray approximation of sound pressure at a specific position around an object, by manipulating the shape of this object. Our algorithm belongs to the class of quantum-assisted algorithms, as the optimization task runs iteratively on a D-Wave 2000Q quantum processing unit (QPU), whereby the evaluation and interpretation of the results happens classically. Our first and foremost aim is to explain how to represent and solve parts of these problems with the help of a QPU, and not to prove supremacy over existing classical finite-element algorithms for design optimization.
△ Less
Submitted 11 August, 2019;
originally announced August 2019.
