Search arXivSearch

arXiv · 2609.12357

Nonexistence of Approximately Dual Frames via Weighted Composition Operators

Abstract

Reconstruction from the coefficients of a frame often requires a dual frame, and the canonical dual is obtained by inverting the frame operator, which is rarely available in a closed form. It is therefore natural to ask whether the duality can instead be implemented by an operator of prescribed form. We study this problem in the context of weighted composition operators on Hardy and Bargmann-Fock spaces. We first characterize those weighted composition operators which carry a frame together with a dual of it to another such pair. We then prove that if the image of a frame under a weighted composition operator is itself a dual frame, then such an operator is a positive scalar multiple of the identity and the frame is tight on both Hardy and Bargmann-Fock spaces. Relaxing duality to approximate duality, we show that on the Hardy space, composition is still forced to be the identity under mild regularity for the weight function. Approximate tightness, however, fails completely. On the Bargmann-Fock space, the situation is rigid: such an approximate dual exists precisely when the ratio of the optimal frame bounds does not exceed an explicit sharp threshold determined by the prescribed error.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Trevor Camper, Dongwei Chen, Shuang Guan. 2026-09-11. Nonexistence of Approximately Dual Frames via Weighted Composition Operators. https://arxiv.org/abs/2609.12357

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

KEEP EXPLORING

Related papers

Conditional expectation operators on $C(X)$

At the COSAEF conference in 2021, several participants asked the question whether a conditional expectation operator in the sense of Kuo, Labaushagne and Watson could be constructed in vector lattices other than $\mathcal{L}_p$ spaces and in particular in $C(X)$. This work answers positively to this question and participates in an old discussion on integrals in $C(X)$ space.

math.FA

Hypercontractivity for a family of quantum Ornstein-Uhlenbeck semigroups

We show that a family of quantum Ornstein-Uhlenbeck semigroups is hypercontractive. We also obtain the optimal order of the optimal time up to a constant. The main ingredient of our proof is Meixner polynomials. The goal of this paper is twofold: to provide more examples of hypercontractive quantum Markov semigourps on non-tracial von Neumann algebras, and to determine the optimal order of the optimal time for quantum Ornstein-Uhlenbeck semigroups.

math.FA

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