Kaczmarz-Methode

Die auf der Arbeit des polnischen Mathematikers Stefan Kaczmarz basierte Kaczmarz-Methode dient der iterativen Lösung linearer Gleichungssysteme der Form $Ax=b$, wobei $A\in {ℝ}^{m\times n}$ eine, evtl. nicht-quadratische, Matrix, b die gegebene rechte Seite und x der gesuchte Lösungsvektor ist. Es handelt sich dabei um einen iterativen Algorithmus, der unter anderem Einzug in die Computertomographie und digitale Signalverarbeitung gefunden hat.

Im Gegensatz zu den meisten anderen iterativen Lösungsverfahren, wie zum Beispiel dem Gauß-Seidel-Verfahren, benötigt der Kaczmarz-Algorithmus keine invertierbare Matrix A. Insbesondere im unter-bestimmten Fall mit $m<n$ lässt sich damit die Lösung $x^{+}=A^{+}b$ kleinster Norm zur Pseudoinversen $A^{+}$ berechnen. Aus diesem Grund kann das Verfahren für praktisch alle Anwendungen problemlos eingesetzt werden, obwohl Verfahren für spezielle Problemstellungen wesentlich schneller sein können. Allerdings zeigt eine randomisierte Variante des Kaczmarz-Verfahrens wesentlich bessere Konvergenz im Falle überbestimmter Gleichungssysteme als andere iterative Lösungsverfahren.

Der ursprüngliche Algorithmus

Gegeben ist eine reelle (oder auch komplexe) m × n Matrix $A\in {ℝ}^{m\times n}$ von vollem Rang, sowie ein Vektor $b=(b_i)\in {ℝ}^m$. Die folgende Iterationsformel verbessert bei jedem Durchlauf die Annäherung $x_k$ an eine Lösung x der Gleichung Ax = b:

$x_{k+1}=x_k+{\omega }_k\frac{b_i-a_i^T{x}_k}{\Vert a_i{\Vert }^2}{a}_i.$,

Bei der deterministischen Variante wird der Index i zyklisch gewählt,

$i=(kmodm)+1$

und ${\omega }_k\in ℝ$ ist ein positiver Relaxationsparameter, der in der ursprünglichen Version gleich eins war. Dabei ist mit $a_i\in {ℝ}^m$ die transponierte i-te Zeile der Matrix A gemeint, $\Vert a_i{\Vert }^2$ ist die quadrierte euklidische Norm von $a_i$, die Summe der quadrierten Einträge von $a_i$ bzw. das Skalarprodukt $⟨a_i,a_i⟩=a_i^T{a}_i$. Das Verfahren ist besonders effizient bei dünn-besetzter Matrix, wenn die Vektoren $a_i$ nur wenige nichttriviale Elemente besitzen.

Geometrisch projiziert der einzelne Iterationsschritt den aktuellen Näherungsvektor $x_k$ orthogonal auf die i-te Hyperebene, es gilt $a_i^T{x}_{k+1}=b_i.$

Mit dem Startwert $x_0=0$ konvergiert die Iteration im unterbestimmten Fall $m<n$ gegen die Lösung $x^{+}=A^{+}b$ kleinster Norm zur Pseudoinversen $A^{+}$. Im überbestimmten, inkonsistenten Fall $m>n$ springen die Iterierten am Ende allerdings zwischen den Hyperebenen hin und her, und man bekommt nur bei starker Unter-Relaxation mit ${\omega }_k\ll 1$ eine brauchbare Näherung an die Kleinste-Quadrate-Lösung $x^{+}=A^{+}b$.

Querverbindung zu anderen Iterationsverfahren

Im unterbestimmten Fall $m<n$ mit vollem Rang von A liegt die Lösung minimaler Norm im orthogonalen Komplement des Kerns/Nullraums $x^{+}\in N(A{)}^{\perp }=B(A^T)$, der mit dem Bildraum der transponierten Matrix übereinstimmt. Daher lässt sich $x^{+}$ darstellen als $x^{+}=A^T{y}^{+},y^{+}\in {ℝ}^m$. Somit ist $x^{+}$ die eindeutige Lösung des Gleichungssystems

