BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Kyung Hoon Han

Kyung Hoon Han appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OAquant-phmath.FA

Catalog footprint

What is connected

10works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

10 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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_*)^+$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access