Related papers: On computability and disintegration

Let $\mathfrak{M}$ be a semifinite von Neumann algebra on a Hilbert space equipped with a faithful normal semifinite trace $\tau$. A closed densely defined operator $x$ affiliated with $\mathfrak{M}$ is called $\tau$-measurable if there…

We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider…

Weak measurements are a new tool for characterizing post-selected quantum systems during their evolution. Weak measurement was originally formulated in terms of von Neumann interactions which are practically available for only the simplest…

We prove that if a geodesic metric measure space satisfies a comparison condition for isoperimetric profile and if the observable variance is maximal, then the space is foliated by minimal geodesics, where the observable variance is defined…

We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…

Fix a manifold M, and let V be an infinite dimensional Lie algebra of vector fields on M. Assume that V contains a finite dimensional semisimple maximal subalgebra A, the projective or conformal subalgebra. A projective or conformal…

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…

We study the projective systems in both continuous and discrete settings. These systems are linearizable by construction and thus, obviously, integrable. We show that in the continuous case it is possible to eliminate all variables but one…

Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or…

We extend the classical Mercer theorem to reproducing kernel Hilbert spaces whose elements are functions from a measurable space $X$into $\mathbb C^n$. Given a finite measure $\mu$ on $X$, we represent the reproducing kernel $K$ as…

Let $(E,\mathcal E,\mu)$ be a measure space and $G\colon E\times E\to [0,\infty]$ be measurable. Moreover, let $\mathcal F\!_{ui}$ denote the set of all $q\in\mathcal E^+$ (measurable numerical functions $q\ge 0$ on $E$) such that…

The aim of this paper is to prove the boundedness of the oscillation and variation operators for the multilinear singular integrals with Lipschitz functions on weighted Morrey spaces.

We prove the following theorem: if $w$ is a quasiconformal mapping of the unit disk onto itself satisfying elliptic partial differential inequality $|L[w]|\le \mathcal{B}|\nabla w|^2+\Gamma$, then $w$ is Lipschitz continuous. This {result}…

The problem of computing spectra of operators is arguably one of the most investigated areas of computational mathematics. However, the problem of computing spectra of general bounded infinite matrices has only recently been solved. We…

We prove a quantitative unique continuation principle for infinite dimensional spectral subspaces of Schr\"odinger operators. Let $\Lambda_L = (-L/2,L/2)^d$ and $H_L = -\Delta_L + V_L$ be a Schr\"odinger operator on $L^2 (\Lambda_L)$ with a…

We extend the recent results concerning boundedness of the maximal regularity operator on tent spaces. This leads us to develop a singular integral operator theory on tent spaces. Such operators have operator-valued kernels. A seemingly…

We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear…

We establish a strong unique continuation property for the subelliptic Baouendi operator under the presence of zero-order perturbations satisfying an almost Hardy-type growth condition. In particular, the admissible class includes both…

We examine a purely geometric property of a point in the boundary of the numerical range of a (Hilbert space) operator that implies that such a point is a reducing essential eigenvalue of the given operator. Roughly speaking, such a…

We prove vector-valued boundedness of (suitable) Calderon-Zygmund operators and of the (truncated) Hardy-Littlewood maximal function on a connected locally doubling metric measure space.