Source author record

Pablo Solernó

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

ResearcherUnclaimed source record

Symbolic Computation math.AC math.AG math.CA

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

A decision method for the integrability of differential-algebraic Pfaffian systems

We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As a byproduct, we obtain an upper bound for the order of differentiations in the differential Nullstellensatz for these systems.

preprint2014arXiv

Effective Differential Nullstellensatz for Ordinary DAE Systems with Constant Coefficients

We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants $K$ of characteristic $0$ . Let $\vec{x}$ be a set of $n$ differential variables, $\vec{f}$ a finite family of differential polynomials in the ring $K\{\vec{x}\}$ and $f\in K\{\vec{x}\}$ another polynomial which vanishes at every solution of the differential equation system $\vec{f}=0$ in any differentially closed field containing $K$ . Let $d:=\max\{°(\vec{f}), °(f)\}$ and $ε:=\max\{2,{\rm{ord}}(\vec{f}), {\rm{ord}}(f)\}$ . We show that $f^M$ belongs to the algebraic ideal generated by the successive derivatives of $\vec{f}$ of order at most $L = (nεd)^{2^{c(nε)^3}}$ , for a suitable universal constant $c>0$ , and $M=d^{n(ε+L+1)}$ . The previously known bounds for $L$ and $M$ are not elementary recursive.

preprint2013arXiv

Degeneracy loci and polynomial equation solving

Let V be a smooth equidimensional quasi-affine variety of dimension r over the complex numbers $C$ and let $F$ be a $(p\times s)$ -matrix of coordinate functions of $C[V]$ , where $s\ge p+r$ . The pair $(V,F)$ determines a vector bundle $E$ of rank $s-p$ over $W:=\{x\in V:\mathrm{rk} F(x)=p\}$ . We associate with $(V,F)$ a descending chain of degeneracy loci of E (the generic polar varieties of $V$ represent a typical example of this situation). The maximal degree of these degeneracy loci constitutes the essential ingredient for the uniform, bounded error probabilistic pseudo-polynomial time algorithm which we are going to design and which solves a series of computational elimination problems that can be formulated in this framework. We describe applications to polynomial equation solving over the reals and to the computation of a generic fiber of a dominant endomorphism of an affine space.

preprint2013arXiv

Effective Differential Lüroth's Theorem

This paper focuses on effectivity aspects of the Lüroth's theorem in differential fields. Let $\mathcal{F}$ be an ordinary differential field of characteristic 0 and $\mathcal{F}<u>$ be the field of differential rational functions generated by a single indeterminate $u$ . Let be given non constant rational functions $v_1,...,v_n\in \mathcal{F}<u>$ generating a differential subfield $\mathcal{G}\subseteq \mathcal{F}<e u>$ . The differential Lüroth's theorem proved by Ritt in 1932 states that there exists $v\in \mathcal G$ such that $\mathcal{G}= \mathcal{F}<v>$ . Here we prove that the total order and degree of a generator $v$ are bounded by $\min_j \textrm{ord} (v_j)$ and $(nd(e+1)+1)^{2e+1}$ , respectively, where $e:=\max_j \textrm{ord} (v_j)$ and $d:=\max_j \textrm{deg} (v_j)$ . As a byproduct, our techniques enable us to compute a Lüroth generator by dealing with a polynomial ideal in a polynomial ring in finitely many variables.

preprint2010arXiv

A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations

This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (that is, a semi-explicit DAE system of differentiation index 1) in as many variables as the order of the input system. This can be done by means of a Kronecker-type algorithm with bounded complexity.

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.