Pith. sign in

REVIEW 3 major objections 5 minor 48 references

The unique symmetry operator with maximal vacuum overlap is the one built from the Araki cone α=0, and it can be constructed from modular data.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

The Araki cone α=0 purification uniquely attains the Uhlmann fidelity, defining an 'optimal symmetry operator' with maximal expectation value.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection A clean and useful theorem about optimal symmetry operators for general von Neumann algebras, with a real but localized rigor gap in the QFT example. the 3 major comments →

arxiv 2509.09670 v1 pith:OTL4R5LS submitted 2025-09-11 hep-th math-phmath.MP

Optimal symmetry operators

Leandro Martinek This is my paper
classification hep-th math-phmath.MP MSC 81T0546L1046L6081P45
keywords positive conesmodular operatorautomorphism representativesUhlmann fidelityoptimal symmetry operatorvon Neumann algebrascoherent statesentanglement of purification
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

This paper shows how to pick, among the many ways to represent a symmetry as an operator on a subsystem, the one that is unique and that maximizes the expectation value in the reference (vacuum) state. The construction uses Araki's positive cones attached to a von Neumann algebra and a cyclic-separating vector. The key result is that the representative built from the cone α=0 is optimal, and it is obtained from a modular polar decomposition, so it is fixed by the algebra, the region, and the vacuum alone. A related claim is that the fidelity between two states is attained uniquely by the purification in the α=0 cone, giving an explicit modular formula for fidelity. The paper works through two examples, a two-spin system and a massless scalar field in 3+1 dimensions, verifying the optimality in each case.

Core claim

For a von Neumann algebra A, a cyclic and separating reference vector |Ω⟩, and an automorphism β of A, the paper constructs a family of isometric representatives Uα(β) of β, one for each Araki positive cone P^α_Ω(A), with Uα(β)|Ω⟩ ∈ P^α_Ω(A). The main theorem is that the representative U0(β) built from the cone α=0 attains the supremum of the absolute expectation values over all isometries implementing β: Sup_{U(β)∈I_A(β)} |⟨Ω|U(β)|Ω⟩| = ⟨Ω|U0(β)|Ω⟩. This is proved by identifying every representative's image vector as a purification of the state ϕ(A)=⟨Ω|β^{-1}(A)|Ω⟩, so Uhlmann's theorem bounds the overlap by the fidelity, and the α=0 purification uniquely saturates that bound. The paper als

What carries the argument

The central objects are the Araki positive cones P^α_Ω(A) = closure of {Δ^α_Ω P|Ω⟩ : P ∈ A_+} for α ∈ [0,1/2], and the modular operator Δ_Ω, modular conjugation J, and relative modular operator Δ_{ϕ,Ω}. The load-bearing identity is the polar decomposition (48), JΔ^{1/2}_{ϕ,Ω} Δ^{1/2-2α}_Ω J = R^†_α P_α, whose partial isometry R_α ∈ A' connects the purification of a state in the standard cone α=1/4 to its unique purification in the cone α, as R_α|ϕ⟩ = |ϕ_α⟩. The same polar decomposition, specialized to the state ϕ(A)=ω(β^{-1}(A)), yields the representative of the automorphism in each cone, U_α(β)=R_α U_{1/4}(β), and the α=0 member is the optimal symmetry operator.

Load-bearing premise

The whole construction rests on the cited Araki–Masuda polar decomposition theorem: that every vector in the domain of Δ^{1/2-2α}_Ω splits uniquely into a partial isometry in the commutant and a vector in the cone P^α_Ω(A), applied here to the possibly unbounded modular operators of quantum field theory without a domain discussion.

What would settle it

