BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
D. Pellegrino contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Among other results we investigate $\left( α,β\right) $-lineability of the set of non-continuous $m$-linear operators defined between normed spaces as a subset of the space of all $m$-linear operators. We also give a partial answer to an open problem on the lineability of the set of non absolutely summing operators.
The multilinear Hardy--Littlewood inequalities provide estimates for the sum of the coefficients of multilinear forms $T:\ell_{p_{1}}^{n}\times\cdots \times\ell_{p_{m}}^{n}\rightarrow\mathbb{R}$ (or $\mathbb{C}$) when $1/p_{1}+\cdots+1/p_{m}<1.$ In this paper we investigate the critical and super-critical cases; i.e., when $1/p_{1}+\cdots+1/p_{m}\geq1.$
The Orlicz $\left( \ell_{2},\ell_{1}\right) $-mixed inequality states that $$ \left( \sum_{j_{1}=1}^{n}\left( \sum_{j_{2}=1}^{n}\left\vert A(e_{j_{1} },e_{j_{2}})\right\vert \right) ^{2}\right) ^{\frac{1}{2}}\leq\sqrt {2}\left\Vert A\right\Vert $$ for all bilinear forms $A:\mathbb{K}^{n}\times\mathbb{K}^{n}\rightarrow \mathbb{K}$ and all positive integers $n$, where $\mathbb{K}^{n}$ denotes $\mathbb{R}^{n}$ or $\mathbb{C}^{n}$ endowed with the supremum norm. In this paper we extend this inequality to multilinear forms, with $\mathbb{K}^{n}$ endowed with $\ell_{p}$ norms for all $p\in\lbrack1,\infty].$
We introduce the notion of index of summability for pairs of Banach spaces; for Banach spaces E; F, this index plays the role of a kind of measure of how the m-homogeneous polynomials from E to F are far from being absolutely summing. In some cases the optimal index of summability is computed.
The Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces and $m<p\leq 2m$ asserts that \begin{equation*} \left( \sum_{j_{1},...,j_{m}=1}^{\infty }\left\vert T\left( e_{j_{1}},\ldots ,e_{j_{m}}\right) \right\vert ^{\frac{p}{p-m}}\right) ^{\frac{p-m}{p}}\leq 2^{\frac{m-1}{2}}\left\Vert T\right\Vert \end{equation*} for all continuous $m$-linear forms $T:\ell _{p}\times \cdots \times \ell _{p}\rightarrow \mathbb{R}$ or $\mathbb{C}.$ The case $m=2$ recovers a classical inequality proved by Hardy and Littlewood in 1934. As a consequence of the results of the present paper we show that the same inequality is valid with $2^{\frac{m-1}{2}}$ replaced by $2^{\frac{\left( m-1\right) \left( p-m\right) }{p}}$. In particular, for $m<p\leq m+1$ the optimal constants of the above inequality are uniformly bounded by $2.$
We prove a new result on multiple summing operators and among other applications, we provide a new extension of Littlewood's $4/3$ inequality to $m$-linear forms.
Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essentially overlooked in Functional Analysis and has had a crucial (and in some sense unexpected) influence in very recent and major breakthroughs in Mathematics. Some of these recent advances appeared in 2012-2014 and include the theory of Dirichlet series, the famous Bohr radius problem, certain classical inequalities (such as Bohnenblust--Hille or Hardy--Littlewood), or even Mathematical Physics.
In this short note we obtain new lower bounds for the constants of the real Hardy--Littlewood inequality for $m$-linear forms on $\ell_{p}^{2}$ spaces when $p=2m$ and for certain values of $m$. The real and complex cases for the general case $\ell_{p}^{n}$ were recently investigated by G. Araujo et al. When $n=2$ our results improve the best known estimates for these constants.
The main motivation of this paper is the following open problem: Is the hypercontractivity of the \emph{complex} polynomial Bohnenblust--Hille inequality an optimal result? We show that the solution to this problem has a close connection with the searching of the optimal constants for the \emph{real} polynomial Bohnenblust--Hille inequality. So we are lead to a detailed study of the hypercontractivity constants for real scalars. In fact we study two notions of constants of hypercontractivity: absolute ($H_{a,\mathbb{R}}$) and asymptotic ($H_{\infty,\mathbb{R}}$). Among other results, our estimates combined with recent results from \cite{CMPS} show that \[ 1.5098<H_{\infty,\mathbb{R}}<2.829 \quad \text{and} \quad 1.6561<H_{a,\mathbb{R}}<3.296. \]
The Hardy--Littlewood inequality for $m$-homogeneous polynomials on $\ell_{p}$ spaces is valid for $p>m.$ In this note, among other results, we present an optimal version of this inequality for the case $p=m.$ We also show that the optimal constant, when restricted to the case of $2$-homogeneous polynomials on $\ell_{2}(\mathbb{R}^{2})$ is precisely $2$. In an Appendix we justify why, curiously, the optimal exponents of the Hardy--Littlewood inequality do not behave smoothly.
We show that the optimal constants for the Hardy--Littlewood inequalities for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ are precisely $2^{2/p}$ for all $2<p<4.$
Broadband single photons are usually considered not to couple efficiently to atomic gases because of the large mismatch in bandwidth. Contrary to this intuitive picture, here we demonstrate that the interaction of ultrashort single photons with a dense resonant atomic sample deeply modifies the temporal shape of their wavepacket mode without degrading their non-classical character, and effectively generates zero-area single-photon pulses. This is a clear signature of strong transient coupling between single broadband (THz-level) light quanta and atoms, with intriguing fundamental implications and possible new applications to the storage of quantum information.
We prove new summability properties for multilinear operators on $\ell_p$ spaces. An important tool for this task is a better understanding of the interplay between almost summing and absolutely summing multilinear operators.
We investigate the growth of the constants of the polynomial Hardy-Littlewood inequality.
The starting point of this paper is the existence of Peano curves, that is, continuous surjections mapping the unit interval onto the unit square. From this fact one can easily construct of a continuous surjection from the real line $\mathbb{R}$ to any Euclidean space $\mathbb{R}^n$. The algebraic structure of the set of these functions (as well as extensions to spaces with higher dimensions) is analyzed from the modern point of view of lineability, and large algebras are found within the families studied. We also investigate topological vector spaces that are continuous image of the real line, providing an optimal lineability result.
The Bohnenblust--Hille (polynomial and multilinear) inequalities were proved in 1931 in order to solve Bohr's absolute convergence problem on Dirichlet series. Since then these inequalities have found applications in various fields of analysis and analytic number theory. The control of the constants involved is crucial for applications, as it became evident in a recent outstanding paper of Defant, Frerick, Ortega-Cerdá, Ouna\"ıes and Seip published in 2011. The present work is devoted to obtain lower estimates for the constants appearing in the Bohnenblust--Hille polynomial inequality and some of its variants. The technique that we introduce for this task is a combination of the Krein--Milman Theorem with a description of the geometry of the unit ball of polynomial spaces on $\ell^2_\infty$.
It is shown that the ultimate version of the nonlinear Pietsch Domination Theorem remains true, even in a stronger presentation, if one of its hypotheses is removed. More precisely, we show that no trace of (sub)-homogeneity assumption is needed. Some consequences are also presented.
The results of this note arise a rupture between the behavior of the real and complex best known constants for the multilinear Bohnenblust--Hille inequality; in one side, for real scalars, we show that new upper bounds for the real Bohnenblust--Hille inequality (the best up to now) can be obtained via a somewhat "chaotic" combinatorial approach, while in the complex case the combinatorial approach giving the best known constants seems to be fully controlled. We believe that the understanding of this fact is a challenging problem that may shed some new light to the subject. As a byproduct of our results we present new estimates for the constants of the Bohnenblust--Hille inequality as well as new closed formulas.
The upper estimates for the optimal constants of the multilinear Bohnenblust--Hille inequality obtained in [J. Funct. Anal. 264 (2013), 429--463] are here improved to: {0.1cm} {enumerate} For real scalars: $K_{n}\leq\sqrt{2}(n-1)^{0.526322}$. For complex scalars: $K_{n}\leq\frac{2}{\sqrtπ}(n-1)^{0.304975}$.{enumerate} {0.1cm} \noindent We also obtain sharper estimates for higher values of $n$. For instance, \[ K_{n}<1.30379(n-1) ^{0.526322}\] for real scalars and $n>2^{8}$ and \[ K_{n}<0.99137(n-1) ^{0.304975}\] for complex scalars and $n > 2^{15}.$
It was recently proved by Bayart et al. that the complex polynomial Bohnenblust--Hille inequality is subexponential. We show that, for real scalars, this does no longer hold. Moreover, we show that, if $D_{\mathbb{R},m}$ stands for the real Bohnenblust--Hille constant for $m$-homogeneous polynomials, then $\displaystyle\lim\sup_{m}D_{\mathbb{R},m}^{1/m}=2.$
We prove that the multilinear Bohnenblust--Hille is a particular case of a quite general family of optimal inequalities.
We show that the Bohr radius of the polydisk $\mathbb D^n$ behaves asymptotically as $\sqrt{(\log n)/n}$. Our argument is based on a new interpolative approach to the Bohnenblust--Hille inequalities which allows us to prove that the polynomial Bohnenblust--Hille inequality is subexponential.
The search for sharp constants for inequalities of the type Littlewood's 4/3 and Bohnenblust-Hille, besides its pure mathematical interest, has shown unexpected applications in many different fields, such as Analytic Number Theory, Quantum Information Theory, or (for instance) in deep results on the $n$-dimensional Bohr radius. The recent estimates obtained for the multilinear Bohnenblust-Hille inequality (in the case of real scalars) have been recently used, as a crucial step, by A. Montanaro in order to solve problems in the theory of quantum XOR games. Here, among other results, we obtain new upper bounds for the Bohnenblust-Hille constants in the case of complex scalars. For bilinear forms, we obtain the optimal constants of variants of Littlewood's 4/3 inequality (in the case of real scalars) when the exponent 4/3 is replaced by any $r\geq4/3.$ As a consequence of our estimates we show that the optimal constants for the real case are always strictly greater than the constants for the complex case.
In this paper we continue the study initiated by Gurariy and Quarta in 2004 on the existence of linear spaces formed, up to the null vector, by continuous functions that attain the maximum only at one point. Inserting a topological flavor to the subject, we prove that results already known for functions defined on certain subsets of R are actually true for functions on quite general topological spaces. In the line of the original results of Gurariy and Quarta, we prove that, depending on the desired dimension, such subspaces may exist or not.
Let $(Ω,Σ,μ)$ be a measure space and $1< p < +\infty$. In this paper we show that, under quite general conditions, the set $L_{p}(Ω) - \bigcup\limits_{1 \leq q < p}L_{q}(Ω)$ is maximal spaceable, that is, it contains (except for the null vector) a closed subspace $F$ of $L_{p}(Ω)$ such that $\dim(F) = \dim(L_{p}(Ω))$. We also show that if those conditions are not fulfilled, then even the larger set $L_p(Ω) - L_q(Ω)$, $1 \leq q < p$, may fail to be maximal spaceable. The aim of the results presented here is, among others, to generalize all the previous work (since the 1960's) related to the linear structure of the sets $L_{p}(Ω) - L_{q}(Ω)$ with $q < p$ and $L_{p}(Ω) - \bigcup\limits_{1 \leq q < p}L_{q}(Ω)$.
We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to the authors by J. Diestel. We also show that our result applies to several well-studied classes of nonlinear summing mappings. In the final section some problems are proposed.
In this short note we prove the result stated in the title; that is, for every $p>0$ there exists an infinite dimensional closed linear subspace of $L_{p}[0,1]$ every nonzero element of which does not belong to $\bigcup\limits_{q>p} L_{q}[0,1]$. This answers in the positive a question raised in 2010 by R. M. Aron on the spaceability of the above sets (for both, the Banach and quasi-Banach cases). We also complete some recent results from \cite{BDFP} for subsets of sequence spaces.
A classical inequality due to H.F. Bohnenblust and E. Hille states that for every positive integer $n$ there is a constant $C_{n}>0$ so that $$(\sum\limits_{i_{1},...,i_{n}=1}^{N}|U(e_{i_{^{1}}},...,e_{i_{n}})|^{\frac{2n}{n+1}})^{\frac{n+1}{2n}}\leq C_{n}||U||$$ for every positive integer $N$ and every $n$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$. The original estimates for those constants from Bohnenblust and Hille are $$C_{n}=n^{\frac{n+1}{2n}}2^{\frac{n-1}{2}}.$$ In this note we present explicit formulae for quite better constants, and calculate the asymptotic behavior of these estimates, completing recent results of the second and third authors. For example, we show that, if $C_{\mathbb{R},n}$ and $C_{\mathbb{C},n}$ denote (respectively) these estimates for the real and complex Bohnenblust--Hille inequality then, for every even positive integer $n$, $$\frac{C_{\mathbb{R},n}}{\sqrtπ} = \frac{C_{\mathbb{C},n}}{\sqrt{2}} = 2^{\frac{n+2}{8}}\cdot r_n$$ for a certain sequence $\{r_n\}$ which we estimate numerically to belong to the interval $(1,3/2)$ (the case $n$ odd is similar). Simultaneously, assuming that $\{r_n\}$ is in fact convergent, we also conclude that $$\displaystyle \lim_{n \rightarrow \infty} \frac{C_{\mathbb{R},n}}{C_{\mathbb{R},n-1}} = \displaystyle \lim_{n \rightarrow \infty} \frac{C_{\mathbb{C},n}}{C_{\mathbb{C},n-1}}= 2^{1/8}.$$
Let $X$ be a Banach space. We prove that, for a large class of Banach or quasi-Banach spaces $E$ of $X$-valued sequences, the sets $E-\bigcup _{q\inΓ}\ell_{q}(X)$, where $Γ$ is any subset of $(0,\infty]$, and $E-c_{0}(X)$ contain closed infinite-dimensional subspaces of $E$ (if non-empty, of course). This result is applied in several particular cases and it is also shown that the same technique can be used to improve a result on the existence of spaces formed by norm-attaining linear operators.
The main goal of this note is to establish a connection between the cotype of the Banach space X and the parameters r for which every 2-homogeneous polynomial on X is r-dominated. Let cotX be the infimum of the cotypes assumed by X and (cotX)* be its conjugate. The main result of this note asserts that if cotX > 2, then for every 1<= r < (cotX)* there exists a non-r-dominated 2-homogeneous polynomial on X.