-
Tridiagonal matrix decomposition for Hamiltonian simulation on a quantum computer
Authors:
Boris Arseniev,
Dmitry Guskov,
Richik Sengupta,
Jacob Biamonte,
Igor Zacharov
Abstract:
The construction of quantum circuits to simulate Hamiltonian evolution is central to many quantum algorithms. State-of-the-art circuits are based on oracles whose implementation is often omitted, and the complexity of the algorithm is estimated by counting oracle queries. However, in practical applications, an oracle implementation contributes a large constant factor to the overall complexity of t…
▽ More
The construction of quantum circuits to simulate Hamiltonian evolution is central to many quantum algorithms. State-of-the-art circuits are based on oracles whose implementation is often omitted, and the complexity of the algorithm is estimated by counting oracle queries. However, in practical applications, an oracle implementation contributes a large constant factor to the overall complexity of the algorithm. The key finding of this work is the efficient procedure for representation of a tridiagonal matrix in the Pauli basis, which allows one to construct a Hamiltonian evolution circuit without the use of oracles. The procedure represents a general tridiagonal matrix $2^n \times 2^n$ by systematically determining all Pauli strings present in the decomposition, dividing them into commuting subsets. The efficiency is in the number of commuting subsets $O(n)$. The method is demonstrated using the one-dimensional wave equation, verifying numerically that the gate complexity as function of the number of qubits is lower than the oracle based approach for $n < 15$ and requires half the number of qubits. This method is applicable to other Hamiltonians based on the tridiagonal matrices.
△ Less
Submitted 21 May, 2024; v1 submitted 29 September, 2023;
originally announced October 2023.
-
On Circuit Depth Scaling For Quantum Approximate Optimization
Authors:
V. Akshay,
H. Philathong,
E. Campos,
D. Rabinovich,
I. Zacharov,
Xiao-Ming Zhang,
J. Biamonte
Abstract:
Variational quantum algorithms are the centerpiece of modern quantum programming. These algorithms involve training parameterized quantum circuits using a classical co-processor, an approach adapted partly from classical machine learning. An important subclass of these algorithms, designed for combinatorial optimization on currrent quantum hardware, is the quantum approximate optimization algorith…
▽ More
Variational quantum algorithms are the centerpiece of modern quantum programming. These algorithms involve training parameterized quantum circuits using a classical co-processor, an approach adapted partly from classical machine learning. An important subclass of these algorithms, designed for combinatorial optimization on currrent quantum hardware, is the quantum approximate optimization algorithm (QAOA). It is known that problem density - a problem constraint to variable ratio - induces under-parametrization in fixed depth QAOA. Density dependent performance has been reported in the literature, yet the circuit depth required to achieve fixed performance (henceforth called critical depth) remained unknown. Here, we propose a predictive model, based on a logistic saturation conjecture for critical depth scaling with respect to density. Focusing on random instances of MAX-2-SAT, we test our predictive model against simulated data with up to 15 qubits. We report the average critical depth, required to attain a success probability of 0.7, saturates at a value of 10 for densities beyond 4. We observe the predictive model to describe the simulated data within a $3σ$ confidence interval. Furthermore, based on the model, a linear trend for the critical depth with respect problem size is recovered for the range of 5 to 15 qubits.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
Reachability Deficits in Quantum Approximate Optimization of Graph Problems
Authors:
V. Akshay,
H. Philathong,
I. Zacharov,
J. Biamonte
Abstract:
The quantum approximate optimization algorithm (QAOA) has become a cornerstone of contemporary quantum applications development. Here we show that the \emph{density} of problem constraints versus problem variables acts as a performance indicator. Density is found to correlate strongly with approximation inefficiency for fixed depth QAOA applied to random graph minimization problem instances. Furth…
▽ More
The quantum approximate optimization algorithm (QAOA) has become a cornerstone of contemporary quantum applications development. Here we show that the \emph{density} of problem constraints versus problem variables acts as a performance indicator. Density is found to correlate strongly with approximation inefficiency for fixed depth QAOA applied to random graph minimization problem instances. Further, the required depth for accurate QAOA solution to graph problem instances scales critically with density. Motivated by Google's recent experimental realization of QAOA, we preform a reanalysis of the reported data reproduced in an ideal noiseless setting. We found that the reported capabilities of instances addressed experimentally by Google, approach a rapid fall-off region in approximation quality experienced beyond intermediate-density. Our findings offer new insight into performance analysis of contemporary quantum optimization algorithms and contradict recent speculation regarding low-depth QAOA performance benefits.
△ Less
Submitted 27 August, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Computational Phase Transition Signature in Gibbs Sampling
Authors:
H. Philathong,
V. Akshay,
I. Zacharov,
J. Biamonte
Abstract:
Gibbs sampling is fundamental to a wide range of computer algorithms. Such algorithms are set to be replaced by physics based processors$-$be it quantum or stochastic annealing devices$-$which embed problem instances and evolve a physical system into an ensemble to recover a probability distribution. At a critical constraint to variable ratio, decision problems$-$such as propositional satisfiabili…
▽ More
Gibbs sampling is fundamental to a wide range of computer algorithms. Such algorithms are set to be replaced by physics based processors$-$be it quantum or stochastic annealing devices$-$which embed problem instances and evolve a physical system into an ensemble to recover a probability distribution. At a critical constraint to variable ratio, decision problems$-$such as propositional satisfiability$-$appear to statistically exhibit an abrupt transition in required computational resources. This so called, algorithmic or computational phase transition signature, has yet-to-be observed in contemporary physics based processors. We found that the computational phase transition admits a signature in Gibbs' distributions and hence we predict and prescribe the physical observation of this effect. We simulate such an experiment, that when realized experimentally, we believe would represent a milestone in the physical theory of computation.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
Quantum dynamics in canonical and micro-canonical ensembles. Part II. Tunneling in double well potential
Authors:
V. Filinov,
Yu. Lozovik,
A. Filinov,
I. Zacharov,
A. Oparin
Abstract:
In the second part of this paper in micro canonical ensemble the new numerical approach for consideration of quantum dynamics and calculations of the average values of quantum operators and time correlation functions in the Wigner representation of quantum statistical mechanics has been developed. The numerical results have been obtained for series of the average values of quantum operators as w…
▽ More
In the second part of this paper in micro canonical ensemble the new numerical approach for consideration of quantum dynamics and calculations of the average values of quantum operators and time correlation functions in the Wigner representation of quantum statistical mechanics has been developed. The numerical results have been obtained for series of the average values of quantum operators as well as for the time correlation function characterizing the energy level structure, the momentum flow of tunneling particles at barrier crossing and the absorption spectra of electron in potential well. The developed quantum dynamics method was tested by comparison of numerical results with analytical estimations. Tunneling transitions and the effect of the quasi stationary state has been considered as the reason of the peculiarities in behaviour of the time correlation functions and position and momentum dispersions. Possibility of applying the developed approach to the theory of classical wave propagation in random media have been also considered. For classical waves some results have been obtained for Gaussian beam propagation in 2D and 3D waveguides.
△ Less
Submitted 5 November, 1998; v1 submitted 2 November, 1998;
originally announced November 1998.
-
Quantum dynamics in canonical and micro-canonical ensembles. Part I. Anderson localization of electrons
Authors:
V. Filinov,
Yu. Lozovik,
A. Filinov,
I. Zacharov,
A. Oparin
Abstract:
The new numerical approach for consideration of quantum dynamics and calculations of the average values of quantum operators and time correlation functions in the Wigner representation of quantum statistical mechanics has been developed. The time correlation functions have been presented in the form of the integral of the Weyl's symbol of considered operators and the Fourier transform of the pro…
▽ More
The new numerical approach for consideration of quantum dynamics and calculations of the average values of quantum operators and time correlation functions in the Wigner representation of quantum statistical mechanics has been developed. The time correlation functions have been presented in the form of the integral of the Weyl's symbol of considered operators and the Fourier transform of the product of matrix elements of the dynamic propagators. For the last function the integral Wigner- Liouville's type equation has been derived. The numerical procedure for solving this equation combining both molecular dynamics and Monte Carlo methods has been developed. For electrons in disordered systems of scatterers the numerical results have been obtained for series of the average values of the quantum operators including position and momentum dispersions, average energy, energy distribution function as well as for the frequency dependencies of tensor of electron conductivity and permittivity according to quantum Kubo formula. Zero or very small value of static conductivity have been considered as the manifestation of Anderson localization of electrons in 1D case. Independent evidence of Anderson localization comes from the behaviour of the calculated time dependence of position dispersion.
△ Less
Submitted 26 October, 1998;
originally announced October 1998.