Find a von Neumann algebra A, a cyclic and separating vector |Ω⟩, and an automorphism β for which the isometry U0(β) constructed from the cone α=0 does not satisfy the claimed equality Sup |⟨Ω|U(β)|Ω⟩| = ⟨Ω|U0(β)|Ω⟩, by direct computation in a finite-dimensional example with a non-faithful reduced state or by producing a representative with strictly larger overlap. In the scalar field example, a numerical check comparing U0's smearing function with a separately optimized coherent operator would already settle the claim for that class of automorphisms.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • If the construction is correct, every symmetry of a subsystem that is induced by an automorphism of the local algebra acquires a canonical, geometry-determined implementing operator, removing the ambiguity that plagues Wilson-loop-type order parameters.
  • The fidelity between two normal states of a local algebra can be computed by a modular formula rather than by a variational search over purifications; the maximizing purification is unique and belongs to the cone P^0_Ω(A).
  • The generalized fidelity F_α(ω,ϕ)=⟨Ω|ϕ_α⟩ defined via the cones interpolates between Uhlmann fidelity and other modular quantities; whether it satisfies the data-processing inequality is an open question the paper raises.
  • The explicit representatives for coherent operators in the free massless scalar field are themselves coherent operators whose smearing functions can be computed by modular flow, giving a concrete algorithm for optimal twist-type operators in that theory.
  • The optimal representative of the permutation automorphism between replicas could provide a lower bound for the Rényi entanglement of purification, as the paper suggests as future work.

Where Pith is reading between the lines

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

  • If the polar decomposition identity (48) extends to the unbounded modular operators appearing in QFT without additional domain conditions, the same cone construction should apply to a wider class of local algebras, including those with non-type-I factors, where the examples in this paper do not reach.
  • The uniqueness of the optimal representative suggests a canonical notion of 'quantum action' of a symmetry on a region: rather than choosing any unitary that implements the automorphism, one takes the isometry whose image vector lies in the α=0 cone; this notion is region-dependent and generally not given by a global symmetry operator.
  • The α=0 purification attaining the Uhlmann fidelity may offer an operational interpretation of the fidelity as the overlap with the vacuum of a 'gauge-fixed' purification constructed entirely from modular data, which could simplify numerical or holographic computations of fidelity between reduced states.
  • One could test the proposed generalized fidelity F_α on known examples where the data-processing inequality fails for the standard fidelity, to see whether some α-interpolated quantity retains monotonicity and thus defines a legitimate family of distance measures.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies Araki's positive cones P^α_Ω(A) for a von Neumann algebra A with cyclic-separating reference vector |Ω⟩. It claims three main results: (i) for a normal state φ, the unique purification |φ_α⟩ in the cone P^α_Ω(A) is connected to the standard-cone purification by a partial isometry R_α obtained from the polar decomposition of JΔ^{1/2}_{φ,Ω}Δ^{1/2-2α}_ΩJ (Eq. (48)); (ii) the α=0 purification uniquely attains the supremum in Uhlmann's theorem, giving the modular fidelity formula (5); (iii) for an automorphism β of A, there is a unique isometry U_α(β) satisfying U_α(β)|Ω⟩∈P^α_Ω(A) and implementing β, and U_0(β) maximizes the expectation value over all isometries implementing β (Eq. (3)). The paper illustrates these results in a finite-dimensional two-spin system and in the massless scalar field in 3+1 dimensions, where the optimal representative is compared with a variational computation.

Significance. The claimed result is conceptually attractive and potentially useful: it selects a canonical, algebra- and region-dependent symmetry operator with maximal vacuum expectation value, which is exactly the kind of unambiguous order parameter needed in QFT and in bounds for entropic quantities. The proof is built on standard modular theory (Tomita-Takesaki, Araki-Kosaki, Araki-Masuda) and does not rely on fitted parameters. The finite-dimensional example is explicit, and the QFT example provides a nontrivial consistency check. If the technical gaps identified below are repaired, the construction could be valuable for twist operators, entanglement of purification, and reflected entropy. The paper also proposes a generalized fidelity F_α and notes the open question of its data-processing inequality, which is a reasonable future direction.

