Source author record

Pavlos Motakis

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.MG math.CO math.GR math.OA

Catalog footprint

Research overview

21works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Restricted invertibility of continuous matrix functions

Motivated by an influential result of Bourgain and Tzafriri, we consider continuous matrix functions $A:\mathbb{R}\to M_{n\times n}$ and lower $\ell_2$ -norm bounds associated with their restriction to certain subspaces. We prove that for any such $A$ with unit-length columns, there exists a continuous choice of subspaces $t\mapsto U(t)\subset \mathbb{R}^n$ such that for $v\in U(t)$ , $\|A(t)v\|\geq c\|v\|$ where $c$ is some universal constant. Furthermore, the $U(t)$ are chosen so that their dimension satisfies a lower bound with optimal asymptotic dependence on $n$ and $\sup_{t\in \mathbb{R}}\|A(t)\|.$ We provide two methods. The first relies on an orthogonality argument, while the second is probabilistic and combinatorial in nature. The latter does not yield the optimal bound for $\dim(U(t))$ but the $U(t)$ obtained in this way are guaranteed to have a canonical representation as joined-together spaces spanned by subsets of the unit vector basis.

preprint2021arXiv

The space $L_1(L_p)$ is primary for $1<p<\infty$

The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary, meaning that, whenever $L_1(L_p) = E\oplus F$ then either $E$ or $F$ is isomorphic to $L_1(L_p)$ . More generally we show that $L_1(X)$ is primary, for a large class of rearrangement invariant Banach function spaces.

preprint2020arXiv

A new coarsely rigid class of Banach spaces

We prove that the class of reflexive asymptotic- $c_0$ Banach spaces is coarsely rigid, meaning that if a Banach space $X$ coarsely embeds into a reflexive asymptotic- $c_0$ space $Y$ , then $X$ is also reflexive and asymptotic- $c_0$ . In order to achieve this result we provide a purely metric characterization of this class of Banach spaces. This metric characterization takes the form of a concentration inequality for Lipschitz maps on the Hamming graphs, which is rigid under coarse embeddings. Using an example of a quasi-reflexive asymptotic- $c_0$ space, we show that this concentration inequality is not equivalent to the non equi-coarse embeddability of the Hamming graphs.

preprint2020arXiv

Coarse and Lipschitz universality

In this paper we provide several \emph{metric universality} results. We exhibit for certain classes $\cC$ of metric spaces, families of metric spaces $(M_i, d_i)_{i\in I}$ which have the property that a metric space $(X,d_X)$ in $\cC$ is coarsely, resp. Lipschitzly, universal for all spaces in $\cC$ if the collection of spaces $(M_i,d_i)_{i\in I}$ equi-coarsely, respectively equi-Lipschitzly, embeds into $(X,d_X)$ . Such families are built as certain Schreier-type metric subsets of $\co$. We deduce a metric analog to Bourgain's theorem, which generalized Szlenk's theorem, and prove that a space which is coarsely universal for all separable reflexive asymptotic- $c_0$ Banach spaces is coarsely universal for all separable metric spaces. One of our coarse universality results is valid under Martin's Axiom and the negation of the Continuum Hypothesis. We discuss the strength of the universality statements that can be obtained without these additional set theoretic assumptions. In the second part of the paper, we study universality properties of Kalton's interlacing graphs. In particular, we prove that every finite metric space embeds almost isometrically in some interlacing graph of large enough diameter.

preprint2020arXiv

Non-asymptotic $\ell_1$ spaces with unique $\ell_1$ asymptotic model

A recent result of Freeman, Odell, Sari, and Zheng states that whenever a separable Banach space not containing $\ell_1$ has the property that all asymptotic models generated by weakly null sequences are equivalent to the unit vector basis of $c_0$ then the space is Asymptotic $c_0$ . We show that if we replace $c_0$ with $\ell_1$ then this result is no longer true. Moreover, a stronger result of B. Maurey - H. P. Rosenthal type is presented, namely, there exists a reflexive Banach space with an unconditional basis admitting $\ell_1$ as a unique asymptotic model whereas any subsequence of the basis generates a non-Asymptotic $\ell_1$ subspace.

preprint2020arXiv

On the bi-Lipschitz geometry of lamplighter graphs

In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~ $6$ . It follows that lamplighter graphs over countable trees bi-Lipschitzly embed into $\ell_1$ . We study the metric behaviour of the operation of taking the lamplighter graph over the vertex-coalescence of two graphs. Based on this analysis, we provide metric characterizations of superreflexivity in terms of lamplighter graphs over star graphs or rose graphs. Finally, we show that the presence of a clique in a graph implies the presence of a Hamming cube in the lamplighter graph over it. An application is a characterization in terms of a sequence of graphs with uniformly bounded degree of the notion of trivial Bourgain-Milman-Wolfson type for arbitrary metric spaces, similar to Ostrovskii's characterization previously obtained in \cite{ostrovskii:11}.

