Low-ancilla block encodings via Hamiltonian simulation

• URL: http://arxiv.org/abs/2607.01843v1
• Date: Thu, 02 Jul 2026 08:06:14 GMT
• Title: Low-ancilla block encodings via Hamiltonian simulation
• Abstract summary: Block encodings are a central primitive in quantum algorithms.<n>We present a simple single-ancilla construction that converts Hamiltonian evolution into a block encoding of the underlying Hamiltonian.
• Score: 10.872863127462717
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Block encodings are a central primitive in quantum algorithms, but standard constructions typically require logarithmic ancilla overhead and complicated controlled operations. Recent lower bounds further show that such ancilla overhead is unavoidable for exact constructions in broad circuit models. We show that this barrier can be bypassed in the approximate setting. Specifically, we present a simple single-ancilla construction that converts Hamiltonian evolution into a block encoding of the underlying Hamiltonian, via generalized quantum signal processing. For operators given by Hermitian decompositions $A=\sum_{j=1}^L α_j H_j$, we instantiate this block-encoding construction in two ways, which differ in how the required Hamiltonian evolution is implemented. Using higher-order Trotterization, we obtain an $\varepsilon$-approximate block encoding of $A$ with only one ancilla qubit and circuit depth $\widetilde O\big(L(α/\varepsilon)^{o(1)}\big),$ where $α=\sum_j α_j$. Using multiproduct formulas, we obtain circuit depth $\widetilde O(L)$, at the cost of $O(\log\log(1/\varepsilon))$ ancilla qubits. Our constructions provide alternatives to the standard LCU framework, with a focus on reducing the number of ancilla qubits while maintaining (near-)optimal circuit depth.

Related papers

• Optimal T-Count for Block Encodings of Fermionic and Spin Hamiltonians [4.914113120082008]
  We study the cost of constructing block encodings of structured fermionic and spin Hamiltonians in a unitary Clifford$+T$ model.<n>Our main technical tool is an ancilla-compression theorem: any block encoding of an $n$-qubit operator with $a$ clean ancillas and at most $s$ $T$ gates can be compressed to use at most $mina,n+2s$ ancillas.
  arXiv  Detail & Related papers  (2026-09-10T07:01:08Z)
• Optimal Bounds, Barriers, and Extensions for Non-Hermitian Bivariate Quantum Signal Processing [0.0]
  We find the anti-Hermitian query complexity $d_I = (betaI T + log/varepsilon)/loglog (1/varepsilon)$ to be tight, established via Chebyshev coefficient, modified Bessel functions, and Lambert$W$ inversion.<n>A constant-access-operator construction achieves intrinsic barrier $e-2T$ on a restricted domain, though extension to the full bitorus remains open.
  arXiv  Detail & Related papers  (2026-05-12T19:03:36Z)
• 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)
• Shorter width truncated Taylor series for Hamiltonian dynamics simulations [0.0]
  We present an alternative quantum circuit that maintains an equivalent elementary gate cost but has an exponentially reduced number of ancilla qubits.<n>The proposed circuit utilizes a total of $lceil log(K) rceil + lceil log(L) rceil +n$ qubits, where $L$ is the number of terms in the Hamiltonian and $n$ is the system qubit size.
  arXiv  Detail & Related papers  (2025-11-12T16:27:06Z)
• Quantum singular value transformation without block encodings: Near-optimal complexity with minimal ancilla [18.660349597156266]
  We develop new algorithms for Quantum Singular Value Transformation (QSVT), a unifying framework that encapsulates most known quantum algorithms.<n>Our results establish a new framework for quantum algorithms, significantly reducing hardware overhead while maintaining near-optimal performance.
  arXiv  Detail & Related papers  (2025-04-03T08:24:15Z)
• A shortcut to an optimal quantum linear system solver [55.2480439325792]
  We give a conceptually simple quantum linear system solvers (QLSS) that does not use complex or difficult-to-analyze techniques. If the solution norm $lVertboldsymbolxrVert$ is known exactly, our QLSS requires only a single application of kernel. Alternatively, by reintroducing a concept from the adiabatic path-following technique, we show that $O(kappa)$ complexity can be achieved for norm estimation.
  arXiv  Detail & Related papers  (2024-06-17T20:54:11Z)
• Hamiltonian simulation for low-energy states with optimal time dependence [45.02537589779136]
  We consider the task of simulating time evolution under a Hamiltonian $H$ within its low-energy subspace. We present a quantum algorithm that uses $O(tsqrtlambdaGamma + sqrtlambda/Gammalog (1/epsilon))$ queries to the block-encoding for any $Gamma$.
  arXiv  Detail & Related papers  (2024-04-04T17:58:01Z)
• Block encoding of matrix product operators [0.0]
  We present a procedure to block-encode a Hamiltonian based on its matrix product operator (MPO) representation. More specifically, we encode every MPO tensor in a larger unitary of dimension $D+2$, where $D = lceillog(chi)rceil$ is the number of subsequently contracted qubits that scales logarithmically with the virtual bond dimension.
  arXiv  Detail & Related papers  (2023-12-14T12:34:24Z)
• Spacetime-Efficient Low-Depth Quantum State Preparation with Applications [93.56766264306764]
  We show that a novel deterministic method for preparing arbitrary quantum states requires fewer quantum resources than previous methods. We highlight several applications where this ability would be useful, including quantum machine learning, Hamiltonian simulation, and solving linear systems of equations.
  arXiv  Detail & Related papers  (2023-03-03T18:23:20Z)
• Quantum Resources Required to Block-Encode a Matrix of Classical Data [56.508135743727934]
  We provide circuit-level implementations and resource estimates for several methods of block-encoding a dense $Ntimes N$ matrix of classical data to precision $epsilon$. We examine resource tradeoffs between the different approaches and explore implementations of two separate models of quantum random access memory (QRAM) Our results go beyond simple query complexity and provide a clear picture into the resource costs when large amounts of classical data are assumed to be accessible to quantum algorithms.
  arXiv  Detail & Related papers  (2022-06-07T18:00:01Z)
• Thresholded Lasso Bandit [70.17389393497125]
  Thresholded Lasso bandit is an algorithm that estimates the vector defining the reward function as well as its sparse support. We establish non-asymptotic regret upper bounds scaling as $mathcalO( log d + sqrtT )$ in general, and as $mathcalO( log d + sqrtT )$ under the so-called margin condition.
  arXiv  Detail & Related papers  (2020-10-22T19:14:37Z)

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.