-
Quantum Linear System Solvers: A Survey of Algorithms and Applications
Authors:
Mauro E. S. Morales,
Lirandë Pira,
Philipp Schleich,
Kelvin Koor,
Pedro C. S. Costa,
Dong An,
Alán Aspuru-Guzik,
Lin Lin,
Patrick Rebentrost,
Dominic W. Berry
Abstract:
Solving linear systems of equations plays a fundamental role in numerous computational problems from different fields of science. The widespread use of numerical methods to solve these systems motivates investigating the feasibility of solving linear systems problems using quantum computers. In this work, we provide a survey of the main advances in quantum linear systems algorithms, together with…
▽ More
Solving linear systems of equations plays a fundamental role in numerous computational problems from different fields of science. The widespread use of numerical methods to solve these systems motivates investigating the feasibility of solving linear systems problems using quantum computers. In this work, we provide a survey of the main advances in quantum linear systems algorithms, together with some applications. We summarize and analyze the main ideas behind some of the algorithms for the quantum linear systems problem in the literature. The analysis begins by examining the Harrow-Hassidim-Lloyd (HHL) solver. We note its limitations and reliance on computationally expensive quantum methods, then highlight subsequent research efforts which aimed to address these limitations and optimize runtime efficiency and precision via various paradigms. We focus in particular on the post-HHL enhancements which have paved the way towards optimal lower bounds with respect to error tolerance and condition number. By doing so, we propose a taxonomy that categorizes these studies. Furthermore, by contextualizing these developments within the broader landscape of quantum computing, we explore the foundational work that have inspired and informed their development, as well as subsequent refinements. Finally, we discuss the potential applications of these algorithms in differential equations, quantum machine learning, and many-body physics.
△ Less
Submitted 9 January, 2025; v1 submitted 4 November, 2024;
originally announced November 2024.
-
QKAN: Quantum Kolmogorov-Arnold Networks
Authors:
Petr Ivashkov,
Po-Wei Huang,
Kelvin Koor,
Lirandë Pira,
Patrick Rebentrost
Abstract:
The potential of learning models in quantum hardware remains an open question. Yet, the field of quantum machine learning persistently explores how these models can take advantage of quantum implementations. Recently, a new neural network architecture, called Kolmogorov-Arnold Networks (KAN), has emerged, inspired by the compositional structure of the Kolmogorov-Arnold representation theorem. In t…
▽ More
The potential of learning models in quantum hardware remains an open question. Yet, the field of quantum machine learning persistently explores how these models can take advantage of quantum implementations. Recently, a new neural network architecture, called Kolmogorov-Arnold Networks (KAN), has emerged, inspired by the compositional structure of the Kolmogorov-Arnold representation theorem. In this work, we design a quantum version of KAN called QKAN. Our QKAN exploits powerful quantum linear algebra tools, including quantum singular value transformation, to apply parameterized activation functions on the edges of the network. QKAN is based on block-encodings, making it inherently suitable for direct quantum input. Furthermore, we analyze its asymptotic complexity, building recursively from a single layer to an end-to-end neural architecture. The gate complexity of QKAN scales linearly with the cost of constructing block-encodings for input and weights, suggesting broad applicability in tasks with high-dimensional input. QKAN serves as a trainable quantum machine learning model by combining parameterized quantum circuits with established quantum subroutines. Lastly, we propose a multivariate state preparation strategy based on the construction of the QKAN architecture.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
The Quantum Esscher Transform
Authors:
Yixian Qiu,
Kelvin Koor,
Patrick Rebentrost
Abstract:
The Esscher Transform is a tool of broad utility in various domains of applied probability. It provides the solution to a constrained minimum relative entropy optimization problem. In this work, we study the generalization of the Esscher Transform to the quantum setting. We examine a relative entropy minimization problem for a quantum density operator, potentially of wide relevance in quantum info…
▽ More
The Esscher Transform is a tool of broad utility in various domains of applied probability. It provides the solution to a constrained minimum relative entropy optimization problem. In this work, we study the generalization of the Esscher Transform to the quantum setting. We examine a relative entropy minimization problem for a quantum density operator, potentially of wide relevance in quantum information theory. The resulting solution form motivates us to define the \textit{quantum} Esscher Transform, which subsumes the classical Esscher Transform as a special case. Envisioning potential applications of the quantum Esscher Transform, we also discuss its implementation on fault-tolerant quantum computers. Our algorithm is based on the modern techniques of block-encoding and quantum singular value transformation (QSVT). We show that given block-encoded inputs, our algorithm outputs a subnormalized block-encoding of the quantum Esscher transform within accuracy $ε$ in $\tilde O(κd \log^2 1/ε)$ queries to the inputs, where $κ$ is the condition number of the input density operator and $d$ is the number of constraints.
△ Less
Submitted 10 April, 2025; v1 submitted 15 January, 2024;
originally announced January 2024.
-
A short tutorial on Wirtinger Calculus with applications in quantum information
Authors:
Kelvin Koor,
Yixian Qiu,
Leong Chuan Kwek,
Patrick Rebentrost
Abstract:
The optimization of system parameters is a ubiquitous problem in science and engineering. The traditional approach involves setting to zero the partial derivatives of the objective function with respect to each parameter, in order to extract the optimal solution. However, the system parameters often take the form of complex matrices. In such situations, conventional methods become unwieldy. The `W…
▽ More
The optimization of system parameters is a ubiquitous problem in science and engineering. The traditional approach involves setting to zero the partial derivatives of the objective function with respect to each parameter, in order to extract the optimal solution. However, the system parameters often take the form of complex matrices. In such situations, conventional methods become unwieldy. The `Wirtinger Calculus' provides a relatively simple methodology for such optimization problems. In this tutorial, we provide a pedagogical introduction to Wirtinger Calculus. To illustrate the utility of this framework in quantum information theory, we also discuss a few example applications.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Hybrid quantum-classical and quantum-inspired classical algorithms for solving banded circulant linear systems
Authors:
Po-Wei Huang,
Xiufan Li,
Kelvin Koor,
Patrick Rebentrost
Abstract:
Solving linear systems is of great importance in numerous fields. In particular, circulant systems are especially valuable for efficiently finding numerical solutions to physics-related differential equations. Current quantum algorithms like HHL or variational methods are either resource-intensive or may fail to find a solution. We present an efficient algorithm based on convex optimization of com…
▽ More
Solving linear systems is of great importance in numerous fields. In particular, circulant systems are especially valuable for efficiently finding numerical solutions to physics-related differential equations. Current quantum algorithms like HHL or variational methods are either resource-intensive or may fail to find a solution. We present an efficient algorithm based on convex optimization of combinations of quantum states to solve for banded circulant linear systems whose non-zero terms are within distance $K$ of the main diagonal. By decomposing banded circulant matrices into cyclic permutations, our approach produces approximate solutions to such systems with a combination of quantum states linear to $K$, significantly improving over previous convergence guarantees, which require quantum states exponential to $K$. We propose a hybrid quantum-classical algorithm using the Hadamard test and the quantum Fourier transform as subroutines and show its PromiseBQP-hardness. Additionally, we introduce a quantum-inspired algorithm with similar performance given sample and query access. We validate our methods with classical simulations and actual IBM quantum computer implementation, showcasing their applicability for solving physical problems such as heat transfer.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Symmetry-protected topological corner modes in a periodically driven interacting spin lattice
Authors:
Kelvin Koor,
Raditya Weda Bomantara,
Leong Chuan Kwek
Abstract:
Periodic driving has the longstanding reputation for generating exotic phases of matter with no static counterparts. This work explores the interplay among periodic driving, interaction effects, and $\mathbb{Z}_2$ symmetry that leads to the emergence of Floquet symmetry protected second-order topological phases in a simple but insightful two-dimensional spin-1/2 lattice. Through a combination of a…
▽ More
Periodic driving has the longstanding reputation for generating exotic phases of matter with no static counterparts. This work explores the interplay among periodic driving, interaction effects, and $\mathbb{Z}_2$ symmetry that leads to the emergence of Floquet symmetry protected second-order topological phases in a simple but insightful two-dimensional spin-1/2 lattice. Through a combination of analytical and numerical treatments, we verify the formation of 0 and $π$ modes, i.e., corner localized $\mathbb{Z}_2$ symmetry broken operators that respectively commute and anticommute with the one-period time evolution operator. We further verify the topological nature of these modes by demonstrating their presence over a wide range of parameter values and explicitly deriving their associated topological invariants under special conditions. Finally, we propose a means to detect the signature of such modes in experiments and discuss the effect of imperfections.
△ Less
Submitted 16 November, 2022; v1 submitted 14 June, 2022;
originally announced June 2022.
