Pith. sign in

REVIEW 1 major objections 3 minor 79 references

Quantum steering is equivalent to state-preserving conditional expectations

T0 review · 1 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that, for pure global states, quantum steering by a commuting subsystem is equivalent to the existence of a state-preserving conditional expectation from the commutant onto the subsystem algebra.

desk verdict A genuine operator-algebraic characterization of steering; solid proofs, minor presentational gaps. read the letter →

arxiv 2608.10783 v1 pith:42B3UDKA submitted 2026-08-11 quant-ph math-phmath.MPmath.OA

Lauritz van Luijk , Amine Marrakchi , Tobias Osborne , Alexander Stottmeister , Henrik Wilming This is my paper · ORCID
classification quant-phmath-phmath.MPmath.OA MSC 46L1046L3746L6081P4017C65
keywords quantumsteeringconditionalexpectationvonNeumannalgebrassubfactortheoryHaagdualityensembleliftingJBW*-algebrasJonesindex
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that, in infinite-dimensional quantum systems, the operational ability of one subsystem to steer another is a structural fact about the pair of operator algebras, not a detail of the state's tomography. For two commuting subsystems $A$ and $B$ in a joint pure state, $B$ can steer $A$—can realize every statistical mixture of $A$'s states by some measurement on $B$—exactly when there is a state-preserving conditional expectation from the commutant $B'$ back onto $A$. The result connects quantum steering to subfactor theory, and it shows that tomographic completeness no longer guarantees steering once the two algebras stop being exact commutants of each other (failure of Haag duality). The authors also characterize two-way steering: both sides steering each other relative to the same state is equivalent to Haag duality plus purity, while steering in both directions with different reference states is equivalent to finite subfactor index. The core argument is a general lifting theorem for ensembles under positive maps between Jordan algebras, which gives a state-based analogue of Takesaki's classical criterion for conditional expectations.

What carries the argument

The load-bearing object is the $\Omega$-preserving conditional expectation $E : B' \to A$, a normal unital positive map that fixes $A$ pointwise and reproduces the global state's marginal on $B'$ from the marginal on $A$ ($\omega_{B'} = \omega_A \circ E$); this is precisely a state-preserving left inverse of the inclusion $A \hookrightarrow B'$. The technical engine that turns steering into such a map is the ensemble-lifting theorem (Theorem D): for any state-preserving normal unital positive map $\alpha : (N,\varphi) \to (M,\omega)$ between JBW*-algebras, every ensemble on $N$ with average $\varphi$ lifts to one on $M$ with average $\omega$ if and only if $\alpha$ has a state-preserving left inverse, shown via Petz dual maps, self-polar forms, and multiplicative domains; applied to an inclusion this yields Proposition E, and applied to $A \hookrightarrow B'$ together with the commutant Radon–Nikodym realization of steering (Corollary 8) it yields Theorem B.

What would settle it

Exhibit commuting factors $A, B \subset B(H)$ and a state vector $\Omega$ such that $B$ can steer $A$ relative to $\Omega$ but no $\Omega$-preserving normal conditional expectation $B' \to A$ exists; Theorem B declares this combination impossible. The paper itself flags the irreducible inclusion $R_\infty \subset R_\infty \rtimes \mathbb{R}$ as admitting no normal conditional expectation, so a representation of that inclusion with a steering state vector would refute the equivalence.

Watch

Extended reading notes

Core claim

