Related papers: Matching functions for heavy particles
A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for…
We study the weighted partition function for lozenge tilings, with weights given by multivariate rational functions originally defined by Morales, Pak and Panova (2019) in the context of the factorial Schur functions. We prove that this…
We present a unified approach which gives completely elementary proofs of three weighted sum formulae for double zeta values. This approach also leads to new evaluations of sums relating to the harmonic numbers, the alternating double zeta…
We discuss the resummation of the large logarithmic terms appearing in the heavy quark effects on parton distribution functions inside the virtual photon. We incorporate heavy quark mass effects by changing the initial condition of the…
We consider multi-polylogarithm functions which are slightly different from the ordinary ones. These functions have two integral representations and an order structure similar to those of multiple zeta star values. We also give a necessary…
We establish a set of relations between several quite diverse types of weighted inequalities involving various integral operators and fairly general quasinorm-like functionals which we call sub-monotone. The main result enables one to solve…
Using loop equation technics, we compute all mixed traces correlation functions of the 2-matrix model to large N leading order. The solution turns out to be a sort of Bethe Ansatz, i.e. all correlation functions can be decomposed on…
To date, the appearance and resummation of "super-leading" logarithms in hadron-hadron collisions has been studied only for massless parton states. We extend the formalism to include an arbitrary number of massive final states. We derive…
Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional…
We continue the study of the correlation functions for the point stochastic processes introduced in Part I (G.Olshanski, math.RT/9804086). We find an integral representation of all the correlation functions and their explicit expression in…
A method for computing integrals of polynomial functions on compact symmetric spaces is given. Those integrals are expressed as sums of functions on symmetric groups.
We introduce a generalization of the Stirling numbers via symmetric functions involving two weight functions. The resulting extension unifies previously known Stirling-type sequences with known symmetric function forms, as well as other…
The synthesis of classical Computational Complexity Theory with Recursive Analysis provides a quantitative foundation to reliable numerics. Here the operators of maximization, integration, and solving ordinary differential equations are…
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…
Quantum statistical systems, composed of atoms or molecules interacting with each other through highly singular non-integrable potentials, are considered. The treatment of such systems cannot start with the standard approximations such as…
It was found that renormalization group equations in the heavy-quark effective theory (HQET) for the operators involving one effective heavy quark and light degrees of freedom are completely integrable in some cases and are related to spin…
We focus on the linear convergence of generalized proximal point algorithms for solving monotone inclusion problems. Under the assumption that the associated monotone operator is metrically subregular or that the inverse of the monotone…
The matching between Schrodinger Functional renormalization schemes and conventional perturbative schemes is usually done using an intermediate lattice scheme. We propose to do the matching directly. This requires the perturbative…
The article introduces a new algorithm for solving a class ofequilibrium problems involving strongly pseudomonotone bifunctions with Lipschitz-type condition. We describe how to incorporate the proximal-like regularized technique with…
Scale-invariant running couplings are constructed for several quarks being decoupled together, without reference to intermediate thresholds. Large-momentum scales can also be included. The result is a multi-scale generalization of the…