English
Related papers

Related papers: Decidability of polynomial equations over function…

200 papers

The aim of this paper is to provide sufficient conditions for when a polynomial or rational function over a field K is prime using its order of vanishing at infinity and the resultant.

Number Theory · Mathematics 2022-08-26 Eva Goedhart , Omar Kihel , Jesse Larone

In this note, the main focus is on a question about transcendental entire functions mapping $\mathbb{Q}$ into $\mathbb{Q}$ (which is related to a Mahler's problem). In particular, we prove that, for any $t>0$, there is no a transcendental…

Number Theory · Mathematics 2023-05-24 Jean Lelis , Diego Marques , Carlos Gustavo Moreira , Pavel Trojovský

We present a theory of the $b$-function (or Bernstein-Sato polynomial) in positive characteristic. Let $f$ be a non-constant polynomial with coefficients in a perfect field $k$ of characteristic $p>0.$ Its $b$-function $b_f$ is defined to…

Algebraic Geometry · Mathematics 2018-10-24 Thomas Bitoun

We prove a Nullstellensatz for the ring of polynomial functions in n non-commuting variables over Hamilton's ring of real quaternions. We also characterize the generalized polynomial identities in n variables which hold over the…

Rings and Algebras · Mathematics 2020-09-15 Gil Alon , Elad Paran

We adapt the proof of the Green-Tao theorem on arithmetic progressions in primes to the setting of polynomials over a finite field, to show that for every $k$, the irreducible polynomials in $\mathbf{F}_q[t]$ contain configurations of the…

Number Theory · Mathematics 2009-09-02 Thai Hoang Le

Let K be a function field, let f be a rational function of degree d at least 2 defined over K, and suppose that f is not isotrivial. In this paper, we show that a point P in P^1(Kbar) has f-canonical height zero if and only if P is…

Number Theory · Mathematics 2007-05-23 Matthew Baker

The study of solutions to polynomial equations over finite fields has a long history in mathematics and is an interesting area of contemporary research. In recent years the subject has found important applications in the modelling of…

Number Theory · Mathematics 2016-06-16 Andreas Aabrandt , Vagn Lundsgaard Hansen

It is known that Hilbert's Tenth Problem over the Gaussian ring $\mathbb Z[i]=\{a+bi:\ a,b\in\mathbb Z\}$ is undecidable. In this paper we obtain the following further result: There is no algorithm to decide whether an arbitrarily given…

Number Theory · Mathematics 2025-10-22 Yuri Matiyasevich , Zhi-Wei Sun

Let $F$ be a field, char$(F)\neq 2$. Then every finite-dimensional $F$-algebra has either an idempotent or an absolute nilpotent if and only if over $F$ every polynomial of odd degree has a root in $F$. This is also necessary and sufficient…

Rings and Algebras · Mathematics 2014-03-20 Yuri Lyubich , Alexander Tsukerman

We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…

Computational Complexity · Computer Science 2014-02-05 Peter Franek , Marek Krcal

We prove an effective form of Hilbert's irreducibility theorem for polynomials over a global field $K$. More precisely, we give effective bounds for the number of specializations $t\in \mathcal{O}_K$ that do not preserve the irreducibility…

Number Theory · Mathematics 2022-08-25 Marcelo Paredes , Román Sasyk

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

Algebraic Geometry · Mathematics 2019-11-06 Adrien Poteaux , Martin Weimann

A key property of an algebraic variety is whether it is absolutely irreducible, meaning that it remains irreducible over the algebraic closure of its defining field, and determining absolute irreducibility is important in algebraic geometry…

Algebraic Geometry · Mathematics 2026-02-03 Carlos Agrinsoni , Heeralal Janwa , Moises Delgado

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than…

Number Theory · Mathematics 2019-11-12 Adrien Poteaux , Martin Weimann

A classical result states that if $f(z)$ is a polynomial of degree at most $n$ with nonnegative coefficients, then $f(z)$ has no zeros in the sector $|\arg(z)| < \frac{\pi}{n}$ of the complex plane, and the bound $\frac{\pi}{n}$ is tight.…

Classical Analysis and ODEs · Mathematics 2025-09-25 Steven N. Karp

Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be any linearly independent polynomials with zero constant term. We show that there exists a $\gamma>0$ such that any subset of $\mathbb{F}_q$ of size at least $q^{1-\gamma}$ contains a nontrivial…

Number Theory · Mathematics 2019-05-29 Sarah Peluse

We show that for any quadratic extension of number fields $K/F$, there exists an abelian variety $A/F$ of positive rank whose rank does not grow upon base change to $K$. This result implies that Hilbert's tenth problem over the ring of…

Number Theory · Mathematics 2025-02-03 Levent Alpöge , Manjul Bhargava , Wei Ho , Ari Shnidman

Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials$G=(g\_1,\dots,g\_s)$ in $\K[X\_1,\dots,X\_n]$, a polynomial matrix $\F=[f\_{i,j}] \in \K[X\_1,\dots,X\_n]^{p \times…

Symbolic Computation · Computer Science 2018-03-01 Jonathan D. Hauenstein , Mohab Safey El Din , Éric Schost , Thi Xuan Vu

The main purpose of this paper is solve polynomial equations that are satisfied by (generalized) polynomials. More exactly, we deal with the following problem: let $\mathbb{F}$ be a field with $\mathrm{char}(\mathbb{F})=0$ and $P\in…

Commutative Algebra · Mathematics 2021-09-08 Eszter Gselmann

Let $l$ be a finite field of cardinality $q$ and let $n$ be in $\mathbb{Z}_{\geq 1}$. Let $f_1,\ldots,f_n \in l[x_1,\ldots,x_n]$ not all constant and consider the evaluation map $f=(f_1,\ldots,f_n) \colon l^n \to l^n$. Set…

Number Theory · Mathematics 2015-09-08 Michiel Kosters
‹ Prev 1 3 4 5 6 7 10 Next ›