Related papers: Explicit Methods for Radical Function Fields over …
High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…
We find all polynomials f,g,h over a field K such that g and h are linear and f(g(x))=h(f(x)). We also solve the same problem for rational functions f,g,h, in case the field K is algebraically closed.
We present closed forms for several functions that are fundamental in number theory and we explain the method used to obtain them. Concretely, we find formulas for the p-adic valuation, the number-of-divisors function, the sum-of-divisors…
Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its expansions. Exact Euler…
This article is a natural construction of our previous works. In this article, we employ similar ideas due to MacLane to provide an estimate of IC(K(X)|K,v) when (K(X)|K,v) is a valuation algebraic extension. Our central result is an…
We establish new explicit zero-free regions for the Dedekind zeta-function. Two key elements of our proof are a non-negative, even, trigonometric polynomial and explicit upper bounds for the explicit formula of the so-called differenced…
We study the use of the Euler-Maclaurin formula to numerically evaluate the Hurwitz zeta function $\zeta(s,a)$ for $s, a \in \mathbb{C}$, along with an arbitrary number of derivatives with respect to $s$, to arbitrary precision with…
In recent work, Darmon, Pozzi and Vonk explicitly construct a modular form whose spectral coefficients are $p$-adic logarithms of Gross-Stark units and Stark-Heegner points. Here we describe how this construction gives rise to a practical…
We establish the $L^2$ theory for the Cauchy-Riemann equations on product domains provided that the Cauchy-Riemann operator has closed range on each factor. We deduce regularity of the canonical solution on $(p,1)$-forms in special Sobolev…
In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations…
We describe an algorithm to numerically evaluate Riemann theta functions in any dimension in quasi-linear time in terms of the required precision, uniformly on reduced input. This algorithm is implemented in the FLINT number theory library…
We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a…
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…
Inspired by recent work of Carlson, Friedlander and Pevtsova concerning modules for $p$-elementary abelian groups $E_r$ of rank $r$ over a field of characteristic $p > 0$, we introduce the notions of modules with constant $d$-radical rank…
Solutions to vacuum Einstein field equations with cosmological constant, such as the de Sitter space and the anti-de Sitter space, are basic in different cosmological and theoretical developments. It is also well known that complex…
Let k be an imaginary quadratic number field (with class number 1). We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions L/k up to a bound X on the norm of the relative discriminant…
We identify a set of "energy" functionals on the space of metrics in a given Kaehler class on a Calabi-Yau manifold, which are bounded below and minimized uniquely on the Ricci-flat metric in that class. Using these functionals, we recast…
This study presents explicit evaluations of the series \begin{equation*} \sum_{k=1}^\infty \frac{H_{k/n}^{(p)}}{k^q} \quad \text{and} \quad \sum_{k=1}^\infty \frac{(-1)^k H_{k/2n}^{(p)}}{k^q}, \quad p,q,n \in \mathbb{Z}_{\ge 1},\; q \ne 1,…
Let $q$ be a power of a prime number $p$, $k=\mathbb{F}_{q}(t)$ be the rational function field over finite field $\mathbb{F}_{q}$ and $K/k$ be a multi-cyclic extension of prime degree. In this paper we will give an exact formula for the…
Let X=H\G be a homogeneous spherical variety for a split reductive group G over the integers o of a p-adic field k, and K=G(o) a hyperspecial maximal compact subgroup of G=G(k). We compute eigenfunctions ("spherical functions") on X=X(k)…