All Questions
186 questions
1
vote
1
answer
117
views
Lower bound for a commutator trace
I have this Hilbert space of square-integrable complex-valued functions on a square, $\mathbb{L}^2([0,1]^2)$. And let $M_x$, $M_y$, and $M_{x+y} = M_x+M_y$ be the operators of multiplication by the ...
- 121
9
votes
0
answers
163
views
Moore-Penrose partial isometries and hermitian elements
Let $A$ be a unital Banach algebra. An element $a \in A$ is hermitian if $\|\mathrm{exp}(ita)\|=1$ for every $t \in \mathbb{R}$. An element $a \in A$ is Moore-Penrose invertible if there exists $b \in ...
- 3,497
-6
votes
1
answer
180
views
An analog of Anderson's result in C* algebra setting [closed]
Let $\mathcal{A}$ be a unital $C^{*}$-algebra and $S(\mathcal{A})$ denote the states space of $\mathcal{A}$.
For $a\in \mathcal{A}$ , define $W(a) =\{\phi(a):\phi\in S(\mathcal{A})\}$
It's known that $...
- 307
3
votes
1
answer
116
views
Does a bounded positive modular sesquilinear form on a $C^\ast$-algebra induces an element of its multiplier algebra?
This is a question that originates from my attempt at this question. Specifically, for a $C^\ast$-algebra $A$, I am attempting to construct a map $\phi: A \times A \to A$ s.t.,
$\phi$ is sesquilinear,...
- 2,830
1
vote
1
answer
122
views
distance in the matrix algebra w.r.t. the nuclear norm
Let $\varphi\in\mathcal{M}_n(\mathbb{C})$ and let $Z:=\mathbb{C}\cdot I=\{zI\colon\,z\in\mathbb{C}\}$ be the one-dimensional subspace spanned by the identity matrix $I$. Let moreover $\|\cdot\|_{\...
- 375
4
votes
1
answer
251
views
Show that $\Lambda_\varphi(x_n)\to \Lambda_\varphi(x)$ for an nsf weight $\varphi$ on a von Neumann algebra
Let $\varphi$ be an nsf weight on a von Neumann algebra $M$. Fix a square-integrable element $x\in \mathscr{N}_\varphi$. Put
$$x_n := \sqrt{\frac{n}{\pi}}\int_{-\infty}^{+\infty} \exp(-nt^2) \sigma_t^\...
- 175
5
votes
1
answer
183
views
Question about modular group (Modular theory in operator algebras, section 2.14)
Consider the following fragment from Stratila's book "Modular theory in operator algebras", section 2.14, p20:
I'm trying to understand the claim $(3)$ (see the red box). The main strategy ...
- 175
0
votes
0
answers
57
views
Decomposition of a contractive representation into an orthogonal sum for the $n$-dimensional case. Has this been done yet?
I know that it has been done for the two-dimensional case. Marek Kosiek showed it in his work "Decomposition of operator representations of the algebra $R(K_1 \times K_2)$" and "...
- 63
6
votes
1
answer
255
views
Example/Existence of Positive Linear Functional which is NOT Hermitian
We know that if $\mathcal{A}$ is a unital $C^*$-algebra and if $f:\mathcal{A}\to\mathbb{C}$ is a positive linear functional then it is Hermitian. It simply follows from the fact that in $\mathcal{A}$ ...
- 173
1
vote
0
answers
176
views
Unitary operators in $\mathcal{U}(L^2(X,\mu))$ not coming from $\operatorname{Aut}(X,\mu)$
$\DeclareMathOperator\Aut{Aut}$Let $(X,\mu)$ be a measured space with probability measure $\mu$ and $\Aut(X,\mu)$ denote the group of measure preserving bijections of $(X,\mu)$. It is easy to see ...
- 105
0
votes
1
answer
118
views
Minimal norm problem whose unknown is an operator
Generally given an Hilbert space $X$ with and a bounded linear operator $H : X \to X$ given a vector $y \in X$ we seek an $x \in X$ such that
$$
f(x) = \frac{1}{2} \left\lVert Hx - y \right\rVert_2^2
$...
- 115
1
vote
0
answers
108
views
Infinite tensor product of Hilbert spaces [duplicate]
Recently while reading an article I came across the usage of infinite tensor product of Hilbert spaces. I have got a basic understanding of doing computations in infinite tensor product while reading ...
- 11
2
votes
0
answers
316
views
What are alternative or equivalent definitions of a positive-definite function on a group?
The standard definition of a positive-definite function on a group goes as follows:
Let $\varphi : G \rightarrow L(H)$, where $G$ is a group (with an involution) and $H$ a Hilbert space. $L(H)$ is the ...
- 63
1
vote
1
answer
284
views
A certainty principle?
Let $\mathcal{A}$ be a unital $\mathrm{C}^*$-algebra with $\varphi\in\mathcal{S}(\mathcal{A})$ a state. Where
$$\sigma_\varphi(a):=\sqrt{\varphi((a-\varphi(a)1_{\mathcal{A}})^2)}\qquad (a\in \mathcal{...
- 1,027
2
votes
1
answer
237
views
On spectral calculus and commutation of operators
Let $\mathcal{H}$ be a Hilbert space, $B\in\mathcal{B}(\mathcal{H})$ be bounded and self-adjoint and $A:\mathcal{D}(A)\to\mathcal{H}$ closed (but not necessarily self-adjoint or bounded). The ...
- 1,161
1
vote
1
answer
295
views
An example of non-invertible operator $F$ such that $P_nF$ is invertible on $\operatorname{Im}P_n$ or proving that It is impossible
Given:
$X$ - any Banach space
$F : X \to X$ (linear bounded and non-invertible)
$P_n$, which is projector that strongly converges to the identity operator $I$ as $n \to\infty$
Can you help me come ...
- 11
4
votes
0
answers
242
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
6
votes
0
answers
253
views
Are bounded groups of thin operators on Hilbert space similar to groups of unitaries?
QUESTION. Let $G$ be a group of bounded operators on $\ell^2$, satisfying $\sup_{x\in G} \lVert x\rVert <\infty$, whose elements are all of the form "identity+compact" (sometimes called &...
- 25.8k
-2
votes
1
answer
143
views
Relationship between noncommutative torus for different values of theta [closed]
Let $u,v\in B(L_2(\mathbb T))$ defined as $u(f)(z)=zf(z)$ and $v(f)(z)=f(ze^{-2\pi i\theta})$ for $z\in\mathbb T$ where $\theta\in\mathbb R\setminus\mathbb{Q}$. Denote the $C^*$ algebra generated by $...
- 1,879
1
vote
1
answer
180
views
Conditioning a $\mathrm{C}^*$-algebra state with infinite precision
This question (and a second part) have been asked at MSE and gone through two bounties without an answer. I have been beating my head at it for a while without success.
Let $\mathcal{A}$ be a unital $\...
- 1,027
5
votes
1
answer
199
views
Is the unit ball of $B(H)$ a Baire space (with the SOT)?
Let $H$ be a Hilbert space, and let $B(H)$ be the set of bounded linear operators $t \colon H \to H$. Recall that we say $t_i \to t$ in the strong operator topology if $t_i \xi \to t \xi$ for every $\...
- 733
3
votes
1
answer
185
views
Is the weighted shift strong frequently hypercyclic?
One sided Shift
Let be $M$ separable metric space. Consider $X=M^{\mathbb{N}}$ the sequence space equipped with the product metric $d(x,y)=\sum_{i=1}^\infty |x_i-y_i|/2^i$ . Define the shift map $\...
- 757
0
votes
1
answer
93
views
Does ${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\alpha_2 b ))$ imply that $l(a)l(b)=r(a)r(b)=0$?
Let $H$ be a Hilbert space and let $a,b\in B(H)$ be such that
$${\rm Tr}(l(a))={\rm Tr}(r(a))<\infty , {\rm Tr}(l(b))={\rm Tr}(r(b))<\infty,$$
$${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\...
- 617
1
vote
0
answers
89
views
Let $T\in B(H)$. Then prove that $T$ is a contraction if and only if the closed unit disc is spectral set for $T$
Let's first recall the definition of Spectral set for a bounded operator $T$ on a hilbert space $H$. Let $X\subseteq \Bbb{C}$ be compact such that $\sigma(T)\subseteq X$. Define $$\mathcal{R}(X):=\...
- 111
0
votes
0
answers
91
views
Proof of the isomorphism of the Toeplitz algebra and the algebra generated by the element and the relation
Please tell me where can I see the proof of this well-known fact?
enter image description here
1
vote
0
answers
85
views
Spectral projection with height less than $\lambda$
Let $x\geq 0$ be a positive element in a von Neumann algebra $\mathcal M.$ Then b y functional calculus the projection $e_\lambda=1_{[0.\lambda)}(x)$ has the property that $e_\lambda$ commutes with $x$...
- 1,879
1
vote
1
answer
195
views
Concrete example of non-norm-attaining bounded linear operator on disc algebra
A bounded linear operator $T$ from a Banach space $X$ to a Banach space $Y$ is called norm-attaining, if there exists a vector $x\in X$ with $\|x\|=1$ such that
$$\|Tx\|=\|T\|.$$
Let $\mathbb{D}=\{z\...
- 149
0
votes
0
answers
144
views
Type III von Neumann algebra
Let $\mathcal M$ be a type $\mathrm{III}$ von Neumann algebra. Is it true that for all $n\geq 1,$ $\mathcal M$ contains a copy of $M_n$ as a von Neumann subalgebra? By Theorem 9.24 of these lecture ...
- 1,879
1
vote
0
answers
123
views
On Riesz decomposition of Volterra operator
Let $T:L^2((0,1)) \to L^2((0,1))$ be the Volterra operator defined by
$$ Tf(x) = \int_0^x f(t)\,dt.$$
Given any $\lambda\neq 0$ it is well known that there exists some positive integer $n=n(\lambda)$ ...
- 4,135
1
vote
0
answers
76
views
Spectral measure for a finite set of mutually commuting normal operators
The following question is from Exercise $\S 11.11$ in A Course in Operator Theory written by John B. Conway:
Suppose $\{N_1, \cdots, N_p\}$ is a finite set of mutually commuting normal operators in $...
- 307
2
votes
0
answers
56
views
Existence of a suitable smooth kernel
Denote by $H=L^2([0,1])$ the Hilbert space of square integrable real valued functions on the interval $[0,1]$. Does there exist a nontrivial smooth real valued function $k$ on the unit interval such ...
- 4,135
2
votes
1
answer
226
views
Showing a 2-by-2 matrix is a contraction
Let $S\subseteq\mathbb{T}:=\{z\in\mathbb{C}:\vert z\vert=1\}$ be a compact set such that $\operatorname{conv}S\supseteq\{z\in\mathbb{C}:\vert z\vert\leq\frac{1}{\sqrt{2}}\}$ and $B\in M_2(\mathbb{C})$....
- 231
3
votes
1
answer
475
views
Extension of a bounded linear functional
Let $\mathcal{H}$ be a finite-dimensional Hilbert space and $\mathcal{A}\subseteq\mathcal{B(\mathcal{H})}$ be an operator system. Suppose $T_n$ is a collection of all $n$-by-$n$ matrices equipped with ...
- 231
2
votes
1
answer
179
views
Extension of the projective norm to a cross norm
Let $\mathcal{H}$ be a finite-dimensional Hilbert space and $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$ be an operator system. Is it possible to extend the projective norm (the greatest cross norm) ...
- 231
0
votes
1
answer
101
views
"Project" an operator outside of a von Neumann Algebra into it
Suppose $W$ is a proper von Neumann Algebra contained in $B(H)$ and the identity in $W$ is the identity mapping of $H$ (namely, $W$ does not have non-trivial null space).
Given a self-adjoint $T\in W$...
- 307
1
vote
0
answers
135
views
Description of state space of $C(K,M_n)$?
Edit: closed convex hull added.
I am trying to understand the state space of $C(K,M_n)=C(K)\otimes M_n$ for $K$ a compact space.
My guess would be that these are the closed convex hull of states on $C(...
- 598
7
votes
0
answers
192
views
Reduced group C*-algebra $C^*_r(\mathbb{Z}/2*\mathbb{Z}/2)$: norm of specific elements
Consider the free product of $\mathbb{Z}/2$ with itself with generators
$$
\mathbb{Z}/2*\mathbb{Z}/2=\langle u,v\mid u^2=1=v^2\rangle
$$
and regard its group $C^*$-algebra
$$
C^*(\mathbb{Z}/2*\mathbb{...
- 598
1
vote
0
answers
88
views
2-positivity to 3-positivity
Let $B\in M_3(\mathbb{C})$ and $S_3=
\begin{pmatrix}
0 & 1 & 0 \\
0 & 0 & 1 \\
0 & 0 & 0 \\
\end{pmatrix}
$. Suppose $I_3\otimes I_2+B\otimes X+B^*\otimes X^*\geq 0$ for all $2$...
- 231
4
votes
1
answer
246
views
Takesaki lemma 1.16 (volume II, chapter VII)
I am trying to understand the proof of the implication $(i)\implies (ii)$ in Takesaki's book "Theory of operator algebras II", chapter VII, which says the following:
The relevant setting ...
- 175
2
votes
0
answers
176
views
Projections in von Neumann algebra tensor product
Let $\mathcal M\subseteq B(\mathcal H)$ be a von Neumann algebra with normal faithful semifinite trace $\tau.$ Consider the von Neumann algebra $\mathcal N:=L_\infty([0,1])\overline{\otimes}\mathcal M$...
- 1,879
3
votes
1
answer
424
views
A trace inequality between self-adjoint operators
Let $A$ and $B$ be self-adjoint operators on some Hilbert space and $B$ is postive. Suppose we have $-B\leq A\leq B$.Is it true then that $\|A\|_p\leq\|B\|_p$ where $\|.\|_p$ is the Schatten-$p$ norm ...
- 1,879
3
votes
2
answers
135
views
Unicellular compact operators
An operator $T$ on a separable Hilbert space $H$ is called unicellular if any two closed invariant subspaces $M$ and $N$ are comparable; that is either $M\subseteq N$ or $N\subseteq M$. There are many ...
- 1,361
1
vote
0
answers
113
views
Is it true that $\omega = \sum_{(k,l)\in I^2}\omega(p_k - p_l)$
Let $\{p_i\}_{i \in I}$ be a collection of projections in a $C^*$-algebra $A$ such that $\sum_{i \in I} p_i = 1$ in the strict topology (note here that $1$ is the unit of the multiplier algebra $M(A)$)...
- 175
1
vote
1
answer
136
views
The closure of selfadjoint elements of an algebra whose spectrum consist of rational numbers
Let $H$ be a seperable complex Hilbert space. What is the closure of the set of all self adjoint operators in $B(H)$ whose spectrum is a subset of the rational number $\mathbb{Q}$.
Apart from finite ...
- 356
0
votes
1
answer
138
views
Antilinear unbounded operator has closed graph
Let $H$ and $K$ be Hilbert spaces and $D(T)$ a vector subspace of $H$. Let $T: D(T) \to K$ be a densely defined antilinear operator. Its adjoint $T^*: D(T^*)\to K$ is defined by the relation
$$\langle ...
- 175
1
vote
1
answer
118
views
Let $V$ be a TRO such that $A(V)= \mathbb{C}$, what can we say about $V$?
Let $V$ be a TRO i.e. closed subspace of $B(H,K)$ such that $xy^*z \in V$ for all $x,y,z \in V$. Let $C(V)$ and $D(V)$ denotes the $C^{\ast}$-algebra generated by $VV^{\ast}$ and $V^*V$ respectively. ...
- 1,115
2
votes
0
answers
267
views
Example of a unital contractive map that is not completely positive on an operator system
I am aware of maps that are positive but not completely positive (for example transpose map). BUT I can not think of an example of the following type.
Does there exist an operator $T$ such that a map $...
- 231
3
votes
1
answer
255
views
Takesaki: Lemma about enveloping von Neumann algebra
Consider the following lemma with proof from Takesaki's book "Theory of operator algebra I" (p121):
It appears to me that Takesaki claims at the end of the proof that $\pi(A)_1$ is $\sigma$-...
- 175
3
votes
0
answers
179
views
Stinespring's theorem: can we choose the dilation to be an isometry?
Let $A$ be a $C^*$-algebra and $\varphi: A \to B(H)$ be a completely positive contractive map. Stinespring's theorem says that there exists a $*$-representation $\pi: A \to B(H')$ and a bounded ...
- 175
6
votes
2
answers
269
views
Minimal injective extension is rigid
Let $V$ be an operator system.
Definition 1: A pair $(W, \kappa)$ is called extension of $V$ if $W$ is an operator system and $\kappa: V \to W$ is a unital complete isometry.
Definition 2: An ...
- 175