{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:11:55Z","timestamp":1767705115871,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s11128-021-03060-w","type":"journal-article","created":{"date-parts":[[2021,3,25]],"date-time":"2021-03-25T07:03:01Z","timestamp":1616655781000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantifier elimination theory and maps which preserve semipositivity"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0884-5177","authenticated-orcid":false,"given":"Grzegorz","family":"Pastuszak","sequence":"first","affiliation":[]},{"given":"Adam","family":"Skowyrski","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"Jamio\u0142kowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,3,25]]},"reference":[{"key":"3060_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0024-3795(00)00098-7","volume":"312","author":"Yu Alpin","year":"2000","unstructured":"Alpin, Yu., George, A., Ikramov, Kh.: Solving the two dimensional CIS problem by a rational algorithm. Linear Algebra Appl. 312, 115\u2013123 (2000)","journal-title":"Linear Algebra Appl."},{"issue":"6","key":"3060_CR2","doi-asserted-by":"publisher","first-page":"1757","DOI":"10.1023\/A:1022446317512","volume":"114","author":"Yu Alpin","year":"2003","unstructured":"Alpin, Yu., Ikramov, Kh.: Rational procedures in the problem of common invariant subspaces of two matrices. J. Math. Sci. 114(6), 1757\u20131764 (2003)","journal-title":"J. Math. Sci."},{"key":"3060_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0004-3702(88)90049-5","volume":"31","author":"D Arnon","year":"1988","unstructured":"Arnon, D.: Geometric reasoning with logic and algebra. Artif. Intell. 31, 37\u201360 (1988)","journal-title":"Artif. Intell."},{"key":"3060_CR4","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0747-7171(88)80014-2","volume":"5","author":"DS Arnon","year":"1988","unstructured":"Arnon, D.S., Mignotte, M.: On mechanical quantifier elimination for elementary algebra and geometry. J. Symbolic Comput. 5, 237\u2013259 (1988)","journal-title":"J. Symbolic Comput."},{"key":"3060_CR5","volume-title":"Algorithms in Real Algebraic Geometry","author":"S Basu","year":"2016","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Berlin (2016)"},{"key":"3060_CR6","doi-asserted-by":"crossref","unstructured":"I. Bengtsson I. and K. \u017byczkowski, : Geometry of Quantum States: An Introduction to Quantum Entanglement. Cambridge University Press, Cambridge (2006)","DOI":"10.1017\/CBO9780511535048"},{"key":"3060_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L Blum","year":"1989","unstructured":"Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bull. Am. Math. Soc. 21, 1\u201346 (1989)","journal-title":"Bull. Am. Math. Soc."},{"issue":"2","key":"3060_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0024-3795(75)90058-0","volume":"12","author":"M-D Choi","year":"1975","unstructured":"Choi, M.-D.: Positive semidefinite biquadratic forms. Linear Algebra Appl. 12(2), 95\u2013100 (1975)","journal-title":"Linear Algebra Appl."},{"issue":"11","key":"3060_CR9","doi-asserted-by":"publisher","first-page":"3381","DOI":"10.1090\/S0002-9939-96-03441-7","volume":"124","author":"DR Farenick","year":"1996","unstructured":"Farenick, D.R.: Irreducible positive linear maps on operator algebras. Proc. Am. Math. Soc. 124(11), 3381\u20133390 (1996)","journal-title":"Proc. Am. Math. Soc."},{"key":"3060_CR10","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0024-3795(98)10150-7","volume":"287","author":"A George","year":"1999","unstructured":"George, A., Ikramov, Kh.: Common invariant subspaces of two matrices. Linear Algebra Appl. 287, 171\u2013179 (1999)","journal-title":"Linear Algebra Appl."},{"key":"3060_CR11","volume-title":"The Mathematical Language of Quantum Theory","author":"T Heinosaari","year":"2012","unstructured":"Heinosaari, T., Ziman, M.: The Mathematical Language of Quantum Theory. Cambridge University Press, Cambridge (2012)"},{"issue":"3","key":"3060_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J Heintz","year":"1983","unstructured":"Heintz, J.: Definability and fast quantifier elimination in algebraically closed fields. Theoret. Comput. Sci. 24(3), 239\u2013277 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"3060_CR13","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1016\/0034-4877(74)90044-5","volume":"5","author":"A Jamio\u0142kowski","year":"1974","unstructured":"Jamio\u0142kowski, A.: An effective method of investigation of positive maps on the set of positive definite operators. Rep. Math. Phys. 5, 415\u2013424 (1974)","journal-title":"Rep. Math. Phys."},{"key":"3060_CR14","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0034-4877(76)90047-1","volume":"10","author":"A Jamio\u0142kowski","year":"1976","unstructured":"Jamio\u0142kowski, A.: On semipositive definiteness of 2n-degree forms. Rep. Math. Phys. 10, 259\u2013266 (1976)","journal-title":"Rep. Math. Phys."},{"issue":"8","key":"3060_CR15","doi-asserted-by":"publisher","first-page":"2662","DOI":"10.1007\/s10773-014-2498-6","volume":"54","author":"A Jamio\u0142kowski","year":"2015","unstructured":"Jamio\u0142kowski, A., Kamizawa, T., Pastuszak, G.: On invariant subspace in quantum control systems and some concepts of integrable quantum systems. Int. J. Theor. Phys. 54(8), 2662\u20132674 (2015)","journal-title":"Int. J. Theor. Phys."},{"issue":"2","key":"3060_CR16","first-page":"314","volume":"63","author":"A Jamio\u0142kowski","year":"2015","unstructured":"Jamio\u0142kowski, A., Pastuszak, G.: Generalized Shemesh Criterion. Common Invariant Subspaces and Irreducible Completely Positive Superoperators, Linear Multilinear A. 63(2), 314\u2013325 (2015)","journal-title":"Common Invariant Subspaces and Irreducible Completely Positive Superoperators, Linear Multilinear A."},{"issue":"1","key":"3060_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00222-004-0434-8","volume":"162","author":"Z Jelonek","year":"2005","unstructured":"Jelonek, Z.: On the effective Nullstellensatz. Invent. Math. 162(1), 1\u201317 (2005)","journal-title":"Invent. Math."},{"key":"3060_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s11784-008-0065-6","volume":"3","author":"A Khovanskii","year":"2008","unstructured":"Khovanskii, A., Burda, Y.: Degree of rational mappings, and the theorems of Sturm and Tarski. J. Fixed Point Theory Appl. 3, 79\u201393 (2008)","journal-title":"J. Fixed Point Theory Appl."},{"key":"3060_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139034807","volume-title":"Quantum Error Correction","author":"DA Lidar","year":"2013","unstructured":"Lidar, D.A., Brun, T.A.: Quantum Error Correction. Cambridge University Press, New York (2013)"},{"key":"3060_CR20","volume-title":"Model Theory: An Introduction","author":"D Marker","year":"2002","unstructured":"Marker, D.: Model Theory: An Introduction. Springer, Berkeley (2002)"},{"key":"3060_CR21","doi-asserted-by":"crossref","unstructured":"B. Mishra, Algorithmic Algebra, Texts and Monographs in Computer Science, Springer-Verlag, New York (1993)","DOI":"10.1007\/978-1-4612-4344-1"},{"key":"3060_CR22","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, New York (2000)"},{"key":"3060_CR23","first-page":"343","volume":"32","author":"G Pastuszak","year":"2017","unstructured":"Pastuszak, G.: The common invariant subspace problem and Tarski\u2019s theorem. Electron. J. Linear Algebra 32, 343\u2013356 (2017)","journal-title":"Electron. J. Linear Algebra"},{"key":"3060_CR24","doi-asserted-by":"publisher","first-page":"253","DOI":"10.13001\/1081-3810.3032","volume":"30","author":"G Pastuszak","year":"2015","unstructured":"Pastuszak, G., Jamio\u0142kowski, A.: Common reducing unitary subspaces and decoherence in quantum systems. Electron. J. Linear Algebra 30, 253\u2013270 (2015)","journal-title":"Electron. J. Linear Algebra"},{"key":"3060_CR25","doi-asserted-by":"publisher","unstructured":"G. Pastuszak, A. Skowyrski and A. Jamio\u0142kowski, On maps which preserve semipositivity and quantifier elimination theory for real numbers, Commun. Contemp. Math., https:\/\/doi.org\/10.1142\/S0219199720500923,online ready","DOI":"10.1142\/S0219199720500923,"},{"key":"3060_CR26","unstructured":"J. Renegar, On the computational complexity and geometry of the first-order theory of the reals I. Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals, J. Symbolic Comput. 13 no. 3, 255\u2013299 (1992)"},{"key":"3060_CR27","doi-asserted-by":"crossref","unstructured":"J. Renegar, On the computational complexity and geometry of the first-order theory of the reals II. The general decision problem. Preliminaries for quantifier elimination. J. Symbolic Comput. 13 (3), 301\u2013327 (1992)","DOI":"10.1016\/S0747-7171(10)80004-5"},{"key":"3060_CR28","unstructured":"J. Renegar, On the computational complexity and geometry of the first-order theory of the reals III. Quantifier elimination, J. Symbolic Comput. 13 no. 3, 329\u2013352 (1992)"},{"key":"3060_CR29","volume-title":"Introduction to Model Theory, Algebra, Logic and Applications Series","author":"P Rothmaler","year":"2000","unstructured":"Rothmaler, P.: Introduction to Model Theory, Algebra, Logic and Applications Series, vol. 15. Gordon and Breach Science Publishers, Amsterdam (2000)"},{"key":"3060_CR30","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0024-3795(84)90085-5","volume":"62","author":"D Shemesh","year":"1984","unstructured":"Shemesh, D.: Common eigenvectors of two matrices. Lin. Alg. and Appl. 62, 11\u201318 (1984)","journal-title":"Lin. Alg. and Appl."},{"key":"3060_CR31","doi-asserted-by":"crossref","unstructured":"\u0141. Skowronek and K. \u017byczkowski, Positive maps, positive polynomials and entanglement witnesses, J. Phys. A 42 no. 32, 325302, 14 pp (2009)","DOI":"10.1088\/1751-8113\/42\/32\/325302"},{"key":"3060_CR32","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A Tarski","year":"1948","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. RAND Corporation, Santa Monica (1948)"},{"key":"3060_CR33","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0024-3795(00)00237-8","volume":"322","author":"M Tsatsomeros","year":"2001","unstructured":"Tsatsomeros, M.: A criterion for the existence of common invariant subspaces of matrices. Linear Algebra Appl. 322, 51\u201359 (2001)","journal-title":"Linear Algebra Appl."},{"issue":"1","key":"3060_CR34","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1017\/S0022481200028899","volume":"53","author":"L van den Dries","year":"1988","unstructured":"van den Dries, L.: Alfred Tarski\u2019s elimination theory for real closed fields. J. Symbolic Logic 53(1), 7\u201319 (1988)","journal-title":"J. Symbolic Logic"},{"key":"3060_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9999-5","volume-title":"Algebra","author":"BL Van Der Waerden","year":"1991","unstructured":"Van Der Waerden, B.L.: Algebra, vol. 2. Springer, New York (1991)"},{"key":"3060_CR36","doi-asserted-by":"crossref","unstructured":"B. Xia and L. Yang, Automated inequality proving and discovering, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, xii+332 pp (2016)","DOI":"10.1142\/9951"},{"key":"3060_CR37","unstructured":"Xia, B., Yang, L., Elimination, Quantifier, for Quartics, In: J. Calmet, T. Ida, D. Wang (eds) Artificial Intelligence and Symbolic Computation. AISC, : Lecture Notes in Computer Science, vol. 4120. Springer, Berlin, Heidelberg (2006)"},{"key":"3060_CR38","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1006\/jsco.1998.0274","volume":"28","author":"L Yang","year":"1999","unstructured":"Yang, L.: Recent advances on determining the number of real roots of parametric polynomials. J. Symbol. Comput. 28, 225\u2013242 (1999)","journal-title":"J. Symbol. Comput."}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-021-03060-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11128-021-03060-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-021-03060-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T22:55:59Z","timestamp":1617231359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11128-021-03060-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["3060"],"URL":"https:\/\/doi.org\/10.1007\/s11128-021-03060-w","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"type":"print","value":"1570-0755"},{"type":"electronic","value":"1573-1332"}],"subject":[],"published":{"date-parts":[[2021,3]]},"assertion":[{"value":"8 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 March 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"123"}}