$A{A}^{T}y=b,x=A^{T}y,$

mit positiv definiter Matrix $A{A}^T$. Wenn man die Iteration mit dem Startwert $x_0=0$ beginnt, liegen offensichtlich auch alle Iterierten im Bildraum von $A^T$. Daher hat jede Iterierte eine eindeutige Darstellung $x_k=A^T{y}_k,y_k\in {ℝ}^m$. Mit dieser wird der Iterationsschritt zu

$A^T{y}_{k+1}=A^T(y_k+{\omega }_k\frac{b_i-a_i^T{A}^T{y}_k}{\Vert a_i{\Vert }^2}{e}_i),$

wobei $e_i$ den i-ten Einheitsvektor bezeichnet. Da A vollen Rang besitzt, bedeutet das

$y_{k+1}=y_k+{\omega }_k\frac{b_i-a_i^T{A}^T{y}_k}{\Vert a_i{\Vert }^2}{e}_i.$

Dies ist aber genau der Teilschritt in einer einzelnen Komponente für das Einzelschritt-/Gauß-Seidel-Verfahren (${\omega }_k=1$) beziehungsweise mit allgemeinem ${\omega }_k$ das SOR-Verfahren zum System $A{A}^{T}y=b$, deren wohlbekannte Konvergenzaussagen sich also auf die Kaczmarz-Iteration übertragen. Z.B. konvergiert diese für festes ${\omega }_k\equiv \omega \in (0,2)$.

Randomisierter Algorithmus

Wie bereits weiter oben erwähnt, gibt es eine Variante des Verfahrens, die im Falle überbestimmter Gleichungssysteme wesentlich schneller konvergiert. Dabei wird bessere Konvergenz nicht nur für das Lösen hochgradig überbestimmter Gleichungssysteme erreicht, sondern bspw. auch beim Lösen von Systemen mit 10 % mehr Gleichungen als Unbekannten. Hierzu muss bei der obigen Iterationsgleichung das i nicht abhängig von k, sondern zufällig (daher der Name der Methode) gewählt werden. Die Wahrscheinlichkeit für ein bestimmtes i ist hierbei proportional zu $\Vert a_i{\Vert }^2$ für jede Iteration.

Ungleichungssysteme

Eine einfache Modifikation des Verfahrens kann zulässige Lösungen für Ungleichungssysteme $Ax\ge b,m\ge n$, berechnen. Beim Schritt

$x_{k+1}=x_k+\frac{\max \{0,b_i-a_i^T{x}_k\}}{\Vert a_i{\Vert }^2}{a}_i,$

wird eine Änderung nur durchgeführt, wenn $b_i-a_i^T{x}_k>0$ ist, also die i-te Ungleichung $a_i^T{x}_k\ge b_i$ verletzt ist. Dann wird $x_k$ von außen auf den i-ten Halbraum projiziert.

Auf diese Weise lassen sich mit dem Verfahren sogar Lineare Programme lösen über die Äquivalenz von Optimierungs- und Zulässigkeitsproblemen.

Quellen

• S. Kaczmarz: Przyblizone rozwiazywanie ukladów równan liniowych. – Angenäherte Auflösung von Systemen linearer Gleichungen. Bulletin International de l’Académie Polonaise des Sciences et des Lettres. Classe des Sciences Mathématiques et Naturelles. Série A, Sciences Mathématiques, S. 355–357, 1937. (Achtung: Dieser Artikel wird sehr verbreitet mit der falschen Seitenangabe 335–357 zitiert.)
• M. Hanke-Bourgeois; W. Niethammer: On the acceleration of Kaczmarz's method for inconsistent linear systems; Linear Algebra Applcs 130 (1990), 83–98
• A.Björck, T. Elfving: Accelerated projection methods for computing pseudoinverse solutions of systems of linear equations, BIT 19 (1979), 145–163
• T. Strohmer, R. Vershynin: A randomized Kaczmarz algorithm with exponential convergence, J. Fourier Anal. Appl. 15(1), 262–278, 2009
• W. Hackbusch: Iterative Lösung großer schwachbesetzter Gleichungssysteme. Teubner Studienbücher, 1993, S. 202–203