Real Schubert Calculus: Polynomial Systems and a Conjecture of Shapiro and Shapiro

REFERENCES

• Ando , T. 1987 . “Totally positive matrices” . Linear Algebra Appl. , 90 : 165 – 219 . [Ando 1987]
   Web of Science ®Google Scholar
• Berenstein , A. , Fomin , S. and Zelevinsky , A. 1996 . “Parametrizations of canonical bases and totally positive matrices” . Adv. Math. , 122 ( 1 ) : 49 – 149 . [Berenstein et al. 1996]
   Web of Science ®Google Scholar
• Brockett , R. W. and Byrnes , C. I. 1981 . “Multivariable Nyquist criteria, root loci, and pole placement: a geometric viewpoint” . IEEE Trans. Automat. Control , 26 ( 1 ) : 271 – 284 . [Brockett and Byrnes 1981]
   Web of Science ®Google Scholar
• Byrnes , C. I. 1980 . “Algebraic and geometric aspects of the analysis of feedback systems”. ” . In Geometrical methods for the study of linear systems (Cambridge, MA, 1979) 85 – 124 . Dordrecht : Reidel. . [Byrnes 1980], Proc. NATO Adv. Study Inst.
   Google Scholar
• Byrnes , C. I. 1983 . “Control theory, inverse spectral problems, and real algebraic geometry”. ” . In Differential geometric control theory (Houghton, MI, 1982) Edited by: Brockett , R. W. 192 – 208 . Boston : Birkhäuser. . [Byrnes 1983]
   Google Scholar
• Byrnes , C. I. 1989 . “Pole assignment by output feedback”. ” . In Three decades of mathematical system theory Edited by: Nijmeijer , H. and Schumacher , J. M. 31 – 78 . Berlin : Springer. . [Byrnes 1989], Lecture Notes in Control and Inform. Sci. 135
   Google Scholar
• Byrnes , C. I. and Stevens , P. K. 1982 . “Global properties of the root-locus map”. ” . In Feedback control of linear and nonlinear systems (Bielefeld/Rome, 1981) Edited by: Hinrich-sen , D. and Isidori , A. 9 – 29 . Berlin : Springer. . [Byrnes and Stevens 1982], Lecture Notes in Control and Inform. Sci. 39
   Google Scholar
• Choi , M. D. , Lam , T. Y. and Reznick , B. 1987 . “Even symmetric sextics” . Math. Z. , 195 ( 4 ) : 559 – 580 . [Choi et al. 1987]
   Web of Science ®Google Scholar
• Choi , M. D. , Lam , T. Y. and Reznick , B. 1995 . “Sums of squares of real polynomials”. ” . In K-theory and algebraic geometry: connections with quadratic forms and division algebras (Santa Barbara, CA, 1992) Edited by: Jacob , B. and Rosenberg , A. vol. 2 , 103 – 126 . Providence , RI : Amer. Math. Soc. . [Choi et al. 1995], Proc. Symp. Pure Math. 58
   Google Scholar
• Cox , D. , Little , J. and O'Shea , D. 1998 . Using algebraic geometry New York : Springer. . [Cox et al. 1998], Graduate Texts in Math. 185
   Google Scholar
• Dietmaier , P. 1998 . “The Stewart-Gough platform of general geometry can have 40 real postures”. ” . In Advances in robot kinematics: analysis and control (Salzburg, 1998) Edited by: Lenarcic , J. and Husty , M. L. 7 – 16 . Dordrecht : Kluwer Acad. Publ. . [Dietmaier 1998]
   Google Scholar
• Eisenbud , D. and Harris , J. 1983 . “Divisors on general curves and cuspidal rational curves” . Invent. Math. , 74 ( 3 ) : 371 – 418 . [Eisenbud and Harris 1983]
   Web of Science ®Google Scholar
• Eisenbud , D. and Harris , J. 1987 . “When ramification points meet” . Invent. Math. , 87 ( 3 ) : 485 – 493 . [Eisenbud and Harris 1987]
   Web of Science ®Google Scholar
• Eremenko , A. and Gabrielov , A. Dec 1999 . “Rational functions with real critical points and B. and M. Shapiro conjecture in real enumerative geometry” Dec , [Eremenko and Gabrielov 1999], Manuscript
   Google Scholar
• Faugère , J. C. “FGb” [Faugère n.d.], software. See http://posso.lip6.fr/~jcf
   Google Scholar
• Faugère , J. C. , Gianni , P. , Lazard , D. and Mora , T. 1993 . “Efficient computation of zero-dimensional Gröbner bases by change of ordering” . J. Symbolic Comput. , 16 ( 4 ) : 329 – 344 . [Faugère et al. 1993]
   Web of Science ®Google Scholar
