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 条

[1] Quantifier elimination theory and maps which preserve semipositivity
Grzegorz Pastuszak
Adam Skowyrski
Andrzej Jamiołkowski
Quantum Information Processing, 2021, 20
[2] On maps which preserve semipositivity and quantifier elimination theory for real numbers
Pastuszak, Grzegorz
Skowyrski, Adam
Jamiolkowski, Andrzej
COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, 2022, 24 (02)
[3] MAPS WHICH PRESERVE GRAPHS
NALL, VC
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1987, 101 (03) : 563 - 570
[4] MAPS WHICH PRESERVE ANRS
YAGASAKI, T
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1986, 96 (04) : 689 - 692
[5] Quantifier elimination in elementary set theory
Orlowska, Ewa
Szalas, Andrzej
RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 237 - 248
[6] On classes of maps which preserve finitisticness
Koyama, A
Moron, MA
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2002, 130 (10) : 3091 - 3096
[7] MAPS WHICH ALMOST PRESERVE CONVEXITY
KUZMINYKH, AV
SIBERIAN MATHEMATICAL JOURNAL, 1988, 29 (04) : 598 - 602
[8] ON MAPS WHICH PRESERVE ALMOST PERIODICITY
EYMARD, P
MATEMATISK-FYSISKE MEDDELELSER KONGELIGE DANSKE VIDENSKABERNES SELSKAB, 1989, 42 (03): : 81 - 85
[9] MAPS WHICH ALMOST PRESERVE ANGLES
KUZMINYKH, AV
SIBERIAN MATHEMATICAL JOURNAL, 1988, 29 (04) : 593 - 598
[10] MAPS WHICH PRESERVE EQUALITY OF DISTANCE
VOGT, A
STUDIA MATHEMATICA, 1973, 45 (01) : 43 - 48

← 1 2 3 4 5 →