Related papers: On Symbol Elimination and Uniform Interpolation in…
Using the character expansion method, we generalize several well-known integrals over the unitary group to the case where general complex matrices appear in the integrand. These integrals are of interest in the theory of random matrices and…
We show that for integral operators of general form the norm bounds in Lorentz spaces imply certain norm bounds for the maximal function. As a consequence, the a.e. convergence for the integral operators on the Lorentz spaces follows from…
We treat interpolation for various logics.
Decoupling theorems have proven useful in various applications in the area of quantum information theory. This thesis builds upon preceding work by Fr\'{e}d\'{e}ric Dupuis [arXiv:1012.6044v1], where a general decoupling theorem is obtained…
The interpolation of couples of separable Hilbert spaces with a function parameter is studied. The main properties of the classic interpolation are proved. Some applications to the interpolation of isotropic H\"ormander spaces over a closed…
The properties of the compactness of interpolation sets of algebras of generalized analytic functions are investigated and convenient sufficient conditions for interpolation are given.
Analytic interpolation problems with rationality and derivative constraints are ubiquitous in systems and control. This paper provides a new method for such problems, both in the scalar and matrix case, based on a non-standard Riccati-type…
Recent work on the use of dimensional reduction for the regularisation of non--supersymmetric theories is reviewed. It is then shown that there exists a class of theories for which a universal form of the soft supersymmetry breaking terms…
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by…
Tate cohomology has been generalised by several authors using different constructions that have applications in group theory, ring theory and homotopical algebra. Therefore, there is a need for a uniform account that explains why their…
We introduce an extension of interpolation theory to more than two spaces by employing a functional parameter, while retaining a fully functorial and systematic framework. This approach allows for the construction of generalized…
We develop a method that we call \emph{omission of intervals}, for establishing topological properties of subsets of the real line based on their combinatorial structure. Using this method, we obtain conceptual proofs of the fundamental…
We consider linear systems of recurrence equations whose coefficients are given in terms of indefinite nested sums and products covering, e.g., the harmonic numbers, hypergeometric products, $q$-hypergeometric products or their mixed…
One major deficiency of most semantic representation techniques is that they usually model a word type as a single point in the semantic space, hence conflating all the meanings that the word can have. Addressing this issue by learning…
In the last decades many authors have become interested in the study of multilinear and polynomial generalizations of families of operator ideals (such as, for instance, the ideal of absolutely summing operators). However, these…
The purpose of this paper is to prove an interpolation formula involving derivatives for entire functions of exponential type. We extend the interpolation formula derived by J. Vaaler in [37, Theorem 9] to general $L^p$ de Branges spaces.…
We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well…
We present a new model-based interpolation procedure for satisfiability modulo theories (SMT). The procedure uses a new mode of interaction with the SMT solver that we call solving modulo a model. This either extends a given partial model…
We introduce a general class of (quasi-)interpolants of functions defined on a Bravais lattice, and establish several technical results for these interpolants that are crucial ingredients in the analysis of atomistic models and…
The representation of measurements by positive operator valued measures and the description of the most general state transformations by means of completely positive maps are two basic concepts of quantum information theory. These concepts…