Round 1

Bispectrum–Trispectrum Phase Closure for a Non-Relativistic Tilted-Ghost Collider

Idea Summary

Calculate the collapsed primordial trispectrum mediated by a massive tilted-ghost spectator and combine it with the known squeezed bispectrum to construct coupling-independent phase and amplitude consistency observables. The new object probes bilinears of the spectator’s two late-time Whittaker connection coefficients, whereas the existing bispectrum probes a different linear combination. This can determine whether propagation-induced branch asymmetry is observably distinct from an ordinary chemical potential. The calculation uses weak mixing only and therefore lies outside the excluded strong-mixing direction.

Motivation

arXiv:2605.20102 establishes that non-relativistic propagation can enhance or suppress a squeezed bispectrum and shift its clock phase, but a single bispectrum can confuse this effect with chemical-potential-like production, a vacuum-normalization choice, or a free template phase. A collapsed trispectrum supplies a second, factorized measurement of the same late-time branches. A coupling-independent bispectrum–trispectrum closure relation would therefore convert an interesting modified-dispersion signal into a falsifiable identification test. Removing the trispectrum calculation would remove this discrimination capability, not merely an alternative representation of the known bispectrum.

Calculation Plan

Model and regime. Use a slow-roll Goldstone mode π\pi and a principal-series scalar spectator σ\sigma, with weak interactions Lint/a3=ρπ˙σ+c3π˙2σ\mathcal L_{\rm int}/a^3=\rho\dot\pi\sigma+c_3\dot\pi^2\sigma and ∣ρ∣/H≪1|\rho|/H\ll1. The canonically normalized spectator mode obeys

vk′′+[stiltβk2+γ2k4η2−ν2−1/4η2]vk=0,ν=iμ,μ=m2/H2−9/4,v_k''+\left[s_{\rm tilt}\beta k^2+\gamma^2k^4\eta^2-\frac{\nu^2-1/4}{\eta^2}\right]v_k=0,\qquad \nu=i\mu,\quad \mu=\sqrt{m^2/H^2-9/4},

with λ=stiltβ/(4γ)\lambda=s_{\rm tilt}\beta/(4\gamma), adiabatic pure-ghost initial conditions, and the no-real-turning-point bound β<2γμ2+1/4\beta<2\gamma\sqrt{\mu^2+1/4}. All interaction scales must remain below the ghost EFT cutoff.

Bounded first calculation. Compute the connected tree-level exchange trispectrum Tζ(k1,…,k4)T_\zeta(\mathbf k_1,\ldots,\mathbf k_4) from two c3π˙2σc_3\dot\pi^2\sigma vertices in the collapsed channel q=∣k1+k2∣≪K12,K34q=|\mathbf k_1+\mathbf k_2|\ll K_{12},K_{34}. Insert the exact Whittaker bulk propagator and separate

Tζ=Tanalytic+2 Re ⁣[AT(μ,λ,γ;K12/K34)(q2K12K34)3/2+iμ]+O(q2/K2).T_\zeta=T_{\rm analytic}+2\,\mathrm{Re}\!\left[A_T(\mu,\lambda,\gamma;K_{12}/K_{34})\left(\frac{q^2}{K_{12}K_{34}}\right)^{3/2+i\mu}\right]+O(q^2/K^2).

Derive ATA_T as gamma functions and at most one stable numerical integral. Evaluate the phase-closure statistic ΦBT=arg⁡AT−2arg⁡AB\Phi_{BT}=\arg A_T-2\arg A_B after removing calculable hard-vertex phases, where ABA_B is the squeezed-bispectrum coefficient already available for the same mode. Also evaluate the normalization-independent ratio RBT=∣AT∣ ΔPζ(σ)/∣AB∣2\mathcal R_{BT}=|A_T|\,\Delta P_\zeta^{(\sigma)}/|A_B|^2. These combinations test propagation physics while cancelling the real couplings c3c_3, ρ\rho, and arbitrary normalization of σ\sigma.

Deliverable. Provide the analytic collapsed template, a numerical grid for 0.5≤μ≤50.5\le\mu\le5 and the EFT-allowed (λ,γ)(\lambda,\gamma) region, and shape cosines against relativistic/low-sound-speed and scalar-chemical-potential trispectra. Success requires either ∣ΔΦBT∣≥0.2|\Delta\Phi_{BT}|\ge0.2 radians or cosine <0.98<0.98 with every comparison template over an observationally useful collapsed range 10−2≤q/K≤10−110^{-2}\le q/K\le10^{-1}. Kill criterion: stop after the collapsed calculation if ΦBT\Phi_{BT} and RBT\mathcal R_{BT} reduce to the relativistic results up to amplitude and constant phase, or if all EFT-valid tilted templates have cosine ≥0.98\ge0.98 with an existing chemical-potential template after nuisance marginalization.

