2014/12/30 by Toru Takisaka
Computer Science · Mathematics · Physics and Astronomy · #cs.IT #math.IT #quant-ph
paper · pdf · doi:10.4204/eptcs.172.14
published as EPTCS 172, 2014, pp. 204-216 · In Proceedings QPL 2014, arXiv:1412.8102
arxiv created 2014/12/30 · arxiv updated 2016/02/22
We define an infinite dimensional modification of lower-semicomputability of density operators by Gács with an attempt to fix some problem in the paper. Our attempt is partly achieved by showing the existence of universal operator under some additional assumption. It is left as a future task to eliminate this assumption. We also see some properties and examples which stimulate further research. In particular, we show that universal operator has certain nontrivial form if it exists.