Search arXiv⌕ Search

arXiv · 2610.20355

Von Neumann Type Inequalities for NC Operator Balls

Abstract

We establish finite-dimensional von Neumann type inequalities for commuting matrix tuples in noncommutative operator balls. Let $Ω=\mathbb{D}_Q$ be the NC operator ball of a linear pencil $Q$ with linearly independent coefficients. If $Ω(1)$ admits a transitive subgroup of automorphisms with NC lifts and $Ω(1)$ has the bounded $H^\infty$-Gleason property at the origin, then $\|f(T)\|\leq C_{Ω,n}\|f\|_{H^\infty(Ω(1))}$ for every commuting tuple $T\inΩ(n)$, with $C_{Ω,n}=(2ρ_ΩK_Ω)^{n-1}$; here $K_Ω$ is the Gleason constant and $ρ_Ω$ is the sum of the suprema of the coordinate functions on $Ω(1)$. The scalar coordinate bounds persist at every matrix level. The hypotheses hold for products of row and column balls, where $ρ_Ω=d$, yielding an unconditional estimate $(2dK_Ω)^{n-1}$. For a general type I Cartan domain $R_{p,q}$, we obtain only a conditional result: the same bound holds provided the scalar domain has the bounded $H^\infty$-Gleason property at the origin, which we do not establish when $\min(p,q)\geq 2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ran Kiri. 2026-10-14. Von Neumann Type Inequalities for NC Operator Balls. https://arxiv.org/abs/2610.20355

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

KEEP EXPLORING

Related papers

The best Ulam constant of the n-th order linear differential operator with constant coefficients

Let $X$ be a Banach space over the field $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}$, and let $L:\mathcal{C}^{n}(\mathbb{R},X)\to\mathcal{C}(\mathbb{R},X)$ be the $n$-th order linear differential operator defined by $Ly := y^{(n)} + a_1 y^{(n-1)} + \cdots + a_n y$, where $a_1,\ldots,a_n \in \mathbb{K}$ are fixed scalars and $n$ is a fixed positive integer. It is well known that $L$ is Ulam stable if and only if its characteristic equation has no roots on the imaginary axis. In this paper, we determine the best Ulam constant of $L$ under this condition, for an arbitrary order $n$ and without any restriction on the multiplicities of the roots of the characteristic equation. This improves and completes several known Ulam stability results for this operator and provides the best estimate possible for the error between approximate and exact solutions of the equation $Ly=f$, where $f\in\mathcal{C}(\mathbb{R},X)$. Moreover, as an auxiliary result, we give an explicit formula for the general solution of this equation.

math.FA↗

The Sharp Scale Inequality for the Schatten Trace Class

In this paper, we establish the metric cotype $2$ inequality for the Schatten trace class $S_{1}$ at the optimal order of the scaling parameter. More precisely, for every integer $n\geq 1$, every even integer $m\geq 4$, and every mapping $f:\mathbb{Z}_{m}^{n}\to S_{1}$, the following holds \begin{align*} &\left(\sum_{j=1}^{n}\mathbb{E}_{x}\left\|f\left(x+\frac{m}{2}e_{j}\right)-f(x)\right\|_{1}^{2}\right)^{1/2}\\ \leq&\left(3\sqrt{70}\,m+6\sqrt{n}\right)\left(\mathbb{E}_{x,\varepsilon}\left\|f(x+\varepsilon)-f(x)\right\|_{1}^{2}\right)^{1/2}, \end{align*} where $x$ and $\varepsilon$ are independently uniform on $\mathbb{Z}_{m}^{n}$ and $\{-1,0,1\}^{n}$, respectively. The order $\sqrt{n}$ is necessary for any fixed metric cotype constant. This settles the optimal scaling problem for the Schatten trace class posed by Mendel and Naor \cite[Section 8]{MN} (see also \cite[Question 3]{GMN}).

math.FA↗

Non-Archimedean Heisenberg-Robertson-Schrodinger and Non-Archimedean Maccone-Pati Uncertainty Principles

Let $\mathcal{X}$ be a non-Archimedean Hilbert space over a conjugated non-Archimedean valued field $\mathbb{K}$ with $\operatorname{Char}(\mathbb{K})\neq 2$. Let $A: \mathcal{D}(A)\subseteq \mathcal{X}\to \mathcal{X}$ and $B: \mathcal{D}(B)\subseteq \mathcal{X}\to \mathcal{X}$ be possibly unbounded self-adjoint linear operators. For $x \in \mathcal{D}(A)$ with $\langle x, x \rangle =1$, define $ Δ_x(A):= \|Ax- \langle Ax, x \rangle x \|.$ Then for all $x \in \mathcal{D}(AB)\cap \mathcal{D}(BA)$ with $\langle x, x \rangle =1$, we show that \begin{align*} (1) \quad Δ_x(A)+Δ_x(B)\geq \max\{Δ_x(A), Δ_x(B)\}\geq \frac{\sqrt{\bigg|\big\langle [A,B]x, x \big\rangle ^2+\big(\langle \{A,B\}x, x \rangle -2\langle Ax, x \rangle\langle Bx, x \rangle\big)^2\bigg|}}{\sqrt{|2|}} \end{align*} and \begin{align*} (2) \quad Δ_x(A)+Δ_x(B)\geq \max\{Δ_x(A), Δ_x(B)\} \geq |\langle (A+B)x, y \rangle |, \quad \forall y \in \mathcal{X} \text{ satisfying } \|y\|\leq 1, \langle x, y \rangle =0. \end{align*} Inequality (1) may be regarded as a non-Archimedean analogue of the Heisenberg-Robertson-Schrodinger uncertainty principle, while Inequality (2) serves as a non-Archimedean analogue of the Maccone-Pati uncertainty principle.

math.FA↗