SearcharxivSearch

arXiv subjects

Anselmo Raposo Jr

Publications and source records attributed to Anselmo Raposo Jr.

11 recordsLinked to original sources

Sharp Summability on Supports of Prescribed Combinatorial Dimension

We solve four questions raised by Bayart concerning coefficient summability for multilinear forms with prescribed supports. For every $m\ge 2$ and $d\in[1,m]$, we determine the product-summability exponent and the multilinear summability invariant: \[ \mathrm{prod}(m,d) =\min\left\{\frac{m}{d},\,m-\lceil d\rceil+1\right\}, \qquad γ_{\mathrm{mult}}(m,d) =\min\left\{m-\lceil d\rceil+1,\frac{2m}{d+1}\right\}. \] In particular, $γ_{\mathrm{mult}}(4,2)=8/3$, showing that the multilinear invariant need not be an integer. We also prove that, for every $d\in[1,m]$, there is a single infinite support of exact combinatorial dimension $d$ on which the dimensional Hardy--Littlewood bound is attained over both scalar fields for every anisotropic parameter $\mathbf p=(p_1,\ldots,p_m)$ with $\sum_j 1/p_j<1$, simultaneously across the two regimes separated by $\sum_j 1/p_j=1/2$.

math.FA

The Aron--Rueda zero-subspace problem

We determine the exact finite-dimensional threshold in the zero-subspace problem of Aron and Rueda for complex homogeneous polynomials. More precisely, for every $d$ and $k$ we determine the least $m$ such that every $d$-homogeneous polynomial on $\mathbb{C}^m$ vanishes on a $k$-dimensional linear subspace. We also determine the exact threshold for arbitrary polynomials of degree at most $d$ to be constant on a $k$-dimensional linear subspace. The two thresholds are different. In the homogeneous case the exact threshold follows from Tevelev's theorem on isotropic subspaces and closedness of the incidence locus. In the bounded-degree case we first eliminate the linear homogeneous component by passing to its kernel; the remaining components, of degrees $2,\ldots,d$, form the system to which the Debarre--Manivel theorem is applied. For $k=2$ we give a separate proof using top Chern classes and Newton's inequalities.

math.FA

Subexponential Bohnenblust-Hille Inequalities on Finite Cyclic Groups

Let $C_q$ denote the group of the $q$th roots of unity. A question arising from the work of Becker, Klein, Slote, Volberg and Zhang is whether the dimension-free Bohnenblust--Hille constants for functions on $C_q^N$ grow subexponentially with the degree. We answer this question affirmatively. In fact, we prove a stronger estimate for functions whose Fourier characters involve at most $d$ coordinates. If $\BHint{d}{q}$ is the optimal constant for this larger class, then, for every fixed $q\geq2$, \[ \BHint{d}{q}\leq \exp\left(c_q\sqrt{d\log d} +O_q\left(\sqrt{\frac d{\log d}}\log\log d\right)\right), \] where $c_2=2$ and $c_q=\sqrt{2q\log(q-1)/(q-2)}$ for $q\geq3$. As an application, we obtain two-sided estimates for the Bohr radius of the Fourier layer formed by characters involving exactly $d$ coordinates, and we determine its asymptotic behaviour in natural joint regimes of $d$ and $N$.

math.FA

Hilbertian Kahane--Salem--Zygmund Inequalities: Extremizers and Quantitative Gaps

We study real multilinear forms with coefficients in $\{-1,1\}$ on finite-dimensional Hilbert spaces. Every trilinear sign form on $\ell_2^r\times\ell_2^n\times\ell_2^n$ has norm at least $\sqrt n$. Writing $K_{r,n}$ for the least norm divided by $\sqrt n$, we prove that $K_{r,n}=1$ exactly when a Hadamard matrix of order $n$ exists and $r\leρ(n)$, where $ρ$ is the Hurwitz--Radon function. If equality fails, we obtain an explicit gap above $\sqrt n$. We also prove two asymptotic results. If $1\le m_n\le n$ and $\limsup r_n/\log_2 n<2$, there are sign forms on $\ell_2^{r_n}\times\ell_2^{m_n}\times\ell_2^n$ with norm $(1+o(1))\sqrt n$. In the square case, if $r\ge2\lceil\log_2(8n)\rceil$, then $K_{r,n}-1\ge c(1+\log_2 n)^{-4}$. We also prove a fourth-moment estimate in every fixed multilinear order, characterize equality, and give exact and asymptotic constructions.

math.FA

Upper bounds for the constants of Bennett's inequality and the Gale--Berlekamp switching game

