---
title: Amplituhedron-Prime in Planar N=4 SYM
url: https://www.emergentmind.com/topics/amplituhedron-prime
type: topic
---

# Amplituhedron-Prime in Planar N=4 SYM

Amplituhedron-Prime is a positive geometry intimately connected to scattering amplitudes in planar maximally supersymmetric Yang-Mills theory. It is closely related to, but geometrically distinct from, the standard Amplituhedron. Both objects share identical boundary stratifications and canonical forms but have disjoint interiors. The Amplituhedron-Prime plays a crucial role in providing an explicit decomposition of amplitude integrands into chiral geometric building blocks and establishes the first firm evidence for the existence of a “dual Amplituhedron.” Its rigorous definition and properties have been investigated across tree- and loop-level settings, yielding constructive triangulations and geometric insights not present in the original Amplituhedron framework.

## 1. Definition via Sign-Flip Sectors and Positive Geometries

The Amplituhedron-Prime, denoted $\mathcal{A}'$, is defined as a union of sign-flip-two and sign-flip-four regions in the loop Grassmannian, contrasting with the original Amplituhedron $\mathcal{A}$, which is a single sign-flip-zero region. For the one-loop MHV case ($k=0$, $L=1$) with $n$ points, external data consists of $n$ momentum twistors $Z_1, \dots, Z_n \in \mathbb{P}^3$ with all four-brackets positive. Let the loop variable be $(AB)$. The Amplituhedron $\mathcal{A}^{(n,0,1)}$ is the region

\[
S^{(0)}_{\text{MHV}} :\quad \langle AB\,i\,i+1 \rangle > 0~\text{for}~i=1,\dots,n;\quad \langle AB\,\overline{ij} \rangle > 0~\text{for}~1 \leq i < j \leq n,
\]
where $\overline{ij} = (i-1\,i\,i+1) \cap (j-1\,j\,j+1)$.

The Amplituhedron-Prime is the following union:

\[
\mathcal{A}'^{(n,0,1)} = \sum_{1 \leq i < k < \ell < j \leq n} S^{(4),-}_{ik\ell j} + \sum_{i=1}^n S^{(4),-}_{i,i+1,i+2,i+3} + \sum_{1 \leq i < j \leq n} S^{(2),+}_{ij},
\]
where $S^{(2),+}_{ij}$ denotes sign-flip-two regions of positive chirality and $S^{(4),-}_{ik\ell j}$ denotes sign-flip-four regions of negative chirality. Each region is defined by a prescribed pattern of sign changes in the sequence $\langle AB\,12 \rangle, \langle AB\,23 \rangle, \dots, \langle AB\,n1 \rangle$[2009.05607].

Both $\mathcal{A}$ and $\mathcal{A}'$ possess the same codimension-$r$ boundary stratification in $(AB)$, though their geometric interiors are distinct. In higher generality, amplituhedron-like regions with non-maximal winding (i.e., $f < k$ in $H^{(f)}_{n,k}$) fit naturally into this framework, and the union of all such regions forms the "squared amplituhedron"—a configuration relevant for canonical form squaring and dual geometry constructions[2106.09372].

## 2. Canonical Forms and Star Products

Despite their differing interiors, $\mathcal{A}^{(n,0,1)}$ and $\mathcal{A}'^{(n,0,1)}$ share the same unique canonical top-form, which is the one-loop MHV integrand:

