BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Martin Avendano

Martin Avendano appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

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

Catalog footprint

What is connected

8works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

8 published item(s)

preprint2021arXiv

Bivariate trinomials over finite fields

We study the number of points in the family of plane curves defined by a trinomial \[ \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(α,β)$ that is bounded in absolute value by $2\tilde{g}q^{1/2}$, where $\tilde{g}$ is a constant that depends only on the exponents and the field. A formula for $\tilde{g}$ is provided, as well as a comparison of $\tilde{g}$ with the genus $g$ of the projective closure of the curve over $\overline{\mathbb{F}_q}$. We also give several linear and quadratic identities for the numbers $N(α,β)$ that are strong enough to prove the estimate above, and in some cases, to characterize them completely.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

We obtain an approximate solution $\tilde{E}=\tilde{E}(e,M)$ of Kepler's equation $E-e\sin(E)=M$ for any $e\in[0,1)$ and $M\in[0,π]$. Our solution is guaranteed, via Smale's $α$-theory, to converge to the actual solution $E$ through Newton's method at quadratic speed, i.e. the $n$-th iteration produces a value $E_n$ such that $|E_n-E|\leq (\frac12)^{2^n-1}|\tilde{E}-E|$. The formula provided for $\tilde{E}$ is a piecewise rational function with conditions defined by polynomial inequalities, except for a small region near $e=1$ and $M=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)\times[0,π]$ if only rational functions are allowed in each branch.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Multivariate ultrametric root counting

Let $K$ be a field, complete with respect to a discrete non-archimedian valuation and let $k$ be the residue field. Consider a system $F$ of $n$ 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 $w$) that guarantee that the first digit map $δ:(K^\ast)^n\to(k^\ast)^n$ is a one to one correspondence between the solutions of $F$ in $(K^\ast)^n$ with valuation $w$ and the solutions in $(k^\ast)^n$ of the initial form system ${\rm in}_w(F)$. Using this result, we provide an explicit formula for the number of solutions in $(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^\ast)$ of univariate polynomials with given support and random coefficients.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ultrametric Root Counting

Let $K$ be a complete non-archimedean field with a discrete valuation, $f\in K[X]$ a polynomial with non-vanishing discriminant, $A$ the valuation ring of $K$, and $\M$ the maximal ideal of $A$. The first main result of this paper is a reformulation of Hensel's lemma that connects the number of roots of $f$ 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 $f$ in $K$. In particular, we show that regularity implies that the number of roots of $f$ equals the sum of the numbers of roots of certain binomials derived from the Newton polygon.

0 citations0 reviewsNo code linkedOpen access