Showing 1–50 of 52 results for author: Dantas, S

On the strongly subdifferentiable points in Lipschitz-free spaces

Authors: Christian Cobollo, Sheldon Dantas, Petr Hájek, Mingu Jung

Abstract: In this paper, we present some sufficient conditions on a metric space $M$ for which every elementary molecule is a strongly subdifferentiable (SSD, for short) point in the Lipschitz-free space $\mathcal{F}(M)$ over $M$. Our main result reads as follows: if $(M,d)$ is a metric space and $γ> 0$, then there exists a metric $d_γ$ in $M$ such that every finitely supported element in… ▽ More In this paper, we present some sufficient conditions on a metric space $M$ for which every elementary molecule is a strongly subdifferentiable (SSD, for short) point in the Lipschitz-free space $\mathcal{F}(M)$ over $M$. Our main result reads as follows: if $(M,d)$ is a metric space and $γ> 0$, then there exists a metric $d_γ$ in $M$ such that every finitely supported element in $\mathcal{F}(M, d_γ)$ is an SSD point. Consequently, the subset of all SSD points in $\mathcal{F}(M, d_γ)$ is dense. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: 18 pages

Searching for linear structures in the failure of the Stone-Weierstrass theorem

Authors: Marc Caballer, Sheldon Dantas, Daniel L. Rodríguez-Vidanes

Abstract: We analyze the existence of vector spaces of large dimension inside the set $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$, where $L$ is a compact Hausdorff space and $\mathcal{A}$ is a self-adjoint subalgebra of $\mathcal C(L, \K)$ that vanishes nowhere on $L$ and does not necessarily separate the points of $L$. The results depend strongly on an equivalence relation that is defined on the… ▽ More We analyze the existence of vector spaces of large dimension inside the set $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$, where $L$ is a compact Hausdorff space and $\mathcal{A}$ is a self-adjoint subalgebra of $\mathcal C(L, \K)$ that vanishes nowhere on $L$ and does not necessarily separate the points of $L$. The results depend strongly on an equivalence relation that is defined on the algebra $\mathcal{A}$, denoted by $\sim_{\mathcal{A}}$, and a cardinal number that depends on $\sim_{\mathcal{A}}$ which we call the order of $\sim_{\mathcal{A}}$. We then introduce two different cases, when the order of $\sim_{\mathcal{A}}$ is finite or infinite. In the finite case, we show that $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$ is $n$-lineable but not $(n+1)$-lineable with $n$ being the order of $\sim_{\mathcal{A}}$. On the other hand, when the order of $\sim_{\mathcal{A}}$ is infinite, we obtain general results assuming, for instance, that the codimension of the closure of $\mathcal{A}$ is infinite or when $L$ is sequentially compact. To be more precise, we introduce the notion of the Stone-Weiestrass character of $L$ which is closely related to the topological weight of $L$ and allows us to describe the lineability of $\mathcal{C}(L, \K) \setminus \overline{\mathcal{A}}$ in terms of the Stone-Weierstrass character of subsets of $\sim_{\mathcal A}$. We also prove, in the classical case, that $(\mathcal{C}(\partial{D}, \C) \setminus \overline{\mbox{Pol}(\partial{D})}) \cup \{0\}$ (where $\mbox{Pol}(\partial{D})$ is the set of all complex polynomials in one variable restricted to the boundary of the unit disk) contains an isometric copy of $\text{Hol}(\partial{D})$ and is strongly $\mathfrak c$-algebrable, extending previous results from the literature. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Algebraic genericity of certain families of nets in Functional Analysis

Authors: Sheldon Dantas, Daniel L. Rodríguez-Vidanes

Abstract: In Functional Analysis, certain conclusions apply to sequences, but they cannot be carried over when we consider nets. In fact, some nets, including sequences, can behave unexpectedly. In this paper we are interested in exploring the prevalence of these unusual nets in terms of linearity. Each problem is approached with different methods, which have their own interest. As our results are presented… ▽ More In Functional Analysis, certain conclusions apply to sequences, but they cannot be carried over when we consider nets. In fact, some nets, including sequences, can behave unexpectedly. In this paper we are interested in exploring the prevalence of these unusual nets in terms of linearity. Each problem is approached with different methods, which have their own interest. As our results are presented in the contexts of topological vector spaces and normed spaces, they generalize or improve a few ones in the literature. We study lineability properties of families of (1) nets that are weakly convergent and unbounded, (2) nets that fail the Banach-Steinhaus theorem, (3) nets indexed by a regular cardinal $κ$ that are weakly dense and norm-unbounded, and finally (4) convergent series which have associated nets that are divergent. △ Less

Submitted 15 January, 2024; originally announced January 2024.

MSC Class: Primary 46B87; Secondary 15A03; 47B01

Linear structures in the set of non-norm-attaining operators on Banach spaces

Authors: Sheldon Dantas, Javier Falcó, Mingu Jung, Daniel L. Rodríguez-Vidanes

Abstract: We push further the study of lineability properties related to sets from norm-attaining theory. As a matter of fact, we provide several results in the context of lineability, spaceability, maximal-spaceability, and $(α, β)$-spaceability for sets of non-norm-attaining bounded linear operators whenever such sets are non-empty. Our results concerning the cardinality of the linear subspaces are presen… ▽ More We push further the study of lineability properties related to sets from norm-attaining theory. As a matter of fact, we provide several results in the context of lineability, spaceability, maximal-spaceability, and $(α, β)$-spaceability for sets of non-norm-attaining bounded linear operators whenever such sets are non-empty. Our results concerning the cardinality of the linear subspaces are presented in a more general framework, where classical spaces of bounded linear operators between Banach spaces and their subsets are considered as special cases. This leads to new results and generalizes several ones from the literature. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 34 pages

On the strong subdifferentiability of the homogeneous polynomials and (symmetric) tensor products

Authors: Sheldon Dantas, Mingu Jung, Martin Mazzitelli, Jorge Tomás Rodríguez

Abstract: In this paper, we study the (uniform) strong subdifferentiability of the norms of the Banach spaces $\mathcal{P}(^N X, Y^*)$, $X \hat{\otimes}_π\cdots \hat{\otimes}_πX$ and $\hat{\otimes}_{π_s,N} X$. Among other results, we characterize when the norms of the spaces $\mathcal{P}(^N \ell_p, \ell_{q}), \mathcal{P}(^N l_{M_1}, l_{M_2})$, and $\mathcal{P}(^N d(w,p), l_{M_2})$ are strongly subdifferenti… ▽ More In this paper, we study the (uniform) strong subdifferentiability of the norms of the Banach spaces $\mathcal{P}(^N X, Y^*)$, $X \hat{\otimes}_π\cdots \hat{\otimes}_πX$ and $\hat{\otimes}_{π_s,N} X$. Among other results, we characterize when the norms of the spaces $\mathcal{P}(^N \ell_p, \ell_{q}), \mathcal{P}(^N l_{M_1}, l_{M_2})$, and $\mathcal{P}(^N d(w,p), l_{M_2})$ are strongly subdifferentiable. Analogous results for multilinear map**s are also obtained. Since strong subdifferentiability of a dual space implies reflexivity, we improve some known results on the reflexivity of spaces of $N$-homogeneous polynomials and $N$-linear map**s. Concerning the projective (symmetric) tensor norms, we provide positive results on the subsets $U$ and $U_s$ of elementary tensors on the unit spheres of $X \hat{\otimes}_π\cdots \hat{\otimes}_πX$ and $\hat{\otimes}_{π_s,N} X$, respectively. Specifically, we prove that $\hat{\otimes}_{π_s,N} \ell_2$ and $\ell_2 \hat{\otimes}_π\cdots \hat{\otimes}_π\ell_2$ are uniformly strongly subdifferentiable on $U_s$ and $U$, respectively, and that $c_0 \hat{\otimes}_{π_s} c_0$ and $c_0 \hat{\otimes}_πc_0$ are strongly subdifferentiable on $U_s$ and $U$, respectively, in the complex case. △ Less

Submitted 5 September, 2022; originally announced September 2022.

Comments: 38 pages

MSC Class: 46B20; 46M05; 46G25; 46B04; 46B07

On isometric embeddings into the set of strongly norm-attaining Lipschitz functions

Authors: Sheldon Dantas, Rubén Medina, Andrés Quilis, Óscar Roldán

Abstract: In this paper, we provide an infinite metric space $M$ such that the set $\mbox{SNA}(M)$ of strongly norm-attaining Lipschitz functions does not contain a subspace which is isometric to $c_0$. This answers a question posed by Antonio Avilés, Gonzalo Martínez Cervantes, Abraham Rueda Zoca, and Pedro Tradacete. On the other hand, we prove that $\mbox{SNA}(M)$ contains an isometric copy of $c_0$ when… ▽ More In this paper, we provide an infinite metric space $M$ such that the set $\mbox{SNA}(M)$ of strongly norm-attaining Lipschitz functions does not contain a subspace which is isometric to $c_0$. This answers a question posed by Antonio Avilés, Gonzalo Martínez Cervantes, Abraham Rueda Zoca, and Pedro Tradacete. On the other hand, we prove that $\mbox{SNA}(M)$ contains an isometric copy of $c_0$ whenever $M$ is a metric space which is not uniformly discrete. In particular, the latter holds true for infinite compact metric spaces while it does not for proper metric spaces. Some positive results in the non-separable setting are also given. △ Less

