Tensorregression

Als Tensorregression bezeichnet man in der Statistik ein Regressionsmodell basierend auf Tensoren. Bei einer solchen Regression können entweder der Regressor $X$, der Regressand $Y$ oder beide Tensoren sein. Tensorregressionen werden vor allem für hochdimensionale oder große Daten verwendet, da Tensoren eine natürliche Darstellung solcher Daten sind. Ein Anwendungsbeispiel für die Tensorregression liegt im Neuroimaging, wo man zum Beispiel die Hirnaktivität einer Maus misst, welche durch ein Labyrinth rennt. Dabei werden Hunderte von Neuronen über einen längeren Zeitraum gemessen.

Bei hochdimensionalen Daten besitzt der Koeffiziententensor meistens einen viel höheren Rang als der Regressor und der Regressand, weshalb man – ähnlich wie bei der Regression mit reduziertem Rang – häufig die Annahme trifft, dass der Koeffiziententensor einen tiefen Rang basierend auf einer Tensorzerlegung besitzt. Bekannte solche Zerlegungen sind die Candecomp/Parafac-Zerlegung (CP), die Tucker-Zerlegung, die Tensor-Singulärwertzerlegung (t-SVD) und die Tensor-Train-Zerlegung (TT).

Im Artikel wird eine Tensor-Verallgemeinerung der verallgemeinerten linearen Modelle (GLM) behandelt, welche 2013 von Hua Zhou et al. mit der Candecomp/Parafec-Zerlegung eingeführt wurde und manchmal als CP-GLTR (Vorlage:EnS) abgekürzt wird.

Tensorregression

Im Artikel wird die Tensorregression auf den reellen Zahlen mit dem reellen Tensorprodukt $\otimes :={\otimes }_{ℝ}$ definiert, das Konzept lässt sich aber auch auf allgemeinen Vektorräumen respektive Moduln definieren.

In der allgemeinen Form sind Tensordaten $\{{𝒳}_n,{𝒴}_n{\}}_{1\le n\le N}$ gegeben, dann ist das Tensorregressionsmodell von der Form

${𝒴}_n=f({𝒳}_n,ℬ)+{ℰ}_n,$

wobei

${𝒴}_n\in \underset{i=1}{\overset{M}{⨂}}{ℝ}^{q_i},{𝒳}_n\in \underset{i=1}{\overset{L}{⨂}}{ℝ}^{p_i},ℬ,{ℰ}_n\in \underset{i=1}{\overset{M}{⨂}}{ℝ}^{q_i}$

Tensoren und $q_1,\dots ,q_M,p_1,\dots ,p_L$ natürliche Zahlen sind. Typischerweise besitzt der Koeffiziententensor $ℬ$ einen viel höheren Rang als die anderen Tensoren.

Durch Konkatenation $𝒴\in {ℝ}^N\otimes {ℝ}^{q_1}\otimes \cdots \otimes {ℝ}^{q_M},𝒳\in {ℝ}^N\otimes {ℝ}^{p_1}\otimes \cdots \otimes {ℝ}^{p_L},ℰ\in {ℝ}^N\otimes {ℝ}^{q_1}\otimes \cdots \otimes {ℝ}^{q_M}$, lässt sich das auch kompakter als

$𝒴=f(𝒳,ℬ)+ℰ$

hinschreiben.

Tensorapproximation

Für einen beliebigen Tensor $T$ sucht man einen Tensor $\hat{T}$ mit einer niedrigen Rang-Zerlegung, welche $T$ am besten approximiert, welches zu einem Optimierungsproblem der Form

$ℒ(T)=\min {\mathrm{\backslash limits}}_{\hat{T}}\Vert T-\hat{T}{\Vert }_F$

führt, wobei wir hier die Frobenius-Norm gewählt haben. Zwei populäre Wahlen für eine solche Zerlegung sind die Candecomp/Parafec-Zerlegung (kurz CP-Zerlegung) und die Tucker-Zerlegung. Die CP-Zerlegung ist auch unter dem Namen canonical polyadic decomposition bekannt. Die Tucker-Zerlegung ist eine Form einer höher-dimensionalen Hauptkomponentenanalyse und wird auch HOSVD für Vorlage:EnS genannt.

Tensorzerlegungen

CP-Zerlegung

Sei $T\in {ℝ}^{q_1}\otimes {ℝ}^{q_2}\otimes \cdots \otimes {ℝ}^{q_D}$ ein Tensor. Eine CP-Zerlegung für ein $R\in \mathbb{N}$ ist eine Rang-$R$-Zerlegung von $T$ in Elementartensoren

$T=\sum _{k=1}^R{\lambda }_k{𝐯}_k^{(1)}\otimes {𝐯}_k^{(2)}\otimes \cdots \otimes {𝐯}_k^{(D)},$

