[论文解读] The positive tropical Grassmannian, the hypersimplex, and the m=2 amplituhedron

Tomasz Łukowski, M. C. Parisi+1 more|arXiv (Cornell University)|Feb 14, 2020

Muon and positron interactions and applications被引用 17

一句话总结

本文建立了一种对偶性——稱為T-對偶性——在超單單形Δ_{k+1,n}的正位冪分割（透過正 Grassmannian 的矩陣映射）與m=2的振幅多面體（透過振幅多面體映射）之間，證明了BCFW分割的猜想，並顯示正热带 Grassmannian 控制兩者之正位冪剖分。此工作透過一種新穎的對偶性框架，統合了 Grassmannian 幾何與散射振幅中的組合結構。

ABSTRACT

The study of the moment map from the Grassmannian to the hypersimplex, and the relation between torus orbits and matroid polytopes, dates back to the foundational 1987 work of Gelfand-Goresky-MacPherson-Serganova. On the other hand, the amplituhedron is a very new object, defined by Arkani-Hamed-Trnka in connection with scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory. In this paper we discover a striking duality between the moment map $μ:Gr^{\geq0}_{k+1,n} oΔ_{k+1,n}$ from the positive Grassmannian $Gr^{\geq0}_{k+1,n}$ to the hypersimplex, and the amplituhedron map $ ilde{Z}:Gr^{\geq0}_{k,n} o\mathcal{A}_{n,k,2}(Z)$ from $Gr^{\geq0}_{k,n}$ to the $m=2$ amplituhedron. We consider the positroid dissections of both objects, which informally, are subdivisions of $Δ_{k+1,n}$ (respectively, $\mathcal{A}_{n,k,2}(Z)$) into a disjoint union of images of positroid cells of the positive Grassmannian. At first glance, $Δ_{k+1,n}$ and $\mathcal{A}_{n,k,2}(Z)$ seem very different - the former is an $(n-1)$-dimensional polytope, while the latter is a $2k$-dimensional non-polytopal subset of $Gr_{k,k+2}$. Nevertheless, we conjecture that positroid dissections of $Δ_{k+1,n}$ are in bijection with positroid dissections of $\mathcal{A}_{n,k,2}(Z)$ via a map we call T-duality. We prove this conjecture for the (infinite) class of BCFW dissections and give additional experimental evidence. Moreover, we prove that the positive tropical Grassmannian is the secondary fan for the regular positroid subdivisions of the hypersimplex, and propose that it also controls the T-dual positroid subdivisions of the amplituhedron. Along the way, we prove that a matroid polytope is a positroid polytope if and only if all two-dimensional faces are positroid polytopes. Towards the goal of generalizing T-duality for higher $m$, we also define the momentum amplituhedron for any even $m$.

研究动机与目标

• 建立超列表單形與m=2振幅多面體之間的正位冪分割的深刻對偶性，儘管兩者幾何性質不同。
• 證明正热带 Grassmannian 參數化超列表單形的正則正位冪剖分，並猜想其控制振幅多面體的T-對偶剖分。
• 為一般偶數m定義動量振幅多面體，將框架推廣至m=2以外。
• 為理解正 Grassmannian 與振幅多面體中的分割與密鋪提供組合與幾何基礎。
• 證明一個擬陣多面體為正位冪多面體，當且僅當其所有二維面都是正位冪多面體。

提出的方法

• 作者定義T-對偶性為超列表單形與m=2振幅多面體之正位冪分割之間的映射，基於正 Grassmannian 的矩陣映射μ: Gr^{≥0}_{k+1,n} → Δ_{k+1,n} 與振幅多面體映射˜Z: Gr^{≥0}_{k,n} → A_{n,k,2}(Z) 之間的對偶性。
• 他們使用帶標記的排列與仿射排列來分類正位冪細胞及其在矩陣映射與振幅多面體映射下的像。
• 使用plabic圖來表示正位冪細胞，並以完美匹配與流來計算來源集合與相關的帶標記排列。
• 證明正热带 Grassmannian Trop⁺Gr_{k+1,n} 為超列表單形正則正位冪剖分的二階扇形。
• 作者透過逐面分析證明：一個擬陣多面體是正位冪多面體，當且僅當其所有二維面都是正位冪多面體。
• 針對m=2的情形，他們證明了BCFW分割的T-對偶性猜想，並提供實驗證據支持其在更廣泛範圍內的有效性。

实验结果

研究问题

• RQ1 是否存在超列表單形與m=2振幅多面體之間的自然對偶性？
• RQ2 能否證明正热带 Grassmannian 參數化超列表單形的正則正位冪剖分，並在對偶意義下控制振幅多面體的T-對偶剖分？
• RQ3 對於m=2，正 Grassmannian 的矩陣映射像與振幅多面體映射像之間的精確關係為何？
• RQ4 T-對偶性框架如何推廣至更高偶數m？會出現何種結構？
• RQ5 從其面結構來看，什麼特徵可定義一個擬陣多面體為正位冪多面體？

主要发现

• 正热带 Grassmannian Trop⁺Gr_{k+1,n} 是超列表單形Δ_{k+1,n} 正則正位冪剖分的二階扇形。
• 作者證明：一個擬陣多面體是正位冪多面體，當且僅當其所有二維面都是正位冪多面體。
• 針對BCFW分割，T-對偶性猜想已獲證明：超列表單形與m=2振幅多面體之間存在雙射。
• 在超列表單形Δ_{k+1,n} 的正則正位冪剖分中，頂維正位冪多面體的數目最多為(n−2 choose k)，且在最細緻剖分中達此上限。
• 本文為任一偶數m定義了動量振幅多面體，推廣m=2的情形，並提出通往更高m對偶性的路徑。
• 實驗證據支持T-對偶性猜想不僅適用於BCFW分割，更顯示兩物件之間存在更深層的結構連結。