相关论文: Trace functions as Laplace transforms
We study monitoring of linear-time arithmetic properties against finite traces generated by an unknown dynamic system. The monitoring state is determined by considering at once the trace prefix seen so far, and all its possible…
We show that a doubling measure on the plane can give positive measure to the graph of a continuous function. This answers a question by Wang, Wen and Wen. Moreover we show that the doubling constant of the measure can be chosen to be…
Recently the behavior of operator monotone functions on unbounded intervals with respect to the relation of strictly positivity has been investigated. In this paper we deeply study such behavior not only for operator monotone functions but…
The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate…
We use nearly parallel pure states to characterize positive linear functionals $\phi$ on $\mathbb{M}_n$ as positive multiples of the trace if and only if $\phi(A \natural B) \leq \sqrt{\phi(A) \phi(B)}$ for all positive definite matrices…
We use the Laplace transform and the Gamma function to introduce a new integral transform and name it the Laplace-type transform possessing the property of mapping a function to a functional sequence, which cannot be achieved by the Laplace…
The equivalence of the characteristic function approach and the probabilistic approach to monotone and boolean convolutions is proven for non-compactly supported probability measures. A probabilistically motivated definition of the…
Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…
We make a detailed study of various (quadratic and linear) Morse-Bott trace functions on the orthogonal groups $O(n)$. We describe the critical loci of the quadratic trace function Tr$(AXBX^T)$ and determine their indices via perfect…
We establish higher order trace formulas for pairs of contractions along a multiplicative path generated by a self-adjoint operator in a Schatten-von Neumann ideal, removing earlier stringent restrictions on the kernel and defect operator…
Roughly speaking, functional analysis is the study of vector spaces of arbitrary dimension over the field of real or complex numbers, and the continuous linear mappings between such spaces. Naturally, the notion of continuity requires a…
The purpose of this paper is to present the critical cases of the trace theorems for the restriction of functions to closed surfaces, and to give the asymptotics for the norms of the traces under dilations of the surface. We also discuss…
A formula for the partial trace of a full symmetrizer is obtained. The formula is used to provide an inductive proof of the well-known formula for the dimension of a full symmetry class of tensors.
It is shown that if the processes $B$ and $f(B)$ are both Brownian motions (without a random time change) then $f$ must be an affine function. As a by-product of the proof, it is shown that the only functions which are solutions to both the…
Associated with a given suitable function, or a measure, on $\mathbb{R}$, we introduce a correlation function, so that the Wronskian of the Fourier transform of the function is the Fourier transform of the corresponding correlation…
We construct an analogue of Kontsevich and Vishik's canonical trace for a class of pseudodifferential boundary value problems in Boutet de Monvel's calculus on compact manifolds with boundary. For an operator A in the calculus (of class…
Problems in econometrics, insurance, reliability engineering, and statistics quite often rely on the assumption that certain functions are non-decreasing. To satisfy this requirement, researchers frequently model the underlying phenomena…
A function of positive type can be defined as a positive functional on a convolution algebra of a locally compact group. In the case where the group is abelian, by Bochner's theorem a function of positive type is, up to normalization, the…
Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within…
We give several new characterizations of completely monotone functions and Bernstein functions via two approaches: the first one is driven algebraically via elementary preserving mappings and the second one is developed in terms of the…