Antonio Pérez Hernández

National University of Distance Education | UNED · Departamento de Matemática Aplicada I

We study ideals $\mathcal{I}$ on $\mathbb N$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A}: A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$ whenever $A \subset B$, then $\bigcup_{A \in \mathcal{I}}X_{A} \neq X$. We give several characterizations and determin...

The aim of this manuscript is to study \emph{spear operators}: bounded linear operators $G$ between Banach spaces $X$ and $Y$ satisfying that for every other bounded linear operator $T:X\longrightarrow Y$ there exists a modulus-one scalar $\omega$ such that $$ \|G + \omega\,T\|=1+ \|T\|. $$ To this end, we introduce two related properties, one weak...

Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result states that there is an absolute constant $C >0$ such that the $\ell_{2d/(d+1)}$-sum of the Fourier coefficien...

The thermal equilibrium properties of physical systems can be described using Gibbs states. It is therefore of great interest to know when such states allow for an easy description. In particular, this is the case if correlations between distant regions are small. In this work, we consider 1D quantum spin systems with local, finite-range, translati...

We show that every ergodic Davies generator associated to any 2D Kitaev’s quantum double model has a nonvanishing spectral gap in the thermodynamic limit. This validates rigorously the extended belief that those models are useless as self-correcting quantum memories, even in the non-abelian case. The proof uses recent ideas and results regarding th...

This note is intended to address some inaccuracies in [1] . In Lemma 5.8, (52) of this article, we originally derived the following erroneous inequality:

Quantum systems in thermal equilibrium are described using Gibbs states. The correlations in such states determine how difficult it is to describe or simulate them. In this article, we show that systems with short-range interactions that are above a critical temperature satisfy a mixing condition, that is that for any regions A, C the distance of t...

Based on the proofs of the continuity of the conditional entropy by Alicki, Fannes, and Winter, we introduce in this work the almost locally affine (ALAFF) method. This method allows us to prove a great variety of continuity bounds for the derived entropic quantities. First, we apply the ALAFF method to the Umegaki relative entropy. This way, we re...

In this article, we generalize a proof technique by Alicki, Fannes and Winter and introduce a method to prove continuity bounds for entropic quantities derived from different quantum relative entropies. For the Umegaki relative entropy, we mostly recover known almost optimal bounds, whereas, for the Belavkin-Staszewski relative entropy, our bounds...

It is a generalized belief that there are no thermal phase transitions in short range 1D quantum systems. However, the only known case for which this is rigorously proven is for the particular case of finite range translationally invariant interactions. The proof was obtained by Araki in his seminal paper of 1969 as a consequence of pioneering loca...

We prove stronger variants of a multiplier theorem of Kislyakov. The key ingredients are based on ideas of Kislyakov and the Kahane–Salem–Zygmund inequality. As a by-product, we show various multiplier theorems for spaces of trigonometric polynomials on the n -dimensional torus $\mathbb {T}^n$ or Boolean cubes $\{-1,1\}^N$ . Our more abstract appro...

Based on the proofs of the continuity of the conditional entropy by Alicki, Fannes, and Winter, we introduce in this work the almost locally affine (ALAFF) method. This method allows us to prove a great variety of continuity bounds for the derived entropic quantities. First, we apply the ALAFF method to the Umegaki relative entropy. This way, we re...

We prove stronger variants of a multiplier theorem of Kislyakov. The key ingredients are based on ideas of Kislaykov and the Kahane-Salem-Zygmund inequality. As a by-product we show various multiplier theorems for spaces of trigonometric polynomials on the $n$-dimensional torus $\mathbb{T}^n$ or Boolean cubes $\{-1,1\}^N$. Our more abstract approac...

We show that the Davies generator associated to any 2D Kitaev's quantum double model has a non-vanishing spectral gap in the thermodynamic limit. This validates rigorously the extended belief that those models are useless as self-correcting quantum memories, even in the non-abelian case. The proof uses recent ideas and results regarding the charact...

The thermal equilibrium properties of physical systems can be described using Gibbs states. It is therefore of great interest to know when such states allow for an easy description. In particular, this is the case if correlations between distant regions are small. In this work, we consider 1D quantum spin systems with local, finite-range, translati...

Quasi-factorization-type inequalities for the relative entropy have recently proven to be fundamental in modern proofs of modified logarithmic Sobolev inequalities for quantum spin systems. In this paper, we show some results of weak quasi-factorization for the Belavkin-Staszewski relative entropy, i.e. upper bounds for the BS-entropy between two b...

