Related papers: A primal-dual formulation for certifiable computat…
Modify the Blum-Shub-Smale model of computation replacing the permitted computational primitives (the real field operations) with any finite set $B$ of real functions semialgebraic over the rationals. Consider the class of boolean decision…
The complexity of computing the solutions of a system of multivariate polynomial equations by means of Groebner bases computations is upper bounded by a function of the solving degree. In this paper, we discuss how to rigorously estimate…
We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is…
Efficient power production scheduling is a crucial concern for power system operators aiming to minimize operational costs. Previous mixed-integer linear programming formulations for unit commitment (UC) problems have primarily used two or…
In this article we prove that Schubert union codes are Tanner codes constructed with the point--line incidence geometry that Schubert varieties inherit from the Grassmannian. We do this by first finding an lengthening algorithm for Tanner…
This paper works out the versions of the classical Giambelli and Pieri formulas in the context of quantum cohomology of a complex Grassmannian.
We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This…
A wide array of image recovery problems can be abstracted into the problem of minimizing a sum of composite convex functions in a Hilbert space. To solve such problems, primal-dual proximal approaches have been developed which provide…
We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a…
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…
We study the algebraic aspects of equivariant quantum cohomology algebra of the flag manifold. We introduce and study the quantum double Schubert polynomials, which are the Lascoux-Schutzenberger type representatives of the equivariant…
The classical double copy relating exact solutions of biadjoint scalar, gauge and gravity theories continues to receive widespread attention. Recently, a derivation of the exact classical double copy was presented, using ideas from twistor…
This is a generalization of the classic work of Beilinson, Lusztig and MacPherson. In this paper (and an Appendix) we show that the quantum algebras obtained via a BLM-type stabilization procedure in the setting of partial flag varieties of…
In this paper we provide some new sufficient conditions that ensure the existence of the solution of a weak vector equilibrium problem in Hausdorff topological vector spaces ordered by a cone. Further, we introduce a dual problem and we…
In Hilbert space, we propose a family of primal-dual dynamical system for affine constrained convex optimization problem. Several damping coefficients, time scaling coefficients, and perturbation terms are thus considered. By constructing…
Given the real Clifford algebra of a quadratic space with a given signature, we define a new product in this structure such that it simulates the Clifford product of a quadratic space with another signature different from the original one.…
It is known that the closure of an arbitrary K_c-orbit on a flag manifold is expressed as a product of a closed K_c-orbit and a Schubert cell ([M2], [Sp]). We already applied this fact to the duality of orbits on flag manifolds ([GM]). We…
We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(\lambda_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags…
We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers we call it a positive Ulrich sheaf if this bilinear form is symmetric or…
Using techniques from the theory of von Neumann algebras, we propose a framework for addressing questions of controllability of bilinear systems on infinite dimensional Hilbert spaces. In the setup, we assume only that the drift and control…