pith. sign in

arxiv: 2605.19106 · v1 · pith:2GNC3RHUnew · submitted 2026-05-18 · ✦ hep-th · quant-ph

Modular Self-Duality, Symmetrized Relative Entropy, and Bogoliubov--Kubo--Mori Susceptibility in Quantum Field Theory

Pith reviewed 2026-05-20 08:32 UTC · model grok-4.3

classification ✦ hep-th quant-ph
keywords modular self-dualitysymmetrized Araki relative entropyBogoliubov-Kubo-Mori susceptibilitytype III von Neumann algebrasquantum field theorymodular pullbackwedge algebras
0
0 comments X

The pith

At modular self-dual points for local states in quantum field theory, the Hessian of the symmetrized Araki relative entropy defines a type III Bogoliubov-Kubo-Mori susceptibility.

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

The paper constructs an operator-algebraic framework extending modular self-duality from finite-dimensional systems to local states on type III von Neumann algebras in quantum field theory. A local state is compared against the modular pullback of its commutant restriction, with the symmetrized Araki relative entropy serving as the vanishing comparison functional at self-dual points. For regular deformations the second variation at these points is given by the Bogoliubov-Kubo-Mori bilinear form evaluated on the tangent fixed by the modular pairing, thereby defining a type III susceptibility. Explicit quadratic realizations are worked out for the free scalar field on wedge algebras and the chiral U(1) current on half-line algebras, yielding concrete boost-energy and stress-tensor expressions.

Core claim

In finite dimensions modular self-duality singles out fixed points at which a state coincides with its modularly reflected partner. At such points the symmetrized Umegaki relative entropy vanishes and its Hessian is governed by the Bogoliubov-Kubo-Mori quantum Fisher information along the reflected tangent direction. This fixed-point construction is extended to the local type III von Neumann algebras that arise in quantum field theory. Here a local state is compared with the modular pullback of its commutant restriction, and the intrinsic comparison functional is the symmetrized Araki relative entropy. For sufficiently regular state deformations the fixed-localization Hessian at the self-dua

What carries the argument

The symmetrized Araki relative entropy as the comparison functional between a local state and the modular pullback of its commutant restriction, whose Hessian at the self-dual point yields the type III BKM susceptibility via the BKM bilinear form on the modularly selected tangent.

If this is right

  • In the free scalar and chiral current examples the comparison functional is exactly quadratic in the deformation parameter.
  • The resulting susceptibility coefficients admit explicit representations as boost-energy, stress-tensor, or half-line integrals.
  • The construction supplies an intrinsic definition of susceptibility inside the type III algebras that appear in local quantum field theory.

Where Pith is reading between the lines

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

  • The same modular-pairing construction may furnish a practical route to computing response functions when the modular Hamiltonian is known explicitly.
  • Extensions to states with additional symmetries could produce new integral identities relating energy densities to susceptibility coefficients.
  • If the regularity condition can be relaxed, the framework might apply directly to thermal or vacuum states in interacting models.

Load-bearing premise

A local state on a type-III algebra admits a well-defined modular pullback of its commutant restriction and the chosen deformations are sufficiently regular for the Hessian of the symmetrized Araki relative entropy to exist and equal the BKM form.

What would settle it

For a coherent-state deformation of the free scalar field on a wedge algebra, compute the second variation of the symmetrized relative entropy and check whether it exactly reproduces the proposed boost-energy representation with no higher-order remainder terms.

read the original abstract

We develop an operator-algebraic framework for modular self-duality, symmetrized relative entropy, and Bogoliubov--Kubo--Mori susceptibility of local states in quantum field theory. In finite dimensions, modular self-duality singles out fixed points at which a state coincides with its modularly reflected partner. At such points, the natural comparison functional is the symmetrized Umegaki relative entropy. It vanishes at coincidence, and its Hessian is governed by the Bogoliubov--Kubo--Mori quantum Fisher information along the reflected tangent direction. We then extend this fixed-point construction to the local type~III von Neumann algebras that arise in quantum field theory. Here, a local state is compared with the modular pullback of its commutant restriction, and the intrinsic comparison functional is the symmetrized Araki relative entropy. For sufficiently regular state deformations, the fixed-localization Hessian at the self-dual point defines a type~III Bogoliubov--Kubo--Mori susceptibility. This coefficient is obtained by evaluating the BKM bilinear form on the tangent selected by the modular pairing. Exact coherent-state realizations are obtained for the free scalar field on wedge algebras and for the chiral \(U(1)\) current on half-line algebras. In both examples, the comparison functional is exactly quadratic in the deformation parameter, and the susceptibility coefficients admit explicit boost-energy, stress-tensor, or half-line integral representations.

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