preprint2020arXiv

Stochastic approximation of lamplighter metrics

We observe that embeddings into random metrics can be fruitfully used to study the $L_1$ -embeddability of lamplighter graphs or groups, and more generally lamplighter metric spaces. Once this connection has been established, several new upper bound estimates on the $L_1$ -distortion of lamplighter metrics follow from known related estimates about stochastic embeddings into dominating tree-metrics. For instance, every lamplighter metric on a $n$ -point metric space embeds bi-Lipschitzly into $L_1$ with distortion $O(\log n)$ . In particular, for every finite group $G$ the lamplighter group $H = \mathbb{Z}_2\wr G$ bi-Lipschitzly embeds into $L_1$ with distortion $O(\log\log|H|)$ . In the case where the ground space in the lamplighter construction is a graph with some topological restrictions, better distortion estimates can be achieved. Finally, we discuss how a coarse embedding into $L_1$ of the lamplighter group over the $d$ -dimensional infinite lattice $\mathbb{Z}^d$ can be constructed from bi-Lipschitz embeddings of the lamplighter graphs over finite $d$ -dimensional grids, and we include a remark on Lipschitz free spaces over finite metric spaces.

preprint2020arXiv

The geometry of Hamming-type metrics and their embeddings into Banach spaces

Within the class of reflexive Banach spaces, we prove a metric characterization of the class of asymptotic- $c_0$ spaces in terms of a bi-Lipschitz invariant which involves metrics that generalize the Hamming metric on $k$ -subsets of $\mathbb{N}$ . We apply this characterization to show that the class of separable, reflexive, and asymptotic- $c_0$ Banach spaces is non-Borel co-analytic. Finally, we introduce a relaxation of the asymptotic- $c_0$ property, called the asymptotic-subsequential- $c_0$ property, which is a partial obstruction to the equi-coarse embeddability of the sequence of Hamming graphs. We present examples of spaces that are asymptotic-subsequential- $c_0$ . In particular $T^*(T^*)$ is asymptotic-subsequential- $c_0$ where $T^*$ is Tsirelson's original space.

preprint2019arXiv

Continuous factorization of the identity matrix

We investigate conditions under which the identity matrix $I_n$ can be continuously factorized through a continuous $N\times N$ matrix function $A$ with domain in $\mathbb{R}$ . We study the relationship of the dimension $N$ , the diagonal entries of $A$ , and the norm of $A$ to the dimension $n$ and the norms of the matrices that witness the factorization of $I_n$ through $A$ .

preprint2016arXiv

A study of conditional spreading sequences

It is shown that every conditional spreading sequence can be decomposed into two well behaved parts, one being unconditional and the other being convex block homogeneous, i.e. equivalent to its convex block sequences. This decomposition is then used to prove several results concerning the structure of spaces with conditional spreading bases as well as results in the theory of conditional spreading models. Among other things, it is shown that the space $C(ω^ω)$ is universal for all spreading models, i.e., it admits all spreading sequences, both conditional and unconditional, as spreading models. Moreover, every conditional spreading sequence is generated as a spreading model by a sequence in a space that is quasi-reflexive of order one.

preprint2016arXiv

The scalar-plus-compact property in spaces without reflexive subspaces

A hereditarily indecomposable Banach space $\mathfrak{X}_{\mathfrak{nr}}$ is constructed that is the first known example of a $\mathscr{L}_\infty$ -space not containing $c_0$ , $\ell_1$ , or reflexive subspaces and answers a question posed by J. Bourgain. Moreover, the space $\mathfrak{X}_{\mathfrak{nr}}$ satisfies the "scalar-plus-compact" property and it is the first known space without reflexive subspaces having this property. It is constructed using the Bourgain-Delbaen method in combination with a recent version of saturation under constraints in a mixed-Tsirelson setting. As a result, the space $\mathfrak{X}_{\mathfrak{nr}}$ has a shrinking finite dimensional decomposition and does not contain a boundedly complete sequence.

preprint2015arXiv

A dual method of constructing hereditarily indecomposable Banach spaces

A new method of defining hereditarily indecomposable Banach spaces is presented. This method provides a unified approach for constructing reflexive HI spaces and also HI spaces with no reflexive subspace. All the spaces presented here satisfy the property that the composition of any two strictly singular operators is a compact one. This yields the first known example of a Banach space with no reflexive subspace such that every operator has a non-trivial closed invariant subspace.

preprint2015arXiv

A hierarchy of Banach spaces with $C(K)$ Calkin Algebras

