マーラー測度

テンプレート:要改訳 テンプレート:正確性 数学では、複素数係数の多項式 $p(x)\in ℂ[x]$ のマーラー測度(Mahler measure) $M(p)$ は、

$M(p)=\underset{\tau \to 0}{\lim }\Vert p{\Vert }_{\tau }=\exp (\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\ln (|p(e^{i\theta })|)d\theta )$

と定義する。

ここに

$||p|{|}_{\tau }={\left(\frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}|p(e^{i\theta }){|}^{\tau }d\theta \right)}^{1/\tau }$

は、 $p$ のL_τノルムである（これは $\tau <1$ の値の本来のノルムではないのであるが）。

イエンセンの公式により、

$p(z)=a(z-{\alpha }_1)(z-{\alpha }_2)\cdots (z-{\alpha }_n)$

であれば、

$M(p)=|a|\prod _{i=1}^n\max \{1,|{\alpha }_i|\}=|a|\prod _{|{\alpha }_i|\ge 1}|{\alpha }_i|.$

であることを示すことができる。

代数的数 $\alpha$ のマーラー測度は、$\mathbb{Q}$ 上の $\alpha$ の最小多項式のマーラー測度として定義される。

マーラー測度は、テンプレート:仮リンク(Kurt Mahler)にちなんで命名されている。

性質

• マーラー測度(Mahler measure)は乗法的、つまり、$M(pq)=M(p)\cdot M(q).$
• （クロネッカーの定理）$p$ が $M(p)=1$ なる整数係数の既約なモニック多項式であれば、$p(z)=z$ であるか、もしくは $p$ は円分多項式である。
• レーマーの予想は、定数 $\mu >1$ が存在して、$p$ が整数係数の既約多項式であれば、$M(p)=1$ かまたは、$M(p)>\mu$ であるという予想である。
• 整数係数のモニック多項式のマーラー測度は、テンプレート:仮リンク(Perron number)である。

高次元マーラー測度

多変数の多項式 $p(x_1,\dots ,x_n)\in ℂ[x_1,\dots ,x_n]$ のマーラー測度 $M(p)$ は、次の公式により同じように定義される。

$M(p)=\exp (\frac{1}{(2\pi {)}^n}\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}\cdots \underset{0}{\overset{2\pi }{\int }}\log (|p(e^{i{\theta }_1},e^{i{\theta }_2},\dots ,e^{i{\theta }_n})|)d{\theta }_{1}d{\theta }_2\cdots d{\theta }_n).$

多変数のマーラー測度は、一変数のマーラー測度の上記 3つの性質を持っている。（$m(P)=\log M(P)$ もマーラー測度と呼ぶ。）

ある場合には、多変数のマーラー測度はゼータ函数やL-函数の特殊値と関係を持つことが示されている。たとえば、1981年、クリス・スミス(Chris Smyth)は、次の式を証明した。

$m(1+x+y)=\frac{3\sqrt{3}}{4\pi }L({\chi }_{-3},2)$

ここに、$L({\chi }_{-3},s)$ はディリクレのL-函数であり、また

$m(1+x+y+z)=\frac{7}{2{\pi }^2}\zeta (3)$ ,

ここに、$\zeta$ はリーマンゼータ函数である。この公式では、2変数、および 3変数の多項式のマーラー測度が、それぞれ、テンプレート:仮リンク(dilogarithm)や三重対数函数 (trilogarithm) と関連付けられる。ここで、これらの式を他の導手へ一般化することができるかと問うことができる。つまり、各々の負の判別式 $-f$ に対し、多項式 $P_f(x,y)\in \mathbb{Z}[x,y]$ と 0 でない $r_f\in \mathbb{Q}$ が存在し、

$m(P_f)=r_f{d}_f,$

とすることができるであろうか。ここに $d_f=\frac{f\sqrt{f}}{4\pi }L({\chi }_{-f},2)$ とする。さらに一般的に、ある場合には、複素埋め込みをペアで持つ二次体 $F$ が与えられたとき、マーラー測度は、一般化された $F$ の判別式、ゼータ函数 ${\zeta }_F(z)$ の特殊値、有理数の積として表すことができるであろうか？

いくつかの結果(Lawton and Boyd)