2 major / 2 minor

Summary. The paper develops an operator-algebraic framework extending finite-dimensional modular self-duality to local states on type-III von Neumann algebras in QFT. A local state is compared to the modular pullback of its commutant restriction; the intrinsic comparison functional is the symmetrized Araki relative entropy. At the resulting self-dual points, for sufficiently regular deformations, the Hessian is claimed to define a type-III Bogoliubov–Kubo–Mori susceptibility obtained by evaluating the BKM bilinear form on the tangent selected by the modular pairing. Exact quadratic realizations are constructed for the free scalar field on wedge algebras and the chiral U(1) current on half-line algebras, where the comparison functional is exactly quadratic and the susceptibility admits explicit boost-energy, stress-tensor, or half-line integral representations.

Significance. If the central claims hold, the work supplies a new modular-theoretic route to defining susceptibilities for local states in QFT, with the symmetrized Araki entropy playing the role of the comparison functional and the BKM form emerging as its Hessian at self-dual points. The two explicit coherent-state realizations (free scalar on wedges, chiral current on half-lines) constitute concrete, exactly solvable examples that furnish explicit integral representations; these are genuine strengths that could serve as benchmarks for future applications of modular theory to quantum information quantities in QFT.

major comments (2)
  1. The central claim that the fixed-localization Hessian equals the BKM bilinear form evaluated on the modularly selected tangent rests on the twice-differentiability of the symmetrized Araki relative entropy at self-dual points. The abstract invokes “sufficiently regular state deformations” without specifying the precise domain, continuity requirements on the relative modular operator, or boundedness conditions in the natural positive cone that would guarantee the second variation exists and coincides with the BKM form. This assumption is load-bearing for the type-III extension and is only verified in the exactly quadratic free-field and current examples; a general proof or explicit regularity theorem is required.
  2. In the constructions for the free scalar and chiral current (presumably §5–6), the comparison functional is stated to be exactly quadratic in the deformation parameter. The manuscript should supply the explicit second-variation calculation, including the domain of the tangent vectors and the verification that the modular pairing selects the correct direction for the BKM form, rather than leaving these steps implicit.
minor comments (2)
  1. Notation for the symmetrized Araki relative entropy and the modular pullback operation should be introduced with a clear comparison to the finite-dimensional Umegaki case to aid readability.
  2. The manuscript would benefit from a short table or diagram contrasting the finite-dimensional modular self-dual point with the type-III construction (local state vs. commutant restriction).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and indicate the revisions made to the manuscript.

read point-by-point responses
  1. Referee: The central claim that the fixed-localization Hessian equals the BKM bilinear form evaluated on the modularly selected tangent rests on the twice-differentiability of the symmetrized Araki relative entropy at self-dual points. The abstract invokes “sufficiently regular state deformations” without specifying the precise domain, continuity requirements on the relative modular operator, or boundedness conditions in the natural positive cone that would guarantee the second variation exists and coincides with the BKM form. This assumption is load-bearing for the type-III extension and is only verified in the exactly quadratic free-field and current examples; a general proof or explicit regularity theorem is required.

    Authors: We appreciate the referee's emphasis on the need for precise regularity conditions. The manuscript introduces the type-III BKM susceptibility under the assumption of sufficiently regular deformations, where the second variation exists. To strengthen the presentation, we have revised Section 3 to include an explicit definition of the regularity conditions: the deformations are taken in a neighborhood within the natural positive cone, with the relative modular operator being norm-continuous in the deformation parameter. Under these conditions, we provide a direct argument that the Hessian coincides with the BKM form using the properties of the modular conjugation and the Araki relative entropy. While a completely general theorem applicable to all type-III factors without any regularity assumptions is not provided, the framework is rigorously defined for the class of regular deformations, and the exact examples demonstrate that such deformations exist and yield the expected results. revision: yes

  2. Referee: In the constructions for the free scalar and chiral current (presumably §5–6), the comparison functional is stated to be exactly quadratic in the deformation parameter. The manuscript should supply the explicit second-variation calculation, including the domain of the tangent vectors and the verification that the modular pairing selects the correct direction for the BKM form, rather than leaving these steps implicit.

    Authors: We agree that making the calculations explicit will improve clarity. In the revised manuscript, Sections 5 and 6 have been expanded to provide the full second-variation computation. For the free scalar field on the wedge, we detail the tangent vectors as coherent state deformations parameterized by test functions with support in the wedge, show that the second derivative of the symmetrized Araki entropy yields the boost energy integral, and verify that the modular pairing with the commutant restriction selects the boost generator direction. Similarly, for the chiral U(1) current on the half-line, we compute the variation explicitly using the half-line integral representation of the stress tensor or current modes, confirming the alignment with the BKM susceptibility. These additions make the steps from the quadratic functional to the explicit susceptibility transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on standard modular operator theory and relative entropy definitions

