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 条

[41] Real quantifier elimination in practice
Dolzmann, A
Sturm, T
Weispfenning, V
ALGORITHMIC ALGEBRA AND NUMBER THEORY, 1998, : 221 - 247
[42] APPLYING LINEAR QUANTIFIER ELIMINATION
LOOS, R
WEISPFENNING, V
COMPUTER JOURNAL, 1993, 36 (05): : 450 - 462
[43] Quantifier elimination for statistical problems
Geiger, D
Meek, C
UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1999, : 226 - 235
[44] Simulation and Optimization by Quantifier Elimination
Weispfenning, V.
Journal of Symbolic Computation, 24 (02):
[45] Quantifier Elimination in ACF and RCF
Udovicic, Mirna
Kovacevic, Dragana
ADVANCED TECHNOLOGIES, SYSTEMS, AND APPLICATIONS III, VOL 2, 2019, 60 : 419 - 429
[46] QUANTIFIER ELIMINATION IN DISCRIMINATOR VARIETIES
POINT, F
ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 83 - 101
[47] Generic Hermitian quantifier elimination
Dolzmann, A
Gilch, LA
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 80 - 93
[48] Quantifier Elimination in C*-Algebras
Eagle, Christopher James
Farah, Ilijas
Kirchberg, Eberhard
Vignati, Alessandro
INTERNATIONAL MATHEMATICS RESEARCH NOTICES, 2017, 2017 (24) : 7580 - 7606
[49] Quantifier elimination by dependency sequents
Eugene Goldberg
Panagiotis Manolios
Formal Methods in System Design, 2014, 45 : 111 - 143
[50] Testing stability by quantifier elimination
Hong, H
Liska, R
Steinberg, S
JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (02) : 161 - 187

← 1 2 3 4 5 →