Source author record

Kyung Hoon Han

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

ResearcherUnclaimed source record

math.OA quant-ph math.FA

Catalog footprint

Research overview

10works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

There exist infinitely many kinds of partial separability/entanglement

In tri-partite systems, there are three basic biseparability, $A$ - $BC$ , $B$ - $CA$ and $C$ - $AB$ biseparability according to bipartitions of local systems. We begin with three convex sets consisting of these basic biseparable states in the three qubit system, and consider arbitrary iterations of intersections and/or convex hulls of them to get convex cones. One natural way to classify tri-partite states is to consider those convex sets to which they belong or do not belong. This is especially useful to classify partial entanglement of mixed states. We show that the lattice generated by those three basic convex sets with respect to convex hull and intersection has infinitely many mutually distinct members, to see that there are infinitely many kinds of three qubit partial entanglement. To do this, we consider an increasing chain of convex sets in the lattice and exhibit three qubit Greenberger-Horne-Zeilinger diagonal states distinguishing those convex sets in the chain.

preprint2020arXiv

Partial separability/entanglement violates distributive rules

We found three qubit Greenberger-Horne-Zeilinger diagonal states which tells us that the partial separability of three qubit states violates the distributive rules with respect to the two operations of convex sum and intersection. The gaps between the convex sets involving the distributive rules are of nonzero volume.

preprint2016arXiv

A Kirchberg type tensor theorem for operator systems

We construct operator systems $\mathfrak C_I$ that are universal in the sense that all operator systems can be realized as their quotients. They satisfy the operator system lifting property. Without relying on the theorem by Kirchberg, we prove the Kirchberg type tensor theorem $\mathfrak C_I \otimes_{\min} B(H) = \mathfrak C_I \otimes_{\max} B(H).$ Combining this with a result of Kavruk, we give a new operator system theoretic proof of Kirchberg's theorem and show that Kirchberg's conjecture is equivalent to its operator system analogue $\mathfrak C_I \otimes_{\min} \mathfrak C_I =\mathfrak C_I \otimes_{\rm c} \mathfrak C_I.$ It is natural to ask whether the universal operator systems $\mathfrak C_I$ are projective objects in the category of operator systems. We show that an operator system from which all unital completely positive maps into operator system quotients can be lifted is necessarily one-dimensional. Moreover, a finite dimensional operator system satisfying a perturbed lifting property can be represented as the direct sum of matrix algebras. We give an operator system theoretic approach to the Effros-Haagerup lifting theorem.

preprint2016arXiv

Construction of multi-qubit optimal genuine entanglement witnesses

We interpret multi-partite genuine entanglement witnesses as simultaneous positivity of various maps arising from them. We apply this result to multi-qubit {\sf X}-shaped Hermitian matrices, and characterize the conditions for them to be genuine entanglement witnesses, in terms of entries. Furthermore, we find all optimal ones among them. They turn out to have the spanning properties, and so they detect non-zero volume set of multi-qubit genuine entanglement. We also characterize decomposability for {\sf X}-shaped entanglement witnesses.

preprint2015arXiv

Tensor products of function systems revisited

Based on the Archimedeanization developed by Paulsen and Tomforde, we give an explicit description for the positive cones of maximal tensor products of function systems. From this description, we obtain an approximation theorem for nuclear maps between function systems. As an application, we give elementary proofs on several characterizations of nuclear function systems that are already known.

preprint2015arXiv

Various notions of positivity for bi-linear maps and applications to tri-partite entanglement

We consider bi-linear analogues of $s$ -positivity for linear maps. The dual objects of these notions can be described in terms of Schimdt ranks for tri-tensor products and Schmidt numbers for tri-partite quantum states. These tri-partite versions of Schmidt numbers cover various kinds of bi-separability, and so we may interpret witnesses for those in terms of bi-linear maps. We give concrete examples of witnesses for various kinds of three qubit entanglement.

preprint2013arXiv

The predual of the space of decomposable maps from a $C^*$ -algebra into a von Neumann algebra

