マーラー測度
数学では、複素数係数の多項式 [math]p(x) \in \mathbb{C}[x][/math] のマーラー測度(Mahler measure) [math]M(p)[/math] は、
- [math]M(p)=\lim_{\tau \rightarrow 0} \|p\|_{\tau} = \exp\left( \frac{1}{2\pi} \int_{0}^{2\pi} \ln(|p(e^{i\theta})|)\, d\theta \right)[/math]
と定義する。
ここに
- [math] ||p||_{\tau} =\left( { \frac{1}{2\pi} \int_{0}^{2\pi} |p(e^{i\theta})|^\tau \, d\theta } \right)^{1/\tau} \,[/math]
は、 [math]p[/math] のLτノルムである（これは [math]\tau \lt 1[/math] の値の本来のノルムではないのであるが）。
イエンセンの公式により、
- [math]p(z) = a(z-\alpha_1)(z-\alpha_2)\cdots(z-\alpha_n)[/math]
であれば、
- [math]M(p) = |a| \prod_{i=1}^{n}\max\{1,|\alpha_i|\}=|a|\prod_{|\alpha_i| \ge 1} |\alpha_i|.[/math]
であることを示すことができる。
代数的数 [math]\alpha[/math] のマーラー測度は、[math]\mathbb{Q}[/math] 上の [math]\alpha[/math] の最小多項式のマーラー測度として定義される。
マーラー測度は、クルト・マーラー(Kurt Mahler)にちなんで命名されている。
性質
- マーラー測度(Mahler measure)は乗法的、つまり、[math]M(p\,q) = M(p) \cdot M(q).[/math]
- （クロネッカーの定理）[math]p[/math] が [math]M(p) = 1[/math] なる整数係数の既約なモニック多項式であれば、[math]p(z) = z[/math] であるか、もしくは [math]p[/math] は円分多項式である。
- レーマーの予想は、定数 [math]\mu\gt 1[/math] が存在して、[math]p[/math] が整数係数の既約多項式であれば、[math]M(p)=1[/math] かまたは、[math]M(p)\gt \mu[/math] であるという予想である。
- 整数係数のモニック多項式のマーラー測度は、ペロン数(Perron number)である。
高次元マーラー測度
多変数の多項式 [math]p(x_1,\ldots,x_n) \in \mathbb{C}[x_1,\ldots,x_n][/math] のマーラー測度 [math]M(p)[/math] は、次の公式により同じように定義される[1]。
- [math]M(p) = \exp\left( \frac{1}{(2\pi)^n} \int_0^{2\pi} \int_0^{2\pi} \cdots \int_0^{2\pi} \log \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).[/math]
多変数のマーラー測度は、一変数のマーラー測度の上記 3つの性質を持っている。（[math] m(P)=\log{M(P)}[/math] もマーラー測度と呼ぶ。）
ある場合には、多変数のマーラー測度はゼータ函数やL-函数の特殊値と関係を持つことが示されている。たとえば、1981年、クリス・スミス(Chris Smyth)は、次の式を証明した[2]。
- [math] m(1+x+y)=\frac{3\sqrt{3}}{4\pi}L(\chi_{-3},2)[/math]
ここに、[math]L(\chi_{-3},s)[/math] はディリクレのL-函数であり、また
- [math] m(1+x+y+z)=\frac{7}{2\pi^2}\zeta(3)[/math] ,
ここに、[math]\zeta[/math] はリーマンゼータ函数である。この公式では、2変数、および 3変数の多項式のマーラー測度が、それぞれ、二重対数函数(dilogarithm)や三重対数函数 (trilogarithm) と関連付けられる。ここで、これらの式を他の導手へ一般化することができるかと問うことができる。つまり、各々の負の判別式 [math]-f[/math] に対し、多項式 [math]P_f(x,y)\in\mathbb{Z}[x,y][/math] と 0 でない [math]r_f\in\mathbb{Q}[/math] が存在し、
- [math]m(P_f)=r_fd_f\ ,[/math]
とすることができるであろうか。ここに [math]d_f=\frac{f\sqrt{f}}{4\pi}L(\chi_{-f},2)[/math] とする。さらに一般的に、ある場合には、複素埋め込みをペアで持つ二次体 [math]F[/math] が与えられたとき、マーラー測度は、一般化された [math]F[/math] の判別式、ゼータ函数 [math]\zeta_F(z)[/math] の特殊値、有理数の積として表すことができるであろうか？
いくつかの結果(Lawton and Boyd)
定義よりマーラー測度は、トーラスの上の多項式の積分値とみなすことができる（レーマーの予想を参照）。[math]p[/math] がトーラス [math](S^1)^n[/math] 上で 0 となるとすると、マーラー測度 [math]M(p)[/math] を定義する積分の収束は明白とはいえないが、ロートン(Lawton)は [math]M(p)[/math] が一変数マーラー測度の極限に等しくなることを証明した[3]。この予想はダヴィッド・ウィリアム・ボイド(David William Boyd)により予想されていた[4][5]。
この定式化は次のようになる。[math]\mathbb{Z}[/math] で整数全体の集合を表し、すべての [math]j (1\le j\le N)[/math] に対し、[math]\mathbb{Z}^N_+=\{r=(r_1,\dots,r_N)\in\mathbb{Z}^N:r_j\ge0[/math] と定義する。[math]Q(z_1,\dots,z_N)[/math] を [math]N[/math] 変数の多項式とし、[math]r=(r_1,\dots,r_N)\in\mathbb{Z}^N_+[/math] に対し、一変数の多項式 [math]Q_r(z)[/math] を
- [math]Q_r(z):=Q(z^{r_1},\dots,z^{r_N})[/math]
と定義し、[math]q(r)[/math] を
- [math]q(r):=\text{min}\{H(s):s=(s_1,\dots,s_N)\in\mathbb{Z}^N,s\ne(0,\dots,0)\ \text{and}\ \sum^N_{j=1}s_jr_j=0\}[/math]
と定義する。ここに [math]H(s)=\text{max}\{|s_j|:1\le j\le N\}[/math] である。すると
Theorem (Lawton) : [math]Q(z_1,\dots,z_N)[/math] を複素数係数の N 変数の多項式とすると、極限
- [math] \lim_{q(r)\rightarrow\infty}M(Q_r)=M(Q)[/math]
を定義できる（たとえ条件 [math]r_i\ge0[/math] を緩めても成立する）。
ボイドの提示
ボイドは上の定理よりも一般的なステートメントを提示していて、現在も完全に証明されてはいない。彼は次のことを指摘した。すべての根を単位円板の中にあるような整数係数のモニック多項式を特徴付ける古典的なクロネッカーの定理は、マーラー測度がちょうど 1 であるような一変数多項式を特徴づけていると見なすことができ、この結果は多変数の多項式にも適用できる[6]。
Theorem (Boyd) : [math] F(z_1,\dots,z_n)[/math] を整数係数の多項式とすると、[math]M(F)=1[/math] であることと、[math]F[/math] が [math]K_n[/math] の元であることとは同値である。この [math]K_n[/math] の元は「拡張された円分多項式」と呼ばれ、次の形で定義される。
- [math]\Psi(z)=z_1^{b_1} \dots z_n^{b_n}\Phi(z_1^{v_1},\dots,z_n^{b_n})\ .[/math]
ここに、[math]\Phi_m(z)[/math] は m 次既約多項式でり、[math]v_i[/math] は整数、[math]b_i=\operatorname{max}(0,-v_i\operatorname{deg}\Phi_m)[/math] は [math]\Psi(z)[/math] が [math]z_i[/math] の多項式となるような最小な整数として選択される。各々の [math]n[/math] に対し、[math]K_n[/math] は積 [math]\pm z_1^{c_1}\dots z_n^{c_n}[/math] として選択され、拡張円分多項式である。
このことより、多項式 [math]P(z)[/math] に対し、
- [math]L_n:=\{m(P(z_1,\dots,z_n):P\in\mathbb{Z}[z]\}\ ,[/math]
が定義され、集合 [math]\mathbb{L}=\bigcup^\infty_{n=1}L_n[/math] をその極限とする。また彼は、集合 [math]\mathbb{L}[/math] が閉であることも予想した[7]。このことは、レーマーの予想の単純な証明を与えるのではあるが、なんら下界が明白ではない。上記、スミス(Smyth)の結果は [math]L_1\subsetneqq L_2[/math] であることを示唆していて、彼は
- [math]L_1\subsetneqq L_2\subsetneqq \ \cdots[/math]
であることも予想しているが、知られる限りでは、現在、この予想は未解決である。（ロートンの極限定理は、レーマー予想の肯定的な条件付き証明の中では、最も一般的である。）
関連項目
参考文献
- Hazewinkel, Michiel, ed. (2001), Mahler measure, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4[1]
- Borwein, Peter (2002). Computational Excursions in Analysis and Number Theory, CMS Books in Mathematics. Springer-Verlag, 3, 15. ISBN 0-387-95444-9.
- Jensen, J.L. (1899). “Sur un nouvel et important théorème de la théorie des fonctions”. Acta Mathematica 22: 359–364. doi:10.1007/BF02417878. JFM 30.0364.02.
- Knuth, Donald E. (1997). “4.6.2 Factorization of Polynomials”, Seminumerical Algorithms, Third, The Art of Computer Programming, Reading, Massachusetts: Addison-Wesley, 439–461, 678–691. ISBN 0-201-89684-2.
- Lawton, Wayne M. (1983). “A problem of Boyd concerning geometric means of polynomials”. Journal of Number Theory 16: 356-362. doi:10.1016/0022-314X(83)90063-X. Zbl 0516.12018.
- Mossinghoff, M.J. (1998). “Polynomials with Small Mahler Measure”. Mathematics of Computation 67 (224): 1697–1706. doi:10.1090/S0025-5718-98-01006-0. Zbl 0918.11056.
- Schinzel, Andrzej (2000). Polynomials with special regard to reducibility, Encyclopedia of Mathematics and Its Applications. Cambridge: Cambridge University Press. ISBN 0-521-66225-7.
- Smyth, Chris (2008). “The Mahler measure of algebraic numbers: a survey”, Number Theory and Polynomials, London Mathematical Society Lecture Note Series. Cambridge University Press, 322–349. ISBN 978-0-521-71467-9.
- Boyd, David (1981a). Speculations concerning the range of Mahler's measure. Canad. Math. Bull.. 24(4). pp. 453–469.
- Boyd, David (1981b). Kronecker's Theorem and Lehmer's Problem for Polynomials in Several Variables. Journal of Number Theory. 13. pp. 116–121.
- Boyd, David (2000). Mahler's measure and invariants of hyperbolic manifolds, Number theory for the Millenium in M. A. Bennett (ed.). A. K. Peters, 127–143.
- Boyd, David (2002). Mahler's measure, hyperbolic manifolds and the dilogarithm. Canadian Mathematical Society Notes. 34. pp. 3–4, 26–28.
- David Boyd and F. Rodriguez Villegas: Mahler's measure and the dilogarithm, part 1, Canadian J. Math., vol, 54, 2002, pp. 468–492