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

We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We show that the class of Banach algebras that can be isometrically represented on an $L^p$-space, for $p\neq 2$, is not closed under quotients. This answers a question asked by Le Merdy 20 years ago. Our methods are heavily reliant on our…

We consider $\ell_p$-direct sums ($1\leq p<\infty$) and $c_0$-direct sums of countably many normed spaces and find the duals of these spaces. We characterize the support functionals of arbitrary elements in these spaces to characterize…

A remarkable result of Moln\'ar [Proc. Amer. Math. Soc., 126 (1998), 853-861] states that automorphisms of the algebra of operators acting on a separable Hilbert space is stable under "small" perturbations. More precisely, if $\phi,\psi$…

We study the double iterated outer $L^p$ spaces, namely the outer $L^p$ spaces associated with three exponents and defined on sets endowed with a measure and two outer measures. We prove that in the case of finite sets, under certain…

If $p\in [1,+\infty]$ and $T$ is a linear operator with $p$-nuclear adjoint from a Banach space $ X$ to a Banach space $Y$ then if one of the spaces $X^*$ or $Y^{***}$ has the approximation property, then $T$ belongs to the ideal $N^p$ of…

We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the…

For $d = 2, 3, \ldots$ and $p \in [1, \infty),$ we define a class of representations $\rho$ of the Leavitt algebra $L_d$ on spaces of the form $L^p (X, \mu),$ which we call the spatial representations. We prove that for fixed $d$ and $p,$…

We study some properties of the randomized series and their applications to the geometric structure of Banach spaces. For $n\ge 2$ and $1<p<\infty$, it is shown that $\ell_\infty^n$ is representable in a Banach space $X$ if and only if it…

Let $\mathcal{L}(H)$ be the $*$-algebra of all bounded operators on an infinite dimensional Hilbert space $H$ and let $(\mathcal{I}, \|\cdot\|_{\mathcal{I}})$ be an ideal in $\mathcal{L}(H)$ equipped with a Banach norm which is distinct…

Let $p\in(1,\infty)$. We show that there is an isomorphism from any separable unital subalgebra of $B(\ell^{2})/K(\ell^{2})$ onto a subalgebra of $B(\ell^{p})/K(\ell^{p})$ that preserves the Fredholm index. As a consequence, every separable…

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

Let $\lambda$ be an infinite cardinal number and let $\ell_\infty^c(\lambda)$ denote the subspace of $\ell_\infty(\lambda)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional…

We first give a note on disjoint hypercyclicity for invertible bilateral pseudo-shifts on $\ell^{p}(\mathbb{Z})$, $1\leq p <\infty$. It is already known that if a tuple of bilateral weighted shifts on $\ell^{p}(\mathbb{Z})$, $1\leq p…

We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree…

Let $X$ be a topological vector space of complex-valued sequences and $Y$ be a subset of $X$. We provide conditions for $X \setminus Y \cup \{0\}$ to contain uncountably infinitely many linearly independent dense vector subspaces of $X$. We…

It is known that if finite subsets of a locally finite metric space $M$ admit $C$-bilipschitz embeddings into $\ell_p$ $(1\le p\le \infty)$, then for every $\epsilon>0$, the space $M$ admits a $(C+\epsilon)$-bilipschitz embedding into…

The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with…

We introduce a second numerical index for real Banach spaces with non-trivial Lie algebra, as the best constant of equivalence between the numerical radius and the quotient of the operator norm modulo the Lie algebra. We present a number of…