Related papers: Characterization of test functions in CKS-space
The master equation of quantum optical density operator is transformed to the equation of characteristic function. The parametric amplification and amplitude damping as well as the phase damping are considered. The solution for the most…
We give a short proof of the Buchstaber-Rees theorem concerning symmetric powers. The proof is based on the notion of a formal characteristic function of a linear map of algebras.
We consider stochastic equations for the class of formal mappings. Existence and uniqueness of solution, as well as evolution property are proved.
We describe positive generalized functionals in Gaussian Analysis. We focus on distribution spaces larger than the space of Hida Distributions. It is shown that a positive distribution is represented by a measure with specific growth of its…
We characterize the set of properties of Boolean-valued functions on a finite domain $\mathcal{X}$ that are testable with a constant number of samples. Specifically, we show that a property $\mathcal{P}$ is testable with a constant number…
Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…
There are several physically motivated density matrix functionals in the literature, built from the knowledge of the natural orbitals and the occupation numbers of the one-body reduced density matrix. With the help of the equivalent…
We give a new characterization of the space of functions of bounded variation in terms of a pointwise inequality connected to the maximal function of a measure. The characterization is new even in Euclidean spaces and it holds also in…
Here we present a Bayesian formalism for the goodness-of-fit that is the evidence for a fixed functional form over the evidence for all functions that are a general perturbation about this form. This is done under the assumption that the…
This work proposes a mathematical approach that (re)defines a property of Machine Learning models named stability and determines sufficient conditions to validate it. Machine Learning models are represented as functions, and the…
We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of…
We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…
We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the…
The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
In this note we provide a simple proof of some properties enjoyed by convex functions having the engulfing property. In particular, making use only of results peculiar to convex analysis, we prove that differentiability and strict convexity…
The main aim of this note is to provide characterization theorems concerning real derivations. Among others the following implication will be verified: Assume that $\xi\colon \mathbb{R}\to \mathbb{R}$ is a given differentiable function and…
We introduce and study properties of certain new multifunctional harmonic spaces in the upper halfspace.We prove several sharp embedding theorems for such multifunctional spaces,these results are new even in the case of a single function.
We describe a proof of the Central Limit Theorem that has been formally verified in the Isabelle proof assistant. Our formalization builds upon and extends Isabelle's libraries for analysis and measure-theoretic probability. The proof of…
The main purpose of this work is to prove characterization theorems for generalized moment functions on groups. According one of the main results these are exponential polynomials that can be described with the aid of complete (exponential)…