aiqbench analysis
This paper advances quantum linear-system algorithms by constructing explicit block-encodings for the biharmonic equation under various boundary conditions. By addressing high-dimensional discretization challenges through tailored Fourier transforms and finite-difference corrections, it establishes mesh-independent stability and characterizes gate complexity for solving fourth-order partial differential equations on near-term quantum hardware.
Explicit block-encodings for biharmonic boundary-value problems
arXiv:2607.22396v1 Announce Type: new Abstract: The biharmonic equation is a prototypical fourth-order partial differential equation whose high-dimensional discretization suffers from rapidly growing degrees of freedom and severe ill-conditioning. We develop QSVT--VTAA quantum linear-system algorithms by constructing explicit block-encodings tailored to periodic, simply supported, and Dirichlet--Neumann boundary conditions. For periodic and simply supported problems, Fourier and sine-transform diagonalizations yield augmented Poisson systems with the condition-number scaling of a second-order operator. For Dirichlet--Neumann problems, we introduce a second-order boundary-corrected finite-difference discretization, establish mesh-independent stability, and construct an explicit block-encoding of the resulting nonsymmetric matrix. We also formulate a coupled-Laplace system with additional boundary unknowns and characterize its complexity in terms of the condition number of the complete augmented matrix. The analysis covers discretization error, block-encoding normalization, gate complexity, and solution extraction under an amplitude-input and quantum-state-output model. Numerical experiments validate the proposed discretizations and the corresponding linear solves.
Abstract:The biharmonic equation is a prototypical fourth-order partial differential equation whose high-dimensional discretization suffers from rapidly growing degrees of freedom and severe ill-conditioning. We develop QSVT--VTAA quantum linear-system algorithms by constructing explicit block-encodings tailored to periodic, simply supported, and Dirichlet--Neumann boundary conditions. For periodic and simply supported problems, Fourier and sine-transform diagonalizations yield augmented Poisson systems with the condition-number scaling of a second-order operator. For Dirichlet--Neumann problems, we introduce a second-order boundary-corrected finite-difference discretization, establish mesh-independent stability, and construct an explicit block-encoding of the resulting nonsymmetric matrix. We also formulate a coupled-Laplace system with additional boundary unknowns and characterize its complexity in terms of the condition number of the complete augmented matrix. The analysis covers discretization error, block-encoding normalization, gate complexity, and solution extraction under an amplitude-input and quantum-state-output model. Numerical experiments validate the proposed discretizations and the corresponding linear solves.
Quantum Physics (quant-ph); Numerical Analysis (math.NA)
arXiv:2607.22396 [quant-ph]
(or arXiv:2607.22396v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2607.22396 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 238 words
Related coverage

Explicit Block-Encodings Solve Biharmonic Equations on Quantum Computers
Quantum Zeitgeist · Jul 27, 2026

Lattice-Based Cryptography Explained
Quantum Zeitgeist · Aug 15, 2026
Structure-Preserving Quantum Method of Lines for Evolutionary PDEs with Mixed Boundary Conditions
arXiv · Jun 3, 2026
Relative-Entropy Geometry and Convergence in Nonconvex Wiretap Optimization
arXiv · Oct 14, 2026