-
Hypercontractivity and strips of convergence in Hardy spaces of general Dirichlet series
Authors:
Daniel Carando,
Andreas Defant,
Felipe Marceca,
Ingo Schoolmann,
Pablo Sevilla-Peris
Abstract:
For a general Dirichlet series $\sum a_n e^{-λ_n s}$ with frequency $λ=(λ_n)_n$, we study how horizontal translation (i.e. convolution with a Poisson kernel) improves its integrability properties. We characterize hypercontractive frequencies in terms of their additive structure answering some questions posed by Bayart. We also provide sharp bounds for the strips $S_p(λ)$ that encode the minimum tr…
▽ More
For a general Dirichlet series $\sum a_n e^{-λ_n s}$ with frequency $λ=(λ_n)_n$, we study how horizontal translation (i.e. convolution with a Poisson kernel) improves its integrability properties. We characterize hypercontractive frequencies in terms of their additive structure answering some questions posed by Bayart. We also provide sharp bounds for the strips $S_p(λ)$ that encode the minimum translation necessary for series in the Hardy space $\mathcal{H}_p(λ)$ to have absolutely convergent coefficients.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Eigenvalue estimates for Fourier concentration operators on two domains
Authors:
Felipe Marceca,
José Luis Romero,
Michael Speckbacher
Abstract:
We study concentration operators associated with either the discrete or the continuous Fourier transform, that is, operators that incorporate a spatial cut-off and a subsequent frequency cut-off to the Fourier inversion formula. Their spectral profiles describe the number of prominent degrees of freedom in problems where functions are assumed to be supported on a certain domain and their Fourier t…
▽ More
We study concentration operators associated with either the discrete or the continuous Fourier transform, that is, operators that incorporate a spatial cut-off and a subsequent frequency cut-off to the Fourier inversion formula. Their spectral profiles describe the number of prominent degrees of freedom in problems where functions are assumed to be supported on a certain domain and their Fourier transforms are known or measured on a second domain.
We derive eigenvalue estimates that quantify the extent to which Fourier concentration operators deviate from orthogonal projectors, by bounding the number of eigenvalues that are away from 0 and 1 in terms of the geometry of the spatial and frequency domains, and a factor that grows at most poly-logarithmically on the inverse of the spectral margin. The estimates are non-asymptotic in the sense that they are applicable to concrete domains and spectral thresholds, and almost match asymptotic benchmarks.
Our work covers for the first time non-convex and non-symmetric spatial and frequency concentration domains, as demanded by numerous applications that exploit the expected approximate low dimensionality of the modeled phenomena. The proofs build on Israel's work on one dimensional intervals [arXiv: 1502.04404v1]. The new ingredients are the use of redundant wave-packet expansions and a dyadic decomposition argument to obtain Schatten norm estimates for Hankel operators.
△ Less
Submitted 8 March, 2024; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Improved discrepancy for the planar Coulomb gas at low temperatures
Authors:
Felipe Marceca,
José Luis Romero
Abstract:
We study the planar Coulomb gas in the regime where the inverse temperature $β_n$ grows at least logarithmically with respect to the number of particles $n$ (freezing regime, $β_n\gtrsim \log n$). We show that, almost surely for large $n$, the discrepancy between the number of particles in any microscopic region and their expected value (given with adequate precision by the equilibrium measure) is…
▽ More
We study the planar Coulomb gas in the regime where the inverse temperature $β_n$ grows at least logarithmically with respect to the number of particles $n$ (freezing regime, $β_n\gtrsim \log n$). We show that, almost surely for large $n$, the discrepancy between the number of particles in any microscopic region and their expected value (given with adequate precision by the equilibrium measure) is, up to log factors, of the order of the perimeter of the observation window. The estimates are valid throughout the whole droplet (the region where the particles accumulate), and are particularly interesting near the boundary, while in the bulk they offer technical improvements over known results.
Our work builds on recent results on equidistribution at low temperatures and improves on them by providing refined spectral asymptotics for certain Toeplitz operators on the range of the erfc-kernel (sometimes called Faddeeva or plasma dispersion kernel).
△ Less
Submitted 11 January, 2024; v1 submitted 30 December, 2022;
originally announced December 2022.
-
Gaussian beta ensembles: the perfect freezing transition and its characterization in terms of Beurling-Landau densities
Authors:
Yacin Ameur,
Felipe Marceca,
José Luis Romero
Abstract:
The Gaussian $β$-ensemble is a real $n$-point configuration $\{x_j\}_1^n$ picked randomly with respect to the Boltzmann factor $e^{-\fracβ2H_n}$, $H_n=\sum_{i\ne j}\log\frac 1{|x_i-x_j|}+n\sum_{i=1}^n\tfrac 12x_i^2.$ The point process $\{x_j\}_1^n$ tends to follow the semicircle law $σ(x)=\tfrac 1{2π}\sqrt{(4-x^2)_+}$ in certain average senses.
A Fekete configuration (minimizer of $H_n$) is spre…
▽ More
The Gaussian $β$-ensemble is a real $n$-point configuration $\{x_j\}_1^n$ picked randomly with respect to the Boltzmann factor $e^{-\fracβ2H_n}$, $H_n=\sum_{i\ne j}\log\frac 1{|x_i-x_j|}+n\sum_{i=1}^n\tfrac 12x_i^2.$ The point process $\{x_j\}_1^n$ tends to follow the semicircle law $σ(x)=\tfrac 1{2π}\sqrt{(4-x^2)_+}$ in certain average senses.
A Fekete configuration (minimizer of $H_n$) is spread out in a much more uniform way in the interval $[-2,2]$ with respect to the regularization $σ_n(x)=\max\{σ(x),n^{-\frac 1 3}\}$ of the semicircle law. In particular, Fekete configurations are "equidistributed" with respect to $σ_n(x)$, in a certain technical sense of Beurling-Landau densities.
We consider the problem of characterizing sequences $β_n$ of inverse temperatures, which guarantee almost sure equidistribution as $n\to\infty$. We find that a necessary and sufficient condition is that $β_n$ grows at least logarithmically in $n$: $$β_n\gtrsim \log n.$$ We call this growth rate the perfect freezing regime. We give several further results on the distribution of particles when $β_n\gtrsim\log n$, for example on minimal spacing, discrepancies, and sampling and interpolation for weighted polynomials.
The condition $β_n\gtrsim\log n$ was introduced by some of the authors in the context of two-dimensional Coulomb gas ensembles, where it is shown to be sufficient for equidistribution. Although the technical implementation requires some considerable modifications, the strategy from dimension two adapts well to prove sufficiency also for one-dimensional Gaussian ensembles. On a technical level, we use estimates for weighted polynomials due to Levin, Lubinsky, Gustavsson and others. The other direction (necessity) involves estimates due to Ledoux and Rider on the distribution of particles which fall near or outside the boundary.
△ Less
Submitted 22 August, 2024; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Spectral deviation of concentration operators for the short-time Fourier transform
Authors:
Felipe Marceca,
José Luis Romero
Abstract:
Time-frequency concentration operators restrict the integral analysis-synthesis formula for the short-time Fourier transform to a given compact domain. We estimate how much the corresponding eigenvalue counting function deviates from the Lebesgue measure of the time-frequency domain. For window functions in the Gelfand-Shilov class, the bounds almost match known asymptotics, with the advantage of…
▽ More
Time-frequency concentration operators restrict the integral analysis-synthesis formula for the short-time Fourier transform to a given compact domain. We estimate how much the corresponding eigenvalue counting function deviates from the Lebesgue measure of the time-frequency domain. For window functions in the Gelfand-Shilov class, the bounds almost match known asymptotics, with the advantage of being effective for concrete domains and spectral thresholds. As such our estimates allow for applications where the spectral threshold depends on the geometry of the time-frequency concentration domain. We also consider window functions that decay only polynomially in time and frequency.
△ Less
Submitted 13 March, 2024; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Decoupling inequalities with exponential constants
Authors:
Daniel Carando,
Felipe Marceca,
Pablo Sevilla-Peris
Abstract:
Decoupling inequalities disentangle complex dependence structures of random objects so that they can be analyzed by means of standard tools from the theory of independent random variables. We study decoupling inequalities for vector-valued homogeneous polynomials evaluated at random variables. We focus on providing geometric conditions ensuring decoupling inequalities with good constants depending…
▽ More
Decoupling inequalities disentangle complex dependence structures of random objects so that they can be analyzed by means of standard tools from the theory of independent random variables. We study decoupling inequalities for vector-valued homogeneous polynomials evaluated at random variables. We focus on providing geometric conditions ensuring decoupling inequalities with good constants depending only exponentially on the degree of the polynomial. Assuming the Banach space has finite cotype we achieve this for classical decoupling inequalities that compare the polynomials with their associated multilinear operators. Under stronger geometric assumptions on the involved Banach spaces, we also obtain decoupling inequalities between random polynomials and fully independent random sums of their coefficients. Finally, we present decoupling inequalities where in the multilinear operator just two independent copies of the random vector are involved (one repeated $m-1$ times).
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
Vector-valued general Dirichlet series
Authors:
D. Carando,
A. Defant,
F. Marceca,
I. Schoolmann
Abstract:
Opened up by early contributions due to, among others, H. Bohr, Hardy-Riesz, Bohnenblust-Hille, Neder and Landau the last 20 years show a substantial revival of systematic research on ordinary Dirichlet series $\sum a_n n^{-s}$, and more recently even on general Dirichlet series $\sum a_n e^{-λ_n s}$. This involves the intertwining of classical work with modern functional analysis, harmonic analys…
▽ More
Opened up by early contributions due to, among others, H. Bohr, Hardy-Riesz, Bohnenblust-Hille, Neder and Landau the last 20 years show a substantial revival of systematic research on ordinary Dirichlet series $\sum a_n n^{-s}$, and more recently even on general Dirichlet series $\sum a_n e^{-λ_n s}$. This involves the intertwining of classical work with modern functional analysis, harmonic analysis, infinite dimensional holomorphy and probability theory as well as analytic number theory. Motivated through this line of research the main goal of this article is to start a systematic study of a variety of fundamental aspects of vector-valued general Dirichlet series $\sum a_n e^{-λ_{n} s}$, so Dirichlet series, where the coefficient are not necessarily in $\mathbb{C}$ but in some arbitrary Banach space $X$.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Hausdorff-Young type inequalities for vector-valued Dirichlet series
Authors:
Daniel Carando,
Felipe Marceca,
Pablo Sevilla-Peris
Abstract:
We study Hausdorff-Young type inequalities for vector-valued Dirichlet series which allow to compare the norm of a Dirichlet series in the Hardy space $\mathcal{H}_{p} (X)$ with the $q$-norm of its coefficients. In order to obtain inequalities completely analogous to the scalar case, a Banach space must satisfy the restrictive notion of Fourier type/cotype. We show that variants of these inequalit…
▽ More
We study Hausdorff-Young type inequalities for vector-valued Dirichlet series which allow to compare the norm of a Dirichlet series in the Hardy space $\mathcal{H}_{p} (X)$ with the $q$-norm of its coefficients. In order to obtain inequalities completely analogous to the scalar case, a Banach space must satisfy the restrictive notion of Fourier type/cotype. We show that variants of these inequalities hold for the much broader range of spaces enjoying type/cotype. We also consider Hausdorff-Young type inequalities for functions defined on the infinite torus $\mathbb{T}^{\infty}$ or the boolean cube $\{-1,1\}^{\infty}$.
△ Less
Submitted 18 July, 2019; v1 submitted 29 March, 2019;
originally announced April 2019.
-
Random unconditional convergence of vector-valued Dirichlet series
Authors:
Daniel Carando,
Felipe Marceca,
Melisa Scotti,
Pedro Tradacete
Abstract:
We study random unconditionality of Dirichlet series in vector-valued Hardy spaces $\mathcal H_p(X)$. It is shown that a Banach space $X$ has type 2 (respectively, cotype 2) if and only if for every choice $(x_n)_n\subset X$ it follows that $(x_n n^{-s})_n$ is Random unconditionally convergent (respectively, divergent) in $\mathcal H_2(X)$. The analogous question on $\mathcal H_p(X)$ spaces for…
▽ More
We study random unconditionality of Dirichlet series in vector-valued Hardy spaces $\mathcal H_p(X)$. It is shown that a Banach space $X$ has type 2 (respectively, cotype 2) if and only if for every choice $(x_n)_n\subset X$ it follows that $(x_n n^{-s})_n$ is Random unconditionally convergent (respectively, divergent) in $\mathcal H_2(X)$. The analogous question on $\mathcal H_p(X)$ spaces for $p\neq2$ is also explored. We also provide explicit examples exhibiting the differences between the unconditionality of $(x_n n^{-s})_n$ in $\mathcal H_p(X)$ and that of $(x_n z^n)_n$ in $H_p(X)$.
△ Less
Submitted 10 December, 2018;
originally announced December 2018.
-
Some remarks on non-symmetric polarization
Authors:
Felipe Marceca
Abstract:
Let $P:\mathbb{C}^n\rightarrow \mathbb{C}$ be an $m$-homogeneous polynomial given by \[P(x)= \sum_{1\leq j_1\leq \ldots \leq j_m \leq n} c_{j_1 \ldots j_m} x_{j_1}\ldots x_{j_m}.\] Defant and Schlüters defined a non-symmetric associated $m$-form $L_P: \left(\mathbb{C}^n \right)^m\rightarrow \mathbb{C}$ by \[L_P \left(x^{(1)},\ldots,x^{(m)} \right)= \sum_{1\leq j_1\leq \ldots \leq j_m \leq n} c_{j_…
▽ More
Let $P:\mathbb{C}^n\rightarrow \mathbb{C}$ be an $m$-homogeneous polynomial given by \[P(x)= \sum_{1\leq j_1\leq \ldots \leq j_m \leq n} c_{j_1 \ldots j_m} x_{j_1}\ldots x_{j_m}.\] Defant and Schlüters defined a non-symmetric associated $m$-form $L_P: \left(\mathbb{C}^n \right)^m\rightarrow \mathbb{C}$ by \[L_P \left(x^{(1)},\ldots,x^{(m)} \right)= \sum_{1\leq j_1\leq \ldots \leq j_m \leq n} c_{j_1 \ldots j_m} x_{j_1}^{(1)}\ldots x_{j_m}^{(m)}.\] They estimated the norm of $L_P$ on $(\mathbb{C}^n, \| \cdot\|)^m$ by the norm of $P$ on $(\mathbb{C}^n, \| \cdot\|)$ times a $(c\log n)^{m^2}$ factor for every 1-unconditional norm $\|\cdot\|$ on $\mathbb{C}^n$. A symmetrization procedure based on a card-shuffling algorithm which (together with Defant and Schlüters' argument) brings the constant term down to $(c m \log n)^{m-1}$ is provided. Regarding the lower bound, it is shown that the optimal constant is bigger than $(c \log n)^{m/2}$ when $n\gg m$. Finally, the case of $\ell_p$-norms $\|\cdot \|_p$ with $1\leq p <2$ is addressed.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
