**35**

votes

**0**answers

1k views

### Set-theoretic reformulation of the invariant subspace problem

The invariant subspace problem (ISP) for Hilbert spaces asks whether every bounded linear operator $A$ on $l^2$ (with complex scalars) must have a closed invariant subspace other than $\{0\}$ and ...

**28**

votes

**1**answer

2k views

### tr(ab)=tr(ba), part 2.

This is a Banach space version of Andre Henriques' question
Trace Question
for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...

**16**

votes

**2**answers

1k views

### The letters of the word “ART”

Edit: According to the Gelfand duality between topological spaces and commutative $C^{*}$algebras, I add some new tags. So the question is that what is the structure of $ Ext (A,A)$ where $A$ is ...

**15**

votes

**4**answers

861 views

### Who first used the multiplication operator version of spectral theory

This is another history question.
Hilbert phrased the spectral theorem in terms of resolutions of the identity.
While this remained the form of Stone and von Neumann, they did also have the ...

**14**

votes

**5**answers

876 views

### How far is a set of vectors from being orthogonal?

Given some vectors, how many dimensions do you need to add (to their span) before you can find some mutually orthogonal vectors that project down to the original ones?
Or, more formally...
Suppose ...

**14**

votes

**1**answer

631 views

### Convexity of spectral radius of Markov operators, Random walks on non-amenable groups

Let $P_1,P_2$ denote stochastic transition matrices on a countable set $I$.
Consider $P_1,P_2$ as operators on $\ell^2(I)$ given by multiplication.
Question
Under which conditions can we show that ...

**13**

votes

**2**answers

707 views

### Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?

Let $X$ and $Y$ be Banach spaces. The notion of the embedded spaces was introduced by D.S. Djordjevic. Say that $X$ embed in $Y$, and write $X \preceq Y$, if there exists a left invertible operator ...

**13**

votes

**1**answer

387 views

### Is the space of Hankel operators complemented in B(H)?

Let $H$ be $\ell^2({\mathbb N})$ and let $S:H\to H$ be the unilateral forward shift, so that $S^*S=I\neq SS^*$. Then a bounded operator $T:H\to H$ is Hankel if and only if it satisfies $TS=S^*T$.
Let ...

**12**

votes

**1**answer

585 views

### Are “most” operators on an infinite-dimensional complex Banach space “diagonalizable”?

This is true for finite-dimensional spaces: the diagonal operators on a finite dimensional complex vector space form contain a dense open set and the nondiagonalizable operators have measure 0.
To be ...

**12**

votes

**1**answer

439 views

### Which nice/deep elaborations on the (operators <-> sheaves) / (endomorphisms <-> objects) theme are there?

A linear operator $T:V\to V$ on a (say) vector space over a field $k$ is just a $k[T]$-module, and may be viewed as the sheaf $\mathscr F_T$ over $\mathbb A^1_k$, with fibre over $\lambda\in k$ equal ...

**11**

votes

**2**answers

585 views

### Homotopy groups of Fredholm operators

If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that
$$ \pi_0(\mathcal{F}) = \mathbb{Z}\, , $$
i.e. the connected ...

**11**

votes

**1**answer

550 views

### Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?

This post is an appendix of this one.
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is ...

**11**

votes

**1**answer

383 views

### What happens if we rotate the kernel of an integral operator?

Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...

**11**

votes

**1**answer

756 views

### Decomposition of positive definite matrices.