In $1977$, G. Bennett proved, by means of non-deterministic methods, an inequality which plays a fundamental role in a series of optimization problems. More precisely, Bennett's inequality shows that, for $p_{1},p_{2} \in\lbrack1,\infty]$ and all positive integers $n_{1},n_{2}$, there exists a bilinear form $A_{n_{1},n_{2}}\colon\left( \mathbb{R}^{n_{1}},\left\Vert \cdot\right\Vert _{p_{1}}\right) \times\left( \mathbb{R}^{n_{2}},\left\Vert \cdot\right\Vert _{p_{2}}\right) \longrightarrow\mathbb{R}$ with coefficients $\pm1$ satisfying \[ \left\Vert A_{n_{1},n_{2}}\right\Vert \leq C_{p_{1},p_{2}}\max\left\{ n_{1}^{1-\frac{1}{p_{1}}}n_{2}^{\max\left\{ \frac{1}{2}-\frac{1}{p_{2} },0\right\} },n_{2}^{1-\frac{1}{p_{2}}}n_{1}^{\max\left\{ \frac{1}{2} -\frac{1}{p_{1}},0\right\} }\right\} \] for a certain constant $C_{p_{1},p_{2}}$ depending just on $p_{1},p_{2}$; moreover, the exponents of $n_{1},n_{2}$ cannot be improved. In this paper, using a constructive approach, we prove that $C_{p_{1},p_{2}}\leq\sqrt{8/5}$ whenever $p_{1},p_{2}\in\left[ 2,\infty\right] $ or $p_{1}=p_{2}=p\in\left[ 1,\infty\right] $. Our techniques are applied to provide new upper bounds for the constants of a combinatorial game, known as Gale--Berlekamp switching game or unbalancing lights problem. As a consequence, we improve estimates obtained by Brown and Spencer in $1971$ and by Carlson and Stolarski in $2004$.

math.CO

Regularity of the coefficients of multilinear forms on sequence spaces

The investigation of regularity/summability properties of the coefficients of bilinear forms in sequence spaces was initiated by Littlewood in $1930$. Nowadays, this topic has important connections with other fields of Pure and Applied Mathematics as Complex Analysis, Quantum Information Theory, Theoretical Computer Science and Combinatorial Games. In this paper we explore a regularity technique to obtain optimal parameters for several results in this framework, extending/generalizing theorems of Osikiewicz and Tonge ($2001$), Albuquerque \textit{et al.} ($2016$), Aron \textit{et al.} ($2017$), Albuquerque and Rezende ($2018$), Paulino ($2020$), among others.

math.FA

Constants of the Kahane--Salem--Zygmund inequality asymptotically bounded by $1$ II

In [18] we have shown that, for $p_{1},p_{2}\in(2,\infty]$, the constants of Bennett's inequality on unimodular bilinear forms on $\ell_{p_{1}}^{n_{1} }\times\ell_{p_{2}}^{n_{2}}$ are asymptotically bounded by $1$. In the present paper we use a different approximation technique to investigate the remaining cases $p_{1},p_{2}\in\lbrack1,\infty].$ This new approach also provides a stronger asymptotic control, in the sense that the constants are "uniformly" asymptotically bounded by $1$, with no dependence on $p_{1},p_{2}.$

math.FA

Constants of the Kahane--Salem--Zygmund inequality asymptotically bounded by $1$

The Kahane--Salem--Zygmund inequality for multilinear forms in $\ell_{\infty}$ spaces claims that, for all positive integers $m,n_{1},...,n_{m}$, there exists an $m$-linear form $A\colon\ell_{\infty}^{n_{1}}\times\cdots\times \ell_{\infty}^{n_{m}}\longrightarrow\mathbb{K}$ ($\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$) of the type \[ A(z^{(1)},...,z^{(m)})=\sum_{j_{1}=1}^{n_{1}}\cdots\sum_{j_{m}=1}^{n_{m}}\pm z_{j_{1}}^{\left( 1\right) }\cdots z_{j_{m}}^{\left( m\right) }\text{,} \] satisfying \[ \Vert A\Vert\leq C_{m}\max\left\{ n_{1}^{1/2},\ldots,n_{m}^{1/2}\right\} {\textstyle\prod\limits_{j=1}^{m}}n_{j}^{1/2}\text{,} \] for \[ C_{m}\leqκ\sqrt{m\log m}\sqrt{m!} \] and a certain $κ>0.$ Our main result shows that given any $ε>0$ and any positive integer $m,$ there exists a positive integer $N$ such that \[ C_{m}<1+ε\text{,} \] when we consider $n_{1},...,n_{m}>N$. In addition, while the original proof of the Kahane--Salem--Zygmund relies in highly non-deterministic arguments, our approach is constructive. We also provide the same asymptotic bound (which is shown to be optimal in some cases) for the constant of a related non-deterministic inequality proved by G. Bennett in 1977. Applications to Berlekamp's switching game are given.

math.CO