Sign variation, the Grassmannian, and total positivity

Abstract

The totally nonnegative Grassmannian is the set of k-dimensional subspaces V of R^n whose nonzero Pluecker coordinates all have the same sign. Gantmakher and Krein (1950) and Schoenberg and Whitney (1951) independently showed that V is totally nonnegative iff every vector in V, when viewed as a sequence of n numbers and ignoring any zeros, changes sign at most k-1 times. We generalize this result from the totally nonnegative Grassmannian to the entire Grassmannian, showing that if V is generic (i.e. has no zero Pluecker coordinates), then the vectors in V change sign at most m times iff certain sequences of Pluecker coordinates of V change sign at most m-k+1 times. We also give an algorithm which, given a non-generic V whose vectors change sign at most m times, perturbs V into a generic subspace whose vectors also change sign at most m times. We deduce that among all V whose vectors change sign at most m times, the generic subspaces are dense. These results generalize to oriented matroids. As an application of our results, we characterize when a generalized amplituhedron construction, in the sense of Arkani-Hamed and Trnka (2013), is well defined. We also give two ways of obtaining the positroid cell of each V in the totally nonnegative Grassmannian from the sign patterns of vectors in V.

28 pages. v2: We characterize when a generalized amplituhedron construction is well defined, in new Section 4 (the previous Section 4 is now Section 5); v3: Final version to appear in J. Combin. Theory Ser. A

References in corpus (2)

• The Amplituhedron
• Total positivity, Grassmannians, and networks

Cited by in corpus (16)

• Positive Geometries and Canonical Forms
• The m=1 amplituhedron and cyclic hyperplane arrangements
• Ising model and the positive orthogonal Grassmannian
• Moment curves and cyclic symmetry for positive Grassmannians
• The m=2 amplituhedron and the hypersimplex: signs, clusters, triangulations, Eulerian numbers
• On two notions of total positivity for partial flag varieties
• Basis shape loci and the positive Grassmannian
• Critical varieties in the Grassmannian
• Gradient flows, adjoint orbits, and the topology of totally nonnegative flag varieties
• Simpler Grassmannian optimization
• Higher Dimensional Fourier Quasicrystals from Lee-Yang Varieties
• Boundary measurement and sign variation in real projective space
• Wronskians, total positivity, and real Schubert calculus
• Positively Hyperbolic Varieties, Tropicalization, and Positroids
• Plabic Tangles and Cluster Promotion Maps
• Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment