[논문 리뷰] The positive tropical Grassmannian, the hypersimplex, and the m=2 amplituhedron

Tomasz Łukowski, M. C. Parisi외 1명|arXiv (Cornell University)|2020. 02. 14.

Muon and positron interactions and applications인용 수 17

한 줄 요약

이 논문은 히퍼심플렉스 Δ_{k+1,n}의 포지트로이드 분할(양의 그라스만يان에서의 모멘트 맵을 통한)과 m=2 애밀리튜헤드론의 포지트로이드 분할(애밀리튜헤드론 맵을 통한) 사이의 이중성—즉, T-이중성—을 수립한다. 이는 BCFW 분할에 대한 추측을 증명하고, 양의 트로픽 그라스만IAN이 둘 다의 정규 포지트로이드 분할을 제어한다는 것을 보여준다. 본 연구는 새로운 이중성 프레임워크를 통해 그라스만IAN 기하학과 산란 진폭 사이의 조합적 구조를 통합한다.

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 애밀리튜헤드론의 포지트로이드 분할 사이의 깊은 이중성을 확립하되, 그 기하학적 성격이 서로 다름에도 불구하고.
• 양의 트로픽 그라스만IAN이 히퍼심플렉스의 정규 포지트로이드 분할을 매개함을 증명하고, 이중적으로 애밀리튜헤드론의 T-이중 분할을 제어함을 추측한다.
• 일반적인 짝수 m에 대해 운동량 애밀리튜헤드론을 정의하여 m=2를 초월한 프레임워크를 확장한다.
• 양의 그라스만IAN과 애밀리튜헤드론 내 분할과 타일링을 이해하기 위한 조합론적이고 기하학적인 기초를 제공한다.
• 모든 2차원 면이 포지트로이드 다면체인 경우에 한하여, 매트로이드 다면체가 포지트로이드 다면체임을 증명한다.

제안 방법

• 저자들은 모멘트 맵 μ: Gr^{≥0}_{k+1,n} → Δ_{k+1,n}과 애밀리튜헤드론 맵 ˜Z: Gr^{≥0}_{k,n} → A_{n,k,2}(Z) 사이의 이중성에 기반해, 히퍼심플렉스와 m=2 애밀리튜헤드론의 포지트로이드 분할 간의 T-이중성을 정의한다.
• 장식된 순열과 아핀 순열을 사용하여 포지트로이드 셀과 그들의 모멘트 맵 및 애밀리튜헤드론 맵 상의 상을 분류한다.
• 플라빅 그래프는 포지트로이드 셀을 표현하는 데 사용되며, 소스 집합과 관련된 장식된 순열을 계산하기 위해 완전 매칭과 유량을 활용한다.
• 양의 트로픽 그라스만IAN Trop⁺Gr_{k+1,n}이 히퍼심플렉스의 정규 포지트로이드 분할에 대한 2차원 피그먼트임을 보여준다.
• 면별 분석을 통해 매트로이드 다면체가 포지트로이드 다면체임은 모든 2차원 면이 포지트로이드 다면체일 때에만 성립함을 증명한다.
• m=2의 경우, BCFW 분할에 대해 T-이중성 추측을 증명하고, 더 넓은 적용 가능성에 대한 실험적 증거를 제시한다.

실험 결과

연구 질문

• RQ1 히퍼심플렉스와 m=2 애밀리튜헤드론의 포지트로이드 분할 사이에 자연스러운 이중성이 존재하는가?
• RQ2 양의 트로픽 그라스만IAN이 히퍼심플렉스의 정규 포지트로이드 분할을 매개함을 보일 수 있고, 이중적으로 애밀리튜헤드론의 T-이중 분할을 제어함을 보일 수 있는가?
• RQ3 m=2일 때, 양의 그라스만IAN의 모멘트 맵 상의 이미지와 애밀리튜헤드론 맵 상의 이미지 사이의 정확한 관계는 무엇인가?
• RQ4 T-이중성 프레임워크는 어떻게 더 높은 짝수 m으로 일반화될 수 있으며, 어떤 구조가 도출되는가?
• RQ5 면의 구조에 따라 매트로이드 다면체가 포지트로이드 다면체임을 어떻게 특징지을 수 있는가?

주요 결과

• 양의 트로픽 그라스만IAN Trop⁺Gr_{k+1,n}은 히퍼심플렉스 Δ_{k+1,n}의 정규 포지트로이드 분할에 대한 2차원 피그먼트이다.
• 저자들은 매트로이드 다면체가 포지트로이드 다면체임은 모든 2차원 면이 포지트로이드 다면체일 때에만 성립함을 증명한다.
• BCFW 분할의 경우, T-이중성 추측이 증명되었으며, 히퍼심플렉스와 m=2 애밀리튜헤드론의 포지트로이드 분할 사이에 일대일 대응이 존재한다.
• 정규 포지트로이드 분할 내에서 최고차원의 포지트로이드 다면체의 수는 (n−2 choose k) 이하이며, 가장 세밀한 분할에서 등호가 성립한다.
• 논문은 임의의 짝수 m에 대해 운동량 애밀리튜헤드론을 정의하여 m=2의 경우를 일반화하고, 더 높은 m에 대한 이중성으로 향하는 길을 제시한다.
• 실험적 증거는 T-이중성 추측이 BCFW 분할을 초월하여도 성립함을 지지하며, 두 대상 간의 더 깊은 구조적 연결 고리를 시사한다.