-
Quantum reservoir computing using the stabilizer formalism for encoding classical data
Authors:
Franz G. Fuchs,
Alexander J. Stasik,
Stanley Miao,
Ola Tangen Kulseng,
Ruben Pariente Bassa
Abstract:
Utilizing a quantum system for reservoir computing has recently received a lot of attention. Key challenges are related to how on can optimally en- and decode classical information, as well as what constitutes a good reservoir. Our main contribution is a generalization of the standard way to robustly en- and decode time series into subspaces defined by the cosets of a given stabilizer. A key obser…
▽ More
Utilizing a quantum system for reservoir computing has recently received a lot of attention. Key challenges are related to how on can optimally en- and decode classical information, as well as what constitutes a good reservoir. Our main contribution is a generalization of the standard way to robustly en- and decode time series into subspaces defined by the cosets of a given stabilizer. A key observation is the necessity to perform the decoding step, which in turn ensures a consistent way of encoding. This provides a systematic way to encode classical information in a robust way. We provide a numerical analysis on a discrete time series given by two standard maps, namely the logistic and the Hénon map. Our numerical findings indicate that the system's performance is increasing with the length of the training data.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
QuantumReservoirPy: A Software Package for Time Series Prediction
Authors:
Stanley Miao,
Ola Tangen Kulseng,
Alexander Stasik,
Franz G. Fuchs
Abstract:
In recent times, quantum reservoir computing has emerged as a potential resource for time series prediction. Hence, there is a need for a flexible framework to test quantum circuits as nonlinear dynamical systems. We have developed a software package to allow for quantum reservoirs to fit a common structure, similar to that of reservoirpy which is advertised as "a python tool designed to easily de…
▽ More
In recent times, quantum reservoir computing has emerged as a potential resource for time series prediction. Hence, there is a need for a flexible framework to test quantum circuits as nonlinear dynamical systems. We have developed a software package to allow for quantum reservoirs to fit a common structure, similar to that of reservoirpy which is advertised as "a python tool designed to easily define, train and use (classical) reservoir computing architectures". Our package results in simplified development and logical methods of comparison between quantum reservoir architectures. Examples are provided to demonstrate the resulting simplicity of executing quantum reservoir computing using our software package.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Optimal mixers restricted to subspaces and the stabilizer formalism
Authors:
Franz G. Fuchs,
Ruben Pariente Bassa
Abstract:
We present a novel formalism to both understand and construct mixers that preserve a given subspace. The method connects and utilizes the stabilizer formalism that is used in error correcting codes. This can be useful in the setting when the quantum approximate optimization algorithm (QAOA), a popular meta-heuristic for solving combinatorial optimization problems, is applied in the setting where t…
▽ More
We present a novel formalism to both understand and construct mixers that preserve a given subspace. The method connects and utilizes the stabilizer formalism that is used in error correcting codes. This can be useful in the setting when the quantum approximate optimization algorithm (QAOA), a popular meta-heuristic for solving combinatorial optimization problems, is applied in the setting where the constraints of the problem lead to a feasible subspace that is large but easy to specify. The proposed method gives a systematic way to construct mixers that are resource efficient in the number of controlled not gates and can be understood as a generalization of the well-known X and XY mixers and a relaxation of the Grover mixer: Given a basis of any subspace, a resource efficient mixer can be constructed that preserves the subspace. The numerical examples provided show a dramatic reduction of CX gates when compared to previous results. We call our approach logical X-Mixer or logical X QAOA ($\textbf{LX-QAOA}$), since it can be understood as dividing the subspace into code spaces of stabilizers S and consecutively applying logical rotational X gates associated with these code spaces. Overall, we hope that this new perspective can lead to further insight into the development of quantum algorithms.
△ Less
Submitted 26 June, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
Constrained mixers for the quantum approximate optimization algorithm
Authors:
Franz G. Fuchs,
Kjetil Olsen Lye,
Halvor Møll Nilsen,
Alexander J. Stasik,
Giorgio Sartor
Abstract:
The quantum approximate optimization algorithm/quantum alternating operator ansatz (QAOA) is a heuristic to find approximate solutions of combinatorial optimization problems. Most literature is limited to quadratic problems without constraints. However, many practically relevant optimization problems do have (hard) constraints that need to be fulfilled. In this article, we present a framework for…
▽ More
The quantum approximate optimization algorithm/quantum alternating operator ansatz (QAOA) is a heuristic to find approximate solutions of combinatorial optimization problems. Most literature is limited to quadratic problems without constraints. However, many practically relevant optimization problems do have (hard) constraints that need to be fulfilled. In this article, we present a framework for constructing mixing operators that restrict the evolution to a subspace of the full Hilbert space given by these constraints; We generalize the "XY"-mixer designed to preserve the subspace of "one-hot" states to the general case of subspaces given by a number of computational basis states. We expose the underlying mathematical structure which reveals more of how mixers work and how one can minimize their cost in terms of number of CX gates, particularly when Trotterization is taken into account. Our analysis also leads to valid Trotterizations for "XY"-mixer with fewer CX gates than is known to date. In view of practical implementations, we also describe algorithms for efficient decomposition into basis gates. Several examples of more general cases are presented and analyzed.
△ Less
Submitted 22 June, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Efficient encoding of the weighted MAX k-CUT on a quantum computer using QAOA
Authors:
Franz Georg Fuchs,
Herman Øie Kolden,
Niels Henrik Aase,
Giorgio Sartor
Abstract:
The weighted MAX k-CUT problem consists of finding a k-partition of a given weighted undirected graph G(V,E) such that the sum of the weights of the crossing edges is maximized. The problem is of particular interest as it has a multitude of practical applications. We present a formulation of the weighted MAX k-CUT suitable for running the quantum approximate optimization algorithm (QAOA) on noisy…
▽ More
The weighted MAX k-CUT problem consists of finding a k-partition of a given weighted undirected graph G(V,E) such that the sum of the weights of the crossing edges is maximized. The problem is of particular interest as it has a multitude of practical applications. We present a formulation of the weighted MAX k-CUT suitable for running the quantum approximate optimization algorithm (QAOA) on noisy intermediate scale quantum (NISQ)-devices to get approximate solutions. The new formulation uses a binary encoding that requires only |V|log_2(k) qubits. The contributions of this paper are as follows: i) A novel decomposition of the phase separation operator based on the binary encoding into basis gates is provided for the MAX k-CUT problem for k >2. ii) Numerical simulations on a suite of test cases comparing different encodings are performed. iii) An analysis of the resources (number of qubits, CX gates) of the different encodings is presented. iv) Formulations and simulations are extended to the case of weighted graphs. For small k and with further improvements when k is not a power of two, our algorithm is a possible candidate to show quantum advantage on NISQ devices.
△ Less
Submitted 9 November, 2020; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Quantum Poker A game for quantum computers suitable for benchmarking error mitigation techniques on NISQ devices
Authors:
Franz G. Fuchs,
Vemund Falch,
Christian Johnsen
Abstract:
Quantum computers are on the verge of becoming a commercially available reality. They represent a paradigm shift in computing, with a steep learning gradient. The creation of games is a way to ease the transition for beginners. We present a game similar to the Poker variant Texas hold 'em with the intention to serve as an engaging pedagogical tool to learn the basics rules of quantum computing. Th…
▽ More
Quantum computers are on the verge of becoming a commercially available reality. They represent a paradigm shift in computing, with a steep learning gradient. The creation of games is a way to ease the transition for beginners. We present a game similar to the Poker variant Texas hold 'em with the intention to serve as an engaging pedagogical tool to learn the basics rules of quantum computing. The concepts of quantum states, quantum operations and measurement can be learned in a playful manner. The difference to the classical variant is that the community cards are replaced by a quantum register that is "randomly" initialized, and the cards for each player are replaced by quantum gates, randomly drawn from a set of available gates. Each player can create a quantum circuit with their cards, with the aim to maximize the number of $1$'s that are measured in the computational basis. The basic concepts of superposition, entanglement and quantum gates are employed. We provide a proof-of-concept implementation using Qiskit. A comparison of the results for the created circuits using a simulator and IBM machines is conducted, showing that error rates on contemporary quantum computers are still very high. For the success of noisy intermediate scale quantum (NISQ) computers, improvements on the error rates and error mitigation techniques are necessary, even for simple circuits. We show that quantum error mitigation (QEM) techniques can be used to improve expectation values of observables on real quantum devices.
△ Less
Submitted 23 March, 2020; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Direct interactive visualization of locally refined spline volumes for scalar and vector fields
Authors:
Franz G. Fuchs,
Oliver J. D. Barrowclough,
Jon M. Hjelmervik,
Heidi E. I. Dahl
Abstract:
We present a novel approach enabling interactive visualization of volumetric Locally Refined B-splines (LR-splines). To this end we propose a highly efficient algorithm for direct visualization of scalar and vector fields given by an LR-spline. In both cases, our main contribution to achieve interactive frame rates is an acceleration structure for fast element look-up and a change of basis for eff…
▽ More
We present a novel approach enabling interactive visualization of volumetric Locally Refined B-splines (LR-splines). To this end we propose a highly efficient algorithm for direct visualization of scalar and vector fields given by an LR-spline. In both cases, our main contribution to achieve interactive frame rates is an acceleration structure for fast element look-up and a change of basis for efficient evaluation. To further improve the efficiency, we present a heuristic for adaptive sampling distance for the numerical integration. A comparison with existing adaptive approaches is performed. The algorithms are designed to fully utilize modern graphics processing unit (GPU) capabilities. Important applications where LR-spline volumes emerge are given for instance by approximation of large-scale simulation and sensor data, and Isogeometric Analysis (IGA). We showcase interactive rendering achieved by our approach on different representative use cases, stemming from simulations of wind flow around a telescope, Magnetic Resonance (MR) imaging of a human brain, and simulations of a fluidized bed used for mixing and coating particles in industrial processes.
△ Less
Submitted 14 March, 2018; v1 submitted 4 July, 2017;
originally announced July 2017.
-
Uncertainty quantification for hyperbolic conservation laws with flux coefficients given by spatiotemporal random fields
Authors:
Andrea Barth,
Franz Georg Fuchs
Abstract:
In this paper hyperbolic partial differential equations with random coefficients are discussed. We consider the challenging problem of flux functions with coefficients modeled by spatiotemporal random fields. Those fields are given by correlated Gaussian random fields in space and Ornstein-Uhlenbeck processes in time. The resulting system of equations consists of a stochastic differential equation…
▽ More
In this paper hyperbolic partial differential equations with random coefficients are discussed. We consider the challenging problem of flux functions with coefficients modeled by spatiotemporal random fields. Those fields are given by correlated Gaussian random fields in space and Ornstein-Uhlenbeck processes in time. The resulting system of equations consists of a stochastic differential equation for each random parameter coupled to the hyperbolic conservation law. We define an appropriate solution concept in his setting and analyze errors and convergence of discretization methods. A novel discretization framework, based on Monte Carlo Finite Volume methods, is presented for the robust computation of moments of solutions to those random hyperbolic partial differential equations. We showcase the approach on two examples which appear in applications: The magnetic induction equation and linear acoustics, both with a spatiotemporal random background velocity field.
△ Less
Submitted 2 May, 2016; v1 submitted 25 June, 2015;
originally announced June 2015.
-
Interactive Isogeometric Volume Visualization with Pixel-Accurate Geometry
Authors:
Franz G. Fuchs,
Jon M. Hjelmervik
Abstract:
A recent development, called isogeometric analysis, provides a unified approach for design, analysis and optimization of functional products in industry. Traditional volume rendering methods for inspecting the results from the numerical simulations cannot be applied directly to isogeometric models. We present a novel approach for interactive visualization of isogeometric analysis results, ensuring…
▽ More
A recent development, called isogeometric analysis, provides a unified approach for design, analysis and optimization of functional products in industry. Traditional volume rendering methods for inspecting the results from the numerical simulations cannot be applied directly to isogeometric models. We present a novel approach for interactive visualization of isogeometric analysis results, ensuring correct, i.e., pixel-accurate geometry of the volume including its bounding surfaces. The entire OpenGL pipeline is used in a multi-stage algorithm leveraging techniques from surface rendering, order-independent transparency, as well as theory and numerical methods for ordinary differential equations. We showcase the efficiency of our approach on different models relevant to industry, ranging from quality inspection of the parametrization of the geometry, to stress analysis in linear elasticity, to visualization of computational fluid dynamics results.
△ Less
Submitted 7 May, 2015; v1 submitted 13 April, 2014;
originally announced April 2014.
-
Uncertainty Quantification for Linear Hyperbolic Equations with Stochastic Process or Random Field Coefficients
Authors:
Andrea Barth,
Franz G. Fuchs
Abstract:
In this paper hyperbolic partial differential equations with random coefficients are discussed. Such random partial differential equations appear for instance in traffic flow problems as well as in many physical processes in random media. Two types of models are presented: The first has a time-dependent coefficient modeled by the Ornstein--Uhlenbeck process. The second has a random field coefficie…
▽ More
In this paper hyperbolic partial differential equations with random coefficients are discussed. Such random partial differential equations appear for instance in traffic flow problems as well as in many physical processes in random media. Two types of models are presented: The first has a time-dependent coefficient modeled by the Ornstein--Uhlenbeck process. The second has a random field coefficient with a given covariance in space. For the former a formula for the exact solution in terms of moments is derived. In both cases stable numerical schemes are introduced to solve these random partial differential equations. Simulation results including convergence studies conclude the theoretical findings.
△ Less
Submitted 16 June, 2017; v1 submitted 10 February, 2014;
originally announced February 2014.