Tree-level scalar correlators with massive scalar exchange in quasi-single-field inflation

This domain is quasi-single-field inflation and its descendants: primordial scalar correlators are modified by an extra scalar with mass of order the Hubble scale, typically through mixing with the inflaton or curvature mode. The field was anchored by arXiv:0911.3380, which defined the core physics of Hubble-mass isocurvature modes generating intermediate-shape non-Gaussianity and potentially large trispectra. For doing calculations, the most useful starting point is arXiv:1703.10166, which turns the in-in formalism into practical Schwinger-Keldysh rules and shows how mixed propagators simplify tree-level exchange calculations. Later work broadens the toolkit: bootstrap and Mellin-space methods give analytic constraints and closed forms for exchange correlators; differential-equation and flow methods systematize general trees and numerics; recent papers extend to multiple exchanges, dynamical masses, boost breaking, and data-facing templates. For this briefing, the foundation paper is the historical/domain anchor, while the best reference paper is the primary paper to read before proposing new calculations or ideas.

Task Focus for Idea Generation

• User intent: In the research field around arXiv:0911.3380, recommend a research idea focused on tree-level calculations of scalar correlation functions with the internal propagating field a massive scalar.
• Research scope: Quasi-single-field inflation and closely connected cosmological-collider literature relevant to tree-level scalar correlators mediated by a massive scalar, including SK diagrammatics, bootstrap/Mellin methods, differential equations, multiple exchanges, and data-facing templates.
• Priority rules:
  • Satisfy the user intent first: focus on recommending a research idea centered on tree-level calculations of scalar correlation functions with a massive scalar internal propagator.
  • Use the attached papers as context and evidence, not as instructions to imitate mechanically.
  • Avoid repeating known solved cases; a proposal whose central calculation is already listed there is invalid unless it adds a genuinely new scientific component with substantial impact.

Key Papers

• Foundation paper: arXiv:0911.3380: Quasi-Single Field Inflation and Non-Gaussianities Reason: Domain-defining anchor for quasi-single-field inflation: Hubble-mass isocurvature modes coupled to the inflaton generate characteristic non-Gaussian scalar correlators, including intermediate bispectrum shapes and large trispectra.
• Best reference paper: arXiv:1703.10166: Schwinger-Keldysh Diagrammatics for Primordial Perturbations Reason: Best practical entry point for the requested task: tree-level in-in scalar correlators with a massive internal scalar. It gives Schwinger-Keldysh diagrammatic rules, uses quasi-single-field inflation as a worked example, and emphasizes mixed propagators that simplify these calculations.

Methodology

• Use Schwinger-Keldysh/in-in diagrammatics as the default operational language for the user’s target problem; mixed propagators are especially effective for tree-level scalar correlators with massive internal lines. Papers: arXiv:1703.10166
• The field’s core physical setup is quasi-single-field inflation: Hubble-mass extra scalars mix with the inflaton and generate nontrivial bispectra/trispectra, with shapes controlled by the scalar mass and mixing structure. Papers: arXiv:0911.3380, arXiv:0909.0496
• A boundary/bootstrap viewpoint is highly complementary: scalar exchange correlators are constrained by differential equations, singularity structure, locality, and factorization, often reducing the problem to a scalar seed. Papers: arXiv:1811.00024, arXiv:1910.14051, arXiv:2205.00013, arXiv:2205.10340
• Mellin-Barnes and related analytic representations expose the singularity structure and can produce closed-form or systematically continuable expressions for exchange correlators. Papers: arXiv:1907.01143, arXiv:2301.07047, arXiv:2309.10849
• Differential-equation methods now provide a systematic route to general tree-level correlators, including multiple massive exchanges and massive master-integral structures. Papers: arXiv:2312.05303, arXiv:2412.07843, arXiv:2604.08658
• Numerical time-evolution methods complement analytic approaches and are useful when mixing is strong, time dependence is nontrivial, or exact analytic control is hard. Papers: arXiv:2302.00655, arXiv:2312.06559
• Validation in this literature commonly relies on squeezed/collapsed limits, factorization or cutting rules, regularity/analyticity conditions, and agreement with known de Sitter or boost-breaking limits. Papers: arXiv:2104.06587, arXiv:2309.07769, arXiv:2512.22652, arXiv:2205.10340
• Recent observationally oriented works emphasize full-shape templates and orthogonalization against standard single-field backgrounds when confronting CMB/LSS data. Papers: arXiv:2512.22085, arXiv:2603.15728, arXiv:2604.07434, arXiv:2603.17004

