Abstract:Three block encoding methods are evaluated for solving linear systems of equations using QSVT (Quantum Singular Value Transformation). These are ARCSIN, FABLE and PREPARE-SELECT. The performance of the encoders is evaluated using a suite of 30 test cases including 1D, 2D and 3D Laplacians and 2D CFD matrices. A subset of cases is used to characterise how the degree of the polynomial approximation to $1/x$ influences the performance of QSVT. The results are used to guide the evaluation of QSVT as the linear solver in hybrid non-linear pressure correction and coupled implicit CFD solvers. The performance of QSVT is shown to be resilient to polynomial approximation errors. For both CFD solvers, error tolerances of $10^{-2}$ are more than sufficient in most cases and in some cases $10^{-1}$ is sufficient. The pressure correction solver allows subnormalised condition numbers, $\kappa_s$, as low as half the theoretical values to be used, reducing the number of phase factors needed. PREPARE-SELECT encoding relies on a unitary decomposition, e.g. Pauli strings, that has significant classical preprocessing costs. Both ARCSIN and FABLE have much lower costs, particularly for coupled solvers. However, their subnormalisation factors, which are based on the rank of the matrix, can be many times higher than PREPARE-SELECT leading to more phase factors being needed. For both the pressure correction and coupled CFD calculations, QSVT is more stable than previous HHL results due to the polynomial approximation errors only affecting long wavelength CFD errors. Given that lowering $\kappa_s$ increases the success probability, optimising the performance of QSVT within a CFD code is a function of the number QSVT phase factors, the number of non-linear iterations and the number of shots. Although phase factor files can be reused, the time taken to generate them impedes scaling QSVT to larger test cases.

Structured Singular Value of a Repeated Complex Full-Block Uncertainty

Structured singular value of a repeated complex full‐block uncertainty

Exact Solution for the Rank-One Structured Singular Value with Repeated Complex Full-Block Uncertainty

Variable Structure Control for a Class of Systems with Mismatched Uncertainties

On the Robust Stability Analysis with Real Block Structured Uncertainties.

Improved upper bounds for the structured singular value

Unified Uncertainty Analysis by the Mean Value First Order Saddlepoint Approximation

Uncertainty with Phase Information and the Stability of Uncertain Delay Systems

Structured singular values and their application in computing eigenvalue backward errors of the Rosenbrock system matrix

Sliced-Inverse-Regression-Aided Rotated Compressive Sensing Method for Uncertainty Quantification

Evaluation of block encoding for sparse matrix inversion using QSVT

A structured input-output approach to characterizing optimal perturbations in wall-bounded shear flows

Robust Performance Analysis of Spatially Interconnected Systems with Rate-of-variation Bounded Time-varying and Space-varying Uncertainties

Robust Stability and Performance of Uncertain Delay Systems with Structured Uncertainties

Robust Stability of Linear Time-Invariant Systems with Hybrid Uncertainties

Schur Stability Of Uncertain Matrices

High Order Numerical Methods To Approximate The Singular Value Decomposition

Structural Singular Value (μ) Analysis of Uncertainty of Flexible Structures

A well-balanced operator splitting based stochastic Galerkin method for the one-dimensional Saint-Venant system with uncertainty

Robust Stability of Multivariable Systems with Both Real Parametric and Norm Bounded Uncertainties

A sequential linear programming (SLP) approach for uncertainty analysis-based data-driven computational mechanics