• Faugère , J.-C. , Rouillier , F. and Zimmerman , P. 1998 . [Faugère et al. 1998], Personal communication
   Google Scholar
• Fulton , W. 1996 . Introduction to intersection theory in algebraic geometry, , 2nd ed. Providence , RI : Amer. Math. Soc. . [Fulton 1996], CBMS regional conference series in Mathematics
   Google Scholar
• Fulton , W. 1997 . Young tableaux Cambridge : Cambridge University Press. . [Fulton 1997], London Math. Soc. Student Texts 35
   Google Scholar
• Gonzalez-Vega , L. , Rouillier , F. , Roy , M.-F. and Trujillo , G. 1999 . “Symbolic recipes for real solutions”. ” . In Some tapas of computer algebra Edited by: Cohen , A. 121 – 167 . Berlin : Springer. . [Gonzalez-Vega et al. 1999], Algorithms and Comp. in Math. 4
   Google Scholar
• Greuel , G.-M. , Pfister , G. and Schönemann , H. June 1998 . “Singular, a computer algebra system for polynomial computations (version 1.2)” [Greuel et al. 1998], See http://www.singular.uni-kl.de
   Google Scholar
• Harris , J. 1979 . “Galois groups of enumerative problems” . Duke Math. J. , 46 ( 4 ) : 685 – 724 . [Harris 1979]
   Web of Science ®Google Scholar
• Hilbert , D. 1888 . “Ueber die Darstellung definiter Formen als Summe von Formen-quadraten” . Math. Ann. , 32 : 342 – 350 . [Hilbert 1888]
   Google Scholar
• Hodge , W. V. D. and Pedoe , D. 1952 . Methods of algebraic geometry vol. 2 , Cambridge : Cambridge Univ. Press. . [Hodge and Pedoe 1952], Reprinted 1994 in the series Cambridge Mathematical Library
   Google Scholar
• Huber , B. , Sottile , F. and Sturmfels , B. 1998 . “Numerical Schubert calculus” . J. Symbolic Comput. , 26 ( 6 ) : 767 – 788 . [Huber et al. 1998]
   Web of Science ®Google Scholar
• Kleiman , S. L. 1974 . “The transversality of a general translate” . Compositio Math. , 28 : 287 – 297 . [Kleiman 1974]
   Web of Science ®Google Scholar
• Kleiman , S. L. and Laksov , D. 1972 . “Schubert calculus” . Amer. Math. Monthly , 79 : 1061 – 1082 . [Kleiman and Laksov 1972]
   Web of Science ®Google Scholar
• Kushnirenko , A. G. 1975 . “A Newton polyhedron and the number of solutions of a system of k equations in k unknowns” . Usp. Math. Nauk. , 30 : 266 – 267 . [Kushnirenko 1975]
   Google Scholar
• Loewner , C. 1955 . “On totally positive matrices” . Math. Z. , 63 : 338 – 340 . [Loewner 1955]
   Google Scholar
• Martin , C. and Hermann , R. 1978 . “Applications of algebraic geometry to systems theory, III: The McMillan degree and Kronecker indices of transfer functions as topological and holomorphic system invariants” . SIAM J. Control Optim. , 16 ( 5 ) : 743 – 755 . [Martin and Hermann 1978]
   Web of Science ®Google Scholar
• Morse , A. S. , Wolovich , W. A. and Anderson , B. D. O. “Generic pole assignment: Preliminary results” . Proc. of the 20th IEEE Conference on Decision and Control . San Diego : IEEE. . [Morse et al. 1981]
   Google Scholar
• Ravi , M. S. , Rosenthal , J. and Helmke , U. “On output feedback invariants and cascade equivalence of systems” . Proc. of the 36th IEEE Conference on Decision and Control . pp. 4243 – 4248 . San Diego : IEEE. . [Ravi et al. 1997]
   Google Scholar
• Ronga , F. , Tognoli , A. and Vust , T. 1997 . “The number of conies tangent to five given conies: the real case” . Rev. Mat. Univ. Complut. Madrid , 10 ( 2 ) : 391 – 421 . [Ronga et al. 1997]
   Google Scholar
• Rosenthal , J. and Sottile , F. 1998 . “Some remarks on real and complex output feedback” . Systems Control Lett. , 33 ( 2 ) : 73 – 80 . [Rosenthal and Sottile 1998], See http://www.nd.edu/-rosen/pole for a description of computational aspects of the paper.
   Web of Science ®Google Scholar
• Rosenthal , J. , Schumacher , J. M. and Willems , J. C. 1995 . “Generic eigenvalue assignment by memoryless real output feedback” . Systems Control Lett. , 26 ( 4 ) : 253 – 260 . [Rosenthal et al. 1995]
   Web of Science ®Google Scholar
