{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T09:59:10Z","timestamp":1753437550577,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62072176","11871221"],"award-info":[{"award-number":["62072176","11871221"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2021,5]]},"DOI":"10.1007\/s11128-021-03109-w","type":"journal-article","created":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T09:03:13Z","timestamp":1620291793000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An optimal quantum error-correcting procedure using quantifier elimination"],"prefix":"10.1007","volume":"20","author":[{"given":"Ying-Ji","family":"Sun","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9906-5677","authenticated-orcid":false,"given":"Ming","family":"Xu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0753-418X","authenticated-orcid":false,"given":"Yuxin","family":"Deng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,6]]},"reference":[{"key":"3109_CR1","doi-asserted-by":"crossref","unstructured":"Abu-Nada, A., Fortescue, B., Byrd, M.: Optimizing the frequency of quantum error correction. Phys. Rev Lett. 119(19):article no. 190502 (2017)","DOI":"10.1103\/PhysRevLett.119.190502"},{"key":"3109_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry","author":"S Basu","year":"2006","unstructured":"Basu, S., Pollack, R., Roy, M.F.: Algorithms in Real Algebraic Geometry, 2nd edn. Springer, Berlin (2006)","edition":"2"},{"key":"3109_CR3","unstructured":"Bennett, C.H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. In: Proceedings of IEEE International Conference on Computers, Systems and Signal Processing, pp. 175\u2013179 (1984)"},{"issue":"6","key":"3109_CR4","doi-asserted-by":"publisher","first-page":"1464","DOI":"10.1137\/S0097539703425861","volume":"34","author":"VD Blondel","year":"2005","unstructured":"Blondel, V.D., Jeandel, E., Koiran, P., Portier, N.: Decidable and undecidable problems about quantum automata. SIAM J. Comput. 34(6), 1464\u20131473 (2005)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"3109_CR5","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1103\/PhysRevA.54.1098","volume":"54","author":"AR Calderbank","year":"1996","unstructured":"Calderbank, A.R., Shor, P.W.: Good quantum error-correcting codes exist. Phys. Rev. A 54(2), 1098\u20131105 (1996)","journal-title":"Phys. Rev. A"},{"key":"3109_CR6","doi-asserted-by":"crossref","unstructured":"Devitt, S.J., Munro, W.J., Nemoto, K.: Quantum error correction for beginners. Rep. Prog. Phys. 76(7):article no. 076001 (2013)","DOI":"10.1088\/0034-4885\/76\/7\/076001"},{"issue":"2","key":"3109_CR7","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: REDLOG: computer algebra meets computer logic. ACM SIGSAM Bull 31(2), 2\u20139 (1997)","journal-title":"ACM SIGSAM Bull"},{"key":"3109_CR8","doi-asserted-by":"crossref","unstructured":"Fletcher, A.S., Shor, P.W., Win, M.Z.: Optimum quantum error recovery using semidefinite programming. Phys. Rev. A 75(1):article no. 012338 (2007)","DOI":"10.1103\/PhysRevA.75.012338"},{"key":"3109_CR9","doi-asserted-by":"crossref","unstructured":"Fletcher, A.S., Shor, P.W., Win, M.Z.: Structured near-optimal channel-adapted quantum error correction. Phys. Rev. A 77(1):article no. 012320 (2008)","DOI":"10.1103\/PhysRevA.77.012320"},{"key":"3109_CR10","unstructured":"Gottesman, D.: Stabilizer codes and quantum error correction. PhD dissertation, California Institute of Technology (1997)"},{"key":"3109_CR11","doi-asserted-by":"crossref","unstructured":"Kiktenko, E.O., Trushechkin, A.S., Lim, C.C.W., Kurochkin, Y.V., Fedorov, A.K.: Symmetric blind information reconciliation for quantum key distribution. Phys. Rev. Appl. 8(4):article no. 044017 (2017)","DOI":"10.1103\/PhysRevApplied.8.044017"},{"issue":"2","key":"3109_CR12","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1103\/PhysRevA.55.900","volume":"55","author":"E Knill","year":"1997","unstructured":"Knill, E., Laflamme, R.: Theory of quantum error-correcting codes. Phys. Rev. A 55(2), 900\u2013911 (1997)","journal-title":"Phys. Rev. A"},{"key":"3109_CR13","doi-asserted-by":"crossref","unstructured":"Kosut, R.L., Shabani, A., Lidar, D.A.: Quantum error correction via convex optimization. Phys. Rev. Lett. 100(2):article no. 020502 (2008)","DOI":"10.1103\/PhysRevLett.100.020502"},{"key":"3109_CR14","doi-asserted-by":"crossref","unstructured":"Long, G.L., Liu, X.S.: Theoretically efficient high-capacity quantum-key-distribution scheme. Phys. Rev. A 65(3):article no. 032302 (2002)","DOI":"10.1103\/PhysRevA.65.032302"},{"key":"3109_CR15","volume-title":"The Theory of Error-Correcting Codes","author":"FJ MacWilliams","year":"1977","unstructured":"MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error-Correcting Codes. North Holland Publishing Co, Amsterdam (1977)"},{"key":"3109_CR16","doi-asserted-by":"crossref","unstructured":"Mandayam, P., Ng, H.K.: Towards a unified framework for approximate quantum error correction. Phys. Rev. A 86(1):article no. 012335 (2012)","DOI":"10.1103\/PhysRevA.86.012335"},{"key":"3109_CR17","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Proceedings of 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"3109_CR18","doi-asserted-by":"crossref","unstructured":"Mousolou, V.A.: Entanglement fidelity and measure of entanglement. Quantum Inf. Process. 19:article no. 329 (2020)","DOI":"10.1007\/s11128-020-02808-0"},{"key":"3109_CR19","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"issue":"10","key":"3109_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11128-020-02840-0","volume":"19","author":"PH Niu","year":"2020","unstructured":"Niu, P.H., Wu, J.W., Yin, L.G., Long, G.L.: Security analysis of measurement-device-independent quantum secure direct communication. Quantum Inf. Process. 19(10), 1\u201314 (2020)","journal-title":"Quantum Inf. Process."},{"issue":"6","key":"3109_CR21","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"EL Post","year":"1946","unstructured":"Post, E.L.: A variant of a recursively unsolvable problem. Bull. Am. Math. Soc. 52(6), 264\u2013268 (1946)","journal-title":"Bull. Am. Math. Soc."},{"key":"3109_CR22","doi-asserted-by":"crossref","unstructured":"Qi, R., Sun, Z., Lin, Z., Niu, P., Hao, W., Song, L., Huang, Q., Gao, J., Yin, L., Long, G.L.: Implementation and security analysis of practical quantum secure direct communication. Light Sci. Appl. 8(1):article no. 22 (2019)","DOI":"10.1038\/s41377-019-0132-3"},{"issue":"1","key":"3109_CR23","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11128-009-0128-7","volume":"9","author":"AE Rastegin","year":"2009","unstructured":"Rastegin, A.E.: Partitioned trace distances. Quantum Inf. Process. 9(1), 61\u201373 (2009)","journal-title":"Quantum Inf. Process."},{"key":"3109_CR24","doi-asserted-by":"crossref","unstructured":"Reimpell, M., Werner, R.F.: Iterative optimization of quantum error correcting codes. Phys. Rev. Lett. 94(8):article no. 080501 (2005)","DOI":"10.1103\/PhysRevLett.94.080501"},{"issue":"4","key":"3109_CR25","doi-asserted-by":"publisher","first-page":"R2493","DOI":"10.1103\/PhysRevA.52.R2493","volume":"52","author":"PW Shor","year":"1995","unstructured":"Shor, P.W.: Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A 52(4), R2493\u2013R2496 (1995)","journal-title":"Phys. Rev. A"},{"issue":"2","key":"3109_CR26","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1103\/PhysRevLett.85.441","volume":"85","author":"PW Shor","year":"2000","unstructured":"Shor, P.W., Preskill, J.: Simple proof of security of the BB84 quantum key distribution protocol. Phys. Rev. Lett. 85(2), 441\u2013444 (2000)","journal-title":"Phys. Rev. Lett."},{"issue":"5","key":"3109_CR27","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1103\/PhysRevLett.77.793","volume":"77","author":"AM Steane","year":"1996","unstructured":"Steane, A.M.: Error correcting codes in quantum theory. Phys. Rev. Lett. 77(5), 793\u2013797 (1996)","journal-title":"Phys. Rev. Lett."},{"key":"3109_CR28","doi-asserted-by":"publisher","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A Tarski","year":"1951","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. University of California Press, Berkeley (1951)","edition":"2"},{"key":"3109_CR29","doi-asserted-by":"crossref","unstructured":"Thinh, L.P., Faist, P., Helsen, J., Elkouss, D., Wehner, S.: Practical and reliable error bars for quantum process tomography. Phys. Rev. A 99(5):article no. 052311 (2019)","DOI":"10.1103\/PhysRevA.99.052311"},{"issue":"3","key":"3109_CR30","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0034-4877(00)80007-5","volume":"45","author":"A Uhlmann","year":"2000","unstructured":"Uhlmann, A.: On \u201cpartial\u201d fidelities. Rep. Math. Phys. 45(3), 407\u2013418 (2000)","journal-title":"Rep. Math. Phys."},{"issue":"04","key":"3109_CR31","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1142\/S0219749910006289","volume":"8","author":"K Wen","year":"2010","unstructured":"Wen, K., Long, G.L.: One-party quantum-error-correcting codes for unbalanced errors: principles and application to quantum dense coding and quantum secure direct communication. Int. J. Quantum Inf. 8(04), 697\u2013719 (2010)","journal-title":"Int. J. Quantum Inf."},{"key":"3109_CR32","unstructured":"Wolf, M.M., Cubitt, T.S., P\u00e9rez-Garc\u00eda, D.: Are problems in quantum information theory (un)decidable? CoRR abs\/1111.5425. arxiv:1111.5425 (2011)"},{"key":"3109_CR33","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1038\/299802a0","volume":"299","author":"WK Wootters","year":"1982","unstructured":"Wootters, W.K., Zurek, W.H.: A single quantum cannot be cloned. Nature 299, 802\u2013803 (1982)","journal-title":"Nature"},{"key":"3109_CR34","doi-asserted-by":"crossref","unstructured":"Wu, J., Lin, Z., Yin, L., Long, G.: Security of quantum secure direct communication based on Wyner\u2019s wiretap channel theory. Quantum Eng. 1(4):article no. 26 (2019)","DOI":"10.1002\/que2.26"},{"key":"3109_CR35","doi-asserted-by":"crossref","unstructured":"Yamamoto, N.: Exact solution for the max\u2013min quantum error recovery problem. In: Proceedings of 48th IEEE Conference on Decision and Control (CDC). IEEE, pp. 1433\u20131438 (2009)","DOI":"10.1109\/CDC.2009.5400142"},{"key":"3109_CR36","doi-asserted-by":"crossref","unstructured":"Yamamoto, N., Hara, S., Tsumura, K.: Suboptimal quantum-error-correcting procedure based on semidefinite programming. Phys. Rev. A 71(2):article no. 022322 (2005)","DOI":"10.1103\/PhysRevA.71.022322"}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-021-03109-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11128-021-03109-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-021-03109-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,2]],"date-time":"2021-06-02T09:23:40Z","timestamp":1622625820000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11128-021-03109-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["3109"],"URL":"https:\/\/doi.org\/10.1007\/s11128-021-03109-w","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"type":"print","value":"1570-0755"},{"type":"electronic","value":"1573-1332"}],"subject":[],"published":{"date-parts":[[2021,5]]},"assertion":[{"value":"5 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 May 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"170"}}