Height Rigidity for Entire Functions

수학이라는 광활한 풍경 속에는 두 종류의 숫자 사이의 조용한 긴장이 존재한다. 하나는 단순한 분수로 쓸 수 있는 숫자이고, 다른 하나는 그럴 수 없는 숫자이다. 우리가 일상에서 사용하는 1/2이나 3/4 같은 숫자들은 유리수이다. 이들은 질서 정연하고 예측 가능하다. 그러나 훨씬 더 포착하기 어려운 또 다른 집단이 있다. 바로 초월수이다. 파이($\pi$)나 자연로그의 밑($e$)과 같은 이 숫자들은 유리수 계수를 가진 어떠한 단순한 다항 방정식의 해가 될 수도 없다. 한 세기 넘게 수학자들은 이 두 세계가 어떻게 상호작 작용하는지에 대해 매료되어 왔다. 구체적으로, 그들은 유리수를 복잡한 초월 함수에 입력했을 때 어떤 일이 벌어지는지 물어왔다. 출력값은 단순함을 유지하는가, 아니면 혼돈 속으로 폭발하는가?

이 질문의 역사는 놀라운 반전들로 가득 차 있다. 20세기 초, 수학자들은 유리수 입력을 받아 유리수를 출력하거나, 심지어 특정 대수적 수의 가문에 속하는 출력을 내놓는, 카멜레온처럼 행동하는 초월 함수를 구성하는 것이 가능하다는 것을 발견했다. 이러한 구성들은 엄격한 규칙이 없다면 초월 함수가 믿을 수 없을 정도로 유연하다는 것을 보여주었다. 초월 함수는 거의 모든 목표값을 넓은 점의 집합 위에서 맞출 수 있도록 강제될 수 있다. 그러나 이러한 유연성에는 한계가 있다. 수학자들이 단순히 함수가 무엇을 생산하는가가 아니라, 그 값들이 얼마나 '복잡'한지를 측정하기 시작했을 때, 다른 그림이 나타났다. 그들은 만약 함수가 너무 자주 너무 단순한 값을 생성한다면, 그것은 초월적인 것이 아니라 훨씬 더 단순한 대상, 즉 변장을 하고 있는 다항식일 수도 있다는 것을 깨달았다.

이것은 디에고 마르케스(Diego Marques)의 최근 연구가 탐구하는 영역으로, 그는 이러한 복잡한 함수들의 숨겨겨진 경직성을 조사한다. 이 연구는 '높이(height)'라고 불리는 특정한 유형의 측정치에 초점을 맞춘다. 숫자의 세계에서 높이는 복잡성을 정량화하는 방법이다. 단순한 분수의 경우, 높이는 분자와 분모의 크기에 의해 결정된다. 예를 들어 1/1000은 1/2보다 더 복잡한데, 그 숫자들이 더 크기 때문이다. 더 복잡한 대수적 수의 경우, 높이는 그 수를 정의하는 방정식의 계수 크기를 측정한다. 마르케스가 다루는 핵심 질문은 이것이다: 만약 초월 함수가 유리수 입력을 받아 결과값이 유리수일 뿐만 아니라 그 높이가 통제되고 예측 가능한 방식으로 성장한다면, 그것은 함수 자체에 대해 무엇을 말해주는가?

이 작업에서 증명된 답은 결정적인 제약이다. 이 연구는 만약 초월 전해 함수(transcendental entire function, 복소 평면 전체에서 매끄럽고 정의된 함수)가 유리수를 고정되고 유한한 복잡성을 가진 대수적 수로 매핑하고, 출력의 '높이'가 입력의 높이에 대한 특정 거듭제곱보다 빠르게 성장하지 않는다면, 그 함수는 초월적일 수 없음을 보여준다. 그것은 반드시 다항식이어야 한다. 더 쉽게 말하면, 함수는 자신의 복잡한 무한한 본성을 벗어던지고 유한한 대수적 객체로서 자신을 드러내도록 강요받는 것이다. 이 연구는 함수가 입력의 복잡도와 출력의 복잡도 사이에 이토록 타이트한 다항식 관계를 유지할 수 있는 유일한 방법은 함수 자체가 다항식인 경우뿐임을 확립한다.

