Pith. sign in

REVIEW 3 major objections 4 minor 6 cited by

Flat-space unitarity, after analytic continuation and the cosmological dressing map, directly produces the known cutting rules for de Sitter correlators.

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 →

T0 review · deepseek-v4-flash

2026-08-03 10:44 UTC pith:3SZIQJEC

load-bearing objection A clean conceptual route from flat-space unitarity to known cosmological cutting rules, but the load-bearing contour step is a prescription rather than a derivation. the 3 major comments →

arxiv 2601.08917 v2 pith:3SZIQJEC submitted 2026-01-13 hep-th

Cosmological Cutting Rules from Flat-Space Unitarity via Dressing

classification hep-th
keywords cosmological cutting rulesoptical theoremunitarity in de Sitterdressing rulesEAdS correlatorsCutkosky rulesconformally coupled scalar
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 paper claims that the familiar flat-space statement of unitarity — the optical theorem −i(T−T†)=TT† and its Cutkosky cutting rules — can be lifted to de Sitter/Euclidean anti-de Sitter space by a two-step recipe: analytically continue the energy variable s→is, then apply the recently developed cosmological dressing rules that turn flat-space Feynman integrands into dS/EAdS correlators. In this dressed representation, the on-shell delta functions of flat-space cuts map directly to the 'Disc' operations in the exchanged energy variable that define the known cosmological cutting rules. Concretely, the paper derives equations (4.12), (4.23) and (4.26) for tree-level and one-loop correlators of conformally coupled scalars, recovering results previously obtained via the in-in formalism. The point is not just to re-derive these relations but to show they have a diagram-by-diagram origin in flat-space unitarity, which should make loop computations in cosmology more tractable and connect them to flat-space amplitude technology.

Core claim

The central claim is that the flat-space statement −i(T−T†)=TT†, after analytic continuation s→is and application of the cosmological dressing rules, implies the cosmological cutting rules. The Cutkosky delta functions δ(p²−s²) become δ(p²+s²), and evaluating these deltas with the contour closed in the upper half plane converts them into the Disc operations (f(s)−f(−s) or f(s)+f(−s)) acting on the exchanged energy variable. The paper demonstrates this for the tree-level s-channel exchange in φ³ theory, for the one-loop four-point function in φ⁴ theory, and for the one-loop two-point function in φ³ theory, recovering equations (4.12), (4.23) and (4.26) of the literature. The auxiliary combina

What carries the argument

The load-bearing mechanism is the dressing map: flat-space Feynman propagators 1/(p²+s²) are replaced by EAdS kernels dressed with sin(pz) or cos(pz) factors for the (+/−) exchange channels. Combined with the analytic continuation s→is, the equality of the optical theorem is preserved by the map, and the on-shell delta functions that enforce the cuts become the Disc operations. The identity 1/(p²+s²+iε) − 1/(p²+s²−iε) = −2πiδ(p²+s²) is what converts flat-space unitarity into the discontinuity relations.

Load-bearing premise

The derivation rests on the dressing rules holding at loop level for the (−−) and mixed-exchange sectors; in particular, the paper asserts without proof that the vertex ε factors cancel under dimensional regularization, and if that cancellation fails the uplifted optical theorem will not match the cutting rules.

What would settle it

Compute a one-loop two-point function for a massive (non-conformally coupled) scalar directly in the in-in formalism and compare with the dressed flat-space cut; if the dressing map for massive scalars does not exist, the equality should break. Alternatively, carry out the dimensional regularization of the z-integrals in equation (2.14) explicitly and check whether the ε factors indeed cancel.

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

If this is right

  • The known cosmological cutting rules for two-site correlators follow directly from flat-space unitarity, giving them a transparent diagram-by-diagram derivation.
  • The derivation explains why effective intermediate states in correlator-level cutting rules are auxiliary combinations rather than the correlators themselves: these combinations are what the dressed cut produces.
  • The dictionary provides a route to import flat-space amplitude tools — generalized cuts, recursion, dispersion relations — into dS/EAdS physics.
  • The paper proposes a general cutting rule (4.28) for arbitrary two-site one-loop diagrams, with the φ⁴ and φ³ results as special cases.

