Multidimensionale Skalierung

Die Multidimensionale Skalierung (auch Mehrdimensionale Skalierung, oder Ähnlichkeitsstrukturanalyse, abgekürzt: MDS) ist ein Bündel von Verfahren der multivariaten Statistik. Ihr formales Ziel ist es, die Objekte räumlich so anzuordnen, dass die Abstände (Distanzen) zwischen den Objekten im Raum möglichst exakt den erhobenen Un-/ Ähnlichkeiten entsprechen. Je weiter die Objekte voneinander entfernt sind, desto unähnlicher sind sie und je näher sie beieinander sind, desto ähnlicher sind sie. Es werden also Informationen über Paare von Objekten erhoben, um daraus metrische Informationen über die Objekte zu ermitteln.

Die Lösung der multidimensionalen Skalierung, die sogenannte Konfiguration, wird meist in zwei oder drei Dimensionen geschätzt, was die Interpretierbarkeit erleichtert. Prinzipiell kann die Konfiguration für ${\displaystyle n}$ Objekte in einem bis zu ${\displaystyle (n-1)}$-dimensionalen Raum bestimmt werden. Neben der räumlichen Konfiguration von Objekten liefert die multidimensionale Skalierung eine Reihe von Kennziffern (z. B. Stress1, S-Stress, ALSCAL, Bestimmtheitsmaß usw.), welche die Güte der Konfiguration beurteilen.

Die multidimensionale Skalierung geht zurück auf den Psychologen Warren S. Torgerson (Veröffentlichungen 1952–1968). Die wichtigsten statistischen Verfahren sind die metrische bzw. die nicht metrische multidimensionale Skalierung nach Kruskal.^[1]

Ein Anwendungsbeispiel für die multidimensionale Skalierung ist das Property Fitting im Marketing.

Verschiedene Verfahren der MDS

Bei den verschiedenen Verfahren der MDS kann allgemein zwischen solchen für quadratische Matrizen und solchen für rechteckige Matrizen unterschieden werden. Dabei können bei als matrixkonditional bezeichneten Daten maximal die Werte innerhalb einer Matrix miteinander verglichen werden und entsprechend bei zeilenkonditionalen Daten nur die Werte innerhalb einer Zeile.

Es können drei Modellkonstellationen unterschieden werden:

• einfache MDS: eine Matrix und eine Konfiguration (Es wird von einem allen Subjekten inhärenten Wahrnehmungsraum ausgegangen, was nicht durch das Modell geprüft wird.)
• wiederholte MDS: mehr als eine Matrix aber ebenfalls nur eine Konfiguration (Gleiche Hypothese wie bei der einfachen MDS, aber hier wird diese durch das Modell geprüft)
• INDSCAL: mehr als eine Matrix und mehr als eine Konfiguration, genauer werden jeder individuellen Matrix für jede Dimension Stauchungs- bzw. Streckungsfaktoren zugewiesen und auf eine allgemeine Konfiguration angewandt. Es wird von einem allen Subjekten inhärenten Wahrnehmungsraum ausgegangen, dessen Dimensionen aber individuell als unterschiedliche wichtig bewertet werden, was durch das Verfahren geprüft wird.

Zu den Verfahren für zeilenkonditionale Daten zählen:

• Ankerpunktmethode: ein Objekt dient als Referenzpunkt für alle anderen Objekte. Die Matrix ist dann zwar quadratisch, aber asymmetrisch und daher zeilenkonditional.
• Multidimensionale Entfaltung (MDU): nicht ein Objekt, sondern jedes Subjekt wird als Ankerpunkt interpretiert.

Metrische multidimensionale Skalierung

Ziel der metrischen multidimensionalen Skalierung ist es, Objekte mit Abständen ${\displaystyle d_{ij}}$ im hoch dimensionalen Raum so in einem kleineren ${\displaystyle m}$-dimensionalen Raum anzuordnen, dass die euklidischen Distanzen in diesem Raum möglichst genau den Distanzen ${\displaystyle d_{ij}}$ gleichen. Diese Konfiguration lässt sich durch die Verwendung der euklidischen Metrik leicht interpretieren, da Distanzen ${\displaystyle d_{ij}}$ zwischen den Objekten ihrer Entfernung per Luftlinie entsprechen.

