Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 1 min ago
PreprintCC BY 4.0arXiv

Anti-isomorphisms and the naturality of channel--state duality

Abstract

Channel--state duality identifies completely positive maps with bipartite states. Its generalisation to von Neumann algebras is known to produce states not on ℳ⊗̅𝒩 but on the tensor product of ℳ with the \emph{opposite} algebra of 𝒩, or equivalently with a commutant; returning to 𝒩 itself requires a transposition, and it has been observed that this step typically fails. We determine exactly when it does not fail. Our main result is that a Choi--Jamiołkowski type isomorphism which is natural in the first algebra exists if and only if the second algebra is *-anti-isomorphic to itself. Naturality cannot be dropped: whenever ℳ is anti-isomorphic to itself such an isomorphism exists for trivial reasons, since the order structure of a predual is a Jordan invariant and cannot distinguish an algebra from its opposite. Consequently no such correspondence exists for the type III factors constructed by Connes. We show in addition that the domain admits no description in terms of properties of individual maps: the space of all normal maps with the operator norm is too large, and neither complete boundedness nor complete positivity cuts it down to the right size.

Related

  1. Anti-successors and anti-replicators, Manin products and Koszul duality
    Chengming Bai, Li Guo, Yunhe Sheng +1
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryGeometry & topologyarXiv
  2. Continuous-state branching processes with Lévy-Khintchine drift-interaction: Laplace duality and Fellerian extensions
    Clément Foucart, Félix Rebotier
    HALPreprintLicence not statedGeneral mathematicsHAL
  3. Successive design of backstepping observers for parabolic PDE-ODE systems and its duality to state feedback stabilization
    Nicole Gehring
    arXivPreprintCC BY-NC-SA 4.0Full textOptimisation & controlarXiv
  4. Naturality characterizes product measures and relative product measures
    Victor Bloch, Tobias Fritz
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryProbabilityarXiv
  5. Rates and Nearly-Lossless State over a Multi-Access Channel with Causal State Information
    Amos Lapidoth, Baohua Ni
    arXivPreprintCC BY 4.0Full textGeneral mathematicsarXiv
BibTeX
@misc{marciniak2026antiisomorphisms,
  title = {{Anti-isomorphisms and the naturality of channel--state duality}},
  author = {Marcin Marciniak and Michał Cholewiak},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2608.13750},
  eprint = {2608.13750},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.13750},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Anti-isomorphisms and the naturality of channel--state duality
AU  - Marcin Marciniak
AU  - Michał Cholewiak
PY  - 2026
DA  - 2026/09/15
PB  - arXiv
DO  - 10.48550/arxiv.2608.13750
UR  - https://arxiv.org/abs/2608.13750
AB  - Channel--state duality identifies completely positive maps with bipartite states. Its generalisation to von Neumann algebras is known to produce states not on ℳ⊗̅𝒩 but on the tensor product of ℳ with the \emph{opposite} algebra of 𝒩, or equivalently with a commutant; returning to 𝒩 itself requires a transposition, and it has been observed that this step typically fails. We determine exactly when it does not fail. Our main result is that a Choi--Jamiołkowski type isomorphism which is natural in the first algebra exists if and only if the second algebra is *-anti-isomorphic to itself. Naturality cannot be dropped: whenever ℳ is anti-isomorphic to itself such an isomorphism exists for trivial reasons, since the order structure of a predual is a Jordan invariant and cannot distinguish an algebra from its opposite. Consequently no such correspondence exists for the type III factors constructed by Connes. We show in addition that the domain admits no description in terms of properties of individual maps: the space of all normal maps with the operator norm is too large, and neither complete boundedness nor complete positivity cuts it down to the right size.
ER  -