\[
\Omega(\mathcal{A}') = \Omega^{(n,0,1)} = \sum_{i<j} \omega^{(i,j)}
\]
with
\[
\omega^{(i,j)} = \frac{\langle AB\,(1\,i\,i{+}1) \cap (1\,j\,j{+}1) \rangle^2}{\prod_{\alpha \in \{1,i,i+1,j,j+1\}} \langle AB\,(\alpha\,\alpha+1)\rangle}
\]

This same form can be expressed as a sum over canonical $d\log$ forms associated with each sign-flip sector:

\[
\Omega(\mathcal{A}') = \sum_{i<k<\ell<j} \omega^{(4),-}_{ik\ell j}
+ \sum_{i}\omega^{(4),-}_{i,i+1,i+2,i+3}
+ \sum_{i<j}\omega^{(2),+}_{ij}
\]
where $\omega^{(2),+}_{ij}$ is a box or degenerate chiral pentagon (sign-flip-two positive), 
$\omega^{(4),-}_{ik\ell j}$ is the "chiral octagon" form (sign-flip-four negative), and $\omega^{(4),-}_{i,i+1,i+2,i+3}$ are parity-odd pentagon boxes.

At higher $k$ and loop order, canonical forms for amplituhedron-like regions $H^{(f)}_{n,k}$ are given by the star product of parity conjugate amplitudes (proven for $k=n-m$ at tree level and for MHV at loop level):

\[
\Omega[H^{(f)}_{n,k}] = \mathcal{A}_{n,f} * \mathcal{A}_{n,k-f}
\]

The star product $*$ in bosonized superspace is defined by[2106.09372]:

\[
\left[ I^{(1)} \right]_{k_1+m} * \left[ I^{(2)} \right]_{k_2+m} 
= (-1)^{k_1 k_2 + k_2 m} m! \sum_{\sigma \in S_m}
\frac{\prod_{a=1}^m (Y\,I^{(1)}_a\,I^{(2)}_{\sigma(a)})}{\prod_{a=1}^{k_1+k_2}(Y\,\dots)}
\]
where the precise structure depends on the bracketings of the involved invariants.

## 3. Triangulation by On-Shell Diagrams and Chiral Pentagons

A key structural feature of Amplituhedron-Prime is the existence of a triangulation into local geometric cells, explicitly realized by chiral pentagon and box forms at one loop, and by pairs of on-shell diagrams in general. In the canonical one-loop MHV expansion,

\[
\omega^{(n,0,1)}=\sum_{i<j}\omega^{\rm pent}_{ij},\quad \omega^{\rm pent}_{ij} = \frac{\langle 1\,i\,j\,n\rangle\,\langle AB\,\overline{ij}\rangle}{\prod_{\alpha\in\{i-1,i,i+1,j-1,j,j+1,1,n\}}\langle AB\,(\alpha\,\alpha+1)\rangle}
\]

Each $\omega^{\rm pent}_{ij}$ is the unique canonical form on a corresponding local positive region $P_{ij}^{(1)}$ or $P_{ij}^{(2)}$. These pentagon cells jointly cover $\mathcal{A}'$, whereas they do not triangulate the original Amplituhedron $\mathcal{A}$; their union in $\mathcal{A}$ would leave spurious (nonphysical) boundaries.

More generally, amplituhedron-like geometries $H^{(f)}_{n,k}$ can be triangulated by pairs of on-shell diagrams, allowing the canonical form to be constructed from products of Yangian invariants, validating the form $\Omega(H^{(f)}) = \mathcal{A}_f * \mathcal{A}_{k-f}$[2106.09372].

## 4. Dual Polygon Picture and Internal Triangulation

On codimension-two boundaries—where the loop variable $(AB)$ is localized to a $\mathbb{P}^2$—both $\mathcal{A}$ and $\mathcal{A}'$ project to polygons in this plane. There exists a duality map exchanging lines and points, under which the leading singularities (polygon vertices) of the original map to edges of the dual, and vice versa.

Remarkably, in this dual frame, chiral pentagon regions $P_{ij}^{(1)}$ are mapped to interior triangles which collectively triangulate the dual polygon. This structure is verified for $n=5,6$ and conjectured to hold more generally. The dual of $\mathcal{A}'$ is thus realized as an explicit internal triangulation of the putative dual Amplituhedron, formed by chiral building blocks. This provides the first explicit evidence for the existence of a dual Amplituhedron geometry[2009.05607].

## 5. Oriented Canonical Forms, Squared Amplituhedron, and Global Extension

Beyond individual winding sectors, one may form the "squared amplituhedron" $\mathrm{SqAmp}_{n,k}$—the union over all $H^{(f)}_{n,k}$ with only proper-boundary inequalities and no sign-flip constraints:

\[
\mathrm{SqAmp}_{n,k} = \bigcup_{f=0}^k \left\{ Y \in Gr(k, k+m) \mid (Y\,Z_i\dots Z_{i+m-1})>0, (Y\,Z_n\dots Z_{m-1})(-1)^f>0 \right\}
\]

This union is not itself a positive geometry but a collection of almost disconnected $H^{(f)}$ sectors, touching only at lower-codimension boundaries. The standard prescription for the canonical form fails due to multi-valued residues on sector boundaries; instead, a globally oriented canonical form is defined on the oriented Grassmannian double cover:

\[
\Omega_o\left[ \bigcup_{f=0}^k H^{(f)} \right] = \sum_{f=0}^k \Omega[H^{(f)}]
\]

For $m=4, k=n-4$, this sum yields the explicit square of the amplitude's canonical form:

\[
\Omega_o[\mathrm{SqAmp}_{n,n-4}] = \sum_{f=0}^{n-4} \mathcal{A}_{n,f} * \mathcal{A}_{n,n-4-f} = (\mathcal{A}_n)^2
\]

Algorithmically, such forms can be computed by applying Cylindrical Algebraic Decomposition (CAD), patching $d\log$ forms with sign rules dictated by orientation reversals[2106.09372].

## 6. Implications and Prospects for Dual Geometry

The existence and explicit triangulation of the Amplituhedron-Prime have several key implications:

- The chiral pentagon and octagon forms (for higher flips) are individually positive on the original Amplituhedron and serve as canonical building blocks for triangulating dual geometries.
- The decomposition of $\mathcal{A}'$ into simple sign-flip regions provides a template for constructing dual positive geometries at higher $k$ and higher-loop order, with a suggested progression to octagons, decagons, etc.
- The internal triangulation of the dual polygon via images of chiral pentagons supports the hypothesis that a dual Amplituhedron exists and that its canonical form is assembled from these local objects.
- A zero-form space $\mathcal{B}$ supported on spurious boundaries relates $\mathcal{A}'$ and $\mathcal{A}$: $\mathcal{A}' + \mathcal{B} = \mathcal{A}$. Dually, a similar boundary addition relates the duals of $\mathcal{A}'$ and $\mathcal{A}$.

A plausible implication is that the Amplituhedron-Prime's structure can be generalized to higher $k$ and loop orders, potentially elucidating the combinatorics and geometry of scattering amplitudes and their duals in planar $\mathcal{N}=4$ SYM[2009.05607].

Source: https://www.emergentmind.com/topics/amplituhedron-prime