For every well founded tree $\mathcal{T}$ having a unique root such that every non-maximal node of it has countable infinitely many immediate successors, we construct a $\mathcal{L}_\infty$ -space $X_{\mathcal{T}}$ . We prove that for each such tree $\mathcal{T}$ , the Calkin algebra of $X_{\mathcal{T}}$ is homomorphic to $C(\mathcal{T})$ , the algebra of continuous functions defined on $\mathcal{T}$ , equipped with the usual topology. We use this fact to conclude that for every countable compact metric space $K$ there exists a $\mathcal{L}_\infty$ -space whose Calkin algebra is isomorphic, as a Banach algebra, to $C(K)$ .

preprint2015arXiv

On the structure of separable $\mathcal{L}_\infty$ -spaces

Based on a construction method introduced by J. Bourgain and F. Delbaen, we give a general definition of a Bourgain-Delbaen space and prove that every infinite dimensional separable $\mathcal{L}_\infty$ -space is isomorphic to such a space. Furthermore, we provide an example of a $\mathcal{L}_\infty$ and asymptotic $c_0$ space not containing $c_0$ .

preprint2014arXiv

$α$ -Large Families and Applications to Banach Space Theory

The notion of $α$ -large families of finite subsets of an infinite set is defined for every countable ordinal number $α$ , extending the known notion of large families. The definition of the $α$ -large families is based on the transfinite hierarchy of the Schreier families $\mathcal{S}_α, α<ω_1$ . We prove the existence of such families on the cardinal number $2^{\aleph_0}$ and we study their properties. As an application, based on those families we construct a reflexive space $\mathfrak{X}_{2^{\aleph_0}}^α$ , $α<ω_1$ with density the continuum, such that every bounded non norm convergent sequence $\{x_k\}_k$ has a subsequence generating $\ell_1^α$ as a spreading model.

preprint2014arXiv

A hereditarily indecomposable Banach space with rich spreading model structure

We present a reflexive Banach space $\mathfrak{X}_{_{^\text{usm}}}$ which is Hereditarily Indecomposable and satisfies the following properties. In every subspace $Y$ of $\mathfrak{X}_{_{^\text{usm}}}$ there exists a weakly null normalized sequence $\{y_n\}_n$ , such that every subsymmetric sequence $\{z_n\}_n$ is isomorphically generated as a spreading model of a subsequence of $\{y_n\}_n$ . Also, in every block subspace $Y$ of $\mathfrak{X}_{_{^\text{usm}}}$ there exists a seminormalized block sequence $\{z_n\}$ and $T:\mathfrak{X}_{_{^\text{usm}}}\rightarrow\mathfrak{X}_{_{^\text{usm}}}$ an isomorphism such that for every $n\in\mathbb{N}$ $T(z_{2n-1}) = z_{2n}$ . Thus the space is an example of an HI space which is not tight by range in a strong sense.

preprint2014arXiv

Arbitrarily distortable Banach spaces of higher order

We study an ordinal rank on the class of Banach spaces with bases that quantifies the distortion of the norm of a given Banach space. The rank $AD(\cdot)$ , introduced by P. Dodos, uses the transfinite Schreier familes and has the property that $AD(X) < ω_1$ if and only if $X$ is arbitrarily distortable. We prove several properties of this rank as well as some new results concerning higher order $\ell_1$ spreading models. We also compute this rank for for several Banach spaces. In particular, it is shown that class of Banach spaces $\mathfrak{X}^{ω^ξ}_{0,1}$ , which each admit $\ell_1$ and $c_0$ spreading models hereditarily, and were introduced by S.A. Argyros, the first and third author, satisfy $AD(\mathfrak{X}^{ω^ξ}_{0,1}) = ω^ξ+ 1$ . This answers some questions of Dodos.

preprint2014arXiv

The stabilized set of $p$ 's in Krivine's theorem can be disconnected

For any closed subset $F$ of $[1,\infty]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space $X$ with a 1-unconditional basis is constructed so that in each block subspace $Y$ of $X$ , $\ell_p$ is finitely block represented in $Y$ if and only if $p \in F$ . In particular, this solves the question as to whether the stabilized Krivine set for a Banach space had to be connected. We also prove that for every infinite dimensional subspace $Y$ of $X$ there is a dense subset $G$ of $F$ such that the spreading models admitted by $Y$ are exactly the $\ell_p$ for $p\in G$ .

preprint2013arXiv

A reflexive HI space with the hereditary Invariant Subspace Property

A reflexive hereditarily indecomposable Banach space $\mathfrak{X}_{_{^\text{ISP}}}$ is presented, such that for every $Y$ infinite dimensional closed subspace of $\mathfrak{X}_{_{^\text{ISP}}}$ and every bounded linear operator $T:Y\rightarrow Y$ , the operator $T$ admits a non-trivial closed invariant subspace.