Submitted 4 August, 2022; originally announced August 2022.

On holomorphic functions attaining their weighted norms

Authors: Sheldon Dantas, Rubén Medina

Abstract: We study holomorphic functions attaining weighted norms and its connections with the classical theory of norm attaining holomorphic functions. We prove that there are polynomials on $\ell_p$ which attain their weighted but not their supremum norm and viceversa. Nevertheless, we also prove that in the context of polynomials of fixed degree both norms are in fact equivalent. This leads us to the mai… ▽ More We study holomorphic functions attaining weighted norms and its connections with the classical theory of norm attaining holomorphic functions. We prove that there are polynomials on $\ell_p$ which attain their weighted but not their supremum norm and viceversa. Nevertheless, we also prove that in the context of polynomials of fixed degree both norms are in fact equivalent. This leads us to the main problem of the paper, namely, whether the holomorphic functions attaining their weighted norm are dense. Although we exhibit an example where this does not hold, as the main theorem of our paper, we prove the denseness provided the domain space is uniformly convex. In fact, we provide a Bollobás type theorem in this setting. For the proof of such a result we develop a new geometric technique. △ Less

Submitted 22 June, 2022; originally announced June 2022.

FCN-Pose: A Pruned and Quantized CNN for Robot Pose Estimation for Constrained Devices

Authors: Marrone Silvério Melo Dantas, Iago Richard Rodrigues, Assis Tiago Oliveira Filho, Gibson Barbosa, Daniel Bezerra, Djamel F. H. Sadok, Judith Kelner, Maria Marquezini, Ricardo Silva

Abstract: IoT devices suffer from resource limitations, such as processor, RAM, and disc storage. These limitations become more evident when handling demanding applications, such as deep learning, well-known for their heavy computational requirements. A case in point is robot pose estimation, an application that predicts the critical points of the desired image object. One way to mitigate processing and sto… ▽ More IoT devices suffer from resource limitations, such as processor, RAM, and disc storage. These limitations become more evident when handling demanding applications, such as deep learning, well-known for their heavy computational requirements. A case in point is robot pose estimation, an application that predicts the critical points of the desired image object. One way to mitigate processing and storage problems is compressing that deep learning application. This paper proposes a new CNN for the pose estimation while applying the compression techniques of pruning and quantization to reduce his demands and improve the response time. While the pruning process reduces the total number of parameters required for inference, quantization decreases the precision of the floating-point. We run the approach using a pose estimation task for a robotic arm and compare the results in a high-end device and a constrained device. As metrics, we consider the number of Floating-point Operations Per Second(FLOPS), the total of mathematical computations, the calculation of parameters, the inference time, and the number of video frames processed per second. In addition, we undertake a qualitative evaluation where we compare the output image predicted for each pruned network with the corresponding original one. We reduce the originally proposed network to a 70% pruning rate, implying an 88.86% reduction in parameters, 94.45% reduction in FLOPS, and for the disc storage, we reduced the requirement in 70% while increasing error by a mere $1\%$. With regard input image processing, this metric increases from 11.71 FPS to 41.9 FPS for the Desktop case. When using the constrained device, image processing augmented from 2.86 FPS to 10.04 FPS. The higher processing rate of image frames achieved by the proposed approach allows a much shorter response time. △ Less

Submitted 26 May, 2022; originally announced May 2022.

MSC Class: 68T07

Smooth norms in dense subspaces of $\ell_p(Γ)$ and operator ranges

Authors: Sheldon Dantas, Petr Hájek, Tommaso Russo

Abstract: For $1\leq p<\infty$, we prove that the dense subspace $\mathcal{Y}_p$ of $\ell_p(Γ)$ comprising all elements $y$ such that $y \in \ell_q(Γ)$ for some $q \in (0,p)$ admits a $C^{\infty}$-smooth norm which locally depends on finitely many coordinates. Moreover, such a norm can be chosen as to approximate the $\left\Vert\cdot \right\Vert_p $-norm. This provides examples of dense subspaces of… ▽ More For $1\leq p<\infty$, we prove that the dense subspace $\mathcal{Y}_p$ of $\ell_p(Γ)$ comprising all elements $y$ such that $y \in \ell_q(Γ)$ for some $q \in (0,p)$ admits a $C^{\infty}$-smooth norm which locally depends on finitely many coordinates. Moreover, such a norm can be chosen as to approximate the $\left\Vert\cdot \right\Vert_p $-norm. This provides examples of dense subspaces of $\ell_p(Γ)$ with a smooth norm which have the maximal possible linear dimension and are not obtained as the linear span of a biorthogonal system. Moreover, when $p>1$ or $Γ$ is countable, such subspaces additionally contain dense operator ranges; on the other hand, no non-separable operator range in $\ell_1(Γ)$ admits a $C^1$-smooth norm. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Smooth and polyhedral norms via fundamental biorthogonal systems

Authors: Sheldon Dantas, Petr Hájek, Tommaso Russo

Abstract: Let $\mathcal{X}$ be a Banach space with a fundamental biorthogonal system and let $\mathcal{Y}$ be the dense subspace spanned by the vectors of the system. We prove that $\mathcal{Y}$ admits a $C^\infty$-smooth norm that locally depends on finitely many coordinates (LFC, for short), as well as a polyhedral norm that locally depends on finitely many coordinates. As a consequence, we also prove tha… ▽ More Let $\mathcal{X}$ be a Banach space with a fundamental biorthogonal system and let $\mathcal{Y}$ be the dense subspace spanned by the vectors of the system. We prove that $\mathcal{Y}$ admits a $C^\infty$-smooth norm that locally depends on finitely many coordinates (LFC, for short), as well as a polyhedral norm that locally depends on finitely many coordinates. As a consequence, we also prove that $\mathcal{Y}$ admits locally finite, $σ$-uniformly discrete $C^\infty$-smooth and LFC partitions of unity and a $C^1$-smooth LUR norm. This theorem substantially generalises several results present in the literature and gives a complete picture concerning smoothness in such dense subspaces. Our result covers, for instance, every WLD Banach space (hence, all reflexive ones), $L_1(μ)$ for every measure $μ$, $\ell_\infty(Γ)$ spaces for every set $Γ$, $C(K)$ spaces where $K$ is a Valdivia compactum or a compact Abelian group, duals of Asplund spaces, or preduals of Von Neumann algebras. Additionally, under Martin Maximum {\sf MM}, all Banach spaces of density $ω_1$ are covered by our result. △ Less

Submitted 5 August, 2022; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: Int. Math. Res. Not. IMRN (online first)

Journal ref: Int. Math. Res. Not. IMRN 2023 (2023), 13909-13939

Group invariant operators and some applications on norm-attaining theory

Authors: Sheldon Dantas, Javier Falcó, Mingu Jung

Abstract: In this paper, we study geometric properties of the set of group invariant continuous linear operators between Banach spaces. In particular, we present group invariant versions of the Hahn-Banach separation theorems and elementary properties of the invariant operators. This allows us to contextualize our main applications in the theory of norm-attaining operators; we establish group invariant vers… ▽ More In this paper, we study geometric properties of the set of group invariant continuous linear operators between Banach spaces. In particular, we present group invariant versions of the Hahn-Banach separation theorems and elementary properties of the invariant operators. This allows us to contextualize our main applications in the theory of norm-attaining operators; we establish group invariant versions of the properties $α$ of Schachermayer and $β$ of Lindenstrauss, and present relevant results from this theory in this (much wider) setting. In particular, we generalize Bourgain's result, which says that if $X$ has the Radon-Nikodým property, then $X$ has the $G$-Bishop-Phelps property for $G$-invariant operators whenever $G \subseteq \mathcal{L}(X)$ is a compact group of isometries on $X$. △ Less

Submitted 22 November, 2022; v1 submitted 5 October, 2021; originally announced October 2021.

Comments: 28 pages

A characterization of a local vector valued Bollobás theorem

Authors: Sheldon Dantas, Abraham Rueda Zoca

Abstract: In this paper, we are interested in giving two characterizations for the so-called property {\bf L}$_{o,o}$, a local vector valued Bollobás type theorem. We say that $(X, Y)$ has this property whenever given $\eps > 0$ and an operador $T: X \rightarrow Y$, there is $η= η(\eps, T)$ such that if $x$ satisfies $\|T(x)\| > 1 - η$, then there exists $x_0 \in S_X$ such that $x_0 \approx x$ and $T$ itsel… ▽ More In this paper, we are interested in giving two characterizations for the so-called property {\bf L}$_{o,o}$, a local vector valued Bollobás type theorem. We say that $(X, Y)$ has this property whenever given $\eps > 0$ and an operador $T: X \rightarrow Y$, there is $η= η(\eps, T)$ such that if $x$ satisfies $\|T(x)\| > 1 - η$, then there exists $x_0 \in S_X$ such that $x_0 \approx x$ and $T$ itself attains its norm at $x_0$. This can be seen as a strong (although local) Bollobás theorem for operators. We prove that the pair $(X, Y)$ has the {\bf L}$_{o,o}$ for compact operators if and only if so does $(X, \K)$ for linear functionals. This generalizes at once some results due to D. Sain and J. Talponen. Moreover, we present a complete characterization for when $(X \pten Y, \K)$ satisfies the {\bf L}$_{o,o}$ for linear functionals under strict convexity or Kadec-Klee property assumptions in one of the spaces. As a consequence, we generalize some results in the literature related to the strongly subdifferentiability of the projective tensor product and show that $(L_p(μ) \times L_q(ν); \K)$ cannot satisfy the {\bf L}$_{o,o}$ for bilinear forms. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 10 pages

