Related papers: Reconstructing Laurent expansion of rational funct…
Recent years have witnessed the introduction and development of extremely fast rational function algorithms. Many ideas in this realm arose from polynomial-based linear-algebraic algorithms. However, polynomial approximation is occasionally…
In this paper, using $p$-adic analysis and $p$-adic L-functions, we show how to extend classical congruences (due to Wilson, Gauss, Dirichlet, Jacobi, Wolstenholme, Glaisher, Morley, Lemher and other people) to modulo $p^k$ for any $k>0$.
The relation between Radon transform and orthogonal expansions of a function on the unit ball in $\RR^d$ is exploited. A compact formula for the partial sums of the expansion is given in terms of the Radon transform, which leads to…
We develop a notion of cell decomposition suitable for studying weak p- adic structures (reducts of p-adic fields where addition and multiplication are not (everywhere) definable). As an example, we apply this to a language with restricted…
We calculate the formal analytic expansions of certain formal translations in a space of formal iterated logarithmic and exponential variables. The results show how the algebraic structure naturally involves the Stirling numbers of the…
New approach to systems of polynomial recursions is developed based on the Carleman linearization procedure. The article is divided into two main sections: firstly, we focus on the case of uni-variable depth-one polynomial recurrences.…
A widely used approach to compute the action $f(A)v$ of a matrix function $f(A)$ on a vector $v$ is to use a rational approximation $r$ for $f$ and compute $r(A)v$ instead. If $r$ is not computed adaptively as in rational Krylov methods,…
A method for calculating the $1/d$ expansion coefficients for solutions of integration by parts relations for Feynman integrals is presented. The idea is to use linear substitutions to transform these relations to an explicitly recursive…
A typical way of analyzing the time complexity of functional programs is to extract a recurrence expressing the running time of the program in terms of the size of its input, and then to solve the recurrence to obtain a big-O bound. For…
Feynman integrals are very often computed from their differential equations. It is not uncommon that the $\varepsilon$-factorised differential equation contains only dlog-forms with algebraic arguments, where the algebraic part is given by…
In recent work, we derived a direct expression for one-loop tensor reduction using generating functions and Feynman parametrization in projective space, avoiding recursive relations. However, for practical applications, this expression…
Let $r$ be a non-zero rational number. In a paper in the Transactions of the AMS in 2023, O'Desky and Richman gave a construction of a $p$-adic incomplete gamma-function $\Gamma_p(\cdot,r)$ for each prime $p$ for which $|r - 1|_p < 1$.…
Surprisingly, apart from some special cases, simple asymptotic expansions for the associated Legendre functions $P_\nu ^\mu (z)$ and $Q_\nu ^\mu (z)$ for large degree $\nu$ or large order $\mu$ are not available in the literature. The main…
Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…
It is shown that if a function defined on the segment [-1,1] has sufficiently good approximation by partial sums of the Legendre polynomial expansion, then, given the function's Fourier coefficients $c_n$ for some subset of $n\in[n_1,n_2]$,…
Poincar\'e series of $p$-adic, definable equivalence relations have been studied in various cases since Igusa's and Denef's work related to counting solutions of polynomial equations modulo $p^n$ for prime $p$. General semi-algebraic…
One of the main objectives of the current paper is to revisit the well known Laurent series expansions of the Riemann zeta function $\zeta(s)$, Hurwitz zeta function $\zeta(s,a)$ and Dirichlet $L$-function $L(s,\chi)$ at $s=1$. Moreover, we…
We construct the p-adic zeta function for a one-dimensional (as a p-adic Lie extension) non-commutative p-extension of a totally real number field such that the finite part of its Galois group is a pgroup with exponent p. We first calculate…
We give a detailed account of the phenomenology of all-order resummations of logarithmically enhanced contributions at small momentum fraction of the observed hadron in semi-inclusive electron-positron annihilation and the time-like scale…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…