{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T16:18:27Z","timestamp":1726762707848},"reference-count":53,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2022,2,10]],"date-time":"2022-02-10T00:00:00Z","timestamp":1644451200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"BMBF","award":["RealistiQ"]},{"name":"BMBF","award":["PhoQuant"]},{"name":"BMBF","award":["QPIC-1"]},{"name":"BMBF","award":["QSolid"]},{"name":"DFG","award":["CRC 183"]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"We examine general Gottesman-Kitaev-Preskill (GKP) codes for continuous-variable quantum error correction, including concatenated GKP codes, through the lens of lattice theory, in order to better understand the structure of this class of stabilizer codes. We derive formal bounds on code parameters, show how different decoding strategies are precisely related, propose new ways to obtain GKP codes by means of glued lattices and the tensor product of lattices and point to natural resource savings that have remained hidden in recent approaches. We present general results that we illustrate through examples taken from different classes of codes, including scaled self-dual GKP codes and the concatenated surface-GKP code.<\/jats:p>","DOI":"10.22331\/q-2022-02-10-648","type":"journal-article","created":{"date-parts":[[2022,2,10]],"date-time":"2022-02-10T11:00:14Z","timestamp":1644490814000},"page":"648","update-policy":"http:\/\/dx.doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":18,"title":["Gottesman-Kitaev-Preskill codes: A lattice perspective"],"prefix":"10.22331","volume":"6","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-6120-9930","authenticated-orcid":false,"given":"Jonathan","family":"Conrad","sequence":"first","affiliation":[{"name":"Dahlem Center for Complex Quantum Systems, Physics Department, Freie Universit\u00e4t Berlin, Arnimallee 14, 14195 Berlin, Germany"},{"name":"Helmholtz-Zentrum Berlin f\u00fcr Materialien und Energie, Hahn-Meitner-Platz 1, 14109 Berlin, Germany"}]},{"ORCID":"http:\/\/orcid.org\/0000-0003-3033-1292","authenticated-orcid":false,"given":"Jens","family":"Eisert","sequence":"additional","affiliation":[{"name":"Dahlem Center for Complex Quantum Systems, Physics Department, Freie Universit\u00e4t Berlin, Arnimallee 14, 14195 Berlin, Germany"},{"name":"Helmholtz-Zentrum Berlin f\u00fcr Materialien und Energie, Hahn-Meitner-Platz 1, 14109 Berlin, Germany"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-4439-6962","authenticated-orcid":false,"given":"Francesco","family":"Arzani","sequence":"additional","affiliation":[{"name":"Dahlem Center for Complex Quantum Systems, Physics Department, Freie Universit\u00e4t Berlin, Arnimallee 14, 14195 Berlin, Germany"}]}],"member":"9598","published-online":{"date-parts":[[2022,2,10]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"D. Gottesman, A. Kitaev, and J. Preskill. ``Encoding a qubit in an oscillator''. Phys. Rev. A 64, 012310 (2001).","DOI":"10.1103\/PhysRevA.64.012310"},{"key":"1","doi-asserted-by":"publisher","unstructured":"B. M. Terhal, J. Conrad, and C. Vuillot. ``Towards scalable bosonic quantum error correction''. Quantum Science and Technology 5, 043001 (2020).","DOI":"10.1088\/2058-9565\/ab98a5"},{"key":"2","doi-asserted-by":"publisher","unstructured":"A. L. Grimsmo and S. Puri. ``Quantum error correction with the Gottesman-Kitaev-Preskill code''. PRX Quantum 2, 020101 (2021).","DOI":"10.1103\/PRXQuantum.2.020101"},{"key":"3","doi-asserted-by":"publisher","unstructured":"J. E. Bourassa, R. N. Alexander, M. Vasmer, A. Patil, I. Tzitrin, T. Matsuura, D. Su, B. Q. Baragiola, S. Guha, G. Dauphinais, and et al. ``Blueprint for a scalable photonic fault-tolerant quantum computer''. Quantum 5, 392 (2021).","DOI":"10.22331\/q-2021-02-04-392"},{"key":"4","unstructured":"S. Bartolucci, P. Birchall, H. Bombin, H. Cable, C. Dawson, M. Gimeno-Segovia, E. Johnston, K. Kieling, N. Nickerson, M. Pant, F. Pastawski, T. Rudolph, and C. Sparrow. ``Fusion-based quantum computation'' (2021). arXiv:2101.09310."},{"key":"5","doi-asserted-by":"publisher","unstructured":"K. Noh, C. Chamberland, and F. G. S. L. Brand\u00e3o. ``Low-overhead fault-tolerant quantum error correction with the surface-GKP code''. PRX Quantum 3, 010315 (2022).","DOI":"10.1103\/PRXQuantum.3.010315"},{"key":"6","doi-asserted-by":"publisher","unstructured":"C. Fl\u00fchmann, T. L. Nguyen, M. Marinelli, V. Negnevitsky, K. Mehta, and J. P. Home. ``Encoding a qubit in a trapped-ion mechanical oscillator''. Nature 566, 513\u2013517 (2019).","DOI":"10.1038\/s41586-019-0960-6"},{"key":"7","doi-asserted-by":"publisher","unstructured":"P. Campagne-Ibarcq, A. Eickbusch, S. Touzard, E. Zalys-Geller, N. E. Frattini, V. V. Sivak, P. Reinhold, S. Puri, S. Shankar, R. J. Schoelkopf, and et al. ``Quantum error correction of a qubit encoded in grid states of an oscillator''. Nature 584, 368\u2013372 (2020).","DOI":"10.1038\/s41586-020-2603-3"},{"key":"8","doi-asserted-by":"publisher","unstructured":"K. Fukui, A. Tomita, and A. Okamoto. ``Analog quantum error correction with encoding a qubit into an oscillator''. Phys. Rev. Lett. 119, 180507 (2017).","DOI":"10.1103\/PhysRevLett.119.180507"},{"key":"9","doi-asserted-by":"publisher","unstructured":"C. Vuillot, H. Asasi, Y. Wang, L. P. Pryadko, and B. M. Terhal. ``Quantum error correction with the toric Gottesman-Kitaev-Preskill code''. Phys. Rev. A 99, 032344 (2019).","DOI":"10.1103\/PhysRevA.99.032344"},{"key":"10","doi-asserted-by":"publisher","unstructured":"K. Noh and C. Chamberland. ``Fault-tolerant bosonic quantum error correction with the surface\u2013Gottesman-Kitaev-Preskill code''. Phys. Rev. A 101, 012316 (2020).","DOI":"10.1103\/PhysRevA.101.012316"},{"key":"11","doi-asserted-by":"publisher","unstructured":"L. H\u00e4nggli, M. Heinze, and R. K\u00f6nig. ``Enhanced noise resilience of the surface\u2013gottesman-kitaev-preskill code via designed bias''. Phys. Rev. A 102 (2020).","DOI":"10.1103\/physreva.102.052408"},{"key":"12","doi-asserted-by":"publisher","unstructured":"J. W. Harrington. ``Analysis of quantum error-correcting codes: Symplectic lattice codes and toric codes''. PhD thesis. California Institute of Technology. (2004).","DOI":"10.7907\/AHMQ-EG82"},{"key":"13","doi-asserted-by":"publisher","unstructured":"J. Harrington and J. Preskill. ``Achievable rates for the Gaussian quantum channel''. Phys. Rev. A 64, 062301 (2001).","DOI":"10.1103\/PhysRevA.64.062301"},{"key":"14","doi-asserted-by":"publisher","unstructured":"L. H\u00e4nggli and R. K\u00f6nig. ``Oscillator-to-oscillator codes do not have a threshold''. IEEE Transactions on Information Theory 68, 1068\u20131084 (2022).","DOI":"10.1109\/TIT.2021.3126881"},{"key":"15","doi-asserted-by":"publisher","unstructured":"J. Conway and N. Sloane. ``Sphere packings, lattices and groups''. Volume 290. Springer, New York, NY (1988).","DOI":"10.1007\/978-1-4757-6568-7"},{"key":"16","doi-asserted-by":"publisher","unstructured":"P. Shor and R. Laflamme. ``Quantum analog of the macwilliams identities for classical coding theory''. Phys. Rev. Lett. 78, 1600\u20131602 (1997).","DOI":"10.1103\/PhysRevLett.78.1600"},{"key":"17","doi-asserted-by":"publisher","unstructured":"E. M. Rains. ``Quantum weight enumerators''. IEEE Trans. Inf. Th. 44, 1388\u20131394 (1998).","DOI":"10.1109\/18.681316"},{"key":"18","unstructured":"D. Micciancio. ``Cse 206a: Lattice algorithms and applications''. url: http:\/\/cseweb.ucsd.edu\/classes\/wi10\/cse206a\/."},{"key":"19","doi-asserted-by":"publisher","unstructured":"D. E. Gottesman. ``Stabilizer codes and quantum error correction''. PhD thesis. California Institute of Technology. (1997).","DOI":"10.7907\/RZR7-DT72"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Arvind, B. Dutta, N. Mukunda, and R. Simon. ``The real symplectic groups in quantum mechanics and optics''. Pramana 45, 471\u2013497 (1995).","DOI":"10.1007\/BF02848172"},{"key":"21","doi-asserted-by":"publisher","unstructured":"K. Duivenvoorden, B.M. Terhal, and D. Weigand. ``Single-mode displacement sensor''. Phys. Rev. A 95, 012305 (2017).","DOI":"10.1103\/PhysRevA.95.012305"},{"key":"22","doi-asserted-by":"publisher","unstructured":"K. Noh, S. M. Girvin, and L. Jiang. ``Encoding an oscillator into many oscillators''. Phys. Rev. Lett. 125, 080503 (2020).","DOI":"10.1103\/PhysRevLett.125.080503"},{"key":"23","doi-asserted-by":"publisher","unstructured":"N. P. Breuckmann. ``Homological quantum codes beyond the toric code''. PhD thesis. RWTH Aachen University. (2017).","DOI":"10.18154\/RWTH-2018-01100"},{"key":"24","unstructured":"S. B. Bravyi and A. Yu. Kitaev. ``Quantum codes on a lattice with boundary'' (1998). arXiv:quant-ph\/9811052."},{"key":"25","doi-asserted-by":"publisher","unstructured":"Y. Tomita and K. M. Svore. ``Low-distance surface codes under realistic quantum noise''. Phys. Rev. A 90 (2014).","DOI":"10.1103\/physreva.90.062320"},{"key":"26","doi-asserted-by":"publisher","unstructured":"D. Micciancio and B. Warinschi. ``A linear space algorithm for computing the Hermite normal form''. In Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation. Page 231\u2013236. ISSAC '01New York, NY, USA (2001). Association for Computing Machinery.","DOI":"10.1145\/384101.384133"},{"key":"27","doi-asserted-by":"publisher","unstructured":"D. Micciancio. ``Improving lattice based cryptosystems using the Hermite normal form''. In Lecture Notes in Computer Science. Pages 126\u2013145. Springer Berlin Heidelberg (2001).","DOI":"10.1007\/3-540-44670-2_11"},{"key":"28","doi-asserted-by":"crossref","unstructured":"C. Hermite. ``Sur l'introduction des variables continues dans la th\u00e9orie des nombres.''. J. Reine Angew. Math 1851, 191\u2013216 (1851).","DOI":"10.1515\/crll.1851.41.191"},{"key":"29","doi-asserted-by":"publisher","unstructured":"A. Lenstra, H. Lenstra, and L. Lov\u00e1sz. ``Factoring polynomials with rational coefficients''. Mathematische Annalen 261, 515\u2013534 (1982).","DOI":"10.1007\/BF01457454"},{"key":"30","doi-asserted-by":"publisher","unstructured":"K. Chandrasekaran, V. Gandikota, and E. Grigorescu. ``Deciding orthogonality in Construction-A Lattices''. In P. Harsha and G. Ramalingam, editors, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015). Volume 45 of Leibniz International Proceedings in Informatics (LIPIcs), pages 151\u2013162. Dagstuhl, Germany (2015). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik.","DOI":"10.4230\/LIPIcs.FSTTCS.2015.151"},{"key":"31","unstructured":"``Lattice completion algorithm''. https:\/\/github.com\/frarzani\/GKP-lattice-reduction."},{"key":"32","doi-asserted-by":"publisher","unstructured":"A. Y. Kitaev. ``Fault-tolerant quantum computation by anyons''. Ann. Phys. 303, 2\u201330 (2003).","DOI":"10.1016\/s0003-4916(02)00018-0"},{"key":"33","doi-asserted-by":"publisher","unstructured":"K. Noh, V. V. Albert, and L. Jiang. ``Quantum capacity bounds of Gaussian thermal loss channels and achievable rates with Gottesman-Kitaev-Preskill codes''. IEEE Trans. Inf. Th. 65, 2563\u20132582 (2019).","DOI":"10.1109\/TIT.2018.2873764"},{"key":"34","doi-asserted-by":"publisher","unstructured":"S. Glancy and E. Knill. ``Error analysis for encoding a qubit in an oscillator''. Phys. Rev. A 73 (2006).","DOI":"10.1103\/physreva.73.012325"},{"key":"35","doi-asserted-by":"publisher","unstructured":"I. Tzitrin, J. E. Bourassa, N. C. Menicucci, and K. K. Sabapathy. ``Progress towards practical qubit computation using approximate Gottesman-Kitaev-Preskill codes''. Phys. Rev. A 101, 032315 (2020).","DOI":"10.1103\/physreva.101.032315"},{"key":"36","doi-asserted-by":"publisher","unstructured":"J. Conrad. ``Twirling and Hamiltonian engineering via dynamical decoupling for Gottesman-Kitaev-Preskill quantum computing''. Phys. Rev. A 103 (2021).","DOI":"10.1103\/physreva.103.022404"},{"key":"37","doi-asserted-by":"crossref","unstructured":"P. Sarnak and P. Buser. ``On the period matrix of a Riemann surface of large genus (with an Appendix by J. H. Conway and N. J. A. Sloane)''. Inventiones mathematicae 117, 27\u201356 (1994). url: http:\/\/eudml.org\/doc\/144207.","DOI":"10.1007\/BF01232233"},{"key":"38","doi-asserted-by":"publisher","unstructured":"S. L. Braunstein. ``Squeezing as an irreducible resource''. Phys. Rev. A 71, 055801 (2005).","DOI":"10.1103\/PhysRevA.71.055801"},{"key":"39","doi-asserted-by":"publisher","unstructured":"L. Babai. ``On lov\u00e1sz' lattice reduction and the nearest lattice point problem''. Combinatorica 6, 1\u201313 (1986).","DOI":"10.1007\/BF02579403"},{"key":"40","unstructured":"N. D. Elkies. ``Rational lattices and their theta functions''. url: http:\/\/people.math.harvard.edu\/ elkies\/M272.19\/index.html."},{"key":"41","doi-asserted-by":"publisher","unstructured":"E. Knill, R. Laflamme, and L. Viola. ``Theory of quantum error correction for general noise''. Phys. Rev. Lett. 84, 2525\u20132528 (2000).","DOI":"10.1103\/physrevlett.84.2525"},{"key":"42","doi-asserted-by":"publisher","unstructured":"Y. Tian, X. Zhu, and R. Sun. ``Modular form approach to solving lattice problems''. In T. V. Gopal, M Agrawal, A Li, and S. B. Cooper, editors, Theory and Applications of Models of Computation. Pages 401\u2013421. Cham (2014). Springer International Publishing.","DOI":"10.1007\/978-3-319-06089-7_28"},{"key":"43","doi-asserted-by":"publisher","unstructured":"S. Bravyi, M. Suchara, and A. Vargo. ``Efficient algorithms for maximum likelihood decoding in the surface code''. Phys. Rev. A 90 (2014).","DOI":"10.1103\/physreva.90.032326"},{"key":"44","unstructured":"T. Gannon. ``Lattices and theta functions''. PhD thesis. McGill University (Canada). (1991). url: escholarship.mcgill.ca\/concern\/theses\/rr171z009."},{"key":"45","doi-asserted-by":"publisher","unstructured":"J.-P. Tillich and G. Zemor. ``Quantum LDPC codes with positive rate and minimum distance proportional to the square root of the block length''. IEEE Trans. Inf. Th. 60, 1193\u20131202 (2014).","DOI":"10.1109\/tit.2013.2292061"},{"key":"46","doi-asserted-by":"publisher","unstructured":"S. Bravyi and M. B. Hastings. ``Homological product codes''. In Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing. Page 273\u2013282. STOC '14New York, NY, USA (2014). Association for Computing Machinery.","DOI":"10.1145\/2591796.2591870"},{"key":"47","doi-asserted-by":"publisher","unstructured":"E. Dennis, A. Kitaev, A. Landahl, and J. Preskill. ``Topological quantum memory''. J. Math. Phys. 43, 4452\u20134505 (2002).","DOI":"10.1063\/1.1499754"},{"key":"48","doi-asserted-by":"publisher","unstructured":"C. Weedbrook, S. Pirandola, R. Garc\u00eda-Patr\u00f3n, N. J. Cerf, T.C. Ralph, J.H. Shapiro, and S. Lloyd. ``Gaussian quantum information''. Rev. Mod. Phys. 84, 621\u2013669 (2012).","DOI":"10.1103\/revmodphys.84.621"},{"key":"49","doi-asserted-by":"publisher","unstructured":"J. Eisert and M. B. Plenio. ``Introduction to the basics of entanglement theory in continuous-variable systems''. Int. J. Quant. Inf. 1, 479 (2003).","DOI":"10.1142\/S0219749903000371"},{"key":"50","unstructured":"W. Wirtinger. ``Untersuchungen \u00fcber Thetafunctionen.''. B. G. Teubner. (1895)."},{"key":"51","doi-asserted-by":"publisher","unstructured":"L. J. Mensen, B. Q. Baragiola, and N. C. Menicucci. ``Phase-space methods for representing, manipulating, and correcting Gottesman-Kitaev-Preskill qubits''. Phys. Rev. A 104, 022408 (2021).","DOI":"10.1103\/PhysRevA.104.022408"},{"key":"52","doi-asserted-by":"publisher","unstructured":"K. Duivenvoorden, B. M. Terhal, and D. Weigand. ``Single-mode displacement sensor''. Phys. Rev. A 95, 012305 (2017).","DOI":"10.1103\/PhysRevA.95.012305"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2022-02-10-648\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,2,10]],"date-time":"2022-02-10T11:00:25Z","timestamp":1644490825000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2022-02-10-648\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,10]]},"references-count":53,"URL":"https:\/\/doi.org\/10.22331\/q-2022-02-10-648","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,10]]},"article-number":"648"}}