Novelty Checks

Validation Checks

Risks

Reviewer Feedback

The signed-tilt extension is a feasible and potentially substantive non-strong-mixing calculation, but the proposal requires major revision because its closest-prior-work claim is false and its closure observable, EFT-valid scan, and chemical-potential comparator are not sufficiently defined to support the full deliverable.

Marks

{ "confidence_of_novelty": 5, "novelty": 8, "planning": 9, "problem_well_definedness": 8, "scientific_value": 8, "total_score": 61, "user_intent_relevance": 23 }

Round 2

Signed-Tilt Ghost Trispectrum: A Factorization-First Bispectrum–Trispectrum Closure Test

Idea Summary

Compute the λ≠0\lambda\neq0 signed-tilt deformation of the already-known pure-ghost collapsed trispectrum and test a precisely normalized bispectrum–trispectrum consistency ratio. The central question is deliberately narrower than “calculate a ghost trispectrum”: does the tilted Whittaker propagator contain higher-point branch information not already fixed by its squeezed bispectrum and mixing-induced power correction? A factorization-first calculation can answer this before any expensive full-shape scan. The work uses weak mixing and is therefore outside the excluded strong-mixing direction.

Motivation

The pure-ghost spectator trispectrum is already known, while arXiv:2605.20102 shows that a signed quadratic tilt changes the bispectrum’s Whittaker branch weights and phase but leaves its EFT embedding and higher-point extension open. A single bispectrum cannot cleanly distinguish propagation-induced asymmetry from vacuum normalization or a chemical-potential-like template. A coupling- and pivot-independent closure observable would provide that discrimination if non-universal; a proof that Schwinger–Keldysh factorization makes it universal would instead prevent an unproductive trispectrum-template program. Either outcome resolves a concrete ambiguity left by the recent literature.

Calculation Plan

Model and regime. Start from the canonically normalized decoupling-limit action

Sσ(2)=12 ⁣∫ ⁣dt d3x a3 ⁣[σ˙2−sβ(∇σ)2a2−(∇2σ)2M2a4−m2σ2],M=H/γ, S_\sigma^{(2)}=\frac12\!\int\!dt\,d^3x\,a^3\!\left[\dot\sigma^2-s\beta\frac{(\nabla\sigma)^2}{a^2}-\frac{(\nabla^2\sigma)^2}{M^2a^4}-m^2\sigma^2\right],\qquad M=H/\gamma,

with m>3H/2m>3H/2, λ=sβ/(4γ)\lambda=s\beta/(4\gamma), and interactions

Sint=∫dt d3x a3[ρ π˙cσ+g3Λ3π˙c 2σ]. S_{\rm int}=\int dt\,d^3x\,a^3\left[\rho\,\dot\pi_c\sigma+\frac{g_3}{\Lambda_3}\dot\pi_c^{\,2}\sigma\right].

Here [ρ]=1[\rho]=1, [g3]=0[g_3]=0, and [Λ3]=1[\Lambda_3]=1. Initially impose ∣ρ∣/H≪1|\rho|/H\ll1, ∣λ∣≪1|\lambda|\ll1, and β<2γμ2+1/4\beta<2\gamma\sqrt{\mu^2+1/4}, where μ=m2/H2−9/4\mu=\sqrt{m^2/H^2-9/4}. Before calling any point physical, complete the symmetry-required cubic and quartic EFT, derive its strong-coupling scale by power counting around ω2=p4/M2+sβp2+m2\omega^2=p^4/M^2+s\beta p^2+m^2, and require H,m,p∗∼HM,ρ≪ΛscH,m,p_*\sim\sqrt{HM},\rho\ll\Lambda_{\rm sc}, perturbative vertices, and spectator energy density ≪ϵMPl2H2\ll\epsilon M_{\rm Pl}^2H^2. No parameter grid is promised before this audit.

Observable definitions. Let Pζ(k)=2π2Δζ2/k3P_\zeta(k)=2\pi^2\Delta_\zeta^2/k^3, K=k1+k2K=k_1+k_2, L=k3+k4L=k_3+k_4, and q=∣k1+k2∣q=|\mathbf k_1+\mathbf k_2|. Define dimensionless reduced correlators

BK(q)=Bζ′(k1,k2,q)Pζ(q)[Pζ(k1)Pζ(k2)]1/2,TKL(q)=Tζ′(k1,…,k4)Pζ(q)[∏i=14Pζ(ki)]1/2. \mathscr B_K(q)=\frac{B_\zeta'(\mathbf k_1,\mathbf k_2,\mathbf q)}{P_\zeta(q)[P_\zeta(k_1)P_\zeta(k_2)]^{1/2}},\quad \mathscr T_{KL}(q)=\frac{T_\zeta'(\mathbf k_1,\ldots,\mathbf k_4)}{P_\zeta(q)[\prod_{i=1}^4P_\zeta(k_i)]^{1/2}}.

