Irreversibility of quantum field theory in de Sitter: the C, F and A theorems
Pith reviewed 2026-05-23 17:05 UTC · model grok-4.3
The pith
The C, F and A irreversibility theorems hold in de Sitter spacetime for RG flows from conformal fixed points.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the C, F and A irreversibility theorems in de Sitter spacetime for quantum field theories that are obtained as renormalization group flows from ultraviolet conformal fixed points. The proof is based on strong subadditivity of the entanglement entropy, de Sitter invariance, and the Markov property of conformal field theory.
What carries the argument
Strong subadditivity of entanglement entropy combined with de Sitter invariance and the Markov property of conformal field theory.
If this is right
- Quantities controlled by the C, F and A theorems decrease monotonically along RG flows in de Sitter.
- Entanglement entropy inequalities that hold in flat space continue to imply irreversibility when the background is de Sitter.
- The ultraviolet conformal fixed point remains the highest point in the monotonic ordering even in curved spacetime.
Where Pith is reading between the lines
- The same entanglement-based methods may apply to other curved backgrounds with sufficient symmetry.
- Cosmological models that rely on RG flow in the early universe inherit the same irreversibility constraints.
- It becomes natural to ask whether the theorems survive when the de Sitter radius is comparable to the RG scale.
Load-bearing premise
Strong subadditivity of entanglement entropy together with the Markov property of conformal field theory continue to hold for the relevant regions in de Sitter spacetime.
What would settle it
An explicit computation of the F quantity (or its C or A analog) along a known RG flow in de Sitter that shows the quantity increasing would falsify the theorems.
Figures
read the original abstract
We prove the C, F and A irreversibility theorems in de Sitter spacetime for quantum field theories that are obtained as renormalization group flows from ultraviolet conformal fixed points. The proof is based on strong subadditivity of the entanglement entropy, de Sitter invariance, and the Markov property of conformal field theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves the C, F, and A irreversibility theorems (monotonicity of central charges along RG flows) for quantum field theories in de Sitter spacetime that arise as relevant deformations of ultraviolet conformal fixed points. The argument is stated to rest on three ingredients: strong subadditivity of entanglement entropy, de Sitter invariance, and the Markov property of conformal field theories.
Significance. If the central assumptions hold, the result would extend the standard flat-space irreversibility theorems to a curved, expanding background with cosmological horizons. This is potentially relevant for RG flows in cosmological settings and for understanding monotonicity in the presence of a positive cosmological constant.
major comments (1)
- [Abstract / §1] Abstract and §1 (or wherever the proof strategy is laid out): The central claim requires that strong subadditivity of entanglement entropy and the Markov property (vanishing conditional mutual information for appropriate regions) continue to hold for the relevant subregions when the background is de Sitter rather than Minkowski. The abstract invokes these as given, but the causal structure, presence of cosmological horizons, and choice of vacuum (e.g., Bunch-Davies) differ from the flat-space derivations. No independent derivation, explicit check, or reference establishing these properties in dS is indicated; this is load-bearing for the entire argument.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying the need to explicitly justify the key assumptions in de Sitter spacetime. We address the major comment below and will revise the manuscript to strengthen the presentation of these points.
read point-by-point responses
-
Referee: [Abstract / §1] Abstract and §1 (or wherever the proof strategy is laid out): The central claim requires that strong subadditivity of entanglement entropy and the Markov property (vanishing conditional mutual information for appropriate regions) continue to hold for the relevant subregions when the background is de Sitter rather than Minkowski. The abstract invokes these as given, but the causal structure, presence of cosmological horizons, and choice of vacuum (e.g., Bunch-Davies) differ from the flat-space derivations. No independent derivation, explicit check, or reference establishing these properties in dS is indicated; this is load-bearing for the entire argument.
Authors: Strong subadditivity is a general property of von Neumann entropy that holds for arbitrary quantum states and does not depend on the background metric, causal structure, or vacuum choice; it therefore applies directly in de Sitter. The Markov property for CFTs likewise follows from conformal invariance and the vanishing of conditional mutual information for regions related by the symmetry; de Sitter invariance ensures the same configurations remain valid for the relevant subregions in the Bunch-Davies vacuum. While these properties are standard, the manuscript does not currently spell out their applicability in curved space. We will add a short clarifying paragraph in §1 that recalls the general proofs, notes their background independence, and cites the relevant literature on SSA and Markovianity in QFT. This revision will make the load-bearing assumptions explicit without altering the proof strategy. revision: yes
Circularity Check
No circularity; proof rests on external standard properties
full rationale
The paper states its proof of the C, F and A theorems rests on strong subadditivity of entanglement entropy, de Sitter invariance, and the Markov property of CFT as independent inputs. No equations or steps in the provided abstract or description reduce any claimed result to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The derivation chain is therefore self-contained against external benchmarks and receives the default non-finding.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Strong subadditivity of the entanglement entropy
- domain assumption de Sitter invariance
- domain assumption Markov property of conformal field theory
Reference graph
Works this paper leans on
-
[1]
N. D. Birrell and P. C. W. Davies, Quantum Fields in Curved Space. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge, UK, 1982
work page 1982
-
[2]
The Renormalization group and the epsilon expansion,
K. G. Wilson and J. B. Kogut, “The Renormalization group and the epsilon expansion,” Phys. Rept. 12 (1974) 75–199
work page 1974
-
[3]
Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,
A. B. Zamolodchikov, “Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,” JETP Lett. 43 (1986) 730–732. [Pisma Zh. Eksp. Teor. Fiz.43,565(1986)]
work page 1986
-
[4]
On the RG running of the entanglement entropy of a circle
H. Casini and M. Huerta, “On the RG running of the entanglement entropy of a circle,” Phys. Rev. D85 (2012) 125016, arXiv:1202.5650 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[5]
On Renormalization Group Flows in Four Dimensions
Z. Komargodski and A. Schwimmer, “On Renormalization Group Flows in Four Dimensions,” JHEP 12 (2011) 099, arXiv:1107.3987 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[6]
Markov property of the CFT vacuum and the a-theorem
H. Casini, E. Test´ e, and G. Torroba, “Markov Property of the Conformal Field Theory Vacuum and the a Theorem,” Phys. Rev. Lett. 118 no. 26, (2017) 261602, arXiv:1704.01870 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[7]
Averaged null energy and the renormalization group,
T. Hartman and G. Mathys, “Averaged null energy and the renormalization group,” JHEP 12 (2023) 139, arXiv:2309.14409 [hep-th]
-
[8]
RG flows in de Sitter: c-functions and sum rules,
M. Loparco, “RG flows in de Sitter: c-functions and sum rules,” arXiv:2404.03739 [hep-th]
-
[9]
Quantum information and the C-theorem in de Sitter,
N. Abate and G. Torroba, “Quantum information and the C-theorem in de Sitter,” arXiv:2409.18186 [hep-th]
-
[10]
Quantum theory of scalar fields in de Sitter space-time,
N. A. Chernikov and E. A. Tagirov, “Quantum theory of scalar fields in de Sitter space-time,” Ann. Inst. H. Poincare A Phys. Theor. 9 (1968) 109. 7
work page 1968
-
[11]
Quantum Field Theory in de Sitter Space: Renormalization by Point Splitting,
T. S. Bunch and P. C. W. Davies, “Quantum Field Theory in de Sitter Space: Renormalization by Point Splitting,” Proc. Roy. Soc. Lond. A 360 (1978) 117–134
work page 1978
-
[12]
Particle Creation in de Sitter Space,
E. Mottola, “Particle Creation in de Sitter Space,” Phys. Rev. D 31 (1985) 754
work page 1985
-
[13]
Vacuum States in de Sitter Space,
B. Allen, “Vacuum States in de Sitter Space,” Phys. Rev. D 32 (1985) 3136
work page 1985
-
[14]
Modular Hamiltonians on the null plane and the Markov property of the vacuum state,
H. Casini, E. Teste, and G. Torroba, “Modular Hamiltonians on the null plane and the Markov property of the vacuum state,” J. Phys. A 50 no. 36, (2017) 364001, arXiv:1703.10656 [hep-th]
-
[15]
Mutual information and the F-theorem
H. Casini, R. C. Huerta, Marina and, and A. Yale, “Mutual information and the F-theorem,” JHEP 10 (2015) 003, arXiv:1506.06195 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[16]
Field theories on conformally related space-times: Some global considerations,
P. Candelas and J. S. Dowker, “Field theories on conformally related space-times: Some global considerations,” Phys. Rev. D19 (1979) 2902
work page 1979
-
[17]
Towards a derivation of holographic entanglement entropy
H. Casini, M. Huerta, and R. C. Myers, “Towards a derivation of holographic entanglement entropy,” JHEP 05 (2011) 036, arXiv:1102.0440 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[18]
All the entropies on the light-cone
H. Casini, E. Teste, and G. Torroba, “All the entropies on the light-cone,” JHEP 05 (2018) 005, arXiv:1802.04278 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[19]
Irreversibility, QNEC, and defects,
H. Casini, I. Salazar Landea, and G. Torroba, “Irreversibility, QNEC, and defects,” JHEP 07 (2023) 004, arXiv:2303.16935 [hep-th]
-
[20]
Renormalization group flow of entanglement entropy on spheres
O. Ben-Ami, D. Carmi, and M. Smolkin, “Renormalization group flow of entanglement entropy on spheres,” JHEP 08 (2015) 048, arXiv:1504.00913 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[21]
Snowmass White Paper: The Cosmological Bootstrap,
D. Baumann, D. Green, A. Joyce, E. Pajer, G. L. Pimentel, C. Sleight, and M. Taronna, “Snowmass White Paper: The Cosmological Bootstrap,” in Snowmass 2021. 3, 2022. arXiv:2203.08121 [hep-th]
-
[22]
Entanglement entropy in de Sitter space
J. Maldacena and G. L. Pimentel, “Entanglement entropy in de Sitter space,” JHEP 02 (2013) 038, arXiv:1210.7244 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[23]
Entanglement entropy in free quantum field theory
H. Casini and M. Huerta, “Entanglement entropy in free quantum field theory,” J. Phys. A 42 (2009) 504007, arXiv:0905.2562 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[24]
A Numerical Calculation of Entanglement Entropy in de Sitter Space,
K. Boutivas, D. Katsinis, G. Pastras, and N. Tetradis, “A Numerical Calculation of Entanglement Entropy in de Sitter Space,” arXiv:2407.07811 [hep-th]
-
[25]
R. M. Wald, General Relativity. Chicago Univ. Pr., Chicago, USA, 1984
work page 1984
-
[26]
Entanglement entropy, conformal invariance and extrinsic geometry
S. N. Solodukhin, “Entanglement entropy, conformal invariance and extrinsic geometry,” Phys. Lett. B 665 (2008) 305–309, arXiv:0802.3117 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.