pith. sign in

arxiv: 2404.16004 · v2 · submitted 2024-04-24 · 🪐 quant-ph · gr-qc· hep-th· math-ph· math.MP

Channel-State duality with centers

Simon Langenscheidt , Eugenia Colafranceschi , Daniele Oriti This is my paper

Pith reviewed 2026-05-24 01:41 UTC · model grok-4.3

classification 🪐 quant-ph gr-qchep-thmath-phmath.MP
keywords channel-state dualityalgebra centersstate non-separabilityisometric channelsdirect sum Hilbert spacesquantum constraintstrace-class operators
0
0 comments X

The pith

Channel-state duality extends to Hilbert spaces with direct-sum structure from algebra centers, linking non-separable states to isometric channels.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends the usual channel-state duality mappings to Hilbert spaces that have a direct sum structure arising from centers in the algebra. Such structures appear in systems with constraints and find use in quantum many-body theory, holography, and quantum gravity. The authors establish a general link showing that non-separable states correspond to isometric properties in the induced channel. They further generalize the approach to algebras of trace-class operators on infinite-dimensional Hilbert spaces.

Core claim

We study extensions of the mappings arising in usual channel-state duality to the case of Hilbert spaces with a direct sum structure. This setting arises in representations of algebras with centers, which are commonly associated with constraints, and it has many physical applications from quantum many-body theory to holography and quantum gravity. We establish that there is a general relationship between non-separability of the state and the isometric properties of the induced channel. We also provide a generalisation of our approach to algebras of trace-class operators on infinite dimensional Hilbert spaces.

What carries the argument

The extension of channel-state duality mappings to direct-sum decompositions of the Hilbert space induced by centers in the algebra.

If this is right

  • Non-separable states induce channels with isometric properties under the extended duality.
  • The relationship holds for representations of algebras with centers that encode constraints.
  • The duality generalizes to trace-class operators on infinite-dimensional Hilbert spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The non-separability to isometry link may characterize entanglement structure in finite-dimensional models of constrained systems.
  • The infinite-dimensional generalization suggests direct applicability to quantum field theories that incorporate constraints via algebra centers.

Load-bearing premise

The direct-sum decomposition of the Hilbert space induced by the center of the algebra is the appropriate setting in which to extend the duality.

What would settle it

A counterexample of a non-separable state on a direct-sum Hilbert space from an algebra center that induces a non-isometric channel would falsify the claimed general relationship.

Figures

Figures reproduced from arXiv: 2404.16004 by Daniele Oriti, Eugenia Colafranceschi, Simon Langenscheidt.

Figure 1
Figure 1. Figure 1: A quantum channel C, which maps states from system A to system B, is dual to a state ρC of the composite system A + B. This state is constructed by applying C to one half of a maximally entangled state ρ shared between two copies of system A. herently define a quantum channel between two of their subsystems, as emphasized e.g. in [3]. In this work, we explore the channel-state duality in cases where the Hi… view at source ↗
read the original abstract

We study extensions of the mappings arising in usual channel-state duality to the case of Hilbert spaces with a direct sum structure. This setting arises in representations of algebras with centers, which are commonly associated with constraints, and it has many physical applications from quantum many-body theory to holography and quantum gravity. We establish that there is a general relationship between non-separability of the state and the isometric properties of the induced channel. We also provide a generalisation of our approach to algebras of trace-class operators on infinite dimensional Hilbert spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper extends the standard channel-state duality mappings to Hilbert spaces admitting a direct-sum decomposition induced by the center of an algebra. It claims to establish a general relationship between non-separability of the state and isometric properties of the induced channel, with physical applications to constrained systems in many-body physics, holography and quantum gravity. A further generalization to algebras of trace-class operators on infinite-dimensional Hilbert spaces is provided.

Significance. If the claimed relationship holds, the work supplies a natural extension of channel-state duality to algebras with nontrivial centers, which arise under constraints. This could be useful for analyzing entanglement structure in systems with superselection rules or gauge constraints. The infinite-dimensional generalization is a positive feature.

