Related papers: Elimination results for tame fields with finite re…

An axiomatic quantum field theory applied to the self-interacting boson field is realised in terms of generalised operators that allows us to form products and take derivatives of the fields in simple and mathematically rigorous ways.…

We give formulas for the number of polynomials over a finite field with given root multiplicities, in particular in cases when the formula is surprisingly simple (a power of q). Besides this concrete interpretation, we also prove an…

Let $W$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$ of any characteristic and $mW$ denote the direct sum of $m$ copies of $W$. Let $\mathbb{F}_q[mW]^{{\rm GL}(W)}$ and $\mathbb{F}_q(mW)^{{\rm GL}(W)}$ denote the…

We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines…

Let $A$ be a finite subset of $\ffield$, the field of Laurent series in $1/t$ over a finite field $\mathbb{F}_q$. We show that for any $\epsilon>0$ there exists a constant $C$ dependent only on $\epsilon$ and $q$ such that…

We establish nontrivial bounds for general bilinear forms with a given periodic function, which are thought of as an analogue of van der Corput differencing for exponential sums. The proof employs Poisson summation, Cauchy-Schwarz, and the…

Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) \in \mathbb{F}_q[x]$ with $\textrm{deg}(f_i(x)) \leq m_i$, for $i = 1, 2$, and such that the…

Using Katz's equidistribution framework, we show that for any squarefree polynomial $f \in \mathbb{F}_q[t]$ of degree $n \ge 2$, every residue class modulo $f$ can be represented as a product of two monic irreducible polynomials of degree…

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…

For a field $\mathbb{F}$, what are all functions $f \colon \mathbb{F} \rightarrow \mathbb{F}$ that satisfy the functional equation $f \left( (x+y)/(x-y) \right) = (f(x) + f(y))/(f(x) - f(y))$ for all $ x \neq y$ in $\mathbb{F}$? We solve…

A family of real Hamiltonian forms (RHF) for the special class of affine 1+1 - dimensional Toda field theories is constructed. Thus the method, proposed in [Mikhailov;1981] for systems with finite number of degrees of freedom is generalized…

Let $\mathbb{F}_{q}$ denote the finite field of order $q$ (a power of a prime $p$). We study the $p$-adic valuations for zeros of $L$-functions associated with exponential sums of the following family of Laurent polynomials…

Let $f$ be a complex valued function on a finite field $F$ such that $f(0) = 0$, $f(1) = 1$, and $|f(x)| = 1$ for $x \neq 0$. Cohn asked if it follows that $f$ is a nontrivial multiplicative character provided that $\sum_{x \in F} f(x)…

An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More…

In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are…

Let $K$ be a field of positive characteristic with no algebraically closed subfield. Let $F$ be a function field over $K$ and $t \in F$ transcendental over $K$. Refining a result of Eisentr{\"a}ger and Shlapentokh, we show that there is no…

We classify those finite fields $\mathbb{F}_q$, for $q$ a power of some fixed prime number, whose members are the sum of an $n$-potent element with $n>1$ and a 4-potent element. It is shown that there are precisely ten non-trivial pairs…

Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…

Let F_q be the finite field of q elements. Let H be a multiplicative subgroup of F_q^*. For a positive integer k and element b\in F_q, we give a sharp estimate for the number of k-element subsets of H which sum to b.

We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…