Using one positive pivot k∗k_* and the +iμ+i\mu branch fixed by the pure-ghost WKB prescription, extract

BKNA=2ℜ ⁣[AB(K;k∗)(q/k∗)3/2+iμ],TKLNA=2ℜ ⁣[AT(K,L;k∗)(q/k∗)3+2iμ]. \mathscr B_K^{\rm NA}=2\Re\!\left[A_B(K;k_*)\left(q/k_*\right)^{3/2+i\mu}\right],\quad \mathscr T_{KL}^{\rm NA}=2\Re\!\left[A_T(K,L;k_*)\left(q/k_*\right)^{3+2i\mu}\right].

For pσ≡ΔPζ(σ)/Pζp_\sigma\equiv\Delta P_\zeta^{(\sigma)}/P_\zeta, form

QBT(K,L)=AT(K,L;k∗)pσAB(K;k∗)AB(L;k∗),ΦBT=arg⁡QBT,RBT=∣QBT∣. \mathcal Q_{BT}(K,L)=\frac{A_T(K,L;k_*)p_\sigma}{A_B(K;k_*)A_B(L;k_*)},\quad \Phi_{BT}=\arg\mathcal Q_{BT},\quad \mathcal R_{BT}=|\mathcal Q_{BT}|.

This gives ΦBT=arg⁡AT−arg⁡AB(K)−arg⁡AB(L)\Phi_{BT}=\arg A_T-\arg A_B(K)-\arg A_B(L); −2arg⁡AB-2\arg A_B is used only when K=LK=L. A pivot change adds 2μlog⁡(k∗′/k∗)2\mu\log(k_*'/k_*) to arg⁡AT\arg A_T and μlog⁡(k∗′/k∗)\mu\log(k_*'/k_*) to each bispectrum phase, so QBT\mathcal Q_{BT} is invariant. Under branch conjugation report QBT↔QBT∗\mathcal Q_{BT}\leftrightarrow\mathcal Q_{BT}^*, or the unambiguous cos⁡ΦBT\cos\Phi_{BT}.

Factorization-first calculation. Vertex counting proves at tree level that AT∝(g3/Λ3)2A_T\propto(g_3/\Lambda_3)^2, AB∝(g3/Λ3)ρA_B\propto(g_3/\Lambda_3)\rho, and pσ∝ρ2p_\sigma\propto\rho^2; hence QBT\mathcal Q_{BT} cancels both real couplings and the normalization of σ\sigma. Insert the exact Whittaker propagator into the collapsed Schwinger–Keldysh integral with two π˙c2σ\dot\pi_c^2\sigma vertices. Before evaluating a full template, use its late-time four-branch decomposition to test whether cutting/factorization forces ATpσ=AB(K)AB(L)×C(μ)A_Tp_\sigma=A_B(K)A_B(L)\times C(\mu), independent of λ\lambda. If it does, derive the corresponding universality theorem and stop. If it does not, derive ATA_T as gamma functions plus at most one stable one-dimensional integral and evaluate QBT(λ)/QBT(0)\mathcal Q_{BT}(\lambda)/\mathcal Q_{BT}(0) at two EFT-audited benchmark points.

Deliverable and decision rule. Deliver the reduced collapsed trispectrum, a proof or counterexample to universal closure, the coupling/pivot invariance derivation, and an EFT benchmark table. Continue to shape discrimination only if the residual signed-tilt dependence exceeds either 0.10.1 rad in phase or 10% in modulus. At that stage construct a scalar-chemical-potential comparator using the same external mixing and π˙c2σ\dot\pi_c^2\sigma operators before computing any cosine. Kill criterion: stop if closure is λ\lambda-independent up to the known pure-ghost result, if no controlled EFT benchmark survives, or if the operator-matched comparator absorbs the residual deformation after nuisance marginalization.

Novelty Checks

Validation Checks

Risks

Reviewer Feedback

The revised proposal now has a consequential target-domain question, precise reduced observables, a bounded factorization-first calculation, validation checks, and explicit kill criteria. The remaining EFT-completion, hierarchy, cutting-rule, comparator, and detectability issues are named and manageable rather than demonstrated feasibility blockers, so another proposer round is not required.

Marks

{ "confidence_of_novelty": 10, "novelty": 9, "planning": 11, "problem_well_definedness": 11, "scientific_value": 8, "total_score": 73, "user_intent_relevance": 24 }