Related papers: Interchange Rules for Integral Functions
We generalise the termination method of higher-order polynomial interpretations to a setting with impredicative polymorphism. Instead of using weakly monotonic functionals, we interpret terms in a suitable extension of System F-omega. This…
In this paper we use Lagrange-Poincare reduction to understand the coupling between a fluid and a set of Lagrangian particles that are supposed to simulate it. In particular, we reinterpret the work of Cendra et al. by substituting velocity…
Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal notion of mechanism (a partially ordered set of events) that…
We implement methods that efficiently impose integrality -- i.e., the condition that the coefficients of characters in the partition function must be integers -- into numerical modular bootstrap. We demonstrate the method with a number of…
An intersection of sets $A = \bigcap_{i \in I}B_i$ is irredundant if no $B_i$ can be omitted from this intersection. We develop a topological approach to irredundance by introducing a notion of a spectral representation, a spectral space…
Submodular Functions are a special class of set functions, which generalize several information-theoretic quantities such as entropy and mutual information [1]. Submodular functions have subgradients and subdifferentials [2] and admit…
We discuss the interpolation of the electric and magnetic fields within a charge-conserving Particle-In-Cell scheme. The choice of the interpolation procedure for the fields acting on a particle can be constrained by analyzing conservation…
We perform conformal perturbation theory by marginal operators to first order. A suitable renormalization method is needed that makes the conformal invariance of the deformed correlation functions manifest. Combining the embedding space…
Entropy can signify different things: For instance, heat transfer in thermodynamics or a measure of information in data analysis. Many entropies have been introduced and it can be difficult to ascertain their different importance and…
Integrability in general tetrad formalisms is reviewed, following and clarifying work of Papapetrou and Edgar. The integrability conditions are (combinations of) the Bianchi equations and their consequences. The introduction of additional…
In this paper, we use a unified framework introduced in [3] to study two classes of nonconforming immersed finite element (IFE) spaces with integral value degrees of freedom. The shape functions on interface elements are piecewise…
Information-theoretic quantities like entropy and mutual information have found numerous uses in machine learning. It is well known that there is a strong connection between these entropic quantities and submodularity since entropy over a…
Given a finite number of samples of a continuous set-valued function F, mapping an interval to compact subsets of the real line, we develop good approximations of F, which can be computed efficiently.
This article handles in a short manner a few Laplace transform pairs and some extensions to the basic equations are developed. They can be applied to a wide variety of functions in order to find the Laplace transform or its inverse when…
We study multivariate integration of functions that are invariant under permutations (of subsets) of their arguments. We find an upper bound for the $n$th minimal worst case error and show that under certain conditions, it can be bounded…
Submodular functions are known to satisfy various forms of fractional subadditivity. This work investigates the conditions for equality to hold exactly or approximately in the fractional subadditivity of submodular functions. We establish…
This article is a survey of closure operations on ideals in commutative rings, with an emphasis on structural properties and on using tools from one part of the field to analyze structures in another part. The survey is broad enough to…
Limiting real interpolation method is applied to describe the behaviour of the Fourier coefficients of functions that belong to spaces which are "very close" to L2.
Based on the variable Hilbert scale interpolation inequality bounds for the error of regularisation methods are derived under range inclusions. In this context, new formulae for the modulus of continuity of the inverse of bounded operators…
In this paper we consider the problem of optimization of approximate integration of set-valued functions from the class defined by given majorant of their moduli of continuity, using values of the functions at $n$ fixed or free points of…