---
title: Positive Grassmannian
url: https://www.emergentmind.com/topics/positive-grassmannian
type: topic
---

# Positive Grassmannian

The positive Grassmannian, denoted $Gr_{>0}(k, n)$ or $Gr_+(k, n)$, is the subset of the real Grassmannian parameterizing $k$-dimensional subspaces of $\mathbb{R}^n$ for which all ordered Plücker coordinates are strictly positive. It forms a rich geometric, combinatorial, and algebraic structure, central to recent advances in cluster algebras, matroid theory, scattering amplitudes, integrable systems, and tropical geometry.

## 1. Definition and Cell Stratification

The Grassmannian $Gr(k, n)$ is the space of $k$-planes in $\mathbb{R}^n$, represented as equivalence classes $[Z]$ of full-rank $k \times n$ matrices modulo left $GL(k)$-action. For each $k$-subset $I = \{i_1 < \dots < i_k\}$, the Plücker coordinate is $\langle I \rangle = \det(Z_{i_1},\dots,Z_{i_k})$, and these satisfy the quadratic Plücker relations, such as $\langle 12\rangle \langle 34\rangle + \langle 23\rangle \langle 14\rangle = \langle 13\rangle \langle 24\rangle$ for $Gr(2,4)$.

The positive Grassmannian is
\[
Gr_+(k, n) = \left\{ [Z] \in Gr(k, n)\ \middle|\ \langle I\rangle > 0 \text{ for all ordered } I \in \binom{[n]}{k} \right\}.
\]
It is an open cell in the totally nonnegative Grassmannian $Gr_{\geq 0}(k, n)$, where all the Plücker coordinates are non-negative.

Postnikov proved that $Gr_+(k, n)$ is stratified into positroid cells (open positroid varieties) labeled by decorated permutations $w \colon [n] \to [n]$, satisfying $w(i+n) = w(i) + n$ and $i \leq w(i) \leq i+n$. Each cell corresponds to a precise pattern of vanishing and nonvanishing Plücker coordinates compatible with the Plücker relations [1406.7273].

## 2. Combinatorial and Polyhedral Models: Plabic Graphs and Positroid Cells

The positroid stratification is supported by explicit combinatorial models:

- **Plabic Graphs**: These are planar bicolored (black/white) graphs embedded in a disk with $n$ cyclically labeled boundary legs. Each reduced plabic graph (no contractible loops or parallel edges) encodes, via left-right traversal rules, a unique decorated permutation, and thus a positroid cell. Moves such as the square move and merge/unmerge transport between graphs of the same cell label without changing the positroid [1406.7273].
- **Le-diagrams**: Equivalently, positroid cells correspond to Le-diagrams—certain fillings of Young diagrams with prescribed zero-one patterns preventing a '01' to the right of a '1' in any row, capturing which Plücker coordinates can be zero [1808.01587].
- **Matroidal Perspective**: Each positroid cell is a real positroid variety, the closure of a basis shape locus, determined by a noncrossing transversal matroid presentation. Noncrossingness offers a sufficient and conjecturally necessary criterion for a matroid to be a positroid [1904.13361].

This leads to a rich interplay with polyhedral combinatorics. For example, bridge polytopes $Br(k, n)$ encode the combinatorics of BCFW decompositions of positroid cells and are positive analogs of the classical permutohedron [1501.00714]. The cell poset reflects both combinatorial and geometric boundary structure, and is closely related to the face-lattice of higher-dimensional associahedra.

## 3. Cluster Algebra Structure and Plabic-Quiver Duality

The coordinate ring $\mathbb{K}[Gr(k, n)]$ of the Grassmannian admits a natural cluster algebra structure: 

- Each reduced plabic graph $G$ for the top cell gives a seed—a quiver $Q_G$ (dual to the faces of $G$) and a set of cluster A-coordinates (Plücker coordinates labeling the faces).
- Cluster mutations correspond to local moves (especially the square move) on plabic graphs, yielding exchange relations among cluster variables that reproduce Plücker relations (e.g., $\langle 12\rangle\langle 34\rangle = \langle 13\rangle\langle 24\rangle + \langle 14\rangle\langle 23\rangle$).
- Lower-dimensional cells correspond to subalgebras, with cluster-equivalence to the coordinate rings of positroid varieties obtained by systematically deleting or freezing nodes in the quiver, tracking vanishing minors [1406.7273].

For $Gr_+(2, n)$, the cluster algebra is type $A_{n-3}$, realized combinatorially via triangulations of the $n$-gon; for $Gr_+(3,6)$ it is $D_4$, with cluster variables and mutations matching the associated generalized associahedron [1406.7273].

## 4. Polyhedral and Tropical Geometry: Hypersimplex, Positroidal Subdivisions, and the Positive Tropical Grassmannian

The positive Grassmannian is closely related to regular positroidal subdivisions of the hypersimplex $\Delta_{k, n}$, defined as $\{x \in [0,1]^n : \sum x_i = k\}$. The secondary fan of $\Delta_{k, n}$ coincides with the positive tropical Grassmannian $\operatorname{Trop}^+ Gr_{k, n}$.

