1: \begin{abstract}

2: This paper is concerned with the development and analysis of an iterative solver for high-dimensional second-order elliptic problems 

3: based on subspace-based low-rank tensor formats. Both the subspaces giving rise to low-rank approximations and

4: corresponding sparse approximations of lower-dimensional tensor components are determined adaptively. A principal obstruction to

5: a simultaneous control of rank growth and accuracy turns out to be the fact that the underlying elliptic operator is an isomorphism 

6: only between spaces that are not endowed with cross norms. Therefore,

7: as central part of this scheme, we devise a method for preconditioning low-rank tensor representations of operators.

8: Under standard assumptions on the data, we establish convergence to the solution of the continuous problem with a guaranteed

9: error reduction. Moreover, for the case that the solution exhibits a certain low-rank structure and representation sparsity,

10: we derive bounds on the computational complexity, including in particular bounds on the tensor ranks that can arise during the iteration. We emphasize that

11: such assumptions on the solution do not enter in the formulation of the scheme, which in fact is shown to detect them

12: automatically.  Our findings are illustrated by numerical experiments that demonstrate the practical efficiency of the method in high 

13: spatial dimensions.

14: 

15: \textbf{Keywords:} Low-rank tensor approximation, adaptive methods, high-dimensional elliptic problems, preconditioning, computational complexity

16: 

17: \textbf{Mathematics Subject Classification (2000):} 41A46, 41A63, 65D99, 65J10, 65N12, 65N15

18: \end{abstract}

19: