BZPEER

preprint2021arXiv

The number of closed ideals in $L(L_p)$

We show that there are $2^{2^{\aleph_0}}$ different closed ideals in the Banach algebra $L(L_p(0,1))$ , $1<p\not= 2<\infty$ . This solves a problem in A. Pietsch's 1978 book "Operator Ideals". The proof is quite different from other methods of producing closed ideals in the space of bounded operators on a Banach space; in particular, the ideals are not contained in the strictly singular operators and yet do not contain projections onto subspaces that are non Hilbertian. We give a criterion for a space with an unconditional basis to have $2^{2^{\aleph_0}}$ closed ideals in terms of the existence of a single operator on the space with some special asymptotic properties. We then show that for $1<q<2$ the space ${\frak X}_q$ of Rosenthal, which is isomorphic to a complemented subspace of $L_q(0,1)$ , admits such an operator.

preprint2021arXiv

The SHAI property for the operators on L^p

A Banach space X has the SHAI (surjective homomorphisms are injective) property provided that for every Banach space Y, every continuous surjective algebra homomorphism from the bounded linear operators on X onto the bounded linear operators on Y is injective. The main result gives a sufficient condition for X to have the SHAI property. The condition is satisfied for L^p (0, 1) for 1 < p < \infty, spaces with symmetric bases that have finite cotype, and the Schatten p-spaces for 1 < p < \infty.

preprint2016arXiv

Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support

Let $λ$ be an infinite cardinal number and let $\ell_\infty^c(λ)$ denote the subspace of $\ell_\infty(λ)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional complemented subspaces of $\ell_\infty^c(λ)$ , proving that they are isomorphic to $\ell_\infty^c(κ)$ for some cardinal number $κ$ . Then we show that the Banach algebra of all bounded linear operators on $\ell_\infty^c(λ)$ or $\ell_\infty(λ)$ has the unique maximal ideal consisting of operators through which the identity operator does not factor. Using similar techniques, we obtain an alternative to Daws' approach description of the lattice of all closed ideals of $\mathscr{B}(X)$ , where $X = c_0(λ)$ or $X=\ell_p(λ)$ for some $p\in [1,\infty)$ , and we classify the closed ideals of $\mathscr{B}(\ell_\infty^c(λ))$ that contains the ideal of weakly compact operators.

preprint2015arXiv

A Schauder basis for $L_1(0,\infty)$ consisting of non-negative functions

We construct a Schauder basis for $L_1$ consisting of non-negative functions and investigate unconditionally basic and quasibasic sequences of non-negative functions in $L_p$ , $1\le p < \infty$ .

preprint2015arXiv

Bourgain's discretization theorem

Bourgain's discretization theorem asserts that there exists a universal constant $C\in (0,\infty)$ with the following property. Let $X,Y$ be Banach spaces with $\dim X=n$ . Fix $D\in (1,\infty)$ and set $δ= e^{-n^{Cn}}$ . Assume that $\mathcal N$ is a $δ$ -net in the unit ball of $X$ and that $\mathcal N$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $D$ . Then the entire space $X$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $CD$ . This mostly expository article is devoted to a detailed presentation of a proof of Bourgain's theorem. We also obtain an improvement of Bourgain's theorem in the important case when $Y=L_p$ for some $p\in [1,\infty)$ : in this case it suffices to take $δ= C^{-1}n^{-5/2}$ for the same conclusion to hold true. The case $p=1$ of this improved discretization result has the following consequence. For arbitrarily large $n\in \mathbb{N}$ there exists a family $\mathscr Y$ of $n$ -point subsets of ${1,...,n}^2\subseteq \mathbb{R}^2$ such that if we write $|\mathscr Y|= N$ then any $L_1$ embedding of $\mathscr Y$ , equipped with the Earthmover metric (a.k.a. transportation cost metric or minimumum weight matching metric) incurs distortion at least a constant multiple of $\sqrt{\log\log N}$ ; the previously best known lower bound for this problem was a constant multiple of $\sqrt{\log\log \log N}$ .

preprint2015arXiv

Metric ${X}_p$ inequalities