Where Pith is reading between the lines

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

  • If the dressing map extends beyond conformally coupled scalars to spinning fields, as the paper suggests, the same argument would give cutting rules for graviton and gauge-field correlators.
  • The method offers a computational shortcut: derive new loop discontinuities by dressing flat-space cuts rather than by computing in-in integrals directly, with the in-in results serving as the benchmark.
  • The contour choice ('close in the upper half plane') is the delicate step; in more complex topologies, other poles might contribute and the simple delta-function-to-Disc dictionary could need refinement.
  • A testable extension would be to apply the uplifted optical theorem to a triangle (one-loop three-point) diagram and check whether the known triangle cutting rules emerge.

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 / 4 minor

Summary. The paper proposes a diagrammatic derivation of the dS/EAdS cosmological cutting rules by 'uplifting' the flat-space optical theorem. Starting from −i(T−T†)=TT†, the authors apply the analytic continuation s→is and use the dressing rules of [11] to convert flat-space Cutkosky delta functions into the Disc operations of [8]. They illustrate the dictionary on a tree-level ϕ^3 exchange, a one-loop ϕ^4 four-point function, and a one-loop ϕ^3 two-point function, obtaining the known identities (4.12), (4.23), and (4.26). A general two-site cutting rule is then conjectured. The paper is clearly written and the target identities are explicit.

Significance. If the uplift can be made fully rigorous, the paper would provide a transparent explanation of why cosmological cutting rules contain auxiliary combinations such as Disc and gDisc: they are what the dressed flat-space cut produces. This would be useful for organizing loop computations and for importing flat-space amplitude techniques into dS/EAdS. The worked examples are explicit and internally coherent, and the final agreement with independent in-in computations in [8] strongly suggests the dictionary is correct. However, the central mechanism is currently a formal prescription rather than a derivation: the Disc operation is defined via a discontinuity in s^2, so the 'unitarity→Disc' step is largely a rewriting, and the one-loop results depend on an unproved contour choice. No parameter-free predictions or machine-checked proofs are supplied; the value of the paper lies in its explanatory and organizational potential.

major comments (3)
  1. [§4.1, eqs. (4.7)–(4.9) and §4.2, eq. (4.19)] The step δ(p^2−s^2)→δ(p^2+s^2) followed by 'closing the contour in the upper half plane' is an independent prescription, not a consequence of flat-space unitarity. On the real p-line, δ(p^2+s^2) has no support; as a complex distribution it has two poles p=±is. Keeping only p=+is is a choice. At tree level the discarded root affects only the overall normalization for the sin/cos dressing factors, because these kernels are even under p→−p. But for the one-loop (++) integrand in (4.19), the kernel sin(p1z1)sin(p2z1) is odd under flipping a single p_i; summing the four sign combinations p_i=±i|l_i|, as the symmetric identity δ(p^2+m^2)=[δ(p−im)+δ(p+im)]/(2im) would require, gives zero. Thus (4.19) is false unless one imposes the upper-half-plane rule for every p_i. This rule is exactly what defines the Disc operation of §3, so the claimed derivation 'flat-space unitarity + dressing ⇒ cutting
  2. [§4.1, eqs. (4.9) and (4.21)] The displayed equalities are not exact as written. At p=is, 1/(2p)=−i/(2s) and sin(isz)=isinh(sz); carrying out the p-integral in (4.9) introduces an extra factor of i/4 relative to the RHS, before accounting for the (2π)^4 factors already dropped in (4.5). Similar numerical factors affect (4.21). If all identities are intended up to overall normalization, this should be stated globally, and the comparison with [8] should specify the normalization convention. As written, the equations do not follow literally from the preceding expressions.
  3. [Footnote in §2.3, p.6] The assertion that the suppressed ε factors in the vertices cancel when the z_i integrals are performed with dimensional regularization is load-bearing for the dressing rules (2.12)–(2.14). The relative signs among the allowed exchanges determine the final combinations in (4.23) and (4.26), but no proof or reference for this cancellation is provided. This should be demonstrated explicitly, or a citation should be supplied where the cancellation is established.
