Related papers: The Cheeger problem in abstract measure spaces
We provide a definition of POVM in terms of abstract tensor structure only. It is justified in two distinct manners. i. At this abstract level we are still able to prove Naimark's theorem, hence establishing a bijective correspondence…
We introduce the coherent algebra of a compact metric measure space by analogy with the corresponding concept for a finite graph. As an application we show that upon topologizing the collection of isomorphism classes of compact metric…
Let $X$ be a noncomplete metric space satisfying the usual (local) assumptions of a doubling property and a Poincar\'e inequality. We study extensions of Newtonian Sobolev functions to the completion $\widehat{X}$ of $X$ and use them to…
(This is a report for the Proceedings of ``Journees Relativistes 1993'' written in September 1993. Containes a short description of the results published elsewhere in the joint paper with A. Ashtekar) Integral calculus on the space of gauge…
W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…
We prove an analogue of the portmanteau theorem on weak convergence of probability measures allowing measures which are unbounded on an underlying metric space but finite on the complement of any Borel neighbourhood of a fixed element.
Extending a recent result by Frank and Lieb, we show an entropic uncertainty principle for mixed states in a Hilbert space relatively to pairs of positive operator valued measures that are independent in some sense. This yields…
We introduce two new formulations for the notion of "quantum metric on noncommutative space". For a compact noncommutative space associated to a unital C*-algebra, our quantum metrics are elements of the spatial tensor product of the…
We study approximately differentiable functions on metric measure spaces admitting a Cheeger differentiable structure. The main result is a Whitney-type characterization of approximately differentiable functions in this setting. As an…
In this paper we study the relationship of hyperbolicity and (Cheeger) isoperimetric inequality in the context of Riemannian manifolds and graphs. We characterize the hyperbolic manifolds and graphs (with bounded local geometry) verifying…
We present an area formula for continuous mappings between metric spaces, under minimal regularity assumptions. In particular, we do not require any notion of differentiability. This is a consequence of a measure theoretic notion of…
We prove that for manifolds with negative curvature bounded away from $0$ of infinite volume and bounded geometry, the bounded fundamental class, defined via integration of the volume form over straight top-dimensional simplices, vanishes…
We present a self-contained and comprehensive study of the Fisher-Rao space of matrix-valued non-commutative probability measures, and of the related Hellinger space. Our non-commutative Fisher-Rao space is a natural generalization of the…
Quantum measurement is commonly posed as a dynamical tension between linear Schr\"odinger evolution and an ad hoc collapse rule. I argue that the deeper conflict is logical: quantum theory is inherently contextual, whereas the classical…
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…
The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his…
We study measures, finitely additive measures, regular measures, and $\sigma$-additive measures that can attain even infinite values on the quantum logic of a Hilbert space. We show when particular classes of non-negative measures can be…
Let $M$ and $N$ be connected manifolds without boundary with $\dim(M) < \dim(N)$, and let $M$ compact. Then shape space in this work is either the manifold of submanifolds of $N$ that are diffeomorphic to $M$, or the orbifold of…
We establish lower semicontinuity results for perimeter functionals with measure data on $\mathbb{R}^n$ and deduce the existence of minimizers to these functionals with Dirichlet boundary conditions, obstacles, or volume-constraints. In…
Quasi-invariant and pseudo-differentiable measures on a Banach space $X$ over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in non-Archimedean…