On norm-attainment in (symmetric) tensor products

Authors: Sheldon Dantas, Luis C. García-Lirola, Mingu Jung, Abraham Rueda Zoca

Abstract: In this paper, we introduce a concept of norm-attainment in the projective symmetric tensor product $\widehat{\otimes}_{π,s,N} X$ of a Banach space $X$, which turns out to be naturally related to the classical norm-attainment of $N$-homogeneous polynomials on $X$. Due to this relation, we can prove that there exist symmetric tensors that do not attain their norms, which allows us to study the prob… ▽ More In this paper, we introduce a concept of norm-attainment in the projective symmetric tensor product $\widehat{\otimes}_{π,s,N} X$ of a Banach space $X$, which turns out to be naturally related to the classical norm-attainment of $N$-homogeneous polynomials on $X$. Due to this relation, we can prove that there exist symmetric tensors that do not attain their norms, which allows us to study the problem of when the set of norm-attaining elements in $\widehat{\otimes}_{π,s,N} X$ is dense. We show that the set of all norm-attaining symmetric tensors is dense in $\widehat{\otimes}_{π,s,N} X$ for a large set of Banach spaces as $L_p$-spaces, isometric $L_1$-predual spaces or Banach spaces with monotone Schauder basis, among others. Next, we prove that if $X^*$ satisfies the Radon-Nikodým and the approximation property, then the set of all norm-attaining symmetric tensors in $\widehat{\otimes}_{π,s,N} X^*$ is dense. From these techniques, we can present new examples of Banach spaces $X$ and $Y$ such that the set of all norm-attaining tensors in the projective tensor product $X \widehat{\otimes}_πY$ is dense, answering positively an open question from the paper by S. Dantas, M. Jung, Ó. Roldán and A. Rueda Zoca. △ Less

Submitted 14 April, 2021; originally announced April 2021.

Comments: 16 pages

MSC Class: Primary 46B04; Secondary 46B20; 46B22; 46B28

Some remarks on the weak maximizing property

Authors: Sheldon Dantas, Mingu Jung, Gonzalo Martínez-Cervantes

Abstract: A pair of Banach spaces $(E, F)$ is said to have the weak maximizing property (WMP, for short) if for every bounded linear operator $T$ from $E$ into $F$, the existence of a non-weakly null maximizing sequence for $T$ implies that $T$ attains its norm. This property was recently introduced in an article by R. Aron, D. García, D. Pelegrino and E. Teixeira, raising several open questions. The aim of… ▽ More A pair of Banach spaces $(E, F)$ is said to have the weak maximizing property (WMP, for short) if for every bounded linear operator $T$ from $E$ into $F$, the existence of a non-weakly null maximizing sequence for $T$ implies that $T$ attains its norm. This property was recently introduced in an article by R. Aron, D. García, D. Pelegrino and E. Teixeira, raising several open questions. The aim of the present paper is to contribute to the better knowledge of the WMP and its limitations. Namely, we provide sufficient conditions for a pair of Banach spaces to fail the WMP and study the behaviour of this property with respect to quotients, subspaces, and direct sums, which open the gate to present several consequences. For instance, we deal with pairs of the form $(L_p[0,1], L_q[0,1])$, proving that these pairs fail the WMP whenever $p>2$ or $q<2$. We also show that, under certain conditions on $E$, the assumption that $(E, F)$ has the WMP for every Banach space $F$ implies that $E$ must be finite dimensional. On the other hand, we show that $(E, F)$ has the WMP for every reflexive space $E$ if and only if $F$ has the Schur property. We also give a complete characterization for the pairs $(\ell_s \oplus_p \ell_p, \ell_s \oplus_q \ell_q)$ to have the WMP by calculating the moduli of asymptotic uniform convexity of $\ell_s \oplus_p \ell_p$ and of asymptotic uniform smoothness of $\ell_s \oplus_q \ell_q$ when $1 < p \leq s \leq q < \infty$. We conclude the paper by discussing some variants of the WMP and presenting a list of open problems on the topic of the paper. △ Less

Submitted 15 April, 2021; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: 15 pages, Remark 2.5 is added

MSC Class: Primary 46B20; Secondary 46B25; 46B28

On the existence of non-norm-attaining operators

Authors: Sheldon Dantas, Mingu Jung, Gonzalo Martínez-Cervantes

Abstract: In this paper we provide necessary and sufficient conditions for the existence of non-norm-attaining operators in $\mathcal{L}(E, F)$. By using a theorem due to Pfitzner on James boundaries, we show that if there exists a relatively compact set $K$ of $\mathcal{L}(E, F)$ (in the weak operator topology) such that $0$ is an element of its closure (in the weak operator topology) but it is not in its… ▽ More In this paper we provide necessary and sufficient conditions for the existence of non-norm-attaining operators in $\mathcal{L}(E, F)$. By using a theorem due to Pfitzner on James boundaries, we show that if there exists a relatively compact set $K$ of $\mathcal{L}(E, F)$ (in the weak operator topology) such that $0$ is an element of its closure (in the weak operator topology) but it is not in its norm closed convex hull, then we can guarantee the existence of an operator which does not attain its norm. This allows us to provide the following generalization of results due to Holub and Mujica. If $E$ is a reflexive space, $F$ is an arbitrary Banach space, and the pair $(E, F)$ has the bounded compact approximation property, then the following are equivalent: (i) $\mathcal{K}(E, F) = \mathcal{L}(E, F)$; (ii) Every operator from $E$ into $F$ attains its norm; (iii) $(\mathcal{L}(E,F), τ_c)^* = (\mathcal{L}(E, F), \| \cdot \|)^*$; where $τ_c$ denotes the topology of compact convergence. We conclude the paper presenting a characterization of the Schur property in terms of norm-attaining operators. △ Less

Submitted 12 February, 2021; originally announced February 2021.

MSC Class: 46B20; 46B10; 46B28

Daugavet points in projective tensor products

Authors: Sheldon Dantas, Mingu Jung, Abraham Rueda Zoca

Abstract: In this paper, we are interested in studying when an element $z$ in the projective tensor product $X \widehat{\otimes}_πY$ turns out to be a Daugavet point. We prove first that, under some hypothesis, the assumption of $X \widehat{\otimes}_πY$ having the Daugavet property implies the existence of a great amount of isometries from $Y$ into $X^*$. Having this in mind, we provide methods for construc… ▽ More In this paper, we are interested in studying when an element $z$ in the projective tensor product $X \widehat{\otimes}_πY$ turns out to be a Daugavet point. We prove first that, under some hypothesis, the assumption of $X \widehat{\otimes}_πY$ having the Daugavet property implies the existence of a great amount of isometries from $Y$ into $X^*$. Having this in mind, we provide methods for constructing non-trivial Daugavet points in $X \widehat{\otimes}_πY$. We show that $C(K)$-spaces are examples of Banach spaces such that the set of the Daugavet points in $C(K) \widehat{\otimes}_πY$ is weakly dense when $Y$ is a subspace of $C(K)^*$. Finally, we present some natural results on when an elementary tensor $x \otimes y$ is a Daugavet point. △ Less

Submitted 29 January, 2021; originally announced January 2021.

Comments: 16 pages

MSC Class: Primary 46B04; Secondary 46B25; 46A32; 46B20

On various types of density of numerical radius attaining operators

Authors: Sheldon Dantas, Sun Kwang Kim, Han Ju Lee, Martin Mazzitelli

Abstract: In this paper, we are interested in studying two properties related to the denseness of the operators which attain their numerical radius: the Bishop-Phelps-Bollobás point and operator properties for numerical radius (BPBpp-nu and BPBop-nu, respectively). We prove that every Banach space with micro-transitive norm and second numerical index strictly positive satisfy the BPBpp-nu and that, if the n… ▽ More In this paper, we are interested in studying two properties related to the denseness of the operators which attain their numerical radius: the Bishop-Phelps-Bollobás point and operator properties for numerical radius (BPBpp-nu and BPBop-nu, respectively). We prove that every Banach space with micro-transitive norm and second numerical index strictly positive satisfy the BPBpp-nu and that, if the numerical index of $X$ is 1, only one-dimensional spaces enjoy it. On the other hand, we show that the BPBop-nu is a very restrictive property: under some general assumptions, it holds only for one-dimensional spaces. We also consider two weaker properties, the local versions of BPBpp-nu and BPBop-nu, where the $η$ which appears in their definition does not depend just on $ε> 0$ but also on a state $(x, x^*)$ or on a numerical radius one operator $T$. We address the relation between the local BPBpp-nu and the strong subdifferentiability of the norm of the space $X$. We show that finite dimensional spaces and $c_0$ are examples of Banach spaces satisfying the local BPBpp-nu, and we exhibit an example of a Banach space with strongly subdifferentiable norm failing it. We finish the paper by showing that finite dimensional spaces satisfy the local BPBop-nu and that, if $X$ has strictly positive numerical index and has the approximation property, this property is equivalent to finite dimensionality. △ Less

Submitted 1 October, 2020; originally announced October 2020.

Norm-attaining lattice homomorphisms

Authors: Sheldon Dantas, Gonzalo Martínez-Cervantes, José David Rodríguez Abellán, Abraham Rueda Zoca

