Table of Contents
Fetching ...

Robust Eigenvectors of Symmetric Tensors

Tommi Muller, Elina Robeva, Konstantin Usevich

TL;DR

This work shows that, for real symmetric tensors, eigenvectors that appear in a symmetric decomposition become robust fixed points of the tensor power method when the tensor order is sufficiently large. The authors derive a main theorem linking robustness to the Jacobian of the power map, and they apply it to families of equiangular tensors, proving that their generating vectors are eigenvectors and, in many cases, robust. They develop and analyze equiangular sets and ETFs, regular simplex tensors, and Mercedes-Benz frames, providing explicit bounds and region-of-attraction results for even and odd tensor orders. The results offer a pathway to reliably decompose certain high-order tensors using the tensor power method, while also highlighting open questions about uniqueness and stability under perturbations in broader equiangular configurations.

Abstract

The tensor power method generalizes the matrix power method to higher order arrays, or tensors. Like in the matrix case, the fixed points of the tensor power method are the eigenvectors of the tensor. While every real symmetric matrix has an eigendecomposition, the vectors generating a symmetric decomposition of a real symmetric tensor are not always eigenvectors of the tensor. In this paper we show that whenever an eigenvector is a generator of the symmetric decomposition of a symmetric tensor, then (if the order of the tensor is sufficiently high) this eigenvector is robust, i.e., it is an attracting fixed point of the tensor power method. We exhibit new classes of symmetric tensors whose symmetric decomposition consists of eigenvectors. Generalizing orthogonally decomposable tensors, we consider equiangular tight frame decomposable and equiangular set decomposable tensors. Our main result implies that such tensors can be decomposed using the tensor power method.

Robust Eigenvectors of Symmetric Tensors

TL;DR

This work shows that, for real symmetric tensors, eigenvectors that appear in a symmetric decomposition become robust fixed points of the tensor power method when the tensor order is sufficiently large. The authors derive a main theorem linking robustness to the Jacobian of the power map, and they apply it to families of equiangular tensors, proving that their generating vectors are eigenvectors and, in many cases, robust. They develop and analyze equiangular sets and ETFs, regular simplex tensors, and Mercedes-Benz frames, providing explicit bounds and region-of-attraction results for even and odd tensor orders. The results offer a pathway to reliably decompose certain high-order tensors using the tensor power method, while also highlighting open questions about uniqueness and stability under perturbations in broader equiangular configurations.

Abstract

The tensor power method generalizes the matrix power method to higher order arrays, or tensors. Like in the matrix case, the fixed points of the tensor power method are the eigenvectors of the tensor. While every real symmetric matrix has an eigendecomposition, the vectors generating a symmetric decomposition of a real symmetric tensor are not always eigenvectors of the tensor. In this paper we show that whenever an eigenvector is a generator of the symmetric decomposition of a symmetric tensor, then (if the order of the tensor is sufficiently high) this eigenvector is robust, i.e., it is an attracting fixed point of the tensor power method. We exhibit new classes of symmetric tensors whose symmetric decomposition consists of eigenvectors. Generalizing orthogonally decomposable tensors, we consider equiangular tight frame decomposable and equiangular set decomposable tensors. Our main result implies that such tensors can be decomposed using the tensor power method.

Paper Structure

This paper contains 11 sections, 7 theorems, 79 equations, 3 figures, 3 tables.

Key Result

Theorem 3.1

For $d \in \mathbb{N}$, let $\mathcal{T}_d \in S^d(\mathbb{R}^n)$ be a tensor with symmetric (not necessarily minimal) decomposition with $\|\mathbf{v}_i\| = 1$ for all $i$. Then there exists a $D \in \mathbb{N}$ such that for all $d \geq D$, if $\mathbf{v}_j$ is an eigenvector of $\mathcal{T}_d$ with a non-zero eigenvalue, then $\mathbf{v}_j$ is a robust eigenvector of $\mathcal{T}_d$.

Figures (3)

  • Figure 1: The Mercedes-Benz frame $(\ref{['MBvectors']})$ on the $xy$-plane.
  • Figure 2: Regions of convergence on the unit disk in $\mathbb{R}^2$ of the tensor power method for different values of $d$ of the Mercedez-Benz tensor.
  • Figure 3: A regular icosahedron in $\mathbb{R}^3$.

Theorems & Definitions (22)

  • Definition 2.1
  • Theorem 3.1
  • Lemma 3.2
  • Lemma 3.3
  • Proof 1
  • Proof 2: Proof of \ref{['mainTheorem']}
  • Definition 4.1
  • Theorem 4.2
  • Proof 3
  • Definition 4.3
  • ...and 12 more