Related papers: A unifying framework for perturbative exponential …

Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determinization as a set of inference rules to help understand the…

The functional flow equations for the Legendre effective action, with respect to changes in a smooth cutoff, are approximated by a derivative expansion; no other approximation is made. This results in a set of coupled non-linear…

We study the derivative expansion for the effective action in the framework of the Exact Renormalization Group for a single component scalar theory. By truncating the expansion to the first two terms, the potential $U_k$ and the kinetic…

We design exact polynomial expansions of a class of Feynman--Kac particle distributions. These expansions are finite and are parametrized by coalescent trees and other related combinatorial quantities. The accuracy of the expansions at any…

Using the Funtional Integrals Formulation is developes a self-consistent mean field expansion to evolution operators of a system composed by two subsystems. This is a general expansion and can be generalized for more of two subsystems,…

Expectation Propagation (EP) provides a framework for approximate inference. When the model under consideration is over a latent Gaussian field, with the approximation being Gaussian, we show how these approximations can systematically be…

Variable-exponent fractional models attract increasing attentions in various applications, while the rigorous analysis is far from well developed. This work provides general tools to address these models. Specifically, we first develop a…

In this study, a recursive solution technique in conjunction with generalized integrating factors is presented and applied to address first and second order linear differential equations. This approach demonstrates practical utility in…

Stochastic Taylor expansions of the expectation of functionals applied to diffusion processes which are solutions of stochastic differential equation systems are introduced. Taylor formulas w.r.t. increments of the time are presented for…

We establish a novel convergent iteration framework for a weak approximation of general switching diffusion. The key theoretical basis of the proposed approach is a restriction of the maximum number of switching so as to untangle and…

Some new Frobenius norm bounds of the unique solution to certain structured Sylvester equation are derived. Based on the derived norm upper bounds, new multiplicative perturbation bounds are provided both for subunitary polar factors and…

The assignment of weights to attacks in a classical Argumentation Framework allows to compute semantics by taking into account the different importance of each argument. We represent a Weighted Argumentation Framework by a non-binary…

Maximization of submodular functions under various constraints is a fundamental problem that has been studied extensively. A powerful technique that has emerged and has been shown to be extremely effective for such problems is the…

A computational technique borrowed from the physical sciences is introduced to obtain accurate closed-form approximations for the transition probability of arbitrary diffusion processes. Within the path integral framework the same technique…

We analyze and test using Fourier extensions that minimize a Hilbert space norm for the purpose of solving partial differential equations (PDEs) on surfaces. In particular, we prove that the approach is arbitrarily high-order and also show…

We show how Wick polynomials of random variables can be defined combinatorially as the unique choice which removes all "internal contractions" from the related cumulant expansions, also in a non-Gaussian case. We discuss how an expansion in…

A formula for calculating Extensions of (mainly integral) Polynomial Functors is established, based upon projective resolutions. Sample computations are performed, which, in particular, exhibit a surprising non-trivial extension of Divided…

We derive global analytic representations of fundamental solutions for a class of linear parabolic systems with full coupling of first order derivative terms where coefficient may depend on space and time. Pointwise convergence of the…

Inspired by the works of \cite{baz2} and \cite{kian}, this study develops an abstract framework for analyzing differential equations with space-dependent fractional time derivatives and bounded operators. Within this framework, we establish…

Perturbation expansions appear to be divergent series in many physically interesting situations, including in quantum field theories like quantum electrodynamics (QED) and quantum chromodynamics (QCD), where the perturbative coefficients…