• Rouillier , F. 1998 . “Solving zero-dimensional systems through the Rational Univariate Representation” Projet Polka, INRIA Lorraine. . [Rouillier 1998], Technical report
   Google Scholar
• Rouillier , F. “RealSolving” [Rouillier n.d.], software. See http://www.loria.fr/~rouillie
   Google Scholar
• Schubert , H. 1886 . “Anzahl-Bestimmungen für lineare Räume beliebiger Dimension” . Acta. Math. , 8 : 97 – 118 . [Schubert 1886]
   Google Scholar
• Shapiro , B. Z. and Shapiro , M. Z. 1992 . “The M-property of flag varieties” . Topology Appl. , 43 ( 1 ) : 65 – 81 . [Shapiro and Shapiro 1992]
   Web of Science ®Google Scholar
• Shapiro , B. Z. and Shapiro , M. Z. 1995 . “On the boundary of totally positive upper triangular matrices” . Linear Algebra Appl. , 231 : 105 – 109 . [Shapiro and Shapiro 1995]
   Web of Science ®Google Scholar
• Sottile , F. 1997 . “Enumerative geometry for real varieties”. ” . In Algebraic geometry (Santa Cruz, 1995) Edited by: Kollár , J. vol. 1 , 435 – 447 . Providence , RI : Amer. Math. Soc. . [Sottile 1997a], Proc. Sympos. Pure Math. 62
   Google Scholar
• Sottile , F. 1997 . “Enumerative geometry for the real Grassmannian of lines in projective space” . Duke Math. J. , 87 ( 1 ) : 59 – 85 . [Sottile 1997b]
   Web of Science ®Google Scholar
• Sottile , F. 1997 . “Real enumerative geometry and effective algebraic equivalence” . J. Pure Appl. Algebra , 117/118 : 601 – 615 . [Sottile 1997c]
   Web of Science ®Google Scholar
• Sottile , F. 1999 . “The conjecture of Shapiro and Shapiro” [Sottile 1999a], summary and archive of computations, See http://www.expmath.Org/extra/9.2/sottile
   Google Scholar
• Sottile , F. 1999 . “The special Schubert calculus is real” . Electron. Res. Announc. Amer. Math. Soc. , 5 : 35 – 39 . [Sottile 1999b], See http://www.ams.org/era
   Google Scholar
• Sottile , F. 2000 . “Real rational curves in Grassmannians” . J. Amer. Math. Soc. , 13 : 333 – 341 . [Sottile 2000a]
   Web of Science ®Google Scholar
• Sottile , F. 2000 . “Some real and unreal enumerative geometry for flag manifolds” . Mich. Math. J. , [Sottile 2000b], To appear
   Web of Science ®Google Scholar
• Strømme , S. A. 1987 . “On parametrized rational curves in Grassmann varieties”. ” . In Space curves (Rocca di Papa, 1985) Edited by: Ghione , F. 251 – 272 . Berlin : Springer. . [Strømme 1987], Lecture Notes in Math. 1266
   Google Scholar
• Sturmfels , B. 1994 . “On the number of real roots of a sparse polynomial system”. ” . In Hamiltonian and gradient flows, algorithms and control Edited by: Bloch , A. 137 – 143 . Providence , RI : Amer. Math. Soc. . [Sturmfels 1994], Fields Inst. Commun. 3
   Google Scholar
• Sturmfels , B. 1998 . “Polynomial equations and convex polytopes” . Amer. Math. Monthly , 105 ( 10 ) : 907 – 922 . [Sturmfels 1998]
   Web of Science ®Google Scholar
• Syrmos , V. L. , Abdallah , C. T. , Dorato , P. and Grigoriadis , K. 1997 . “Static output feedback–a survey” . Automatica (International Federation of Automatic Control) , 33 ( 2 ) : 125 – 137 . [Syrmos et al. 1997]
   Web of Science ®Google Scholar
• Verschelde , J. 1999 . “PHC: A general-purpose solver for polynomial systems by homo-topy continuation” . ACM Trans. Math. Software , 25 ( 2 ) : 251 – 276 . [Verschelde 1999], Includes the associated software, available from http://www.acm.org/calgo and, in a more recent version, from the author's Web page
   Web of Science ®Google Scholar
• Verschelde , J. 2000 . “Numerical evidence of a conjecture in real algebraic geometry” . Experiment. Math. , 9 ( 2 ) : 183 – 196 . [Verschelde 2000]
   Web of Science ®Google Scholar
• Willems , J. C. and Hesselink , W. H. “Generic properties of the pole placement problem” . Proc. of the 7th IFAC Congress . pp. 1725 – 1729 . Pittsburgh , PA : International Federation of Automatic Control. . [Willems and Hesselink 1978]
   Google Scholar