English
Related papers

Related papers: Exponential sums over definable subsets of finite …

200 papers

An old conjecture of Erd\H{o}s and R\'enyi, proved by Schinzel, predicted a bound for the number of terms of a polynomial $g(x) \in \mathbb{C}[x]$ when its square $g(x)^2$ has a given number of terms. Further conjectures and results arose,…

Number Theory · Mathematics 2024-01-24 Clemens Fuchs , Vincenzo Mantova , Umberto Zannier

The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the…

Number Theory · Mathematics 2026-04-09 Angelot Behajaina , Pierre Dèbes , Joachim König

In this paper we give a detailed analysis of deterministic and randomized algorithms that enumerate any number of irreducible polynomials of degree $n$ over a finite field and their roots in the extension field in quasilinear where $N=n^2$…

Discrete Mathematics · Computer Science 2016-08-12 Nader H. Bshouty , Nuha Diab , Shada R. Kawar , Robert J. Shahla

We introduce the notion of saturated sets of primes of an algebraic number field and prove an analogue of Riemann's existence theorem for the decomposition groups of infinite stably saturated sets of primes.

Number Theory · Mathematics 2015-12-08 Kay Wingberg

We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential…

Number Theory · Mathematics 2024-02-02 Nicolas Daans

We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…

Algebraic Geometry · Mathematics 2012-03-02 Alberto Camara

Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum…

Number Theory · Mathematics 2013-11-20 Christopher Frei

Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many…

Algebraic Geometry · Mathematics 2012-12-03 Hélène Esnault , Moritz Kerz

We characterize exponential systems on sets of finite measure that form a frame or a Riesz sequence at the critical density. Namely, they are precisely those systems for which the underlying point set admits a weak limit that yields a Riesz…

Classical Analysis and ODEs · Mathematics 2025-12-03 Ulrik Enstad , Jordy Timo van Velthoven

We show explicit estimates on the number of $q$--rational points of an $F_q$--definable affine absolutely irreducible variety of the algebraic closure of the finite field $F_q$ of $q$ elements. Our estimates for a hypersurface significantly…

Number Theory · Mathematics 2007-05-23 Antonio Cafure , Guillermo Matera

We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…

Logic · Mathematics 2025-08-12 Mohsen Khani , Shaghayegh Shirani , Zahra Yadegari , Afshin Zarei

The Schinzel Hypothesis is a conjecture about irreducible polynomials in one variable over the integers: under some standard condition, they should assume infinitely many prime values at integers. We consider a relative version: if the…

Number Theory · Mathematics 2020-02-13 Arnaud Bodin , Pierre Dèbes , Salah Najib

We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of…

Algebraic Geometry · Mathematics 2022-07-13 Philipp Licht

We prove Dirichlet's theorem for polynomial rings: Let F be a pseudo algebraically closed field. Then for all relatively prime polynomials a(X), b(X)\in F[X] and for every sufficiently large positive integer n there exist infinitely many…

Number Theory · Mathematics 2009-07-16 L. Bary-Soroker

It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is decidable. In this paper we discuss an extension of ZF where this result is no longer valid. Such an extension is quasi-set theory and it has its origin on problems…

Quantum Physics · Physics 2007-05-23 Adonai S. Sant'Anna

We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb Z[X]$ and $\mathbb Q[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued…

Commutative Algebra · Mathematics 2023-07-26 Giulio Peruginelli

Improving and extending recent results of the author, we conditionally estimate exponential sums with Dirichlet coefficients of L-functions, both over all integers and over all primes in an interval. In particular, we establish new…

Number Theory · Mathematics 2012-10-30 Stephan Baier

We establish the restricted sumset analogue of the celebrated conjecture of S\'{a}rk\"{o}zy on additive decompositions of the set of nonzero squares over a finite field. More precisely, we show that if $q>13$ is an odd prime power, then the…

Number Theory · Mathematics 2026-04-22 Chi Hoi Yip

We extend some methods of bounding exponential sums of the type $\displaystyle\sum_{n\le N}e^{2\pi iag^n/p}$ to deal with the case when $g$ is not necessarily a primitive root. We also show some recent results of Shkredov concerning…

Number Theory · Mathematics 2013-02-19 Bryce Kerr

Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions of $\mathbb{Q}_p$ is undecidable in the language of valued fields with a cross-section. The proof goes via reduction to characteristic $p$,…

Logic · Mathematics 2022-11-14 Konstantinos Kartas