Neben euklidischen Distanzmaßen sind auch die in Faktorenanalysen verwendeten Metriken gebräuchlich. In diskreten Modellen kommt unter anderem die Manhattan-Metrik zum Einsatz.

Sind als Startwerte anstatt Distanzen Ähnlichkeitsmaße ${\displaystyle c_{ij}}$ zwischen Objekten gegeben, so lassen sich diese durch die Transformation

${\displaystyle d_{ij}={\sqrt {c_{ii}+c_{jj}-2c_{ij}}}}$

in Distanzen überführen.

Algorithmus

Das Verfahren zur multidimensionalen Skalierung lässt sich in 4 Schritten beschreiben:

1. Definiere Matrix ${\displaystyle A=(a_{ij})}$ mit ${\displaystyle a_{ij}=-{\frac {1}{2}}d_{ij}^{2}}$
2. Definiere Matrix ${\displaystyle B=(b_{ij})}$ mit ${\displaystyle b_{ij}=a_{ij}-a_{i\bullet }-a_{\bullet j}+a_{\bullet \bullet }}$ wobei ${\displaystyle a_{i\bullet }={\frac {1}{n}}\sum _{j=1}^{n}a_{ij}}$ den Durchschnitt der Zeile ${\displaystyle i}$, ${\displaystyle a_{\bullet j}={\frac {1}{n}}\sum _{i=1}^{n}a_{ij}}$ den Durchschnitt der Spalte ${\displaystyle j}$ und ${\displaystyle a_{\bullet \bullet }={\frac {1}{n^{2}}}\sum _{i=1}^{n}\sum _{j=1}^{n}a_{ij}}$ den Durchschnitt aller Elemente von ${\displaystyle A}$ bezeichne.
3. Bestimme die Eigenwerte ${\displaystyle \lambda _{i}}$ und die zugehörigen Eigenvektoren ${\displaystyle \gamma _{i}=(\gamma _{ij})}$ der Matrix ${\displaystyle B=(b_{ij})}$ mit der Eigenschaft: ${\displaystyle \sum _{j=1}^{n}\gamma _{ij}^{2}=\lambda _{i}}$.
4. Die Koordinaten der zu skalierenden Datenpunkte im ${\displaystyle m}$ dimensionalen Raum ergeben sich dann aus den Eigenvektoren zu den ${\displaystyle m}$ größten Eigenwerten: ${\displaystyle x_{i}=\gamma _{i}}$.

Beispiel

Gegeben sind die Distanzen der schnellsten Autoverbindungen zwischen verschiedenen Städten und gesucht werden die Koordinaten der Städte.

	Berlin	Frankfurt	Hamburg	Köln	München
Berlin	0	548	289	576	586
Frankfurt	548	0	493	195	392
Hamburg	289	493	0	427	776
Köln	576	195	427	0	577
München	586	392	776	577	0

Die metrische multidimensionale Skalierung für eine Konfiguration in zwei Dimensionen mit einer Statistiksoftware ergibt

Stadt	X	Y	Grafische Konfiguration
Berlin	0,8585	−1,1679
Frankfurt	−0,6363	0,6660
Hamburg	1,5036	0,0800
Köln	−0,0438	1,1760
München	−1,6821	−0,7542

Die gefundene Konfiguration ist eindeutig, bis auf Rotation und Skalierung:

• Jede rotierte Lösung liefert natürlich die gleichen (euklidischen) Distanzen zwischen den Städten und damit sind diese Lösungen gleichwertig.
• Aufgrund der Standardisierung im Algorithmus ${\displaystyle \left(\textstyle \sum _{j=1}^{n}\gamma _{ij}^{2}=\lambda _{i}\right)}$ liefert eine gleichmäßige Vervielfachung des Abstandes aller Städte vom Nullpunkt die gleichen Koordinaten für die Städte.

Nicht-metrische multidimensionale Skalierung

