Residue reduction conjecture for generalized amplitudes

About 4 years old · traced to

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−(k−i+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]∪[n−r,n]:j=3,…,n−k, and r=1,…,k−2}.\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 (k−2)(n−k−2)(k-2)(n-k-2)-dimensional residue of mn(k)m^{(k)}_n on the subspace where ηJ=0\eta_J=0 for every ηJ∈basek,n∪combk,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, ηJ∈basek,n∪combk,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.

References

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.