Abstract:Recently, the format of TT tensors (Hackbusch and Kühn in J Fourier Anal Appl 15:706–722, 2009; Oseledets in SIAM J Sci Comput 2009, submitted; Oseledets and Tyrtyshnikov in SIAM J Sci Comput 31:5, 2009; Oseledets and Tyrtyshnikov in Linear Algebra Appl 2009, submitted) has turned out to be a promising new format for the approximation of solutions of high dimensional problems. In this paper, we prove some new results for the TT representation of a tensor \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${U \in \mathbb{R}^{n_1\times \cdots\times n_d}}$$\end{document} and for the manifold of tensors of TT-rank \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\underline{r}}$$\end{document} . As a first result, we prove that the TT (or compression) ranks ri of a tensor U are unique and equal to the respective separation ranks of U if the components of the TT decomposition are required to fulfil a certain maximal rank condition. We then show that the set \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\mathbb{T}}$$\end{document} of TT tensors of fixed rank \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\underline{r}}$$\end{document} locally forms an embedded manifold in \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\mathbb{R}^{n_1\times\cdots\times n_d}}$$\end{document} , therefore preserving the essential theoretical properties of the Tucker format, but often showing an improved scaling behaviour. Extending a similar approach for matrices (Conte and Lubich in M2AN 44:759, 2010), we introduce certain gauge conditions to obtain a unique representation of the tangent space \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\mathcal{T}_U\mathbb{T}}$$\end{document} of \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\mathbb{T}}$$\end{document} and deduce a local parametrization of the TT manifold. The parametrisation of \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$${\mathcal{T}_{U}\mathbb{T}}$$\end{document} is often crucial for an algorithmic treatment of high-dimensional time-dependent PDEs and minimisation problems (Lubich in From quantum to classical molecular dynamics: reduced methods and numerical analysis, 2008). We conclude with remarks on those applications and present some numerical examples.

Geometric mean for T-positive definite tensors and associated Riemannian geometry

Geometry of Hermitian Manifolds

Geometric Mean of Partial Positive Definite Matrices with Missing Entries

Computation over t-Product Based Tensor Stiefel Manifold: A Preliminary Study

T product Tensors Part I: Inequalities

Geometries on the cone of positive-definite matrices derived from the power potential and their relation to the power means

On two geometric means and sum of adjoint orbits

Riemannian Optimization on Tensor Products of Grassmann Manifolds: Applications to Generalized Rayleigh-Quotients

An Efficient Iterative Approach for Hermitian Matrices Having a Fourth-Order Convergence Rate to Find the Geometric Mean

The Geometric Mean Decomposition

On manifolds of tensors of fixed TT-rank

New multivariable mean from nonlinear matrix equation associated to the harmonic mean

On the Mean Rotation Tensors

Geodesic normal coordinates and natural tensors for pseudo-Riemannian submanifolds

Geometric Mean Metric Learning

A Comprehensive Definition of the Geometric Mean of Convex Bodies Based on Relations Between Their $p$-Means

A new weighted spectral geometric mean and properties

Inequalities for the Wasserstein mean of positive definite matrices

T-square tensors—Part I: inequalities

Inequalities on Generalized Tensor Functions with Diagonalizable and Symmetric Positive Definite Tensors

Mean Value Theorems for Riemannian Manifolds via the Obstacle Problem