Open problems raised during the Workshop in Analysis and Probability

July-August 2008

Get this document as a DVI file | PS file | PDF file

Problem lists from previous years: 2007 | Older 1 | Older 2

The problems here were either submitted specifically for the purpose of inclusion in this list, or were taken from talks given during the Workshop in Linear Analysis and Probability.

Problem 1 (Submitted by Yun-Su Kim)
Let

and

be abstract operator spaces. Is

dense in

Problem 2 (Submitted by Bentuo Zheng)
Let $1 < p < \infty$ and

be a separable reflexive Banach space. Assume that

satisfies an asymptotic lower- $\ell_p$ -tree estimate, and that $T : \rightarrow Y$ is a bounded linear operator that satisfies an asymptotic upper- $\ell_p$ -tree estimate. Does

factor through a subspace of a reflexive space with an asymptotic $\ell_p$ FDD?

Problem 3 (Submitted by Rachid El Harti)
Let

be any non-simple

-algebra. Is there a non-trivial pro-

-algebra structure for

Problem 4 (Submitted by Rachid El Harti)
Let

be a non-trivial, non-commutative unital pro-

-algebra. Is there a non-unital

-algebra

such that

is the multiplier algebra of

Problem 5 (Submitted by Rachid El Harti)
Let

be a pro-

-algebra that is the bounded part of the inverse limit of a system of

-algebras $(A_\alpha)_{\alpha\in I}$ . If each $A_\alpha$ is RR0, is

necessarily also RR0?

Problem 6 (Submitted by Hector Salas)
Let

be an infinite dimensional Hilbert space, and let $\mathcal H_H$ denote the subclass of $\mathcal L(H)$ consisting of the hypercyclic operators on

Let $\sigma\subset \mathbb{C}$ be compact such that each component intersects the unit circle $\mathbb{T}=\{\lambda \in \mathbb{C}:\vert\lambda\vert=1\}.$ Must there exist $T\in \mathcal H_H$ such that its spectrum $\sigma(T)=\sigma$ ? More generally, for each infinite dimensional separable Banach space

characterize those $\sigma$ for which there exists $T\in \mathcal H_X$ with $\sigma=\sigma(T).$

Problem 7 (Submitted by Hector Salas)
Let

be an infinite dimensional separable Banach space such that its dual

is also separable. An operator $T\in \mathcal H_X$ is dual hypercyclic if $T\in \mathcal H_{X^*}$ (such operators exist). Identify the compact subsets of $\mathbb{C}$ which are the spectra of dual hypercyclic operators.

Problem 8 (Submitted by Hector Salas)
Let

be a topological space such that multiplication is a continuous mapping $\mathbb{T}\times X \mapsto X, (\lambda,x) \mapsto \lambda x$ with

and $(\lambda \mu)x=\lambda(\mu x).$ What are the conditions on

and $T:X\mapsto X$ continuous for which $\lambda T$ has a dense orbit for each $\lambda \in \mathbb{T}?$ Although the question so posed is quite vague, a particularly interesting case is the infinite torus $X= \mathbb{T}\times \mathbb{T} \times ...$

Problem 9 (Submitted by Simon Cowell)
For a separable Banach space

has

implies that

has

. Under what extra hypotheses on

are they equivalent? In particular, are they equivalent provided that

does not contain $\ell_1$ ?

Problem 10 (Submitted by Deping Ye)
Let the Hilbert space to be $H=\mathbb{C}^2\otimes \mathbb{C}^2$ . What is the exact Hilbert-Schmidt volume of separable states on

? What is the exact Bures volume of Separable states on

Problem 11 (Submitted by Stephen Dilworth)

(a): For which smooth Banach spaces do the XGA and/or the DGA converge?
(b): Do these algorithms converge in uniformly smooth spaces?
(c): Does the XGA converge in (or even $\ell_p$ ) for $1 < p < \infty$ , $p \not= 2$ ?
(d): Does the XGA converge in ( $1 < p < \infty$ , $p \not= 2$ ) when the dictionary is the Haar system?

(see Weak convergence of greedy algorithms in Banach spaces by S. J. Dilworth, Denka Kutzarova, Karen Shuman, V. Temlyakov, and P. Wojtaszczyk, to appear in J. Fourier Anal. Appl.)

Problem 12 (Submitted by Piotr Nowak)
Let

be a finitely generated group. Knowing that the fundamental class

vanishes in

for

of growth slower than linear, does there exist an aperiodic tiling of

? (see J.Block, S.Weinberger, JAMS 1992 5 (4) pp. 907-918. for the case

const).

Problem 13 (Submitted by Piotr Nowak)
Let

be a finitely generated group. Is there a growth type $\phi$ sufficiently slow such that for any

, if the fundamental class vanishes in

for

slower than $\varphi$ then it vanishes in

for

const?

Problem 14 (Submitted by Brett Wick)
Give an intrinsic characterization of the set of functions

