SearcharxivSearch

arXiv · 1808.02423

On uniqueness and computation of the decomposition of a tensor into multilinear rank-$(1, L_{r},L_{r})$ terms

Abstract

Canonical Polyadic Decomposition (CPD) represents a third-order tensor as the minimal sum of rank-1 terms. Because of its uniqueness properties the CPD has found many concrete applications in telecommunication, array processing, machine learning, etc. On the other hand, in several applications the rank-1 constraint on the terms is too restrictive. A multilinear rank-$(M,N,L)$ constraint (where a rank-1 term is the special case for which $M=N=L=1$) could be more realistic, while it still yields a decomposition with attractive uniqueness properties. In this paper we focus on the decomposition of a tensor $\mathcal T$ into a sum of multilinear rank-$(1,L_r,L_r)$ terms, $r=1,...,R$. This particular decomposition type has already found applications in wireless communication, chemometrics and the blind signal separation of signals that can be modelled as exponential polynomials and rational functions. We find conditions on the terms which guarantee that the decomposition is unique and can be computed by means of the eigenvalue decomposition of a matrix even in the cases where none of the factor matrices has full column rank. We consider both the case where the decomposition is exact and the case where the decomposition holds only approximately. We show that in both cases the number of the terms $R$ and their "sizes" $L_1,...,L_R$ do not have to be known a priori and can be estimated as well. The conditions for uniqueness are easy to verify, especially for terms that can be considered "generic". In particular, we obtain the following two generalizations of a well known result on generic uniqueness of the CPD (i.e., the case $L_1=...=L_R=1$): we show that the multilinear rank-$(1,L_r,L_r)$ decomposition of an $I\times J\times K$ tensor is generically unique if i) $L_1=...=L_R=:L$ and $R\leq\min((J-L)(K-L),I)$ or if ii) $\sum L_R\leq\min((I-1)(J-1),K)$ and $J\geq\max(L_i+L_j)$.

Explore related subjects

Keep this discovery

BibTeXRIS

Ignat Domanov, Lieven De Lathauwer. 2018-08-07. On uniqueness and computation of the decomposition of a tensor into multilinear rank-$(1, L_{r},L_{r})$ terms. https://arxiv.org/abs/1808.02423

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Regular hyperbolic tilings have no $\ell^2$ eigenfunctions

We show that the adjacency operator of the $1$-skeleton of any regular tiling of the hyperbolic plane has no nonzero square-integrable eigenfunctions. As a consequence, the same holds for every infinite connected regular graph admitting a proper planar embedding with regular dual.

math.SP

Inverse Heat Source Problems from Boundary Flux and Interior Observations on Sets of Low Hausdorff Dimension

This paper investigates conditional stability for inverse source problems for the heat equation with a known temporal factor and an unknown spatial component in a bounded $C^{1,1}$ domain. We focus on observations supported on sets of low Hausdorff dimension and establish conditional stability in this setting. For boundary observations on compact sets of positive $q$-dimensional Hausdorff content, we establish logarithmic stability from full-time boundary flux observations and double-logarithmic stability from delayed-time boundary flux observations. The admissible dimensional ranges are $q>d-2$ when the observation set is contained in a flat boundary patch and $q>d-1-c_{d+1}$ on a general $C^{1,1}$ boundary, where $c_{d+1}>0$ depends only on the dimension. A key ingredient in deriving these results is a new boundary spectral inequality for the Dirichlet Laplacian, which controls a finite Dirichlet spectral sum through observations of the normal derivative of its elliptic extension on such a boundary set. Our results also cover inverse heat source problems with interior observations on sets of positive $q$-dimensional Hausdorff content for some $q>d-1$, yielding logarithmic stability from full-time observations for general sources in $H_0^1(\Omega)$ and H\"older stability from terminal-time observations for sources in a suitable spectral Gevrey class.

math.SP

Resolvent bounds and eigenvalue estimates of generalized Schr\"odinger operators with complex potentials on compact manifolds

We extend Cuenin's compact-manifold spectral bounds for Schr\"odinger operators with complex potentials to a general pseudodifferential setting. More precisely, we study operators \(P+V\), where \(P\) is a positive self-adjoint elliptic classical pseudodifferential operator of positive order and \(V\) is complex-valued. The main analytic input is a resolvent principle showing that spectral cluster estimates for \(P\) imply \(L^p\)-\(L^{p'}\) resolvent estimates along suitable complex curves. Combined with Sogge's spectral cluster bounds, this yields exterior-region resolvent estimates extending those of Krupchyk and Uhlmann; we also prove direct resolvent bounds in the interior region. On Zoll manifolds, we discuss the sharpness of the resulting spectral bounds.

math.SP