minor comments (3)
  1. The introduction should include a brief comparison with existing extensions of channel-state duality (e.g., to infinite dimensions or to von Neumann algebras) to clarify the precise novelty of the direct-sum construction.
  2. Notation for the direct-sum decomposition (e.g., the indexing of the center projections) should be introduced once and used consistently; occasional redefinition of symbols across sections reduces readability.
  3. [§4] The infinite-dimensional section would benefit from an explicit statement of the domain on which the trace-class operators act and any additional regularity conditions required for the isometry claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper extends standard channel-state duality mappings to Hilbert spaces with direct-sum structure induced by algebra centers. The central claim is the establishment of a general relationship between state non-separability and induced-channel isometry properties, obtained via this extension. No equations or steps in the provided abstract reduce a result to its inputs by definition, rename a fit as a prediction, or rely on load-bearing self-citations whose content is unverified. The direct-sum setting is motivated as the natural one for centered algebras rather than smuggled in, and the relationship is presented as derived rather than tautological. The work is self-contained against external benchmarks with no visible circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the standard assumption that centers of operator algebras induce direct-sum decompositions of the Hilbert space; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Representations of algebras with centers induce a direct-sum structure on the Hilbert space.
    Invoked in the second sentence of the abstract as the physical and mathematical setting.

