pith. sign in

arxiv: 2603.18068 · v2 · submitted 2026-03-18 · ✦ hep-th · gr-qc

When do real observers resolve de Sitter's imaginary problem?

Ahmed Farag Ali This is my paper

Pith reviewed 2026-05-15 09:18 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords de Sitter path integralGibbons-Hawking entropyimaginary phasegravitational observerstopological spectatorssemiclassical approximationconformal factormetric independence
0
0 comments X p. Extension

The pith

Metric-independent infrared sectors factorize in the de Sitter path integral and retain the imaginary phase that blocks a state-counting interpretation of Gibbons-Hawking entropy.

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

The paper asks when specific observers can eliminate the universal imaginary phase that appears in the Euclidean de Sitter path integral and prevents a direct entropy interpretation. It separates gravitational observers, whose fluctuations can couple to the metric, from topological spectators whose infrared effective actions remain metric-independent at the saddle. At quadratic semiclassical order any such spectator sector factorizes out, leaving the phase intact no matter how much information the sector can process. Concrete examples include confining SU(3) gauge theory and topological orders, both of which act as spectators. Only observers whose fluctuations share the negative modes of the conformal factor can belong to the class that might cancel the phase, showing that an information-bearing clock is necessary but insufficient.

Core claim

At quadratic semiclassical order, any sector whose infrared effective action is metric independent at the de Sitter saddle factorizes in the path integral as Z_tot = Z_grav^(obs) * Z_top, so the imaginary phase i^(D+2) persists regardless of the sector's information-processing capabilities. Using confining SU(3) gauge theory and topological orders as examples, the work demonstrates that an information-bearing clock is necessary but insufficient: only observers whose fluctuations share the negative modes of the conformal factor belong to the special class that can remove the de Sitter phase.

What carries the argument

The factorization Z_tot = Z_grav^(obs) Z_top that follows when an infrared effective action is metric-independent at the de Sitter saddle.

If this is right

  • The imaginary phase remains for any metric-independent infrared sector, independent of its information content.
  • Gravitational observers must share negative modes of the conformal factor to potentially remove the phase.
  • Confining SU(3) gauge theory and topological orders act as topological spectators and preserve the phase.
  • An information-bearing clock alone does not suffice to resolve the phase at this order.

Where Pith is reading between the lines

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

  • If the quadratic approximation breaks down, non-perturbative couplings could allow a broader class of observers to cancel the phase.
  • The same observer distinction may apply to other gravitational saddles where negative modes control phase factors.
  • Resolving the phase might ultimately require observers whose fluctuations are entangled with the conformal sector in a manner not captured by the factorization.

Load-bearing premise

The quadratic semiclassical approximation around the de Sitter saddle accurately produces the factorization for all metric-independent sectors.

What would settle it

An explicit higher-order calculation in which a metric-independent sector develops a coupling to the conformal negative modes and cancels the imaginary phase would falsify the factorization claim.

Figures

