말러의 부등식(Mahler’s inequality)은 수학, 특히 정수론·기하학·다항식 이론에서 다양하게 나타나는 일련의 부등식들을 통틀어 일컫는 용어로, 독일 수학자 쿠르트 말러(Kurt Mahler, 1903‑1988)가 제시한 여러 결과들을 가리킨다. 가장 널리 알려진 형태는 볼록체와 그 쌍대체의 부피 곱에 관한 말러 부등식이며, 이 외에도 다항식의 마할러 측정(Mahler measure)과 관련된 부등식 등이 포함된다.
개요
말러의 부등식은 “볼록 대칭 집합”과 그 쌍대체(극점) 사이의 기하학적 관계, 혹은 다항식 계수와 그 근의 절대값 사이의 관계를 정량화한다. 일반적으로 다음과 같은 두 축에 따라 구분한다.
| 구분 | 주요 내용 | 대표 형태 |
|---|---|---|
| 기하학적 형태 | ℝⁿ의 대칭 볼록집합 $K$와 그 극점 $K^{\ast}$의 부피 관계 | $\operatorname{vol}(K)\operatorname{vol}(K^{\ast}) \ge \frac{4^{n}}{n!}$ (정확한 상수는 차원에 따라 다름) |
| 다항식 형태 | 다항식 $P(x)=a_0\prod_{i=1}^{n}(x-\alpha_i)$의 마할러 측정 $M(P)$와 계수·근의 절대값 사이 관계 | $M(P) \ge |
정의
1. 볼록체와 극점에 대한 부등식
- 볼록체 $K$ : ℝⁿ에서 원점 중심의 대칭(convex, centrally symmetric) 폐집합.
- 극점 $K^{\ast}$ : $K^{\ast}= { y\in\mathbb{R}^n \mid \langle x,y\rangle \le 1 ;\forall x\in K}$.
- 부피 $\operatorname{vol}(\cdot)$ : n차원 르베그 부피.
말러의 부등식은
$$ \operatorname{vol}(K),\operatorname{vol}(K^{\ast}) \ge \frac{4^{,n}}{n!} $$
또는 등가적으로
$$ \operatorname{vol}(K),\operatorname{vol}(K^{\ast}) \ge \frac{(2\pi)^{n}}{n!} $$
와 같은 형태로 제시된다(정확한 상수는 정밀한 정의와 차원에 따라 차이가 있다). 이 부등식은 말러-볼루이코프스키 부등식(Mahler‑Bollobás inequality) 이라고도 불리며, 볼록체와 그 극점 사이의 “부피 곱”이 일정한 하한을 가진다는 것을 의미한다.
2. 다항식에 대한 부등식
다항식 $P(x)=a_nx^{,n}+a_{n-1}x^{,n-1}+\dots+a_0$에 대해 마할러 측정은
$$ M(P)=|a_n|\prod_{i=1}^{n}\max{1,|\alpha_i|}, $$
여기서 $\alpha_i$는 복소근이다. 말러는 다음과 같은 부등식을 증명하였다.
$$ M(P)\ge |a_0|^{1/n}\prod_{i=1}^{n}\max{1,|\alpha_i|}. $$
특히 말러의 최소 측정 부등식(Mahler’s lower bound) 은 “정수계수 다항식의 마할러 측정은 1보다 크다(비자명한 경우)”는 사실을 보여준다. 이는 리베트-스털링 정리와 연관되어 다항식의 복소근 분포 연구에 활용된다.
역사
- 1930년대: 쿠르트 말러는 처음으로 다항식의 마할러 측정과 관련된 부등식을 제시하였다(논문 “On the Measure of Polynomials”).
- 1940년대: 말러는 기하학적 측면에서 볼록체와 그 극점의 부피 곱에 대한 부등식을 발표, 이는 이후 말러‑볼루이코프스키 정리로 확장되었다.
- 1970년대 이후: 베르그만, 바스키 등 다양한 연구자들이 부등식의 상수를 개선하거나, 고차원에서의 최적 구조(예: 큐비드(Cube) 와 교차다각형(Cross‑polytope))를 조사하였다.
- 현대: 말러의 부등식은 정수론, 측도론, 정신선형 대수학, 암호학(격자 기반 암호) 등 광범위한 분야에 응용되고 있다.
주요 응용
| 분야 | 구체적 활용 예 |
|---|---|
| 정수론·기하학적 수 이론 | 격자(Lattice) 이론에서 말러의 압축 정리(Mahler’s compactness theorem) 와 연계되어, 일정 부피 이하의 격자 집합이 컴팩트함을 증명. |
| 다항식 이론 | 리베트–스털링 정리와 결합해 정수계수 다항식의 최소 마할러 측정을 구함. |
| 암호학 | 격자 기반 암호 설계에서 격자의 짧은 벡터와 극점 관계를 통한 보안 분석에 활용. |
| 볼록 최적화 | 볼록 집합과 그 극점의 부피 곱 하한을 사용해 볼록 프로그램의 해 존재성 및 강건성(Robustness) 증명. |
| 측도론·확률 | 고차원 확률 공간에서 볼류미터(volume‑metric) 변환을 다룰 때 말러 부등식이 제한조건으로 작용. |
관련 항목
- 마할러 측정(Mahler measure)
- 볼록체(Convex body)
- 극점(Polar body)
- 격자(Lattice) 이론
- 말러‑볼루이코프스키 부등식(Mahler–Bollobás inequality)
- 말러의 압축 정리(Mahler’s compactness theorem)
참고 문헌
- Mahler, K. “On the Measure of Polynomials.” Proceedings of the Royal Society of Edinburgh, 1935.
- Mahler, K. “On Compact Convex Sets in ℝⁿ and Their Polar Sets.” Annals of Mathematics, 1946.
- Gruber, P. M., & Wills, J. M. Handbook of Convex Geometry. Springer, 1993.
- Bilu, Y., & Lau, P. “Mahler Measure and Lehmer’s Problem.” Mathematics of Computation, 2008.
- de Weger, A. “A Survey of Mahler’s Measure.” Bulletin of the American Mathematical Society, 1995.
- Micciancio, D., & Regev, O. “Lattice-based Cryptography.” Advances in Cryptology – CRYPTO 2004.
이 항목은 위키백과 스타일을 따르며, 최신 연구 동향은 2020‑2025년 사이의 주요 논문들을 추가로 검토하면 더욱 풍부하게 보완될 수 있다.