Duality for operator systems with generating cones

Clicks: 52
ID: 282303
2025
Article Quality & Performance Metrics
Overall Quality
Not rated
Combines reader engagement with the AI quality analysis. This article has not been analysed, so there is no overall score — reader engagement is measured and shown alongside.
AI Quality Assessment
Not analyzed
Readership in this journal
Emerging

Ranked #583 of 803 articles by views in arXiv

Most read Least read

Bar heights use a square-root scale. Only the 120 most-read articles are drawn; the journal has 803 in total.

Mint this article as an NFT
Not yet minted

Create a permanent, verifiable on-chain record of this article on the Scimatic Network. The NFT is held in your Journament account, and you can withdraw it to your own wallet at any time.

5 SUSD one-off · no wallet required
Abstract
Let $S$ be a complete operator system with a generating cone; i.e. $S_\sa = S_+ - S_+$. We show that there is a matrix norm on the dual space $S^*$, under which, and the usual dual matrix cone, $S^*$ becomes a dual operator system with a generating cone, denoted by $S^\rd$. The canonical complete order isomorphism $\iota_{S^*}: S^* \to S^\rd$ is a dual Banach space isomorphism. Furthermore, we construct a canonical completely contractive weak$^*$-homeomorphism $\beta_S: (S^\rd)^\rd\to S^{**}$, and verify that it is a complete order isomorphism. For a complete operator system $T$ with a generating cone and a completely positive complete contraction $\varphi:S\to T$, there is a weak$^*$-continuous completely positive complete contraction $\varphi^\rd:T^\rd \to S^\rd$ with $\iota_{S^*}\circ \varphi^* = \varphi^\rd \circ \iota_{T^*}$. This produces a faithful functor from the category of complete operator systems with generating cones (where morphisms are completely positive complete contractions) to the category of dual operator systems with generating cones (where morphisms are weak$^*$-continuous completely positive complete contractions). We define the notion of approximately unital operator systems, and verify that operator systems considered in \cite{CvS} and \cite{CvS2} are approximately unital. If $S$ is approximately unital, then $\iota_{S^*}:S^* \to S^\rd$ is an operator space isomorphism and $\beta_S: (S^\rd)^\rd\to S^{**}$ is a complete isometry. We will also establish that the restriction of the faithful functor $(S,T,\varphi)\mapsto (T^\rd, S^\rd, \varphi^\rd)$ to the category of approximately unital complete operator systems is both full and injective on objects.
Reference Key
ng2025duality Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Yu-Shu Jia; Chi-Keung Ng
Journal arXiv
Year 2025
DOI
DOI not found
URL
Keywords

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

No comments yet. Be the first to comment on this article.