-
Context-Aware Unit Testing for Quantum Subroutines
Authors:
Mykhailo Klymenko,
Thong Hoang,
Samuel A. Wilkinson,
Bahar Goldozian,
Suyu Ma,
Xiwei Xu,
Qinghua Lu,
Muhammad Usman,
Liming Zhu
Abstract:
Software testing is a critical component of the classical software development lifecycle, and this principle is expected to hold true for quantum software as it evolves toward large-scale production and adherence to industry standards. Developing and testing quantum software presents unique challenges due to the non-deterministic nature of quantum information, the high dimensionality of the underl…
▽ More
Software testing is a critical component of the classical software development lifecycle, and this principle is expected to hold true for quantum software as it evolves toward large-scale production and adherence to industry standards. Developing and testing quantum software presents unique challenges due to the non-deterministic nature of quantum information, the high dimensionality of the underlying Hilbert space, complex hardware noise, and the inherent non-local properties of quantum systems. In this work, we model quantum subroutines as parametrized quantum channels and explore the feasibility of creating practical unit tests using probabilistic assertions, combined with either quantum tomography or statistical tests. To address the computational complexity associated with unit testing in quantum systems, we propose incorporating context-awareness into the testing process. The trade-offs between accuracy, state space coverage, and efficiency associated with the proposed theoretical framework for quantum unit testing have been demonstrated through its application to a simple three-qubit quantum subroutine that prepares a Greenberger-Horne-Zeilinger state, as well as to subroutines within a program implementing Shor's algorithm.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Evaluating the performance of sigmoid quantum perceptrons in quantum neural networks
Authors:
Samuel A Wilkinson,
Michael J Hartmann
Abstract:
Quantum neural networks (QNN) have been proposed as a promising architecture for quantum machine learning. There exist a number of different quantum circuit designs being branded as QNNs, however no clear candidate has presented itself as more suitable than the others. Rather, the search for a ``quantum perceptron" -- the fundamental building block of a QNN -- is still underway. One candidate is q…
▽ More
Quantum neural networks (QNN) have been proposed as a promising architecture for quantum machine learning. There exist a number of different quantum circuit designs being branded as QNNs, however no clear candidate has presented itself as more suitable than the others. Rather, the search for a ``quantum perceptron" -- the fundamental building block of a QNN -- is still underway. One candidate is quantum perceptrons designed to emulate the nonlinear activation functions of classical perceptrons. Such sigmoid quantum perceptrons (SQPs) inherit the universal approximation property that guarantees that classical neural networks can approximate any function. However, this does not guarantee that QNNs built from SQPs will have any quantum advantage over their classical counterparts. Here we critically investigate both the capabilities and performance of SQP networks by computing their effective dimension and effective capacity, as well as examining their performance on real learning problems. The results are compared to those obtained for other candidate networks which lack activation functions. It is found that simpler, and apparently easier-to-implement parametric quantum circuits actually perform better than SQPs. This indicates that the universal approximation theorem, which a cornerstone of the theory of classical neural networks, is not a relevant criterion for QNNs.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Direct implementation of a perceptron in superconducting circuit quantum hardware
Authors:
Marek Pechal,
Federico Roy,
Samuel A. Wilkinson,
Gian Salis,
Max Werninghaus,
Michael J. Hartmann,
Stefan Filipp
Abstract:
The utility of classical neural networks as universal approximators suggests that their quantum analogues could play an important role in quantum generalizations of machine-learning methods. Inspired by the proposal in [Torrontegui and García-Ripoll 2019 EPL 125 30004], we demonstrate a superconducting qubit implementation of an adiabatic controlled gate, which generalizes the action of a classica…
▽ More
The utility of classical neural networks as universal approximators suggests that their quantum analogues could play an important role in quantum generalizations of machine-learning methods. Inspired by the proposal in [Torrontegui and García-Ripoll 2019 EPL 125 30004], we demonstrate a superconducting qubit implementation of an adiabatic controlled gate, which generalizes the action of a classical perceptron as the basic building block of a quantum neural network. We show full control over the steepness of the perceptron activation function, the input weight and the bias by tuning the adiabatic gate length, the coupling between the qubits and the frequency of the applied drive, respectively. In its general form, the gate realizes a multi-qubit entangling operation in a single step, whose decomposition into single- and two-qubit gates would require a number of gates that is exponential in the number of qubits. Its demonstrated direct implementation as perceptron in quantum hardware may therefore lead to more powerful quantum neural networks when combined with suitable additional standard gates.
△ Less
Submitted 24 November, 2021;
originally announced November 2021.
-
Variational Hamiltonian simulation for translational invariant systems via classical pre-processing
Authors:
Refik Mansuroglu,
Timo Eckstein,
Ludwig Nützel,
Samuel A. Wilkinson,
Michael J. Hartmann
Abstract:
The simulation of time evolution of large quantum systems is a classically challenging and in general intractable task, making it a promising application for quantum computation. A Trotter-Suzuki approximation yields an implementation thereof, where a higher approximation accuracy can be traded for an increased gate count. In this work, we introduce a variational algorithm which uses solutions of…
▽ More
The simulation of time evolution of large quantum systems is a classically challenging and in general intractable task, making it a promising application for quantum computation. A Trotter-Suzuki approximation yields an implementation thereof, where a higher approximation accuracy can be traded for an increased gate count. In this work, we introduce a variational algorithm which uses solutions of classical optimizations to predict efficient quantum circuits for time evolution of translationally invariant quantum systems. Our strategy can improve upon the Trotter-Suzuki accuracy by several orders of magnitude. It translates into a reduction in gate count and hence gain in overall fidelity at the same algorithmic accuracy. This is important in NISQ-applications where the fidelity of the output state decays exponentially with the number of gates. The performance advantage of our classical assisted strategy can be extended to open boundaries with translational symmetry in the bulk. We can extrapolate our method to beyond classically simulatable system sizes, maintaining its total fidelity advantage over a Trotter-Suzuki approximation making it an interesting candidate for beyond classical time evolution.
△ Less
Submitted 6 March, 2023; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Superconducting quantum many-body circuits for quantum simulation and computing
Authors:
Samuel A. Wilkinson,
Michael J. Hartmann
Abstract:
Quantum simulators are attractive as a means to study many-body quantum systems that are not amenable to classical numerical treatment. A versatile framework for quantum simulation is offered by superconducting circuits. In this perspective, we discuss how superconducting circuits allow the engineering of a wide variety of interactions, which in turn allows the simulation of a wide variety of mode…
▽ More
Quantum simulators are attractive as a means to study many-body quantum systems that are not amenable to classical numerical treatment. A versatile framework for quantum simulation is offered by superconducting circuits. In this perspective, we discuss how superconducting circuits allow the engineering of a wide variety of interactions, which in turn allows the simulation of a wide variety of model Hamiltonians. In particular we focus on strong photon-photon interactions mediated by nonlinear elements. This includes on-site, nearest-neighbour and four-body interactions in lattice models, allowing the implementation of extended Bose-Hubbard models and the toric code. We discuss not only the present state in analogue quantum simulation, but also future perspectives of superconducting quantum simulation that open up when concatenating quantum gates in emerging quantum computing platforms.
△ Less
Submitted 10 June, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Linear response theory of Josephson junction arrays in a microwave cavity
Authors:
Samuel A. Wilkinson,
Jared H. Cole
Abstract:
Recent experiments on Josephson junction arrays (JJAs) in microwave cavities have opened up a new avenue for investigating the properties of these devices while minimising the amount of external noise coming from the measurement apparatus itself. These experiments have already shown promise for probing many-body quantum effects in JJAs. In this work, we develop a general theoretical description of…
▽ More
Recent experiments on Josephson junction arrays (JJAs) in microwave cavities have opened up a new avenue for investigating the properties of these devices while minimising the amount of external noise coming from the measurement apparatus itself. These experiments have already shown promise for probing many-body quantum effects in JJAs. In this work, we develop a general theoretical description of such experiments by deriving a quantum phase model for planar JJAs containing quantized vortices. The dynamical susceptibility of this model is calculated for some simple circuits, and signatures of the injection of additional vortices are identified. The effects of decoherence are considered via a Lindblad master equation.
△ Less
Submitted 3 April, 2019; v1 submitted 2 November, 2018;
originally announced November 2018.
-
Approximate solutions to Mathieu's equation
Authors:
Samuel A. Wilkinson,
Nicolas Vogt,
Dmitry S. Golubev,
Jared H. Cole
Abstract:
Mathieu's equation has many applications throughout theoretical physics. It is especially important to the theory of Josephson junctions, where it is equivalent to Schrodinger's equation. Mathieu's equation can be easily solved numerically, however there exists no closed-form analytic solution. Here we collect various approximations which appear throughout the physics and mathematics literature a…
▽ More
Mathieu's equation has many applications throughout theoretical physics. It is especially important to the theory of Josephson junctions, where it is equivalent to Schrodinger's equation. Mathieu's equation can be easily solved numerically, however there exists no closed-form analytic solution. Here we collect various approximations which appear throughout the physics and mathematics literature and examine their accuracy and regimes of applicability. Particular attention is paid to quantities relevant to the physics of Josephson junctions, but the arguments and notation are kept general so as to be of use to the broader physics community.
△ Less
Submitted 21 September, 2017;
originally announced October 2017.
