Source author record

Daniel Perrucci

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CO Computational Geometry math.AC math.AT math.OC Symbolic Computation

Catalog footprint

Research overview

8works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Rational certificates of non-negativity on semialgebraic subsets of cylinders

Let $g_1,\dots, g_s \in \mathbb{R}[X_1,\dots, X_n,Y]$ and $S = \{(\bar{x},y)\in \mathbb{R}^{n+1} \mid g_1(\bar{x},y) \ge 0, \dots, g_s(\bar{x}, y) \ge 0\}$ be a non-empty, possibly unbounded, subset of a cylinder in $\mathbb{R}^{n+1}$ . Let $f \in \mathbb{R}[X_1, \dots, X_n, Y]$ be a polynomial which is positive on $S$ . We prove that, under certain additional assumptions, for any non-constant polynomial $q \in \mathbb{R}[Y]$ which is positive on $\mathbb{R}$ , there is a certificate of the non-negativity of $f$ on $S$ given by a rational function having as numerator a polynomial in the quadratic module generated by $g_1, \dots, g_s$ and as denominator a power of $q$ .

preprint2022arXiv

Topology of real multi-affine hypersurfaces and a homological stability property

Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$ . This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of degree $d$ in $\mathrm{R}^n$ due to Petrovski{\uı} and Ole{\uı}nik, Thom and Milnor). Moreover, we show there exists $c > 1$ , such that given a sequence $(B_n)_{n >0}$ where $B_n$ is a closed ball in $\mathrm{R}^n$ of positive radious, there exist hypersurfaces $(V_n)_{n_>0}$ defined by symmetric multi-affine polynomials of degree $4$ , such that $\sum_{i \leq 5} b_i(V_n \cap B_n) > c^n$ , where $b_i(\cdot)$ denotes the $i$ -th Betti number with rational coeffcients. Finally, as an application of the main result of the paper we verify a representational stability conjecture due to Basu and Riener on the cohomology modules of symmetric real algebraic sets for a new and much larger class of symmetric real algebraic sets than known before.

preprint2020arXiv

A new general formula for the Cauchy Index on an interval with Subresultants

We present a new formula for the Cauchy index of a rational function on an interval using subresultant polynomials. There is no condition on the endpoints of the interval and the formula also involves in some cases less subresultant polynomials.

preprint2020arXiv

A version of Putinar's Positivstellensatz for cylinders

We prove that, under some additional assumption, Putinar's Positivstellensatz holds on cylinders of type $S \times {\mathbb R}$ with $S = \{x \in {\mathbb R}^n | g_1(x) \ge 0, ..., g_s(x) \ge 0\}$ such that the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n]$ is archimedean, and we provide a degree bound for the representation of a polynomial $f \in {\mathbb R}[X_1, ..., X_n, Y]$ which is positive on $S \times {\mathbb R}$ as an explicit element of the quadratic module generated by $g_1, ..., g_s$ in ${\mathbb R}[X_1, ..., X_n, Y]$ . We also include an example to show that an additional assumption is necessary for Putinar's Positivstellensatz to hold on cylinders of this type.

preprint2016arXiv

On the Davenport-Mahler bound

We prove that the Davenport-Mahler bound holds for arbitrary graphs with vertices on the set of roots of a given univariate polynomial with complex coefficients.

preprint2013arXiv

A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set

We consider the problem of computing the minimum of a polynomial function g on a basic closed semialgebraic set E in R^n. We present a probabilistic symbolic algorithm to find a finite set of sample points of the subset E^{min} of E where the minimum of g is attained, provided that E^{min} is non-empty and has at least one compact connected component.

preprint2013arXiv

Zero-nonzero and real-nonreal sign determination

We consider first the zero-nonzero determination problem, which consists in determining the list of zero-nonzero conditions realized by a finite list of polynomials on a finite set Z included in C^k with C an algebraic closed field. We describe an algorithm to solve the zero-nonzero determination problem and we perform its bit complexity analysis. This algorithm, which is in many ways an adaptation of the methods used to solve the more classical sign determination problem, presents also new ideas which can be used to improve sign determination. Then, we consider the real-nonreal sign determination problem, which deals with both the sign determination and the zero-nonzero determination problem. We describe an algorithm to solve the real-nonreal sign determination problem, we perform its bit complexity analysis and we discuss this problem in a parametric context.

preprint2011arXiv

On the minimum of a polynomial function on a basic closed semialgebraic set and applications

We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is not zero. As an application, we obtain a lower bound for the separation of two disjoint connected components of basic closed semialgebraic sets, when at least one of them is compact.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.