For every $p\in (0,\infty)$ we associate to every metric space $(X,d_X)$ a numerical invariant $\mathfrak{X}_p(X)\in [0,\infty]$ such that if $\mathfrak{X}_p(X)<\infty$ and a metric space $(Y,d_Y)$ admits a bi-Lipschitz embedding into $X$ then also $\mathfrak{X}_p(Y)<\infty$ . We prove that if $p,q\in (2,\infty)$ satisfy $q<p$ then $\mathfrak{X}_p(L_p)<\infty$ yet $\mathfrak{X}_p(L_q)=\infty$ . Thus our new bi-Lipschitz invariant certifies that $L_q$ does not admit a bi-Lipschitz embedding into $L_p$ when $2<q<p<\infty$ . This completes the long-standing search for bi-Lipschitz invariants that serve as an obstruction to the embeddability of $L_p$ spaces into each other, the previously understood cases of which were metric notions of type and cotype, which however fail to certify the nonembeddability of $L_q$ into $L_p$ when $2<q<p<\infty$ . Among the consequences of our results are new quantitative restrictions on the bi-Lipschitz embeddability into $L_p$ of snowflakes of $L_q$ and integer grids in $\ell_q^n$ , for $2<q<p<\infty$ . As a byproduct of our investigations, we also obtain results on the geometry of the Schatten $p$ trace class $S_p$ that are new even in the linear setting.

preprint2015arXiv

Pythagorean powers of hypercubes

For $n\in \mathbb{N}$ consider the $n$ -dimensional hypercube as equal to the vector space $\mathbb{F}_2^n$ , where $\mathbb{F}_2$ is the field of size two. Endow $\mathbb{F}_2^n$ with the Hamming metric, i.e., with the metric induced by the $\ell_1^n$ norm when one identifies $\mathbb{F}_2^n$ with $\{0,1\}^n\subseteq \mathbb{R}^n$ . Denote by $\ell_2^n(\mathbb{F}_2^n)$ the $n$ -fold Pythagorean product of $\mathbb{F}_2^n$ , i.e., the space of all $x=(x_1,\ldots,x_n)\in \prod_{j=1}^n \mathbb{F}_2^n$ , equipped with the metric $\forall\, x,y\in \prod_{j=1}^n \mathbb{F}_2^n,\qquad d_{\ell_2^n(\mathbb{F}_2^n)}(x,y)= \sqrt{ \|x_1-y_1\|_1^2+\ldots+\|x_n-y_n\|_1^2}.$ It is shown here that the bi-Lipschitz distortion of any embedding of $\ell_2^n(\mathbb{F}_2^n)$ into $L_1$ is at least a constant multiple of $\sqrt{n}$ . This is achieved through the following new bi-Lipschitz invariant, which is a metric version of (a slight variant of) a linear inequality of Kwapie{ń} and Schütt (1989). Letting $\{e_{jk}\}_{j,k\in \{1,\ldots,n\}}$ denote the standard basis of the space of all $n$ by $n$ matrices $M_n(\mathbb{F}_2)$ , say that a metric space $(X,d_X)$ is a KS space if there exists $C=C(X)>0$ such that for every $n\in 2\mathbb{N}$ , every mapping $f:M_n(\mathbb{F}_2)\to X$ satisfies \begin{equation*}\label{eq:metric KS abstract} \frac{1}{n}\sum_{j=1}^n\mathbb{E}\left[d_X\Big(f\Big(x+\sum_{k=1}^ne_{jk}\Big),f(x)\Big)\right]\le C \mathbb{E}\left[d_X\Big(f\Big(x+\sum_{j=1}^ne_{jk_j}\Big),f(x)\Big)\right], \end{equation*} where the expectations above are with respect to $x\in M_n(\mathbb{F}_2)$ and $k=(k_1,\ldots,k_n)\in \{1,\ldots,n\}^n$ chosen uniformly at random. It is shown here that $L_1$ is a KS space (with $C= 2e^2/(e^2-1)$ , which is best possible), implying the above nonembeddability statement. Links to the Ribe program are discussed, as well as related open problems.

preprint2015arXiv

Three observations regarding Schatten p classes

The paper contains three results, the common feature of which is that they deal with the Schatten $p$ class. The first is a presentation of a new complemented subspace of $C_p$ in the reflexive range (and $p\not= 2$ ). This construction answers a question of Arazy and Lindestrauss from 1975. The second result relates to tight embeddings of finite dimensional subspaces of $C_p$ in $C_p^n$ with small $n$ and shows that $\ell_p^k$ nicely embeds into $C_p^n$ only if $n$ is at least proportional to $k$ (and then of course the dimension of $C_p^n$ is at least of order $k^2$ ). The third result concerns single element of $C_p^n$ and shows that for $p>2$ any $n\times n$ matrix of $C_p$ norm one and zero diagonal admits, for every $\varepsilon>0$ , a $k$ -paving of $C_p$ norm at most $\varepsilon$ with $k$ depending on $\varepsilon$ and $p$ only.

