SearcharxivSearch

arXiv subjects

Beata Randrianantoanina

Publications and source records attributed to Beata Randrianantoanina.

At least 19 recordsLinked to original sources

Bi-Lipschitz embedding properties of lamplighter graphs on weighted and unweighted trees

In 2021 Baudier, Motakis, Schlumprecht, and Zsák proved that if a sequence of graphs $(G_k)_{k\in{\mathbb{N}}}$ contains the sequence of complete graphs with uniformly bounded distortion, then the sequence of lamplighter graphs on $G_k$'s contains Hamming cubes with uniformly bounded distortion and asked whether the converse holds. They suggested that a sequence of trees with edges replaced by paths of ``moderately growing'' lengths may be a counterexample. We prove that indeed this is the case, and that a sequence of ``moderately'' weighted trees is another counterexample. Further, we prove that diamond graphs do not embed with uniformly bounded distortion into lamplighter graphs on trees with edges replaced by paths with sufficiently fast growing lengths.

math.FA

On the relations between Auerbach or almost Auberbach Markushevich systems and Schauder bases

We establish that the summability of the series $\sum\varepsilon_n$ is the necessary and sufficient criterion ensuring that every $(1+\varepsilon_n)$ Markushevich basis in a separable Hilbert space is a Riesz basis. Further we show that if $n\varepsilon_n\to \infty$, then in $\ell_2$ there exists a $(1+\varepsilon_n)$ Markushevich basis that under any permutation is non-equivalent to a Schauder basis. We extend this result to any separable Banach space. Finally we provide examples of Auerbach bases in 1-symmetric separable Banach spaces whose no permutations are equivalent to any Schauder basis or (depending on the space) any unconditional Schauder basis.

math.FA

On $L_1$-embeddability of unions of $L_1$-embeddable metric spaces and of twisted unions of hypercubes

We study properties of twisted unions of metric spaces introduced by Johnson, Lindenstrauss, and Schechtman, and by Naor and Rabani. In particular, we prove that under certain natural mild assumptions twisted unions of $L_1$-embeddable metric spaces also embed in $L_1$ with distortions bounded above by constants that do not depend on the metric spaces themselves, or on their size, but only on certain general parameters. This answers a question stated by Naor and by Naor and Rabani. In the second part of the paper we give new simple examples of metric spaces such their every embedding into $L_p$, $1\le p<\infty$, has distortion at least $3$, but which are a union of two subsets, each isometrically embeddable in $L_p$. This extends an analogous result of K.~Makarychev and Y.~Makarychev from Hilbert spaces to $L_p$-spaces, $1\le p<\infty$.

math.MG

On Mazur rotations problem and its multidimensional versions

The article is a survey related to a classical unsolved problem in Banach space theory, appearing in Banach's famous book in 1932, and known as the Mazur rotations problem. Although the problem seems very difficult and rather abstract, its study sheds new light on the importance of norm symmetries of a Banach space, demonstrating sometimes unexpected connections with renorming theory and differentiability in functional analysis, with topological group theory and the theory of representations, with the area of amenability, with Fraïssé theory and Ramsey theory, and led to development of concepts of interest independent of Mazur problem. This survey focuses on results that have been published after 2000, stressing two lines of research which were developed in the last ten years. The first one is the study of approximate versions of Mazur rotations problem in its various aspects, most specifically in the case of the Lebesgue spaces Lp. The second one concerns recent developments of multidimensional formulations of Mazur rotations problem and associated results. Some new results are also included.

math.FA

Bourgain discretization using Lebesgue-Bochner spaces

We study the Lebesgue-Bochner discretization property of Banach spaces $Y$, which ensures that the Bourgain's discretization modulus for $Y$ has a good lower estimate. We prove that there exist spaces that do not have the Lebesgue-Bochner discretization property, and we give a class of examples of spaces that enjoy this property.

math.FA

A characterization of superreflexivity through embeddings of lamplighter groups