minor comments (4)
  1. [§2.2, §3, §4.1] The notation for the two discontinuity operations is inconsistent: (2.9) uses Disc and \widetilde{Disc}, while (3.12) and (4.11)–(4.12) use Disc for both, with the second operation introduced only verbally. Moreover, the RHS of (3.12) appears to have two identical terms, whereas the intended expression is Disc×Disc − \widetilde{Disc}×\widetilde{Disc}. Please fix.
  2. [§2.3, eq. (2.14)] Eq. (2.14) is ambiguous: I(s) contains the dp1 dp2 integrals, but the p_i in the dressing factors must be inside those integrals. As written, the factors sin(p1z1)sin(p2z1) appear outside the integral. Please rewrite the expression to make the integration domains clear.
  3. [Throughout] There are several typographical errors: 'fat space' (p.2), 'analouge' (p.2), 'bthe' (p.7), 'studing' (p.6), 'T ree' (p.4). A careful proofread is needed.
  4. [§2.2, eq. (2.7)] The quantity B^(2)({k_L,k_R};p) is used before it is defined; the definition is only implicit via the reference to [8]. A brief definition would make the paper more self-contained.

Circularity Check

0 steps flagged

No significant circularity: the paper presents a transparent dictionary from flat-space Cutkosky deltas to dS Disc operations, and the target cutting rules are checked against independent results.

full rationale

The central chain is a transparent dictionary rather than a circular reduction. Flat-space unitarity (4.1)-(4.6) supplies the on-shell delta δ(p^2−s^2); the declared analytic continuation s→is turns it into δ(p^2+s^2), whose upper-half-plane evaluation is exactly the Disc operation defined in (3.2)-(3.4). The paper states this identification explicitly ('we have interpreted the delta function as the Disc operation...'), so it is not a hidden assumption of the target. The lower pole is not silently discarded: the (+) and (−) dressing exchanges generate both Disc and Discbar combinations, yielding the e^{sz}−e^{-sz} and e^{sz}+e^{-sz} factors that combine into (4.12). The one-loop identities (4.19)-(4.26) repeat the same dictionary with no fitted parameters, and the final results are checked term-by-term against the independent in-in computation of [8]. The dressing rules are imported from prior independent work [10,11] with no author overlap with the present paper. The only caveats—the ε-factor cancellation noted in the footnote on p.6 and the contour convention—are technical assumptions or calculational conventions, not circular reductions. No equation in the paper is equivalent to its own input by construction, so no significant circularity is found.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The derivation rests on two external pillars: the dressing rules of [11] and the known cutting rules of [8] as benchmark. No new parameters, particles, or forces are introduced; the hard content sits in the imported dressing map and the analytic-continuation/contour prescriptions.

axioms (5)
  • domain assumption Dressing rules of [11]: EAdS/dS correlators of conformally coupled scalars equal flat-space Feynman integrands with sin/cos dressing factors replacing propagator kernels (eqs. 2.10-2.14).
    Engine of the uplift; imported from [11]. The ε-suppressed vertex factors are asserted to cancel (footnote p.6).
  • domain assumption Equivalence of Disc (3.2), f(s^2+iε)-f(s^2-iε), with the dS discontinuities of [4]/[8] (shown for ν=1/2 and asserted generally via J_ν(ix) ∝ K_ν(x)∓K_ν(-x)).
    Used to match the paper's cut to the known in-in cutting rules; only verified concretely for conformal scalars.
  • standard math Flat-space optical theorem / unitarity, −i(T−T†)=TT† with Cutkosky deltas (eq. 2.4).
    Standard QFT input, cited to [1,2].
  • ad hoc to paper Analytic continuation s→is with contour closed in the upper half plane when evaluating δ(p^2+s^2).
    Contour choice selects the p=is root; the companion root p=−is must be handled to produce the f(s)−f(−s) structure. Justified only by a sentence after eq. (4.7).
  • standard math Split representation of the bulk-to-bulk propagator (3.1) from shadow formalism.
    Standard integral representation, cited to [18,19].

pith-pipeline@v1.3.0-alltime-deepseek · 12340 in / 18835 out tokens · 162790 ms · 2026-08-03T10:44:50.625936+00:00 · methodology

0 comments
read the original abstract

Using cosmological dressing rules, we uplift flat-space unitarity cuts to discontinuity relations for dS/EAdS observables. In this representation, Cutkosky delta functions map directly to "Disc" operations in the exchanged energy variable. This provides a transparent diagram by diagram origin of cosmological cutting rules. We illustrate this with explicit examples at tree level and one loop for conformally coupled scalars.

discussion (0)

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

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Massive Cosmological Correlators from Flat Space: a Laplace-Space Approach

    hep-th 2026-06 unverdicted novelty 8.0

    A Laplace-space representation converts massive single-exchange cosmological correlators in de Sitter into a rapidly convergent series derived from flat-space integrals.

  2. Laplace Space for Cosmological Correlators

    hep-th 2026-06 unverdicted novelty 7.0

    Laplace transform converts cosmological correlator diagrams into flat-space integrals against kernels, yielding a closed-form rapidly convergent series for the massive single-exchange case valid across the full kinema...

  3. From Cosmological Cuts to Yang--Mills Wavefunctions in de Sitter Space

    hep-th 2026-06 accept novelty 6.5

    Tree-level Yang-Mills de Sitter wavefunctions through six points are reconstructed from cosmological cuts into cut-detectable gluings plus a current-conservation completion, matching Feynman rules and suggesting an al...

  4. From Cosmological Cuts to Yang--Mills Wavefunctions in de Sitter Space

    hep-th 2026-06 unverdicted novelty 6.0

    Reconstructs four- to six-gluon wavefunctions in de Sitter space from cosmological cuts, separating cut-detectable parts from completions fixed by current conservation and flat-space limit, matching Feynman rules.

  5. Unitarity, Recursion and Soft Limits in (EA)dS through Dressing

    hep-th 2026-06 unverdicted novelty 6.0

    Cosmological correlators in (E)AdS are represented as dressed flat-space amplitudes, from which unitarity rules, recursion relations, and soft limits are derived.

  6. Unitarity, Recursion and Soft Limits in (EA)dS through Dressing

    hep-th 2026-06 conditional novelty 6.0

    Structural properties of (E)AdS cosmological correlators—cutting rules, tree theorems, BCFW recursion, and soft limits—are obtained by dressing flat-space amplitudes with auxiliary propagators.

Reference graph

Works this paper leans on

