arXiv Science⌕ Search

arXiv · 2610.33821

Banach-Cesaro positive operator-valued measure

Abstract

We construct a family of bounded, finitely additive, covariant positive operator-valued measures (POVMs) on the real line by applying generalised Banach-Cesaro asymptotic averaging to locally finite covariant POVMs. In contrast to the strictly shift-invariant case, where countably additive operator measures are restricted to scalar multiples of a single fixed operator, the introduced covariant setting allows for non-commuting averaged operator values while successfully normalising the total mass. We develop an integration theory for complex-valued functions by taking the completion of simple integrable functions with respect to the continuous operator norm induced by the positive integral of their absolute values. The integration spaces for the original and the averaged measures are shown to possess distinct null classes. Finally, we introduce the operator-valued Fourier transform on these integration spaces and analyze the core algebraic constraints imposed by the covariance property on the exponential multipliers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sviatoslav V. Dzhenzher. 2026-10-24. Banach-Cesaro positive operator-valued measure. https://arxiv.org/abs/2610.33821

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

KEEP EXPLORING

Related papers

An $L^p$ Version of Raeburn's Symmetric Imprimitivity Theorem

Let $1\leq p<\infty$. We prove an $L^p$-operator analogue of Raeburn's symmetric imprimitivity theorem for countable discrete groups. Let $A$ be an $L^p$-operator algebra with a contractive two-sided approximate identity, admitting a nondegenerate isometric representation on a $σ$-finite $L^p$-space. Given commuting free and proper actions of groups $G$ and $H$ on a second-countable locally compact Hausdorff space $Z$, together with commuting isometric actions on $A$, we show that the two corresponding full crossed products, and likewise the two reduced crossed products, are Morita equivalent as Banach algebras. The proof is organized through the linking groupoid. Its main analytic ingredient is a coefficient-valued spatial matrix dilation; in the reduced case we prove that this dilation preserves regularity after a Borel reindexing of the opposite corner. A pairing-valued approximate identity yields fullness and nondegeneracy.

math.FA↗

A Bounded Closed Convex Set in $c_0(\mathbb{C})$ without Modulus Support Functionals

We construct a bounded closed convex set in $c_0(\mathbb{C})$ on which no nonzero continuous complex-linear functional attains its maximum modulus. Consequently, this answers in the negative the two longstanding questions raised by Deville, Godefroy and Zizler in \cite[p. 35]{DGZ}. The construction uses a small perturbation of the identity on $c_0(\mathbb{R})$.

math.FA↗

Rigidity of Exact Contractivity in the Complex Polynomial Bohnenblust--Hille Inequality

The complex polynomial Bohnenblust--Hille inequality bounds the coefficient $\ell_{2m/(m+1)}$ norm of a complex $m$-homogeneous polynomial by its supremum norm, with a constant independent of the number of variables. For each fixed integer $N\ge3$, we characterize the choices of $N$ degree-$m$ monomials for which the inequality holds with optimal constant $1$ for every polynomial supported on them, provided $m$ exceeds an explicit threshold depending only on $N$. This holds precisely when their exponent vectors contain no nontrivial three-term arithmetic progression; equality for a nonzero polynomial then holds only for monomials. We also prove that, in the same degree range, every polynomial with at most $N$ nonzero coefficients that violates the constant-one inequality has a unique coefficient of maximal modulus, whose exponent is the center of such a progression in its support. Exact contractivity also follows from a comparability condition on the two largest coefficients, with a degree threshold that necessarily depends on the number of nonzero monomials.

math.FA↗