For commuting factors $A, B \subset B(H)$ with a state vector $\Omega$, the paper's main theorem states that three conditions are equivalent: (a) $B$ can steer $A$ relative to $\Omega$—every ensemble of states of $A$ with average $\omega_A$ can be produced by a measurement (POVM) in $B$; (b) every ensemble on $A$ with average $\omega_A$ extends to an ensemble on $B'$ with average $\omega_{B'}$; (c) there is an $\Omega$-preserving normal conditional expectation $E : B' \to A$, i.e., $\omega_{B'} = \omega_A \circ E$. Steering is thus identical, for pure global states, to the existence of a state-preserving conditional expectation, an object of subfactor theory. The same circle of ideas yields a characterization of two-way steering under tomographic completeness: both sides can steer each other relative to a single state exactly when $A = B'$ (Haag duality) and the state is pure, and relative to two possibly different states exactly when the inclusion $A \subset B'$ has finite Jones–Kosaki–Longo index. Along the way the authors prove a general ensemble-lifting theorem for state-preserving positive maps between Jordan (JBW*-) algebras, which for an inclusion of von Neumann algebras says that the ensemble-extension property is equivalent to the existence of a state-preserving conditional expectation.

Load-bearing premise

The equivalence assumes the global state is pure: only then does the Radon–Nikodym theorem guarantee that every ensemble on $B'$ is realized by an actual measurement in $B$, while for mixed states an extra tensor-product decomposition is required.

Editorial extensions

If this is right

  • Even when the two subsystems are tomographically complete ($A \vee B = B(H)$), one-way steering can fail; the obstruction is the absence of a state-preserving conditional expectation $B' \to A$.
  • If steering works relative to a single state vector with faithful marginal in an irreducible subfactor inclusion, then every state of $A$ admits a purification relative to which $B$ steers $A$.
  • One-way steering does not imply two-way steering; steering in both directions relative to the same state is equivalent to Haag duality $A = B'$ together with purity of the state.
  • Allowing different reference states for the two directions, two-way steering is equivalent to the subfactor inclusion $A \subset B'$ having finite Jones–Kosaki–Longo index.
  • Every state-preserving conditional expectation is characterized in the Schrödinger picture by the ensemble-extension property on dominated functionals, complementing Takesaki's modular-flow criterion.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the equivalence holds, the Jones index gains a direct operational meaning: the ability of two tomographically complete regions to steer each other with different reference states is exactly finite index, so index could in principle be probed through steering experiments in lattice models.
  • For the surface-code ground state, the paper's framework predicts full steering for disjoint-cone regions because the ground state is preserved by the conditional expectation; a finite-size numerical steering test in the toric code would be a ready check.
  • Because the lifting theorem works for positive maps between JBW*-algebras rather than completely positive maps between von Neumann algebras, the same steering characterization plausibly extends to probabilistic theories with Jordan-algebraic state spaces.
  • In rational conformal field theories, the Reeh–Schlieder property prevents the vacuum from being preserved by the conditional expectation, so the paper predicts a qualitative contrast: interval regions in the vacuum cannot be steered, whereas topologically ordered ground states can be.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper proves that, for commuting factors A and B on a Hilbert space and a pure state vector Omega, the operational property 'B can steer A relative to Omega' is equivalent to the existence of a normal conditional expectation E: B' -> A preserving the marginal state omega_B'. The proof proceeds by first establishing a general lifting theorem (Theorem 3) for state-preserving normal unital positive maps between JBW*-algebras: ensemble lifts exist iff the map has a state-preserving left inverse, equivalently a factorization through a conditional expectation onto the multiplicative domain. A commutant Radon-Nikodym argument (Corollary 8) converts steering into an ensemble-extension property on B', and Corollary 12 converts the ensemble-extension property into the desired conditional expectation. Additional results characterize two-way steering for tomographically complete systems in terms of finite index and Haag duality (Theorem C), and reduce mixed-state steering to the pure case (Proposition 14). An appendix gives a self-contained proof of the Kadison-Schwarz inequality for JB-algebras.

Significance. If correct, the paper establishes a precise and non-obvious equivalence between a central concept in quantum information (steering) and a central tool in subfactor theory (state-preserving conditional expectations). The general lifting theorem for JBW*-algebras is a strong standalone result, and the paper's organizational structure, including a dependency graph, makes the proof chain transparent. The paper is careful about the pure-state hypothesis and explicitly records the mixed-state reduction. The proof of the main equivalence appears sound; the only flaw I found is in the proof of the additional 'bonus' statement of Theorem B, which is local and correctable.

major comments (1)
  1. [Section 3.1, proof of Theorem B (final statement)] The proof of the last statement of Theorem B claims that s_B' = s_A e = [B Omega] is a cyclic projection in B', and that therefore every projection p in B' with p <= s_B' is cyclic in B'. This claim is false in general. For example, let H = C^2 tensor C^3, A = B(C^2) tensor 1, B = 1 tensor B(C^3), and let Omega be a vector of full Schmidt rank; then A and B are commuting factors with A vee B = B(H), A = B', and condition (c) holds with E = id. Here s_B' = [B Omega] = 1, but 1 is not cyclic in B': for every xi in H, [B' xi] = H_A tensor S_B(xi) with dim S_B(xi) <= 2 < 3, so [B' xi] is never the identity. The desired conclusion of the bonus statement can be recovered by working with cyclicity for B = (B')' (any p <= [B Omega] is cyclic for B with generating vector p Omega, and Murray-von Neumann equivalence preserves this), but the argument as written needs to be corrected. Since the final statement is part of Theorem B, this requires a revision.
minor comments (3)
  1. [Section 2.2, proof of Theorem 3] In the definition of beta = alpha-hat^{-1} composed with E composed with P_supp omega plus (1 - supp phi) * omega, please spell out that the second term is the map x maps to (1 - supp phi) omega(x); the notation can otherwise be misread as a product of elements.
  2. [Section 3.2, proof of Proposition 19] After Eq. (47), the step from s_A' = s_B in B to A = B' uses that s_B = 1 because B is a factor; this should be stated explicitly.
  3. [Introduction and Figure 2] The dependency diagram in Fig. 2 is very useful, but the font is small; consider enlarging it for readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the steering-conditional-expectation equivalence is derived from a general lifting theorem proved in the paper, not assumed or renamed.

full rationale

The central derivation chain is self-contained. Corollary 8 (Lemma A) converts steering into the ensemble-extension property using the standard commutant Radon-Nikodym theorem for pure vector states. Theorem 3 proves, in the wider JBW*-algebra setting, that ensemble lifting is equivalent to the existence of a state-preserving left inverse (equivalently, for inclusions, a state-preserving conditional expectation), using Petz duality, self-polar forms, and multiplicative-domain arguments that are developed in Sections 2.1-2.2. Corollary 12 then specializes this to inclusions N ⊂ M with central support 1, and Theorem B assembles Corollary 8 and Corollary 12 to obtain the equivalence of steering, ensemble extension, and the existence of an Ω-preserving conditional expectation. The pure-state hypothesis enters exactly where the commutant Radon-Nikodym theorem makes extensions operational; the mixed-state case is treated by the separate tensor-product reduction in Proposition 14. The self-citations in the bibliography (e.g., [5-8], [41], [47], [55], [57]) are used for motivation, context, or related prior results, and none of the load-bearing steps invokes a black-box theorem from the authors' own earlier work. The minor textual slip in the final statement of Theorem B (calling [BΩ] cyclic rather than noting that its cut-downs are cyclic) does not affect the equivalence. No fitted parameter, post hoc definition, or uniqueness import makes the conclusion coincide with an input by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no fitted constants and no new physical entities. It rests on standard operator-algebraic machinery such as the Radon-Nikodym theorem, Petz duality, Takesaki's theorem, and subfactor index theory, plus a new Kadison-Schwarz inequality proven in the appendix. The only scope restriction is the stated assumption of separable Hilbert spaces and finite or countable outcome sets.

assumptions (6)
  • domain assumption Separable Hilbert spaces and finite or countably infinite POVMs/ensembles
    Stated in the introduction ('we restrict ourselves to separable Hilbert spaces') and in Definition 6; the theorems are not claimed for nonseparable spaces or uncountable outcome sets.
  • standard math Radon-Nikodym theorem for normal states on von Neumann algebras
    Used in Lemma 7 and Corollary 8 to realize functionals dominated by a vector state via POVMs in the commutant; this is the bridge from ensemble extension to steering.
  • standard math Self-polar forms and Petz duals for JBW*-algebras
    Used in Section 2.1 to define Gamma_omega and the Petz dual beta; Lemma 5 and Theorem 3 rely on the order isomorphism between [0,omega] and [0,1].
  • standard math Jordan-Schwarz inequality and Kadison-Schwarz inequality for JB-algebras
    Lemma 1 uses the Jordan-Schwarz inequality, and the appendix proves the Kadison-Schwarz inequality for JB-algebras from scratch because the authors could not find it in the literature. These support the multiplicative-domain factorization used throughout.
  • standard math Proportionality and uniqueness of operator-valued weights for irreducible subfactor inclusions
    Invoked in Proposition 20 and Theorem C to derive finite index from the existence of conditional expectations in both directions; the paper cites [76,77,78].
  • standard math Jones-Kosaki-Longo index and Takesaki's theorem
    Provides the background definition of finite index and the criterion for existence of state-preserving conditional expectations; used to frame and prove Theorem C.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum steering is equivalent to state-preserving conditional expectations." pith.science (2026). https://pith.science/paper/42B3UDKA

@misc{pith2026260810783,
  author       = {Pith},
  title        = {Pith review of: Quantum steering is equivalent to state-preserving conditional expectations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/42B3UDKA}},
  note         = {Machine review of arXiv:2608.10783}
}
abstract

In systems with infinitely many degrees of freedom, fundamental results from quantum information theory can fail. An important example is the uniqueness of purifications: Even when two subsystems, described by commuting von Neumann algebras $A$ and $B$, are tomographically complete, purifications of a state on $A$ need not be related by unitaries in $B$. It was recently shown that this occurs precisely when Haag duality fails, i.e., when the commutant $B'$ is strictly larger than $A$. This raises the question of which fundamental entanglement properties survive in such a setting. We show that, for a pure global state, the ability to steer any ensemble decomposition of the marginal state on $A$ by measurements on $B$ is equivalent to the existence of a state-preserving conditional expectation from $B'$ onto $A$. This establishes a direct connection between quantum steering and subfactor theory. The key observation is that steering is equivalent to the existence of extensions of ensemble decompositions from $A$ to $B'$. Working with general Jordan algebras, we prove that unital positive maps have state-preserving left inverses if and only if ensemble decompositions can be lifted. For the inclusion $A\hookrightarrow B'$, a left inverse is precisely a conditional expectation, yielding the characterization above.

Figures

Figures reproduced from arXiv: 2608.10783 by the authors.

Figure 1
Figure 1. Examples; Bulk: A two-dimensional topologically ordered system is divided into a region [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. The figure provides an overview of the logical dependencies and the proof structure of the results [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

79 extracted references · 46 canonical work pages

  1. [1]

    Maximal Violation of Bell’s Inequalities Is Generic in Quantum Field Theory

    S. J. Summers and R. Werner. “Maximal Violation of Bell’s Inequalities Is Generic in Quantum Field Theory”. In:Communications in Mathematical Physics110.2 (June 1, 1987), pp. 247–259.issn: 1432-

    work page 1987

  2. [2]

    Distillability and positivity of partial transposes in general quantum field systems

    R. Verch and R. F. Werner. “Distillability and positivity of partial transposes in general quantum field systems”. In:Reviews in Mathematical Physics17.5 (June 2005), pp. 545–576.issn: 0129-055X. doi: 10.1142/S0129055X05002364

    work page doi:10.1142/s0129055x05002364 2005

  3. [3]

    Entanglement, Haag-duality and Type Properties of Infinite Quantum Spin Chains

    M. Keyl, T. Matsui, D. Schlingemann, and R. F. Werner. “Entanglement, Haag-duality and Type Properties of Infinite Quantum Spin Chains”. In:Reviews in Mathematical Physics18.09 (Oct. 2006), pp. 935–970. issn: 0129-055X, 1793-6659. doi: 10 . 1142 / S0129055X0600284X. arXiv: math - ph / 0604071

    work page 2006

  4. [4]

    State Convertibility in the von Neumann Algebra Framework

    J. Crann, D. W. Kribs, R. H. Levene, and I. G. Todorov. “State Convertibility in the von Neumann Algebra Framework”. In:Communications in Mathematical Physics378.2 (Sept. 1, 2020), pp. 1123–

    work page 2020

  5. [5]

    van Luijk, A

    L. van Luijk, A. Stottmeister, R. F. Werner, and H. Wilming.Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras. June 4, 2024. doi: 10.48550/arXiv.2401. 07299. arXiv: 2401.07299

    arXiv doi:10.48550/arxiv.2401.07299 2024

  6. [6]

    Relativistic Quantum Fields Are Universal Entanglement Embezzlers

    L. van Luijk, A. Stottmeister, R. F. Werner, and H. Wilming. “Relativistic Quantum Fields Are Universal Entanglement Embezzlers”. In:Physical Review Letters133.26 (Dec. 31, 2024), p. 261602. doi: 10.1103/PhysRevLett.133.261602

    doi:10.1103/physrevlett.133.261602 2024

  7. [7]

    Pure State Entanglement and von Neumann Algebras

    L. van Luijk, A. Stottmeister, R. F. Werner, and H. Wilming. “Pure State Entanglement and von Neumann Algebras”. In: Communications in Mathematical Physics 406.12 (Oct. 30, 2025), p. 296. issn: 1432-0916. doi: 10.1007/s00220-025-05465-5

    work page doi:10.1007/s00220-025-05465-5 2025

  8. [8]

    Uniqueness of Purifications Is Equivalent to Haag Duality

    L. van Luijk, A. Stottmeister, and H. Wilming. “Uniqueness of Purifications Is Equivalent to Haag Duality”. In:Physical Review Letters136.4 (Jan. 30, 2026), p. 040203.doi: 10.1103/d7nm-gx37

    doi:10.1103/d7nm-gx37 2026

Show all 79 references
  1. [9]

    R. Haag. Local Quantum Physics. Berlin, Heidelberg: Springer, 1996.isbn: 978-3-540-61049-6 978-3- 642-61458-3. doi: 10.1007/978-3-642-61458-3

    1996 doi

  2. [10]

    Anyons in Infinite Quantum Systems : QFT in D=2+1 and the Toric Code

    P. Naaijkens. “Anyons in Infinite Quantum Systems : QFT in D=2+1 and the Toric Code”. Radboud Universiteit Nijmegen, 2012

    2012

  3. [11]

    Haag Duality and the Distal Split Property for Cones in the Toric Code

    P. Naaijkens. “Haag Duality and the Distal Split Property for Cones in the Toric Code”. In:Letters in Mathematical Physics101.3 (Sept. 1, 2012), pp. 341–354.issn: 1573-0530. doi: 10.1007/s11005- 012-0572-7

    2012 doi

  4. [12]

    Haag Duality for Kitaev’s Quantum Double Model for Abelian Groups

    L. Fiedler and P. Naaijkens. “Haag Duality for Kitaev’s Quantum Double Model for Abelian Groups”. In: Reviews in Mathematical Physics27.09 (Oct. 2015), p. 1550021.issn: 0129-055X. doi: 10.1142/ S0129055X1550021X

    2015

  5. [13]

    A Derivation of Braided C*-Tensor Categories from Gapped Ground States Satisfying the Approximate Haag Duality

    Y. Ogata. “A Derivation of Braided C*-Tensor Categories from Gapped Ground States Satisfying the Approximate Haag Duality”. In:Journal of Mathematical Physics63.1 (Jan. 1, 2022), p. 011902.issn: 0022-2488, 1089-7658. doi: 10.1063/5.0061785

    2022 doi

  6. [14]

    Local Topological Order and Boundary Algebras

    C. Jones, P. Naaijkens, D. Penneys, D. Wallick, and M. Izumi. “Local Topological Order and Boundary Algebras”. In: Forum of Mathematics, Sigma13 (2025), e135. issn: 2050-5094. doi: 10.1017/fms. 2025.16

    2025 doi

  7. [15]

    Ogata, D

    Y. Ogata, D. Pérez-García, and A. Ruiz-de-Alarcón. Haag Duality for 2D Quantum Spin Systems. Sept. 28, 2025. doi: 10 . 48550 / arXiv . 2509 . 23734. arXiv: 2509 . 23734 [math-ph]. url: http : //arxiv.org/abs/2509.23734 (visited on 09/30/2025). Pre-published

    2025 doi

  8. [16]

    Naaijkens, D

    P. Naaijkens, D. Penneys, and D. Wallick. Local Topological Order, Haag Duality, and Reflection Positivity. May 11, 2026.doi: 10.48550/arXiv.2605.10693 . arXiv: 2605.10693 [math-ph] . url: http://arxiv.org/abs/2605.10693 (visited on 05/13/2026). Pre-published. 22

    2026 doi arXiv

  9. [17]

    S.-H. Shao, J. Sorce, and M. Srivastava. Additivity, Haag Duality, and Non-Invertible Symmetries. Mar. 26, 2025. doi: 10 . 48550 / arXiv . 2503 . 20863. arXiv: 2503 . 20863 [hep-th]. url: http : / / arxiv.org/abs/2503.20863 (visited on 03/28/2025). Pre-published

    2025 doi

  10. [18]

    Harlow, S.-H

    D. Harlow, S.-H. Shao, J. Sorce, and M. Srivastava.Disjoint Additivity and Local Quantum Physics. Sept. 3, 2025.doi: 10.48550/arXiv.2509.03589. arXiv:2509.03589 [hep-th]. url: http://arxiv. org/abs/2509.03589 (visited on 09/05/2025). Pre-published

    2025 doi arXiv

  11. [19]

    Kosaki-Longo Index and Classification of Charges in 2D Quantum Spin Models

    P. Naaijkens. “Kosaki-Longo Index and Classification of Charges in 2D Quantum Spin Models”. In: Journal of Mathematical Physics54.8 (Aug. 16, 2013), p. 081901.issn: 0022-2488. doi: 10.1063/1. 4818272

    2013 doi

  12. [20]

    Jones Index, Secret Sharing and Total Quantum Dimen- sion

    L. Fiedler, P. Naaijkens, and T. J. Osborne. “Jones Index, Secret Sharing and Total Quantum Dimen- sion”. In:New Journal of Physics19.2 (Feb. 20, 2017), p. 023039.issn: 1367-2630.doi: 10.1088/1367- 2630/aa5c0c. arXiv: 1608.02618 [math-ph, physics:quant-ph]

    2017 arXiv

  13. [21]

    Multi-Interval Subfactors and Modularity of Representa- tions in Conformal Field Theory

    Y. Kawahigashi, R. Longo, and M. Müger. “Multi-Interval Subfactors and Modularity of Representa- tions in Conformal Field Theory”. In:Communications in Mathematical Physics219.3 (2001). arXiv: math/9903104, pp. 631–669.issn: 0010-3616. doi: 10.1007/PL00005565

    2001 arXiv

  14. [22]

    Index for Subfactors

    V. F. R. Jones. “Index for Subfactors”. In: Inventiones mathematicae 72.1 (Feb. 1, 1983), pp. 1–25. issn: 1432-1297. doi: 10.1007/BF01389127

    1983 doi

  15. [23]

    A Polynomial Invariant for Knots via von Neumann Algebras

    V. F. R. Jones. “A Polynomial Invariant for Knots via von Neumann Algebras”. In:Bulletin of the American Mathematical Society12.1 (1985), pp. 103–111.issn: 1088-9485, 0273-0979.doi: 10.1090/ S0273-0979-1985-15304-2

    1985

  16. [24]

    Quantum field theory and the Jones polynomial

    E. Witten. “Quantum field theory and the Jones polynomial”. In:Communications in Mathematical Physics 121.3 (Sept. 1989). ISBN: 0010-3616, pp. 351–399.doi: 10.1007/BF01217730

    1989 doi

  17. [25]

    V. G. Turaev. Quantum Invariants of Knots and 3-Manifolds. en. Publication Title: Quantum In- variants of Knots and 3-Manifolds. De Gruyter, Apr. 2010.isbn: 978-3-11-022184-8. doi: 10.1515/ 9783110221848

    2010

  18. [26]

    Hecke Algebra Representations of Braid Groups and Link Polynomials

    V. F. R. Jones. “Hecke Algebra Representations of Braid Groups and Link Polynomials”. In: The Annals of Mathematics126.2 (Sept. 1987), p. 335.issn: 0003486X. doi: 10.2307/1971403. JSTOR: 1971403

    1987 doi

  19. [27]

    Jones and V

    V. Jones and V. S. Sunder. Introduction to Subfactors. 1st ed. Cambridge University Press, May 15,

  20. [28]

    Topological quantum computation

    M. Freedman, A. Kitaev, M. Larsen, and Z. Wang. “Topological quantum computation”. en. In:Bulletin of the American Mathematical Society40.1 (2003), pp. 31–38. issn: 0273-0979, 1088-9485. doi: 10. 1090/S0273-0979-02-00964-3

    2003

  21. [29]

    Subfactor theory and its applications: Operator algebras and quantum field theory

    Y. Kawahigashi. “Subfactor theory and its applications: Operator algebras and quantum field theory”. In: (Oct. 4, 2005).doi: 10.1090/trans2/215/06

    2005 doi

  22. [32]

    Nets of subfactors

    R. Longo and K.-H. Rehren. “Nets of subfactors”. In: Reviews in Mathematical Physics 07.4 (May 1995), pp. 567–597.issn: 0129-055X. doi: 10.1142/S0129055X95000232

    1995 doi

  23. [33]

    Z. Wang. Topological Quantum Computation. en. Vol. 112. CBMS Regional Conference Series in Math- ematics. American Mathematical Society, Apr. 2010.isbn: 978-0-8218-4930-9 978-0-8218-8339-6 978- 1-4704-1570-9. doi: 10.1090/cbms/112

    2010 doi

  24. [34]

    Jones-Wassermann subfactors for modular tensor categories

    Z. Liu and F. Xu. “Jones-Wassermann subfactors for modular tensor categories”. In: Advances in Mathematics 355 (Oct. 2019), p. 106775.issn: 0001-8708. doi: 10.1016/j.aim.2019.106775. 23

    2019

  25. [35]

    Bischoff, Y

    M. Bischoff, Y. Kawahigashi, R. Longo, and K.-H. Rehren. Tensor Categories and Endomorphisms of von Neumann Algebras: With Applications to Quantum Field Theory. Vol. 3. SpringerBriefs in Mathematical Physics. Cham: Springer International Publishing, 2015.isbn: 978-3-319-14300-...

    2015 doi

  26. [36]

    Conformal field theory, tensor categories and operator algebras

    Y. Kawahigashi. “Conformal field theory, tensor categories and operator algebras”. en. In:Journal of Physics A: Mathematical and Theoretical48.30 (July 2015), p. 303001.issn: 1751-8121.doi: 10.1088/ 1751-8113/48/30/303001

    2015

  27. [37]

    Anyonic Chains – α-Induction – CFT – Defects – Subfactors

    S. Hollands. “Anyonic Chains – α-Induction – CFT – Defects – Subfactors”. en. In:Communications in Mathematical Physics(Dec. 2022). issn: 1432-0916. doi: 10.1007/s00220-022-04581-w

    2022 doi

  28. [38]

    Thezipperconditionfor4-tensorsintwo-dimensionaltopologicalorderandthehigher relative commutants of a subfactor arising from a commuting square

    Y.Kawahigashi.“Thezipperconditionfor4-tensorsintwo-dimensionaltopologicalorderandthehigher relative commutants of a subfactor arising from a commuting square”. en. In:Letters in Mathematical Physics 116.2 (Mar. 2026), p. 36.issn: 1573-0530. doi: 10.1007/s11005-026-02069-5

    2026 doi

  29. [39]

    Takesaki

    M. Takesaki. Theory of Operator Algebras II. Red. by J. Cuntz and V. F. R. Jones. Vol. 125. Ency- clopaedia of Mathematical Sciences. Berlin, Heidelberg: Springer, 2003.isbn: 978-3-642-07689-3 978- 3-662-10451-4. doi: 10.1007/978-3-662-10451-4

    2003 doi

  30. [40]

    M. Keyl, D. Schlingemann, and R. F. Werner. Infinitely Entangled States. Dec. 2, 2002. doi: 10 . 48550/arXiv.quant-ph/0212014. arXiv: quant-ph/0212014. url: http://arxiv.org/abs/quant- ph/0212014 (visited on 09/20/2024). Pre-published

    2002 doi arXiv

  31. [41]

    Entanglement in von Neumann algebraic quantum information theory

    L. van Luijk. “Entanglement in von Neumann algebraic quantum information theory”. In: Leibniz University Hanover PhD thesis (2025).doi: 10.15488/19655

    2025 doi

  32. [42]

    Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern

    H. Reeh and S. Schlieder. “Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern”. de. In: Il Nuovo Cimento (1955-1965)22.5 (Dec. 1961), pp. 1051–1068.issn: 1827-6121. doi: 10.1007/ BF02787889

    1955

  33. [43]

    On the Converse of the Reeh-Schlieder Theorem

    H. J. Borchers. “On the Converse of the Reeh-Schlieder Theorem”. en. In:Communications in Mathe- matical Physics10.4 (Dec. 1968), pp. 269–273.issn: 0010-3616, 1432-0916.doi: 10.1007/BF03399501

    1968 doi

  34. [44]

    Modular structure and duality in conformal quantum field theory

    R. Brunetti, D. Guido, and R. Longo. “Modular structure and duality in conformal quantum field theory”. In:Communications in Mathematical Physics156.1 (Sept. 1993). arXiv: funct-an/9302008v1, pp. 201–219. issn: 0010-3616. doi: 10.1007/BF02096738

    1993 arXiv

  35. [45]

    Operator algebras and conformal field theory

    F. Gabbiani and J. Fröhlich. “Operator algebras and conformal field theory”. In:Communications in Mathematical Physics155.3 (Aug. 1993), pp. 569–640.issn: 0010-3616. doi: 10.1007/BF02096729

    1993 doi

  36. [46]

    Conformal Haag–Kastler nets, pointlike localized fields and the existence of operator product expansions

    K. Fredenhagen and M. Jörß. “Conformal Haag–Kastler nets, pointlike localized fields and the existence of operator product expansions”. In:Commun. Math. Phys.176.3 (1996), pp. 541–554.issn: 0010-3616. doi: 10.1007/BF02099249

    1996 doi

  37. [47]

    The Schmidt Rank for the Commuting OperatorFramework

    L. van Luijk, R. Schwonnek, A. Stottmeister, and R. F. Werner. “The Schmidt Rank for the Commuting OperatorFramework”.In: Communications in Mathematical Physics405.7(June18,2024),p.152. issn: 1432-0916. doi: 10.1007/s00220-024-05011-9

    2024 doi

  38. [48]

    Extension of Jones’ Theory on Index to Arbitrary Factors

    H. Kosaki. “Extension of Jones’ Theory on Index to Arbitrary Factors”. In: Journal of Functional Analysis 66.1 (Mar. 1986), pp. 123–140.issn: 00221236. doi: 10.1016/0022-1236(86)90085-6

    1986 doi

  39. [49]

    Index of Subfactors and Statistics of Quantum Fields. I

    R. Longo. “Index of Subfactors and Statistics of Quantum Fields. I”. In:Communications in Mathe- matical Physics126.2 (Dec. 1, 1989), pp. 217–247.issn: 1432-0916. doi: 10.1007/BF02125124

    1989 doi

  40. [50]

    Index of Subfactors and Statistics of Quantum Fields II

    R. Longo. “Index of Subfactors and Statistics of Quantum Fields II.” In:Communications in Mathe- matical Physics130.2 (June 1, 1990), pp. 285–309.issn: 1432-0916. doi: 10.1007/BF02473354

    1990 doi

  41. [51]

    A Remark on the Minimal Index of Subfactors

    H. Kosaki and R. Longo. “A Remark on the Minimal Index of Subfactors”. In:Journal of Functional Analysis 107.2 (Aug. 1, 1992), pp. 458–470.issn: 0022-1236. doi: 10.1016/0022-1236(92)90118-3

    1992 doi

  42. [52]

    Minimizing Indices of Conditional Expectations onto a Subfactor

    F. Hiai. “Minimizing Indices of Conditional Expectations onto a Subfactor”. en. In: Publications of the Research Institute for Mathematical Sciences24.4 (Aug. 1988), pp. 673–678.issn: 0034-5318. doi: 10.2977/prims/1195174872

    1988

  43. [53]

    Integral formula for quantum relative entropy implies data processing inequality

    P. E. Frenkel. “Integral formula for quantum relative entropy implies data processing inequality”. In: 7 (Sept. 7, 2023).doi: 10.22331/q-2023-09-07-1102. 24

    2023 doi

  44. [54]

    MonotonicityoftheQuantumRelativeEntropyUnderPositiveMaps

    A.Müller-HermesandD.Reeb.“MonotonicityoftheQuantumRelativeEntropyUnderPositiveMaps”. In:Annales Henri Poincaré18.5(May2017),pp.1777–1788. issn:1424-0637,1424-0661. doi: 10.1007/ s00023-017-0550-9. arXiv: 1512.06117

    arXiv

  45. [55]

    van Luijk and H

    L. van Luijk and H. Wilming. Sufficiency and Petz recovery for positive maps. Apr. 9, 2026. doi: 10.48550/arXiv.2604.08380. arXiv: 2604.08380

    2026 doi arXiv

  46. [56]

    Hypothesis testing and Stein’s lemma in general probability theories with Euclidean Jordan algebra and its quantum realization

    K.Sonoda,H.Arai,andM.Hayashi. Hypothesis testing and Stein’s lemma in general probability theories with Euclidean Jordan algebra and its quantum realization. May 5, 2025. arXiv:2505.02487[quant- ph]

    2025 arXiv

  47. [57]

    Sufficiency of Rényi Divergences

    N. Galke, L. van Luijk, and H. Wilming. “Sufficiency of Rényi Divergences”. In:IEEE Transactions on Information Theory 70.7 (July 2024). Conference Name: IEEE Transactions on Information Theory, pp. 5057–5076. issn: 1557-9654. doi: 10.1109/TIT.2024.3376395

    2024

  48. [58]

    Hanche-Olsen and E

    H. Hanche-Olsen and E. Størmer. Jordan Operator Algebras. Pitman Advanced Pub. Program, 1984. isbn: 978-0-273-08619-2

    1984

  49. [59]

    JordanC ∗-algebras

    J. D. M. Wright. “JordanC ∗-algebras.” In:Michigan Mathematical Journal24.3 (Jan. 1977), pp. 291–

    1977

  50. [60]

    E. Størmer. Positive Linear Maps of Operator Algebras. Springer Monographs in Mathematics. Berlin, Heidelberg: Springer, 2013. isbn: 978-3-642-34368-1 978-3-642-34369-8. doi: 10.1007/978- 3- 642- 34369-8

    2013 doi

  51. [61]

    Multiplicative Properties of Positive Maps

    E. Størmer. “Multiplicative Properties of Positive Maps”. In:Mathematica Scandinavica100.1 (2007), pp. 184–192. issn: 0025-5521

    2007

  52. [62]

    On the projection of norm one in W*-algebras

    J. Tomiyama. “On the projection of norm one in W*-algebras”. In:Proceedings of the Japan Academy 33.10 (Jan. 1957), pp. 608–612.issn: 0021-4280. doi: 10.3792/pja/1195524885

    1957

  53. [63]

    Selfpolar forms and their applications to the C*-algebra theory

    S. L. Woronowicz. “Selfpolar forms and their applications to the C*-algebra theory”. In:Reports on Mathematical Physics6.3 (Dec. 1, 1974), pp. 487–495.issn: 0034-4877.doi: 10.1016/S0034-4877(74) 80012-1

    1974 doi

  54. [64]

    Tomita-Takesaki Theory for Jordan Algebras

    U. Haagerup and H. Hanche-Olsen. “Tomita-Takesaki Theory for Jordan Algebras”. In: Journal of Operator Theory11.2 (1984). Publisher: Theta Foundation, pp. 343–364.issn: 0379-4024

    1984

  55. [65]

    Conditional expectations in von Neumann algebras and a theorem of Takesaki

    L. Accardi and C. Cecchini. “Conditional expectations in von Neumann algebras and a theorem of Takesaki”. In:Journal of Functional Analysis45.2 (Feb. 1, 1982), pp. 245–273.issn: 0022-1236. doi: 10.1016/0022-1236(82)90022-2

    1982 doi

  56. [66]

    A dual in von Neumann algebras with weights

    D. Petz. “A dual in von Neumann algebras with weights”. In:The Quarterly Journal of Mathematics 35.4 (Dec. 1, 1984), pp. 475–483.issn: 0033-5606. doi: 10.1093/qmath/35.4.475

    1984 doi

  57. [67]

    Sufficiency of channels over von Neumann algebras

    D. Petz. “Sufficiency of channels over von Neumann algebras”. In:The Quarterly Journal of Mathe- matics 39.1 (Mar. 1, 1988), pp. 97–108.issn: 0033-5606. doi: 10.1093/qmath/39.1.97

    1988 doi

  58. [68]

    Ohya and D

    M. Ohya and D. Petz.Quantum Entropy and Its Use. Springer Berlin, Heidelberg, 1993.isbn: 978-3- 540-54881-2

    1993

  59. [69]

    Sufficiency in Quantum Statistical Inference

    A. Jenčová and D. Petz. “Sufficiency in Quantum Statistical Inference”. In:Communications in Mathe- matical Physics263.1 (Apr. 1, 2006), pp. 259–276.issn: 1432-0916. doi: 10.1007/s00220-005-1510- 7

    2006 doi

  60. [70]

    Positive projections of von Neumann algebras onto JW-algebras

    U. Haagerup and E. Størmer. “Positive projections of von Neumann algebras onto JW-algebras”. In: Reports on Mathematical Physics. Proceedings of the XXVI Symposium on Mathematical Physics 36.2 (Oct. 1, 1995), pp. 317–330.issn: 0034-4877. doi: 10.1016/0034-4877(96)83628-7

    1995 doi

  61. [71]

    Blackadar

    B. Blackadar. Operator Algebras. Red. by J. Cuntz and V. F.R. Jones. Vol. 122. Encyclopaedia of Mathematical Sciences. Berlin, Heidelberg: Springer, 2006.isbn: 978-3-540-28486-4. doi: 10.1007/3- 540-28517-2

    2006 doi

  62. [72]

    Strătilă and L

    S ,. Strătilă and L. Zsidó.Lectures on von Neumann algebras. en. Second edition. Cambridge - IISc series. Cambridge ; New York, NY: Cambridge University Press, 2019.isbn: 978-1-108-49684-1. doi: 10.1017/9781108654975. 25

    2019 doi

  63. [74]

    R. V. Kadison and J. R. Ringrose.Fundamentals of the Theory of Operator Algebras, vol II. Boston, MA: Birkhäuser, 1992.isbn: 978-1-4612-7738-5. doi: 10.1007/978-1-4612-2968-1

    1992 doi

  64. [75]

    Fusion Rules from Entanglement

    B. Shi, K. Kato, and I. H. Kim. “Fusion Rules from Entanglement”. In:Annals of Physics418 (July 2020), p. 168164.issn: 00034916. doi: 10.1016/j.aop.2020.168164

    2020

  65. [76]

    Ş. V. Strătilă. Modular Theory in Operator Algebras. Cambridge IISc Series. Cambridge: Cambridge University Press, 2020.isbn: 978-1-108-48960-7. doi: 10.1017/9781108489607

    2020 doi

  66. [77]

    Operator valued weights in von Neumann algebras, II

    U. Haagerup. “Operator valued weights in von Neumann algebras, II”. In:Journal of Functional Anal- ysis 33.3 (Sept. 1, 1979), pp. 339–361.issn: 0022-1236. doi: 10.1016/0022-1236(79)90072-7

    1979 doi

  67. [78]

    Operator valued weights in von Neumann algebras, I

    U. Haagerup. “Operator valued weights in von Neumann algebras, I”. In:Journal of Functional Analysis 32.2 (May 1, 1979), pp. 175–206.issn: 0022-1236. doi: 10.1016/0022-1236(79)90053-3. 26

    1979 doi

  68. [302]

    issn: 0026-2285, 1945-2365.doi: 10.1307/mmj/1029001946

    1945

  69. [916]

    doi: 10.1007/BF01207366

    doi

  70. [1156]

    doi: 10.1007/s00220-020-03803-3

    issn: 1432-0916. doi: 10.1007/s00220-020-03803-3

    doi

  71. [1997]

    isbn: 978-0-521-58420-3 978-0-511-56621-9.doi: 10.1017/CBO9780511566219

    doi

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.