BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Martin Avendano

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

ResearcherUnclaimed source record
math.NTmath.AGComputational ComplexityInformation Theorymath-phmath.ITmath.MP

Catalog footprint

Research overview

8works
7topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

8 publications

preprint2021arXiv

Bivariate trinomials over finite fields

We study the number of points in the family of plane curves defined by a trinomial C(α,β)={(x,y)∈Fq2 : αxa11ya12+βxa21ya22=xa31ya32} \mathcal{C}(α,β)= \{(x,y)\in\mathbb{F}_q^2\,:\,αx^{a_{11}}y^{a_{12}}+βx^{a_{21}}y^{a_{22}}=x^{a_{31}}y^{a_{32}}\} with fixed exponents (not collinear) and varying coefficients over finite fields. We prove that each of these curves has an almost predictable number of points, given by a closed formula that depends on the coefficients, exponents, and the field, with a small error term N(α,β)N(α,β) that is bounded in absolute value by 2g~q1/22\tilde{g}q^{1/2}, where g~\tilde{g} is a constant that depends only on the exponents and the field. A formula for g~\tilde{g} is provided, as well as a comparison of g~\tilde{g} with the genus gg of the projective closure of the curve over Fq‾\overline{\mathbb{F}_q}. We also give several linear and quadratic identities for the numbers N(α,β)N(α,β) that are strong enough to prove the estimate above, and in some cases, to characterize them completely.

Open access
preprint2014arXiv

Solving Kepler's equation via Smale's αα-theory

We obtain an approximate solution E~=E~(e,M)\tilde{E}=\tilde{E}(e,M) of Kepler's equation E−esin⁡(E)=ME-e\sin(E)=M for any e∈[0,1)e\in[0,1) and M∈[0,π]M\in[0,π]. Our solution is guaranteed, via Smale's αα-theory, to converge to the actual solution EE through Newton's method at quadratic speed, i.e. the nn-th iteration produces a value EnE_n such that ∣En−E∣≤(12)2n−1∣E~−E∣|E_n-E|\leq (\frac12)^{2^n-1}|\tilde{E}-E|. The formula provided for E~\tilde{E} is a piecewise rational function with conditions defined by polynomial inequalities, except for a small region near e=1e=1 and M=0M=0, where a single cubic root is used. We also show that the root operation is unavoidable, by proving that no approximate solution can be computed in the entire region [0,1)×[0,π][0,1)\times[0,π] if only rational functions are allowed in each branch.

Open access
preprint2012arXiv

Interpolation of Ideals

Let K denote an algebraically closed field. We study the relation between an ideal I in K[x1,...,xn] and its cross sections I_a=I+<x1-a>. In particular, we study under what conditions I can be recovered from the set I_S={(a,I_a):a in S} with S a subset of K. For instance, we show that an ideal I=cap_i Q_i, where Q_i is primary and Q_i cap K[x1]={0}, is uniquely determined by I_S when S is infinite. Moreover, there exists a function B(d,n) such that, if I is generated by polynomials of degree at most d, then I is uniquely determined by I_S when |S|>=B(d,n). If I is also known to be principal, the reconstruction can be done when |S|>=2d, and in this case, we prove that the bound is sharp.

Open access
preprint2011arXiv

Multivariate ultrametric root counting

Let KK be a field, complete with respect to a discrete non-archimedian valuation and let kk be the residue field. Consider a system FF of nn polynomial equations in $K\vars$. Our first result is a reformulation of the classical Hensel's Lemma in the language of tropical geometry: we show sufficient conditions (semiregularity at ww) that guarantee that the first digit map δ:(K∗)n→(k∗)nδ:(K^\ast)^n\to(k^\ast)^n is a one to one correspondence between the solutions of FF in (K∗)n(K^\ast)^n with valuation ww and the solutions in (k∗)n(k^\ast)^n of the initial form system inw(F){\rm in}_w(F). Using this result, we provide an explicit formula for the number of solutions in (K∗)n(K^\ast)^n of a certain class of systems of polynomial equations (called regular), characterized by having finite tropical prevariety, by having initial forms consisting only of binomials, and by being semiregular at any point in the tropical prevariety. Finally, as a consequence of the root counting formula, we obtain the expected number of roots in (K∗)(K^\ast) of univariate polynomials with given support and random coefficients.

Open access
preprint2011arXiv

Sharp bounds for the number of roots of univariate fewnomials

Let K be a field and t>=0. Denote by Bm(t,K) the maximum number of non-zero roots in K, counted with multiplicities, of a non-zero polynomial in K[x] with at most t+1 monomial terms. We prove, using an unified approach based on Vandermonde determinants, that Bm(t,L)<=t^2 Bm(t,K) for any local field L with a non-archimedean valuation v such that v(n)=0 for all non-zero integer n and residue field K, and that Bm(t,K)<=(t^2-t+1)(p^f-1) for any finite extension K/Qp with residual class degree f and ramification index e, assuming that p>t+e. For any finite extension K/Qp, for p odd, we also show the lower bound Bm(t,K)>=(2t-1)(p^f-1), which gives the sharp estimation Bm(2,K)=3(p^f-1) for trinomials when p>2+e.

Open access
preprint2010arXiv

Near NP-Completeness for Detecting p-adic Rational Roots in One Variable

We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reductions for general univariate polynomials. The best previous lower bound assumed an unproved hypothesis on the distribution of primes in arithmetic progression. We also discuss how our results complement analogous results over the real numbers.

Open access
preprint2010arXiv

Ultrametric Root Counting

Let KK be a complete non-archimedean field with a discrete valuation, f∈K[X]f\in K[X] a polynomial with non-vanishing discriminant, AA the valuation ring of KK, and $\M$ the maximal ideal of AA. The first main result of this paper is a reformulation of Hensel's lemma that connects the number of roots of ff with the number of roots of its reduction modulo a power of $\M$. We then define a condition --- {\em regularity} --- that yields a simple method to compute the exact number of roots of ff in KK. In particular, we show that regularity implies that the number of roots of ff equals the sum of the numbers of roots of certain binomials derived from the Newton polygon.

Open access

Research graph

See the researcher in context

Open full explorer

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.