-
New random compiler for Hamiltonians via Markov Chains
Authors:
Benoît Dubus,
Joseph Cunningham,
Jérémie Roland
Abstract:
Many quantum algorithms, such as adiabatic algorithms (e.g. AQC) and phase randomisation, require simulating Hamiltonian evolution. In addition, the simulation of physical systems is an important objective in its own right. In many cases, the Hamiltonian is complex at first sight, but can be decomposed as a linear combination of simple ones; for instance, a sum of local Hamiltonians for Ising mode…
▽ More
Many quantum algorithms, such as adiabatic algorithms (e.g. AQC) and phase randomisation, require simulating Hamiltonian evolution. In addition, the simulation of physical systems is an important objective in its own right. In many cases, the Hamiltonian is complex at first sight, but can be decomposed as a linear combination of simple ones; for instance, a sum of local Hamiltonians for Ising models or a sum of time-independent Hamiltonians with time-dependent coefficients (which is typically the case for adiabatic algorithms). In this paper we develop a new compiler, similar to the first order randomized Trotter, or qDRIFT, but with an arguably simpler framework. It is more versatile as it supports a large class of randomisation schemes and as well as time-dependent weights. We first present the model and derive its governing equations. We then define and analyze the simulation error for a sum of two Hamiltonians, and generalize it to a sum of $Q$ Hamiltonians. We prove that the number of gates necessary to simulate the weighted sum of $Q$ Hamiltonians of magnitude $C$ during a time $T$ with an error less than $ε_0$ grows as $\tilde{\mathcal{O}}\left(C^2T^2ε_0^{-1}\right)$.
△ Less
Submitted 1 March, 2025; v1 submitted 10 November, 2024;
originally announced November 2024.
-
Unstructured Adiabatic Quantum Optimization: Optimality with Limitations
Authors:
Arthur Braida,
Shantanav Chakraborty,
Alapan Chaudhuri,
Joseph Cunningham,
Rutvij Menavlikar,
Leonardo Novo,
Jérémie Roland
Abstract:
In the circuit model of quantum computing, amplitude amplification techniques can be used to find solutions to NP-hard problems defined on $n$-bits in time $\text{poly}(n) 2^{n/2}$. In this work, we investigate whether such general statements can be made for adiabatic quantum optimization, as provable results regarding its performance are mostly unknown. Although a lower bound of $Ω(2^{n/2})$ has…
▽ More
In the circuit model of quantum computing, amplitude amplification techniques can be used to find solutions to NP-hard problems defined on $n$-bits in time $\text{poly}(n) 2^{n/2}$. In this work, we investigate whether such general statements can be made for adiabatic quantum optimization, as provable results regarding its performance are mostly unknown. Although a lower bound of $Ω(2^{n/2})$ has existed in such a setting for over a decade, a purely adiabatic algorithm with this running time has been absent. We show that adiabatic quantum optimization using an unstructured search approach results in a running time that matches this lower bound (up to a polylogarithmic factor) for a broad class of classical local spin Hamiltonians. For this, it is necessary to bound the spectral gap throughout the adiabatic evolution and compute beforehand the position of the avoided crossing with sufficient precision so as to adapt the adiabatic schedule accordingly. However, we show that the position of the avoided crossing is approximately given by a quantity that depends on the degeneracies and inverse gaps of the problem Hamiltonian and is NP-hard to compute even within a low additive precision. Furthermore, computing it exactly (or nearly exactly) is \#P-hard. Our work indicates a possible limitation of adiabatic quantum optimization algorithms, leaving open the question of whether provable Grover-like speed-ups can be obtained for any optimization problem using this approach.
△ Less
Submitted 4 July, 2025; v1 submitted 8 November, 2024;
originally announced November 2024.
-
Investigating and Mitigating Barren Plateaus in Variational Quantum Circuits: A Survey
Authors:
Jack Cunningham,
Jun Zhuang
Abstract:
In recent years, variational quantum circuits (VQCs) have been widely explored to advance quantum circuits against classic models on various domains, such as quantum chemistry and quantum machine learning. Similar to classic machine-learning models, VQCs can be trained through various optimization approaches, such as gradient-based or gradient-free methods. However, when employing gradient-based m…
▽ More
In recent years, variational quantum circuits (VQCs) have been widely explored to advance quantum circuits against classic models on various domains, such as quantum chemistry and quantum machine learning. Similar to classic machine-learning models, VQCs can be trained through various optimization approaches, such as gradient-based or gradient-free methods. However, when employing gradient-based methods, the gradient variance of VQCs may dramatically vanish as the number of qubits or layers increases. This issue, a.k.a. Barren Plateaus (BPs), seriously hinders the scaling of VQCs on large datasets. To mitigate the barren plateaus, extensive efforts have been devoted to tackling this issue through diverse strategies. In this survey, we conduct a systematic literature review of recent works from both investigation and mitigation perspectives. Furthermore, we propose a new taxonomy to categorize most existing mitigation strategies into five groups and introduce them in detail. Also, we compare the concurrent survey papers about BPs. Finally, we provide insightful discussion on future directions for BPs.
△ Less
Submitted 9 February, 2025; v1 submitted 24 July, 2024;
originally announced July 2024.
-
Eigenpath traversal by Poisson-distributed phase randomisation
Authors:
Joseph Cunningham,
Jérémie Roland
Abstract:
We present a framework for quantum computation, similar to Adiabatic Quantum Computation (AQC), that is based on the quantum Zeno effect. By performing randomised dephasing operations at intervals determined by a Poisson process, we are able to track the eigenspace associated to a particular eigenvalue.
We derive a simple differential equation for the fidelity, leading to general theorems boundi…
▽ More
We present a framework for quantum computation, similar to Adiabatic Quantum Computation (AQC), that is based on the quantum Zeno effect. By performing randomised dephasing operations at intervals determined by a Poisson process, we are able to track the eigenspace associated to a particular eigenvalue.
We derive a simple differential equation for the fidelity, leading to general theorems bounding the time complexity of a whole class of algorithms. We also use eigenstate filtering to optimise the scaling of the complexity in the error tolerance $ε$.
In many cases the bounds given by our general theorems are optimal, giving a time complexity of $O(1/Δ_m)$ with $Δ_m$ the minimum of the gap. This allows us to prove optimal results using very general features of problems, minimising the problem-specific insight necessary.
As two applications of our framework, we obtain optimal scaling for the Grover problem (i.e.\ $O(\sqrt{N})$ where $N$ is the database size) and the Quantum Linear System Problem (i.e.\ $O(κ\log(1/ε))$ where $κ$ is the condition number and $ε$ the error tolerance) by direct applications of our theorems.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Improving Trainability of Variational Quantum Circuits via Regularization Strategies
Authors:
Jun Zhuang,
Jack Cunningham,
Chaowen Guan
Abstract:
In the era of noisy intermediate-scale quantum (NISQ), variational quantum circuits (VQCs) have been widely applied in various domains, advancing the superiority of quantum circuits against classic models. Similar to classic models, regular VQCs can be optimized by various gradient-based methods. However, the optimization may be initially trapped in barren plateaus or eventually entangled in saddl…
▽ More
In the era of noisy intermediate-scale quantum (NISQ), variational quantum circuits (VQCs) have been widely applied in various domains, advancing the superiority of quantum circuits against classic models. Similar to classic models, regular VQCs can be optimized by various gradient-based methods. However, the optimization may be initially trapped in barren plateaus or eventually entangled in saddle points during training. These gradient issues can significantly undermine the trainability of VQC. In this work, we propose a strategy that regularizes model parameters with prior knowledge of the train data and Gaussian noise diffusion. We conduct ablation studies to verify the effectiveness of our strategy across four public datasets and demonstrate that our method can improve the trainability of VQCs against the above-mentioned gradient issues.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
The Autodidactic Universe
Authors:
Stephon Alexander,
William J. Cunningham,
Jaron Lanier,
Lee Smolin,
Stefan Stanojevic,
Michael W. Toomey,
Dave Wecker
Abstract:
We present an approach to cosmology in which the Universe learns its own physical laws. It does so by exploring a landscape of possible laws, which we express as a certain class of matrix models. We discover maps that put each of these matrix models in correspondence with both a gauge/gravity theory and a mathematical model of a learning machine, such as a deep recurrent, cyclic neural network. Th…
▽ More
We present an approach to cosmology in which the Universe learns its own physical laws. It does so by exploring a landscape of possible laws, which we express as a certain class of matrix models. We discover maps that put each of these matrix models in correspondence with both a gauge/gravity theory and a mathematical model of a learning machine, such as a deep recurrent, cyclic neural network. This establishes a correspondence between each solution of the physical theory and a run of a neural network. This correspondence is not an equivalence, partly because gauge theories emerge from $N \rightarrow \infty $ limits of the matrix models, whereas the same limits of the neural networks used here are not well-defined. We discuss in detail what it means to say that learning takes place in autodidactic systems, where there is no supervision. We propose that if the neural network model can be said to learn without supervision, the same can be said for the corresponding physical theory. We consider other protocols for autodidactic physical systems, such as optimization of graph variety, subset-replication using self-attention and look-ahead, geometrogenesis guided by reinforcement learning, structural learning using renormalization group techniques, and extensions. These protocols together provide a number of directions in which to explore the origin of physical laws based on putting machine learning architectures in correspondence with physical theories.
△ Less
Submitted 2 September, 2021; v1 submitted 28 March, 2021;
originally announced April 2021.
-
Terahertz quantum cascade lasers with thin resonant-phonon depopulation active regions and surface-plasmon waveguides
Authors:
M. Salih,
P. Dean,
A. Valavanis,
S. P. Khanna,
L. H. Li,
J. E. Cunningham,
A. G. Davies,
E. H. Linfield
Abstract:
We report three-well, resonant-phonon depopulation terahertz quantum cascade lasers with semi-insulating surface-plasmon waveguides and reduced active region (AR) thicknesses. Devices with thicknesses of 10, 7.5, 6, and 5 μm are compared in terms of threshold current density, maximum operating temperature, output power and AR temperature. Thinner ARs are technologically less demanding for epitaxia…
▽ More
We report three-well, resonant-phonon depopulation terahertz quantum cascade lasers with semi-insulating surface-plasmon waveguides and reduced active region (AR) thicknesses. Devices with thicknesses of 10, 7.5, 6, and 5 μm are compared in terms of threshold current density, maximum operating temperature, output power and AR temperature. Thinner ARs are technologically less demanding for epitaxial growth and result in reduced electrical heating of devices. However, it is found that 7.5-μm-thick devices give the lowest electrical power densities at threshold, as they represent the optimal trade-off between low electrical resistance and low threshold gain.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.
