Source author record

Andrzej Jamiołkowski

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math-ph math.LO math.MP math.FA math.QA

Catalog footprint

Research overview

3works

5topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

On maps which preserve semipositivity and quantifier elimination theory for real numbers

Assume that $Φ:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ 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.

preprint2020arXiv

Quantifier elimination theory and maps which preserve semipositivity

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.

preprint2013arXiv

Generalized Shemesh criterion, common invariant subspaces and irreducible completely positive superoperators

Assume that $A_{1},...,A_{s}$ are complex $n\times n$ matrices. We give a computable criterion for existence of a common eigenvector of $A_{i}$ which generalize the result of D. Shemesh established for two matrices. We use this criterion to prove some necessary and sufficient condition for $A_{i}$ to have a common invariant subspace of dimension $d$ , $2\leq d<n$ , if every $A_{i}$ has pairwise different eigenvalues. Finally, we observe that the set of all matrices having multiple eigevalues has Lebesgue measure 0 and thus the condition is sufficient in practical applications. Being motivated by quantum information theory, we give a flavour of such applications for irreducible completely positive superoperators.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.