Abstract: In this paper we study the structure of the set $\mbox{Hom}(X,\mathbb{R})$ of all lattice homomorphisms from a Banach lattice $X$ into $\mathbb{R}$. Using the relation among lattice homomorphisms and disjoint families, we prove that the topological dual of the free Banach lattice $FBL(A)$ generated by a set $A$ contains a disjoint family of cardinality $2^{|A|}$, answering a question of B. de Pagt… ▽ More In this paper we study the structure of the set $\mbox{Hom}(X,\mathbb{R})$ of all lattice homomorphisms from a Banach lattice $X$ into $\mathbb{R}$. Using the relation among lattice homomorphisms and disjoint families, we prove that the topological dual of the free Banach lattice $FBL(A)$ generated by a set $A$ contains a disjoint family of cardinality $2^{|A|}$, answering a question of B. de Pagter and A.W. Wickstead. We also deal with norm-attaining lattice homomorphisms. For classical Banach lattices, as $c_0$, $L_p$-, and $C(K)$-spaces, every lattice homomorphism on it attains its norm, which shows, in particular, that there is no James theorem for this class of functions. We prove that, indeed, every lattice homomorphism on $X$ and $C(K,X)$ attains its norm whenever $X$ has order continuous norm. On the other hand, we provide what seems to be the first example in the literature of a lattice homomorphism which does not attain its norm. In general, we study the existence and characterization of lattice homomorphisms not attaining their norm in free Banach lattices. As a consequence, it is shown that no Bishop-Phelps type theorem holds true in the Banach lattice setting, i.e. not every lattice homomorphism can be approximated by norm-attaining lattice homomorphisms. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Octahedral norms in free Banach lattices

Authors: Sheldon Dantas, Gonzalo Martínez-Cervantes, José David Rodríguez Abellán, Abraham Rueda Zoca

Abstract: In this paper, we study octahedral norms in free Banach lattices $FBL[E]$ generated by a Banach space $E$. We prove that if $E$ is an $L_1(μ)$-space, a predual of von Neumann algebra, a predual of a JBW$^*$-triple, the dual of an $M$-embedded Banach space, the disc algebra or the projective tensor product under some hypothesis, then the norm of $FBL[E]$ is octahedral. We get the analogous result w… ▽ More In this paper, we study octahedral norms in free Banach lattices $FBL[E]$ generated by a Banach space $E$. We prove that if $E$ is an $L_1(μ)$-space, a predual of von Neumann algebra, a predual of a JBW$^*$-triple, the dual of an $M$-embedded Banach space, the disc algebra or the projective tensor product under some hypothesis, then the norm of $FBL[E]$ is octahedral. We get the analogous result when the topological dual $E^*$ of $E$ is almost square. We finish the paper by proving that the norm of the free Banach lattice generated by a Banach space of dimension $ \geq 2$ is nowhere Fréchet differentiable. Moreover, we discuss some open problems on this topic. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Norm-attaining tensors and nuclear operators

Authors: Sheldon Dantas, Mingu Jung, Óscar Roldán, Abraham Rueda Zoca

Abstract: Given two Banach spaces $X$ and $Y$, we introduce and study a concept of norm-attainment in the space of nuclear operators $\mathcal{N}(X,Y)$ and in the projective tensor product space $X \widehat{\otimes}_πY$. We exhibit positive and negative examples where both previous norm-attainment hold. We also study the problem of whether the class of elements which attain their norms in… ▽ More Given two Banach spaces $X$ and $Y$, we introduce and study a concept of norm-attainment in the space of nuclear operators $\mathcal{N}(X,Y)$ and in the projective tensor product space $X \widehat{\otimes}_πY$. We exhibit positive and negative examples where both previous norm-attainment hold. We also study the problem of whether the class of elements which attain their norms in $\mathcal{N}(X,Y)$ and in $X\widehat{\otimes}_πY$ is dense or not. We prove that, for both concepts, the density of norm-attaining elements holds for a large class of Banach spaces $X$ and $Y$ which, in particular, covers all classical Banach spaces. Nevertheless, we present Banach spaces $X$ and $Y$ failing the approximation property in such a way that the class of elements in $X\widehat{\otimes}_πY$ which attain their projective norms is not dense. We also discuss some relations and applications of our work to the classical theory of norm-attaining operators throughout the paper. △ Less

Submitted 28 April, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 25 pages. One minor correction has been made

On the Graceful Game

Authors: Luisa Frickes, Simone Dantas, Atílio G. Luiz

Abstract: A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988).… ▽ More A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988). In order to contribute to both conjectures we study graceful labelings in the context of graph games. The Graceful game was introduced by Tuza in 2017 as a two-players game on a connected graph in which the players Alice and Bob take turns labeling the vertices with distinct integers from 0 to $m$. Alice's goal is to gracefully label the graph as Bob's goal is to prevent it from happening. In this work, we study winning strategies for Alice and Bob in complete graphs, paths, cycles, complete bipartite graphs, caterpillars, prisms, wheels, helms, webs, gear graphs, hypercubes and some powers of paths. △ Less

Submitted 11 May, 2020; originally announced May 2020.

MSC Class: 05C57; 05C78; 91A43; 91A46

Smooth norms in dense subspaces of Banach spaces

Authors: Sheldon Dantas, Petr Hájek, Tommaso Russo

Abstract: In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in parti… ▽ More In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a $C^{\infty}$-smooth norm. Finally, we prove that there is a proper dense subspace of $\ell_{\infty}^{c}(ω_1)$ that admits no Gâteaux smooth norm. (Here, $\ell_{\infty}^{c} (ω_1)$ denotes the Banach space of real-valued, bounded, and countably supported functions on $ω_1$.) △ Less

Submitted 14 February, 2020; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: 18 pp

Journal ref: J. Math. Anal. Appl. 487 (2020), 123963

Norm attaining operators which satisfy a Bollobás type theorem

Authors: Sheldon Dantas, Mingu Jung, Óscar Roldán

Abstract: In this paper, we are interested in studying the set $\mathcal{A}_{\|\cdot\|}(X, Y)$ of all norm-attaining operators $T$ from $X$ into $Y$ satisfying the following: given $ε>0$, there exists $η$ such that if $\|Tx\| > 1 - η$, then there is $x_0$ such that $\| x_0 - x\| < ε$ and $T$ itself attains its norm at $x_0$. We show that every norm one functional on $c_0$ which attains its norm belongs to… ▽ More In this paper, we are interested in studying the set $\mathcal{A}_{\|\cdot\|}(X, Y)$ of all norm-attaining operators $T$ from $X$ into $Y$ satisfying the following: given $ε>0$, there exists $η$ such that if $\|Tx\| > 1 - η$, then there is $x_0$ such that $\| x_0 - x\| < ε$ and $T$ itself attains its norm at $x_0$. We show that every norm one functional on $c_0$ which attains its norm belongs to $\mathcal{A}_{\|\cdot\|}(c_0, \mathbb{K})$. Also, we prove that the analogous result holds neither for $\mathcal{A}_{\|\cdot\|}(\ell_1, \mathbb{K})$ nor $\mathcal{A}_{\|\cdot\|}(\ell_{\infty}, \mathbb{K})$. Under some assumptions, we show that the sphere of the compact operators belongs to $\mathcal{A}_{\|\cdot\|}(X, Y)$ and that this is no longer true when some of these hypotheses are dropped. The analogous set $\mathcal{A}_{nu}(X)$ for numerical radius of an operator instead of its norm is also defined and studied. We present a complete characterization for the diagonal operators which belong to the sets $\mathcal{A}_{\| \cdot \|}(X, X)$ and $\mathcal{A}_{nu}(X)$ when $X=c_0$ or $\ell_p$. As a consequence, we get that the canonical projections $P_N$ on these spaces belong to our sets. We give examples of operators on infinite dimensional Banach spaces which belong to $\mathcal{A}_{\| \cdot \|}(X, X)$ but not to $\mathcal{A}_{nu}(X)$ and vice-versa. Finally, we establish some techniques which allow us to connect both sets by using direct sums. △ Less

Submitted 31 August, 2020; v1 submitted 13 October, 2019; originally announced October 2019.

Comments: In this version, we have added a complete characterization for the sets $\mathcal{A}_{\|\cdot\|}$ and $\mathcal{A}_{nu}$ for the diagonal operators on $c_0$ and $\ell_p$

New zero Poisson's ratio models

Authors: Vladimir Gaal, Varlei Rodrigues, Socrates O. Dantas, Douglas S. Galvao, Alexandre F. Fonseca

Abstract: Most materials exhibit positive Poisson's ratio (PR) values but special structures can also present negative and, even rarer, zero (or close to zero) PR. Null PR structures have received much attention due to their unusual properties and potential applications in different fields, such as aeronautics and bio-engineering. Here, we present a new and simple near-zero PR 2D topological model based on… ▽ More Most materials exhibit positive Poisson's ratio (PR) values but special structures can also present negative and, even rarer, zero (or close to zero) PR. Null PR structures have received much attention due to their unusual properties and potential applications in different fields, such as aeronautics and bio-engineering. Here, we present a new and simple near-zero PR 2D topological model based on a structural block composed of two smooth and rigid bars connected by a soft membrane or spring. It is not based on re-entrant or honeycomb-like configurations, which have been the basis of many null or quasi-null PR models. Our topological model was 3D printed and the experimentally obtained PR was$-0.003\,\pm 0.001\,$, which is one the closest to zero value ever reported. This topological model can be easily extended to 3D systems and with compression in any direction. The advantages and disadvantages of these models are also addressed. △ Less

