An official website of the United States government
Discrete and continuous frames can be considered as positive operator-valued measures (POVMs) that have integral representations using rank-one operators. However, not every POVM has an integral representation. One goal of this paper is to examine the POVMs that have finite-rank integral representations. More precisely, we present a necessary and sufficient condition under which a positive operator-valued measure $$F: \Omega \to B(H)$$ has an integral representation of the form $$F(E) =\sum_{k=1}^{m} \int_{E}\, G_{k}(\omega)\otimes G_{k}(\omega) d\mu(\omega)$$ for some weakly measurable maps $$G_{k} \ (1\leq k\leq m) $$ from a measurable space $$\Omega$$ to a Hilbert space $$\mathcal{H}$$ and some positive measure $$\mu$$ on $$\Omega$$. Similar characterizations are also obtained for projection-valued measures. As special consequences of our characterization we settle negatively a problem of Ehler and Okoudjou about probability frame representations of probability POVMs, and prove that an integral representable probability POVM can be dilated to a integral representable projection-valued measure if and only if the corresponding measure is purely atomic.
more »
« less
This content will become publicly available on July 1, 2026
A regularity condition under which integral operators with operator-valued kernels are trace class
We study integral operators on the space of square-integrable functions from a compact set, X, to a separableHilbert space,H. The kernel of such an operator takes values in the ideal of Hilbert–Schmidt operators on H.We establish regularity conditions on the kernel under which the associated integral operator is trace class. First, we extend Mercer’s theorem to operator-valued kernels by proving that a continuous, nonnegative-definite, Hermitian symmetric kernel defines a trace class integral operator on L2(X; H) under an additional assumption. Second, we show that a general operator-valued kernel that is defined on a compact set and that is Hölder continuous with Hölder exponent greater than a half is trace class provided that the operator-valued kernel is essentially bounded as a mapping into the space of trace class operators on H. Finally, when dim H < ∞, we show that an analogous result also holds for matrix-valued kernels on the real line, provided that an additional exponential decay assumption holds.
more »
« less
- PAR ID:
- 10646541
- Publisher / Repository:
- Birkhauser
- Date Published:
- Journal Name:
- Boletín de la Sociedad Matemática Mexicana
- Volume:
- 31
- Issue:
- 2
- ISSN:
- 1405-213X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
It is known that for $$X$$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $$X$$ contains a dense $$G_\delta$$ set in the space $$C_b(X)$$ of all bounded continuous real-valued functions on $$X$$ in the supremum norm. Furthermore, when $$X$$ is separable, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $$X$$ is itself a $$G_\delta$$ set. We show that in contrast, when $$X$$ is nonseparable, this set of functions is not even a Borel set.more » « less
-
null (Ed.)Abstract We initiate the study of Schrödinger operators with ergodic potentials defined over circle map dynamics, in particular over circle diffeomorphisms. For analytic circle diffeomorphisms and a set of rotation numbers satisfying Yoccoz’s $${{\mathcal{H}}}$$ arithmetic condition, we discuss an extension of Avila’s global theory. We also give an abstract version and a short proof of a sharp Gordon-type theorem on the absence of eigenvalues for general potentials with repetitions. Coupled with the dynamical analysis, we obtain that, for every $$C^{1+BV}$$ circle diffeomorphism, with a super Liouville rotation number and an invariant measure $$\mu $$, and for $$\mu $$-almost all $$x\in{{\mathbb{T}}}^1$$, the corresponding Schrödinger operator has purely continuous spectrum for every Hölder continuous potential $$V$$.more » « less
-
The paper is devoted to establishing relationships between global and local monotonicity, as well as their maximality versions, for single-valued and set-valued mappings between fnite-dimensional and infnite-dimensional spaces. We frst show that for single-valued operators with convex domains in locally convex topological spaces, their continuity ensures that their global monotonicity agrees with the local one around any point of the graph. This also holds for set-valued mappings defned on the real line under a certain connectedness condition. The situation is diferent for set-valued operators in multidimensional spaces as demonstrated by an example of locally monotone operator on the plane that is not globally monotone. Finally, we invoke coderivative criteria from variational analysis to characterize both global and local maximal monotonicity of set-valued operators in Hilbert spaces to verify the equivalence between these monotonicity properties under the closedgraph and global hypomonotonicity assumptions.more » « less
-
null (Ed.)Using the newly introduced ``occupation kernels,'' the present manuscript develops an approach to dynamic mode decomposition (DMD) that treats continuous time dynamics, without discretization, through the Liouville operator. The technical and theoretical differences between Koopman based DMD for discrete time systems and Liouville based DMD for continuous time systems are highlighted, which includes an examination of these operators over several reproducing kernel Hilbert spaces.more » « less
