Second-quantized fermionic operators with polylogarithmic qubit and gate
complexity
- URL: http://arxiv.org/abs/2109.14465v4
- Date: Mon, 6 Jun 2022 23:07:27 GMT
- Title: Second-quantized fermionic operators with polylogarithmic qubit and gate
complexity
- Authors: William Kirby, Bryce Fuller, Charles Hadfield, and Antonio Mezzacapo
- Abstract summary: We present a method for encoding second-quantized fermionic systems in qubits when the number of fermions is conserved.
This is the first second-quantized encoding of fermions in qubits whose costs in qubits and gates are both polylogarithmic in $M$.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a method for encoding second-quantized fermionic systems in qubits
when the number of fermions is conserved, as in the electronic structure
problem. When the number $F$ of fermions is much smaller than the number $M$ of
modes, this symmetry reduces the number of information-theoretically required
qubits from $\Theta(M)$ to $O(F\log M)$. In this limit, our encoding requires
$O(F^2\log^4 M)$ qubits, while encoded fermionic creation and annihilation
operators have cost $O(F^2\log^5 M)$ in two-qubit gates. When incorporated into
randomized simulation methods, this permits simulating time-evolution with only
polylogarithmic explicit dependence on $M$. This is the first second-quantized
encoding of fermions in qubits whose costs in qubits and gates are both
polylogarithmic in $M$, which permits studying fermionic systems in the
high-accuracy regime of many modes.
Related papers
- Slow Mixing of Quantum Gibbs Samplers [47.373245682678515]
We present a quantum generalization of these tools through a generic bottleneck lemma.
This lemma focuses on quantum measures of distance, analogous to the classical Hamming distance but rooted in uniquely quantum principles.
Even with sublinear barriers, we use Feynman-Kac techniques to lift classical to quantum ones establishing tight lower bound $T_mathrmmix = 2Omega(nalpha)$.
arXiv Detail & Related papers (2024-11-06T22:51:27Z) - Succinct Fermion Data Structures [0.0]
Simulating fermionic systems on a quantum computer requires representing fermionic states using qubits.
We present two new second-quantized fermion encodings of $F$ fermions in $M$ modes.
arXiv Detail & Related papers (2024-10-05T03:16:36Z) - A Simple and Efficient Joint Measurement Strategy for Estimating Fermionic Observables and Hamiltonians [0.0]
We propose a simple scheme to estimate fermionic observables and Hamiltonians relevant in quantum chemistry and correlated fermionic systems.
Our approach is based on implementing a measurement that jointly measures noisy versions of any product of two or four Majorana operators in an $N$ mode fermionic system.
arXiv Detail & Related papers (2024-02-29T15:04:34Z) - Towards large-scale quantum optimization solvers with few qubits [59.63282173947468]
We introduce a variational quantum solver for optimizations over $m=mathcalO(nk)$ binary variables using only $n$ qubits, with tunable $k>1$.
We analytically prove that the specific qubit-efficient encoding brings in a super-polynomial mitigation of barren plateaus as a built-in feature.
arXiv Detail & Related papers (2024-01-17T18:59:38Z) - Reducing the qubit requirement of Jordan-Wigner encodings of $N$-mode,
$K$-fermion systems from $N$ to $\lceil \log_2 {N \choose K} \rceil$ [1.0884863227198973]
We show that for particle number conserving systems of $K$ fermions and $N$ modes, the qubit requirement can be reduced to theoretic minimum.
This will improve the feasibility of simulation of molecules and many-body systems on near-term quantum computers with limited qubit number.
arXiv Detail & Related papers (2022-11-08T19:01:09Z) - 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) - A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation.
We prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude noise.
arXiv Detail & Related papers (2022-01-31T22:19:49Z) - Halving the cost of quantum multiplexed rotations [0.0]
We improve the number of $T$ gates needed for a $b$-bit approximation of a multiplexed quantum gate with $c$ controls.
Our results roughly halve the cost of state-of-art electronic structure simulations based on qubitization of double-factorized or tensor-hypercontracted representations.
arXiv Detail & Related papers (2021-10-26T06:49:44Z) - Quantum Simulation of Molecules without Fermionic Encoding of the Wave
Function [62.997667081978825]
fermionic encoding of the wave function can be bypassed, leading to more efficient quantum computations.
An application to computing the ground-state energy and 2-RDM of H$_4$ is presented.
arXiv Detail & Related papers (2021-01-27T18:57:11Z) - Fermionic partial tomography via classical shadows [0.0]
We propose a tomographic protocol for estimating any $ k $-body reduced density matrix ($ k $-RDM) of an $ n $-mode fermionic state.
Our approach extends the framework of classical shadows, a randomized approach to learning a collection of quantum-state properties, to the fermionic setting.
arXiv Detail & Related papers (2020-10-30T06:28:26Z) - Quantum Algorithms for Simulating the Lattice Schwinger Model [63.18141027763459]
We give scalable, explicit digital quantum algorithms to simulate the lattice Schwinger model in both NISQ and fault-tolerant settings.
In lattice units, we find a Schwinger model on $N/2$ physical sites with coupling constant $x-1/2$ and electric field cutoff $x-1/2Lambda$.
We estimate observables which we cost in both the NISQ and fault-tolerant settings by assuming a simple target observable---the mean pair density.
arXiv Detail & Related papers (2020-02-25T19:18:36Z)
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.