Optimal Particle-Conserved Linear Encoding for Practical Fermionic Simulation

M. H. Cheng,Yu-Cheng Chen,Qian Wang,V. Bartsch,M. S. Kim,Alice Hu,Min-Hsiu Hsieh
2024-08-16
Abstract:Particle-conserved subspace encoding reduces resources for quantum simulations, but a scalable and resource-minimal protocol for $M$ modes and $N$ particles, $\mathcal{O}(N\log M)$ qubits and $\mathcal{O}(Poly(M))$ measurements bases, has remained unknown. We demonstrate optimal encoding with classical parity check code generated by the Randomized Linear Encoder and propose the Fermionic Expectation Decoder for scalable probability decoding in $\mathcal{O}(M^4)$ bases. The protocol is tested with variational quantum eigensolver on LiH in the STO-3G and 6-31G basis, and $\text{H}_2$ potential energy curve in the 6-311G* basis.
Quantum Physics
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to solve the problem of effectively encoding and decoding fermionic systems in quantum simulations, especially in terms of resource optimization. Specifically: 1. **Reducing qubit resource requirements**: - The paper proposes an optimal particle - conserving linear encoding method to reduce the number of qubits required for practical fermionic simulations. Traditional methods (such as Jordan - Wigner, Parity, and Bravyi - Kitaev transformations) encode \(M\) fermionic modes into \(M\) qubits, regardless of the number of electrons \(N\). However, since all fermionic Hamiltonians must conserve fermions, only \(\lceil N \log M \rceil\) qubits are required to encode the particle - conserving subspace in the high - precision limit. - By using the Randomized Linear Encoder (RLE), the paper proves that the upper limit of qubit resources for optimal linear encoding is \(2N \log M\). 2. **Improving the scalability of measurement complexity**: - The paper proposes a new Fermionic Expectation Decoder (FED) algorithm for decoding the fermionic probability distribution in the linearly - encoded Hilbert space. The FED algorithm avoids calculations in the encoding space and allows for polynomial - time classical post - processing using a classical decoder. - The FED algorithm solves the non - scalability problem of nonlinear encoding methods in the cost of measurement basis preparation, making the upper bound of measurement complexity \(O(M^4)\), thus improving the scalability of measurement. 3. **Verifying the effectiveness of the protocol**: - The researchers tested the potential energy curves of LiH molecules in the STO - 3G and 6 - 31G basis sets and H₂ molecules in the 6 - 311G* basis set using the Variational Quantum Eigensolver (VQE). The results show that the RLE - FED protocol can significantly reduce the number of CNOT gates and converge to chemical accuracy faster in both noiseless and noisy situations. ### Formula summary 1. **Upper limit of qubit resources**: \[ Q \leq 2N \log M \] where \(Q\) is the number of required qubits, \(N\) is the number of electrons, and \(M\) is the number of fermionic modes. 2. **Upper bound of measurement complexity**: \[ O(M^4) \] where \(M\) is the number of fermionic modes. ### Conclusion By introducing an encoder based on parity - check codes and a Fermionic Expectation Decoder (FED) decoder, the paper proposes a new particle - conserving linear encoding protocol, which significantly reduces qubit resource requirements and improves the scalability of measurement complexity. The experimental results show that this protocol has high efficiency and accuracy in practical applications, especially in the performance of the Variational Quantum Eigensolver (VQE).