Related papers: Guerra's interpolation using Derrida-Ruelle cascad…
In the paper, the planar polynomial geometric interpolation of data points is revisited. Simple sufficient geometric conditions that imply the existence of the interpolant are derived in general. They require data points to be convex in a…
We consider quadrature formulas based on interpolation using the basis functions $1/(1+t_kx)$ $(k=1,2,3,\ldots)$ on $[-1,1]$, where $t_k$ are parameters on the interval $(-1,1)$. We investigate two types of quadratures: quadrature formulas…
In this paper, we obtain a general t-shuffle product formula, using which we derive a generalized Euler decomposition formula for interpolated multiple zeta values. We also provide the same formula in case of height one through two…
We develop foundations for computing Craig-Lyndon interpolants of two given formulas with first-order theorem provers that construct clausal tableaux. Provers that can be understood in this way include efficient machine-oriented systems…
In this paper we revisit the classical problem of polynomial interpolation, with a slight twist; namely, polynomial evaluations are available up to a group action of the unit circle on the complex plane. It turns out that this new setting…
This note reports on a scheme for interpolating the boundary conditions be- tween non-adjacent modeling regions when the model is based on Monte-Carlo computations of a collection of particles. The scheme conserves particles in a natural…
Periodic structures can be simulated using the periodic Method of Moments. The quasi-periodicity, i.e. periodicity within a linear phase-shift, is implemented through the use of the periodic Green's function. In this paper, we propose a…
We formalize a technique for embedding Riemann sufraces properly into \C^2, and we generalize all known embedding results to allow interpolation on prescribed discrete sequences.
We solve Poisson's equation using new multigrid algorithms that converge rapidly. The novel feature of the 2D and 3D algorithms are the use of extra diagonal grids in the multigrid hierarchy for a much richer and effective communication…
The two parameter Poisson-Dirichlet Process (PDP), a generalisation of the Dirichlet Process, is increasingly being used for probabilistic modelling in discrete areas such as language technology, bioinformatics, and image analysis. There is…
Craig interpolation in SMT is difficult because, e. g., theory combination and integer cuts introduce mixed literals, i. e., literals containing local symbols from both input formulae. In this paper, we present a scheme to compute Craig…
In this work, we study the Hermite interpolation on $n$-dimensional non-equally spaced, rectilinear grids over a field $\Bbbk $ of characteristic zero, given the values of the function at each point of the grid and the partial derivatives…
For exponents in the subcritical range, we revisit some optimal interpolation inequalities on the sphere with carr\'e du champ methods and use the remainder terms to produce improved inequalities. The method provides us with lower estimates…
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…
Converse PDL is the extension of propositional dynamic logic with a converse operation on programs. Our main result states that Converse PDL enjoys the (local) Craig Interpolation Property, with respect to both atomic programs and…
Capturing data from dynamic processes through cross-sectional measurements is seen in many fields, such as computational biology. Trajectory inference deals with the challenge of reconstructing continuous processes from such observations.…
Generative models based on normalizing flows are very successful in modeling complex data distributions using simpler ones. However, straightforward linear interpolations show unexpected side effects, as interpolation paths lie outside the…
We discuss several examples of point processes (all taken from Hough, Krishnapur, Peres, Vir\'ag (2009)) for which the autocorrelation and diffraction measures can be calculated explicitly. These include certain classes of determinantal and…
The current implementation of Thiele rational interpolation in Maple (the ThieleInterpolation routine) breaks down when the points are not well-ordered. In this article, it is shown how this breakdown can be avoided by ordering the…
The collocation method uses the Rhie-Chow scheme to find the cell interface velocity by pressure-weighted interpolation. The accuracy of this interpolation method in unsteady flows has not been fully clarified. This study constructs a…