preprint2013arXiv

Matrix Subspaces of $L_1$

If $E=\{e_i\}$ and $F=\{f_i\}$ are two 1-unconditional basic sequences in $L_1$ with $E$ $r$ -concave and $F$ $p$ -convex, for some $1\le r<p\le 2$ , then the space of matrices $\{a_{i,j}\}$ with norm $\|\{a_{i,j}\}\|_{E(F)}=\big\|\sum_k \|\sum_l a_{k,l}f_l\|e_k\big\|$ embeds into $L_1$ . This generalizes a recent result of Prochno and Schütt.

preprint2013arXiv

No greedy bases for matrix spaces with mixed $\ell_p$ and $\ell_q$ norms

We show that non of the spaces $(\bigoplus_{n=1}^\infty\ell_p)_{\ell_q}$ , $1\le p\not= q<\infty$ , have a greedy basis. This solves a problem raised by Dilworth, Freeman, Odell and Schlumprect. Similarly, the spaces $(\bigoplus_{n=1}^\infty\ell_p)_{c_0}$ , $1\le p<\infty$ , and $(\bigoplus_{n=1}^\infty c_o)_{\ell_q}$ , $1\le q<\infty$ , do not have greedy bases. It follows from that and known results that a class of Besov spaces on $\R^n$ lack greedy bases as well.

preprint2013arXiv

Subspaces of $L_p$ that embed into $L_p(μ)$ with $μ$ finite

Enflo and Rosenthal proved that $\ell_p(\aleph_1)$ , $1 < p < 2$ , does not (isomorphically) embed into $L_p(μ)$ with $μ$ a finite measure. We prove that if $X$ is a subspace of an $L_p$ space, $1< p < 2$ , and $\ell_p(\aleph_1)$ does not embed into $X$ , then $X$ embeds into $L_p(μ)$ for some finite measure $μ$ .

preprint2012arXiv

A quantitative version of the commutator theorem for zero trace matrices

Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can be taken to be normal.

preprint2012arXiv

Euclidean sections of convex bodies, series of lectures

This is a somewhat expanded form of a four hours course given, with small variations, first at the educational workshop Probabilistic methods in Geometry, Bedlewo, Poland, July 6-12, 2008 and a few weeks later at the Summer school on Fourier analytic and probabilistic methods in geometric functional analysis and convexity, Kent, Ohio, August 13-20, 2008. The main part of these notes gives yet another exposition of Dvoretzky's theorem on Euclidean sections of convex bodies with a proof based on Milman's. This material is by now quite standard. Towards the end of these notes we discuss issues related to fine estimates in Dvoretzky's theorem and there there are some results that didn't appear in print before. In particular there is an exposition of an unpublished result of Figiel (Claim \ref{claim:figiel}) which gives an upper bound on the possible dependence on $\e$ in Milman's theorem. We would like to thank Tadek Figiel for allowing us to include it here. There is also a better version of the proof of one of the results from \cite{sc2} giving a lower bound on the dependence on $\e$ in Dvoretzky's theorem. The improvement is in the statement and proof of Proposition \ref{prop:main} here which is a stronger version of the corresponding Corollary 1 in \cite{sc2}.

preprint2011arXiv

Approximate Gaussian isoperimetry for k sets

Given $2\le k\le n$ , the minimal $(n-1)$ -dimensional Gaussian measure of the union of the boundaries of $k$ disjoint sets of equal Gaussian measure in $\R^n$ whose union is $\R^n$ is of order $\sqrt{\log k}$ . A similar results holds also for partitions of the sphere $S^{n-1}$ into $k$ sets of equal Haar measure.

preprint2011arXiv

Commutators on $L_p$ , $1\le p<\infty$

The operators on $\LP=L_p[0,1]$, $1\leq p<\infty$ , which are not commutators are those of the form $λI + S$ where $λ\neq 0$ and $S$ belongs to the largest ideal in $\opLP$. The proof involves new structural results for operators on $\LP$ which are of independent interest.

