Related papers: Interpolation by generalized exponential sums with…

Using Pad\'e approximations to the series $E(z)=\sum_{k=0}^\infty k!(-z)^k$, we address arithmetic and analytical questions related to its values in both $p$-adic and Archimedean valuations.

Let $l\geq 6$ be any integer, where $l\equiv 2$ mod $4$. Suppose that $\mu(\tau)d\tau$ is a measure with bounded variation and is supported on a compact subset of the complex plane, where…

Let p be a prime and let F_pbar be the algebraic closure of the finite field of p elements. Let f(x) be any one variable rational function over F_pbar with n poles of orders d_1, ...,d_n. Suppose p is coprime to d_i for every i. We prove…

Let $H_k = 1 + 1/2 + 1/3 + \cdots + 1/k$ denote the $k$th harmonic number. We present an easy-to-implement algorithm for the computation of explicit closed-form evaluations, in terms of the digamma and polygamma functions, for Euler sums of…

This is a survey on propositional proof complexity aimed at introducing the basics of the field with a particular focus on a method known as feasible interpolation. This method is used to construct "hard theorems" for several proof systems…

We show that if $\lambda_1,\ldots,\lambda_k$ are algebraic numbers, then $$|A+\lambda_1\cdot A+\dots+\lambda_k\cdot A|\geq H(\lambda_1,\ldots,\lambda_k)|A|-o(|A|)$$ for all finite subsets $A$ of $\mathbb{C}$, where…

We extend Prekopa's Theorem and the Brunn-Minkowski Theorem from convexity to $F$-subharmonicity. We apply this to the interpolation problem of convex functions and convex sets introducing a new notion of "harmonic interpolation" that we…

In this paper, we introduce a new type of generalized alternating hyperharmonic numbers $H_n^{(p,r,s_{1},s_{2})}$, and show that Euler sums of the generalized alternating hyperharmonic numbers $H_n^{(p,r,s_{1},s_{2})}$ can be expressed in…

A \Riesz-basis sequence for $L_2[-\pi,\pi]$ is a strictly increasing sequence $X:=(x_j)_{j\in\mathbb{Z}}$ in $\mathbb{R}$ such that the set of functions $\left(e^{-ix_j(\cdot)}\right)_{j\in\mathbb{Z}}$ is a Riesz basis for $L_2[-\pi,\pi]$.…

Let $\lambda$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_{\alpha} \left | \sum_{x < n \leq x + H} \lambda(n) e(-\alpha n) \right | dx = o ( X H) $$ for all $H \geq X^{\theta}$ with $\theta >…

The eigenvalue probability density functions of the classical random matrix ensembles have a well known analogy with the one component log-gas at the special couplings \beta = 1,2 and 4. It has been known for some time that there is an…

Let $f$ be a Rademacher or Steinhaus random multiplicative function. For various arithmetically interesting subsets $\mathcal A\subseteq [1, N]\cap\mathbb N$ such that the distribution of $\sum_{n\in \mathcal A} f(n)$ is approximately…

In this paper, we develop a method of evaluating general exponential sums with rational amplitude functions for multiple variables which complements works by T. Cochrane and Z. Zheng on the single variable case. As an application, for…

Let $z_{1},\ldots,z_{K}$ be distinct grid points. If $f_{k,0}$ is the prescribed value of a function at the grid point $z_{k}$, and $f_{k,r}$ the prescribed value of the $r$\foreignlanguage{american}{-th} derivative, for $1\leq r\leq…

Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence…

A new generalization of multiquadric functions $\phi(x)=\sqrt{c^{2d}+||x||^{2d}}$, where $x\in\mathbb{R}^n$, $c\in \mathbb{R}$, $d\in \mathbb{N}$, is presented to increase the accuracy of quasi-interpolation further. With the restriction to…

We establish for $2 \le k \le n-1$ the strict concavity of the function $f_k(\lambda)=\log(\sigma_k(\lambda))$ on a subset of the positive cone $\Gamma_n=\{\lambda=(\lambda_{1}, \lambda_{2}, \cdots,\lambda_{n})\in \mathbb{R}^n;…

Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the…

Consider the linear congruence equation $x_1+\ldots+x_k \equiv b\,(\text{mod } n)$ for $b,n\in\mathbb{Z}$. By $(a,b)_s$, we mean the largest $l^s\in\mathbb{N}$ which divides $a$ and $b$ simultaneously. For each $d_j|n$, define…

We consider a Nevanlinna-Pick interpolation problem on finite sequences of the unit disc D constrained by Hardy and radial-weighted Bergman norms. We find sharp asymptotics on the corresponding interpolation constants. As another…