A Quantum Algorithm for the Finite Element Method

TL;DR

This paper introduces Qu-FEM, a fault-tolerant quantum algorithm for the finite element method that maintains geometric flexibility and offers explicit circuit implementations for solving PDEs on quantum computers.

Contribution

The paper presents Qu-FEM, a novel quantum algorithm that preserves FEM's geometric flexibility and introduces new primitives for efficient assembly of finite element arrays on quantum hardware.

Findings

Quantum algorithm for FEM with explicit circuit constructions.

Complexity scales as ^2 p^2 n gates for constant coefficient problems.

Numerical integration on quantum computers for variable coefficient problems.

Abstract

The finite element method (FEM) is a cornerstone numerical technique for solving partial differential equations (PDEs). Here, we present $\textbf{Qu-FEM}$, a fault-tolerant era quantum algorithm for the finite element method. In contrast to other quantum PDE solvers, Qu-FEM preserves the geometric flexibility of FEM by introducing two new primitives, the unit of interaction and the local-to-global indicator matrix, which enable the assembly of global finite element arrays with a constant-size linear combination of unitaries. We study the modified Poisson equation as an elliptic problem of interest, and provide explicit circuits for Qu-FEM in Cartesian domains. For problems with constant coefficients, our algorithm admits block-encodings of global arrays that require only $\tilde{\mathcal{O}}\left(d^2 p^2 n\right)$ Clifford+$T$ gates for $d$-dimensional, order-$p$ tensor product elements on grids with $2^n$ degrees of freedom in each dimension, where $n$ is the number of qubits representing the $N=2^n$ discrete grid points. For problems with spatially varying coefficients, we perform numerical integration directly on the quantum computer to assemble global arrays and force vectors. Dirichlet boundary conditions are enforced via the method of Lagrange multipliers, eliminating the need to modify the block-encodings that emerge from the assembly procedure. This work presents a framework for extending the geometric flexibility of quantum PDE solvers while preserving the possibility of a quantum advantage.