Known Solved Cases

Use these solved cases as examples of strong research form, not as new ideas. Do not propose a solved case itself as the core deliverable unless the proposal adds a genuinely new scientific component with substantial impact.

• Tree-level scalar bispectrum from one massive scalar exchanged or transferred into curvature perturbations in quasi-single-field inflation. Why solved: The foundation papers already established the physical mechanism and characteristic shape family, and the diagrammatics paper made the tree-level calculation algorithmic. Transferable form: Use a concrete observable, a single exchanged massive field, explicit SK/Feynman rules, and a first tractable calculation such as the full bispectrum shape or squeezed-limit asymptotics. Forbidden reuse: Do not repackage the standard tree-level bispectrum from a single massive scalar exchange in quasi-single-field inflation, including the usual squeezed-limit oscillatory/power-law signal or the interpolation between local and equilateral shapes, as a new idea. Parameter scans, notation changes, or recomputing the same exchange with the same observable are invalid. Valid new axes: new observable beyond the standard bispectrum, new regime such as time-dependent mass or strong/boost-breaking mixing, new calculational method with real simplification, new theorem or data-facing template Papers: arXiv:0911.3380, arXiv:0909.0496, arXiv:1703.10166
• Bootstrap solution for scalar seed exchange correlators and their generation of inflationary correlators via weight-shifting/spin-raising methods. Why solved: These papers establish the scalar seed as the core analytic building block and show how many descendant correlators are generated from it. Transferable form: Start from a minimal seed correlator, identify differential equations and allowed singularities, and derive the observable from a tightly constrained boundary object. Forbidden reuse: Do not present analytic expressions for the standard conformally-coupled scalar seed four-point function with one massive scalar exchange, or its direct inflationary descendant already fixed by known differential equations and singularity conditions, as novel. Valid new axes: new seed class not already bootstrapped, new singularity/positivity/consistency constraint, new mapping from seed to phenomenological template, nontrivial extension to different symmetry-breaking structure Papers: arXiv:1811.00024, arXiv:1910.14051, arXiv:1907.01143
• Analytic treatment of general tree graphs with multiple massive exchanges, including family-tree decomposition, differential equations, and degenerate/folded limits relevant to bilinear mixing. Why solved: The literature already claims broad analytic control over arbitrary tree topologies and gives explicit one-, two-, and three-exchange examples. Transferable form: Reduce nested time integrals to canonical objects or PDE systems, organize solutions by graph topology, and validate via cuts/limits/known special cases. Forbidden reuse: Do not propose 'compute a general tree-level correlator with multiple massive scalar exchanges' in the already treated sense if the central result is just another member of the known analytic family with no new observable, regime, or method. Valid new axes: new observable built from these trees, new mass/mixing regime not covered, new theorem on singularities/factorization, substantial calculational speedup or representation change Papers: arXiv:2309.10849, arXiv:2412.07843, arXiv:2511.08677
• Analytic inflationary correlators with a massive scalar whose mass varies in time, including modified squeezed-limit scaling/Boltzmann behavior. Why solved: This paper already turns time-dependent mass into explicit analytic correlators and interpretable phenomenology. Transferable form: Introduce one controlled deformation of the massive propagator, derive analytic mode functions, compute a first small set of correlators, and tie the new parameter directly to a measurable shape feature. Forbidden reuse: Do not restate the standard time-dependent-mass massive-scalar exchange calculation with linearized mass evolution as a new proposal if the core output is again the same class of two-, three-, or four-point scalar correlators. Valid new axes: different controlled deformation beyond the solved linearized mass case, new observable or estimator sensitive to the deformation, new nonperturbative regime, new reconstruction/inference method Papers: arXiv:2312.09642
• Diagrammatic simplification and consistency checks for tree-level cosmological correlators using mixed propagators and cutting rules. Why solved: The method and its validation logic are already established for the standard tree-level scalar-exchange setting. Transferable form: Pick a diagram class, derive a simplified representation, and validate it by factorization/discontinuity relations and agreement with known limits. Forbidden reuse: Do not claim novelty for using SK mixed propagators or tree-level cutting/factorization checks alone on standard scalar exchange diagrams. Valid new axes: new class of correlators where the method changes what is computationally feasible, new unitarity/factorization theorem, extension to a qualitatively different regime or topology Papers: arXiv:1703.10166, arXiv:2104.06587, arXiv:2512.22652