Die nicht-metrische multidimensionale Skalierung will die metrische multidimensionale Skalierung in zwei Aspekten erweitern:

1. keine Angabe einer expliziten Funktion zur Umwandlung von (Un-)Ähnlichkeiten in Distanzen und
2. die Nutzung nicht-euklidischer Geometrien zur Auffindung von Konfigurationen.

Hängen die Unähnlichkeiten ${\displaystyle \delta _{ij}}$ mit den Distanzen ${\displaystyle d_{ij}}$ über ${\displaystyle d_{ij}=f(\delta _{ij})}$ zusammen, so muss diese Funktion ${\displaystyle f}$ schwach monoton sein: Gilt ${\displaystyle \delta _{ij}<\delta _{kl}}$, dann muss gelten ${\displaystyle d_{ij}=f(\delta _{ij})<f(\delta _{kl})=d_{kl}}$.

Bringt man daher die Paare von Unähnlichkeiten in eine Rangfolge

${\displaystyle \delta _{i_{1}j_{1}}<\dots <\delta _{i_{k}j_{k}}}$

so ergibt sich die Monotonie-Bedingung

${\displaystyle f(\delta _{i_{1}j_{1}})<\dots <f(\delta _{i_{k}j_{k}})}$.

Shepard-Kruskal Algorithmus

Der Shepard-Kruskal Algorithmus ermittelt die Konfiguration iterativ:

1. Initialisierung ${\displaystyle (t=0)}$: Wähle gewünschte Dimensionalität ${\displaystyle m}$ und ordne Objekte zufällig im Zielraum an. (Für ${\displaystyle m=2{,}3}$ lassen sich die Ergebnisse oft eingänglich darstellen.) Berechne die Distanzen ${\displaystyle d_{ij}^{(0)}}$ zwischen allen Objekten ${\displaystyle i}$ und ${\displaystyle j}$.
2. Schritt ${\displaystyle t}$: Schätze Disparitäten ${\displaystyle {\hat {d}}_{ij}^{(t)}}$ der Objekte ${\displaystyle i}$ und ${\displaystyle j}$ unter Verwendung ihrer Distanz ${\displaystyle d_{ij}^{(t)}}$. Hierfür kann der Pool-Adjacent Violators Algorithmus (siehe unten) benutzt werden.
3. Abbruchbedingung: Sobald eines der ausgewählten Abbruchkriterien (siehe folgenden Abschnitt) für den iterativen Prozess erreicht ist, endet der iterative Prozess mit der gefundenen Konfiguration, die (eventuell nur lokal) optimal ist. Andernfalls fahre mit Punkt 4 fort.
4. Anpassung der Positionen ${\displaystyle x_{i}}$ an die Disparitäten: Berechne die neuen Koordinatenwerte ${\displaystyle x_{i}^{(t+1)}}$ für alle Objektpaare ${\displaystyle i}$ und ${\displaystyle j\neq i}$ (siehe unten), z. B. ähnlich einem Gradientenverfahren. Ermittle die Distanzen ${\displaystyle d_{ij}^{(t+1)}}$ für die neuen Positionen ${\displaystyle x_{i}^{(t+1)}}$ und fahre mit Punkt 2 fort.

Pool-Adjacent Violators Algorithmus

• Wenn die Monotoniebedingung zwischen zwei benachbarten Punkten nicht verletzt ist, verwenden wir die jeweiligen Distanz als Disparität, also ${\displaystyle {\hat {d}}_{ij}^{(t)}=d_{ij}^{(t)}}$.
• Wenn die Monotonie-Bedingung zwischen zwei (${\displaystyle p=2}$) oder mehr (${\displaystyle p>2}$) benachbarten Punkten verletzt ist, so verwenden wir den Mittelwert der entsprechenden Distanzen als Disparitäten, also ${\displaystyle {\hat {d}}_{i_{l}j_{l}}^{(t)}=1/p\sum _{q=1}^{p}d_{i_{l+q}j_{l+q}}^{(t)}}$.^[2]