It is a generalized belief that there are no thermal phase transitions in short range 1D quantum systems. However, the only known case for which this is rigorously proven is for the particular case of finite range translational invariant interactions. The proof was obtained by Araki in his seminal paper of 1969 as a consequence of pioneering locali...

Given Banach spaces $X$ and $Y$, and a norm-one operator $G\in \mathcal{L}(X,Y)$, the numerical index with respect to $G$, $n_G(X,Y)$, is the greatest constant $k\geq 0$ such that $$\max_{|w|=1}\|G+wT\|\geq 1 + k \|T\|$$ for all $T\in \mathcal{L}(X,Y)$. We present some results on the set $\mathcal{N}(\mathcal{L}(X,Y))$ of the values of the numerica...

We investigate properties of the m-th error of approximation by polynomials with constant coefficients Dm(x) and with modulus-constant coefficients Dm⁎(x) introduced by Berná and Blasco ([2]) to study greedy bases in Banach spaces. We characterize when lim infmDm(x) and lim infmDm⁎(x) are equivalent to ‖x‖ in terms of the democracy and superdemocra...

We investigate properties of the $m$-th error of approximation by polynomials with constant coefficients $\mathcal{D}_{m}(x)$ and with modulus-constant coefficients $\mathcal{D}_{m}^{\ast}(x)$ introduced by Bern\'a and Blasco (2016) to study greedy bases in Banach spaces. We characterize when $\liminf_{m}{\mathcal{D}_{m}(x)}$ and $\liminf_{m}{\math...

We present an abstract approach to the abscissas of convergence of vector-valued Dirichlet series. As a consequence we deduce that the abscissas for Hardy spaces of Dirichlet series are all equal. We also introduce and study weak versions of the abscissas for scalar-valued Dirichlet series.

We present an abstract approach to the abscissas of convergence of vector-valued Dirichlet series. As a consequence we deduce that the abscissas for Hardy spaces of Dirichlet series are all equal. We also introduce and study weak versions of the abscissas for scalar-valued Dirichlet series.

An error in the production process unfortunately led to online publication of the chapter abstracts prematurely, before incorporation of the final corrections. The version supplied here has been corrected and approved by the author [authors].

We complete the book with a collection of open problems.

Our goal here is to complement the previous chapter with some interesting results. We characterize lush operators when the domain space has the Radon-Nikodým Property or the codomain space is Asplund, and we get better results when the domain or the codomain is finite-dimensional or when the operator has rank one. Further, we study the behaviour of...

We recall the concept of spear vector and introduce the new notion of spear set. They are both used as ``leitmotiv'' to give a unified presentation of the concepts of spear operator, lush operator, aDP, and other type of operators that will be introduced here. We collect some properties of spear sets and vectors, together with some (easy) examples...

This is the main chapter of our manuscript, as we introduce and deeply study the main definitions: the one of spear operator, the weaker of operator with the alternative Daugavet property, and the stronger of lush operator.

Our goal here is to present consequences on the Banach spaces X and Y of the fact that there is \(G\in \mathcal {L}(X,Y)\) which is a spear operator, is lush, or has the aDP.

This chapter contains an overview of the known results about Banach spaces with numerical index 1, as well as the notation and terminology we will need along the book.

We study Lipschitz spear operators. These are just the spear vectors of the space of Lipschitz operators between two Banach spaces endowed with the Lipschitz norm. The main result here is that every (linear) lush operator is a Lipschitz spear operator. We also provide with analogous results for aDP operators and for Daugavet centers.

Our aim here is to present examples of operators which are lush, spear, or have the aDP, defined in some classical Banach spaces. One of the most intriguing examples is the Fourier transform on L1, which we prove that is lush. Next, we study a number of examples of operators arriving to spaces of continuous functions. In particular, it is shown tha...

Our aim here is to provide several results on the stability of our properties for operators by several operations like absolute sums, vector-valued function spaces, and ultraproducts.

This monograph is devoted to the study of spear operators, that is, bounded linear operators $G$ between Banach spaces $X$ and $Y$ satisfying that for every other bounded linear operator $T:X\longrightarrow Y$ there exists a modulus-one scalar $\omega$ such that $\|G + \omega\,T\|=1+ \|T\|$. This concept extends the properties of the identity oper...