증명은 수학자 조나단 필라(Jonathan Pila)가 개발한 강력한 계수 원리에 의존한다. 이 원리는 보이지 않는 대수적 수의 세계를 위한 인구 조사관처럼 작동한다. 이 원리는 진정한 초월 함수의 그래프 위에서 통제된 복잡성을 가진 점들은 믿을 수 없을 정도로 드물다는 것을 명시한다. 그 점들은 매우 희박하여, 그 수가 함수에 입력할 수 있는 유리점의 수보다 훨씬 느리게 성장한다. 만약 함수가 이러한 단순하고 통제된 출력값들의 밀집된 구름을 생성한다면, 인구 조사는 모순을 보여줄 것이다. 이러한 모순을 피할 수 있는 유일한 방법은 함수의 그래프가 초월적인 것이 아니라, 그러한 점들이 자연스럽게 풍부하게 존재하는 다항식 곡선의 일부인 경우뿐이다.

이 발견은 유리수에서의 함수 거동에 관한 오래된 퍼즐을 해결한다. 이전의 연구들은 유리수를 입력받아 유리수를 내놓는 초월 함수를 구성할 수 있음을 보여주었지만, 그 결과 발생하는 분모의 복잡성은 고정된 어떤 거듭제곱보다도 훨씬 빠르게, 종종 무질서하게 성장했다. 새로운 연구는 만약 당신이 이 성장을 길들이려 하여 분모가 다항식 범위 내에 머물도록 강제한다면, 함수의 초월적 본성을 깨뜨리게 된다는 것을 확인해 주었다. 이것은 경직성의 문턱이다: 이 선을 넘으면, 함수는 다항식으로 붕괴한다.

그 영향은 유리수를 넘어 확장된다. 이 연구는 입력이 단순한 분수가 아니라 제곱근 2나 세제곱근 5와 같이 고정된 차수를 가진 대수적 수인 경우도 다룬다. 동일한 규칙이 적용된다. 만약 함수가 이러한 숫자들을 가져와서 또한 유한한 차수를 가진 대수적 수를 출력하고, 그 높이가 통제된 방식으로 성장한다면, 그 함수는 반드시 다항식이어야 한다. 이 연구는 초월 함수가 그러한 산술적 규율을 가지고 행동할 가능성에 대한 문을 효과적으로 닫아버린다. 그것은 초월 함수의 세계가 본질적으로 야생적임을 보여준다; 즉, 출력의 복잡도가 입력의 복잡도와 엄격하고 예측 가능하게 연결되는 패턴 속으로 길들여지는 것에 저항한다는 것이다.

이 결과가 단지 이론적인 호기심인지, 아니면 실질적인 무게를 갖는지 궁금할 수 있다. 논문은 이 추상적인 경직성을 리우빌 수(Liouville numbers)에 관한 수학자 쿠르트 마를러(Kurt Mahler)의 유명한 문제와 연결한다. 리우빌 수는 분수에 의해 비정상적인 정밀도로 근사될 수 있는 실수들이다. 통제된 복잡성을 가진 다른 리우빌 수로 이 숫자들을 매핑하는 초월 함수의 존재 여부는 미해결 문제였다. 이 작업은 만약 복잡성이 다항식 경계에 의해 통제된다면 그러한 함수는 존재할 수 없음을 보여준다. 이 결과는 해석적 함수의 산술적 거동에 있어 가능성과 불가능함의 경계를 명확히 한다.

결론의 강점은 그 정밀함에 있다. 저자는 단순히 함수가 다항식이라고 말하는 데 그치지 않고, 그 다항식의 차수를 정확히 결정한다. 차수는 높이의 성장을 측정하는 데 사용된 지수에 의해 제한된다. 만약 출력 높이가 입력 높이의 제곱처럼 성장한다면, 함수는 최대 2차 다항식이다. 만약 그것이 세제곱처럼 성장한다면, 차수는 최대 3이다. 이러한 날카로움은 이 경계가 증명의 부산물이 아니라 숫자 자체의 근본적인 속성임을 확인시켜 준다.

궁극적으로, 이 논문은 산술적 복잡성과 해석적 형태 사이의 관계에 대한 깊은 구조적 진실을 드러낸다. 이는 초월 함수의 자유가 산술적 높이라는 렌즈를 통해 볼 때 환상임을 시사한다. 초월 함수는 특정 목표를 맞추도록 구성될 수는 있지만, 입력의 크기와 출력의 크기 사이에 단순한 다항식 관계를 유지하면서 그렇게 할 수는 없다. 그들이 그러한 규칙을 따르도록 강제되는 순간, 그들은 초월성을 잃는다. 이 연구는 수학에서 가장 유연한 대상들이 적절한 종류의 계수를 통해 밝혀지기를 기다리는 가장 경직된 제약을 숨기고 있다는 아이디어의 증거로 서 있다.