[Paper Review] On the Boundaries of the m=2 Amplituhedron

Tomasz Łukowski|arXiv (Cornell University)|Aug 1, 2019

Advanced Combinatorial Mathematics12 references4 citations

TL;DR

This paper classifies all boundaries of the m=2 amplituhedron 𝒜ⁿ,ᵏ⁽²⁾ using a diagrammatic representation based on positroid cells and their images under a positive linear map. It proves the boundary poset is Eulerian and computes the Euler characteristic as one, providing strong topological evidence that the amplituhedron is homeomorphic to a (2k)-dimensional ball.

ABSTRACT

Amplituhedra $\mathcal{A}_{n,k}^{(m)}$ are geometric objects of great interest in modern mathematics and physics: for mathematicians they are combinatorially rich generalizations of polygons and polytopes, based on the notion of positivity; for physicists, the amplituhedron $\mathcal{A}^{(4)}_{n,k}$ encodes the scattering amplitudes of the planar $\mathcal{N}=4$ super Yang-Mills theory. In this paper we study the structure of boundaries for the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We classify all boundaries of all dimensions and provide their graphical enumeration. We find that the boundary poset for the amplituhedron is Eulerian and show that the Euler characteristic of the amplituhedron equals one. This provides an initial step towards proving that the amplituhedron for $m=2$ is homeomorphic to a closed ball.

Motivation & Objective

• To classify all boundaries of the m=2 amplituhedron 𝒜ⁿ,ᵏ⁽²⁾ across all dimensions.
• To study the structure of the boundary poset of the amplituhedron and verify its Eulerian property.
• To compute the Euler characteristic of the amplituhedron and assess its topological implications.
• To provide a diagrammatic enumeration method for boundaries to enable combinatorial analysis for arbitrary n and k.
• To lay foundational topological evidence toward proving that 𝒜ⁿ,ᵏ⁽²⁾ is homeomorphic to a (2k)-dimensional closed ball.

Proposed method

• Uses the known classification of boundaries of the positive Grassmannian G₊(k,n) via permutations and positroid cells.
• Defines the amplituhedron as the image of the positive Grassmannian under a positive linear map Φ_Z induced by a (k+2)×n matrix Z with positive minors.
• Introduces a diagrammatic notation using symbols P⁽ⁿ⁾ₜₒₚ, P⁽ⁿ⁾ᵢᵢ₊₁, and P⁽ⁿ⁾ᵢ to represent different types of positroid cells and their images.
• Defines amplituhedron dimension dimₐ(σ) as the dimension of Φ_Z(σ), distinguishing between simplicial-like (dim_C = dim_A) and polytopal-like (dim_C > dim_A) images.
• Constructs a boundary operator ∂ₐ acting on diagrammatic labels to recursively generate all boundaries of decreasing dimension.
• Imposes algebraic relations (e.g., (Pᵢⱼ − Pᵢₗ + Pⱼₗ)⊗Pⱼ = 0) to ensure closure and capture non-generic boundary types.

Experimental results

Research questions

• RQ1 What is the complete combinatorial classification of all boundaries of the m=2 amplituhedron 𝒜ⁿ,ᵏ⁽²⁾ for arbitrary n and k?
• RQ2 Is the boundary poset of the m=2 amplituhedron Eulerian, and what does this imply for its topology?
• RQ3 What is the Euler characteristic of the amplituhedron 𝒜ⁿ,ᵏ⁽²⁾, and does it support the conjecture that it is homeomorphic to a (2k)-dimensional ball?
• RQ4 Can a diagrammatic and algebraic framework be constructed to systematically enumerate all amplituhedron boundaries, including non-generic ones?
• RQ5 How does the boundary structure of the m=2 amplituhedron compare to that of the m=1 and m=4 cases, particularly in terms of topological and combinatorial properties?

Key findings

• All boundaries of the m=2 amplituhedron 𝒜ⁿ,ᵏ⁽²⁾ are fully classified for all dimensions and all n, k using a diagrammatic notation based on P⁽ⁿ⁾ₜₒₚ, P⁽ⁿ⁾ᵢᵢ₊₁, and P⁽ⁿ⁾ᵢ symbols.
• The boundary poset of the amplituhedron is proven to be Eulerian, a key structural property supporting its topological simplicity.
• The Euler characteristic of the amplituhedron 𝒜ⁿ,ᵏ⁽²⁾ is computed to be exactly one, consistent with the topology of a (2k)-dimensional closed ball.
• The amplituhedron dimension dimₐ(σ) is calculated as 2t − l, where t is the number of P⁽ⁿ⁾ₜₒₚ symbols and l is the number of P⁽ⁿ⁾ᵢᵢ₊₁ symbols in the diagrammatic label.
• The Grassmannian dimension dim_C(σ) is given by (n−k)t + l, showing the distinction between the original cell dimension and the image dimension under Φ_Z.
• A recursive boundary operator ∂ₐ is defined that generates all boundaries from higher to lower dimensions, with algebraic consistency enforced via relations like (Pᵢⱼ − Pᵢₗ + Pⱼₗ)⊗Pⱼ = 0 to capture non-generic cases.