pith-pipeline@v0.9.0 · 5617 in / 1141 out tokens · 36738 ms · 2026-05-24T01:41:54.542784+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · 8 internal anchors

  1. [1]

    BI|O = L E B(HI|O,E),

    Choices of input and output systems BI|O, e.g. BI|O = L E B(HI|O,E),

    work page

  2. [2]

    Identifications/Injections iI|O : BI|O ,→ A , whose images we identify as the complementary subsys- tems AI|O,

    work page

  3. [3]

    Conjugate partial trace maps P TrI|O : A → B I|O that reduce an operator on the full system to a subsystem,

    work page

  4. [4]

    Σ( X) = Xρ tI

    A mapping Σ : A → A , usually related to a density matrix ρ, e.g. Σ( X) = Xρ tI . We will now go into detail about this construction in the case of a trivial center at first, which corresponds to a system with simple tensor product factorisation in its Hilbert space. This will illustrate that the notion of transport operators is useful also in this simple...

    work page

  5. [5]

    input/output algebras BI = M E B(HI,E ) BO = M E B(HO,E) ; (73)

    work page

  6. [6]

    Trace preservation is just the property TrBE OE[ρE,E] = IIE DIE cE = DIE K

    the mapping Tρ(X) = K P TrO[iI(X)ρ] = X E Kc E TrIE BE[(XE,E ⊗ IOE BE)ρE,E] , (74) and investigate about trace preservation and isometry. Trace preservation is just the property TrBE OE[ρE,E] = IIE DIE cE = DIE K . (75) Identifying isometry is made easier by the aforemen- tioned relation 30, which entails that the adjoint to Tρ is (unsurprisingly) given b...

    work page

  7. [7]

    This can be generalised to density matrices in the folium of a state ω ∈ S (A) of some C*-algebra

    Existence of states ρ. This can be generalised to density matrices in the folium of a state ω ∈ S (A) of some C*-algebra

    work page

  8. [8]

    They may be generalised to approx- imate identities of C*-algebras and associated nets of approximate extension maps

    Existence of the identities I for use in defining ex- tension maps. They may be generalised to approx- imate identities of C*-algebras and associated nets of approximate extension maps

    work page

  9. [9]

    Relative to an extension map, one may either take the inverse or the adjoint generalisation

    Existence of partial traces. Relative to an extension map, one may either take the inverse or the adjoint generalisation. Working with the inverse is maybe simpler and requires less structure. For the adjoint variant, we can either take the Banach adjoint or, in the presence of a scalar product, use the associ- ated Hilbert adjoint (if the partial trace i...

    work page

  10. [10]

    Our example fits directly into a small class of maps in the general scheme which can be represented by a density matrix ρ

    This functional is defined on B(HI) ⊗π K(HO), which what we needed. Our example fits directly into a small class of maps in the general scheme which can be represented by a density matrix ρ. Using the general statement of isometry, we even have a way to estimate the norm of T : ||T || = sup v∈B(HI)⊗πL1(HO) |τρ(v)| π(v) , (106) with π the projective norm o...

    work page

  11. [11]

    Channel-state duality

    Min Jiang, Shunlong Luo, and Shuangshuang Fu. Channel-state duality. Physical Review A, 87(2):022310, February 2013

    work page 2013

  12. [12]

    Channel-state duality

    W ladys law A. Majewski and Tomasz I. Tylec. Com- ment on “Channel-state duality”. Physical Review A , 88(2):026301, August 2013

    work page 2013

  13. [13]

    On quan- tum operations as quantum states

    Pablo Arrighi and Christophe Patricot. On quan- tum operations as quantum states. Annals of Physics , 311(1):26–52, 2004

    work page 2004

  14. [14]

    Holographic properties of superposed quantum geometries

    Eugenia Colafranceschi, Simon Langenscheidt, and Daniele Oriti. Holographic properties of superposed spin networks, October 2022. arXiv:2207.07625 [gr-qc, physics:hep-th, physics:quant-ph]

    work page arXiv 2022

  15. [15]

    Holographic duality from random tensor networks

    Patrick Hayden, Sepehr Nezami, Xiao-Liang Qi, Nathaniel Thomas, Michael Walter, and Zhao Yang. Holographic duality from random tensor networks. Jour- nal of High Energy Physics , 2016(11):9, November 2016. arXiv: 1601.01694 version: 3

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  16. [16]

    Xi Dong, Sean McBride, and Wayne W. Weng. Holo- graphic Tensor Networks with Bulk Gauge Symmetries, September 2023. arXiv:2309.06436 [hep-th]

    work page arXiv 2023

  17. [17]

    Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspon- dence

    Fernando Pastawski, Beni Yoshida, Daniel Harlow, and John Preskill. Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspon- dence. Journal of High Energy Physics, 2015(6):149, June

    work page 2015

  18. [18]

    arXiv: 1503.06237 version: 2

    work page internal anchor Pith review Pith/arXiv arXiv

  19. [19]

    Decomposition of entanglement entropy in lattice gauge theory

    William Donnelly. Decomposition of entanglement entropy in lattice gauge theory. Physical Re- view D , 85(8):085004, April 2012. arXiv:1109.0036 [cond-mat, physics:gr-qc, physics:hep-lat, physics:hep-th, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  20. [20]

    Corner symmetry and quantum geometry, February

    Laurent Freidel, Marc Geiller, and Wolfgang Wieland. Corner symmetry and quantum geometry, February

    work page

  21. [21]

    arXiv:2302.12799 [gr-qc, physics:hep-th]

    work page arXiv

  22. [22]

    Eugenio Bianchi and Etera R. Livine. Loop Quan- tum Gravity and Quantum Information, February 2023. arXiv:2302.05922 [gr-qc]

    work page arXiv 2023

  23. [23]

    For the |Ψ±⟩ states, the corresponding operator is Xσ 1, so multiplied by a Pauli matrix

    work page

  24. [24]

    William Donnelly and Aron C. Wall. Entanglement En- tropy of Electromagnetic Edge Modes. Physical Review Letters, 114(11):111603, March 2015. Publisher: Ameri- can Physical Society

    work page 2015

  25. [25]

    Comments on Defining Entanglement Entropy, September

    Jennifer Lin and Djordje Radicevic. Comments on Defining Entanglement Entropy, September

    work page

  26. [26]

    arXiv:1808.05939 [cond-mat, physics:hep-lat, physics:hep-th, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv

  27. [27]

    Quantum gravity at the corner

    Laurent Freidel and Alejandro Perez. Quantum gravity at the corner. arXiv:1507.02573 [gr-qc, physics:hep-th] , July 2015. arXiv: 1507.02573

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  28. [28]

    The Theory of Quantum Information

    John Watrous. The Theory of Quantum Information . Cambridge University Press, 1 edition, April 2018

    work page 2018

  29. [29]

    Entanglement with Centers

    Chen-Te Ma. Entanglement with Centers. Jour- nal of High Energy Physics , 2016(1):70, January 2016. arXiv:1511.02671 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  30. [30]

    Virtual Quantum Subsystems

    Paolo Zanardi. Virtual Quantum Subsystems. Physical Review Letters, 87(7):077901, July 2001. arXiv:quant- ph/0103030

    work page arXiv 2001

  31. [31]

    Entanglement measures and their properties in quantum field theory, May 2018

    Stefan Hollands and Ko Sanders. Entanglement measures and their properties in quantum field theory, May 2018. arXiv:1702.04924 [gr-qc, physics:hep-th, physics:math- ph, physics:quant-ph]

    work page arXiv 2018

  32. [32]

    We will for simplicity work in this section with bounded operators on finite dimensional Hilbert spaces

    work page

  33. [33]

    Notice that, in particular, this is a pendent of proper- ties in local QFT, as formalised by Haag duality, where subsystems are identified and distinguished by their lo- calization on the spacetime manifold

    work page

  34. [34]

    We assume here that the algebras contain a unit, so an identity operator

    work page

  35. [35]

    Remarks on entanglement entropy for gauge fields

    Horacio Casini, Marina Huerta, and Jose Alejan- dro Rosabal. Remarks on entanglement entropy for gauge fields. Physical Review D , 89(8):085012, April 2014. arXiv:1312.1183 [cond-mat, physics:hep-th, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  36. [36]

    Typical entangle- ment entropy in the presence of a center: Page curve and its variance

    Eugenio Bianchi and Pietro Dona. Typical entangle- ment entropy in the presence of a center: Page curve and its variance. Physical Review D , 100(10):105010, November 2019. arXiv:1904.08370 [cond-mat, physics:gr- qc, physics:hep-th]

    work page arXiv 2019

  37. [37]

    This 2-out-of-3 property appears to be due to the rela- tively rigid way entanglement shows itself in pure states, as manifested through there being a (mostly unique) measure of entanglement for pure states, which is not the case for mixed states

    work page

  38. [38]

    These simply take two factors in a tensor product and swap them, S |a⟩ ⊗ |b⟩ = |b⟩ ⊗ |a⟩

    work page

  39. [39]

    The structure of Renyi entropic inequalities

    Noah Linden, Mil´ an Mosonyi, and Andreas Winter. The structure of Renyi entropic inequalities. Proceedings of the Royal Society A: Mathematical, Physical and En- gineering Sciences , 469(2158):20120737, October 2013. arXiv:1212.0248 [math-ph, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  40. [40]

    These have a known expres- sion and satisfy nice properties as an analogue of the von Neumann mutual information

    However, we might still use measured R´ enyi entropies and mutual information[33]. These have a known expres- sion and satisfy nice properties as an analogue of the von Neumann mutual information

    work page

  41. [41]

    K. V. Antipin. Channel-state duality and the separa- bility problem, May 2020. arXiv:1909.13309 [math-ph, physics:quant-ph]

    work page arXiv 2020

  42. [42]

    Don N. Page. Average Entropy of a Subsystem. Physical Review Letters, 71(9):1291–1294, August 1993. arXiv:gr- qc/9305007

    work page arXiv 1993

  43. [43]

    This assumes an extension map and associated partial trace operation have been chosen. 13

    work page

  44. [44]

    The usual issues of domains apply, but as long as the extensions are bounded, we may neglect them

    work page

  45. [45]

    On trace class operators (and Hilbert- Schmidt operators)

    Michael Muger. On trace class operators (and Hilbert- Schmidt operators). ., April 2022

    work page 2022

  46. [46]

    Scalet, Alvaro M

    Samuel O. Scalet, Alvaro M. Alhambra, Georgios Styliaris, and J. Ignacio Cirac. Computable R \’enyi mu- tual information: Area laws and correlations. Quan- tum, 5:541, September 2021. arXiv:2103.01709 [cond- mat, physics:quant-ph]

    work page arXiv 2021