Figures reproduced from arXiv: 2603.18068 by Ahmed Farag Ali.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic relation between worldlines, informa [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

The universal phase $\rev{\ii}^{D+2}$ of the Euclidean de Sitter path integral obstructs a straightforward state-counting interpretation of the Gibbons--Hawking entropy. Building on Maldacena's proposal that specific black-hole observers can reorganize this phase, we derive a general constraint on when such ``real observers'' can succeed. By distinguishing \emph{gravitational observers} from \emph{topological spectators}, we show at quadratic semiclassical order that any sector whose \emph{infrared effective} action is metric independent at the de Sitter saddle factorizes in the path integral, $\Ztot = \Zgrav^{(\text{obs})}\Ztop$, so the imaginary phase persists regardless of the sector's information-processing capabilities. Using confining $\SU(3)$ gauge theory and topological orders as examples, we demonstrate that an information-bearing clock is necessary but insufficient: only observers whose fluctuations share the negative modes of the conformal factor belong to the special class that can remove the de Sitter phase.

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 claims that the universal imaginary phase i^{D+2} in the Euclidean de Sitter path integral persists for any metric-independent infrared sector. By distinguishing gravitational observers from topological spectators, it derives at quadratic semiclassical order that such sectors factorize as Z_tot = Z_grav^(obs) Z_top, so the phase is unaffected by the sector's information-processing capabilities. Only observers whose fluctuations share the negative modes of the conformal factor can potentially remove the phase, as illustrated with confining SU(3) gauge theory and topological orders.

Significance. If the quadratic factorization holds under the required contour deformation, the result supplies a general constraint on which observers can reorganize the de Sitter phase, clarifying when the Gibbons-Hawking entropy admits a state-counting interpretation. The explicit separation of metric-independent sectors and the necessity of sharing negative modes constitute a concrete advance over prior observer-based proposals.

major comments (2)
  1. [quadratic semiclassical order derivation] The quadratic semiclassical approximation (around the de Sitter saddle): the factorization Z_tot = Z_grav^(obs) Z_top assumes the total quadratic fluctuation operator remains block-diagonal after the contour deformation required by the single negative eigenvalue in the conformal-factor direction. The manuscript does not explicitly demonstrate that metric-independent spectator sectors induce no mixing or eigenvalue shift once the contour is rotated, which is load-bearing for the claim that the imaginary phase is untouched.
  2. [introduction and classification section] The observer-spectator classification (following Maldacena's proposal): the distinction between gravitational observers and topological spectators is introduced within the same path-integral framework used to derive the factorization. This creates a moderate risk that the split is tailored to produce the desired block-diagonal structure rather than being independently derived from the saddle-point equations.
minor comments (2)
  1. [examples section] The examples with confining SU(3) and topological orders would benefit from explicit mode expansions or a table showing which negative modes are shared, to make the 'necessary but insufficient' clock condition quantitatively clearer.
  2. [path-integral factorization paragraph] Notation for Z_grav^(obs) and Z_top is introduced without a dedicated equation defining the split of the quadratic operator; adding this would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying two points where the manuscript's rigor can be strengthened. We address each comment below and will incorporate revisions to clarify the quadratic factorization and the independence of the observer-spectator classification.

read point-by-point responses

  1. Referee: [quadratic semiclassical order derivation] The quadratic semiclassical approximation (around the de Sitter saddle): the factorization Z_tot = Z_grav^(obs) Z_top assumes the total quadratic fluctuation operator remains block-diagonal after the contour deformation required by the single negative eigenvalue in the conformal-factor direction. The manuscript does not explicitly demonstrate that metric-independent spectator sectors induce no mixing or eigenvalue shift once the contour is rotated, which is load-bearing for the claim that the imaginary phase is untouched.

    Authors: We agree that an explicit verification is required. In the revised manuscript we will add an appendix that computes the quadratic fluctuation operator for a general metric-independent spectator sector. Because such sectors have vanishing linear coupling to the conformal mode at the de Sitter saddle (by definition of metric independence), their quadratic operators are orthogonal to the conformal direction. Consequently the contour rotation, performed only along the single negative eigenvalue of the conformal factor, leaves the spectator block untouched and induces neither mixing nor eigenvalue shifts at quadratic order. This confirms that the factorization Z_tot = Z_grav^(obs) Z_top survives the deformation. revision: yes

  2. Referee: [introduction and classification section] The observer-spectator classification (following Maldacena's proposal): the distinction between gravitational observers and topological spectators is introduced within the same path-integral framework used to derive the factorization. This creates a moderate risk that the split is tailored to produce the desired block-diagonal structure rather than being independently derived from the saddle-point equations.

    Authors: The split is physically motivated by whether the infrared effective action depends on the metric at the saddle. Nevertheless, to remove any appearance of circularity we will restructure the introduction: we first derive the observer-spectator distinction directly from the saddle-point equations and the requirement that only metric-dependent sectors can source gravitational fluctuations. Only after this independent classification do we proceed to the path-integral factorization. This ordering makes the distinction logically prior to the quadratic calculation. revision: partial

Circularity Check

1 steps flagged

Factorization for metric-independent sectors is tautological by definition

specific steps
  1. self definitional [Abstract]
    "any sector whose infrared effective action is metric independent at the de Sitter saddle factorizes in the path integral, Ztot = Zgrav^(obs) Ztop, so the imaginary phase persists regardless of the sector's information-processing capabilities"

    If the effective action is defined to be metric-independent, its path-integral contribution is necessarily a metric-independent factor by the structure of the integral; the claimed factorization Ztot = Zgrav Ztop is therefore true by construction once the sector is labeled 'topological spectator,' with no further dynamical input required.

full rationale

The paper's central claim states that any IR sector with metric-independent effective action at the de Sitter saddle factorizes exactly as Ztot = Zgrav^(obs) Ztop at quadratic semiclassical order, so the imaginary phase persists. This factorization follows immediately from the definition of metric independence in the path integral: the spectator sector's contribution is independent of the metric by construction and pulls out as a constant multiplier. The gravitational-observer vs. topological-spectator distinction is introduced within the same framework specifically to isolate this case, making the result self-definitional rather than an independent derivation. The quadratic approximation and contour issues raised by the skeptic are correctness concerns, not circularity, but the load-bearing step reduces directly to the input classification without additional content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claim rests on the semiclassical quadratic approximation and the newly introduced distinction between gravitational observers and topological spectators.

axioms (1)
  • domain assumption Quadratic semiclassical expansion around the de Sitter saddle is sufficient to capture the phase factorization
    Invoked to obtain Ztot = Zgrav^(obs) Ztop for metric-independent sectors.
invented entities (2)
  • gravitational observers no independent evidence
    purpose: Observers whose fluctuations can cancel the imaginary phase by sharing negative conformal modes
    Introduced to identify the special class that removes the phase.
  • topological spectators no independent evidence
    purpose: Sectors whose metric-independent IR action causes factorization and preserves the phase
    Defined to capture sectors that cannot resolve the phase.

pith-pipeline@v0.9.0 · 5466 in / 1356 out tokens · 41760 ms · 2026-05-15T09:18:47.529463+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

27 extracted references · 27 canonical work pages · 3 internal anchors

  1. [1]

    G. W. Gibbons and S. W. Hawking, Phys. Rev. D15, 2738 (1977)

    work page 1977

  2. [2]

    G. W. Gibbons, S. W. Hawking, and M. J. Perry, Nucl. Phys. B138, 141 (1978)

    work page 1978

  3. [3]

    Polchinski, Phys

    J. Polchinski, Phys. Lett. B219, 251 (1989)

    work page 1989

  4. [4]

    Real observers solving imaginary problems,

    J. Maldacena, arXiv e-prints (2024), arXiv:2412.14014 [hep-th], arXiv:2412.14014 [hep-th]

    work page arXiv 2024

  5. [5]

    V. Ivo, J. Maldacena, and Z. Sun, arXiv e-prints (2025), arXiv:2504.00920 [hep-th], arXiv:2504.00920 [hep-th]

    work page arXiv 2025

  6. [6]

    The phase of the gravitational path integral,

    X. Shi and G. J. Turiaci, JHEP2025, 047 (2025), arXiv:2504.00900 [hep-th]

    work page arXiv 2025

  7. [7]

    Y. Chen, D. Stanford, H. Tang, and Z. Yang, arXiv e-prints (2025), arXiv:2511.01400 [hep-th], arXiv:2511.01400 [hep-th]

    work page arXiv 2025

  8. [8]

    Y. T. A. Law, JHEP2021, 213 (2021), arXiv:2012.06345 [hep-th]

    work page arXiv 2021

  9. [9]

    Quantum de Sitter horizon entropy from quasicanonical bulk, edge, sphere and topological string partition functions,

    D. Anninos, F. Denef, Y. T. A. Law, and Z. Sun, JHEP 2022, 088 (2022), arXiv:2009.12464 [hep-th]

    work page arXiv 2022

  10. [10]

    Harlow, M

    D. Harlow, M. Usatyuk, and Y. Zhao, JHEP2026, 108 (2026), arXiv:2501.02359 [hep-th]

    work page arXiv 2026

  11. [11]

    H. Z. V. Chen, JHEP2025, 139 (2025), arXiv:2505.15892 [hep-th]

    work page arXiv 2025

  12. [12]

    Chen and J

    B. Chen and J. Xu, arXiv e-prints (2025), arXiv:2511.00622 [hep-th], arXiv:2511.00622 [hep-th]

    work page arXiv 2025

  13. [13]

    Akers, G

    C. Akers, G. Bueller, O. DeWolfe, K. Higginbotham, J. Reinking, and R. Rodriguez, JHEP2025, 201 (2025), arXiv:2503.09681 [hep-th]

    work page arXiv 2025

  14. [14]

    An Algebra of Observables for de Sitter Space

    V. Chandrasekaran, R. Longo, G. Penington, and E. Witten, JHEP2023, 082 (2023), arXiv:2206.10780 [hep-th]

    work page internal anchor Pith review arXiv 2023

  15. [15]

    S. E. Aguilar-Gutierrez, E. Bahiru, and R. Esp´ ındola, JHEP03, 008 (2024), arXiv:2307.04233 [hep-th]

    work page arXiv 2024

  16. [16]

    Esp´ ındola and S

    R. Esp´ ındola and S. Miyashita, (2025), arXiv:2510.18901 [hep-th]

    work page arXiv 2025

  17. [17]

    G. T. Horowitz, D. Marolf, and J. E. Santos, JHEP 2025, 031 (2025), arXiv:2505.13600 [hep-th]

    work page arXiv 2025

  18. [18]

    A. F. Ali, Symmetry17, 888 (2025)

    work page 2025

  19. [19]

    Ali and A

    M. Ali and A. F. Ali, EPL151, 39002 (2025), arXiv:2507.22096 [gr-qc]

    work page arXiv 2025

  20. [20]

    A. F. Ali, Annals Phys.487, 170364 (2026), arXiv:2601.23146 [hep-th]

    work page arXiv 2026

  21. [21]

    Vilenkin and E

    A. Vilenkin and E. P. S. Shellard,Cosmic Strings and Other Topological Defects(Cambridge University Press, Cambridge, 1994)

    work page 1994

  22. [22]

    Wen and Q

    X.-G. Wen and Q. Niu, Phys. Rev. B41, 9377 (1990)

    work page 1990

  23. [23]

    W. H. Zurek, Nature317, 505 (1985)

    work page 1985

  24. [24]

    D. N. Page and W. K. Wootters, Phys. Rev. D27, 2885 (1983)

    work page 1983

  25. [25]

    Von Neumann Algebra Automorphisms and Time-Thermodynamics Relation in General Covariant Quantum Theories

    A. Connes and C. Rovelli, Class. Quantum Grav.11, 2899 (1994), arXiv:gr-qc/9406019 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  26. [26]

    A. Y. Kitaev, Ann. Phys.303, 2 (2003), arXiv:quant- ph/9707021 [quant-ph]

    work page arXiv 2003

  27. [27]

    X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Phys. Rev. B 78, 195424 (2008), arXiv:0802.3537 [cond-mat.mes-hall]

    work page internal anchor Pith review Pith/arXiv arXiv 2008