Related papers: The special Schubert calculus is real

We present a short elementary proof of the well-known criterion for a cubic polynomial to have three real roots. The proof is based on Fermat's approach to calculus for polynomials. This approach illustrates the idea of a derivative…

We ask whether every polynomial function that is non-negative on a real algebraic curve can be expressed as a sum of squares in the coordinate ring. Scheiderer has classified all irreducible curves for which this is the case. For reducible…

We prove that all arrangements (consistent with the Rolle theorem and some other natural restrictions) of the real roots of a real polynomial and of its $s$-th derivative are realizable by real polynomials.

The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…

We present a new geometric proof of Pieri's formula, exhibiting an explicit chain of rational equivalences from a suitable sum of distinct Schubert varieties to the intersection of a Schubert variety with a special Schubert variety. The…

We define and study proper permutations. Properness is a geometrically natural necessary criterion for a Schubert variety to be Levi-spherical. We prove the probability that a random permutation is proper goes to zero in the limit.

We show that complex representations of Clifford algebra can always be reduced either to a real or to a quaternionic algebra depending on signature of complex space thus showing that complex spinors are unavoidably either real Majorana…

Hilbert's first problem is of importance in relation to work being done in computational systems. It is the question of equipollence of natural and real numbers. By construction equipollence is established for real numbers in open interval…

In analogy with the geometric situation, we study real calculi over projective modules and show that they can be realized as projections of free real calculi. Moreover, we consider real calculi over matrix algebras and discuss several…

Two geometric inequalities are established for Einstein totally real submanifolds in a complex space form. As immediate applications of these inequalities, some non-existence results are obtained.

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

We prove that each real semisimple Lie algebra G has a Q-form, such that every real representation of G can be realized over the rational numbers Q. This was previously proved by M.S.Raghunathan (and rediscovered by P.Eberlein) in the…

Let X be the flag variety of the symplectic group. We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of X. We use these polynomials to…

A particular case of the Jacobian conjecture is considered and for small dimensional cases a computational approach is offered

We answer in the affirmative the surprisingly difficult questions: If a complex Banach space possesses a real predual X, then is X a complex Banach space? If a complex Banach space possesses a real predual, then does it have a complex…

We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point.…

In this paper we give an Immerman's Theorem for real-valued computation. We define circuits operating over real numbers and show that families of such circuits of polynomial size and constant depth decide exactly those sets of vectors of…

Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role…

Discontinuity with respect to data perturbations is common in algebraic computation where solutions are often highly sensitive. Such problems can be modeled as solving systems of equations at given data parameters. By appending auxiliary…

The nonlinear reality structure of the derivatives and the differentials for the euclidean q-spaces are found. A real Laplacian is constructed and reality properties of the exterior derivative are given.