Welche Transformationen bei der Berechnung der Disparitäten zulässig sind, hängt vom Skalenniveau der Rohdaten ab. Die Distanzen im Wahrnehmungsraum können aber durchaus ein anderes Skalenniveau annehmen. Inwieweit eine Anhebung des Skalenniveaus zulässig ist, wird mittels des Verdichtungsquotienten Q (Zahl der Ähnlichkeiten/(Zahl der Dimensionen*Zahl der Objekte)) beurteilt. Bei der „einfachen“ MDS liegen die Rohdaten schon in aggregierter Form vor, stellen also meist die Mittelwerte über die Antworten der Befragten dar.

Berechnung der neuen Positionen

Die neue Position ${\displaystyle x_{i}^{(t+1)}}$ wird berechnet als

${\displaystyle x_{i}^{(t+1)}=x_{i}^{(t)}+\alpha \sum _{j\neq i}\left(1-{\frac {{\hat {d}}_{ij}^{(t)}}{d_{ij}^{(t)}}}\right)(x_{i}^{(t)}-x_{j}^{(t)})}$.

Dabei ist ${\displaystyle x_{i}^{(t)}}$ die Position von Objekt ${\displaystyle i}$ zum Zeitpunkt ${\displaystyle t}$ und ${\displaystyle \alpha }$ ein Gewichtungsfaktor (nicht zu groß wählen, da sich der Stress-Wert auch verschlechtern kann – in der Regel 0,2).

Wenn nun zwei Objekte im Verhältnis zu ihrer Ähnlichkeit zu weit auseinanderliegen (${\displaystyle {\hat {d}}_{ij}^{(t)}/d_{ij}^{(t)}}$ ist größer 1, wodurch der Ausdruck in der Klammer negativ wird), werden sie aufeinander zu geschoben (die Richtung wird dabei durch die Differenz in der zweiten Klammer bestimmt). Zwei eher unähnliche Objekte, die zu nahe beieinander liegen, bewegt man voneinander weg. Dadurch wird der Stress-Wert in der Regel gesenkt und die Iteration wird mit Schritt 2. fortgeführt, wodurch sich der Stress-Wert in der Regel erneut senkt.

Beispiel

Basierend auf dem obigen Beispiel können wir eine Rangfolge der Distanzen erstellen und die Monotoniebedingung aufstellen:

Distanz:	${\displaystyle 195}$	<	${\displaystyle 289}$	<	${\displaystyle 392}$	<	${\displaystyle 427}$	<	${\displaystyle 493}$	<	${\displaystyle 548}$	<	${\displaystyle 576}$	<	${\displaystyle 577}$	<	${\displaystyle 586}$	<	${\displaystyle 776}$
Monotoniebedingung:	${\displaystyle d_{F,K}}$	<	${\displaystyle d_{B,HH}}$	<	${\displaystyle d_{F,M}}$	<	${\displaystyle d_{HH,K}}$	<	${\displaystyle d_{F,HH}}$	<	${\displaystyle d_{B,F}}$	<	${\displaystyle d_{B,K}}$	<	${\displaystyle d_{K,M}}$	<	${\displaystyle d_{B,M}}$	<	${\displaystyle d_{HH,M}}$

Es wurde zu Beginn eine zufällige Konfiguration gewählt:

Position			Distanz zu
Ort	X	Y	Berlin	Frankfurt	Hamburg	Köln	München
Berlin	0,9961	−1,5759	0
Frankfurt	−1,1453	0,7840	3,1866	0
Hamburg	−0,7835	0,9408	3,0824	0,3942	0
Köln	−0,1025	−0,0208	1,9041	1,3172	1,1783	0
München	1,0352	−0,1281	1,4483	2,3635	2,1096	1,1428	0

daraus ergibt sich:

Monotoniebed.:	${\displaystyle d_{F,K}}$	${\displaystyle \leq }$	${\displaystyle d_{B,HH}}$	${\displaystyle \leq }$	${\displaystyle d_{F,M}}$	${\displaystyle \leq }$	${\displaystyle d_{HH,K}}$	${\displaystyle \leq }$	${\displaystyle d_{F,HH}}$	${\displaystyle \leq }$	${\displaystyle d_{B,F}}$	${\displaystyle \leq }$	${\displaystyle d_{B,K}}$	${\displaystyle \leq }$	${\displaystyle d_{K,M}}$	${\displaystyle \leq }$	${\displaystyle d_{B,M}}$	${\displaystyle \leq }$	${\displaystyle d_{HH,M}}$
${\displaystyle d_{ij}^{(0)}}$	${\displaystyle 1.3172}$	${\displaystyle \leq }$	${\displaystyle 3{,}0824}$	${\displaystyle \not \leq }$	${\displaystyle 2{,}3635}$	${\displaystyle \not \leq }$	${\displaystyle 1{,}1783}$	${\displaystyle \not \leq }$	${\displaystyle 0{,}3942}$	${\displaystyle \leq }$	${\displaystyle 3{,}1866}$	${\displaystyle \not \leq }$	${\displaystyle 1{,}9041}$	${\displaystyle \not \leq }$	${\displaystyle 1{,}1428}$	${\displaystyle \not \leq }$	${\displaystyle 1{,}4483}$	${\displaystyle \not \leq }$	${\displaystyle 2{,}1096}$
PAV			${\displaystyle (3{,}0824+2{,}3635+1{,}1783+0{,}3942)/4}$								${\displaystyle (3{,}1866+1{,}9041+1{,}1428+1{,}4483+2{,}1096)/5}$
			${\displaystyle =1{,}7546}$								${\displaystyle =1{,}9447}$
${\displaystyle {\hat {d}}_{ij}^{(0)}}$	${\displaystyle 1{,}3172}$	${\displaystyle \leq }$	${\displaystyle 1{,}7546}$	${\displaystyle \leq }$	${\displaystyle 1{,}7546}$	${\displaystyle \leq }$	${\displaystyle 1{,}7546}$	${\displaystyle \leq }$	${\displaystyle 1{,}7546}$	${\displaystyle \leq }$	${\displaystyle 1{,}9447}$	${\displaystyle \leq }$	${\displaystyle 1{,}9447}$	${\displaystyle \leq }$	${\displaystyle 1{,}9447}$	${\displaystyle \leq }$	${\displaystyle 1{,}9447}$	${\displaystyle \leq }$	${\displaystyle 1{,}9447}$

Lösung der nicht-metrischen multidimensionalen Skalierung

Aus den berechneten euklidischen Distanzen ergibt sich, dass die Monotoniebedingung in zwei Bereichen verletzt ist:

1. ${\displaystyle d_{B,HH}\leq d_{F,M}\leq d_{HH,K}\leq d_{F,HH}}$ und
2. ${\displaystyle d_{B,F}\leq d_{B,K}\leq d_{K,M}\leq d_{B,M}\leq d_{HH,M}}$.

Die Disparitäten ${\displaystyle {\hat {d}}_{ij}^{(0)}}$ werden daher als Mittelwerte (1,7546 bzw. 1,9447) der entsprechenden Bereiche berechnet. Mit den Disparitäten können nun die Punktpositionen verschoben werden. Dieses Verfahren wird iteriert und führt zur nebenstehenden Lösung.

Abbruch- bzw. Gütekriterien

Ziel des Verfahrens ist eine optimale Anpassung der MDS-Lösung an die Rohdaten und somit ein möglichst geringer STRESS- oder Energiewert bzw. ein möglichst großes Bestimmtheitsmaß. Diese Werte sind als Unterschied zwischen Disparität und Distanz zu verstehen. Verändern sich die Werte nicht mehr oder nur geringfügig, wird das Iterationsverfahren abgebrochen.

STRESS-Maße

Der STRESS-Wert (STRESS für STandardized REsidual Sum of Squares, deutsch: standardisierte Residuenquadratsumme) berechnet sich (nach Kruskal) als Wurzel aus der Summe der Abweichungsquadrate der Disparitäten von den Distanzen, geteilt durch die Summe der quadrierten Distanzen. Damit ist STRESS ein normiertes Varianzmaß:

Anpassungsgüte	STRESS 1	STRESS 2
gering	0,2	0,4
ausreichend	0,1	0,2
gut	0,05	0,1
ausgezeichnet	0,025	0,05
perfekt	0	0

${\displaystyle STRESS_{1}=\left({\frac {\sum _{i<j}(d_{ij}-{\hat {d}}_{ij})^{2}}{\sum _{i<j}d_{ij}^{2}}}\right)^{\frac {1}{2}}}$

Ein alternatives STRESS Maß ist

${\displaystyle STRESS_{2}=\left({\frac {\sum _{i<j}(d_{ij}-{\hat {d}}_{ij})^{2}}{\sum _{i<j}(d_{ij}-{\overline {d}})^{2}}}\right)^{\frac {1}{2}}}$

mit ${\displaystyle {\overline {d}}}$ der Mittelwert aller Distanzen.

Prinzipiell gibt es keine exakten Vorgaben dafür, welcher STRESS-Wert noch akzeptabel ist und welchen man als „gut“ bezeichnen kann. „Um überhaupt eine Norm zu haben, hat man die ‚nullste aller Nullhypothesen’ untersucht und tausende von Zufallsdaten per MDS skaliert und dabei registriert, welche Stress-Werte sich ergeben“ (vgl. BORG/ STAUFENBIEL 1989). Kruskal^[1] hat Anhaltswerte für den STRESS-Wert erstellt, an denen man sich orientieren kann.

Bestimmtheitsmaß

Neben den einfachen Kostenkriterien STRESS wird ein alternatives Maß als Gütekriterium für die Anpassung der Konfiguration an die Rohdaten verwendet. Das Bestimmtheitsmaß ist die quadrierte Korrelation der Distanzen mit den Disparitäten und als Pegel der linearen Anpassung der Disparitäten an die Distanzen zu sehen. In der Praxis gelten Werte, die größer sind als 0,9 für das Bestimmtheitsmaß als akzeptabel.

Energie

Die Gewichtung der Summanden in der ${\displaystyle STRESS_{1}}$-Formel führt zu Energiemaßen^[3]

${\displaystyle E=\left({\frac {\sum _{i<j}w_{ij}(d_{ij}-{\hat {d}}_{ij})^{2}}{\sum _{i<j}w_{ij}d_{ij}^{2}}}\right)^{\frac {1}{2}}}$

Software

In Statistikprogrammen, wie SPSS, kann die MDS automatisch durchgeführt werden. In R führt die Funktion cmdscale eine MDS durch. Ebenso verhält es sich mit Matlab, welches MDS durch die Funktion mdscale bereitstellt. In Python enthält das Paket scikit-learn eine entsprechende Funktion sklearn.manifold.MDS.

Literatur

• Thomas A. Runkler: Data Mining Methoden und Algorithmen intelligenter Datenanalyse. Vieweg+Teubner, 2010, S. 41–47.
• W. S. Torgerson: Theory & Methods of Scaling. Wiley, New York 1958.
• I. Borg, Th. Staufenbiel: Theorien und Methoden der Skalierung. Huber, Bern 2007.
• Backhaus, Erichson, Plinke, Weiber: Multivariate Analysemethoden. Springer Verlag, Berlin 2000
• R. Mathar: Multidimensionale Skalierung. Teubner, Stuttgart 1997
• I. Borg, P. Groenen: Modern Multidimensional Scaling: Theory and Applications. Springer, New York 2005.

Einzelnachweise

1. J. B. Kruskal. Multidimensional scaling by optimizing goodness of fit to a nonmetric hypothesis. In: Psychometrika, 29(1), 1964, S. 1–27, doi:10.1007/BF02289565
2. Kappelhoff: Multidimensionale Skalierung – Beispiel zur Datenanalyse. (PDF; 404 kB) Lehrstuhl für empirische Wirtschafts- und Sozialforschung, 2001
3. Wojciech Basalaj: Proximity Visualization of Abstract Data. (PDF; 7,3 MB) 2001; abgerufen am 19. Juni 2013