Submitted 14 September, 2019; originally announced September 2019.

On Banach spaces whose group of isometries acts micro-transitively on the unit sphere

Authors: Félix Cabello Sánchez, Sheldon Dantas, Vladimir Kadets, Sun Kwang Kim, Han Ju Lee, Miguel Martín

Abstract: We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self… ▽ More We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self-dual class. To this end, we relate the fact that the group of isometries acts micro-transitively with a property of operators called the pointwise Bishop-Phelps-Bollobás property and use some known results on it. Besides, we show that if there is a non-Hilbertian non-separable Banach space with uniform micro-semitransitive (or micro-transitive) norm, then there is a non-Hilbertian separable one. Finally, we show that an $L_p(μ)$ space is micro-transitive or uniformly micro-semitransitive only when $p=2$. △ Less

Submitted 21 June, 2019; originally announced June 2019.

Comments: 12 pages

MSC Class: Primary 46B04; Secondary 22F50; 46B20; 54H15

On some local Bishop-Phelps-Bollobás properties

Authors: Sheldon Dantas, Sun Kwang Kim, Han Ju Lee, Martin Mazzitelli

Abstract: We continue a line of study about some local versions of Bishop-Phelps-Bollobás type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$, and we explore the relation between them and some geometric properties of the underlying spaces, such as spaces having strict convexity, local uniform rotundity,… ▽ More We continue a line of study about some local versions of Bishop-Phelps-Bollobás type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$, and we explore the relation between them and some geometric properties of the underlying spaces, such as spaces having strict convexity, local uniform rotundity, and property $β$ of Lindenstrauss. At the end of the paper, we present a diagram comparing all the existing Bishop-Phelps-Bollobás type properties with each other. Some open questions are left throughout the article. △ Less

Submitted 31 May, 2019; originally announced May 2019.

Strong subdifferentiability and local Bishop-Phelps-Bollobás properties

Authors: Sheldon Dantas, Sun Kwang Kim, Han Ju Lee, Martin Mazzitelli

Abstract: It has been recently presented some local versions of the Bishop-Phelps-Bollobás type property for operators. In the present article, we continue studying these properties for multilinear map**s. We show some differences between the local and uniform versions of the Bishop-Phelps-Bollobás type results for multilinear map**s, and also provide some interesting examples which shows that this stud… ▽ More It has been recently presented some local versions of the Bishop-Phelps-Bollobás type property for operators. In the present article, we continue studying these properties for multilinear map**s. We show some differences between the local and uniform versions of the Bishop-Phelps-Bollobás type results for multilinear map**s, and also provide some interesting examples which shows that this study is not just a mere generalization of the linear case. We study those properties for bilinear forms on $\ell_p \times \ell_q$ using the strong subdifferentiability of the norm of the Banach space $\ell_p \hat{\otimes}_π \ell_{q}$. Moreover, we present necessary and sufficient conditions for the norm of a Banach space $Y$ to be strongly subdifferentiable through the study of these properties for bilinear map**s on $\ell_1^N \times Y$. △ Less

Submitted 21 May, 2019; originally announced May 2019.

The Structure of Graphene on Graphene/C60/Cu Interfaces: A Molecular Dynamics Study

Authors: Alexandre F. Fonseca, Sócrates O. Dantas, Douglas S. Galvão, Difan Zhang, Susan B. Sinnott

Abstract: Two experimental studies reported the spontaneous formation of amorphous and crystalline structures of C60 intercalated between graphene and a substrate. They observed interesting phenomena ranging from reaction between C60 molecules under graphene to graphene sagging between the molecules and control of strain in graphene. Motivated by these works, we performed fully atomistic reactive molecular… ▽ More Two experimental studies reported the spontaneous formation of amorphous and crystalline structures of C60 intercalated between graphene and a substrate. They observed interesting phenomena ranging from reaction between C60 molecules under graphene to graphene sagging between the molecules and control of strain in graphene. Motivated by these works, we performed fully atomistic reactive molecular dynamics simulations to study the formation and thermal stability of graphene wrinkles as well as graphene attachment to and detachment from the substrate when graphene is laid over a previously distributed array of C60 molecules on a copper substrate at different values of temperature. As graphene compresses the C60 molecules against the substrate, and graphene attachment to the substrate between C60s ("C60s" stands for plural of C60) depends on the height of graphene wrinkles, configurations with both frozen and non-frozen C60s structures were investigated in order to verify the experimental result of stable sagged graphene when the distance between C60s is about 4 nm and height of graphene wrinkles is about 0.8 nm. Below the distance of 4 nm between C60s, graphene becomes locally suspended and less strained. We show that this happens when C60s are allowed to deform under the compressive action of graphene. If we keep the C60s frozen, spontaneous "blanketing" of graphene happens only when the distance between them are equal or above 7 nm. Both above results for the existence of stable sagged graphene for C60 distances of 4 or 7 nm are shown to agree with a mechanical model relating the rigidity of graphene to the energy of graphene-substrate adhesion. In particular, this study might help the development of 2D confined nanoreactors that are considered in literature to be the next advanced step on chemical reactions. △ Less

Submitted 22 April, 2019; originally announced April 2019.

Comments: 7 pages, 4 figures

There is no operatorwise version of the Bishop-Phelps-Bollobás property

Authors: Sheldon Dantas, Vladimir Kadets, Sun Kwang Kim, Han Ju Lee, Miguel Martín

Abstract: Given two real Banach spaces $X$ and $Y$ with dimensions greater than one, it is shown that there is a sequence $\{T_n\}_{n\in \mathbb{N}}$ of norm attaining norm-one operators from $X$ to $Y$ and a point $x_0\in X$ with $\|x_0\|=1$, such that $\|T_n(x_0)\|\longrightarrow 1$ but $\inf_{n \in \mathbb{N}} \{\mbox{dist} (x_0,\,\{x\in X: \|T_n(x)\|=\|x\|=1\})\} >0.$ This shows that a version of the Bi… ▽ More Given two real Banach spaces $X$ and $Y$ with dimensions greater than one, it is shown that there is a sequence $\{T_n\}_{n\in \mathbb{N}}$ of norm attaining norm-one operators from $X$ to $Y$ and a point $x_0\in X$ with $\|x_0\|=1$, such that $\|T_n(x_0)\|\longrightarrow 1$ but $\inf_{n \in \mathbb{N}} \{\mbox{dist} (x_0,\,\{x\in X: \|T_n(x)\|=\|x\|=1\})\} >0.$ This shows that a version of the Bishop-Phelps-Bollobás property in which the operator is not changed is possible only if one of the involved Banach spaces is one-dimensional. △ Less

Submitted 1 October, 2018; originally announced October 2018.

Comments: The content of this paper overlaps with the old version of arXiv:1709.00032 (arXiv:1709.00032v1, submitted on 31 Aug 2017). Nevertheless, there is no intersection between the present version and the updated one of arXiv:1709.00032 (arXiv:1709.00032v2, submitted on 26 Sep 2018)

The Bishop-Phelps-Bollobás property and absolute sums

Authors: Yun Sung Choi, Sheldon Dantas, Mingu Jung, Miguel Martín

Abstract: In this paper we study conditions assuring that the Bishop-Phelps-Bollobás property (BPBp, for short) is inherited by absolute summands of the range space or of the domain space. Concretely, given a pair (X, Y) of Banach spaces having the BPBp, (a) if Y1 is an absolute summand of Y, then (X, Y1) has the BPBp; (b) if X1 is an absolute summand of X of type 1 or \infty, then (X1, Y) has the BPBp. Bes… ▽ More In this paper we study conditions assuring that the Bishop-Phelps-Bollobás property (BPBp, for short) is inherited by absolute summands of the range space or of the domain space. Concretely, given a pair (X, Y) of Banach spaces having the BPBp, (a) if Y1 is an absolute summand of Y, then (X, Y1) has the BPBp; (b) if X1 is an absolute summand of X of type 1 or \infty, then (X1, Y) has the BPBp. Besides, analogous results for the BPBp for compact operators and for the density of norm attaining operators are also given. We also show that the Bishop-Phelps-Bollobás property for numerical radius is inherited by absolute summands of type 1 or \infty. Moreover, we provide analogous results for numerical radius attaining operators and for the BPBp for numerical radius for compact operators. △ Less

Submitted 23 April, 2019; v1 submitted 25 June, 2018; originally announced June 2018.

Journal ref: Mediterr. J. Math. (2019) 16:73

The Bishop-Phelps-Bollobás properties in complex Hilbert spaces

Authors: Yun Sung Choi, Sheldon Dantas, Mingu Jung

Abstract: In this paper we consider a stronger property than the Bishop-Phelps-Bollobás property for various classes of operators on a complex Hilbert space. The Bishop-Phelps-Bollobás {\it point} property for some class $\mathcal{A} \subset \mathcal{L}(H)$ says that if one starts with a norm one operator $T$ belonging to $\mathcal{A}$, which almost attains its norm at some norm one vector $x_0$, then there… ▽ More In this paper we consider a stronger property than the Bishop-Phelps-Bollobás property for various classes of operators on a complex Hilbert space. The Bishop-Phelps-Bollobás {\it point} property for some class $\mathcal{A} \subset \mathcal{L}(H)$ says that if one starts with a norm one operator $T$ belonging to $\mathcal{A}$, which almost attains its norm at some norm one vector $x_0$, then there is a new operator $S$, belonging to the same class $\mathcal{A}$, which is close to $T$ and attains its norm at the same vector $x_0$. We study it for classical operators on a complex Hilbert spaces such as self-adjoint, anti-symmetric, unitary, compact, normal, and Schatten-von Neumann operators. We also solve analogous problems by replacing the norm of an operator by its numerical radius. △ Less

