arXiv Science⌕ Search

arXiv subjects

Gabriela Jeronimo

Publications and source records attributed to Gabriela Jeronimo.

At least 19 recordsLinked to original sources
arXiv2026

New bounds for the support of input-output equations in differential-algebraic systems

Given a polynomial dynamical system $\mathbf{x}'=\mathbf{f}(\mathbf{x},\mathbf{u})$ together with an observation function $y=g(\mathbf{x},\mathbf{u})$, where $\mathbf{x}=(x_1,\ldots,x_n)$, $\mathbf{u}=(u_1,\ldots,u_m)$ and $y$ are differential variables, and $\mathbf{f}=(f_1,\ldots,f_n)$, $g$ are polynomials with coefficients in a differential field, we study the problem of determining a minimal polynomial differential equation satisfied by the inputs $\mathbf{u}$ and the output $y$ which follows as a differential consequence of the system. We provide a characterization of a finite superset of the set of monomials appearing with non-zero coefficients in this input-output equation. Specifically, we establish an upper bound for the degree of the minimal polynomial and a family of inequalities that define a polytope containing its Newton polytope. These results extend recent work by Mukhina and Pogudin for systems with constant parameters, and enable the use of evaluation-interpolation techniques for the efficient computation of such eliminant polynomials.

math.AG↗
arXiv2026

Shuffling the Deck: Invariant Theory and the Graph Reconstruction Conjecture

The graph reconstruction conjecture asserts that every simple graph on at least three vertices is uniquely determined by its deck of vertex-deleted subgraphs. In this expository article we survey the conjecture and present an invariant-theoretic approach to studying it. The aim is to be able to show that polynomials that distinguish between decks also distinguish between original graphs, thus translating a graph-theoretic problem into an algebraic one.

math.CO↗
arXiv2026

Sparse systems and algorithmic equidimensional decomposition

We present a new probabilistic algorithm that characterizes the equidimensional components of the affine algebraic variety defined by an arbitrary sparse polynomial system with prescribed supports. For each equidimensional component, the algorithm computes a witness set, namely a finite set obtained by intersecting the component with a generic linear variety of complementary dimension. The complexity of the algorithm is polynomial in combinatorial invariants associated to the supports of the polynomials involved.

math.AG↗
arXiv2026

Variable Projection Methods for Solving Regularized Separable Inverse Problems with Applications to Semi-Blind Image Deblurring

Separable nonlinear least squares problems appear in many inverse problems, including semi-blind image deblurring. The variable projection (VarPro) method provides an efficient approach for solving such problems by eliminating linear variables and reducing the problem to a smaller, nonlinear one. In this work, we extend VarPro to solve minimization problems containing a differentiable regularization term on the nonlinear parameters, along with a general-form Tikhonov regularization term on the linear variables. Furthermore, we develop a quasi-Newton method for solving the resulting reduced problem, and provide a local convergence analysis under standard smoothness assumptions, establishing conditions for superlinear or quadratic convergence. For large-scale settings, we introduce an inexact LSQR-based variant and prove its local convergence despite inner-solve and Hessian approximations. Numerical experiments on semi-blind deblurring show that parameter regularization prevents degenerate no-blur solutions and that the proposed methods achieve accurate reconstructions, with the inexact variant offering a favorable accuracy-cost tradeoff consistent with the theory.

math.NA↗
arXiv2025

Sparse Nullstellensatz, resultants and determinants of complexes

We refine and extend a result by Tuitman on the supports of a Bezout identity satisfied by a finite sequence of sparse Laurent polynomials without common zeroes in the toric variety associated to their supports. When the number of these polynomials is one more than the dimension of the ambient space, we obtain a formula for computing the sparse resultant as the determinant of a Koszul type complex.

math.AG↗
arXiv2024

On the geometric degree of the tangent bundle of a smooth algebraic variety

We present bounds for the geometric degree of the tangent bundle and the tangential variety of a smooth affine algebraic variety $V$ in terms of the geometric degree of $V$. We first analyze the case of curves, showing an explicit relation between these degrees. In addition, for parametric curves, we obtain upper bounds that are linear in the degree of the given curve. In the case of varieties of arbitrary dimension, we prove general upper bounds for the degrees of the tangent bundle and the tangential variety of $V$ that are exponential in the dimension or co-dimension of $V$, and a quadratic upper bound that holds for varieties defined by generic polynomials. Finally, we characterize the smooth irreducible varieties with a tangent bundle of minimal degree.

math.AG↗
arXiv2024

Convergence Analysis of a Variable Projection Method for Regularized Separable Nonlinear Inverse Problems

Variable projection methods prove highly efficient in solving separable nonlinear least squares problems by transforming them into a reduced nonlinear least squares problem, typically solvable via the Gauss-Newton method. When solving large-scale separable nonlinear inverse problems with general-form Tikhonov regularization, the computational demand for computing Jacobians in the Gauss-Newton method becomes very challenging. To mitigate this, iterative methods, specifically LSQR, can be used as inner solvers to compute approximate Jacobians. This article analyzes the impact of these approximate Jacobians within the variable projection method and introduces stopping criteria to ensure convergence. We also present numerical experiments where we apply the proposed method to solve a blind deconvolution problem to illustrate and confirm our theoretical results.