It is known that a $n^2 \times n^2$ positive semidefinite matrix $A$ cannot always be written as a finite sum
$$
A=\sum_{j} B_j \otimes C_j
$$
with $B_j$ and $C_j$ positive semidefinite matrices (of ...

**10**

votes

**3**answers

2k views

### When is an integral transfrom trace class?

Given a measure space $(X, \mu)$ and a measurable integral kernel $k : X \times X \rightarrow \mathbb{C}$, the operator
$$ K f(\xi) =\int_{X} f(x) k(x,\xi) d \mu(x),$$
the operator $K$ is Hilbert ...

**10**

votes

**3**answers

1k views

### Projections in Banach spaces

Dear All,
I am absolutely lost in the following problem:
Let $P_s, \: s \in [0,1],$ be a uniformly bounded family of projections (idempotents) in a Banach space $X$ such that $P_s P_t = P_{{\rm ...

**10**

votes

**3**answers

253 views

### Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?

Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...

**10**

votes

**2**answers

1k views

### How to transform matrix to this form by unitary transformation?

Without loss of gernerality, we can only consider $n$-dimensional diagonal matrix $M$ whose elements are all nonnegative, i.e.
$$M=\operatorname{diag}(m_1,m_2,\cdots,m_n)\ (m_i \geq 0).$$
Then is ...

**10**

votes

**0**answers

371 views

### Functional calculus of unitary matrices and commutator norms: reference request

Suppose we have a normal matrix $A$ and a general matrix $B$.
For a continuous function $f$ on the disk we can find upper-bounds
on $\Vert[f(A),B]\Vert$
in terms of $\Vert[A,B]\Vert$. The more we know
...

**9**

votes

**5**answers

564 views

### If two projections are close, then they are unitarily equivalent

Given two projections $p,q\in B(H)$, it is well-known that if $\|p-q\|<1$, then there exists a unitary $u\in B(H)$ with $q=upu^*$.
The proof that immediately occurs to me uses comparison of ...

**9**

votes

**2**answers

421 views

### Continuity of the product map

Let $A$ be a $C^*$-algebra.
Is it possible to characterize $A$ for which the product map defined by
$$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$
is continuous with ...

**9**

votes

**1**answer

690 views

### Quasi-nilpotent trace class operators as limits of nilpotents

In as yet unwritten work with T. Figiel and A. Szankowski we make an observation in a Banach space context that for Hilbert spaces reduces to:
If $T$ is a quasi-nilpotent (i.e., has only $0$ in its ...

**9**

votes

**2**answers

389 views

### Is $\mathcal{B}^{\mathbb{Z}}(l^\infty(\mathbb{Z}))$ a commutative algebra?

Consider $l^\infty(\mathbb{Z})$ the Banach space of bounded complex valued functions on the abelian group $\mathbb{Z}$ with the supremum norm. It has a natural action by $\mathbb{Z}$ given by ...

**9**

votes

**1**answer

336 views

### A version of von Neumann inequality

Assume that $X,Y,Z$ are three commuting operators acting in a Hilbert space $H$. Assume also that they satisfy following properties:
1) $\|Z\| \le 1$, i.e. $Z$ is a contraction;
2) For any complex ...

**8**

votes

**1**answer

387 views

### How much does the absolute value of an operator behave like an absolute value?

Recall that the absolute value of a bounded operator $T$ on a Hilbert space $H$ is the unique positive operator $|T|$ such that $$\||T|x\|=\|Tx\|$$ for all $x\in H$. It can be defined using the ...

**8**

votes

**2**answers

713 views

### Mathematical equivalent to ladder operators?

A powerful method in theoretical physics are ladder operators. They are used in QM to solve problems like the harmonic oscillator and the hydrogen atom. The idea is to solve with their help the ...

**8**

votes

**1**answer

450 views

### Is there an algebra for divergent series summation operators?

Let $D$ denote a divergent series and let $C$ denote a convergent series.
Furthermore, let $s : $ { Series } $\to$ $\mathbb{C}$ be a regular, linear divergent series operator, which is either one ...

**8**

votes

**1**answer

208 views

### Fredholm theory on Fr\'echet spaces

Dear everybody,
In my study of the classial Fredholm theory on Banach spaces, I am interested in the corresponding Fredholm theory on Fr\'echet spaces. But it seems to me that there is
little ...

**8**

votes

**2**answers

580 views

### Decomposition of an integral operator into a composition

I've been musing about the following question for a while now. Given an integral operator $G$ defined by
$$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$
Is it possible to decompose this into two separate ...

**7**

votes

**1**answer

476 views

### What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific:
Definition. Let $H$ be an ...

**7**

votes

**1**answer

214 views

### Is there a nice “minimum” of two symmetric operators?

Let $A$ and $B$ be two bounded symmetric positive operators in Hilbert space, such that $A-B$ is trace class. If needed, $A$ and $B$ may be assumed reasonably "small", let's say, Hilbert-Schmidt.
...

**7**

votes

**0**answers

200 views

### Unital $C^{*}$ algebras which all elements have path connected spectrum

A unital $C^{*}$ algebra is called "Path connected" if the spectrum of all its elements are path connected.
Is the tensor product of two path connected algebra, a path connected algebra?(For ...

**6**

votes

**6**answers

1k views

### Is there an analog of determinant for linear operators in infinite dimensions as that of finite dimensions?

I am trying to find out the essence of what a determinant is. Besides, in finite dimensions, determinant is the kind of numerical invariant that determines the invertibility of a linear operator, but ...

**6**

votes

**3**answers

468 views

### Invertible operator with countable spectrum

Let $H$ be a separable Hilbert space and $A$ is an invertible bounded operator on $H$. Can we approximate $A$ with an invertible operator $B$ such that $sp(B)$ is a countable set?
Motivation:
...

**6**

votes

**2**answers

318 views

### Can the boundedness of $A^2$ imply the boundedness of $A$?

Given an operator $A \in \mathcal L(B)$, $B$ being a Banach space, I came across the following question: assume $\mathrm{dom}(A)=\mathrm{range}(A)$, $\mathrm{dom}(A)$ dense in $B$.
Under which ...

**6**

votes

**2**answers

271 views

### Non strictly-singular operators and complemented subspaces

If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...

**6**

votes

**1**answer

228 views

### Extending compact operators

Let $X$ be a separable, infinite-dimensional complex Banach space and $Y\subseteq X$ an infinite-dimensional closed subspace. Suppose $K:Y\to X$ is an arbitrary compact operator. I would like to ...

**6**

votes

**2**answers

279 views

### Expression of a non-orthogonal projection in a $C^*$ algebra via an orthogonal one

A paper I'm currently reading uses the following fact. If $A$ is a unital $C^*$-algebra, $P=P^2\in A$, then there are $T, F\in A$ s.t. $F$ is an orthogonal projection ($F=F^*=F^2$) and
...

**6**

votes

**1**answer

278 views

### A doubt about the parts of the spectrum of tensor products

Let $\mathcal{H}$ be any complex Hilbert space of infinite dimensional. By an operator $T$ I mean a linear bounded transformation from $\mathcal{H}$ into $\mathcal{H}$, i.e, ...

**6**

votes

**2**answers

338 views

### Extension of weakly compact operators from $\ell_1$ into $c_0$

Is every weakly compact operator from $\ell_1$ into $c_0$ extendible
to any larger space? Equivalently, is every weakly compact operator from $\ell_1$ into $c_0$ extendible to $\ell_\infty$?

**6**

votes

**1**answer

198 views

### Absolutely 2-summable operator on a Hilbert space

An bouneded linear operator $A \in L(X, Y)$ (here $X$, $Y$ are Banach spaces) is called absolutely $2$-summable if there exists a $C>0$ such that
$$ \left( \sum_{j=1}^N \| A x_j\|_X^2 \right)^{1/2} ...

**6**

votes

**1**answer

265 views

### Domains of raising and lowering operators in QM

Let $H : \operatorname{dom}(H) \subset L^2(\Omega) \rightarrow L^2(\Omega)$, where $dom(H) \subset H^2(\Omega)$, $\Omega \subset \mathbb{R}$ should be a bounded open interval(so 1-d setting(!)) and ...

**6**

votes

**1**answer

282 views

### An indicator of a planar subset as an element of a tensor product

Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that
$$
f^2=f
$$
(that ...

**6**

votes

**0**answers

96 views

### How to take this Grassmann integral?

I'm trying to reconstruct and understand what is explained in a paragraph of this paper. I am trying to check if the method they describe actually gives us the Laughlin state. The integral I'm facing ...

**6**

votes

**0**answers

236 views

### What is the intersection of the closures of left invertible operators and right invertible operators?

From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that
$$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = ...

**5**

votes

**2**answers

188 views

### Two-sided ideals of $B(H)$ are hereditary

I seem to recall that (not necessarily closed) two-sided ideals of $B(H)$ are hereditary. Is that true?
If it is, can anyone post a proof/reference?

**5**

votes

**3**answers

680 views

### Why do we distinguish the continuous spectrum and the residual spectrum?

As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension.
If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...

**5**

votes

**1**answer

429 views

### A problem in functional calculus

This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...

**5**

votes

**2**answers

210 views

### Is a semigroup always an exponential?

Let $H$ be a Banach space, $\mathscr{B}(H)=\{T:H\to H: \text{where $T$ is a bounded linear operator}\}$, and $S:[0,\infty)\to \mathscr{B}(H)$, a map with the following properties:
$$
S(0)=I, \quad ...

**5**

votes

**1**answer

285 views

### Strongly convergent operator sequence

Let $T_j$ be a sequence of compact operators on a Hilbert space $H$ which converges strongly to the identity, i.e., for each $v\in H$ the sequence
$$
\parallel T_jv-v\parallel
$$
tends to zero. Is it ...