Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning

Zhang Jiang1, Amir Kalev2, Wojciech Mruczkiewicz1, and Hartmut Neven1

1Google Research, Venice, CA 90291
2Joint Center for Quantum Information and Computer Science, University of Maryland, College Park, MD 20742-2420, USA

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.


We introduce a fermion-to-qubit mapping defined on ternary trees, where any single Majorana operator on an $n$-mode fermionic system is mapped to a multi-qubit Pauli operator acting nontrivially on $\lceil \log_3(2n+1)\rceil$ qubits. The mapping has a simple structure and is optimal in the sense that it is impossible to construct Pauli operators in any fermion-to-qubit mapping acting nontrivially on less than $\log_3(2n)$ qubits on average. We apply it to the problem of learning $k$-fermion reduced density matrix (RDM), a problem relevant in various quantum simulation applications. We show that one can determine individual elements of all $k$-fermion RDMs in parallel, to precision $\epsilon$, by repeating a single quantum circuit for $\lesssim (2n+1)^k \epsilon^{-2}$ times. This result is based on a method we develop here that allows one to determine individual elements of all $k$-qubit RDMs in parallel, to precision $\epsilon$, by repeating a single quantum circuit for $\lesssim 3^k \epsilon^{-2}$ times, independent of the system size. This improves over existing schemes for determining qubit RDMs.

► BibTeX data

► References

[1] R. P. Feynman, ``Simulating physics with computers,'' International Journal of Theoretical Physics 21, 467 (1982).

[2] S. Lloyd, ``Universal Quantum Simulators,'' Science 273, 1073 (1996).

[3] I. Georgescu, S. Ashhab, and F. Nori, ``Quantum simulation,'' Reviews of Modern Physics 86, 153 (2014).

[4] D. Wecker, M. B. Hastings, N. Wiebe, B. K. Clark, C. Nayak, and M. Troyer, ``Solving strongly correlated electron models on a quantum computer,'' Physical Review A 92, 062318 (2015).

[5] R. Babbush, N. Wiebe, J. McClean, J. McClain, H. Neven, and G. K.-L. Chan, ``Low-Depth Quantum Simulation of Materials,'' Physical Review X 8, 011044 (2018).

[6] Z. Jiang, K. J. Sung, K. Kechedzhi, V. N. Smelyanskiy, and S. Boixo, ``Quantum Algorithms to Simulate Many-Body Physics of Correlated Fermions,'' Physical Review Applied 9, 044036 (2018).

[7] J. I. Cirac and P. Zoller, ``Quantum computations with cold trapped ions,'' Physical Review Letters 74, 4091 (1995).

[8] D. Kielpinski, C. Monroe, and D. J. Wineland, ``Architecture for a large-scale ion-trap quantum computer,'' Nature 417, 709 (2002).

[9] H. Häffner, C. F. Roos, and R. Blatt, ``Quantum computing with trapped ions,'' Physics Reports 469, 155 (2008).

[10] M. H. Devoret, A. Wallraff, and J. M. Martinis, ``Superconducting Qubits: A Short Review,'' arXiv:0411174 (2004).

[11] G. Wendin, ``Quantum information processing with superconducting circuits: a review,'' Reports on Progress in Physics. Physical Society (Great Britain) 80, 106001 (2017).

[12] A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O'ÄôBrien, ``A variational eigenvalue solver on a photonic quantum processor,'' Nature Communications 5, 4213 (2014).

[13] J. R. McClean, J. Romero, R. Babbush, and A. Aspuru-Guzik, ``The theory of variational hybrid quantum-classical algorithms,'' New Journal of Physics 18, 023023 (2016).

[14] M. A. Nielsen, ``The Fermionic canonical commutation relations and the Jordan-Wigner transform,'' Tech. Rep. University of Queensland (2005).

[15] J. T. Seeley, M. J. Richard, and P. J. Love, ``The Bravyi-Kitaev transformation for quantum computation of electronic structure,'' The Journal of Chemical Physics 137, 224109 (2012).

[16] S. B. Bravyi and A. Y. Kitaev, ``Fermionic Quantum Computation,'' Annals of Physics 298, 210 (2002).

[17] A. Tranter, S. Sofia, J. Seeley, M. Kaicher, J. McClean, R. Babbush, P. V. Coveney, F. Mintert, F. Wilhelm, and P. J. Love, ``The Bravyi-Kitaev transformation: Properties and applications,'' International Journal of Quantum Chemistry 115, 1431 (2015).

[18] V. Havlíček, M. Troyer, and J. D. Whitfield, ``Operator locality in the quantum simulation of fermionic models,'' Physical Review A 95, 032332 (2017).