Submitted 1 November, 2019; v1 submitted 25 June, 2018; originally announced June 2018.

Comments: 14 pages

On the maximum number of minimum dominating sets in forests

Authors: J. D. Alvarado, S. Dantas, E. Mohr, D. Rautenbach

Abstract: Fricke, Hedetniemi, Hedetniemi, and Hutson asked whether every tree with domination number $γ$ has at most $2^γ$ minimum dominating sets. Bien gave a counterexample, which allows to construct forests with domination number $γ$ and $2.0598^γ$ minimum dominating sets. We show that every forest with domination number $γ$ has at most $2.4606^γ$ minimum dominating sets, and that every tree with indepen… ▽ More Fricke, Hedetniemi, Hedetniemi, and Hutson asked whether every tree with domination number $γ$ has at most $2^γ$ minimum dominating sets. Bien gave a counterexample, which allows to construct forests with domination number $γ$ and $2.0598^γ$ minimum dominating sets. We show that every forest with domination number $γ$ has at most $2.4606^γ$ minimum dominating sets, and that every tree with independence number $α$ has at most $2^{α-1}+1$ maximum independent sets. △ Less

Submitted 11 April, 2018; v1 submitted 31 March, 2018; originally announced April 2018.

On the pointwise Bishop--Phelps--Bollobás property for operators

Authors: Sheldon Dantas, Vladimir Kadets, Sun Kwang Kim, Han Ju Lee, Miguel Martin

Abstract: We study approximation of operators between Banach spaces $X$ and $Y$ that nearly attain their norms in a given point by operators that attain their norms at the same point. When such approximations exist, we say that the pair $(X, Y)$ has the pointwise Bishop-Phelps-Bollobás property (pointwise BPB property for short). In this paper we mostly concentrate on those $X$, called universal pointwise B… ▽ More We study approximation of operators between Banach spaces $X$ and $Y$ that nearly attain their norms in a given point by operators that attain their norms at the same point. When such approximations exist, we say that the pair $(X, Y)$ has the pointwise Bishop-Phelps-Bollobás property (pointwise BPB property for short). In this paper we mostly concentrate on those $X$, called universal pointwise BPB domain spaces, such that $(X, Y)$ possesses pointwise BPB property for every $Y$, and on those $Y$, called universal pointwise BPB range spaces, such that $(X, Y)$ enjoys pointwise BPB property for every uniformly smooth $X$. We show that every universal pointwise BPB domain space is uniformly convex and that $L_p(μ)$ spaces fail to have this property when $p>2$. For universal pointwise BPB range space, we show that every simultaneously uniformly convex and uniformly smooth Banach space fails it if its dimension is greater than one. We also discuss a version of the pointwise BPB property for compact operators. △ Less

Submitted 26 September, 2018; v1 submitted 31 August, 2017; originally announced September 2017.

Comments: 19 pages, to appear in the Canadian J. Math. In this version, section 6 and the appendix of the previous version have been removed

MSC Class: 46B04 (Primary); 46B07; 46B20 (Secondary)

A non-linear Bishop-Phelps-Bollobás type theorem

Authors: Sheldon Dantas, Domingo García, Sun Kwang Kim, Un Young Kim, Han Ju Lee, Manuel Maestre

Abstract: The main aim of this paper is to prove a Bishop-Phelps-Bollobás type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the interior of B_{X^*}. We show that this result holds for A_{w^*u}(B_{X^*}) if X^* is uniformly convex or X^* is the uniformly complex convex dual space of an orde… ▽ More The main aim of this paper is to prove a Bishop-Phelps-Bollobás type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the interior of B_{X^*}. We show that this result holds for A_{w^*u}(B_{X^*}) if X^* is uniformly convex or X^* is the uniformly complex convex dual space of an order continuous absolute normed space. The vector-valued case is also studied. △ Less

Submitted 21 July, 2017; originally announced July 2017.

Sandwiches Missing Two Ingredients of Order Four

Authors: José D. Alvarado, Simone Dantas, Dieter Rautenbach

Abstract: For a set ${\cal F}$ of graphs, an instance of the ${\cal F}$-{\sc free Sandwich Problem} is a pair $(G_1,G_2)$ consisting of two graphs $G_1$ and $G_2$ with the same vertex set such that $G_1$ is a subgraph of $G_2$, and the task is to determine an ${\cal F}$-free graph $G$ containing $G_1$ and contained in $G_2$, or to decide that such a graph does not exist. Initially motivated by the graph san… ▽ More For a set ${\cal F}$ of graphs, an instance of the ${\cal F}$-{\sc free Sandwich Problem} is a pair $(G_1,G_2)$ consisting of two graphs $G_1$ and $G_2$ with the same vertex set such that $G_1$ is a subgraph of $G_2$, and the task is to determine an ${\cal F}$-free graph $G$ containing $G_1$ and contained in $G_2$, or to decide that such a graph does not exist. Initially motivated by the graph sandwich problem for trivially perfect graphs, which are the $\{ P_4,C_4\}$-free graphs, we study the complexity of the ${\cal F}$-{\sc free Sandwich Problem} for sets ${\cal F}$ containing two non-isomorphic graphs of order four. We show that if ${\cal F}$ is one of the sets $\left\{ {\rm diamond},K_4\right\}$, $\left\{ {\rm diamond},C_4\right\}$, $\left\{ {\rm diamond},{\rm paw}\right\}$, $\left\{ K_4,\overline{K_4}\right\}$, $\left\{ P_4,C_4\right\}$, $\left\{ P_4,\overline{\rm claw}\right\}$, $\left\{ P_4,\overline{\rm paw}\right\}$, $\left\{ P_4,\overline{\rm diamond}\right\}$, $\left\{ {\rm paw},C_4\right\}$, $\left\{ {\rm paw},{\rm claw}\right\}$, $\left\{ {\rm paw},\overline{\rm claw}\right\}$, $\left\{ {\rm paw},\overline{\rm paw}\right\}$, $\left\{ C_4,\overline{C_4}\right\}$, $\left\{ {\rm claw},\overline{\rm claw}\right\}$, and $\left\{ {\rm claw},\overline{C_4}\right\}$, then the ${\cal F}$-{\sc free Sandwich Problem} can be solved in polynomial time, and, if ${\cal F}$ is one of the sets $\left\{ C_4,K_4\right\}$, $\left\{ {\rm paw},K_4\right\}$, $\left\{ {\rm paw},\overline{K_4}\right\}$, $\left\{ {\rm paw},\overline{C_4}\right\}$, $\left\{ {\rm diamond},\overline{C_4}\right\}$, $\left\{ {\rm paw},\overline{\rm diamond}\right\}$, and $\left\{ {\rm diamond},\overline{\rm diamond}\right\}$, then the decision version of the ${\cal F}$-{\sc free Sandwich Problem} is NP-complete. △ Less

Submitted 6 April, 2017; originally announced April 2017.

Fast and Simple Jumbled Indexing for Binary RLE Strings

Authors: Luís Cunha, Simone Dantas, Travis Gagie, Roland Wittler, Luis Kowada, Jens Stoye

Abstract: Important papers have appeared recently on the problem of indexing binary strings for jumbled pattern matching, and further lowering the time bounds in terms of the input size would now be a breakthrough with broad implications. We can still make progress on the problem, however, by considering other natural parameters. Badkobeh et al.\ (IPL, 2013) and Amir et al.\ (TCS, 2016) gave algorithms that… ▽ More Important papers have appeared recently on the problem of indexing binary strings for jumbled pattern matching, and further lowering the time bounds in terms of the input size would now be a breakthrough with broad implications. We can still make progress on the problem, however, by considering other natural parameters. Badkobeh et al.\ (IPL, 2013) and Amir et al.\ (TCS, 2016) gave algorithms that index a binary string in $O (n + ρ^2 \log ρ)$ time, where $n$ is the length and $ρ$ is the number of runs, and Giaquinta and Grabowski (IPL, 2013) gave one that runs in $O (n + ρ^2)$ time. In this paper we propose a new and very simple algorithm that also runs in $O(n + ρ^2)$ time and can be extended either so that the index returns the position of a match (if there is one), or so that the algorithm uses only $O (n)$ bits of space. △ Less

Submitted 14 February, 2017; v1 submitted 4 February, 2017; originally announced February 2017.

The Bishop-Phelps-Bollobás point property

Authors: Sheldon Dantas, Sun Kwang Kim, Han Ju Lee

Abstract: In this article, we study a version of the Bishop-Phelps-Bollobás property. We investigate a pair of Banach spaces $(X, Y)$ such that every operator from $X$ into $Y$ is approximated by operators which attains its norm at the same point where the original operator almost attains its norm. In this case, we say that such a pair has the Bishop-Phelps-Bollobás point property (BPBpp). We characterize u… ▽ More In this article, we study a version of the Bishop-Phelps-Bollobás property. We investigate a pair of Banach spaces $(X, Y)$ such that every operator from $X$ into $Y$ is approximated by operators which attains its norm at the same point where the original operator almost attains its norm. In this case, we say that such a pair has the Bishop-Phelps-Bollobás point property (BPBpp). We characterize uniform smoothness in terms of BPBpp and we give some examples of pairs $(X, Y)$ which have and fail this property. Some stability results are obtained about $\ell_1$ and $\ell_\infty$ sums of Banach spaces and we also study this property for bilinear map**s. △ Less