We prove that finite lamplighter groups $\{\mathbb{Z}_2\wr\mathbb{Z}_n\}_{n\ge 2}$ with a standard set of generators embed with uniformly bounded distortions into any non-superreflexive Banach space, and therefore form a set of test-spaces for superreflexivity. Our proof is inspired by the well known identification of Cayley graphs of infinite lamplighter groups with the horocyclic product of trees. We cover $\mathbb{Z}_2\wr\mathbb{Z}_n$ by three sets with a structure similar to a horocyclic product of trees, which enables us to construct well-controlled embeddings.

math.FA

A new approach to low-distortion embeddings of finite metric spaces into non-superreflexive Banach spaces

The main goal of this paper is to develop a new embedding method which we use to show that some finite metric spaces admit low-distortion embeddings into all non-superreflexive spaces. This method is based on the theory of equal-signs-additive sequences developed by Brunel and Sucheston (1975-1976). We also show that some of the low-distortion embeddability results obtained using this method cannot be obtained using the method based on the factorization between the summing basis and the unit vector basis of $\ell_1$, which was used by Bourgain (1986) and Johnson and Schechtman (2009).

math.FA

On sign embeddings and narrow operators on $L_2$

The goal of this note is two-fold. First we present a brief overview of "weak" embeddings, with a special emphasis on sign embeddings which were introduced by H. P. Rosenthal in the early 1980s. We also discuss the related notion of narrow operators, which was introduced by A. Plichko and M. Popov in 1990. We give examples of applications of these notions in the geometry of Banach spaces and in other areas of analysis. We also present some open problems. In the second part we prove that Rosenthal's celebrated characterization of narrow operators on $L_1$ is also true for operators on $L_2$. This answers, for $p=2$, a question posed by Plichko and Popov in 1990. For $1<p<2$ the problem remains open.

math.FA

Metric spaces admitting low-distortion embeddings into all $n$-dimensional Banach spaces

For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional Euclidean spaces, and equilateral spaces. We prove that good embeddability properties are preserved under the operation of metric composition of metric spaces. In particular, we prove that any $n$-point ultrametric can be embedded with uniformly bounded distortion into any Banach space of dimension $\log n$. The main result of the paper is a new example of a family of finite metric spaces which are not metric compositions of classical examples and which do embed with uniformly bounded distortion into any Banach space of dimension $n$. This partially answers a question of G. Schechtman.

math.FA

On interval based generalizations of absolute continuity for functions on $\mathbb{R}^n$

We study notions of absolute continuity for functions defined on $\mathbb{R}^n$similar to the notion of $α$-absolute continuity in the sense of Bongiorno. We confirm a conjecture of Malý that 1-absolutely continuous functions do not need to be differentiable a.e., and we show several other pathological examples of functions in this class. We establish containment relations of the class $1-AC_{\rm WDN}$ which consits of all functions in $1-AC$ which are in the Sobolev space $W^{1,2}_{loc}$, are differentiable a.e. and satisfy the Luzin (N) property, with previously studied classes of absolutely continuous functions.

math.FA

Numerical index of absolute sums of Banach spaces

We study the numerical index of absolute sums of Banach spaces, giving general conditions which imply that the numerical index of the sum is less or equal than the infimum of the numerical indices of the summands and we provide some examples where the equality holds covering the already known case of $c_0$-, $\ell_1$- and $\ell_\infty$-sums and giving as a new result the case of $E$-sums where $E$ has the RNP and $n(E)=1$ (in particular for finite-dimensional $E$ with $n(E)=1$). We also show that the numerical index of a Banach space $Z$ which contains a dense increasing union of one-complemented subspaces is greater or equal than the limit superior of the numerical indices of those subspaces. Using these results, we give a detailed short proof of the already known fact that the numerical indices of all infinite-dimensional $L_p(μ)$-spaces coincide.

math.FA

Second derivatives of norms and contractive complementation in vector-valued spaces

We consider 1-complemented subspaces (ranges of contractive projections) of vector-valued spaces $\ell_p(X)$, where $X$ is a Banach space with a 1-unconditional basis and $p \in (1,2)\cup (2,\infty)$. If the norm of $X$ is twice continuously differentiable and satisfies certain conditions connecting the norm and the notion of disjointness with respect to the basis, then we prove that every 1-complemented subspace of $\ell_p(X)$ admits a basis of mutually disjoint elements. Moreover, we show that every contractive projection is then an averaging operator. We apply our results to the space $\ell_p(\ell_q)$ with $p,q\in (1,2)\cup (2,\infty)$ and obtain a complete characterization of its 1-complemented subspaces.