[19] F. Arute, K. Arya, R. Babbush, D. Bacon, J. C. Bardin, R. Barends, R. Biswas, S. Boixo, F. G. S. L. Brandao, D. A. Buell, B. Burkett, Y. Chen, Z. Chen, B. Chiaro, R. Collins, W. Courtney, A. Dunsworth, E. Farhi, B. Foxen, A. Fowler, C. Gidney, M. Giustina, R. Graff, K. Guerin, S. Habegger, M. P. Harrigan, M. J. Hartmann, A. Ho, M. Hoffmann, T. Huang, T. S. Humble, S. V. Isakov, E. Jeffrey, Z. Jiang, D. Kafri, K. Kechedzhi, J. Kelly, P. V. Klimov, S. Knysh, A. Korotkov, F. Kostritsa, D. Landhuis, M. Lindmark, E. Lucero, D. Lyakh, S. Mandr??, J. R. McClean, M. McEwen, A. Megrant, X. Mi, K. Michielsen, M. Mohseni, J. Mutus, O. Naaman, M. Neeley, C. Neill, M. Y. Niu, E. Ostby, A. Petukhov, J. C. Platt, C. Quintana, E. G. Rieffel, P. Roushan, N. C. Rubin, D. Sank, K. J. Satzinger, V. Smelyanskiy, K. J. Sung, M. D. Trevithick, A. Vainsencher, B. Villalonga, T. White, Z. J. Yao, P. Yeh, A. Zalcman, H. Neven, and J. M. Martinis, ``Quantum supremacy using a programmable superconducting processor,'' Nature 574, 505 (2019).

[20] A. Y. Vlasov, ``Clifford algebras, Spin groups and qubit trees,'' arXiv:1904.09912 (2019).

[21] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 1st ed. (Cambridge University Press, 2000).

[22] S. Sharma, J. K. Dewhurst, N. N. Lathiotakis, and E. K. U. Gross, ``Reduced density matrix functional for many-electron systems,'' Physical Review B 78, 201103 (2008).

[23] M. Fagotti and F. H. L. Essler, ``Reduced density matrix after a quantum quench,'' Physical Review B 87, 245107 (2013).

[24] N. C. Rubin, R. Babbush, and J. McClean, ``Application of fermionic marginal constraints to hybrid quantum algorithms,'' New Journal of Physics 20, 053020 (2018).

[25] G. Gidofalvi and D. A. Mazziotti, ``Molecular properties from variational reduced-density-matrix theory with three-particle N-representability conditions,'' The Journal of Chemical Physics 126, 024105 (2007).

[26] C. Overy, G. H. Booth, N. S. Blunt, J. J. Shepherd, D. Cleland, and A. Alavi, ``Unbiased reduced density matrices and electronic properties from full configuration interaction quantum Monte Carlo,'' The Journal of Chemical Physics 141, 244117 (2014).

[27] T. E. O'Brien, B. Senjean, R. Sagastizabal, X. Bonet-Monroig, A. Dutkiewicz, F. Buda, L. DiCarlo, and L. Visscher, ``Calculating energy derivatives for quantum chemistry on a quantum computer,'' npj Quantum Information 5, 1 (2019).

[28] J. R. McClean, M. E. Kimchi-Schwartz, J. Carter, and W. A. de Jong, ``Hybrid quantum-classical hierarchy for mitigation of decoherence and determination of excited states,'' Physical Review A 95, 042308 (2017).

[29] T. Takeshita, N. C. Rubin, Z. Jiang, E. Lee, R. Babbush, and J. R. McClean, ``Increasing the Representation Accuracy of Quantum Simulations of Chemistry without Extra Quantum Resources,'' Physical Review X 10, 011004 (2020).

[30] J. Cotler and F. Wilczek, ``Quantum Overlapping Tomography,'' Physical Review Letters 124, 100401 (2020).

[31] X. Bonet-Monroig, R. Babbush, and T. E. O'Brien, ``Nearly optimal measurement scheduling for partial tomography of quantum states,'' arXiv:1908.05628 (2019).

[32] J. Řeháček, B.-G. Englert, and D. Kaszlikowski, ``Minimal qubit tomography,'' Phys. Rev. A 70, 052321 (2004).

[33] I. Hamamura and T. Imamichi, ``Efficient evaluation of quantum observables using entangled measurements,'' arXiv:1909.09119 (2019).

[34] A. F. Izmaylov, T.-C. Yen, R. A. Lang, and V. Verteletskyi, ``Unitary Partitioning Approach to the Measurement Problem in the Variational Quantum Eigensolver Method,'' Journal of Chemical Theory and Computation 16, 190 (2020).

[35] A. Zhao, A. Tranter, W. M. Kirby, S. F. Ung, A. Miyake, and P. Love, ``Measurement reduction in variational quantum algorithms,'' arXiv:1908.08067 (2019).

[36] W. J. Huggins, J. McClean, N. Rubin, Z. Jiang, N. Wiebe, K. B. Whaley, and R. Babbush, ``Efficient and Noise Resilient Measurements for Quantum Chemistry on Near-Term Quantum Computers,'' arXiv:1907.13117 (2019).

[37] D. A. Mazziotti, ed., Reduced-Density-Matrix Mechanics: With Application to Many-Electron Atoms and Molecules (Wiley-Interscience, 2009).

[38] M. Steudtner and S. Wehner, ``Quantum codes for quantum simulation of fermions on a square lattice of qubits,'' Physical Review A 99, 022308 (2019).

