Related papers: Reality and Computation in Schubert Calculus
Traditional formulations of geometric problems from the Schubert calculus, either in Plucker coordinates or in local coordinates provided by Schubert cells, yield systems of polynomials that are typically far from complete intersections and…
We apply verified numerics to the Nirenberg problem, proving that a genuine solution exists near two given computer-generated approximate solutions. This proves existence of a solution for a particular prescribed curvature that was…
We describe a Schubert induction theorem, a tool for analyzing intersections on a Grassmannian over an arbitrary base ring. The key ingredient in the proof is the Geometric Littlewood-Richardson rule, described in a companion paper.…
In the recent paper [arXiv:1612.06893] P. B\"urgisser and A. Lerario introduced a geometric framework for a probabilistic study of real Schubert Problems. They denoted by $\delta_{k,n}$ the average number of projective $k$-planes in…
We previously obtained a congruence modulo four for the number of real solutions to many Schubert problems on a square Grassmannian given by osculating flags. Here, we consider Schubert problems given by more general isotropic flags, and…
We single out some problems of Schubert calculus of subspaces of codimension 2 that have the property that all their solutions are real provided that the data are real. Our arguments explore the connection between subspaces of codimension 2…
In this note we generalize and prove a recent conjecture of Varchenko concerning the number of critical points of a (multivalued) meromorphic function $\phi$ on an algebraic manifold. Under certain conditions, this number turns out to…
Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is…
Formulating a Schubert problem as the solutions to a system of equations in either Pl\"ucker space or in the local coordinates of a Schubert cell typically involves more equations than variables. We present a novel primal-dual formulation…
Schubert calculus has been in the intersection of several fast developing areas of mathematics for a long time. Originally invented as the description of the cohomology of homogeneous spaces it has to be redesigned when applied to other…
We first recall Solomon's relations for Welschinger's invariants counting real curves in real symplectic fourfolds, announced in \cite{Jake2} and established in \cite{RealWDVV}, and the WDVV-style relations for Welschinger's invariants…
In this paper, we consider the Cauchy's problem of global existence and scattering behavior of small, smooth, and localized solutions of cubic fractional Schr\"odinger equations in one dimension, \begin{equation*} \mathrm{i} \partial_t u-…
The Shapiro conjecture in the real Schubert calculus fails to hold for flag manifolds, but in a very interesting way. In this extended abstract, we give a refinement of that conjecture for the flag manifold and present massive…
Given a rank 3 real arrangement $\mathcal A$ of $n$ lines in the projective plane, the Dirac-Motzkin conjecture (proved by Green and Tao in 2013) states that for $n$ sufficiently large, the number of simple intersection points of $\mathcal…
The puzzle rules for computing Schubert calculus on $d$-step flag manifolds, proven in [Knutson Tao 2003] for $1$-step, in [Buch Kresch Purbhoo Tamvakis 2016] for $2$-step, and conjectured in [Coskun Vakil 2009] for $3$-step, lead to vector…
``Vectorial'' numerical algorithms are proposed for solving the inverse and direct spectral scattering problems for the nonlinear vector Schroedinger equation, taking into account wave polarization, known as the Manakov system. It is shown…
We report on a project to use a theorem prover to find proofs of the theorems in Tarskian geometry. These theorems start with fundamental properties of betweenness, proceed through the derivations of several famous theorems due to Gupta and…
Suppose that 2d-2 tangent lines to the rational normal curve z\mapsto (1 : z : ... : z^d) in d-dimensional complex projective space are given. It was known that the number of codimension 2 subspaces intersecting all these lines is always…
The Cauchy problem for the generalized Zakharov-Kuznetsov equation $$\partial_t u +\partial_x\Delta u=\partial_x u^{k+1}, \qquad \qquad u(0)=u_0$$ is considered in space dimensions $n=2$ and $n=3$ for integer exponents $k \ge 3$. For data…
We describe an approach to the question of finding real solutions to problems of enumerative geometry, in particular the question of whether a problem of enumerative geometry can have all of its solutions be real. We give some methods to…