Diophantine approximation of matrices (Q1359157)

Bezeichnet \(M(\ell,m;K)\) die Menge der \(\ell\times m\)-Matrizen über einem Ring \(K\), so wird in der vorliegenden Arbeit die Approximation von \(B\in M(\ell,m;\mathbb{R})\) durch Matrizen \(P\in M(\ell,m;\mathbb{Z})\) untersucht. Im ersten Teil beschäftigen sich die Autoren mit oberen, im zweiten mit unteren Schranken für \(|B|:=\min\{|B-P|: P\in M(\ell,m;\mathbb{Z})\}\), wo \(|\cdot|\) entweder die Maximumsnorm oder das geometrische Mittel der euklidischen Längen der Zeilenvektoren der involvierten Matrix bedeuten. Erster Teil: Im homogenen Fall wird ein Analogon zum Dirichletschen Satz über simultane Approximationen bewiesen. Dabei zeigt sich, daß die Wahl von \(|\cdot|\) für die Qualität der erzielten Schranken wesentlich ist. Algorithmen zur Basisreduktion können zur Berechnung guter Approximationen in polynomialer Zeit verwendet werden. Im inhomogenen Fall wird ein Analogon zum Kroneckerschen Satz über simultane Approximationen gewonnen. Weiter wird hier eine effektive Version angegeben, die auf einer Arbeit von \textit{R. Kannan} und \textit{L. Lovász} [Ann. Math., II. Ser. 128, 577-602 (1988; Zbl 0659.52004)] beruht. Zweiter Teil: Es wird gezeigt, daß eine Verallgemeinerung des Rothschen Satzes für \(2\times 2\)-Matrizen gilt, wobei man allerdings eine explizit beschriebene Menge von Matrizen, die ``gut'' approximierbar sind, de facto auszunehmen hat. Wichtigstes Hilfsmittel ist hier ein Resultat von \textit{W. M. Schmidt} [J. Number Theory 3, 253-277 (1971; Zbl 0221.10034)] über Roth-Systeme. Die in diesem Teil erzielten Resultate werden angewandt zum Nachweis, daß \(A^{1/n}\) durch rationale Matrizen ``schlecht'' approximierbar ist, wenn \(A\in M(2,2;\mathbb{Q})\) nicht rationales Vielfaches der Einheitsmatrix ist. Die Methoden dieser Arbeit wurden in den Kapiteln 4 und 5 der Dissertation der erstgenannten Autorin [\textit{G. N. ten Have}, Diophantine analysis of matrices, Leiden (1993; Zbl 0786.11039)] entwickelt. Jedoch sind jetzt einige neue oder allgemeiner formulierte Resultate hinzugekommen.