For a $C^*$ -algebra $\mathcal A$ and a von Neumann algebra $\mathcal R$ , we describe the predual of space $D(\mathcal A,\mathcal R)$ of decomposable maps from $\mathcal A$ into $\mathcal R$ equipped with decomposable norm. This predual is found to be the matrix regular operator space structure on $\mathcal A \otimes \mathcal R_*$ with a certain universal property. Its matrix norms are the largest and its positive cones on each matrix level are the smallest among all possible matrix regular operator space structures on $\mathcal A \otimes \mathcal R_*$ under the two natural restrictions: (1) $|x \otimes y| \le |x| |y|$ for $x\in M_k(\mathcal A), y \in M_l(\mathcal R_*)$ and (2) $v \otimes w$ is positive if $v \in M_k(\mathcal A)^+$ and $w \in M_l(\mathcal R_*)^+$ .

preprint2011arXiv

An approximation theorem for nuclear operator systems

We prove that an operator system $\mathcal S$ is nuclear in the category of operator systems if and only if there exist nets of unital completely positive maps $ϕ_λ: \cl S \to M_{n_λ}$ and $ψ_λ: M_{n_λ} \to \cl S$ such that $ψ_λ\circ ϕ_λ$ converges to ${\rm id}_{\cl S}$ in the point-norm topology. Our proof is independent of the Choi-Effros-Kirchberg characterization of nuclear $C^*$ -algebras and yields this characterization as a corollary. We give an example of a nuclear operator system that is not completely order isomorphic to a unital $C^*$ -algebra.

preprint2011arXiv

On maximal tensor products and quotient maps of operator systems

We introduce quotient maps in the category of operator systems and show that the maximal tensor product is projective with respect to them. Whereas, the maximal tensor product is not injective, which makes the $({\rm el},\max)-nuclearity distinguish a class in the category of operator systems. We generalize Lance's characterization of$ C^* $-algebras with the WEP by showing that$ ({\rm el},\max)$-nuclearity is equivalent to the weak expectation property. Applying Werner's unitization to the dual spaces of operator systems, we consider a class of completely positive maps associated with the maximal tensor product and establish the duality between quotient maps and complete order embeddings.

preprint2010arXiv

Matrix regular operator space and operator system

We establish a relationship between Schreiner's matrix regular operator space and Werner's (nonunital) operator system. For a matrix ordered operator space $V$ with complete norm, we show that $V$ is completely isomorphic and complete order isomorphic to a matrix regular operator space if and only if both $V$ and its dual space $V^*$ are (nonunital) operator systems.

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.

Kyung Hoon Han

Research overview

Is this your work?

10 publications

There exist infinitely many kinds of partial separability/entanglement

Partial separability/entanglement violates distributive rules

A Kirchberg type tensor theorem for operator systems

Construction of multi-qubit optimal genuine entanglement witnesses

Tensor products of function systems revisited

Various notions of positivity for bi-linear maps and applications to tri-partite entanglement

The predual of the space of decomposable maps from a $C^*$ -algebra into a von Neumann algebra

An approximation theorem for nuclear operator systems

On maximal tensor products and quotient maps of operator systems

Matrix regular operator space and operator system

See the researcher in context

Building this map preview

Kyung Hoon Han

Research overview

Is this your work?

10 publications

There exist infinitely many kinds of partial separability/entanglement

Partial separability/entanglement violates distributive rules

A Kirchberg type tensor theorem for operator systems

Construction of multi-qubit optimal genuine entanglement witnesses

Tensor products of function systems revisited

Various notions of positivity for bi-linear maps and applications to tri-partite entanglement

The predual of the space of decomposable maps from a C∗C^*C∗-algebra into a von Neumann algebra

An approximation theorem for nuclear operator systems

On maximal tensor products and quotient maps of operator systems

Matrix regular operator space and operator system

See the researcher in context

Building this map preview

The predual of the space of decomposable maps from a $C^*$ -algebra into a von Neumann algebra