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
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.
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
- 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.
Referee Report
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)
- 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.
- 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)
- 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.
- 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
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
-
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
-
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
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
axioms (2)
- standard math Tomita-Takesaki modular theory applies to local type-III von Neumann algebras in QFT
- domain assumption Local states admit a modular pullback from the commutant restriction
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
For sufficiently regular state deformations, the fixed-localization Hessian at the self-dual point defines a type III Bogoliubov–Kubo–Mori susceptibility obtained by evaluating the BKM bilinear form on the tangent selected by the modular pairing.
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the intrinsic comparison functional is the symmetrized Araki relative entropy
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
-
[1]
Tomita–Takesaki theory and quantum concurrence,
R. Chatterjee, “Tomita–Takesaki theory and quantum concurrence,” Phys. Rev. D110, 065012 (2024)
work page 2024
-
[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)
work page 2025
-
[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)
work page 1999
-
[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)
work page 2005
-
[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)
work page 1985
-
[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]
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)
work page 1975
-
[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)
work page 1977
-
[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)
work page 2019
-
[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)
work page 2022
-
[11]
Entropy distribution of localised states,
R. Longo, “Entropy distribution of localised states,” Commun. Math. Phys.373, 473–505 (2020)
work page 2020
-
[12]
Entropy of coherent excitations,
R. Longo, “Entropy of coherent excitations,” Lett. Math. Phys.109, 2587–2600 (2019)
work page 2019
-
[13]
Relativeentropyforcoherentstatesinchiral CFT,
S.Hollands, “Relativeentropyforcoherentstatesinchiral CFT,” Lett. Math. Phys.110, 713–733 (2020)
work page 2020
-
[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)
work page 2023
-
[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)
work page 1975
-
[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)
work page 1976
-
[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)
work page 1962
-
[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)
work page 1993
-
[19]
Monotone metrics on matrix spaces,
D. Petz, “Monotone metrics on matrix spaces,” Linear Algebra Appl.244, 81–96 (1996)
work page 1996
-
[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)
work page 2000
-
[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)
work page 1996
-
[22]
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)
work page 2011
-
[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)
work page 2018
-
[24]
O. Bratteli and D. Robinson,Operator Algebras and Quantum Statistical Mechanics II, 2nd Ed., SpringerVer- lag, Berlin, (1997)
work page 1997
-
[25]
J. Dereziński and C. Gérard,Mathematics of Quantiza- tion and Quantum Fields, Cambridge University Press, Cambridge (2013)
work page 2013
-
[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)
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.