preprint2011arXiv

Dimension Reduction in $L_p$ , $0<p<2$

Complementing a recent observation of Newman and Rabinovich for $p=1$ we observe here that for all $0<p<2$ any $k$ points in $L_p$ embeds with distortion $(1+\e)$ into $\ell_p^n$ where $n$ is linear in $k$ (and polynomial in $\e^{-1}$).

preprint2011arXiv

Stabilizing isomorphisms from $\ell_p(\ell_2)$ into $L_p[0,1]$

Let $1<p\not=2<\infty$ , $ε>0$ and let $T:\ell_p(\ell_2)\overset{into}{\rightarrow}L_p[0,1]$ be an isomorphism. Then there is a subspace $Y\subset \ell_p(\ell_2)$ $(1+ε)$ -isomorphic to $\ell_p(\ell_2)$ such that: $T_{|Y}$ is an $(1+ε)$ -isomorphism and $T(Y)$ is $K_p$ -complemented in $L_p[0,1]$ , with $K_p$ depending only on $p$ . Moreover, $K_p\le (1+ε)γ_p$ if $p>2$ and $K_p\le (1+ε)γ_{p/(p-1)}$ if $1<p<2$ , where $γ_r$ is the $L_r$ norm of a standard Gaussian variable.

preprint2010arXiv

Tight embedding of subspaces of $L_p$ in $\ell_p^n$ for even $p$

Using a recent result of Batson, Spielman and Srivastava, We obtain a tight estimate on the dimension of $\ell_p^n$ , $p$ an even integer, needed to almost isometrically contain all $k$ -dimensional subspaces of $L_p$ .

preprint1996arXiv

Hypercontractivity and comparison of moments of iterated maxima and minima of independent random variables

We provide necessary and sufficient conditions for hypercontractivity of the minima of nonnegative, i.i.d. random variables and of both the maxima of minima and the minima of maxima for such r.v.'s. It turns out that the idea of hypercontractivity for minima is closely related to small ball probabilities and Gaussian correlation inequalities.

preprint1996arXiv

On the Gaussian measure of the intersection of symmetric, convex sets

The Gaussian Correlation Conjecture states that for any two symmetric, convex sets in n-dimensional space and for any centered, Gaussian measure on that space, the measure of the intersection is greater than or equal to the product of the measures. In this paper we obtain several results which substantiate this conjecture. For example, in the standard Gaussian case, we show there is a positive constant, c, such that the conjecture is true if the two sets are in the Euclidean ball of radius $c\sqrt{n}$ . Further we show that if for every n the conjecture is true when the sets are in the Euclidean ball of radius $\sqrt{n}$ , then it is true in general. Our most concrete result is that the conjecture is true if the two sets are (arbitrary) centered ellipsoids.

preprint1994arXiv

Banach spaces with the $2$ -summing property

A Banach space $X$ has the $2$ -summing property if the norm of every linear operator from $X$ to a Hilbert space is equal to the $2$ -summing norm of the operator. Up to a point, the theory of spaces which have this property is independent of the scalar field: the property is self-dual and any space with the property is a finite dimensional space of maximal distance to the Hilbert space of the same dimension. In the case of real scalars only the real line and real $\ell_\infty^2$ have the $2$ -summing property. In the complex case there are more examples; e.g., all subspaces of complex $\ell_\infty^3$ and their duals.

preprint1992arXiv

Computing p-summing norms with few vectors

It is shown that the p-summing norm of any operator with n-dimensional domain can be well-aproximated using only ``few" vectors in the definition of the p-summing norm. Except for constants independent of n and log n factors, ``few" means n if 1<p<2 and n^{p/2} if 2<p<infinity.

preprint1990arXiv

Remarks on Talagrand's deviation inequality for Rademacher functions

Recently Talagrand [T] estimated the deviation of a function on $\{0,1\}^n$ from its median in terms of the Lipschitz constant of a convex extension of $f$ to $\ell ^n_2$ ; namely, he proved that $P(|f-M_f| > c) \le 4 e^{-t^2/4σ^2}$ where $σ$ is the Lipschitz constant of the extension of $f$ and $P$ is the natural probability on $\{0,1\}^n$ . Here we extend this inequality to more general product probability spaces; in particular, we prove the same inequality for $\{0,1\}^n$ with the product measure $((1-η)δ_0 + ηδ_1)^n$ . We believe this should be useful in proofs involving random selections. As an illustration of possible applications we give a simple proof (though not with the right dependence on $\varepsilon$ ) of the Bourgain, Lindenstrauss, Milman result [BLM] that for $1\le r < s \le 2$ and $\varepsilon >0$ , every $n$ -dimensional subspace of $L_s \ (1+\varepsilon)$ -embeds into $\ell ^N_r$ with $N = c(r,s,\varepsilon)n$ .