such that $d\mu_f = \vert f\vert^2dA$ is $\mathcal{D}$ -Carleson.

Problem 15 (Submitted by Antoine Flattot)
Does the Bishop operator have an invariant subspace for every irrational number?

Problem 16 (Submitted by Miguel Martín)

Find more sufficient conditions for a set to be SCD. For instance, if has a 1-symmetric basis, is an SCD set?
Let be a Banach space with unconditional basis. Is SCD?
Let and be SCD spaces. Are $X \otimes_\varepsilon Y$ and $X\otimes_\pi Y$ SCD?
If and are SCD operators, is SCD?
If $T:X\rightarrow Y$ is an SCD operator, is there an space such that factors through ?

Problem 17 (Submitted by Stefan Richter)
Characterize the extremals for the families of

-commuting contractions,

-contractions and

-isometries.

Problem 18 (Submitted by Lawrence Fialkow)

(a)

For the truncated moment problem in the plane (2 real variables), it is known that if the degree of the problem is 2, then there is a representing measure if and only if the moment matrix for the data,

, is positive semidefinite. If the degree is 6, it is known that there are examples where the moment matrix,

, is positive definite, but there is no measure. If the degree is 4 and the moment matrix,

, is positive definite, is there a representing measure?

(b)

Suppose

is a real polynomial with $\deg p(x,y) = 2$ , and suppose the restriction of

to the closed disk, $p\vert D$ , is positive. It can be shown that

is of the form

$\displaystyle p = r + (1-x^{2}-y^{2})s,$

(*)

where

and

are each sums of squares of polynomials of degree at most 1. It is known that for

, there are polynomials

of degree 6, with $p\vert D$ positive, such that in any representation of

as in (*), the degree of some summand in the sums of squares has degree

. Does there exist

, such that if $\deg p = 4$ and $p\vert D$ is positive, then

admits a representation (*) where each summand has degree at most

Problem 19 (Submitted by Søren Eilers)

(a): Understand why the -web is sufficient for classifying Cuntz-Krieger algebras in spite of their ideal lattice being non-linear.
(b): Augment the invariant to arrive at a complete classification of purely iinfinite -algebras with finitely many ideals.
(c): Classify the sofic -gap shifts.

Problem 20 (Submitted by Chris Phillips)

(a): Let $D \subseteq A_0 \subseteq A_1 \subseteq \dots$ . Assume that is a MASA in for all . Doest it follow that is a MASA in the direct limit of the 's?
(b): What is $\Gamma_{M_n}(D_n)$ (i.e. the commutation constant of the $n\times n$ diagonal matrices in the $n\times n$ matrices)?
(c): Let be a unital -algebra, and let $D \subseteq A$ be a ``good'' MASA. Does it follow that $\Gamma_A(D)=1/2$ ? Does it follow that $\Gamma_A(D)\le 1$ ?

Problem 21 (Submitted by Jesse Peterson)
If $L(\Gamma_1) \simeq L(\Gamma_2)$ , $C^*_r(\Gamma_1) \simeq C^*_r(\Gamma_2)$ then do we have that $\beta^(2)_1(\Gamma_1)=0$ if and only if $\beta^(2)_1(\Gamma_2)=0$ ?

Problem 22 (Submitted by David Sherman)

(a): (Dixmier) Let $\pi,\rho : A \rightarrow \mathcal{B}(H)$ be two representations of a -algebra such that $\phi(x)$ is unitarily equivalent to $\rho(x)$ for all in . Are and equivalent?
(b): Does locally inner imply inner for a separable -algebra ?
(c): Are the concepts of $\kappa$ -local innerness different for -algebras?

Problem 23 (Submitted by Ilijas Farah)

(a): Assuming CH or Martin's axiom, there exist an ultrafilter $\mathcal{U}$ such that $F_{\mathcal{U}}(\mathcal{B}(H))=\mathbb{C}$ . Can we remove the axioms?
(b): Does there exist a nonprincipal ultrafilter $\mathcal{V}$ on $\mathbb{N}$ such that $F_{\mathcal{V}}(\mathcal{B}(H))=\mathbb{C}$ ?
(c): What can be said about the structure of $F_{\mathcal{V}}(\mathcal{B}(H))$ in general?
(d): Is $F_{\mathcal{U}}(\mathcal{B}(H))\not=\mathbb{C}$ equivalent to $\mathcal{V}$ is flat?

Problem 24 (Submitted by Narutaka Ozawa)

(a): Is there a von Neumann algebra that fully remembers the group action?
(b): Is there a von Neumann algebra that fully remembers the group?
(c): Is $vN(\mathbb{F}_r) \ncong vN(\mathbb{F}_s)$ for $r\not= s$ ?

For further submissions or corrections, send an email to
jcdom@math.tamu.edu

Menu

Featured programs

Open problems raised during the Workshop in Analysis and Probability

Open problems raised during the Workshop in Analysis and Probability