Variational quantum algorithm for the Poisson equation based on the banded Toeplitz systems
- URL: http://arxiv.org/abs/2504.14828v1
- Date: Mon, 21 Apr 2025 03:07:49 GMT
- Title: Variational quantum algorithm for the Poisson equation based on the banded Toeplitz systems
- Authors: Xiaoqi Liu, Yuedi Qu, Ming Li, Shu-qian Shen,
- Abstract summary: We give a variational quantum algorithm for solving the discreted Poisson equation.<n>We decompose the matrix $A$ and $A2$ into a linear combination of the corresponding banded Toeplitz matrix.<n>Based on the decomposition of the matrix, we design quantum circuits that evaluate efficiently the cost function.
- Score: 4.7487511537612335
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: For solving the Poisson equation it is usually possible to discretize it into solving the corresponding linear system $Ax=b$.Variational quantum algorithms (VQAs) for the discreted Poisson equation have been studied before. We give a VQA based on the banded Toeplitz systems for solving the Poisson equation with respect to the structural features of matrix $A$. In detail, we decompose the matrix $A$ and $A^2$ into a linear combination of the corresponding banded Toeplitz matrix and sparse matrices with only a few non-zero elements. For the one-dimensional Poisson equation with different boundary conditions and the $d$-dimensional Poisson equation with Dirichlet boundary conditions, the number of decomposition terms is less than the work in [Phys. Rev. A 108, 032418 (2023)]. Based on the decomposition of the matrix, we design quantum circuits that evaluate efficiently the cost function.Additionally, numerical simulation verifies the feasibility of the proposed algorithm. In the end, the VQAs for linear systems of equations and matrix-vector multiplications with $K$-banded Teoplitz matrix $T_n^K$ are given, where $T_n^K\in R^{n\times n}$ and $K\in O({\rm ploy}\log n)$.
Related papers
- Block encoding of sparse matrices with a periodic diagonal structure [67.45502291821956]
We provide an explicit quantum circuit for block encoding a sparse matrix with a periodic diagonal structure.<n>Various applications for the presented methodology are discussed in the context of solving differential problems.
arXiv Detail & Related papers (2026-02-11T07:24:33Z) - A probabilistic quantum algorithm for Lyapunov equations and matrix inversion [0.0]
We present a probabilistic quantum algorithm for preparing mixed states proportional to the solutions of Lyapunov equations.<n>At each step the algorithm either returns the current state, applies a trace non-increasing completely positive map, or restarts depending on the outcomes of a biased coin flip and an ancilla measurement.<n>In its most general form, the algorithm generates mixed states which approximate matrix-valued weighted sums and integrals.
arXiv Detail & Related papers (2025-08-06T17:52:06Z) - An Efficient Decomposition of the Carleman Linearized Burgers' Equation [0.0]
We present a polylogarithmic decomposition method to load the matrix from the linearized 1-dimensional Burgers' equation onto a quantum computer.
A complexity analysis of the required VQLS circuits shows that the upper bound of the two-qubit gate depth among all of the block encoded matrices is $mathcalO(alpha(log n_x)2)$.
arXiv Detail & Related papers (2025-05-01T04:18:28Z) - Matrix encoding method in variational quantum singular value decomposition [49.494595696663524]
Conditional measurement is involved to avoid small success probability in ancilla measurement.<n>The objective function for the algorithm can be obtained probabilistically via measurement of the state of a one-qubit subsystem.
arXiv Detail & Related papers (2025-03-19T07:01:38Z) - Closed-form Filtering for Non-linear Systems [83.91296397912218]
We propose a new class of filters based on Gaussian PSD Models, which offer several advantages in terms of density approximation and computational efficiency.
We show that filtering can be efficiently performed in closed form when transitions and observations are Gaussian PSD Models.
Our proposed estimator enjoys strong theoretical guarantees, with estimation error that depends on the quality of the approximation and is adaptive to the regularity of the transition probabilities.
arXiv Detail & Related papers (2024-02-15T08:51:49Z) - Purely quantum algorithms for calculating determinant and inverse of matrix and solving linear algebraic systems [43.53835128052666]
We propose quantum algorithms for the computation of the determinant and inverse of an $(N-1) times (N-1)$ matrix.<n>This approach is a straightforward modification of the existing algorithm for determining the determinant of an $N times N$ matrix.<n>We provide suitable circuit designs for all three algorithms, each estimated to require $O(N log N)$ in terms of space.
arXiv Detail & Related papers (2024-01-29T23:23:27Z) - Quantum Algorithm for Solving the Advection Equation using Hamiltonian Simulation [0.0]
One-dimensional advection can be simulated directly since the central finite difference operator for first-order derivatives is anti-Hermitian.
A single copy of the initial quantum state is required and the circuit depth grows linearly with the required number of time steps.
arXiv Detail & Related papers (2023-12-15T13:39:27Z) - Variational quantum algorithms for Poisson equations based on the
decomposition of sparse Hamiltonians [0.9865722130817715]
We decompose $sigma_xotimes A$ into a sum of at most 7 and $(4d+1)$ Hermitian, one-sparse, and self-inverse operators.
We explicitly design the quantum circuits to evaluate efficiently the loss function.
arXiv Detail & Related papers (2023-09-22T12:26:50Z) - Fast quantum algorithm for differential equations [0.5895819801677125]
We present a quantum algorithm with numerical complexity that is polylogarithmic in $N$ but is independent of $kappa$ for a large class of PDEs.
Our algorithm generates a quantum state that enables extracting features of the solution.
arXiv Detail & Related papers (2023-06-20T18:01:07Z) - Correspondence between open bosonic systems and stochastic differential
equations [77.34726150561087]
We show that there can also be an exact correspondence at finite $n$ when the bosonic system is generalized to include interactions with the environment.
A particular system with the form of a discrete nonlinear Schr"odinger equation is analyzed in more detail.
arXiv Detail & Related papers (2023-02-03T19:17:37Z) - Quantum algorithms for matrix operations and linear systems of equations [65.62256987706128]
We propose quantum algorithms for matrix operations using the "Sender-Receiver" model.
These quantum protocols can be used as subroutines in other quantum schemes.
arXiv Detail & Related papers (2022-02-10T08:12:20Z) - Variational Quantum algorithm for Poisson equation [4.045204834863644]
We propose a Variational Quantum Algorithm (VQA) to solve the Poisson equation.
VQA can be executed on Noise Intermediate-Scale Quantum (NISQ) devices.
Numerical experiments demonstrate that our algorithm can effectively solve the Poisson equation.
arXiv Detail & Related papers (2020-12-13T09:28:04Z) - Quantum algorithms for spectral sums [50.045011844765185]
We propose new quantum algorithms for estimating spectral sums of positive semi-definite (PSD) matrices.
We show how the algorithms and techniques used in this work can be applied to three problems in spectral graph theory.
arXiv Detail & Related papers (2020-11-12T16:29:45Z) - Linear-Sample Learning of Low-Rank Distributions [56.59844655107251]
We show that learning $ktimes k$, rank-$r$, matrices to normalized $L_1$ distance requires $Omega(frackrepsilon2)$ samples.
We propose an algorithm that uses $cal O(frackrepsilon2log2fracepsilon)$ samples, a number linear in the high dimension, and nearly linear in the matrices, typically low, rank proofs.
arXiv Detail & Related papers (2020-09-30T19:10:32Z) - Solving the Robust Matrix Completion Problem via a System of Nonlinear
Equations [28.83358353043287]
We consider the problem of robust matrix completion, which aims to recover a low rank matrix $L_*$ and a sparse matrix $S_*$ from incomplete observations of their sum $M=L_*+S_*inmathbbRmtimes n$.
The algorithm is highly parallelizable and suitable for large scale problems.
Numerical simulations show that the simple method works as expected and is comparable with state-of-the-art methods.
arXiv Detail & Related papers (2020-03-24T17:28:15Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.