定義よりマーラー測度は、トーラスの上の多項式の積分値とみなすことができる（レーマーの予想を参照）。$p$ がトーラス $(S^1{)}^n$ 上で 0 となるとすると、マーラー測度 $M(p)$ を定義する積分の収束は明白とはいえないが、ロートン(Lawton)は $M(p)$ が一変数マーラー測度の極限に等しくなることを証明した。この予想はテンプレート:仮リンク(David William Boyd)により予想されていた。

この定式化は次のようになる。$\mathbb{Z}$ で整数全体の集合を表し、すべての $j(1\le j\le N)$ に対し、${\mathbb{Z}}_{+}^N=\{r=(r_1,\dots ,r_N)\in {\mathbb{Z}}^N:r_j\ge 0$ と定義する。$Q(z_1,\dots ,z_N)$ を $N$ 変数の多項式とし、$r=(r_1,\dots ,r_N)\in {\mathbb{Z}}_{+}^N$ に対し、一変数の多項式 $Q_r(z)$ を

$Q_r(z):=Q(z^{r_1},\dots ,z^{r_N})$

と定義し、$q(r)$ を

$q(r):=\text{min}\{H(s):s=(s_1,\dots ,s_N)\in {\mathbb{Z}}^N,s\ne (0,\dots ,0)\text{and}\sum _{j=1}^N{s}_j{r}_j=0\}$

と定義する。ここに $H(s)=\text{max}\{|s_j|:1\le j\le N\}$ である。すると

Theorem (Lawton) : $Q(z_1,\dots ,z_N)$ を複素数係数の N 変数の多項式とすると、極限

$\underset{q(r)\to \mathrm{\infty }}{\lim }M(Q_r)=M(Q)$

を定義できる（たとえ条件 $r_i\ge 0$ を緩めても成立する）。

ボイドの提示

ボイドは上の定理よりも一般的なステートメントを提示していて、現在も完全に証明されてはいない。彼は次のことを指摘した。すべての根を単位円板の中にあるような整数係数のモニック多項式を特徴付ける古典的なクロネッカーの定理は、マーラー測度がちょうど 1 であるような一変数多項式を特徴づけていると見なすことができ、この結果は多変数の多項式にも適用できる。

Theorem (Boyd) : $F(z_1,\dots ,z_n)$ を整数係数の多項式とすると、$M(F)=1$ であることと、$F$ が $K_n$ の元であることとは同値である。この $K_n$ の元は「拡張された円分多項式」と呼ばれ、次の形で定義される。

$\mathrm{\Psi }(z)=z_1^{b_1}\dots z_n^{b_n}\mathrm{\Phi }(z_1^{v_1},\dots ,z_n^{b_n}).$

ここに、${\mathrm{\Phi }}_m(z)$ は m 次既約多項式でり、$v_i$ は整数、$b_i=\max (0,-v_i\mathrm{deg}{\mathrm{\Phi }}_m)$ は $\mathrm{\Psi }(z)$ が $z_i$ の多項式となるような最小な整数として選択される。各々の $n$ に対し、$K_n$ は積 $\pm z_1^{c_1}\dots z_n^{c_n}$ として選択され、拡張円分多項式である。

このことより、多項式 $P(z)$ に対し、

$L_n:=\{m(P(z_1,\dots ,z_n):P\in \mathbb{Z}[z]\},$

が定義され、集合 $𝕃=\bigcup _{n=1}^{\mathrm{\infty }}{L}_n$ をその極限とする。また彼は、集合 $𝕃$ が閉であることも予想した。このことは、レーマーの予想の単純な証明を与えるのではあるが、なんら下界が明白ではない。上記、スミス(Smyth)の結果は $L_1⫋L_2$ であることを示唆していて、彼は

$L_1⫋L_2⫋\cdots$

であることも予想しているが、知られる限りでは、現在、この予想は未解決である。（ロートンの極限定理は、レーマー予想の肯定的な条件付き証明の中では、最も一般的である。）

関連項目

• テンプレート:仮リンク(Bombieri norm)
• テンプレート:仮リンク(Height of a polynomial)

参考文献

• Hazewinkel, Michiel, ed. (2001), Mahler measure, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4[1]
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite journal
• David Boyd and F. Rodriguez Villegas: Mahler's measure and the dilogarithm, part 1, Canadian J. Math., vol, 54, 2002, pp. 468–492

外部リンク

• Mahler Measure on MathWorld
• Jensen's Formula on MathWorld