Quantifier elimination theory and maps which preserve semipositivity

被引：0

作者：

Pastuszak, Grzegorz ^{[1
]}

Skowyrski, Adam ^{[1
]}

Jamiolkowski, Andrzej ^{[2
]}

机构：

[1] Nicolaus Copernicus Univ, Fac Math & Comp Sci, Torun, Poland

[2] Nicolaus Copernicus Univ, Fac Phys Astron & Informat, Torun, Poland

来源：

QUANTUM INFORMATION PROCESSING | 2021年 / 20卷 / 03期

关键词：

Hermitian superoperators; Positive maps; Quantifier elimination; Sturm's theorem; COMMON INVARIANT SUBSPACES; COMPUTATIONAL-COMPLEXITY; DECISION PROBLEM; 1ST-ORDER THEORY; PRELIMINARIES; CRITERION; GEOMETRY; REALS;

D O I：

10.1007/s11128-021-03060-w

中图分类号：

O4 [物理学];

学科分类号：

0702 ;

摘要：

We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory should play more significant role in quantum information theory and other areas as well.

引用

页数：14

共 50 条

[21] Weak quantifier elimination for the full linear theory of the integers
Lasaruk, Aless
Sturm, Thomas
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2007, 18 (06) : 545 - 574
[22] Full column rank preservers that preserve semipositivity of matrices
Arumugasamy, Chandrashekaran
Jayaraman, Sachindranath
SPECIAL MATRICES, 2018, 6 (01): : 37 - 45
[23] HOLOMORPHIC MAPS WHICH PRESERVE INTRINSIC METRICS OR MEASURES
GRAHAM, I
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 319 (02) : 787 - 803
[24] A note on stability of maps which preserve equality of distance
Yunbai Dong
Aequationes mathematicae, 2016, 90 : 1195 - 1200
[25] A note on stability of maps which preserve equality of distance
Dong, Yunbai
Aequationes Mathematicae, 2016, 90 (06) : 1195 - 1200
[26] Robust nonlinear feedback design via quantifier elimination theory
Dorato, P
Famularo, D
Abdallah, CT
Yang, W
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 1999, 9 (11) : 817 - 822
[27] Past, present, and future of quantifier elimination procedures in system theory
Bose, NK
PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 1828 - 1832
[28] COMPLEXITY OF QUANTIFIER ELIMINATION IN THE THEORY OF ORDINARY DIFFERENTIAL-EQUATIONS
GRIGOREV, DY
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 378 : 11 - 25
[29] Simultaneous quantifier elimination
Autexier, S
Mantel, H
Stephan, W
KI-98: ADVANCES IN ARTIFICIAL INTELLIGENCE, 1998, 1504 : 141 - 152
[30] Linear Quantifier Elimination
Tobias Nipkow
Journal of Automated Reasoning, 2010, 45 : 189 - 212

← 1 2 3 4 5 →