math.NA↗
arXiv2024

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$.

math.AG↗
arXiv2021

The Canny-Emiris conjecture for the sparse resultant

We present a product formula for the initial parts of the sparse resultant associated to an arbitrary family of supports, generalising a previous result by Sturmfels. This allows to compute the homogeneities and degrees of the sparse resultant, and its evaluation at systems of Laurent polynomials with smaller supports. We obtain a similar product formula for some of the initial parts of the principal minors of the Sylvester-type square matrix associated to a mixed subdivision of a polytope. Applying these results, we prove that the sparse resultant can be computed as the quotient of the determinant of such a square matrix by a certain principal minor, under suitable hypothesis. This generalises the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and Emiris.

math.AC↗
arXiv2019

On degree bounds for the sparse Nullstellensatz

We prove new upper bounds for the degrees in Hilbert's Nullstellensatz and for the Noether exponent of polynomial ideals in terms of the monomial structure of the polynomials involved. Our bounds improve the previously known bounds in the sparse setting and are the first to take into account the different supports of the polynomials.

math.AG↗
arXiv2019

Decision problem for a class of univariate Pfaffian functions

We address the decision problem for sentences involving univariate functions constructed from a fixed Pfaffian function of order $1$. We present a new symbolic procedure solving this problem with a computable complexity based on the computation of suitable Sturm sequences. For a general Pfaffian function, we assume the existence of an oracle to determine the sign that a function of the class takes at a real algebraic number. For E-polynomials, we give an effective algorithm solving the problem without using oracles and apply it to solve a similar decision problem in the multivariate setting. Finally, we introduce a notion of Thom encoding for zeros of an E-polynomial and describe an algorithm for their computation.

math.AG↗
arXiv2019

Identifiability from a few species for a class of biochemical reaction networks

Under mass-action kinetics, biochemical reaction networks give rise to polynomial autonomous dynamical systems whose parameters are often difficult to estimate. We deal in this paper with the problem of identifying the kinetic parameters of a class of biochemical networks which are abundant, such as multisite phosphorylation systems and phosphorylation cascades (for example, MAPK cascades). For any system of this class we explicitly exhibit a single species for each connected component of the associated digraph such that the successive total derivatives of its concentration allow us to identify all the parameters occurring in the component. The number of derivatives needed is bounded essentially by the length of the corresponding connected component of the digraph. Moreover, in the particular case of the cascades, we show that the parameters can be identified from a bounded number of successive derivatives of the last product of the last layer. This theoretical result induces also a heuristic interpolation-based identifiability procedure to recover the values of the rate constants from exact measurements.

q-bio.MN↗
arXiv2018

On the multiplicity of isolated roots of sparse polynomial systems

We give formulas for the multiplicity of any affine isolated zero of a generic polynomial system of n equations in n unknowns with prescribed sets of monomials. First, we consider sets of supports such that the origin is an isolated root of the corresponding generic system and prove formulas for its multiplicity. Then, we apply these formulas to solve the problem in the general case, by showing that the multiplicity of an arbitrary affine isolated zero of a generic system with given supports equals the multiplicity of the origin as a common zero of a generic system with an associated family of supports. The formulas obtained are in the spirit of the classical Bernstein's theorem, in the sense that they depend on the combinatorial structure of the system, namely, geometric numerical invariants associated to the supports, such as mixed volumes of convex sets and, alternatively, mixed integrals of convex functions.

math.AG↗
arXiv2016

Zero counting for a class of univariate Pfaffian functions

We present a new procedure to count the number of real zeros of a class of univariate Pfaffian functions of order $1$. The procedure is based on the construction of Sturm sequences for these functions and relies on an oracle for sign determination. In the particular case of $E$-polynomials, we design an oracle-free effective algorithm solving this task within exponential complexity. In addition, we give an explicit upper bound for the absolute value of the real zeros of an $E$-polynomial.

math.AG↗
arXiv2015

Puiseux expansions and non-isolated points in algebraic varieties

We consider the problem of deciding whether a common solution to a multivariate polynomial equation system is isolated or not. We present conditions on a given truncated Puiseux series vector centered at the point ensuring that it is not isolated. In addition, in the case that the set of all common solutions of the system has dimension 1, we obtain further conditions specifying to what extent the given vector of truncated Puiseux series coincides with the initial part of a parametrization of a curve of solutions passing through the point.

math.AG↗
arXiv2014

Elimination for generic sparse polynomial systems

We present a new probabilistic symbolic algorithm that, given a variety defined in an n-dimensional affine space by a generic sparse system with fixed supports, computes the Zariski closure of its projection to an l-dimensional coordinate affine space with l < n. The complexity of the algorithm depends polynomially on combinatorial invariants associated to the supports.

math.AG↗
arXiv2014

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.

math.AC↗