[39] K. Setia and J. D. Whitfield, ``Bravyi-Kitaev Superfast simulation of electronic structure on a quantum computer,'' The Journal of Chemical Physics 148, 164104 (2018).

[40] Z. Jiang, J. McClean, R. Babbush, and H. Neven, ``Majorana Loop Stabilizer Codes for Error Mitigation in Fermionic Quantum Simulations,'' Physical Review Applied 12, 064041 (2019).

[41] C. A. Fuchs, M. C. Hoang, and B. C. Stacey, ``The SIC question: History and state of play,'' Axioms 6, 21 (2017).

[42] H. B. Dang, K. Blanchfield, I. Bengtsson, and D. M. Appleby, ``Linear dependencies in Weyl–Heisenberg orbits,'' Quantum Information Processing 12, 3449 (2013).

Cited by

[1] Yutaka Shikano, Hiroshi C. Watanabe, Ken M. Nakanishi, and Yu-ya Ohnishi, "Post-Hartree–Fock method in quantum chemistry for quantum computer", The European Physical Journal Special Topics 230 4, 1037 (2021).

[2] Samuel J. Elman, Adrian Chapman, and Steven T. Flammia, "Free Fermions Behind the Disguise", Communications in Mathematical Physics 388 2, 969 (2021).

[3] Natalie Klco, Alessandro Roggero, and Martin J Savage, "Standard model physics and the digital quantum revolution: thoughts about the interface", Reports on Progress in Physics 85 6, 064301 (2022).

[4] Ikko Hamamura and Takashi Imamichi, "Efficient evaluation of quantum observables using entangled measurements", npj Quantum Information 6 1, 56 (2020).

[5] Kade Head-Marsden, Johannes Flick, Christopher J. Ciccarino, and Prineha Narang, "Quantum Information and Algorithms for Correlated Quantum Matter", Chemical Reviews 121 5, 3061 (2021).

[6] Andrew Zhao, Nicholas C. Rubin, and Akimasa Miyake, "Fermionic Partial Tomography via Classical Shadows", Physical Review Letters 127 11, 110504 (2021).

[7] Hsin-Yuan Huang, Richard Kueng, and John Preskill, "Information-Theoretic Bounds on Quantum Advantage in Machine Learning", Physical Review Letters 126 19, 190505 (2021).

[8] Zohreh Davoudi, Indrakshi Raychowdhury, and Andrew Shaw, "Search for efficient formulations for Hamiltonian simulation of non-Abelian lattice gauge theories", Physical Review D 104 7, 074505 (2021).

[9] Guillermo García-Pérez, Matteo A.C. Rossi, Boris Sokolov, Francesco Tacchino, Panagiotis Kl. Barkoutsos, Guglielmo Mazzola, Ivano Tavernelli, and Sabrina Maniscalco, "Learning to Measure: Adaptive Informationally Complete Generalized Measurements for Quantum Algorithms", PRX Quantum 2 4, 040342 (2021).

[10] Laurin E. Fischer, Daniel Miller, Francesco Tacchino, Panagiotis Kl. Barkoutsos, Daniel J. Egger, and Ivano Tavernelli, "Ancilla-free implementation of generalized measurements for qubits embedded in a qudit space", Physical Review Research 4 3, 033027 (2022).

[11] Kishor Bharti, Alba Cervera-Lierta, Thi Ha Kyaw, Tobias Haug, Sumner Alperin-Lea, Abhinav Anand, Matthias Degroote, Hermanni Heimonen, Jakob S. Kottmann, Tim Menke, Wai-Keong Mok, Sukin Sim, Leong-Chuan Kwek, and Alán Aspuru-Guzik, "Noisy intermediate-scale quantum algorithms", Reviews of Modern Physics 94 1, 015004 (2022).

[12] Sam McArdle, Suguru Endo, Alán Aspuru-Guzik, Simon C. Benjamin, and Xiao Yuan, "Quantum computational chemistry", Reviews of Modern Physics 92 1, 015003 (2020).

[13] Alexander Yu. Vlasov, "Clifford algebras, Spin groups and qubit trees", arXiv:1904.09912.

[14] Adrian Chapman, Steven T. Flammia, and Alicia J. Kollár, "Free-Fermion Subsystem Codes", PRX Quantum 3 3, 030321 (2022).

[15] Adrian Chapman and Steven T. Flammia, "Characterization of solvable spin models via graph invariants", arXiv:2003.05465.

[16] Bruna G. M. Araújo, Márcio M. Taddei, Daniel Cavalcanti, and Antonio Acín, "Local quantum overlapping tomography", arXiv:2112.03924.

[17] Andrew J. Landahl and Benjamin C. A. Morrison, "Logical Majorana fermions for fault-tolerant quantum simulation", arXiv:2110.10280.

The above citations are from Crossref's cited-by service (last updated successfully 2022-09-24 06:00:31) and SAO/NASA ADS (last updated successfully 2022-09-24 06:00:32). The list may be incomplete as not all publishers provide suitable and complete citation data.