analiza aiqbench
This research establishes tight theoretical bounds for the non-Clifford T-gate complexity required to simulate fermionic and spin Hamiltonians using block encodings. By proving an ancilla-compression theorem, the authors demonstrate that optimal resource scaling of $\Theta(n+\log(1/\epsilon))$ is achievable without mid-circuit measurements or classical feed-forward. These findings provide a definitive roadmap for minimizing costly T-gate overhead in fault-tolerant quantum chemistry simulations.
Optimal T-Count for Block Encodings of Fermionic and Spin Hamiltonians
arXiv:2609.11153v1 Announce Type: new Abstract: We determine the non-Clifford $T$-gate cost of constructing block encodings of structured fermionic and spin Hamiltonians in a unitary Clifford$+T$ model, when arbitrarily many clean ancillas and unrestricted block-encoding subnormalization are allowed, but without mid-circuit measurements or classical feed-forward. 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 $\min\{a,n+2s\}$ ancillas, without increasing the absolute error or $T$-count. For general second-quantized Hamiltonians with bounded one- and two-body coefficients, at operator-norm block-encoding error $\epsilon$, a volume-covering argument combined with circuit counting gives the worst-case lower bound $\Omega(n^2\sqrt{\log(n^4/\epsilon)})$, matching the existing upper bound at fixed precision. For the bond-dependent Kitaev honeycomb family on $n$ spins, we obtain independent lower bounds $\Omega(n)$ from stabilizer nullity and $\Omega(\log(1/\epsilon))$ from one-qubit state preparation, established using different Hamiltonian instances. Together with an explicit LCU construction, they give the tight worst-case scaling $\Theta(n+\log(1/\epsilon))$. As an application, we evaluate the $T$-count of a Hamiltonian simulation circuit based on quantum singular value transformation, with each block-encoding query compiled separately. When phase synthesis and controlled queries add at most constant-factor overhead, the simulation $T$-count scales as the query count times the optimal $T$-count per query.
Abstract:We determine the non-Clifford $T$-gate cost of constructing block encodings of structured fermionic and spin Hamiltonians in a unitary Clifford$+T$ model, when arbitrarily many clean ancillas and unrestricted block-encoding subnormalization are allowed, but without mid-circuit measurements or classical feed-forward. 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 $\min\{a,n+2s\}$ ancillas, without increasing the absolute error or $T$-count. For general second-quantized Hamiltonians with bounded one- and two-body coefficients, at operator-norm block-encoding error $\epsilon$, a volume-covering argument combined with circuit counting gives the worst-case lower bound $\Omega(n^2\sqrt{\log(n^4/\epsilon)})$, matching the existing upper bound at fixed precision. For the bond-dependent Kitaev honeycomb family on $n$ spins, we obtain independent lower bounds $\Omega(n)$ from stabilizer nullity and $\Omega(\log(1/\epsilon))$ from one-qubit state preparation, established using different Hamiltonian instances. Together with an explicit LCU construction, they give the tight worst-case scaling $\Theta(n+\log(1/\epsilon))$. As an application, we evaluate the $T$-count of a Hamiltonian simulation circuit based on quantum singular value transformation, with each block-encoding query compiled separately. When phase synthesis and controlled queries add at most constant-factor overhead, the simulation $T$-count scales as the query count times the optimal $T$-count per query.
arXiv:2609.11153 [quant-ph]
(or arXiv:2609.11153v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.11153 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.
Text integral sub licența deschisă a publicației · 298 cuvinte
Subiecte conexe
Running Variational Quantum Eigensolver with Qiskit Aer on AMD Instinct
AMD · 29 mai 2026

IBM Quantum Releases Open-Source “ffsim” Library for Specialized Fermionic Circuit Simulation
Quantum Computing Report · 12 iun. 2026

On the quantum computational complexity of classical linear dynamics with geometrically local interactions: Dequantization and universality
Quantum Journal · 3 aug. 2026
Efficient Quantum Circuits for Electronic Hamiltonian Simulation without Pauli Expansion
arXiv · 9 sept. 2026