Gideon Schechtman

Research overview

Is this your work?

23 publications

The number of closed ideals in $L(L_p)$

The SHAI property for the operators on L^p

Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support

A Schauder basis for $L_1(0,\infty)$ consisting of non-negative functions

Bourgain's discretization theorem

Metric ${X}_p$ inequalities

Pythagorean powers of hypercubes

Three observations regarding Schatten p classes

Matrix Subspaces of $L_1$

No greedy bases for matrix spaces with mixed $\ell_p$ and $\ell_q$ norms

Subspaces of $L_p$ that embed into $L_p(μ)$ with $μ$ finite

A quantitative version of the commutator theorem for zero trace matrices

Euclidean sections of convex bodies, series of lectures

Approximate Gaussian isoperimetry for k sets

Commutators on $L_p$ , $1\le p<\infty$

Dimension Reduction in $L_p$ , $0<p<2$

Stabilizing isomorphisms from $\ell_p(\ell_2)$ into $L_p[0,1]$

Tight embedding of subspaces of $L_p$ in $\ell_p^n$ for even $p$

Hypercontractivity and comparison of moments of iterated maxima and minima of independent random variables

On the Gaussian measure of the intersection of symmetric, convex sets

Banach spaces with the $2$ -summing property

Computing p-summing norms with few vectors

Remarks on Talagrand's deviation inequality for Rademacher functions

See the researcher in context

Building this map preview

Gideon Schechtman

Research overview

Is this your work?

23 publications

The number of closed ideals in L(Lp)L(L_p)L(Lp​)

The SHAI property for the operators on L^p

Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support

A Schauder basis for L1(0,∞)L_1(0,\infty)L1​(0,∞) consisting of non-negative functions

Bourgain's discretization theorem

Metric Xp{X}_pXp​ inequalities

Pythagorean powers of hypercubes

Three observations regarding Schatten p classes

Matrix Subspaces of L1L_1L1​

No greedy bases for matrix spaces with mixed ℓp\ell_pℓp​ and ℓq\ell_qℓq​ norms

Subspaces of LpL_pLp​ that embed into Lp(μ)L_p(μ)Lp​(μ) with μμμ finite

A quantitative version of the commutator theorem for zero trace matrices

Euclidean sections of convex bodies, series of lectures

Approximate Gaussian isoperimetry for k sets

Commutators on LpL_pLp​, 1≤p<∞1\le p<\infty1≤p<∞

Dimension Reduction in LpL_pLp​, 0<p<20<p<20<p<2

Stabilizing isomorphisms from ℓp(ℓ2)\ell_p(\ell_2)ℓp​(ℓ2​) into Lp[0,1]L_p[0,1]Lp​[0,1]

Tight embedding of subspaces of LpL_pLp​ in ℓpn\ell_p^nℓpn​ for even ppp

Hypercontractivity and comparison of moments of iterated maxima and minima of independent random variables

On the Gaussian measure of the intersection of symmetric, convex sets

Banach spaces with the 222-summing property

Computing p-summing norms with few vectors

Remarks on Talagrand's deviation inequality for Rademacher functions

See the researcher in context

Building this map preview

The number of closed ideals in $L(L_p)$

A Schauder basis for $L_1(0,\infty)$ consisting of non-negative functions

Metric ${X}_p$ inequalities

Matrix Subspaces of $L_1$

No greedy bases for matrix spaces with mixed $\ell_p$ and $\ell_q$ norms

Subspaces of $L_p$ that embed into $L_p(μ)$ with $μ$ finite

Commutators on $L_p$ , $1\le p<\infty$

Dimension Reduction in $L_p$ , $0<p<2$

Stabilizing isomorphisms from $\ell_p(\ell_2)$ into $L_p[0,1]$

Tight embedding of subspaces of $L_p$ in $\ell_p^n$ for even $p$

Banach spaces with the $2$ -summing property