Submitted 1 May, 2016; originally announced May 2016.

The strong Bishop-Phelps-Bollobás property

Authors: Sheldon Dantas

Abstract: In this paper we introduce the strong Bishop-Phelps-Bollobás property (sBPBp) for bounded linear operators between two Banach spaces $X$ and $Y$. This property is motivated by a Kim-Lee result which states, under our notation, that a Banach space $X$ is uniformly convex if and only if the pair $(X,\mathbb{K})$ satisfies the sBPBp. Positive results of pairs of Banach spaces $(X,Y)$ satisfying this… ▽ More In this paper we introduce the strong Bishop-Phelps-Bollobás property (sBPBp) for bounded linear operators between two Banach spaces $X$ and $Y$. This property is motivated by a Kim-Lee result which states, under our notation, that a Banach space $X$ is uniformly convex if and only if the pair $(X,\mathbb{K})$ satisfies the sBPBp. Positive results of pairs of Banach spaces $(X,Y)$ satisfying this property are given and concrete pairs of Banach spaces $(X, Y)$ failing it are exhibited. A complete characterization of the sBPBp for the pairs $(\ell_p, \ell_q)$ is also provided. △ Less

Submitted 5 April, 2016; originally announced April 2016.

Comments: 17 pages, 1 figure

The Bishop-Phelps-Bollobás property for compact operators

Authors: Sheldon Dantas, Domingo Garcia, Manuel Maestre, Miguel Martin

Abstract: We study the Bishop-Phelps-Bollobás property (BPBp for short) for compact operators. We present some abstract techniques which allows to carry the BPBp for compact operators from sequence spaces to function spaces. As main applications, we prove the following results. Let $X$, $Y$ be Banach spaces. If $(c_0,Y)$ has the BPBp for compact operators, then so do $(C_0(L),Y)$ for every locally compact H… ▽ More We study the Bishop-Phelps-Bollobás property (BPBp for short) for compact operators. We present some abstract techniques which allows to carry the BPBp for compact operators from sequence spaces to function spaces. As main applications, we prove the following results. Let $X$, $Y$ be Banach spaces. If $(c_0,Y)$ has the BPBp for compact operators, then so do $(C_0(L),Y)$ for every locally compact Hausdorff topological space $L$ and $(X,Y)$ whenever $X^*$ is isometrically isomorphic to $\ell_1$. If $X^*$ has the Radon-Nikodým property and $(\ell_1(X),Y)$ has the BPBp for compact operators, then so does $(L_1(μ,X),Y)$ for every positive measure $μ$; as a consequence, $(L_1(μ,X),Y)$ has the the BPBp for compact operators when $X$ and $Y$ are finite-dimensional or $Y$ is a Hilbert space and $X=c_0$ or $X=L_p(ν)$ for any positive measure $ν$ and $1< p< \infty$. For $1\leqslant p <\infty$, if $(X,\ell_p(Y))$ has the BPBp for compact operators, then so does $(X,L_p(μ,Y))$ for every positive measure $μ$ such that $L_1(μ)$ is infinite-dimensional. If $(X,Y)$ has the BPBp for compact operators, then so do $(X,L_\infty(μ,Y))$ for every $σ$-finite positive measure $μ$ and $(X,C(K,Y))$ for every compact Hausdorff topological space $K$. △ Less

Submitted 3 April, 2016; originally announced April 2016.

Comments: 21 pages

MSC Class: Primary: 46B04; Secondary: 46B20; 46B28; 46B25; 46E40

Relating $2$-Rainbow Domination to Roman domination

Authors: José D. Alvarado, Simone Dantas, Dieter Rautenbach

Abstract: For a graph $G$, let $γ_R(G)$ and $γ_{r2}(G)$ denote the Roman domination number of $G$ and the $2$-rainbow domination number of $G$, respectively. It is known that $γ_{r2}(G)\leq γ_R(G)\leq \frac{3}{2}γ_{r2}(G)$. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) present some kind of characterization of the g… ▽ More For a graph $G$, let $γ_R(G)$ and $γ_{r2}(G)$ denote the Roman domination number of $G$ and the $2$-rainbow domination number of $G$, respectively. It is known that $γ_{r2}(G)\leq γ_R(G)\leq \frac{3}{2}γ_{r2}(G)$. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) present some kind of characterization of the graphs $G$ for which $γ_R(G)-γ_{r2}(G)=k$ for some integer $k$. Unfortunately, their result does not lead to an algorithm that allows to recognize these graphs efficiently. We show that for every fixed non-negative integer $k$, the recognition of the connected $K_4$-free graphs $G$ with $γ_R(G)-γ_{r2}(G)=k$ is NP-hard, which implies that there is most likely no good characterization of these graphs. We characterize the graphs $G$ such that $γ_{r2}(H)=γ_R(H)$ for every induced subgraph $H$ of $G$, and collect several properties of the graphs $G$ with $γ_R(G)=\frac{3}{2}γ_{r2}(G)$. △ Less

Submitted 3 December, 2015; originally announced December 2015.

Dominating Sets inducing Large Components in Maximal Outerplanar Graphs

Authors: José D. Alvarado, Simone Dantas, Dieter Rautenbach

Abstract: For a maximal outerplanar graph $G$ of order $n$ at least $3$, Matheson and Tarjan showed that $G$ has domination number at most $n/3$. Similarly, for a maximal outerplanar graph $G$ of order $n$ at least $5$, Dorfling, Hattingh, and Jonck showed, by a completely different approach, that $G$ has total domination number at most $2n/5$ unless $G$ is isomorphic to one of two exceptional graphs of ord… ▽ More For a maximal outerplanar graph $G$ of order $n$ at least $3$, Matheson and Tarjan showed that $G$ has domination number at most $n/3$. Similarly, for a maximal outerplanar graph $G$ of order $n$ at least $5$, Dorfling, Hattingh, and Jonck showed, by a completely different approach, that $G$ has total domination number at most $2n/5$ unless $G$ is isomorphic to one of two exceptional graphs of order $12$. We present a unified proof of a common generalization of these two results. For every positive integer $k$, we specify a set ${\cal H}_k$ of graphs of order at least $4k+4$ and at most $4k^2-2k$ such that every maximal outerplanar graph $G$ of order $n$ at least $2k+1$ that does not belong to ${\cal H}_k$ has a dominating set $D$ of order at most $\lfloor\frac{kn}{2k+1}\rfloor$ such that every component of the subgraph $G[D]$ of $G$ induced by $D$ has order at least $k$. △ Less

Submitted 27 November, 2015; originally announced November 2015.

Strong Equality of Roman and Weak Roman Domination in Trees

Authors: Jose D. Alvarado, Simone Dantas, Dieter Rautenbach

Abstract: We provide a constructive characterization of the trees for which the Roman domination number strongly equals the weak Roman domination number, that is, for which every weak Roman dominating function of minimum weight is a Roman dominating function. Our characterization is based on five simple extension operations, and reveals several structural properties of these trees. We provide a constructive characterization of the trees for which the Roman domination number strongly equals the weak Roman domination number, that is, for which every weak Roman dominating function of minimum weight is a Roman dominating function. Our characterization is based on five simple extension operations, and reveals several structural properties of these trees. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Relating $2$-rainbow domination to weak Roman domination

Authors: Jose D. Alvarado, Simone Dantas, Dieter Rautenbach

Abstract: Addressing a problem posed by Chellali, Haynes, and Hedetniemi (Discrete Appl. Math. 178 (2014) 27-32) we prove $γ_{r2}(G)\leq 2γ_r(G)$ for every graph $G$, where $γ_{r2}(G)$ and $γ_r(G)$ denote the $2$-rainbow domination number and the weak Roman domination number of $G$, respectively. We characterize the extremal graphs for this inequality that are $\{ K_4,K_4-e\}$-free, and show that the recogn… ▽ More Addressing a problem posed by Chellali, Haynes, and Hedetniemi (Discrete Appl. Math. 178 (2014) 27-32) we prove $γ_{r2}(G)\leq 2γ_r(G)$ for every graph $G$, where $γ_{r2}(G)$ and $γ_r(G)$ denote the $2$-rainbow domination number and the weak Roman domination number of $G$, respectively. We characterize the extremal graphs for this inequality that are $\{ K_4,K_4-e\}$-free, and show that the recognition of the $K_5$-free extremal graphs is NP-hard. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Averaging $2$-Rainbow Domination and Roman Domination

Authors: Jose D. Alvarado, Simone Dantas, Dieter Rautenbach

