Related papers: Enumeration of almost polynomial rational function…

We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming…

We establish a normal approximation for the limiting distribution of partial sums of random Rademacher multiplicative functions over function fields, provided the number of irreducible factors of the polynomials is small enough. This…

We prove that $\bar {\mathbb Q}_\ell$-local systems of bounded rank and ramification on a smooth variety $X$ defined over an algebraically closed field $k$ of characteristic $p\neq \ell$ are tamified outside of codimension $2$ by a finite…

We describe a provably quasi-polynomial algorithm to compute discrete logarithms in the multiplicative groups of finite fields of small characteristic, that is finite fields whose characteristic is logarithmic in the order. We partially…

We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order…

Let $P$ be a polytope with rational vertices. A classical theorem of Ehrhart states that the number of lattice points in the dilations $P(n) = nP$ is a quasi-polynomial in $n$. We generalize this theorem by allowing the vertices of P(n) to…

We introduce tropical Newton-Puiseux polynomials admitting rational exponents. A resolution of a tropical hypersurface is defined by means of a tropical Newton-Puiseux polynomial. A polynomial complexity algorithm for resolubility of a…

Given two closed orientable surfaces, the Hurwitz existence problem asks whether there exists a branched cover between them having prescribed global degree and local degrees over the branching points. The Riemann-Hurwitz formula gives a…

We study the number of distinct ways in which a smooth projective surface $X$ can be realized as a smooth toroidal compactification of a ball quotient. It follows from work of Hirzebruch that there are infinitely many distinct ball…

In this paper we define a quantization of the Double Ramification Hierarchies of [Bur15b] and [BR14], using intersection numbers of the double ramification cycle, the full Chern class of the Hodge bundle and psi-classes with a given…

We introduce new logarithmic Hurwitz spaces $\mathcal{LH}^{\mathbb{Z}_{(p)}}_A$ and $\mathcal{LH}^{\mathbb{F}_{p}}_{A,\Xi}$ over $\mathbb{Z}_{(p)}$ and $\mathbb{F}_p$ respectively that in the mixed characteristic case can be considered as a…

Provided a special function of one variable and some of its derivatives can be accurately computed over a finite range, a method is presented to build a series of polynomial approximations of the function with a defined relative error over…

We explain how to determine equations describing the ramification of an outer simple linear projection of a projective scheme in a way suited for explicit computations.

If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…

In the paper, the author elementarily unifies and generalizes eight identities involving the functions $\frac{\pm1}{e^{\pm t}-1}$ and their derivatives. By one of these identities, the author establishes two explicit formulae for computing…

In this paper we settle some polynomial identity which provides a family of explicit Waring decompositions of any monomial $X_0^{a_0}X_1^{a_1}\cdots X_n^{a_n}$ over a field $\Bbbk$. This gives an upper bound for the Waring rank of a given…

We give an asymptotic probabilistic real Riemann-Hurwitz formula computing the expected real ramification index of a random covering over the Riemann sphere. More generally, we study the asymptotic expected number and distribution of…

We present a novel approach for deriving KAM-type linearization theorems directly -- and almost immediately -- from the existence of the stable foliation for a renormalization operator. We give a few illustrations in dynamics in one and…

An elliptic orbifold is the quotient of an elliptic curve by a finite group. Eskin and Okounkov proved that generating functions for the number of branched covers of an elliptic curve with specified ramification are quasimodular forms for…

The purpose of this short article is to announce, and briefly describe, a Maple package, PARTITIONS, that (inter alia) completely automatically discovers, and then proves, explicit expressions (as sums of quasi-polynomials) for pm(n) for…