3,395 research outputs found
Sign variation, the Grassmannian, and total positivity
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.Comment: 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.
Moment curves and cyclic symmetry for positive Grassmannians
We show that for each k and n, the cyclic shift map on the complex
Grassmannian Gr(k,n) has exactly fixed points. There is a unique
totally nonnegative fixed point, given by taking n equally spaced points on the
trigonometric moment curve (if k is odd) or the symmetric moment curve (if k is
even). We introduce a parameter q, and show that the fixed points of a
q-deformation of the cyclic shift map are precisely the critical points of the
mirror-symmetric superpotential on Gr(k,n). This follows from
results of Rietsch about the quantum cohomology ring of Gr(k,n). We survey many
other diverse contexts which feature moment curves and the cyclic shift map.Comment: 18 pages. v2: Minor change
The totally nonnegative Grassmannian is a ball
We prove that three spaces of importance in topological combinatorics are
homeomorphic to closed balls: the totally nonnegative Grassmannian, the
compactification of the space of electrical networks, and the cyclically
symmetric amplituhedron.Comment: 19 pages. v2: Exposition improved in many place
Regularity theorem for totally nonnegative flag varieties
We show that the totally nonnegative part of a partial flag variety (in
the sense of Lusztig) is a regular CW complex, confirming a conjecture of
Williams. In particular, the closure of each positroid cell inside the totally
nonnegative Grassmannian is homeomorphic to a ball, confirming a conjecture of
Postnikov.Comment: 63 pages, 2 figures; v2: Minor changes; v3: Final version to appear
in J. Amer. Math. So
Wronskians, total positivity, and real Schubert calculus
A complete flag in is a sequence of nested subspaces such that each has dimension . It is
called totally nonnegative if all its Pl\"ucker coordinates are nonnegative. We
may view each as a subspace of polynomials in of degree
at most , by associating a vector in to
the polynomial . We show that a complete flag
is totally nonnegative if and only if each of its Wronskian polynomials
is nonzero on the interval . In the language of
Chebyshev systems, this means that the flag forms a Markov system or ECT-system
on . This gives a new characterization and membership test for the
totally nonnegative flag variety. Similarly, we show that a complete flag is
totally positive if and only if each is nonzero on . We
use these results to show that a conjecture of Eremenko (2015) in real Schubert
calculus is equivalent to the following conjecture: if is a
finite-dimensional subspace of polynomials such that all complex zeros of
lie in the interval , then all Pl\"ucker coordinates of
are real and positive. This conjecture is a totally positive strengthening
of a result of Mukhin, Tarasov, and Varchenko (2009), and can be reformulated
as saying that all complex solutions to a certain family of Schubert problems
in the Grassmannian are real and totally positive. We also show that our
conjecture is equivalent to a totally positive strengthening of the secant
conjecture (2012).Comment: 24 pages. v2: Updated reference
Defining amplituhedra and Grassmann polytopes
International audienceThe totally nonnegative Grassmannian Gr≥0 k,n is the set of k-dimensional subspaces V of Rn whose nonzero Plucker coordinates all have the same sign. In their study of scattering amplitudes in N = 4 supersym- metric Yang-Mills theory, Arkani-Hamed and Trnka (2013) considered the image (called an amplituhedron) of Gr≥0 k,n under a linear map Z : Rn → Rr, where k ≤ r and the r × r minors of Z are all positive. One reason they required this positivity condition is to ensure that the map Gr≥0 k,n → Grk,r induced by Z is well defined, i.e. it takes everynelement of Gr≥0 k,n to a k-dimensional subspace of Rr. Lam (2015) gave a sufficient condition for the induced map Gr≥0 k,n → Grk,r to be well defined, in which case he called the image a Grassmann polytope. (In the case k = 1, Grassmann polytopes are just polytopes, and amplituhedra are cyclic polytopes.) We give a necessary and sufficient condition for the induced map Gr≥0 k,n → Grk,r to be well defined, in terms of sign variation. Using previous work we presented at FPSAC 2015, we obtain an equivalent condition in terms of the r × r minors of Z (assuming Z has rank r)
On Randomized Algorithms for Matching in the Online Preemptive Model
We investigate the power of randomized algorithms for the maximum cardinality
matching (MCM) and the maximum weight matching (MWM) problems in the online
preemptive model. In this model, the edges of a graph are revealed one by one
and the algorithm is required to always maintain a valid matching. On seeing an
edge, the algorithm has to either accept or reject the edge. If accepted, then
the adjacent edges are discarded. The complexity of the problem is settled for
deterministic algorithms.
Almost nothing is known for randomized algorithms. A lower bound of
is known for MCM with a trivial upper bound of . An upper bound of
is known for MWM. We initiate a systematic study of the same in this paper with
an aim to isolate and understand the difficulty. We begin with a primal-dual
analysis of the deterministic algorithm due to McGregor. All deterministic
lower bounds are on instances which are trees at every step. For this class of
(unweighted) graphs we present a randomized algorithm which is
-competitive. The analysis is a considerable extension of the
(simple) primal-dual analysis for the deterministic case. The key new technique
is that the distribution of primal charge to dual variables depends on the
"neighborhood" and needs to be done after having seen the entire input. The
assignment is asymmetric: in that edges may assign different charges to the two
end-points. Also the proof depends on a non-trivial structural statement on the
performance of the algorithm on the input tree.
The other main result of this paper is an extension of the deterministic
lower bound of Varadaraja to a natural class of randomized algorithms which
decide whether to accept a new edge or not using independent random choices
- …