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 →
Cosmological Cutting Rules from Flat-Space Unitarity via Dressing
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
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.
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
- 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.
Referee Report
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)
- [§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
- [§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.
- [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)
- [§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.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.
- [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.
- [§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
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
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).
- 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)).
- standard math Flat-space optical theorem / unitarity, −i(T−T†)=TT† with Cutkosky deltas (eq. 2.4).
- ad hoc to paper Analytic continuation s→is with contour closed in the upper half plane when evaluating δ(p^2+s^2).
- standard math Split representation of the bulk-to-bulk propagator (3.1) from shadow formalism.
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.
Forward citations
Cited by 6 Pith papers
-
Massive Cosmological Correlators from Flat Space: a Laplace-Space Approach
A Laplace-space representation converts massive single-exchange cosmological correlators in de Sitter into a rapidly convergent series derived from flat-space integrals.
-
Laplace Space for Cosmological Correlators
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...
-
From Cosmological Cuts to Yang--Mills Wavefunctions in de Sitter Space
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...
-
From Cosmological Cuts to Yang--Mills Wavefunctions in de Sitter Space
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.
-
Unitarity, Recursion and Soft Limits in (EA)dS through Dressing
Cosmological correlators in (E)AdS are represented as dressed flat-space amplitudes, from which unitarity rules, recursion relations, and soft limits are derived.
-
Unitarity, Recursion and Soft Limits in (EA)dS through Dressing
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
-
[1]
M.E. Peskin and D.V. Schroeder,An Introduction to quantum field theory, Addison-Wesley, Reading, USA (1995), 10.1201/9780429503559
-
[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)
2014
-
[3]
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]
Pith/arXiv arXiv 2013
-
[4]
S. Melville and E. Pajer,Cosmological Cutting Rules,JHEP05(2021) 249 [2103.09832]. – 14 –
Pith/arXiv arXiv 2021
-
[5]
H. Goodhew, S. Jazayeri and E. Pajer,The Cosmological Optical Theorem,JCAP04(2021) 021 [2009.02898]
Pith/arXiv arXiv 2021
-
[6]
S. Agui Salcedo and S. Melville,The cosmological tree theorem,JHEP12(2023) 076 [2308.00680]
Pith/arXiv arXiv 2023
-
[7]
H. Goodhew, S. Jazayeri, M.H.G. Lee and E. Pajer,Cutting cosmological correlators,JCAP 08(2021) 003 [2104.06587]
Pith/arXiv arXiv 2021
-
[8]
S. Das, D. Karan, B. Khatun and N. Kundu,A single-cut discontinuity for cosmological correlators from unitarity and analyticity,2512.20720
-
[9]
F. Colip ´ ı-Marchant, G. Marin, G.A. Palma and F. Rojas,Schwinger-Keldysh Cosmological Cutting Rules,2512.22652
-
[10]
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]
Pith/arXiv arXiv 2024
-
[11]
C. Chowdhury, A. Lipstein, J. Marshall, J. Mei and I. Sachs,Cosmological Dressing Rules, 2503.10598
-
[12]
Cutkosky,Singularities and discontinuities of Feynman amplitudes,J
R.E. Cutkosky,Singularities and discontinuities of Feynman amplitudes,J. Math. Phys.1 (1960) 429
1960
-
[13]
C. Sleight and M. Taronna,From dS to AdS and back,JHEP12(2021) 074 [2109.02725]
Pith/arXiv arXiv 2021
-
[14]
C. Chowdhury, A. Lipstein, J. Mei, I. Sachs and P. Vanhove,The subtle simplicity of cosmological correlators,JHEP03(2025) 007 [2312.13803]
Pith/arXiv arXiv 2025
-
[15]
M. Abhishek, C. Sleight and M. Taronna,Cosmological Correlators in Gauge Theory and Gravity from EAdS,2509.09536
-
[16]
C. Chowdhury, A. Lipstein, J. Marshall and A.J. Zhang,On in-in correlators for spinning theories and their shadow formulation,2512.14694
-
[17]
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]
Pith/arXiv arXiv 2014
-
[18]
Raju,Recursion Relations for AdS/CFT Correlators,Phys
S. Raju,Recursion Relations for AdS/CFT Correlators,Phys. Rev. D83(2011) 126002 [1102.4724]
Pith/arXiv arXiv 2011
-
[19]
L. Di Pietro, V. Gorbenko and S. Komatsu,Analyticity and unitarity for cosmological correlators,JHEP03(2022) 023 [2108.01695]
arXiv 2022
-
[20]
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]
Pith/arXiv arXiv 2024
-
[21]
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]
Pith/arXiv arXiv 2021
-
[22]
C. Armstrong, A.E. Lipstein and J. Mei,Color/kinematics duality in AdS 4,JHEP02(2021) 194 [2012.02059]
Pith/arXiv arXiv 2021
- [23]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.