We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem prover based on this method. The prover has been used for predicate refinement in the Blast software model checker, and can also be used directly for model checking infinite-state systems, using interpolation-based ima...

A minimal area problem imposing different length conditions on open and closed curves is shown to define a one parameter family of covariant open-closed quantum string field theories. These interpolate from a recently proposed factorizable open-closed theory up to an extended version of Witten’s open string field theory capable of incorporating on shell closed strings. The string diagrams of th...

Barycentric coordinates are very popular for interpolating data values on polyhedral domains. It has been recently shown that expressing them as complex functions has various advantages when interpolating two-dimensional data in the plane, and in particular for holomorphic maps. We extend and generalize these results by investigating the complex representation of real-valued barycentric coordin...

This paper studies the generation of stable tmnsfer functions for which the real or imaginary part takes prescribed values at discrete uniformly spaced points on the unit circle. Formulas bounding the error between a parIicular interpolating function and any function consistent with the data are presented, which have the desirable property that the error goes to zero exponentially fast with the...

The optimal mass transportation problem provides a framework for interpolating between different probability density functions (pdfs), warping one function toward another. Interpolating between two arbitrary pdfs can be challenging, but interpolating between more than two pdfs just remains untractable. We propose an approximation of such interpolations based on 1D projections, that is efficient...

where |N(q)〉 is a one-nucleon state with four-momentum q and u(q) is a Dirac spinor for the nucleon. λN is the coupling strength which measures the ability of the interpolating field ηN to excite the nucleon from the QCD vacuum. In fact, the above interpolating field couples to the negative parity nucleons also. Recently, the techniques to study negative parity baryons are given in Ref. and Ref...

I review lattice QCD results relevant to the recently discovered hadrons: X(3782), Y (4260), and Ds(2317), because these seem, to me at least, to be the most interesting states from the perspective of solving and understanding QCD . The physical picture behind lattice QCD calculations is that an interpolating operator creates a hadron in the QCD vacuum. and after a specific time interval the ha...

Interpolating fields, used to excite hadrons from the QCD vacuum in nonperturbative field-theoretic investigations of hadron properties, are explored with an emphasis on unconventional nucleon interpolators. The QCD continuum model for excited state contributions to QCD correlation functions is a central element in extracting the physics contained in these alternate correlation functions. The a...

I propose a finite-difference offset continuation filter for interpolating seismic reflection data. The filter is constructed from the offset continuation differential equation and is applied on frequency slices in the log-stretch frequency domain. Synthetic data tests produce encouraging results: nearly perfect interpolation of a constant-velocity dataset with a complex reflector model and rea...

A two-parameter model for the Lorenz curve describing income distribution interpolating between self-similar behavior at the low and high ends of the income spectrum naturally leads to two separate Gini indices describing the low and high ends individually. These new indices accurately capture realistic data on income distribution and give a better picture of how income data is shifting over time.