arXiv Science⌕ Search

arXiv · 2610.30832

Radial Schur multipliers on trees and quantitative Fourier--Schur separation

Abstract

We study ordinary and completely bounded norms of radial Schur multipliers on trees. On the homogeneous tree of countably infinite degree, we show that boundedness implies complete boundedness. The argument realizes arbitrary matrix amplifications of a shifted Toeplitz symbol inside rectangular corners of the original multiplier. It also applies to some locally finite trees of unbounded degree. Consequently, the completely bounded radial multiplier theorem of González-Pérez, Parcet, Pérez García and Wang has no general counterpart with ordinary norms. We also determine the optimal order of the comparison constant for positive definite even symbols. For each $1 < p < \infty$ with $p \neq 2$, we construct radial symbols on finitely generated nonabelian free groups, supported in the ball of radius $N$, whose completely bounded Herz--Schur norms remain bounded as $N \to \infty$, whereas their ordinary Fourier multiplier norms grow at least like $N^{|1-\frac{2}{p}|}$. For each fixed $0 < \vartheta < π$, we also determine the exact order $t^{-|1-\frac{2}{p}|}$ of both the ordinary and completely bounded Fourier multiplier norms of the damped radial phases $s \mapsto \mathrm{e}^{(-t+\mathrm{i}\vartheta)|s|}$ as $t \to 0$. Finally, we compute the local amenability modulus of free balls, we bound the Fourier--Schur ratio of free balls from above and below in terms of this modulus, and we show that its restriction to radial symbols grows polynomially in the radius.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cédric Arhancet. 2026-10-22. Radial Schur multipliers on trees and quantitative Fourier--Schur separation. https://arxiv.org/abs/2610.30832

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Mixed Bourgain-Morrey spaces and their applications to boundedness of operators

We introduce the mixed Bourgain-Morrey spaces and obtain their preduals. The boundedness of Hardy-Littlewood maximal operator, iterated maximal operator, fractional integral operator, singular integral operator on these spaces is proved. In addition, we give a description of the dual of mixed Bourgain-Morrey spaces and conclude the reflexivity of these spaces.

math.FA↗

The stability landscape in wave-packet scattering: geometric rigidity and sharp Sobolev thresholds

A central problem in harmonic analysis is to understand how frequency resolution constrains stability under nonlinear changes of coordinates. Motivated by Mallat's wavelet scattering theory, we establish a sharp resolution--robustness principle for nonlinear representations built from two-dimensional wave-packet systems, showing that the transverse geometry of the frequency channels determines the critical Sobolev regularity. Whenever the channels are thinner than in the wavelet regime, arbitrarily small smooth deformations can move high-frequency mass between adjacent channels, producing instability already at the level of the linear filter bank and the first scattering layer. We match this obstruction with scale-sharp commutator estimates propagated through the full scattering cascade, obtaining Lipschitz stability at the critical regularity threshold. Together, the results provide the first intrinsic deformation-stability theory for non-wavelet Euclidean scattering transforms and identify a microlocal transport mechanism governing robustness across nonlinear multiscale representations.

math.FA↗

Unbounded Helson Forms with a Moment Representation

We study the positive Helson form $h_0[a,b]=\sum_{m,n\ge1}α(mn)a_n\overline{b_m}$ on the finitely supported sequences $c_{00}\subset\ell^2(\mathbb{N})$, where $α(n)=\int_{\mathbb{R}}n^{-s}dμ(s)<\infty$ for a finite positive Borel measure $μ$. Under the Carleman condition $\sum_{k\ge1}α(4^k)^{-1/(2k)}=\infty$, closability of $h_0$ is equivalent to $\sqrt{n}α(n)\to0$, and hence to $μ((-\infty,1/2])=0$. For measures concentrated on $(1/2,\infty)$, we identify the closure of the operator $N_0a=\sum_{n\ge1}a_nn^{-s}$, defined on $c_{00}$, with its maximal realization from $\ell^2(\mathbb{N})$ to $L^2(μ)$. We further prove that the sequences $a\in c_{00}$ satisfying $\sum_{n\ge1}a_n/\sqrt{n}=0$ form an operator core for the positive self-adjoint operator associated with the closure of $h_0$.

math.FA↗