Residue reduction conjecture for generalized amplitudes

Let mn(k)m^{(k)}_n and mn(2)m^{(2)}_n denote the generalized amplitudes, and let basek,n\text{base}_{k,n} and combk,n\text{comb}_{k,n} be the collections of planar kinematic invariants defined by

basek,n={η[3,i][n(ki+1),n]:i=3,,k}\text{base}_{k,n}=\left\{\eta_{\lbrack 3,i\rbrack\cup \lbrack n-(k-i+1),n\rbrack}:i=3,\ldots,k\right\}

and

combk,n={η[j,j+r][nr,n]:j=3,,nk, and r=1,,k2}.\text{comb}_{k,n}=\left\{\eta_{\lbrack j,j+r\rbrack\cup \lbrack n-r,n\rbrack}:j=3,\ldots,n-k,\ \text{and }r=1,\ldots,k-2\right\}.

Residue reduction conjecture. The (k2)(nk2)(k-2)(n-k-2)-dimensional residue of mn(k)m^{(k)}_n on the subspace where ηJ=0\eta_J=0 for every ηJbasek,ncombk,n\eta_J\in\text{base}_{k,n}\cup\text{comb}_{k,n} can be identified with mn(2)m^{(2)}_n; that is, there exists an identification of kinematics such that

Res[mn(k)]ηJ=0, ηJbasek,ncombk,n=mn(2).\operatorname{Res}\left[m^{(k)}_n\right]_{\eta_J=0,\ \eta_J\in\text{base}_{k,n}\cup\text{comb}_{k,n}}=m^{(2)}_n.

This conjecture specifies a particular residue expected to reproduce the ordinary amplitude from the generalized one, extending the reduction suggested by the known examples. The source gives no resolution beyond presenting it as an all-(k,n)(k,n) conjecture.

Sources & referencesView supporting material

Primary source

Freddy Cachazo and Nick Early, “Biadjoint Scalars and Associahedra from Residues of Generalized Amplitudes”, arXiv:2204.01743 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.