当前位置: X-MOL 学术Commun. Contemp. Math. › 论文详情
On maps which preserve semipositivity and quantifier elimination theory for real numbers
Communications in Contemporary Mathematics ( IF 1.278 ) Pub Date : 2020-12-29 , DOI: 10.1142/s0219199720500923
Grzegorz Pastuszak; Adam Skowyrski; Andrzej Jamiołkowski

Assume that Φ:𝕄n()𝕄n() is a superoperator which preserves hermiticity. We give an algorithm determining whether Φ preserves semipositivity (we call Φpositive in this case). Our approach to the problem has a model-theoretic nature, namely, we apply techniques of quantifier elimination theory for real numbers. An approach based on these techniques seems to be the only one that allows to decide whether an arbitrary hermiticity-preserving Φ is positive. Before we go to detailed analysis of the problem, we argue that quantifier elimination for real numbers (and also for complex numbers) can play a significant role in quantum information theory and other areas as well.



中文翻译:

在保留半正数和量词消除理论的地图上

假使,假设 Φ𝕄ñ𝕄ñ是保留遗传性的超级运算符。我们给出一种算法来确定是否Φ 保持半正性(我们称之为 Φ在这种情况下为)。我们对问题的处理具有模型理论的性质,即,我们对实数应用量词消除理论。基于这些技术的方法似乎是唯一可以确定是否保留任意遗传率的方法。Φ是积极的。在对问题进行详细分析之前,我们认为实数(以及复数)的量词消除在量子信息理论和其他领域中也可以发挥重要作用。

更新日期:2021-01-22
全部期刊列表>>
微生物研究
亚洲大洋洲地球科学
NPJ欢迎投稿
自然科研论文编辑
ERIS期刊投稿
欢迎阅读创刊号
自然职场,为您触达千万科研人才
spring&清华大学出版社
城市可持续发展前沿研究专辑
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
阿拉丁试剂right
上海中医药大学
浙江大学
西湖大学
化学所
北京大学
清华
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
清华大学-1
武汉大学
浙江大学
天合科研
x-mol收录
试剂库存
down
wechat
bug