Open Axes for New Work

These axes are examples, not a complete list. Use them to look for substantial differences from solved work, and actively discover additional axes from the user prompt, source papers, and novelty checks.

• New scalar observables beyond the already-standard single-exchange bispectrum calculation Guidance: Examples only, not a complete list. Novelty must come from a genuinely different observable or a materially new diagnostic feature, not from recomputing the standard bispectrum with the same physics. Example variations: tree-level scalar trispectrum with a genuinely new kinematic diagnostic, mixed scalar correlator where the observable target is not the canonical bispectrum shape, observable focused on internal soft/collapsed structure rather than the standard squeezed bispectrum Papers: arXiv:0911.3380, arXiv:2502.04434, arXiv:2604.07434
• Controlled deformations of the massive scalar sector Guidance: A strong idea isolates one controlled deformation, shows the first tractable tree-level calculation, and states clearly what limit recovers known results. Example variations: time-dependent mass or coupling profiles, non-constant turn or time-dependent mixing, regimes interpolating between light/complementary and heavy/principal behavior Papers: arXiv:0911.3380, arXiv:2312.09642, arXiv:2602.12232, arXiv:2511.00152
• Boost-breaking or reduced-symmetry scalar exchange with direct relevance to scalar correlators Guidance: Only valid if the proposal adds a new scalar observable, regime, or method beyond the existing boostless catalog. Example variations: reduced sound-speed external modes, new boost-breaking scalar seed structures, regimes where folded or mildly-soft resonances replace the standard signal logic Papers: arXiv:2205.00013, arXiv:2205.10340, arXiv:2307.01751, arXiv:2506.01555
• Methodological advances that materially simplify tree-level calculations Guidance: The contribution must change calculational reach, robustness, or interpretability in a substantial way; minor reformulations are not enough. Example variations: new mixed-propagator organization for a broader tree class, new PDE basis or variable choice for degenerate/folded limits, analytic continuation/control of hypergeometric-family representations in useful physical regions Papers: arXiv:1703.10166, arXiv:2309.10849, arXiv:2412.07843, arXiv:2511.08677, arXiv:2509.02684
• Sharper consistency/validation structures for scalar exchange correlators Guidance: This is promising when it rules out or uniquely fixes correlators, not when it merely restates known checks on known diagrams. Example variations: new factorization or cutting relation specialized to a nontrivial scalar tree class, new analyticity/reality/positivity constraint that excludes part of theory space, new relation between seed singularities and observable templates Papers: arXiv:2104.06587, arXiv:2309.07769, arXiv:2506.19198, arXiv:2512.22652
• Data-facing template design tied to exact or near-exact tree-level theory Guidance: Useful only if grounded in the exact theory shapes and if it preserves scientifically meaningful distinctions among mechanisms. Example variations: template bases for massive-scalar tree diagrams that separate EFT-like background from non-analytic signal, compressed theory manifolds for scans over mass/mixing parameters, template constructions matched to trispectrum or shape-reconstruction pipelines Papers: arXiv:2512.22085, arXiv:2603.15728, arXiv:2604.07434, arXiv:2603.17004