Abstract: For a graph $G$, let $γ_{r2}(G)$ and $γ_R(G)$ denote the $2$-rainbow domination number and the Roman domination number, respectively. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) proved $γ_{r2}(G)+γ_R(G)\leq \frac{6}{4}n(G)$ for a connected graph $G$ of order $n(G)$ at least $3$. Furthermore, they conjec… ▽ More For a graph $G$, let $γ_{r2}(G)$ and $γ_R(G)$ denote the $2$-rainbow domination number and the Roman domination number, respectively. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) proved $γ_{r2}(G)+γ_R(G)\leq \frac{6}{4}n(G)$ for a connected graph $G$ of order $n(G)$ at least $3$. Furthermore, they conjectured $γ_{r2}(G)+γ_R(G)\leq \frac{4}{3}n(G)$ for a connected graph $G$ of minimum degree at least $2$ that is distinct from $C_5$. We characterize all extremal graphs for their inequality and prove their conjecture. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Bound vortex states and exotic lattices in multi-component Bose-Einstein condensates: The role of vortex-vortex interaction

Authors: Davi S. Dantas, Aristeu R. P. Lima, A. Chaves, C. A. S. Almeida, G. A. Farias, M. V. Milošević

Abstract: We numerically study the vortex-vortex interaction in multi-component homogeneous Bose-Einstein condensates within the realm of the Gross-Pitaevskii theory. We provide strong evidences that pairwise vortex interaction captures the underlying mechanisms which determine the geometric configuration of the vortices, such as different lattices in many-vortex states, as well as the bound vortex states w… ▽ More We numerically study the vortex-vortex interaction in multi-component homogeneous Bose-Einstein condensates within the realm of the Gross-Pitaevskii theory. We provide strong evidences that pairwise vortex interaction captures the underlying mechanisms which determine the geometric configuration of the vortices, such as different lattices in many-vortex states, as well as the bound vortex states with two (dimer) or three (trimer) vortices. Specifically, we discuss and apply our theoretical approach to investigate intra- and inter-component vortex-vortex interactions in two- and three-component Bose-Einstein condensates, thereby shedding light on the formation of the exotic vortex configurations. These results correlate with current experimental efforts in multi-component Bose-Einstein condensates, and the understanding of the role of vortex interactions in multiband superconductors. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Comments: Published in PRA

Journal ref: Phys. Rev. A 91, 023630 (2015)

Surface Effects on the Mechanical Elongation of AuCu Nanowires: De-alloying and the Formation of Mixed Suspended Atomic Chains

Authors: M. J. Lagos, P. A. S. Autreto, J. Bettini, F. Sato, S. O. Dantas, D. S. Galvao, D. Ugarte

Abstract: We report here an atomistic study of the mechanical deformation of AuxCu(1-x) atomic-size wires (NWs) by means of high resolution transmission electron microscopy (HRTEM) experiments. Molecular dynamics simulations were also carried out in order to obtain deeper insights on the dynamical properties of stretched NWs. The mechanical properties are significantly dependent on the chemical composition… ▽ More We report here an atomistic study of the mechanical deformation of AuxCu(1-x) atomic-size wires (NWs) by means of high resolution transmission electron microscopy (HRTEM) experiments. Molecular dynamics simulations were also carried out in order to obtain deeper insights on the dynamical properties of stretched NWs. The mechanical properties are significantly dependent on the chemical composition that evolves in time at the junction; some structures exhibit a remarkable de-alloying behavior. Also, our results represent the first experimental realization of mixed linear atomic chains (LACs) among transition and noble metals; in particular, surface energies induce chemical gradients on NW surfaces that can be exploited to control the relative LAC compositions (different number of gold and copper atoms). The implications of these results for nanocatalysis and spin transport of one-atom-thick metal wires are addressed. △ Less

Submitted 23 February, 2015; originally announced February 2015.

Comments: Accepted to Journal of Applied Physics (JAP)

Biclique-colouring verification complexity and biclique-colouring power graphs

Authors: Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. H. de Figueiredo

Abstract: Biclique-colouring is a colouring of the vertices of a graph in such a way that no maximal complete bipartite subgraph with at least one edge is monochromatic. We show that it is coNP-complete to check whether a given function that associates a colour to each vertex is a biclique-colouring, a result that justifies the search for structured classes where the biclique-colouring problem could be effi… ▽ More Biclique-colouring is a colouring of the vertices of a graph in such a way that no maximal complete bipartite subgraph with at least one edge is monochromatic. We show that it is coNP-complete to check whether a given function that associates a colour to each vertex is a biclique-colouring, a result that justifies the search for structured classes where the biclique-colouring problem could be efficiently solved. We consider biclique-colouring restricted to powers of paths and powers of cycles. We determine the biclique-chromatic number of powers of paths and powers of cycles. The biclique-chromatic number of a power of a path P_{n}^{k} is max(2k + 2 - n, 2) if n >= k + 1 and exactly n otherwise. The biclique-chromatic number of a power of a cycle C_n^k is at most 3 if n >= 2k + 2 and exactly n otherwise; we additionally determine the powers of cycles that are 2-biclique-colourable. All proofs are algorithmic and provide polynomial-time biclique-colouring algorithms for graphs in the investigated classes. △ Less

Submitted 2 April, 2013; v1 submitted 12 March, 2012; originally announced March 2012.

Comments: 21 pages, 19 distinct figures. An extended abstract published in: Proceedings of Cologne Twente Workshop (CTW) 2012, pp. 134--138

Modeling the Auxetic Transition for Carbon Nanotube Sheets

Authors: Vitor R. Coluci, Lee J. Hall, Mikhail E. Kozlov, Mei Zhang, Socrates O. Dantas, Douglas S. Galvao, Ray H. Baughman

Abstract: A simple model is developed to predict the complex mechanical properties of carbon nanotube sheets (buckypaper) [Hall \textit{et al.}, \textit{Science} \textbf{320} 504 (2008)]. Fabricated using a similar method to that deployed for making writing paper, these buckypapers can have in-plane Poisson's ratios changed from positive to negative, becoming auxetic, as multiwalled carbon nanotubes are i… ▽ More A simple model is developed to predict the complex mechanical properties of carbon nanotube sheets (buckypaper) [Hall \textit{et al.}, \textit{Science} \textbf{320} 504 (2008)]. Fabricated using a similar method to that deployed for making writing paper, these buckypapers can have in-plane Poisson's ratios changed from positive to negative, becoming auxetic, as multiwalled carbon nanotubes are increasingly mixed with single-walled carbon nanotubes. Essential structural features of the buckypapers are incorporated into the model: isotropic in-plane mechanical properties, nanotubes preferentially oriented in the sheet plane, and freedom to undergo stress-induced elongation by both angle and length changes. The expressions derived for the Poisson's ratios enabled quantitative prediction of both observed properties and remarkable new properties obtainable by structural modification. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: This is an enlarged version of our previuos work: Sign Change of Poisson's Ratio for Carbon Nanotube Sheets, L. J. Hall, V. R. Coluci, D. S. Galvao, M. E. Kozlov, M. Zhang, S. O. Dantas, and R. H. Baughman, Science v320, 504 (2008)

Journal ref: Phys. Rev. B 78, 115408 (2008)

Atomistic Simulations of the Mechanical Properties of 'Super' Carbon Nanotubes

Authors: Vitor R. Coluci, Nicola M. Pugno, Socrates O. Dantas, Douglas S. Galvao, Ado Jorio

Abstract: The mechanical properties of the so-called `super' carbon nanotubes (STs) are investigated using classical molecular dynamics simulations. The STs are built from single walled carbon nanotubes (SWCNTs) connected by Y-like junctions forming an ordered carbon nanotube network that is then rolled into a seamless cylinder. We observed that the ST behavior under tensile tests is similar to the one pr… ▽ More The mechanical properties of the so-called `super' carbon nanotubes (STs) are investigated using classical molecular dynamics simulations. The STs are built from single walled carbon nanotubes (SWCNTs) connected by Y-like junctions forming an ordered carbon nanotube network that is then rolled into a seamless cylinder. We observed that the ST behavior under tensile tests is similar to the one presented by fishing nets. This interesting behavior provides a way to vary the accessible channels to the inner parts of STs by applying external mechanical load. The Young's modulus is dependent on the ST chirality and it inversely varies with the ST radius. Smaller reduction of breaking strain values due to temperature increase is predicted for zigzag STs compared to SWCNTs. The results show that, for STs with radius ~ 5 nm, the junctions between the constituent SWCNTs play an important role on the fracture process. The Young's modulus and tensile strength were estimated for hierarchical higher-order STs using scaling laws related to the ST fractal dimension. The obtained mechanical properties suggest that STs may be used in the development of new porous, flexible, and high-strength materials. △ Less

Submitted 26 July, 2007; originally announced July 2007.

Comments: 16 pages, 6 figures, to appear in Nanotechnology

On the Formation of Copper Linear Atomic Suspended Chains

Authors: F. Sato, A. S. Moreira, J. Bettini, P. Z. Coura, S. O. Dantas, D. Ugarte, D. S. Galvao

Abstract: We report high resolution transmission electron microscopy and classical molecular dynamics simulation results of mechanically stretching copper nanowires conducting to linear atomic suspended chains (LACs) formation. In contrast with some previous experimental and theoretical work in literature that stated that the formation of LACs for copper should not exist our results showed the existence o… ▽ More We report high resolution transmission electron microscopy and classical molecular dynamics simulation results of mechanically stretching copper nanowires conducting to linear atomic suspended chains (LACs) formation. In contrast with some previous experimental and theoretical work in literature that stated that the formation of LACs for copper should not exist our results showed the existence of LAC for the [111], [110], and [100] crystallographic directions, being thus the sequence of most probable occurence. △ Less

Submitted 3 February, 2006; originally announced February 2006.

Comments: 4 pages, 3 figures