preprint2013arXiv

Strictly singular operators in Tsirelson like spaces

For each $n \in \mathbb{N}$ a Banach space $\mathfrak{X}_{0,1}^n$ is constructed is having the property that every normalized weakly null sequence generates either a $c_0$ or $\ell_1$ spreading models and every infinite dimensional subspace has weakly null sequences generating both $c_0$ and $\ell_1$ spreading models. The space $\mathfrak{X}_{0,1}^n$ is also quasiminimal and for every infinite dimensional closed subspace $Y$ of $\mathfrak{X}_{0,1}^n$ , for every $S_1,S_2,\ldots,S_{n+1}$ strictly singular operators on $Y$ , the operator $S_1S_2\cdots S_{n+1}$ is compact. Moreover, for every subspace $Y$ as above, there exist $S_1,S_2,\ldots,S_n$ strictly singular operators on $Y$ , such that the operator $S_1S_2\cdots S_n$ is non-compact.

preprint2011arXiv

Examples of k-iterated spreading models

It is shown that for every $k\in\mathbb{N}$ and every spreading sequence $\{e_n\}_{n\in\mathbb{N}}$ that generates a uniformly convex Banach space $E$ , there exists a uniformly convex Banach space $X_{k+1}$ admitting $\{e_n\}_{n\in\mathbb{N}}$ as a $k+1$ -iterated spreading model, but not as a $k$ -iterated one.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pavlos Motakis

Research overview

Is this your work?

21 publications

Restricted invertibility of continuous matrix functions

The space $L_1(L_p)$ is primary for $1<p<\infty$

A new coarsely rigid class of Banach spaces

Coarse and Lipschitz universality

Non-asymptotic $\ell_1$ spaces with unique $\ell_1$ asymptotic model

On the bi-Lipschitz geometry of lamplighter graphs

Stochastic approximation of lamplighter metrics

The geometry of Hamming-type metrics and their embeddings into Banach spaces

Continuous factorization of the identity matrix

A study of conditional spreading sequences

The scalar-plus-compact property in spaces without reflexive subspaces

A dual method of constructing hereditarily indecomposable Banach spaces

A hierarchy of Banach spaces with $C(K)$ Calkin Algebras

On the structure of separable $\mathcal{L}_\infty$ -spaces

$α$ -Large Families and Applications to Banach Space Theory

A hereditarily indecomposable Banach space with rich spreading model structure

Arbitrarily distortable Banach spaces of higher order

The stabilized set of $p$ 's in Krivine's theorem can be disconnected

A reflexive HI space with the hereditary Invariant Subspace Property

Strictly singular operators in Tsirelson like spaces

Examples of k-iterated spreading models

See the researcher in context

Building this map preview

Pavlos Motakis

Research overview

Is this your work?

21 publications

Restricted invertibility of continuous matrix functions

The space L1(Lp)L_1(L_p)L1​(Lp​) is primary for 1<p<∞1<p<\infty1<p<∞

A new coarsely rigid class of Banach spaces

Coarse and Lipschitz universality

Non-asymptotic ℓ1\ell_1ℓ1​ spaces with unique ℓ1\ell_1ℓ1​ asymptotic model

On the bi-Lipschitz geometry of lamplighter graphs

Stochastic approximation of lamplighter metrics

The geometry of Hamming-type metrics and their embeddings into Banach spaces

Continuous factorization of the identity matrix

A study of conditional spreading sequences

The scalar-plus-compact property in spaces without reflexive subspaces

A dual method of constructing hereditarily indecomposable Banach spaces

A hierarchy of Banach spaces with C(K)C(K)C(K) Calkin Algebras

On the structure of separable L∞\mathcal{L}_\inftyL∞​-spaces

ααα-Large Families and Applications to Banach Space Theory

A hereditarily indecomposable Banach space with rich spreading model structure

Arbitrarily distortable Banach spaces of higher order

The stabilized set of ppp's in Krivine's theorem can be disconnected

A reflexive HI space with the hereditary Invariant Subspace Property

Strictly singular operators in Tsirelson like spaces

Examples of k-iterated spreading models

See the researcher in context

Building this map preview

The space $L_1(L_p)$ is primary for $1<p<\infty$

Non-asymptotic $\ell_1$ spaces with unique $\ell_1$ asymptotic model

A hierarchy of Banach spaces with $C(K)$ Calkin Algebras

On the structure of separable $\mathcal{L}_\infty$ -spaces

$α$ -Large Families and Applications to Banach Space Theory

The stabilized set of $p$ 's in Krivine's theorem can be disconnected