Das Mahler-Maß ist in der Mathematik ein Maß für die Komplexität von Polynomen. Es ist nach Kurt Mahler (1903–1988) benannt und wurde ursprünglich in der Suche nach großen Primzahlen verwendet. Heute ist es wegen des Zusammenhangs zu speziellen Werten von L-Funktionen Gegenstand zahlreicher Vermutungen der analytischen Zahlentheorie.
Definition
Das Mahler-Maß
eines Polynoms
mit reellen oder komplexen Koeffizienten ist
.
Hierbei ist
![{\displaystyle \|p\|_{\tau }=\left({\frac {1}{2\pi }}\int _{0}^{2\pi }|p(e^{i\theta })|^{\tau }\,d\theta \right)^{1/\tau }\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cff82af46e7ed67529e6e324ecb43a871e0fec1)
die
-Norm von
. Mit Hilfe der Jensenschen Formel kann man zeigen, dass aus
![{\displaystyle p(z)=a(z-\alpha _{1})(z-\alpha _{2})\cdots (z-\alpha _{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c337201f9074c2ef0f6041dad1cdab73bdf0d85)
folgt:
![{\displaystyle M(p)=|a|\prod _{i=1}^{n}\max\{1,|\alpha _{i}|\}=|a|\prod _{|\alpha _{i}|\geq 1}|\alpha _{i}|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c45e07abd449422ff83e442b8acf44675e4fcd04)
Das logarithmische Mahler-Maß eines Polynoms ist definiert als
.
Das Mahler-Maß einer algebraischen Zahl
ist definiert als das Mahler-Maß des Minimalpolynoms von
über
.
Eigenschaften
- Das Mahler-Maß ist multiplikativ, d. h.
![{\displaystyle M(p\,q)=M(p)\cdot M(q).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74ed9979faea3be1ca37e7925ff1767903889c5d)
- Für zyklotomische Polynome und ihre Produkte gilt
. - Satz von Kronecker: Wenn
ein irreduzibles monisches Polynom mit ganzzahligen Koeffizienten und
ist, dann ist entweder
oder
ist ein zyklotomisches Polynom. - Die Lehmersche Vermutung besagt, dass es eine Konstante
gibt, so dass jedes irreduzible Polynom
mit ganzzahligen Koeffizienten entweder zyklotomisch ist oder
erfüllt. - Das Mahler-Maß eines monischen Polynoms mit ganzzahligen Koeffizienten ist eine Perron-Zahl.
Spezielle Werte von L-Funktionen
Es gibt zahlreiche vermutete und teils auch bewiesene Beziehungen zwischen (logarithmischen) Mahler-Maßen von Polynomen und speziellen Werten von L-Funktionen.
Das historisch erste Beispiel hierfür war Smyth's Formel
![{\displaystyle m(1+x_{1}+x_{2})={\frac {3{\sqrt {3}}}{4\pi }}L(\chi _{-3},2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f208116dc7661d8c4d2b69fef4e07afe573358c2)
mit
.
Eine Vermutung von Chinburg besagt, dass man zu jeder negativen Zahl
ein Laurent-Polynom
und eine rationale Zahl
mit
![{\displaystyle m(P_{f})=r_{f}d_{F}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b639b36526dc5925df57954d2505c4fc409894a0)
für die Diskriminante
![{\displaystyle d_{f}={\frac {f{\sqrt {f}}}{4\pi }}L(\chi _{-f},2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f755e7067da263562cac7fffc82f6c1db21ea8a)
des Charakters
hat. Ein auf Boyd und Rodriguez-Villegas zurückgehender Ansatz besteht darin, logarithmische Mahler-Maße einer bestimmten Klasse von Polynomen (insbesondere A-Polynomen hyperbolischer Mannigfaltigkeiten) als rationale Linearkombinationen von Werten des Bloch-Wigner-Dilogarithmus an algebraischen Argumenten darzustellen, und dieses wiederum mit dem Volumen einer hyperbolischen Mannigfaltigkeit und über den Satz von Borel mit speziellen Werten von Zeta-Funktionen in Beziehung zu setzen.
Mahler-Maß für Polynome mehrerer Variablen
Das Mahler-Maß
eines Polynoms
wird analog definiert durch die Formel
![{\displaystyle M(p)=\exp \left({\frac {1}{(2\pi )^{n}}}\int _{0}^{2\pi }\int _{0}^{2\pi }\cdots \int _{0}^{2\pi }\ln {\Bigl (}{\bigl |}p(e^{i\theta _{1}},e^{i\theta _{2}},\ldots ,e^{i\theta _{n}}){\bigr |}{\Bigr )}\,d\theta _{1}\,d\theta _{2}\cdots d\theta _{n}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc8945111441bd5790031f98d3e8c51781c35e98)
Es kann gezeigt werden, dass
konvergiert.[1]
Für
bezeichne
![{\displaystyle q({\boldsymbol {r}}):={\text{min}}\{{\text{max}}\{|s_{j}|:1\leq j\leq N\}:s=(s_{1},\dots ,s_{N})\in \mathbb {Z} ^{N},s\neq (0,\dots ,0)\ {\text{and}}\ \sum _{j=1}^{N}s_{j}r_{j}=0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d38b2256a8d256e90ac503c429360d3ea2b4890e)
Dann ist
![{\displaystyle M{\bigl (}p(x_{1},\ldots ,x_{n}){\bigr )}=\lim _{{\boldsymbol {r}}\in \mathbb {N} ^{n} \atop q({\boldsymbol {r}})\to \infty }M{\bigl (}p(x^{r_{1}},x^{r_{2}},\ldots ,x^{r_{n}}){\bigr )}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a742171d2ed19bc790c8a6af2a6d2656dd2ce564)
Literatur
- Derrick Henry Lehmer: Factorization of certain cyclotomic functions. Ann. of Math. (2) 34 (1933), no. 3, 461–479.
- David W. Boyd: Speculations concerning the range of Mahler's measure. Canad. Math. Bull. 24 (1981), 453–469.
- Klaus Schmidt: Dynamical systems of algebraic origin. Progress in Mathematics, 128. Birkhäuser Verlag, Basel, 1995. ISBN 3-7643-5174-8
Weblinks
- Mahler's measure and special values of L-functions
Einzelnachweise
- ↑ W. Lawton: A problem of Boyd concerning geometric means of polynomials. J. Number Theory 16 (1983), no. 3, 356–362.