Search arXivSearch

arXiv · 2208.06467

Projection constants for spaces of multivariate polynomials

Abstract

The general problem we address is to develop new methods in the study of projection constants of Banach spaces of multivariate polynomials. The relative projection constant $\boldsymbolλ(X,Y)$ of a subspace $X$ of a Banach $Y$ is the smallest norm among all possible projections on $Y$ onto $X$, and the projection constant $\boldsymbolλ(X)$ is the supremum of all relative projection constants of $X$ taken with respect to all possible super spaces $Y$. This is one of the most significant notions of modern Banach space theory and has been intensively studied since the birth of abstract operator theory. We focus on projection constants of Banach spaces of multivariate polynomials formed either by trigonometric polynomials $f(g)=\sum_{γ\in E} \hat{f}(γ) γ(g)$ defined on a compact topological group $G$, which have Fourier coefficients $\hat{f}(γ)$ supported in a finite set $E$ of characters; or analytic polynomials $P(z)=\sum_{α\in J}c_α(P)\,z^α$, which are defined on a Banach space $X_n = (\mathbb{C}^n, \|\cdot\|)$ and have monomial coefficients $c_α(P)$ supported in a finite set $J \subset \mathbb{N}_0^n$ of multi indices. Depending on the underlying structure (of the group, Banach space or index set), the goal is to prove precise formulas or asymptotically optimal estimates. Our general setting is flexible enough to handle a wide variety of Banach spaces of polynomials, including analytic polynomials on polydiscs, Dirichlet polynomials on the complex plane, and polynomials on Boolean cubes $\{-1,+1\}^n$. Moreover, we get an explicit formula for the projection constant of the space of trace class operators. The methods developed here enable us to prove new estimates for important invariants such as the unconditional basis constant and the Gordon-Lewis constant for Banach spaces of multivariate polynomials.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andreas Defant, Daniel Galicer, Martín Mansilla, Mieczysław Mastyło, Santiago Muro. 2022-08-12. Projection constants for spaces of multivariate polynomials. https://arxiv.org/abs/2208.06467

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

KEEP EXPLORING

Related papers

Fixed Point Rigidity of the Operator $Γ_pΠ_p^\ast$ and the LYZ Conjecture

We characterize the fixed points of the operator $Γ_pΠ_p^\ast$ for $n\geq 3$ and $1 0$ if and only if $K$ is an origin-centered ellipsoid, thereby settling the Lutwak--Yang--Zhang fixed-point conjecture in this range. Our proof is based on a variational analysis along linear reflection shadow systems. To address the nonlinear structure of the $L_p$ setting, we introduce the $L_p$-Projection Rolodex, which provides a dimensional reduction of the volume of the polar $L_p$-projection body to weighted lower-dimensional sectional functionals. A suitable change of variables, together with Ball's harmonic Prékopa--Leindler inequality, yields the convexity needed along the shadow system. Under the fixed-point condition, a first-variation identity then forces $\operatorname{vol}_n(Π_p^\ast K_t)$ to remain constant throughout the deformation. The rigidity statement follows from the equality characterization under Steiner symmetrization.

math.FA

Compactness of Toeplitz Operators on the Bergman Space

Let $φ\in L^\infty(\D)$. We study compactness criteria for \(T_φ\) on the Bergman space $A^2(\D)$. Axler and Zheng~\cite{AZ1998} established a necessary and sufficient condition for compactness in terms of the Berezin transform. For a general bounded measurable function $φ$, however, its Berezin transform $\tildeφ$ does not readily reveal the intrinsic properties of $φ$. Motivated by a characterization in terms of the symbol itself, Zhu~\cite{ZhuSlides} proposed a conjecture on compact Toeplitz operators. In this paper, we characterize compactness of $T_φ$ on the unweighted Bergman space in terms of local averages of the symbol. We prove that compactness is equivalent to the vanishing of averages over Bergman disks of any prescribed fixed radius. We also establish an equivalent criterion in terms of Carleson box averages that tend to zero uniformly in the angular variable. Finally, we construct a nonnegative bounded symbol whose Carleson box averages tend to zero at every fixed angle, although the associated Toeplitz operator is not compact.

math.FA

Order automorphisms of partial isometries in $M_n(\mathbb C)$

We investigate and characterize order automorphisms on the set of partial isometries in the finite-dimensional matrix algebra $M_n(\mathbb{C})$. Different from the classical order automorphisms of subspace lattices, which can be implemented by standard invertible or unitary transformations, the order automorphisms considered herein admit no such conventional matrix representations. Instead, they are essentially governed by matrices such that $I-(A+A^*)$ is either positive or negative invertible. The results reveal that the structural features of order automorphisms for partial isometries are substantially more intricate than those of classical subspace automorphisms.

math.FA