The notion of slicely countably determined (SCD) sets was introduced in 2010 by A.~Avil\'{e}s, V.~Kadets, M.~Mart\'{i}n, J.~Mer\'{i} and V.~Shepelska. We solve in the negative some natural questions about preserving being SCD by the operations of union, intersection and Minkowski sum. Moreover, we demonstrate that corresponding examples exist in ev...

The notion of slicely countably determined (SCD) sets was introduced in 2010 by A.~Avil\'{e}s, V.~Kadets, M.~Mart\'{i}n, J.~Mer\'{i} and V.~Shepelska. We solve in the negative some natural questions about preserving being SCD by the operations of union, intersection and Minkowski sum. Moreover, we demonstrate that corresponding examples exist in ev...

We study the asymptotic decay of the Fourier spectrum of real functions $f\colon \{-1,1\}^N \rightarrow \mathbb{R}$ in the spirit of Bohr's phenomenon from complex analysis. Every such function admits a canonical representation through its Fourier-Walsh expansion $f(x) = \sum_{S\subset \{1,\ldots,N\}}\widehat{f}(S) x^S \,,$ where $x^S = \prod_{k \i...

We study the asymptotic decay of the Fourier spectrum of real functions $f\colon \{-1,1\}^N \rightarrow \mathbb{R}$ in the spirit of Bohr's phenomenon from complex analysis. Every such function admits a canonical representation through its Fourier-Walsh expansion $f(x) = \sum_{S\subset \{1,\ldots,N\}}\widehat{f}(S) x^S \,,$ where $x^S = \prod_{k \i...

Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result states that there is an absolute constant $C >0$ such that the $\ell_{2d/(d+1)}$-sum of the Fourier coefficien...

We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$ whenever $A \subset B$, then $\bigcup_{A \in \mathcal{I}}{X_{A}} \neq X$. We give several characterizations and...

Let 1 ≤ p < q < ∞. We show that $$\sup \frac{{{{\left\| D \right\|}_{{H_q}}}}}{{{{\left\| D \right\|}_{{H_q}}}}} = \exp \left( {\frac{{\log x}}{{\log \log x}}\left( {\log \sqrt {\frac{q}{p}} + O\left( {\frac{{\log \log \log x}}{{\log \log x}}} \right)} \right)} \right),$$ where the supremum is taken over all non-zero Dirichlet polynomials of the fo...

Given a Banach space $X$ and $1 \leq p \leq \infty$, it is well known that the two Hardy spaces $H_p(\mathbb{T},X)$ ($\mathbb{T}$ the torus) and $H_p(\mathbb{D},X)$ ($\mathbb{D}$ the disk) have to be distinguished carefully. This motivates us to define and study two different types of Hardy spaces $\mathcal{H}_p(X)$ and $\mathcal{H}^+_p(X)$ of Diri...

Let $1 \leq p < q < \infty$. We show that \[ \sup{\frac{\left\| D\right\|_{\mathcal{H}_{q}}}{\left\| D\right\|_{\mathcal{H}_{p}}}} = \exp{\left( \frac{\log{x}}{\log{\log{x}}} \left(\log{\sqrt{\frac{q}{p}}} + \left(\frac{\log{\log{\log{x}}}}{\log{\log{x}}}\right)\right) \right)} \,,\] where the supremum is taken over all non-zero Dirichlet polynomia...

Given a Banach space $X$ and $1 \leq p \leq \infty$, it is well known that the two Hardy spaces $H_p(\mathbb{T},X)$ ($\mathbb{T}$ the torus) and $H_p(\mathbb{D},X)$ ($\mathbb{D}$ the disk) have to be distinguished carefully. This motivates us to define and study two different types of Hardy spaces $\mathcal{H}_p(X)$ and $\mathcal{H}^+_p(X)$ of Diri...

We give a characterization of the existence of copies of \(c_{0}\) in Banach spaces in terms of indexes. As an application, we deduce new proofs of James Distortion theorem and Bessaga-Pełczynski theorem about weakly unconditionally Cauchy series.

We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties. The main result, which answers a question posed by F. Delbaen, is the following: Let $E$ be a Banach space suc...

The aim of this paper is to present a quantitative version of the Radon–Nikodým property and some other results related to it. This approach gives an extra insight to the classical results. We introduce two indexes: an index of representability of measures and an index of dentability. We review classic results in order to obtain relationships betwe...