On necessary and sufficient conditions for rationality of operator norm bounds in measure spaces

Abstract

Norm bounds are useful properties of operators with interesting applications in operator algebras and quantum mechanics. Rationality of these norm bounds is very important in the study of operators in measure spaces. As a function of the perimeter $s,\mathcal{L}_{\mu }(s)$ is differentiable, nonincreasing, convex on $(0,\infty )$, and tends to $\mu (\{0\})$ as $s\rightarrow \infty $ and to $\mu ((-1,1))$ as $s\rightarrow +0.$ In this presentation, we show that for all $n\in N $, $$\displaystyle{\underline{\mathcal{B}} (n;q,\mu ):=b_{n}\mathcal{L}_{\mu }^{1/q}(nq)\leq \mathcal{B} (n;q,\mu )\leq} \displaystyle{\mathcal{B}_{n}\mathcal{L}_{\mu }^{1/q}((n-0.1)q)}\displaystyle{=:\overline{\mathcal{B}} (n;q,\mu )},$$ where $\displaystyle{b_{n}:=\frac{(n+0.1)^{0.1}}{2^{n}n!}}$, $\displaystyle{\mathcal{B}_{n}:=\frac{1}{2^{n}(n-0.1)^{0.1}(n-1)!}}$. Moreover, we give various new conditions for rationality of operator norm bounds in measure spaces.