major comments (3)
  1. [§2.3, Eq. (48)] The central formula (48) is an identity for unbounded operators. The paper defines H_α on the dense set U(A)|Ω⟩ in Eq. (33) and derives closability via the operator T_{α'}, but it does not prove that the closure of H_α coincides with the product JΔ^{1/2}_{φ,Ω}Δ^{1/2-2α}_ΩJ on a common core, nor does it verify the support identities for R_α in Eq. (45) when Δ has continuous spectrum. The cited Araki–Masuda theorem [18] concerns polar decompositions of vectors and of the closable operators T_{α'}; it is not directly a theorem about products of unbounded positive operators. This gap propagates to Eq. (58) in Section 3, where |H_0| is identified with the modular expression used to prove that |φ_0⟩ achieves the fidelity supremum. Please supply a domain/core argument, or state precisely which theorem from [18]/[19] covers the closure of H_α and the identities R_α†R_α=s_{A'}(φ).
  2. [§4.6 and §7] Section 4.6 explicitly assumes that 'all operators are bounded so that we do not need to worry about domains' immediately before Eq. (102). This assumption is then used in Section 7 for the massless scalar field, where H=φ_0(f) is unbounded. Appendix B only gives 'arguments supporting' the coherent form of the representative, and the Baker–Campbell–Hausdorff computation with the quadratic modular Hamiltonian K is formal for unbounded fields. Consequently, the explicit smearing functions g_α in Section 7.3 and the numerical comparison in Section 7.5 do not constitute a proof that Eq. (3) holds in that QFT example; they are consistency checks of a formal computation. Please either restrict the example to a regularized/bounded setting or supply rigorous convergence and domain arguments for the coherent-state computation.
  3. [§5] The optimality proof in Section 5 is conceptually clear: every representative U gives a purification U|Ω⟩ of φ, and U_0(β) produces the fidelity-optimal purification. However, the crucial premise that |φ_0⟩ is the fidelity maximizer is established in Section 3 via Eq. (58), which inherits the domain gap of the first major comment. Thus the central claim Eq. (3) is not fully proven for von Neumann algebras with unbounded modular operators, including typical QFT algebras. This is a load-bearing point rather than a presentation issue, although it is likely fixable with a careful domain argument or by citing the appropriate results from [18, 19].
minor comments (5)
  1. [§7.5, Fig. 4 caption] The text near Figure 4 writes 'P^α_Ω(Ω)'; this should be 'P^α_Ω(A)'.
  2. [§2.3, Eqs. (26)–(29)] The notation (·)^* for finite-dimensional operators is ambiguous: it could mean complex conjugation in the canonical basis, the adjoint, or the transpose. Please define it explicitly.
  3. [References] References [10] and [42] are duplicates (Dutta and Faulkner, 'A canonical purification for the entanglement wedge cross-section'). They should be merged or cross-referenced.
  4. [Appendix B and §7.3] Appendix B states that the coherent form of W_α(v) is only supported by heuristic arguments. This caveat should be stated more prominently in Section 7.3, so that the reader is not left with the impression that the QFT example is fully rigorous.
  5. [§3, Eq. (67)] The comparison with the generalized fidelity of [22] is phrased vaguely: 'In [22], another type of generalized fidelity was defined' — it should be made explicit whether the comparison is with F_α(ω,φ) or with the standard fidelity.

Circularity Check

0 steps flagged

No circularity: the optimality result follows from external modular theorems plus independent construction; only a domain-rigor gap is flagged.

full rationale

The paper's central claims are not circular. The optimal-symmetry-operator result (Eq. 3) is derived by combining Uhlmann's theorem with the explicit modular construction of the P^0_Ω(A) purification and the representative U_0(β). Section 5 does not define 'optimal' as 'belongs to cone α=0'; it proves the bound ⟨Ω|U(β)|Ω⟩ ≤ F(ω,φ) for every representative and then shows U_0 attains equality. The fidelity formula (5) is not an input: it follows from the polar decomposition (48)-(49) and the external Araki–Masuda/Kosaki results [16,18,19]. The examples are cross-checks against independent calculations (a unitary parametrization in the finite-dimensional case and a variational Carleman equation in the scalar-field case), not fits of parameters used later. There are no author self-citations, no uniqueness theorem imported from the present authors, and no ansatz smuggled in via self-citation. The only self-acknowledged limitation is in Section 4.6 ('we assume that all operators are bounded so that we do not need to worry about domains'), which is later applied to the massless scalar field where φ_0(f) is unbounded; this is a mathematical completeness/domain concern, not a circular reduction. The derivation is self-contained modulo standard external theorems, so the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper adds no free parameters and introduces no new entities. Its results rest on the standard apparatus of modular theory (axioms 1-4) and on specific properties of the free scalar field example (axioms 5-6). The heavy reliance on Araki-Masuda [18] is the main debt upstream; nothing is fitted to data.

axioms (6)
  • standard math Tomita-Takesaki modular theory: existence of modular operator Δ and modular conjugation J for a cyclic separating vector
    Invoked in Appendix A.1 and used throughout to define cones and modular tools.
  • domain assumption Araki's theorem: for every normal state there is a unique purification in each cone P^α_Ω(A) for α∈[0,1/4]
    Theorem 2.1, quoted from Araki [16]; the central construction of |φ_0> depends on it.
  • domain assumption Araki-Masuda theorem 7 and lemma 5.3: polar decomposition of vectors in domains of Δ^{1/2−2α} and representation of the functional f_{Ω,φ}
    Used in Section 2.3 to build R_α and in Section 3 for the fidelity formula.
  • domain assumption The reference vector |Ω> is cyclic and separating for A (Reeh-Schlieder in AQFT)
    Standard assumption for defining modular operators; stated in the Introduction.
  • domain assumption Hislop-Longo theorem giving the modular flow of the sphere in a CFT as a conformal transformation
    Used in the massless scalar example (Section 7.2) to compute the standard representative.
  • domain assumption The modular Hamiltonian of the free scalar field is quadratic in fields
    Appendix B uses this to argue the representatives remain coherent; it fails for interacting QFT.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Optimal symmetry operators." pith.science (2026). https://pith.science/paper/OTL4R5LS

@misc{pith2026250909670,
  author       = {Pith},
  title        = {Pith review of: Optimal symmetry operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OTL4R5LS}},
  note         = {Machine review of arXiv:2509.09670}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We present a constructive method to maximize the expectation value of operators that implement a symmetry on a subsystem, making use of modular tools. More generally, we study the positive cones associated with a von Neumann algebra, as defined by Araki. Given a reference vector, an algebra, and a state on the algebra, the purification of the state in the cone $\alpha = 0$, associated with the reference vector and the algebra, yields the unique vector whose overlap with the reference vector is maximal among all possible purifications. This establishes that the supremum in Uhlmann's theorem is uniquely attained by this vector, thereby providing the fidelity between the given state and the state obtained by restricting the reference vector to the algebra. Moreover, this purification can be explicitly constructed using modular tools. In addition, given an automorphism of the algebra, we show how to construct isometries implementing the automorphism using the positive cones. We prove that the isometry constructed from the cone $\alpha = 0$ is the one with maximal expectation value among all possible isometries implementing the automorphism. We illustrate these ideas with two simple examples: one involving a system of two spins, and the other in the theory of the massless scalar field in 3+1 dimensions.

Figures

Figures reproduced from arXiv: 2509.09670 by Leandro Martinek.

Figure 1
Figure 1. Figure 1: Expectation value of the global Ux, standard Ux,1/4 and the optimal Ux,0 in function of the parameter a. 0.00 0.05 0.10 0.15 0.20 0.25 0.93 0.94 0.95 0.96 0.97 0.98 0.99 1.00 F /F0 a = 0.05 a = 0.1 a = 0.2 a = 0.3 [PITH_FULL_IMAGE:figures/full_fig_p027_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Generalize fidelity normalized Fα(ρ, σ)/F(ρ, σ) as a function of the parameter α for different values of the parameter a. 26 [PITH_FULL_IMAGE:figures/full_fig_p027_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Plot, as a function of r = |⃗x|, of the smearing function K0(⃗x), obtained from the representative in the cone α = 0 (see section 7.3), shown as red dots, and Kopt(⃗x), obtained using the variational approach (see section 7.4), shown as a black solid line. The sphere radius was set to R = 1. 0.0 0.5 1.0 1.5 2.0 2.5 3.0 r 1.00 0.75 0.50 0.25 0.00 0.25 0.50 0.75 1.00 K (r) = 0 (Optimal) = 0.1 = 0.15 = 0.2 = … view at source ↗
Figure 4
Figure 4. Figure 4: Plot, as function of r = |⃗x|, of the smearing function Kα(r) obtained from the representatives in the cones (see section 7.3) for several values of α. Inside the sphere r ∈ [0, 1] all the functions coincide and are represented by a black line. The sphere radius was set to R = 1. 36 [PITH_FULL_IMAGE:figures/full_fig_p037_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Plot of ⟨Ω|Uα(v)|Ω⟩ / ⟨Ω|U0(v)|Ω⟩ for several values of α. The sphere radius was set to R = 1, and the transformation parameter was set to v = 1. To conclude, we give the values of the coefficients that determine the expectation values of the inner operator U(v) = e ivϕ(F) , the standard representative Ustd(v) = e ivϕ0(kstd) and the optimal representative Uopt(v) = e ivϕ0(kopt) c(F) = 1, c(kstd) ≈ 0.935, c… view at source ↗

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

48 extracted references · 1 canonical work pages

  1. [1]

    Some properties of modular conjugation operator of von neumann algebras and a non-commutative radon-nikodym theorem with a chain rule,

    H. Araki, “Some properties of modular conjugation operator of von neumann algebras and a non-commutative radon-nikodym theorem with a chain rule,”Pacific Journal of Mathematics50(1974) 309–354. https://api.semanticscholar.org/CorpusID:59489383

    1974

  2. [2]

    The Transition Probability in the State Space of a* Algebra,

    A. Uhlmann, “The Transition Probability in the State Space of a* Algebra,”Annalen Phys.42(1985) 524. 44

    1985

  3. [3]

    Entropic order parameters for the phases of qft,

    H. Casini, M. Huerta, J. M. Mag´ an, and D. Pontello, “Entropic order parameters for the phases of qft,”Journal of High Energy Physics2021no. 4, (2021) 1–98

    2021

  4. [4]

    Entropic order parameters in weakly coupled gauge theories,

    H. Casini, J. M. Magan, and P. J. Martinez, “Entropic order parameters in weakly coupled gauge theories,”JHEP01(2022) 079,arXiv:2110.02980 [hep-th]

    Pith/arXiv arXiv 2022

  5. [5]

    Form factors of branch-point twist fields in quantum integrable models and entanglement entropy,

    J. L. Cardy, O. A. Castro-Alvaredo, and B. Doyon, “Form factors of branch-point twist fields in quantum integrable models and entanglement entropy,”J. Statist. Phys. 130(2008) 129–168,arXiv:0706.3384 [hep-th]

    Pith/arXiv arXiv 2008

  6. [6]

    Local aspects of superselection rules,

    S. Doplicher, “Local aspects of superselection rules,”Communications in Mathematical Physics85no. 1, (1982) 73–86

    1982

  7. [7]

    Local aspects of superselection rules. II,

    S. Doplicher and R. Longo, “Local aspects of superselection rules. II,”Commun. Math. Phys.88(1983) 399–409

    1983

  8. [8]

    Standard and split inclusions of von neumann algebras,

    S. Doplicher and R. Longo, “Standard and split inclusions of von neumann algebras,” Inventiones mathematicae75no. 3, (1984) 493–536. https://link.springer.com/article/10.1007/BF01388641

    doi:10.1007/bf01388641 1984

  9. [9]

    On noether’s theorem in quantum field theory,

    D. Buchholz, S. Doplicher, and R. Longo, “On noether’s theorem in quantum field theory,”Annals of Physics170no. 1, (1986) 1–17. https://www.sciencedirect.com/science/article/pii/0003491686900862

    arXiv 1986

  10. [10]

    A canonical purification for the entanglement wedge cross-section,

    S. Dutta and T. Faulkner, “A canonical purification for the entanglement wedge cross-section,”Journal of High Energy Physics2021no. 3, (2021) 1–49

    2021

  11. [11]

    The entanglement of purification,

    B. M. Terhal, M. Horodecki, D. W. Leung, and D. P. DiVincenzo, “The entanglement of purification,”J. Math. Phys.43no. 9, (2002) 4286–4298, arXiv:quant-ph/0202044

    Pith/arXiv arXiv 2002

  12. [12]

    Entanglement of purification: from spin chains to holography,

    P. Nguyen, T. Devakul, M. G. Halbasch, M. P. Zaletel, and B. Swingle, “Entanglement of purification: from spin chains to holography,”JHEP01(2018) 098, arXiv:1709.07424 [hep-th]

    Pith/arXiv arXiv 2018

  13. [13]

    Entanglement of purification through holographic duality,

    K. Umemoto and T. Takayanagi, “Entanglement of purification through holographic duality,”Nature Physics14no. 6, (2018) 573–577

    2018

  14. [14]

    Haag,Local quantum physics: Fields, particles, algebras

    R. Haag,Local quantum physics: Fields, particles, algebras. Springer Science & Business Media, 2012

    2012

  15. [15]

    Bratteli and D

    O. Bratteli and D. W. Robinson,Operator Algebras and Quantum Statistical Mechanics 1:C ∗- andW ∗-Algebras, Symmetry Groups, Decomposition of States. Texts and Monographs in Physics. Springer-Verlag, Berlin, Heidelberg, 2 ed., 1979

    1979

  16. [16]

    Positive cones associated with a von neumann algebra,

    H. KOSAKI, “Positive cones associated with a von neumann algebra,”Mathematica Scandinavica47no. 2, (1980) 295–307.http://www.jstor.org/stable/24491398. 45

    arXiv 1980

  17. [17]

    A note on the transition probability over C*-algebras,

    P. M. Alberti, “A note on the transition probability over C*-algebras,”Letters in Mathematical Physics7no. 1, (Jan., 1983) 25–32. http://link.springer.com/10.1007/BF00398708

    work page doi:10.1007/bf00398708 1983

  18. [18]

    Positive Cones andL p-Spaces for von Neumann Algebras,

    H. Araki and T. Masuda, “Positive Cones andL p-Spaces for von Neumann Algebras,” Publications of the Research Institute for Mathematical Sciences, Kyoto University18 no. 2, (1982) 339–411

    1982

  19. [19]

    Positive cones and l p -spaces associated with a von neumann algebra,

    H. KOSAKI, “Positive cones and l p -spaces associated with a von neumann algebra,” Journal of Operator Theory6no. 1, (1981) 13–23. http://www.jstor.org/stable/24713811

    arXiv 1981

  20. [20]

    Takesaki,Tomita’s Theory of Modular Hilbert Algebras and its Applications

    M. Takesaki,Tomita’s Theory of Modular Hilbert Algebras and its Applications. Lecture Notes in Mathematics. Springer-Verlag, 1970

    1970

  21. [21]

    On noether’s theorem in quantum field theory,

    D. Buchholz, S. Doplicher, and R. Longo, “On noether’s theorem in quantum field theory,”Annals of Physics170no. 1, (1986) 1–17

    1986

  22. [22]

    Variational approach to relative entropies with an application to QFT,

    S. Hollands, “Variational approach to relative entropies with an application to QFT,” Lett. Math. Phys.111no. 6, (2021) 136,arXiv:2009.05024 [quant-ph]

    Pith/arXiv arXiv 2021

  23. [23]

    Approximate Recovery and Relative Entropy I: General von Neumann Subalgebras,

    T. Faulkner, S. Hollands, B. Swingle, and Y. Wang, “Approximate Recovery and Relative Entropy I: General von Neumann Subalgebras,”Commun. Math. Phys.389 no. 1, (2022) 349–397,arXiv:2006.08002 [quant-ph]

    Pith/arXiv arXiv 2022

  24. [24]

    Remarks on positive cones associated with a von Neumann algebra,

    H. Kosaki, “Remarks on positive cones associated with a von Neumann algebra,” Tohoku Mathematical Journal, Second Series33no. 4, (1981) 587–591

    1981

  25. [25]

    Watrous,The Theory of Quantum Information

    J. Watrous,The Theory of Quantum Information. Cambridge University Press, 2018

    2018

  26. [26]

    APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory,

    E. Witten, “APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory,”Rev. Mod. Phys.90no. 4, (2018) 045003,arXiv:1803.04993 [hep-th]

    Pith/arXiv arXiv 2018

  27. [27]

    Zsid´ o,Lectures on von Neumann algebras

    S ¸erban Str˘ atil˘ a and L. Zsid´ o,Lectures on von Neumann algebras. Editura Academiei and Abacus Press, Bucharest, Romania; Tunbridge Wells, England, 1979. Revised translation of the original 1975 Romanian edition

    1979

  28. [28]

    R. V. Kadison and J. R. Ringrose,Fundamentals of the Theory of Operator Algebras, Volume II: Advanced Theory, vol. 100 ofPure and Applied Mathematics. Academic Press, 1986

    1986

  29. [29]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information. Cambridge University Press, 6, 2012

    2012

  30. [30]

    On bures distance and*-algebraic transition probability between inner derived positive linear forms over w*-algebras,

    P. M. Alberti and A. Uhlmann, “On bures distance and*-algebraic transition probability between inner derived positive linear forms over w*-algebras,”Acta Applicandae Mathematica60(2000) 1–37. 46

    2000

  31. [31]

    Bures distance function and a generalization of sakai’s non-commutative radon–nikodym theorem,

    H. Araki, “Bures distance function and a generalization of sakai’s non-commutative radon–nikodym theorem,”Publications of the Research Institute for Mathematical Sciences8no. 2, (Aug, 1972) 335–362

    1972

  32. [32]

    Von neumann algebras of local observables for free scalar field,

    H. Araki, “Von neumann algebras of local observables for free scalar field,”Journal of Mathematical Physics5no. 1, (1964) 1–13

    1964

  33. [33]

    A Lattice of Von Neumann Algebras Associated with the Quantum Theory of a Free Bose Field,

    H. Araki, “A Lattice of Von Neumann Algebras Associated with the Quantum Theory of a Free Bose Field,”J. Math. Phys.4no. 11, (1963) 1343

    1963

  34. [34]

    Relative entropy for coherent states from Araki formula,

    H. Casini, S. Grillo, and D. Pontello, “Relative entropy for coherent states from Araki formula,”Phys. Rev. D99no. 12, (2019) 125020,arXiv:1903.00109 [hep-th]

    Pith/arXiv arXiv 2019

  35. [35]

    Modular Hamiltonian of the scalar in the semi infinite line: dimensional reduction for spherically symmetric regions,

    M. Huerta and G. van der Velde, “Modular Hamiltonian of the scalar in the semi infinite line: dimensional reduction for spherically symmetric regions,”JHEP06 (2023) 097,arXiv:2301.00294 [hep-th]

    Pith/arXiv arXiv 2023

  36. [36]

    Entropy and area,

    M. Srednicki, “Entropy and area,”Phys. Rev. Lett.71(1993) 666–669, arXiv:hep-th/9303048 [hep-th]

    Pith/arXiv arXiv 1993

  37. [37]

    Modular Structure of the Local Algebras Associated With the Free Massless Scalar Field Theory,

    P. D. Hislop and R. Longo, “Modular Structure of the Local Algebras Associated With the Free Massless Scalar Field Theory,”Commun. Math. Phys.84(1982) 71

    1982

  38. [38]

    Towards a derivation of holographic entanglement entropy,

    H. Casini, M. Huerta, and R. C. Myers, “Towards a derivation of holographic entanglement entropy,”JHEP05(2011) 036,arXiv:1102.0440 [hep-th]

    Pith/arXiv arXiv 2011

  39. [39]

    A. D. Polyanin and A. V. Manzhirov,Handbook of Integral Equations: Second Edition. Chapman and Hall/CRC, Boca Raton, FL, 2008. https://doi.org/10.1201/9781420010558

    doi:10.1201/9781420010558 2008

  40. [40]

    Entanglement of purification in random tensor networks,

    C. Akers, T. Faulkner, S. Lin, and P. Rath, “Entanglement of purification in random tensor networks,”Phys. Rev. D109no. 10, (2024) L101902,arXiv:2306.06163 [hep-th]

    Pith/arXiv arXiv 2024

  41. [41]

    R´ enyi entanglement of purification and half R´ enyi reflected entropy in free scalar theory,

    L. Chen, “R´ enyi entanglement of purification and half R´ enyi reflected entropy in free scalar theory,”JHEP06(2025) 045,arXiv:2501.10944 [hep-th]

    Pith/arXiv arXiv 2025

  42. [42]

    A canonical purification for the entanglement wedge cross-section,

    S. Dutta and T. Faulkner, “A canonical purification for the entanglement wedge cross-section,”JHEP03(2021) 178,arXiv:1905.00577 [hep-th]

    Pith/arXiv arXiv 2021

  43. [43]

    Holographic Entanglement of Purification from Conformal Field Theories,

    P. Caputa, M. Miyaji, T. Takayanagi, and K. Umemoto, “Holographic Entanglement of Purification from Conformal Field Theories,”Phys. Rev. Lett.122no. 11, (2019) 111601,arXiv:1812.05268 [hep-th]

    Pith/arXiv arXiv 2019

  44. [44]

    Towards Entanglement of Purification for Conformal Field Theories,

    H. Hirai, K. Tamaoka, and T. Yokoya, “Towards Entanglement of Purification for Conformal Field Theories,”PTEP2018no. 6, (2018) 063B03,arXiv:1803.10539 [hep-th]. 47

    Pith/arXiv arXiv 2018

  45. [45]

    Alternative to purification in conformal field theory,

    X. Jiang, P. Wang, H. Wu, and H. Yang, “Alternative to purification in conformal field theory,”Phys. Rev. D111(Jan, 2025) L021902. https://link.aps.org/doi/10.1103/PhysRevD.111.L021902

    doi:10.1103/physrevd.111.l021902 2025

  46. [46]

    Realization of

    X. Jiang, P. Wang, H. Wu, and H. Yang, “Realization of ”ER=EPR”,” arXiv:2411.18485 [hep-th]

    Pith/arXiv arXiv

  47. [47]

    Entanglement entropy in free quantum field theory,

    H. Casini and M. Huerta, “Entanglement entropy in free quantum field theory,”J. Phys.A42(2009) 504007,arXiv:0905.2562 [hep-th]

    Pith/arXiv arXiv 2009

  48. [48]

    Nonunitary bogoliubov transformations and extension of Wick’s theorem,

    R. Balian and E. Brezin, “Nonunitary bogoliubov transformations and extension of Wick’s theorem,”Il Nuovo Cimento B Series 1064no. 1, (Nov., 1969) 37–55. http://link.springer.com/10.1007/BF02710281. 48

    doi:10.1007/bf02710281 1969

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.