Related papers: Multivariable polynomial injections on rational nu…

Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and integer coefficients. As to their relationship with respect…

In earlier work with C.~Monical, we introduced the notion of a K-crystal, with applications to K-theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K-crystal structure existed on the set of…

If, for a subset S of Z^k, we compare the conditions of being parametrizable (a) by a single k-tuple of polynomials with integer coefficients, (b) by a single k-tuple of integer-valued polynomials and, (c) by finitely many k-tuples of…

In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.

Let K be an algebraically closed valued field, and let f:X--->Y be a universally open morphism of K-schemes of finite type. We show that the induced map on K-rational points is open for the topologies deduced from the absolute value of K.…

We develop a "motivic integration" version of the Poisson summation formula for function fields, with values in the Grothendieck ring of definable exponential sums. We also study division algebras over the function field, and obtain…

Let $K$ be a field of characteristic $0$, and let $k \geq 2$ be an integer. We prove that every $K$-linear bijection $f \colon K[X] \to K[X]$ strongly preserving the set of $k$-free polynomials (or the set of polynomials with a $k$-fold…

The reduction number of monomial ideals in the polynomial $K[x,y]$ is studied. We focus on ideals $I$ for which $J=(x^a,y^b)$ is a reduction ideal. The computation of the reduction number amounts to solve linear inequalities. In some…

A rational distance set in the plane is a point set which has the property that all pairwise distances between its points are rational. Erd\H os and Ulam conjectured in 1945 that there is no dense rational distance set in the plane. In this…

Let $X_4\subset\mathbb{P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field $k$. We show that if either $X_4$ contains a linear subspace $\Lambda$ of dimension $h\geq \max\{2,\dim(\Lambda\cap…

In this paper, a randomized algorithm for deciding the irreducibility of an irreducible polynomial and factoring a reducible polynomial over the field of rational numbers is presented. The main idea underlying the algorithm is based on…

The famous Jacobian Conjecture asks if a morphism $f:K[x,y]\to K[x,y]$ with invertible Jacobian, is invertible ($K$ is a characteristic zero field). A known result says that if $K[f(x),f(y)] \subseteq K[x,y]$ is an integral extension, then…

The cyclic insertion conjecture of Borwein, Bradley, Broadhurst and Lison\v{e}k states that inserting all cyclic shifts of some fixed blocks of 2's into the multiple zeta value {\zeta}(1,3,...,1,3) gives an explicit rational multiple of a…

Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and…

Prelle and Singer showed in 1983 that if a system of ordinary differential equations defined on a differential field $K$ has a first integral in an elementrary field extension $L$ of $K$, then it must have a first integral consisting of…

We prove that the subvariety of $SL(2)\times SL(2)$ given by the matrix equation $w(X,Y)=\alpha$, where $w$ is a word in two letters, is closely related to an explicit smooth conic bundle over the associated `trace surface' in the…

K-theoretic Donaldson invariants are holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 sheaves on surfaces. We develop an algorithm which determines the generating functions of K-theoretic Donaldson…

We enumerate injectively $k$-colored rooted forests with a given number of vertices of each color and a given sequence of root colors. We obtain from this result some new multi-parameter distributions of Fuss-Catalan numbers. As an…

We present a generalization, which we call (k,m)-rank, of Dyson's notion of rank to integer partitions with k successive Durfee rectangles and give two combinatorial symmetries associated with this new definition. We prove these symmetries…

A conjecture of Odoni stated over Hilbertian fields $K$ of characteristic zero asserts that for every positive integer $d$, there exists a polynomial $f\in K[x]$ of degree $d$ such that for every positive integer $n$, each iterate $f^{\circ…