full rationale

The paper extends finite-dimensional notions of modular self-duality and symmetrized Umegaki relative entropy to type-III local algebras via the modular pullback construction and Araki relative entropy. The central step identifies the Hessian of this symmetrized functional at the self-dual point with the BKM bilinear form evaluated on the modularly selected tangent; this identification follows directly from the second-variation properties of the relative entropy functional under the stated regularity assumptions, without any reduction of the output susceptibility to a fitted parameter or to a self-citation chain. The explicit free-field and chiral-current examples are obtained by direct computation from the definitions rather than by assuming the target result. No load-bearing premise is justified solely by prior work of the same author, and the framework remains self-contained against external benchmarks from modular theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on standard results from Tomita-Takesaki modular theory and Araki relative entropy; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Tomita-Takesaki modular theory applies to local type-III von Neumann algebras in QFT
    Invoked to define the modular operator and its action on states and commutants.
  • domain assumption Local states admit a modular pullback from the commutant restriction
    Required for the self-dual point comparison in the type-III setting.

pith-pipeline@v0.9.0 · 5799 in / 1494 out tokens · 46434 ms · 2026-05-20T08:32:46.602169+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Tomita–Takesaki theory and quantum concurrence,

    R. Chatterjee, “Tomita–Takesaki theory and quantum concurrence,” Phys. Rev. D110, 065012 (2024)

  2. [2]

    Entanglement harvesting and curvature of entanglement: A modular operator approach,

    R. Chatterjee, “Entanglement harvesting and curvature of entanglement: A modular operator approach,” Phys. Rev. D112, 085025 (2025)

  3. [3]

    Monotone Riemannian metrics and relative entropy on noncommutative proba- bility spaces,

    A. Lesniewski and M. B. Ruskai, “Monotone Riemannian metrics and relative entropy on noncommutative proba- bility spaces,” J. Math. Phys.40, 5702–5724 (1999)

  4. [4]

    Quantum information geometry and non- commutativeL p spaces,

    A. Jenčová, “Quantum information geometry and non- commutativeL p spaces,” Infinite Dimensional Analysis, Quantum Probability and Related Topics8, 215–233 (2005)

  5. [5]

    Quasi-entropies for states of a von Neumann algebra,

    D. Petz, “Quasi-entropies for states of a von Neumann algebra,” Publ. Res. Inst. Math. Sci. Kyoto Univ.21, 787–800 (1985)

  6. [6]

    Quantum Fisher information and the curvature of entanglement,

    Z. H. Saleem, A. Shaji, A. M. Babu, D.-W. Luo, Q. Lang- fitt, T. Yu, and S. K. Gray, “Quantum Fisher information and the curvature of entanglement,” arXiv:2504.13729 [quant-ph] (2025)

  7. [7]

    Relative entropy of states of von Neumann algebras,

    H. Araki, “Relative entropy of states of von Neumann algebras,” Publ. Res. Inst. Math. Sci.11, 809–833 (1975)

  8. [8]

    Relative entropy for states of von Neumann al- gebrasII,

    H. Araki, “Relative entropy for states of von Neumann al- gebrasII,” Publ.Res.Inst.Math.Sci.13, 173–192(1977)

  9. [9]

    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. D 99, 125020 (2019)

  10. [10]

    Rela- tive entropy of coherent states on general CCR algebras,

    H. Bostelmann, D. Cadamuro, and S. Del Vecchio, “Rela- tive entropy of coherent states on general CCR algebras,” Commun. Math. Phys.389, 661–691 (2022)

  11. [11]

    Entropy distribution of localised states,

    R. Longo, “Entropy distribution of localised states,” Commun. Math. Phys.373, 473–505 (2020)

  12. [12]

    Entropy of coherent excitations,

    R. Longo, “Entropy of coherent excitations,” Lett. Math. Phys.109, 2587–2600 (2019)

  13. [13]

    Relativeentropyforcoherentstatesinchiral CFT,

    S.Hollands, “Relativeentropyforcoherentstatesinchiral CFT,” Lett. Math. Phys.110, 713–733 (2020)

  14. [14]

    Relative entropy of an interval for a massless boson at finite temperature,

    A. Garbarz and G. Palau, “Relative entropy of an interval for a massless boson at finite temperature,” Phys. Rev. D107, 125016 (2023)

  15. [15]

    On the duality condition for a Hermitian scalar field,

    J. J. Bisognano and E. H. Wichmann, “On the duality condition for a Hermitian scalar field,” J. Math. Phys. 16, 985–1007 (1975)

  16. [16]

    On the duality condition for quantum fields,

    J. J. Bisognano and E. H. Wichmann, “On the duality condition for quantum fields,” J. Math. Phys.17, 303– 321 (1976)

  17. [17]

    Conditional expectation in an operator al- gebra. IV. Entropy and information,

    H. Umegaki, “Conditional expectation in an operator al- gebra. IV. Entropy and information,” Kodai Math. Sem. Rep.14, 59–85 (1962)

  18. [18]

    The Bogoliubov inner product in quantum statistics,

    D. Petz and G. Tóth, “The Bogoliubov inner product in quantum statistics,” Lett. Math. Phys.27, 205–216 (1993)

  19. [19]

    Monotone metrics on matrix spaces,

    D. Petz, “Monotone metrics on matrix spaces,” Linear Algebra Appl.244, 81–96 (1996)

  20. [20]

    Onthecurvatureof a certain Riemannian space of matrices,

    P.W.Michor, D.PetzandA.Andai, “Onthecurvatureof a certain Riemannian space of matrices,” Infin. Dimens. Anal. Quantum Probab. Relat. Top.3, 199–212 (2000)

  21. [21]

    Haag,Local Quantum Physics: Fields, Particles, Al- 23 gebras, Springer-Verlag, 2nd ed

    R. Haag,Local Quantum Physics: Fields, Particles, Al- 23 gebras, Springer-Verlag, 2nd ed. (1996)

  22. [22]

    Guido,Modular theory for the von Neumann Alge- bras of Local Quantum Physics, inAspects of Operator Algebras and Applications, Ed

    D. Guido,Modular theory for the von Neumann Alge- bras of Local Quantum Physics, inAspects of Operator Algebras and Applications, Ed. P. Ara, F. Lledo, and F. Perera, American Mathematical Society, (2011)

  23. [23]

    Witten,APS Medal for Exceptional Achievement in Research: Entanglement in quantum field theory, Rev

    E. Witten,APS Medal for Exceptional Achievement in Research: Entanglement in quantum field theory, Rev. Mod. Phys.90, 045003 (2018)

  24. [24]

    Bratteli and D

    O. Bratteli and D. Robinson,Operator Algebras and Quantum Statistical Mechanics II, 2nd Ed., SpringerVer- lag, Berlin, (1997)

  25. [25]

    Dereziński and C

    J. Dereziński and C. Gérard,Mathematics of Quantiza- tion and Quantum Fields, Cambridge University Press, Cambridge (2013)

  26. [26]

    Modular groups of quantum fields in thermal states,

    H. J. Borchers and J. Yngvason, “Modular groups of quantum fields in thermal states,” J. Math. Phys.40, 601–624 (1999)