マーラー測度

数学では、複素数係数の多項式 p(x) \in \mathbb{C}[x] の**マーラー測度**(Mahler measure) M(p) は、
: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)
と定義する。  

ここに
: ||p||_{\tau} =\left( { \frac{1}{2\pi} \int_{0}^{2\pi} |p(e^{i\theta})|^\tau \, d\theta } \right)^{1/\tau}  \, 
は、 p の''L''<sub>τ</sub>ノルムである（これは \tau  の値の本来のノルムではないのであるが）。

イエンセンの公式により、
: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(p\,q) = 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,\ldots,x_n) \in \mathbb{C}[x_1,\ldots,x_n] のマーラー測度 M(p) は、次の公式により同じように定義される。

: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).

多変数のマーラー測度は、一変数のマーラー測度の上記 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_fd_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\ge0 と定義する。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^N_{j=1}s_jr_j=0\}

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

**Theorem (Lawton)** : Q(z_1,\dots,z_N) を複素数係数の *N* 変数の多項式とすると、極限
: \lim_{q(r)\rightarrow\infty}M(Q_r)=M(Q)
を定義できる（たとえ条件 r_i\ge0 を緩めても成立する）。

### ボイドの提示

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

**Theorem (Boyd)** :  F(z_1,\dots,z_n) を整数係数の多項式とすると、M(F)=1 であることと、F が K_n の元であることとは同値である。この K_n の元は「拡張された円分多項式」と呼ばれ、次の形で定義される。
:\Psi(z)=z_1^{b_1} \dots z_n^{b_n}\Phi(z_1^{v_1},\dots,z_n^{b_n})\ .
ここに、\Phi_m(z) は *m* 次既約多項式でり、v_i は整数、b_i=\operatorname{max}(0,-v_i\operatorname{deg}\Phi_m) は \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]\}\ ,
が定義され、集合 \mathbb{L}=\bigcup^\infty_{n=1}L_n をその極限とする。また彼は、集合 \mathbb{L} が閉であることも予想した。このことは、レーマーの予想の単純な証明を与えるのではあるが、なんら下界が明白ではない。上記、スミス(Smyth)の結果は L_1\subsetneqq L_2 であることを示唆していて、彼は
:L_1\subsetneqq L_2\subsetneqq \ \cdots
であることも予想しているが、知られる限りでは、現在、この予想は未解決である。（ロートンの極限定理は、レーマー予想の肯定的な条件付き証明の中では、最も一般的である。）

## 関連項目
*(Bombieri norm)
*(Height of a polynomial)

## 脚注

## 参考文献
*Hazewinkel, Michiel, ed. (2001), Mahler measure, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4http://www.encyclopediaofmath.org/index.php/Mahler_measure
*
*
*
*
*
* 
* 
* 
* 
* 
* 
*David Boyd and F. Rodriguez Villegas: *Mahler's measure and the dilogarithm*, part 1, Canadian J. Math., vol, 54, 2002, pp.&nbsp;468–492

## 外部リンク
*Mahler Measure on MathWorld
*Jensen's Formula on MathWorld