Related papers: On computability and disintegration

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

Based on the three-ball inequality and the doubling inequality established in [23], we quantify the strong unique continuation established by Koch and Tataru [21] for elliptic operators with unbounded lower-order coefficients. We also…

We prove well-posedness for some abstract differential equations of the first order. Our result covers the usual case of Lipschitz composition operators. It also contains the case of some integro-differential operators acting on spaces with…

We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch…

We propose the notion of countable decomposability of maps on C*-algebras: a bounded linear map $\varphi : \mathscr{A}\to B(\mathcal{H})$, where $\mathscr{A}$ is a C*-algebra and $\mathcal{H}$ a Hilbert space, will be called countably…

Corresponding to any $(m-1)$-tuple of semi-spectral measures on the unit circle, a weighted Dirichlet-type space is introduced and studied. We prove that the operator of multiplication by the coordinate function on these weighted…

A parametrization of multipartite separable states in a finite-dimensional Hilbert space is suggested. It is proved to be a diffeomorphism between the set of zero-trace operators and the interior of the set of separable density operators.…

Let D be a self-adjoint differential operator of Dirac type acting on sections in a vector bundle over a closed Riemannian manifold M. Let H be a closed D-invariant subspace of the Hilbert space of square integrable sections. Suppose D…

In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…

In this note, we consider a class of composition operators on Lebesgue spaces with variable exponents over metric measure spaces. Taking advantage of the compatibility between the metric-measurable structure and the regularity properties of…

Strongly irreducible operators can be considered as building blocks for bounded linear operators on complex separable Hilbert spaces. Many bounded linear operators can be written as direct sums of at most countably many strongly irreducible…

A large literature specifies conditions under which the information complexity for a sequence of numerical problems defined for dimensions $1, 2, \ldots$ grows at a moderate rate, i.e., the sequence of problems is tractable. Here, we focus…

We analyse the structure of semiclassical and microlocal Wigner measures for solutions to the linear Schr\"{o}dinger equation on the disk, with Dirichlet boundary conditions. Our approach links the propagation of singularities beyond…

This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system $T$ is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space $T^*$…

Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.

We consider a strongly damped wave equation on compact manifolds, both with and without boundaries, and formulate the corresponding inverse problems. For closed manifolds, we prove that the metric can be uniquely determined, up to an…

A uniformly continuously integrable sequence of real-valued measurable functions, defined on some probability space, is relatively compact in the $\sigma(L^1,L^\infty)$ topology. In this paper, we link such a result to weak convergence…

It is known that two Banach space operators that are Schur coupled are also equivalent after extension, or equivalently, matricially coupled. The converse implication, that operators which are equivalent after extension or matricially…

We show that no matter what subset of a normed space is given, a typical 1-Lipschitz mapping into a Banach space is non-differentiable at a typical point of the set in a very strong sense: the derivative ratio approximates, on arbitrary…

We characterise absolutely dilatable completely positive maps on the space of all bounded operators on a Hilbert space that are also bimodular over a given von Neumann algebra as rotations by a suitable unitary on a larger Hilbert space…