23 extracted references · 14 linked inside Pith · cited by 4 Pith papers

  1. [1]

    Peskin and D.V

    M.E. Peskin and D.V. Schroeder,An Introduction to quantum field theory, Addison-Wesley, Reading, USA (1995), 10.1201/9780429503559

  2. [2]

    Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press (3, 2014)

    M.D. Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press (3, 2014)

  3. [3]

    Marolf, I.A

    D. Marolf, I.A. Morrison and M. Srednicki,Perturbative S-matrix for massive scalar fields in global de Sitter space,Class. Quant. Grav.30(2013) 155023 [1209.6039]

  4. [4]

    Melville and E

    S. Melville and E. Pajer,Cosmological Cutting Rules,JHEP05(2021) 249 [2103.09832]. – 14 –

  5. [5]

    Goodhew, S

    H. Goodhew, S. Jazayeri and E. Pajer,The Cosmological Optical Theorem,JCAP04(2021) 021 [2009.02898]

  6. [6]

    Agui Salcedo and S

    S. Agui Salcedo and S. Melville,The cosmological tree theorem,JHEP12(2023) 076 [2308.00680]

  7. [7]

    Goodhew, S

    H. Goodhew, S. Jazayeri, M.H.G. Lee and E. Pajer,Cutting cosmological correlators,JCAP 08(2021) 003 [2104.06587]

  8. [8]

    S. Das, D. Karan, B. Khatun and N. Kundu,A single-cut discontinuity for cosmological correlators from unitarity and analyticity,2512.20720

  9. [9]

    Colip ´ ı-Marchant, G

    F. Colip ´ ı-Marchant, G. Marin, G.A. Palma and F. Rojas,Schwinger-Keldysh Cosmological Cutting Rules,2512.22652

  10. [10]

    Chowdhury, P

    C. Chowdhury, P. Chowdhury, R.N. Moga and K. Singh,Loops, recursions, and soft limits for fermionic correlators in (A)dS,JHEP10(2024) 202 [2408.00074]

  11. [11]

    Chowdhury, A

    C. Chowdhury, A. Lipstein, J. Marshall, J. Mei and I. Sachs,Cosmological Dressing Rules, 2503.10598

  12. [12]

    Cutkosky,Singularities and discontinuities of Feynman amplitudes,J

    R.E. Cutkosky,Singularities and discontinuities of Feynman amplitudes,J. Math. Phys.1 (1960) 429

  13. [13]

    Sleight and M

    C. Sleight and M. Taronna,From dS to AdS and back,JHEP12(2021) 074 [2109.02725]

  14. [14]

    Chowdhury, A

    C. Chowdhury, A. Lipstein, J. Mei, I. Sachs and P. Vanhove,The subtle simplicity of cosmological correlators,JHEP03(2025) 007 [2312.13803]

  15. [15]

    Abhishek, C

    M. Abhishek, C. Sleight and M. Taronna,Cosmological Correlators in Gauge Theory and Gravity from EAdS,2509.09536

  16. [16]

    Chowdhury, A

    C. Chowdhury, A. Lipstein, J. Marshall and A.J. Zhang,On in-in correlators for spinning theories and their shadow formulation,2512.14694

  17. [17]

    Ghosh, N

    A. Ghosh, N. Kundu, S. Raju and S.P. Trivedi,Conformal Invariance and the Four Point Scalar Correlator in Slow-Roll Inflation,JHEP07(2014) 011 [1401.1426]

  18. [18]

    Raju,Recursion Relations for AdS/CFT Correlators,Phys

    S. Raju,Recursion Relations for AdS/CFT Correlators,Phys. Rev. D83(2011) 126002 [1102.4724]

  19. [19]

    Di Pietro, V

    L. Di Pietro, V. Gorbenko and S. Komatsu,Analyticity and unitarity for cosmological correlators,JHEP03(2022) 023 [2108.01695]

  20. [20]

    Baumann, D

    D. Baumann, D. Green, A. Joyce, E. Pajer, G.L. Pimentel, C. Sleight et al.,Snowmass White Paper: The Cosmological Bootstrap,SciPost Phys. Comm. Rep.2024(2024) 1 [2203.08121]

  21. [21]

    Adamo, J.J.M

    T. Adamo, J.J.M. Carrasco, M. Carrillo-Gonz´ alez, M. Chiodaroli, H. Elvang, H. Johansson et al.,Snowmass White Paper: the Double Copy and its Applications, inSnowmass 2021, 4, 2022 [2204.06547]

  22. [22]

    Armstrong, A.E

    C. Armstrong, A.E. Lipstein and J. Mei,Color/kinematics duality in AdS 4,JHEP02(2021) 194 [2012.02059]

  23. [23]

    Ansari, S

    A. Ansari, S. Jain and D.K. S,AdS 4 Boundary Wightman functions in Twistor Space: Factorization, Conformal blocks and a Double Copy,2512.04172. – 15 –