Related papers: Nonnegative Polynomials and Moment Problems on Alg…
We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A…
Cylindrical algebraic decomposition (CAD) is an important tool for working with polynomial systems, particularly quantifier elimination. However, it has complexity doubly exponential in the number of variables. The base algorithm can be…
We show that the Poincar\'e series counting orthogeodesics of a negatively curved surface with totally geodesic boundary extends meromorphically to the whole complex plane, as well as the series counting geodesic arcs linking two points; we…
We discuss a weak constraint qualification for conic linear programs and its applications for a few classes of cones. This constraint qualification is used to give a solution to a problem proposed by Shapiro and Z\v{a}linescu and show that…
We are interested in shapes of real algebraic curves in the plane and regions surrounded by them: they are named refined algebraic domains by the author. As characteristic finite sets, we consider points contained in two curves and the sets…
Let $C$ be a smooth projective curve over $\mathbb C$. Let $n,d\geq 1$. Let $\mathcal Q$ be the Quot scheme parameterizing torsion quotients of the vector bundle $\mathcal O^n_C$ of degree $d$. In this article we study the nef cone of…
In this paper, we study the rectifying curves in multiplicative Euclidean space of dimension 3, i.e., those curves for which the position vector always lies in its rectifying plane. Since the definition of rectifying curve is affine and not…
We determine the cones of effective and nef divisors on the toroidal compactification of the ball quotient model of the moduli space of complex cubic surfaces with a chosen line. From this we also compute the corresponding cones for the…
We determine all the quadratic points on the genus $13$ modular curve $X_0(163)$, thus completing the answer to a recent question of Banwait, the second-named author, and Padurariu. In doing so, we investigate a curious phenomenon involving…
An algebraic system is proposed that represent surface cobordisms in thickened surfaces. Module and comodule structures over Frobenius algebras are used for representing essential curves. The proposed structure gives a unified algebraic…
In this paper we consider convex subsets of locally-convex topological vector spaces. Given a fixed point in such a convex subset, we show that there exists a curve completely contained in the convex subset and leaving the point in a given…
Let S be a basic closed semi-algebraic set in R^n and P the corresponding preordering in R[X_1,...,X_n]. We examine for which polynomials f there exist identities f+\ep q \in P for all \ep>0. These are precisely the elements of the…
Shape constraints (such as non-negativity, monotonicity, convexity) play a central role in a large number of applications, as they usually improve performance for small sample size and help interpretability. However enforcing these shape…
The M\"obius polynomial is an invariant of ranked posets, closely related to the M\"obius function. In this paper, we study the M\"obius polynomial of face posets of convex polytopes. We present formulas for computing the M\"obius…
In 2015, Guth proved that for any set of $k$-dimensional bounded complexity varieties in $\mathbb{R}^d$ and for any positive integer $D$, there exists a polynomial of degree at most $D$ whose zero set divides $\mathbb{R}^d$ into open…
For curves singularities the dimension of smoothing components in the deformation space is an invariant of the singularity, but in general the deformation space has components of different dimensions. We are interested in the question what…
The algebras obtained as fixed points of the action of the cyclic group $Z_N$ on the coordinate algebra of the quantum disc are studied. These can be understood as coordinate algebras of quantum or non-commutative cones. The following…
A polynomial that is nonnegative need not be a sum of squares of polynomials. This classical gap, identified by Hilbert in 1888, lies at the heart of why the global optimization of multivariate quartic polynomials is NP-hard. Yet we show…
We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…
We prove that, for a K3 surface in characteristic p > 2, the automorphism group acts on the nef cone with a rational polyhedral fundamental domain and on the nodal classes with finitely many orbits. As a consequence, for any non-negative…