On density of transitive operator algebras

In this paper we study the transitive algebra question by considering the invariant subspace problem relative to von Neumann algebras. We prove that the algebra (not necessarily ∗) generated by a pair of sums of two unitary generators of L(F_∞) and its commutant is strong-operator dense in B(H). The relations between the transitive algebra question and the invariant subspace problem relative to some von Neumann algebras are discussed.