Skip to content

Cosmological Analyticity and Bootstrap

Cosmological bootstrap methods reconstruct parts of late-time quantum-field-theory data from symmetry, singularities, factorization, and unitarity. Their force comes from using those constraints together. Their limit is equally important: a wavefunction coefficient is not an in-in correlator, Ward identities admit local solutions, cut data miss subtraction terms, and a flat-space residue emerges only under declared state, locality, and analytic-continuation hypotheses.

Helpful background. Momentum-space conformal Ward identities supply the symmetry operators. Cosmological correlators on the in-in contour fix the observable, Cutkosky rules supply the flat-space comparison, and celestial and cosmological handoffs distinguish boundary analytic objects from scattering amplitudes.

Analytic objects and the order of inference

Section titled “Analytic objects and the order of inference”

At a late-time cutoff η0\eta_0, write a pure-state wavefunctional schematically as

Ψη0[φ]=exp ⁣[12kψ2(k)φkφkn31n!k1kn(2π)3δ3 ⁣(aka)ψnaφka].\Psi_{\eta_0}[\varphi] =\exp\!\left[ -\frac12\int_{\mathbf k}\psi_2(k)\varphi_{\mathbf k}\varphi_{-\mathbf k} -\sum_{n\geq3}\frac1{n!} \int_{\mathbf k_1\cdots\mathbf k_n} (2\pi)^3\delta^3\!\left(\sum_a\mathbf k_a\right) \psi_n\,\prod_a\varphi_{\mathbf k_a} \right].

The coefficients ψn\psi_n depend on the field normalization, cutoff, state, branch prescription, and local boundary counterterms. Equal-time in-in correlators follow from the probability weight ΨΨ\Psi\Psi^\ast—or from the diagonal of a density matrix—not from ψn\psi_n alone. For the Gaussian term,

φkφk=(2π)3δ3(k+k)12Reψ2(k).\langle\varphi_{\mathbf k}\varphi_{\mathbf k'}\rangle =(2\pi)^3\delta^3(\mathbf k+\mathbf k') \frac1{2\,\operatorname{Re}\psi_2(k)}.

At leading order, connected higher correlators involve 2Reψn2\operatorname{Re}\psi_n together with inverse quadratic kernels and lower-order contractions. Purely imaginary local phases can change ψn\psi_n while leaving the equal-time probability unchanged.

The safe order is:

  1. define the state, branch, cutoff, field basis, and analytic object;
  2. impose the relevant exact or softly broken Ward identities;
  3. construct contact and exchange seeds in that convention;
  4. identify total- and partial-energy singularities and their sheets;
  5. apply state-appropriate factorization and cutting identities;
  6. quotient local boundary terms and field-redefinition equivalence;
  7. state growth bounds and subtractions before writing a dispersion relation;
  8. reconstruct only modulo the surviving homogeneous and local data.

Arkani-Hamed, Baumann, Lee, and Pimentel demonstrate how symmetry and singularity data can determine broad classes of tree-level inflationary correlators under Bunch–Davies, locality, and analytic assumptions (Arkani-Hamed et al. 2020, §§ 2–5). Those results motivate the method; they do not make every cosmological boundary object uniquely reconstructible.

The structure map shows this order. Inspect the separate paths from a wavefunction coefficient to an in-in correlator and from a total-energy singularity to a flat-space amplitude.

Wavefunction coefficients and in-in correlators are related through the state probability measure, while Ward identities, seeds, singularities, cuts, locality quotients, and subtractions constrain reconstruction in a fixed order

The cosmological analytic-data chain from object definition to qualified reconstruction. The diagram is schematic and not to scale; branch, state, normalization, contact, and subtraction data accompany every arrow.

The failure map supplies stopping rules. Inspect where direct coefficient–correlator identification, unqualified flat-space factorization, state-independent cuts, and subtraction-free positivity claims fail.

A cosmological bootstrap claim is downgraded when it identifies inequivalent objects, omits state or branch data, treats Ward identities as unique, ignores contacts or field redefinitions, or invokes positivity without boundedness and subtractions

Failure conditions for cosmological analyticity and bootstrap arguments. The diagram is schematic and not to scale; a failed later inference leaves earlier, correctly defined analytic data intact.

OrderPage and task
1Wavefunction and correlator object dictionary: fix normalization, branches, state, cutoff, and the probability inversion.
2Cosmological symmetry and Ward identities: solve exact and softly broken momentum-space constraints while retaining homogeneous solutions.
3Contact, exchange, and seed solutions: build explicit tree-level kernels and normalize their boundary behavior.
4Total-energy and factorization singularities: separate the flat-space total-energy residue from partial-energy exchange data and analytic contacts.
5Cosmological cutting identities: formulate perturbative unitarity for a specified state, contour, and pair of wavefunction branches.
6Locality and field-redefinition equivalence: quotient integration-by-parts, equation-of-motion, boundary, and local contact freedom.
7Dispersion relations and qualified positivity: declare analytic domains, growth bounds, infrared treatment, and subtraction constants.
8Reconstruction from singularity data: combine constraints and enumerate the remaining contact basis.
9Loops, initial states, validity, and handoffs: test which tree-level standard-state statements survive broader physics.

This is the chapter’s canonical comparison table. “Determines” always means within the hypotheses shown; local and contact data are retained unless an additional condition fixes them.

