Numerical study of the representation of a totally positive quadratic integer as the sum of quadratic integral squares (Q772128)

Es sei \(Q[a, b]\) die kleinste Zahl, so daß die ganze Zahl \((a+b \sqrt{m})/f\) im reell-quadratischen Zahlkörper \(P(\sqrt{m})\) die Summe von \(Q[a, b]\) Quadraten ist \((a \equiv b \bmod m\), \(f=2 \text{ oder }1\), je nachdem \(m\equiv 1\bmod 4\) oder nicht). \([a, b]\) sei total positiv, weil sonst \(Q[a, b]=0\) (d.h. es gibt keine solche Darstellung für \([a, b]\)). Es gibt Zahlkörper, für die stets \(0<Q[a, b] \le 3\). Verf. legt als Ergebnis von Rechnungen mit der Rechenanlage GEORGE eine Liste über die Häufigkeit von \(Q\)-Werten für 37 verschiedene Zahlkörper vor, die u. a. die Vermutung \(0 \le Q \le 5\) nahelegen, und knüpft einige Überlegungen daran. Zur Rechnung: Die Menge aller totalpositiven \([a, b]\) (für festes \(m\) ) sei lexikographisch geordnet, und \(\mathfrak{M}\) sei die Teilmenge der ersten \(A\) \((=\) annähernd 4000) Elemente. Ist \(\mathfrak{M}_q\) die Teilmenge der Elemente von \(\mathfrak{M}\) mit \(Q[a, b]=q\), so gilt für \(q>1\), weil die Bedingung für die Total-Positivität auch \(a>0,\, b \ge 0\) enthält, \[ \mathfrak{M}_q \subseteq \mathfrak{M}_{q-1}+\mathfrak{M}_1. \tag{1} \] Nach der expliziten Bestimmung von \(\mathfrak{M}_1\) verlief die Rechnung gemäß (1). Sie endete mit \(\mathfrak{M}_Q \subset \underset{0<q<Q}{\cup} \mathfrak{M}_q =\mathfrak{N}\), weil sich dann \(\mathfrak{M}_0\) als Komplement von \(\mathfrak{N}\) ergibt. Die Frage, ob \(A\) eine \glqq große\grqq{} Zahl ist, wird beleuchtet durch den Vergleich mit einer asymptotischen Aussage: Unter den \(A\) Zahlen mit \(a \le k\) muß es ungefähr \(\pi \sqrt{A}/2\sqrt[4]{m}\) echte Quadrate geben.