wobei die ${𝐯}_k^{(1)},\dots ,{𝐯}_k^{(D)}$ Vektoren der Form ${𝐯}_k^{(i)}=(v_{k,1}^{(i)},v_{k,2}^{(i)},\dots ,v_{k,q_i}^{(i)}{)}^T\in {ℝ}^{q_i}$ sind und $\mathit{\lambda }=({\lambda }_1,\dots ,{\lambda }_R{)}^T\in {ℝ}^R$ ein Gewichtsvektor zur Normierung ist. Die minimale Zahl

$\mathrm{rank}(T)=\min \{R\in \mathbb{N}:T=\sum _{k=1}^R{𝐯}_k^{(1)}\otimes {𝐯}_k^{(2)}\otimes \cdots \otimes {𝐯}_k^{(D)}\}$

nennt man den Rang von $T$ und er ist invariant unter Basiswechsel. Die Berechnung des Rangs ist jedoch NP-schwer.

Tucker-Zerlegung

Die Tucker-Zerlegung (oder auch HOSVD) zerlegt einen Tensor $T\in {ℝ}^{q_1}\otimes {ℝ}^{q_2}\otimes \cdots \otimes {ℝ}^{q_D}$ in einen Kern-Tensor $G\in {ℝ}^{R_1}\otimes {ℝ}^{R_2}\otimes \cdots \otimes {ℝ}^{R_D}$ und $D$ Faktor-Matrizen $A_1\in {ℝ}^{q_1\times R_1},A_2\in {ℝ}^{q_2\times R_2},\dots ,A_D\in {ℝ}^{q_D\times R_D}$

$T=G\times A_1\times \cdots \times A_D$

elementweise geschrieben

$T=\sum _{j_1=1}^{R_1}\sum _{j_2=1}^{R_2}\cdots \sum _{j_D=1}^{R_D}{g}_{i_1,i_2,\dots ,i_D}{𝐚}_{j_1}^{(1)}\otimes {𝐚}_{j_2}^{(2)}\otimes \cdots \otimes {𝐚}_{j_D}^{(D)}$

wobei ${𝐚}_{j_k}^{(k)}\in {ℝ}^{q_k}$ für $k=1,\dots ,d$ und $j_k=1,\dots ,R_k$ Vektoren sind und $g_{i_1,i_2,\dots ,i_D}\in ℝ$. Die Parameter $(R_1,\dots ,R_D)$ nennt man Tucker-Ränge.

Regressionsmodelle

Verallgemeinerte lineare Tensorregression mit CP-Zerlegung

Die von Zhou et al. betrachtete Verallgemeinerung der verallgemeinerten linearen Modelle ist die Kopplungsfunktion

$g(\mu )=\alpha +{\mathit{\gamma }}^T𝐳+⟨ℬ,𝒳⟩,$

wobei der Regressor $𝒳\in {ℝ}^N\otimes {ℝ}^{p_1}\otimes {ℝ}^{p_2}\otimes \cdots \otimes {ℝ}^{p_L}$ und $ℬ$ Tensoren sind, $𝐳$ ein Vektor-Regressor, der Regressand $y$ ein Skalar und $\alpha \in ℝ$ der y-Achsenabschnitt ist. Das innere Produkt ist über die Vektorisierung $⟨ℬ,𝒳⟩=⟨\mathrm{vec}(ℬ),\mathrm{vec}(𝒳)⟩$ definiert. Sie nahmen nun an, dass für $ℬ$ eine CP-Zerlegung mit Rang $R$ existiert

$g(\mu )=\alpha +{\mathit{\gamma }}^T𝐳+⟨\sum _{k=1}^R{𝐛}_k^{(1)}\otimes {𝐛}_k^{(2)}\otimes \cdots \otimes {𝐛}_k^{(D)},𝒳⟩.$

Das Khatri-Rao-Produkt $\star$ (auch spaltenweises Kronecker-Produkt) ist für zwei Matrizen $A\in {ℝ}^{I\times K}$ und $B\in {ℝ}^{J\times K}$ wie folgt definiert

$A\star B:=\left[\begin{array}{cccc}{𝐚}_1\otimes {𝐛}_1& {𝐚}_2\otimes {𝐛}_2& \cdots & {𝐚}_K\otimes {𝐛}_K\end{array}\right]\in {ℝ}^{(IJ)\times K},$

wobei ${𝐚}_1,\dots ,{𝐚}_K,{𝐛}_1,\dots ,{𝐛}_K$ hier die Spalten der Matrizen sind und das Kronecker-Produkt genommen wird.

Mit Hilfe des Khatri-Rao-Produkt kann das Regressionsmodell nun umgeschrieben werden

$g(\mu )=\alpha +{\mathit{\gamma }}^T𝐳+⟨(B_D\star B_{D-1}\star \cdots \star B_1)1_R,\mathrm{vec}(𝒳)⟩$

wobei $B_D\star B_{D-1}\star \cdots \star B_1\in {ℝ}^{\prod _d{p}_d\times R}$ aus $D$ Matrizen $B_i\in {ℝ}^{p_i\times R}$ besteht, $1_R=(1,\dots ,1)$ ein Vektor aus $R$ Einsen ist.

Literatur

• Vorlage:Literatur