math.FA

On contractive projections in Hardy spaces

We prove a conjecture of Wojtaszczyk that for $1\leq p<\infty$, $p\neq 2$, $H_p(\mathbbT)$ does not admit any norm one projections with dimension of the range finite and bigger than 1. This implies in particular that for $1\leq p<\infty$, $p\ne 2$, $H_p$ does not admit a Schauder basis with constant one.

math.FA

On the extension of Hölder maps with values in spaces of continuous functions

We study the isometric extension problem for Hölder maps from subsets of any Banach space into $c_0$ or into a space of continuous functions. For a Banach space $X$, we prove that any $α$-Hölder map, with $0<α\leq 1$, from a subset of $X$ into $c_0$ can be isometrically extended to $X$ if and only if $X$ is finite dimensional. For a finite dimensional normed space $X$ and for a compact metric space $K$, we prove that the set of $α$'s for which all $α$-Hölder maps from a subset of $X$ into $C(K)$ can be extended isometrically is either $(0,1]$ or $(0,1)$ and we give examples of both occurrences. We also prove that for any metric space $X$, the described above set of $\al$'s does not depend on $K$, but only on finiteness of $K$.

math.FA

On the structure of level sets of uniform and Lipschitz quotient mappings from ${\mathbb{R}}^n$ to ${\mathbb{R}}$

We study two questions posed by Johnson, Lindenstrauss, Preiss, and Schechtman, concerning the structure of level sets of uniform and Lipschitz quotient maps from $R^n\to R$. We show that if $f:R^n\to R$, $n\geq 2$, is a uniform quotient map then for every $t\in R$, $f^{-1}(t)$ has a bounded number of components, each component of $f^{-1}(t)$ separates $R^n$ and the upper bound of the number of components depends only on $n$ and the moduli of co-uniform and uniform continuity of $f$. Next we obtain a characterization of the form of any closed, hereditarily locally connected, locally compact, connected set with no end points and containing no simple closed curve, and we apply it to describe the structure of level sets of co-Lipschitz uniformly continuous mappings $f:R^2\to R$. We prove that all level sets of any co-Lipschitz uniformly continuous map from $R^2$ to $R$ are locally connected, and we show that for every pair of a constant $c>0$ and a function $Ω$ with $\lim_{r\to 0}Ω(r)=0$, there exists a natural number $M=M(c,Ω)$, so that for every co-Lipschitz uniformly continuous map $f:R^2\to R$ with a co-Lipschitz constant $c$ and a modulus of uniform continuity $Ω$, there exists a natural number $n(f)\le M$ and a finite set $T_f\subset R$ with $\card(T_f)\leq n(f)-1$ so that for all $t\in R\setminus T_f$, $f^{-1}(t)$ has exactly $n(f)$ components, $R^2\setminus f^{-1}(t)$ has exactly $n(f)+1$ components and each component of $f^{-1}(t)$ is homeomorphic with the real line and separates the plane into exactly 2 components. The number and form of components of $f^{-1}(s)$ for $s\in T_f$ are also described - they have a finite graph structure. We give an example of a uniform quotient map from $R^2\to R$ which has non-locally connected level sets.

math.FA

Contractive projections in Orlicz sequence spaces

We characterize norm one complemented subspaces of Orlicz sequence spaces $\ell_M$ equipped with either Luxemburg or Orlicz norm, provided that the Orlicz function $M$ is sufficiently smooth and sufficiently different from the square function. This paper concentrates on the more difficult real case, the complex case follows from previously known results.

math.FA

A disjointness type property of conditional expectation operators

We give a characterization of conditional expectation operators through a disjointness type property similar to band preserving operators. We say that the operator $T:X\to X$ on a Banach lattice $X$ is semi band preserving if and only if for all $f, g \in X$, $f \perp Tg$ implies that $Tf \perp Tg$. We prove that when $X$ is a purely atomic Banach lattice, then an operator $T$ on $X$ is a weighted conditional expectation operator if and only if $T$ is semi band preserving.

math.FA