Related papers: Computable copies of $\ell^p$

Suppose $p$ is a computable real so that $p \geq 1$. We show that in both the real and complex case $l^p$ is computably categorical if and only if $p \neq 2$.

When $p$ is a computable real so that $p \geq 1$, the isometry degree of a computable copy $\mathcal{B}$ of $\ell^p$ is defined to be the least powerful Turing degree that computes a linear isometry of $\ell^p$ onto $\mathcal{B}$. We show…

We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…

Suppose $p \geq 1$ is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable $L^p$ spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we determine the…

We prove that a non ergodic Banach space must be near Hilbert. In particular, $\ell_p$ ($2<p<\infty$) is ergodic. This reinforces the conjecture that $\ell_2$ is the only non ergodic Banach space. As an application of our criterion for…

Given an infinite matrix $M=(m_{nk})$ we study a family of sequence spaces $\ell_M^p$ associated with it. When equipped with a suitable norm $\|\cdot\|_{M,p}$ we prove some basic properties of the Banach spaces of sequences…

We define spatial $L^p$ AF algebras for $p \in [1, \infty) \setminus \{ 2 \}$, and prove the following analog of the Elliott AF algebra classification theorem. If $A$ and $B$ are spatial $L^p$ AF algebras, then the following are equivalent:…

We show that the Hilbert space is coarsely embeddable into any $\ell_p$ for $1\le p<\infty$. In particular, this yields new characterizations of embeddability of separable metric spaces into the Hilbert space.

Suppose $X$ is a real or complexified Banach space containing a complemented copy of $\ell_p$, $p\in(1,2)$, and a copy (not necessarily complemented) of either $\ell_q$, $q\in(p,\infty)$, or $c_0$. Then $\mathcal{L}(X)$ and…

For a separable rearrangement invariant space $X$ on $(0,\infty)$ of fundamental type we identify the set of all $p\in [1,\infty]$ such that $\ell^p$ is finitely represented in $X$ in such a way that the unit basis vectors of $\ell^p$…

We improve the known results about the complexity of the relation of isomorphism between separable Banach spaces up to Borel reducibility, and we achieve this using the classical spaces $c_0$, $\ell_p$ and $L_p$, $1 \leq p <2$. More…

The main result is that a finite dimensional normed space embeds isometrically in $\ell_p$ if and only if it has a discrete Levy $p$-representation. This provides an alternative answer to a question raised by Pietch, and as a corollary, a…

We investigate the rigidity of the $\ell^p$ analog of Roe-type algebras. In particular, we show that if $p\in[1,\infty)\setminus\{2\}$, then an isometric isomorphism between the $\ell^p$ uniform Roe algebras of two metric spaces with…

Given a metric space with bounded geometry, one may associate with it the $\ell^p$ uniform Roe algebra and the $\ell^p$ uniform algebra, both containing information about the large scale geometry of the metric space. We show that these two…

Given a separable Banach space $E$, we construct an extremely non-complex Banach space (i.e. a space satisfying that $\|Id + T^2\|=1+\|T^2\|$ for every bounded linear operator $T$ on it) whose dual contains $E^*$ as an $L$-summand. We also…

We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.

As proved in [16], for a Tychonoff space $X$, a locally convex space $C_{p}(X)$ is distinguished if and only if $X$ is a $\Delta$-space. If there exists a linear continuous surjective mapping $T:C_p(X) \to C_p(Y)$ and $C_p(X)$ is…

A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…

The purpose of this article is to develop a technique to estimate certain bounds for entropy numbers of diagonal operator on spaces of p-summable sequences for finite p greater than 1. The approximation method we develop in this direction…

We show that any bounded analytic semigroup on $L^p$ (with $1<p<\infty$) whose negative generator admits a bounded $H^{\infty}$ functional calculus with respect to some angle $< \pi/2$ can be dilated into a bounded analytic semigroup…