- **Tropical Structure**: The $\operatorname{Trop}^+ Gr_{k, n}$ is defined by the positive parts of the tropical Plücker relations: for every $4$-tuple, the minimum among $P_{Sac}+P_{Sbd}$, $P_{Sab}+P_{Scd}$, $P_{Sad}+P_{Sbc}$ is attained at least twice, with the minimal pair drawn from those with positive signs. The positive Dressian is cut out by these relations, and $\operatorname{Trop}^+ Gr_{k, n} = \operatorname{Dr}^+_{k, n}$ [2003.10231].
- **Positroid polytopes**: Any positroid polytope is characterized by the property that all its two-dimensional faces are again positroid polytopes [2002.06164].
- **Polyhedral Subdivisions**: Each regular positroidal subdivision of $\Delta_{k, n}$ arises from a positive tropical Plücker vector and corresponds to a positroid tiling, i.e., a covering of the hypersimplex by positroid polytopes with disjoint interiors [1806.05307].

This framework also governs the classification of asymptotic soliton solutions to the KP equation, where, for $k=2$, soliton graphs correspond exactly to triangulations of the $n$-gon, and for $k=3$, to plabic graphs and maximal weakly separated collections [1808.01587].

## 5. Applications: Scattering Amplitudes, Integrable Systems, and Amplituhedra

The positive Grassmannian is a cornerstone of modern approaches to scattering amplitudes in planar $\mathcal{N}=4$ super-Yang-Mills theory:

- **On-shell Diagrams**: Each planar on-shell diagram corresponds to a positroid cell; BCFW bridge moves correspond to adjacent transpositions in permutations labeling the cells [1212.5605]. The measure on each cell is naturally expressed as a product of $d\log$ forms in positive variables, reflecting Yangian invariance and factorization properties.
- **Amplituhedron**: The amplituhedron $\mathcal{A}_{n, k, m}(Z)$ is the image of $Gr_+(k, n)$ under a totally positive linear map $\mathbb{R}^n \to \mathbb{R}^{k+m}$, generalizing cyclic polytopes and encoding all tree-level scattering amplitudes [2110.10856]. The positroid stratification descends to canonical tilings of the amplituhedron.
- **KP Solitons**: In integrable systems, the leading-order asymptotic behavior of KP soliton solutions is governed by the stratification of $Gr_+(k, n)$, with combinatorial data directly controlling soliton interaction patterns [1808.01587].

These structures provide a uniform framework for both combinatorial enumeration of amplitude terms (via positroid tilings or plabic graphs) and analytic calculation (through $d\log$ measures and positive parameterizations).

## 6. Minor Arrangements, Weak Separation, and Symmetry Properties

The configuration of equalities and inequalities among Plücker coordinates yields further stratifications on the positive Grassmannian:

- **Largest Minors**: Arrangements of equal largest minors are indexed by sorted sets; they correspond to simplices of the alcoved triangulation of the hypersimplex and are counted by Eulerian numbers.
- **Smallest Minors**: Arrangements of equal smallest minors correspond (for $k \leq 3$ or $k \geq n-3$) to maximal weakly separated sets, which are precisely the clusters of the associated cluster algebra and realized by face labels of reduced plabic graphs.
- **Non-weakly Separated Cases**: For $k \geq 4$, plabic graph "chain reactions" can realize additional arrangements of smallest minors beyond weakly separated sets, controlled by Dyck-path interlacing patterns [1502.01434].
- **Symmetry and Extremal Problems**: The cyclic symmetry of $Gr_+(2, n)$ ensures the regular polygon minimizes the ratio of largest to smallest Plücker coordinate among all points, with uniqueness depending on $n \bmod 4$ [2005.00185].

## 7. Positive Geometries and Current Developments

Cutting the positive Grassmannian by additional linear inequalities yields new positive geometries beyond the classical simplex or amplituhedron. For example, intersections with five or six hyperplanes in $Gr(2, 4)$ (the positive pentahedron or hexahedron) may or may not admit unique adjoint forms (canonical forms with prescribed residues on facets), and this stratification leads to open questions about classification and explicit construction of such positive geometries [2503.01652].

Furthermore, the connection to tropical and polyhedral models extends to the study of weighted blade arrangements and the identification of extremal rays of the positive tropical Grassmannian, supporting an emerging hierarchy of elementary subdivision types with combinatorial interpretation [2005.12305].

---

The positive Grassmannian thus lies at the nexus of geometry, combinatorics, and physics, organizing the algebraic, polyhedral, and tropical structures underlying modern theories of total positivity, cluster algebras, scattering amplitudes, integrable models, and their discrete and continuous limits. Its stratification by positroids, cluster subalgebras, polyhedral subdivisions, and tropical fans provides a unifying framework for the algebraic and combinatorial phenomena observable in nonnegative real algebraic geometry and high-energy theoretical physics [1406.7273][1808.01587][1502.01434][1806.05307][1212.5605][2110.10856][1904.13361][2002.06164][2003.10231][2503.01652][2005.00185][2005.12305].

Source: https://www.emergentmind.com/topics/positive-grassmannian