New answers tagged

-2

"My posts were hidden. They were deleted 6 hours ago by YCor, S. Carnahan" Hi YCor, S. Carnahan. Good news. This will be my last post. Below is the question being asked. The answer is the overlap of multi-logics, each represented by a null set; that is how much. In short, measurement precision is improved by overlapping logics; each having a null set. ...


1

In "On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space (1966)", R. G. Douglas proved the following result (Theorem 1 in the paper): Theorem. Let $C$ and $D$ be bounded linear operators on a real or complex Hilbert space $\mathcal{H}$; then the following are equivalent: (i) $C\mathcal{H} \subseteq D \mathcal{H}$. (ii) There ...


4

It's not true. For simplicity, suppose $A$ is unital, so that its spectrum is compact Hausdorff. If $X$ is a compact Hausdorff space and $C(X)$ is separable, then you can show that $X$ is second countable. (Let $\{f_k\}$ be a countable dense subset of $C(X)$, and $\{U_n\}$ a countable basis of open sets in $\mathbb{C}$; then the countable collection of ...


1

For separable von Neumann algebras the Haagerup property for $N$ is equivalent to the existence of a real closable derivation $\delta$ such that $\delta^*\delta$ has compact resolvents in $\mathcal B(L^2(N))$. This is true even in the non-tracial case. See Theorem 7.7 in: Martijn Caspers, Adam Skalski, The Haagerup Approximation Property for von Neumann ...


2

The problem is still ill-posed, because the set of nilpotent bounded operators is not a vector space. (The sum of two nilpotents need not be nilpotent.) Let's interpret the question as: which algebras admit faithful representations as algebras of nilpotent bounded operators? Note that "nilpotent" usually means $T^n = 0$ for some $n$, not $T^2 = 0$. But ...


11

Pisier https://arxiv.org/abs/1908.02705 very recently constructed a non-nuclear $C^\ast$-algebra $A$ with the weak expectation property (WEP) and the local lifting property (LLP). By a celebrated result of Kirchberg (see Corollary 13.2.5 in Brown and Ozawa's book) it follows that if $B$ has WEP and $C$ has LLP, then $B\otimes_{\max{}} C = B\otimes_{\min{}} C$...


5

Go to the Fourier transform picture. Then these become the operators that commute with multiplication by exponentials, which means they commute with all multiplication operators, which means you have just described the operators which become multiplication operators when you conjugate by the Fourier transform.


3

I think there are some subtle points here about what the "right action" even means. For a general $*$-algebra $A_0$ and a functional $\phi:A_0\rightarrow\mathbb C$, we first of all have to decide what "positive" means for $\phi$. We could take this as being $\phi(a^*a)\geq0$ for all $a$. Then Cauchy-Schwarz holds and we can form $L^2(A_0,\phi)$. Why, ...


Top 50 recent answers are included