BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Gideon Schechtman

Gideon Schechtman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.MGmath.PRmath.OA

Catalog footprint

What is connected

23works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

23 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access