-
Trimming the Johnson bonsai
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We show that if $p>1$ every subspace of $\ell_p(Γ)$ is an $\ell_p$-sum of separable subspaces of $\ell_p$, and we provide examples of subspaces of $\ell_p(Γ)$ for $0<p\leq 1$ that are not even isomorphic to any $\ell_p$-sum of separable spaces, notably the kernel of any quotient map $\ell_p(Γ)\to L_1(2^Γ)$ with $Γ$ uncountable. We involve the separable complementation property (SCP) and the separa…
▽ More
We show that if $p>1$ every subspace of $\ell_p(Γ)$ is an $\ell_p$-sum of separable subspaces of $\ell_p$, and we provide examples of subspaces of $\ell_p(Γ)$ for $0<p\leq 1$ that are not even isomorphic to any $\ell_p$-sum of separable spaces, notably the kernel of any quotient map $\ell_p(Γ)\to L_1(2^Γ)$ with $Γ$ uncountable. We involve the separable complementation property (SCP) and the separable extension property (SEP), showing that if $X$ is a Banach space of density character $\aleph_1$ with the SCP then the kernel of any quotient map $\ell_p(Γ)\to X$ is a complemented subspace of a space with the SCP and, consequently, has the SEP.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Assigning Entities to Teams as a Hypergraph Discovery Problem
Authors:
Guilherme Ferraz de Arruda,
Wan He,
Nasimeh Heydaribeni,
Tara Javidi,
Yamir Moreno,
Tina Eliassi-Rad
Abstract:
We propose a team assignment algorithm based on a hypergraph approach focusing on resilience and diffusion optimization. Specifically, our method is based on optimizing the algebraic connectivity of the Laplacian matrix of an edge-dependent vertex-weighted hypergraph. We used constrained simulated annealing, where we constrained the effort agents can exert to perform a task and the minimum effort…
▽ More
We propose a team assignment algorithm based on a hypergraph approach focusing on resilience and diffusion optimization. Specifically, our method is based on optimizing the algebraic connectivity of the Laplacian matrix of an edge-dependent vertex-weighted hypergraph. We used constrained simulated annealing, where we constrained the effort agents can exert to perform a task and the minimum effort a task requires to be completed. We evaluated our methods in terms of the number of unsuccessful patches to drive our solution into the feasible region and the cost of patching. We showed that our formulation provides more robust solutions than the original data and the greedy approach. We hope that our methods motivate further research in applying hypergraphs to similar problems in different research areas and in exploring variations of our methods.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Distinct Distances with $\ell_p$ Spaces
Authors:
Moaaz AlQady,
Riley Chabot,
William Dudarov,
Linus Ge,
Mandar Juvekar,
Srikanth Kundeti,
Neloy Kundu,
Kevin Lu,
Yago Moreno,
Sibo Peng,
Samuel Speas,
Julia Starzycka,
Henry Steinthal,
Anastasiia Vitko
Abstract:
We study Erd\H os's distinct distances problem under $\ell_p$ metrics with integer $p$. We improve the current best bound for this problem from $Ω(n^{4/5})$ to $Ω(n^{6/7-ε})$, for any $ε>0$. We also characterize the sets that span an asymptotically minimal number of distinct distances under the $\ell_1$ and $\ell_\infty$ metrics.
We study Erd\H os's distinct distances problem under $\ell_p$ metrics with integer $p$. We improve the current best bound for this problem from $Ω(n^{4/5})$ to $Ω(n^{6/7-ε})$, for any $ε>0$. We also characterize the sets that span an asymptotically minimal number of distinct distances under the $\ell_1$ and $\ell_\infty$ metrics.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
On Disjointly singular centralizers
Authors:
Jesús M. F. Castillo,
Wilson Cuellar,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
We study ``disjoint" versions of the notions of trivial, locally trivial, strictly singular and super-strictly singular quasi-linear maps in the context of Köthe function spaces. Among other results, we show: i) (locally) trivial and (locally) disjointly trivial notions coincide on reflexive spaces; ii) On non-atomic superreflexive Köthe spaces, no centralizer is singular, although most are disjoi…
▽ More
We study ``disjoint" versions of the notions of trivial, locally trivial, strictly singular and super-strictly singular quasi-linear maps in the context of Köthe function spaces. Among other results, we show: i) (locally) trivial and (locally) disjointly trivial notions coincide on reflexive spaces; ii) On non-atomic superreflexive Köthe spaces, no centralizer is singular, although most are disjointly singular. iii) No super singular quasi-linear maps exist between superreflexive spaces although Kalton-Peck centralizers are super disjointly singular; iv) Disjoint singularity does not imply super disjoint singularity.
△ Less
Submitted 19 May, 2019;
originally announced May 2019.
-
On the bounded approximation property on subspaces of $\ell_p$ when $0<p<1$ and related issues
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
This paper studies the bounded approximation property (BAP) in quasi Banach spaces. In the first part of the paper we show that the kernel of any surjective operator $\ell_p\to X$ has the BAP when $X$ has it and $0<p\leq 1$, which is an analogue of the corresponding result of Lusky for Banach spaces. We then obtain and study nonlocally convex versions of the Kadec-Pełczyński-Wojtaszczyk complement…
▽ More
This paper studies the bounded approximation property (BAP) in quasi Banach spaces. In the first part of the paper we show that the kernel of any surjective operator $\ell_p\to X$ has the BAP when $X$ has it and $0<p\leq 1$, which is an analogue of the corresponding result of Lusky for Banach spaces. We then obtain and study nonlocally convex versions of the Kadec-Pełczyński-Wojtaszczyk complementably universal spaces for Banach spaces with the BAP.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
1-complemented subspaces of Banach spaces of universal disposition
Authors:
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We first unify all notions of partial injectivity appearing in the literature ---(universal) separable injectivity, (universal) $\aleph$-injectivity --- in the notion of $(α, β)$-injectivity ($(α, β)_λ$-injectivity if the parameter $λ$ has to be specified). Then, extend the notion of space of universal disposition to space of universal $(α, β)$-disposition. Finally, we characterize the $1$-complem…
▽ More
We first unify all notions of partial injectivity appearing in the literature ---(universal) separable injectivity, (universal) $\aleph$-injectivity --- in the notion of $(α, β)$-injectivity ($(α, β)_λ$-injectivity if the parameter $λ$ has to be specified). Then, extend the notion of space of universal disposition to space of universal $(α, β)$-disposition. Finally, we characterize the $1$-complemented subspaces of spaces of universal $(α, β)$-disposition as precisely the spaces $(α, β)_1$-injective.
△ Less
Submitted 12 August, 2017;
originally announced August 2017.
-
Banach spaces of almost universal complemented disposition
Authors:
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We introduce and study the notion of space of almost universal complemented disposition (a.u.c.d.) as a generalization of Kadec space. We show that every Banach space with separable dual is isometrically contained as a $1$-complemented subspace of a separable a.u.c.d. space and that all a.u.c.d. spaces with $1$-FDD are isometric and contain isometric $1$-complemented copies of every separable Bana…
▽ More
We introduce and study the notion of space of almost universal complemented disposition (a.u.c.d.) as a generalization of Kadec space. We show that every Banach space with separable dual is isometrically contained as a $1$-complemented subspace of a separable a.u.c.d. space and that all a.u.c.d. spaces with $1$-FDD are isometric and contain isometric $1$-complemented copies of every separable Banach space with $1$-FDD. We then study spaces of universal complemented disposition (u.c.d.) and provide different constructions for such spaces. We also consider spaces of u.c.d. with respect to separable spaces.
△ Less
Submitted 16 June, 2019; v1 submitted 8 August, 2017;
originally announced August 2017.
-
On the classification of positions and of complex structures in Banach spaces
Authors:
Razvan Anisca,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
A topological setting is defined to study the complexities of the relation of equivalence of embeddings (or "position") of a Banach space into another and of the relation of isomorphism of complex structures on a real Banach space. The following results are obtained: a) if $X$ is not uniformly finitely extensible, then there exists a space $Y$ for which the relation of position of $Y$ inside $X$ r…
▽ More
A topological setting is defined to study the complexities of the relation of equivalence of embeddings (or "position") of a Banach space into another and of the relation of isomorphism of complex structures on a real Banach space. The following results are obtained: a) if $X$ is not uniformly finitely extensible, then there exists a space $Y$ for which the relation of position of $Y$ inside $X$ reduces the relation $E_0$ and therefore is not smooth; b) the relation of position of $\ell_p$ inside $\ell_p$, or inside $L_p$, $p \neq 2$, reduces the relation $E_1$ and therefore is not reducible to an orbit relation induced by the action of a Polish group; c) the relation of position of a space inside another can attain the maximum complexity $E_{\rm max}$; d) there exists a subspace of $L_p, 1 \leq p <2$, on which isomorphism between complex structures reduces $E_1$ and therefore is not reducible to an orbit relation induced by the action of a Polish group.
△ Less
Submitted 16 January, 2017;
originally announced January 2017.
-
Complex structures on twisted Hilbert spaces
Authors:
Jesús M. F. Castillo,
Wilson Cuellar,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
We investigate complex structures on twisted Hilbert spaces, with special attention paid to the Kalton-Peck $Z_2$ space and to the hyperplane problem. We consider (nontrivial) twisted Hilbert spaces generated by centralizers obtained from an interpolation scale of Köthe function spaces. We show there are always complex structures on the Hilbert space that cannot be extended to the twisted Hilbert…
▽ More
We investigate complex structures on twisted Hilbert spaces, with special attention paid to the Kalton-Peck $Z_2$ space and to the hyperplane problem. We consider (nontrivial) twisted Hilbert spaces generated by centralizers obtained from an interpolation scale of Köthe function spaces. We show there are always complex structures on the Hilbert space that cannot be extended to the twisted Hilbert space. If, however, the scale is formed by rearrangement invariant Köthe function spaces then there are complex structures on it that can be extended to a complex structure of the twisted Hilbert space. Regarding the hyperplane problem we show that no complex structure on $\ell_2$ can be extended to a complex structure on an hyperplane of $Z_2$ containing it.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
$\aleph$-injective Banach spaces and $\aleph$-projective compacta
Authors:
Antonio Avilés,
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Manuel González,
Yolanda Moreno
Abstract:
A Banach space $E$ is said to be injective if for every Banach space $X$ and every subspace $Y$ of $X$ every operator $t:Y\to E$ has an extension $T:X\to E$. We say that $E$ is $\aleph$-injective (respectively, universally $\aleph$-injective) if the preceding condition holds for Banach spaces $X$ (respectively $Y$) with density less than a given uncountable cardinal $\aleph$. We perform a study of…
▽ More
A Banach space $E$ is said to be injective if for every Banach space $X$ and every subspace $Y$ of $X$ every operator $t:Y\to E$ has an extension $T:X\to E$. We say that $E$ is $\aleph$-injective (respectively, universally $\aleph$-injective) if the preceding condition holds for Banach spaces $X$ (respectively $Y$) with density less than a given uncountable cardinal $\aleph$. We perform a study of $\aleph$-injective and universally $\aleph$-injective Banach spaces which extends the basic case where $\aleph=\aleph_1$ is the first uncountable cardinal. When dealing with the corresponding "isometric" properties we arrive to our main examples: ultraproducts and spaces of type $C(K)$. We prove that ultraproducts built on countably incomplete $\aleph$-good ultrafilters are $(1,\aleph)$-injective as long as they are Lindenstrauss spaces. We characterize $(1,\aleph)$-injective $C(K)$ spaces as those in which the compact $K$ is an $F_\aleph$-space (disjoint open subsets which are the union of less than $\aleph$ many closed sets have disjoint closures) and we uncover some projectiveness properties of $F_\aleph$-spaces.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Dimensionality reduction and spectral properties of multilayer networks
Authors:
Rubén J. Sánchez-García,
Emanuele Cozzo,
Yamir Moreno
Abstract:
Network representations are useful for describing the structure of a large variety of complex systems. Although most studies of real-world networks suppose that nodes are connected by only a single type of edge, most natural and engineered systems include multiple subsystems and layers of connectivity. This new paradigm has attracted a great deal of attention and one fundamental challenge is to ch…
▽ More
Network representations are useful for describing the structure of a large variety of complex systems. Although most studies of real-world networks suppose that nodes are connected by only a single type of edge, most natural and engineered systems include multiple subsystems and layers of connectivity. This new paradigm has attracted a great deal of attention and one fundamental challenge is to characterize multilayer networks both structurally and dynamically. One way to address this question is to study the spectral properties of such networks. Here, we apply the framework of graph quotients, which occurs naturally in this context, and the associated eigenvalue interlacing results, to the adjacency and Laplacian matrices of undirected multilayer networks. Specifically, we describe relationships between the eigenvalue spectra of multilayer networks and their two most natural quotients, the network of layers and the aggregate network, and show the dynamical implications of working with either of the two simplified representations. Our work thus contributes in particular to the study of dynamical processes whose critical properties are determined by the spectral properties of the underlying network.
△ Less
Submitted 30 May, 2014; v1 submitted 7 November, 2013;
originally announced November 2013.
-
On ultrapowers of Banach spaces of type $\mathscr L_\infty$
Authors:
Antonio Avilés,
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Manuel González,
Yolanda Moreno
Abstract:
We prove that no ultraproduct of Banach spaces via a countably incomplete ultrafilter can contain $c_0$ complemented. This shows that a "result" widely used in the theory of ultraproducts is wrong. We then amend a number of results whose proofs had been infected by that statement. In particular we provide proofs for the following statements: (i) All $M$-spaces, in particular all $C(K)$-spaces, hav…
▽ More
We prove that no ultraproduct of Banach spaces via a countably incomplete ultrafilter can contain $c_0$ complemented. This shows that a "result" widely used in the theory of ultraproducts is wrong. We then amend a number of results whose proofs had been infected by that statement. In particular we provide proofs for the following statements: (i) All $M$-spaces, in particular all $C(K)$-spaces, have ultrapowers isomorphic to ultrapowers of $c_0$, as well as all their complemented subspaces isomorphic to their square. (ii) No ultrapower of the Gurari\u ı space can be complemented in any $M$-space. (iii) There exist Banach spaces not complemented in any $C(K)$-space having ultrapowers isomorphic to a $C(K)$-space.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
On Uniformly finitely extensible Banach spaces
Authors:
Jesús M. F. Castillo,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
We continue the study of Uniformly Finitely Extensible Banach spaces (in short, UFO) initiated in Moreno-Plichko, \emph{On automorphic Banach spaces}, Israel J. Math. 169 (2009) 29--45 and Castillo-Plichko, \emph{Banach spaces in various positions.} J. Funct. Anal. 259 (2010) 2098-2138. We show that they have the Uniform Approximation Property of Pełczyński and Rosenthal and are compactly extensib…
▽ More
We continue the study of Uniformly Finitely Extensible Banach spaces (in short, UFO) initiated in Moreno-Plichko, \emph{On automorphic Banach spaces}, Israel J. Math. 169 (2009) 29--45 and Castillo-Plichko, \emph{Banach spaces in various positions.} J. Funct. Anal. 259 (2010) 2098-2138. We show that they have the Uniform Approximation Property of Pełczyński and Rosenthal and are compactly extensible. We will also consider their connection with the automorphic space problem of Lindenstrauss and Rosenthal --do there exist automorphic spaces other than $c_0(I)$ and $\ell_2(I)$?-- showing that a space all whose subspaces are UFO must be automorphic when it is Hereditarily Indecomposable (HI), and a Hilbert space when it is either locally minimal or isomorphic to its square. We will finally show that most HI --among them, the super-reflexive HI space constructed by Ferenczi-- and asymptotically $\ell_2$ spaces in the literature cannot be automorphic.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
On the Bounded Approximation Property in Banach spaces
Authors:
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We prove that the kernel of a quotient operator from an $\mathcal L_1$-space onto a Banach space $X$ with the Bounded Approximation Property (BAP) has the BAP. This completes earlier results of Lusky --case $\ell_1$-- and Figiel, Johnson and Pełczyński --case $X^*$ separable. Given a Banach space $X$, we show that if the kernel of a quotient map from some $\mathcal L_1$-space onto $X$ has the BAP…
▽ More
We prove that the kernel of a quotient operator from an $\mathcal L_1$-space onto a Banach space $X$ with the Bounded Approximation Property (BAP) has the BAP. This completes earlier results of Lusky --case $\ell_1$-- and Figiel, Johnson and Pełczyński --case $X^*$ separable. Given a Banach space $X$, we show that if the kernel of a quotient map from some $\mathcal L_1$-space onto $X$ has the BAP then every kernel of every quotient map from any $\mathcal L_1$-space onto $X$ has the BAP. The dual result for $\mathcal L_\infty$-spaces also hold: if for some $\mathcal L_\infty$-space $E$ some quotient $E/X$ has the BAP then for every $\mathcal L_\infty$-space $E$ every quotient $E/X$ has the BAP.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Banach spaces of universal disposition
Authors:
Antonio Aviles,
Felix Cabello,
Jesus M. F. Castillo,
Manuel Gonzalez,
Yolanda Moreno
Abstract:
In this paper we present a method to obtain Banach spaces of universal and almost-universal disposition with respect to a given class $\mathfrak M$ of normed spaces. The method produces, among other, the Gurariĭ space $\mathcal G$ (the only separable Banach space of almost-universal disposition with respect to the class $\mathfrak F$ of finite dimensional spaces), or the Kubis space $\mathcal K$ (…
▽ More
In this paper we present a method to obtain Banach spaces of universal and almost-universal disposition with respect to a given class $\mathfrak M$ of normed spaces. The method produces, among other, the Gurariĭ space $\mathcal G$ (the only separable Banach space of almost-universal disposition with respect to the class $\mathfrak F$ of finite dimensional spaces), or the Kubis space $\mathcal K$ (under {\sf CH}, the only Banach space with the density character the continuum which is of universal disposition with respect to the class $\mathfrak S$ of separable spaces). We moreover show that $\mathcal K$ is not isomorphic to a subspace of any $C(K)$-space -- which provides a partial answer to the injective space problem-- and that --under {\sf CH}-- it is isomorphic to an ultrapower of the Gurariĭ space.
We study further properties of spaces of universal disposition: separable injectivity, partially automorphic character and uniqueness properties.
△ Less
Submitted 30 March, 2011;
originally announced March 2011.
-
On separably injective Banach spaces and Corrigendum to "On separably injective Banach spaces" [Adv. Math. 234 (2013) 192--216]
Authors:
Antonio Aviles,
Felix Cabello,
Jesus M. F. Castillo,
Manuel Gonzalez,
Yolanda Moreno
Abstract:
In this paper we deal with two weaker forms of injectivity which turn out to have a rich structure behind: separable injectivity and universal separable injectivity. We show several structural and stability properties of these classes of Banach spaces. We provide natural examples of (universally) separably injective spaces, including $\mathcal L_\infty$ ultraproducts built over countably incomplet…
▽ More
In this paper we deal with two weaker forms of injectivity which turn out to have a rich structure behind: separable injectivity and universal separable injectivity. We show several structural and stability properties of these classes of Banach spaces. We provide natural examples of (universally) separably injective spaces, including $\mathcal L_\infty$ ultraproducts built over countably incomplete ultrafilters, in spite of the fact that these ultraproducts are never injective. We obtain two fundamental characterizations of universally separably injective spaces: a) A Banach space $E$ is universally separably injective if and only if every separable subspace is contained in a copy of $\ell_\infty$ inside $E$. b) A Banach space $E$ is universally separably injective if and only if for every separable space $S$ one has $\Ext(\ell_\infty/S, E)=0$. The final Section of the paper focuses on special properties of 1-separably injective spaces. Lindenstrauss\ obtained in the middle sixties a result that can be understood as a proof that, under the continuum hypothesis, 1-separably injective spaces are 1-universally separably injective; he left open the question in {\sf ZFC}. We construct a consistent example of a Banach space of type $C(K)$ which is 1-separably injective but not 1-universally separably injective. We show that, under the continuum hypothesis, "to be universally separably injective" is not a $3$-space property, as we wrongly claimed in the paper mentioned in the title.
△ Less
Submitted 28 March, 2017; v1 submitted 30 March, 2011;
originally announced March 2011.
-
Automorphisms in spaces of continuous functions on Valdivia compacta
Authors:
Antonio Avilés,
Yolanda Moreno
Abstract:
We show that there are no automorphic Banach spaces of the form C(K) with K continuous image of Valdivia compact except the spaces c0(I). Nevertheless, when K is an Eberlein compact of finite height such that C(K) is not isomorphic to c0(I), all isomorphism between subspaces of C(K) of size less than aleph_omega extend to automorphisms of C(K).
We show that there are no automorphic Banach spaces of the form C(K) with K continuous image of Valdivia compact except the spaces c0(I). Nevertheless, when K is an Eberlein compact of finite height such that C(K) is not isomorphic to c0(I), all isomorphism between subspaces of C(K) of size less than aleph_omega extend to automorphisms of C(K).
△ Less
Submitted 3 March, 2009;
originally announced March 2009.
-
On Lindenstrauss-Pełczyński spaces
Authors:
Jesús M. F. Castillo,
Yolanda Moreno,
Jesús Suárez
Abstract:
In this work we shall be concerned with some stability aspects of the classical problem of extension of $C(K)$-valued operators. We introduce the class $\mathscr{LP}$ of Banach spaces of Lindenstrauss-Pełczyński type as those such that every operator from a subspace of $c_0$ into them can be extended to $c_0$. We show that all $\mathscr{LP}$-spaces are of type $\mathcal L_\infty$ but not the con…
▽ More
In this work we shall be concerned with some stability aspects of the classical problem of extension of $C(K)$-valued operators. We introduce the class $\mathscr{LP}$ of Banach spaces of Lindenstrauss-Pełczyński type as those such that every operator from a subspace of $c_0$ into them can be extended to $c_0$. We show that all $\mathscr{LP}$-spaces are of type $\mathcal L_\infty$ but not the converse. Moreover, $\mathcal L_\infty$-spaces will be characterized as those spaces $E$ such that $E$-valued operators from $w^*(l_1,c_0)$-closed subspaces of $l_1$ extend to $l_1$. Complemented subspaces of $C(K)$ and separably injective spaces are subclasses of $\mathscr{LP}$-spaces and we show that the former does not contain the latter. It is established that $\mathcal L_\infty$-spaces not containing $l_1$ are quotients of $\mathscr{LP}$-spaces, while $\mathcal L_\infty$-spaces not containing $c_0$, quotients of an $\mathscr{LP}$-space by a separably injective space and twisted sums of $\mathscr{LP}$-spaces are $\mathscr{LP}$-spaces.
△ Less
Submitted 19 March, 2005; v1 submitted 3 February, 2005;
originally announced February 2005.
-
Extensions by spaces of continuous functions
Authors:
Jesus M. F. Castillo,
Yolanda Moreno
Abstract:
We characterize the Banach spaces X such that Ext(X, C(K))=0 for every compact space.
We characterize the Banach spaces X such that Ext(X, C(K))=0 for every compact space.
△ Less
Submitted 10 October, 2004;
originally announced October 2004.