Object or constraintNormalization, continuation, and stateSymmetry or analytic datumSingular or cut informationLocal/contact and field-basis freedomLicensed resultDecisive checkFailure or downgrade
Wavefunction coefficient ψn\psi_nField basis, late cutoff, ket branch, initial state, countertermsAnalytic coefficient of logΨ\log\PsiMay contain total- and partial-energy singularitiesImaginary local phases and boundary counterterms move analytic piecesA branch-dependent boundary kernelReconstruct the Gaussian probability covarianceCalling ψn\psi_n an observable correlator
Equal-time in-in correlatorDensity matrix or ΨΨ\Psi\Psi^\ast, both branches, operator normalizationReal probability moments and connected cumulantsInherits combinations of coefficient singularitiesComposite-operator contacts and field redefinitions remainObservable for the prepared state and slicingDirect in-in calculation and positivity of covarianceUsing one branch or omitting the state measure
Ward-identity solutionExact de Sitter or declared slow-roll source, weights, helicitiesDilation, rotation, and special-conformal equationsConstrains momentum dependenceHomogeneous and anomalous local solutions remainSymmetry-compatible solution spaceApply every Ward operator including contact sourcesClaiming uniqueness from symmetry alone
Contact seedVertex, derivative count, boundary prescription, statePolynomial or rational energy dependenceTotal-energy behavior without exchange channel poleBasis changes and boundary terms are substantialNormalized local interaction representativeDirect time integral and soft/large-momentum limitsTreating one seed basis as invariant physics
Exchange seedInternal mass/spin, propagator, branch and boundary conditionsCasimir or differential equation plus sourcePartial-energy poles or branch points and factorized residuesAdded contact solutions do not change nonlocal exchange dataNonlocal channel data modulo contactsCompare direct integral, differential equation, and residueIgnoring other sheets or induced contacts
Total-energy singularityBunch–Davies-type analytic continuation, local tree interaction, external normalizationkT=aka0k_T=\sum_a k_a\to0 on a specified complex sheetLeading residue can encode a flat-space amplitudeAnalytic terms and some subleading poles are convention dependentFlat-space residue under stated locality and state hypothesesMatch coupling, polarization, powers, and continuation phaseCalling every kTk_T feature an S-matrix element
Cosmological cutUnitary time evolution, Hermitian action, specified density matrix and branch conjugationDiscontinuity or branch relationProducts of lower-point data with state-dependent weightsBoundary and initial-state terms may add cuts or interferencePerturbative unitarity identity for that objectExplicit two-branch exchange calculationImporting a Cutkosky rule unchanged
Locality quotientDerivative expansion and declared boundary conditionsLarge-energy and spurious-pole cancellation testsNonlocal residues preservedIntegration by parts, equations of motion, local redefinitions, contactsEquivalence class of bulk interactionsCompare on-shell nonlocal data and observablesUsing a contact coefficient as a field-basis invariant
Dispersion relationAnalytic domain, boundedness, contour at infinity, infrared regulator, NN subtractionsDiscontinuity along declared cutsReconstructs nonlocal part from spectral dataPolynomial of degree at most N1N-1 remainsSubtracted representation, sometimes sign informationVary subtraction point and include massless exchangeAutomatic flat-space positivity without hypotheses
ReconstructionAll rows above plus a bounded local operator basisWard data, residues, cuts, locality testsFixes nonlocal singular part channel by channelFinite contact or subtraction basis remainsSolution class or unique result only with extra inputConstruct two solutions with identical nonlocal dataSilently selecting one contact completion
Loop or excited-state extensionRenormalization scheme, contour, density matrix, infrared prescriptionLogs, anomalous scaling, folded singularities, secular termsMultiparticle cuts and state-dependent interferenceNew counterterms and boundary operators enterOrder-by-order controlled extensionSecond formalism, regulator, and standard-state limitPromoting a tree-level Bunch–Davies identity to a universal theorem

A useful reconstruction statement has the form

ψn=ψnnonlocal+α=1Nloccαψn,αlocal,\psi_n =\psi_n^{\mathrm{nonlocal}} +\sum_{\alpha=1}^{N_{\mathrm{loc}}} c_\alpha\,\psi_{n,\alpha}^{\mathrm{local}},

where the first term is fixed by declared residues, cuts, and boundary conditions, and the finite local basis is bounded by derivative order or an EFT power counting. The coefficients cαc_\alpha are not errors. They are Wilsonian data, boundary-scheme choices, or field-basis representatives until another observable or ultraviolet assumption fixes them.

Melville and Pajer derive cosmological cutting rules from perturbative unitarity for standard-state wavefunction coefficients (Melville and Pajer 2021, §§ 2–4). Maldacena’s inflationary three-point calculation demonstrates both the physical information in nonlocal shapes and the local terms moved by nonlinear field redefinitions (Maldacena 2003, §§ 3–4).

  • Arkani-Hamed, N., D. Baumann, H. Lee, and G. L. Pimentel. “The Cosmological Bootstrap: Inflationary Correlators from Symmetries and Singularities.” Journal of High Energy Physics 2020, no. 04 (2020): 105. DOI. Open PDF.
  • Maldacena, J. “Non-Gaussian Features of Primordial Fluctuations in Single Field Inflationary Models.” Journal of High Energy Physics 2003, no. 05 (2003): 013. DOI. Open PDF.
  • Melville, S., and E. Pajer. “Cosmological Cutting Rules.” Journal of High Energy Physics 2021, no. 05 (2021): 249. DOI. Open PDF.