🔢 mathematics

Constructing Discontinuous but Locally Bounded Rational Functions using \L ojasiewicz Inequalities

이 논문은 $Q$ 의 영집합(zero set)이 $P$ 의 영집합에 포함되는 점 $\text{에서 } P \text{와 } Q\text{가 } 0\text{이 되는 실 다변수 다항식 } P, Q\text{에 대하여, } Q\text{의 영집합으로의 연속적 연장이 반드시 불연속적일 수밖에 없는 형태인 } P^p/Q^q\text{의 국소 유계 유리 함수가 존재함을 로자에비치 부등식(Lojasiewicz inequalities)을 사용하여 입증한다.}$

원저자: Adam Coffman, Yifei Pan

게시일 2026-06-02

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Adam Coffman, Yifei Pan

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 강을 건너려고 한다고 상상해 보세요. 보통 다리(수학적 함수)가 있다면, 당신은 그 위를 매끄럽게 걸어서 건널 수 있습니다. 하지만 때때로 다리 한가운데에 구멍이 뚫려 있을 수도 있습니다. 만약 그 구멍 위를 지나가려 한다면, 당신은 떨어지거나 혹은 길이 너무 가팔라져서 올라갈 수 없게 될지도 모릅니다.

수학의 세계, 특히 유리 함수(분자가 다항식인 분수 형태, 예: $\frac{x^2}{y}$ )에서 수학자들은 분모(밑의 숫자)가 0이 되는 지점의 매우 특정한 종류의 "구멍"을 찾아내곤 합니다. 보통 분자(위의 숫자)도 그 지점에서 0이라면, 우리는 그 구멍을 메워서 매끄럽게 건널 수 있을지도 모릅니다.

아담 코프만(Adam Coffman)과 이페이 판(Yifei Pan)의 이 논문은 매우 구체적이고 까다로운 종류의 구멍에 대해 다루고 있습니다. 그들은 안전하게 걸을 수 있지만(유계/bounded), 매끄럽게 건너는 것은 불가능한(불연속/discontinuous) 다리를 찾고 있습니다.

이 발견을 쉬운 비유를 사용하여 다음과 같이 정리했습니다:

1. "안전하지만 울퉁불퉁한" 다리

어떤 다리가 완벽하게 평평하고 서 있기에 안전하지만, 특정 지점을 향해 걸어가려고 하면 갑자기 지면이 변하는 상황을 상상해 보세요. 당신은 중심점에 무한히 가까워질 수 있고 결코 가장자리 아래로 떨어지지는 않겠지만(함수가 유계임), 중심점 위에 발을 내디딜 수는 없습니다(함수가 불연속임). 중심점에 도달할 때 지면이 위나 아래로 툭 튀어 오르기 때문입니다.

전형적인 예시: 함수 $f(x,y) = \frac{xy}{x^2+y^2}$ 를 생각해 보세요. 만약 당신이 직선을 따라 중심(0,0)으로 걸어간다면, 높이 0.5에 도착할 수 있습니다. 하지만 다른 직선을 따라 걸어간다면 0에 도착할 것입니다. 곡선을 따라 걷는다면 1에 도착할 수도 있습니다. 이 다리는 "안전"하지만(무한대로 발산하지 않음), 높이가 방향에 따라 완전히 달라지기 때문에 엉망진창인 상태입니다.

2. 핵심 질문

저자들은 묻습니다: 우리는 항상 이런 식의 다리를 만들 수 있는가?
그들은 두 가지 모양(다항식)에서 시작합니다. 이를 $P$ (분자)와 $Q$ (분모)라고 부릅시다. 두 모양 모두 특정 지점에서 0이 됩니다. 그들은 $Q$ 의 "구멍"이 $P$ 의 "구멍" 안에 완전히 포함되어 있다는 것을 알고 있습니다.

그들이 알고 싶은 것은 이것입니다: 결과물인 분수가 안전(유계)하면서도 여전히 울퉁불퉁(불연속)하도록 이 모양들의 차수를 조절할 방법이 항상 존재하는가?

3. 마법의 도구: "로자시예비치 부등식(Lojasiewicz Inequality)"

이 질문에 답하기 위해 저자들은 강력한 수학적 도구인 로자시예비치 부등식을 사용합니다.

이 부등식을 하나의 속도 제한 표지판이라고 생각하세요. 한 모양이 다른 모양에 비해 얼마나 빨리 줄어드는지를 나타내는 속도 제한입니다.

$P$ 와 $Q$ 가 중심에 접근함에 따라 바람이 빠지는 두 개의 풍선이라고 상상해 보세요.
이 부등식은 기하학적 규칙을 깨뜨리지 않는 한, $P$ 가 $Q$ 보다 너무 빠르게 바람이 빠질 수는 없다는 것을 알려줍니다.
여기에는 특정 "비율" 또는 "지수"(마치 기어 설정과 같은)가 존재하여, $P$ 가 분수가 폭발(발산)하지 않을 만큼만 충분히 줄어들게 하면서도, 울퉁불퉁함을 매끄럽게 만들지는 못하게 합니다.

4. 주요 발견

이 논문은 네, 이런 까다로운 다리는 항상 존재한다는 것을 증명합니다.

당신이 어떤 두 모양( $P$ 와 $Q$ )에서 시작하더라도(단, 둘 다 0이 되고 $Q$ 의 구멍이 $P$ 안에 있는 경우), 이들을 섞을 수 있는 특정한 "기어 비율"(유리수)을 항상 찾을 수 있습니다.

이 비율로 섞으면, 함수는 안전한 범위 내에 머뭅니다(무한대로 치솟지 않습니다).
하지만 중심점으로 함수를 확장하려고 하면, 함수는 여전히 거칠고 불연속적일 것입니다.

이것은 커피에 설탕을 넣는 완벽한 양을 찾는 것과 같습니다. 너무 써지지 않을 만큼(유계) 충분히 넣되, 물처럼 맛이 없어지지 않을(연속) 정도로 조절하는 것입니다.

5. 이 다리들을 만드는 방법

저자들은 이러한 "안전하지만 울퉁불퉁한" 함수를 구성하는 두 가지 주요 방법을 보여줍니다.

방법 A: 그래디언트 트릭 (경사도 탐지기)
그들은 모양 $P$ 를 가져와서 그 "그래디언트"(각 지점에서의 경사도를 측정하는 것)를 살펴봅니다. 그들은 분자가 $P$ 의 높이이고 분모가 경사의 제곱( $|\nabla P|^2$ )인 분수를 만듭니다.
- 비유: 산을 상상해 보세요. 꼭대기는 높이이고, 바닥은 경사입니다. 산 정상 근처에서 높이와 경사는 특정한 방식으로 연관되어 있습니다. 지수(기어 비율)를 조정함으로써, 그들은 함수가 정점 근처에서 유계이면서도 매끄러워지는 것을 거부하도록 만듭니다.
방법 B: 복소수 트릭 (그림자)
그들은 복소수(허수 부분이 있는 숫자)를 사용하여 실수 함수를 만듭니다.
- 비유: 3D 물체에 빛을 비추어 2D 그림자를 만드는 것을 상상해 보세요. 그들은 복소 함수를 가져와서 그것의 "실수부"와 "허수부"로 나눈 뒤, 이를 분자와 분모로 사용합니다. 이렇게 하면 함수가 중심점을 중심으로 회전하게 됩니다. 중심에 가까워질수록 값은 격렬하게 회전하며 단일한 높이에 안착하지 못하지만, 결코 무한대로 날아가지는 않습니다.

6. 이 연구가 중요한 이유 (논문에 따르면)

이 논문은 이 연구가 현실 세계의 다리를 고치거나 질병을 치료할 것이라고 주장하는 것이 아닙니다. 대신, 이는 **실대수기하학(Real Algebraic Geometry)**의 한 퍼즐을 해결하는 것입니다.

이는 이러한 수학적 함수들의 행동이 우리가 생각했던 것보다 더 복잡하다는 것을 확인시켜 줍니다. 함수가 상자 안에 머물 만큼 "얌전할"(유계) 때조차도, 특정 지점에서 매끄럽게 연결되는 것을 거부할 만큼 "말을 듣지 않을"(불연속) 수 있다는 것을 보여줍니다.

요 요약하자면: 저자들은 로자시예비치 부등식이라는 특정 "속도 제한" 규칙을 사용하여, 무한대로 발산하지는 않으면서도 매끄러움을 거부하는 수학적 분수를 항상 설계할 수 있음을 증명했습니다.

기술 요약: 불연속적이지만 국소적으로 유계인 유리함수의 구성

문제 정의
본 논문은 분자 $P$ 와 분모 $Q$ 가 모두 영점이 되는 지점(부정성 집합, indeterminacy set) 근처에서 실수 다변수 유리함수 $f = P/Q$ 의 거동을 다룬다. 저자들은 국소적 유계성(local boundedness)과 연속성(continuity) 사이의 관계를 조사한다. 유리함수가 유계이면서도 불연속적일 수 있다는 것(예: 원점에 접근하는 서로 다른 경로를 따라 값이 달라지는 경우)은 잘 알려져 있으나, 본 논문은 특정한 기하학적 조건 하에서 이러한 함수들이 항상 존재함을 보여주는 일반적인 구성 방법을 탐구하고자 한다. 핵심 질문은 다음과 같다: $\vec{0}$ 에서 영점이 되는 다항식 $P$ 와 $Q$ 에 대하여, $Q$ 의 영집합이 $P$ 의 영집합에 포함될 때( $Z(Q) \subseteq Z(P)$ ), $P^{2p}/Q^{2e}$ 형태의 유리 거듭제곱이 국소적으로 유계이지만 그 확장(extension, $Z(Q)$ 상에서 0으로 정의됨)은 불연속적이게 되는 경우가 항상 존재하는가?

방법론
저자들은 실대수기하학과 반대수적 집합(semi-algebraic sets) 이론의 도구들을 활용한다. 방법론은 다음 사항들에 크게 의존한다:

로장티에르 부등식 (Lojasiewicz Inequalities): 증명에는 고전적인 로장티에르 부등식과 로장티에르 기울기 부등식이 사용된다. 이 부등식들은 영집합 근처에서 다항식의 값과 그 기울기(또는 다른 다항식) 사이의 관계에 대한 경계치를 제공한다. 구체적으로, $|P|^\beta \le C|Q|$ 를 만족하는 최소 유리 지수 $\beta_0$ (또는 $\theta_0$ )의 존재가 논증의 중심이다.
반대수 기하학 (Semi-algebraic Geometry): 저자들은 다항식 사상의 이미지와 영집합의 기하학적 구조를 분석한다. 이들은 실 대수 곡선의 국소적 기술(명제 3.4)과 부정성 집합의 차원 등 반대수적 집합의 성질을 사용한다.
구성적 지수 선택 (Constructive Exponent Selection): 저자들은 최소 로장티에르 지수로부터 유도된 특정 유리 지수 $p/e$ 를 구성한다. 전략은 지수가 최소 경계보다 약간 클 경우 함수가 유계가 되지 않는 반면, 최소 경계에서는 함수가 유계이지만 (종종 푸이외 전개(Puiseux expansions)로부터 유도된 특정 경로를 따라 값이 달라지므로) 연속성을 갖지 못함을 보이는 것이다.
복소수 구성 (Complex Constructions): 섹션 6에서는 복소 다항식을 사용하는 대안적인 구성을 제시한다. 홀로모픽 다항식의 비율(예: $f(z)^\nu / \overline{g(z)}^\mu$ )의 실수부 또는 허수부를 취함으로써, 저자들은 앞서 사용한 실대수기하학적 메커니ism에 의존하지 않고도 유계인 실수 유리함수를 생성한다.

주요 기여 및 결과
본 논문은 이러한 함수들의 존재성과 구성을 특징짓는 정리와 보조정리들을 확립한다:

주요 존재 정리 (정리 5.2): $P$ 와 $Q$ 가 $\vec{0}$ 에서 영점이 되는 다항식이고 $Z(Q) \subseteq Z(P)$ 일 때, $P^{2p}/Q^{2e}$ 가 $\vec{0}$ 근처에서 국소적으로 유계이지만 $Z(Q)$ 로의 확장(값을 0으로 설정)은 불연속적이게 하는 양의 정수 $p$ 와 $e$ 가 존재한다. 여기서 비율 $p/e$ 는 유일하며 $P$ 와 $Q$ 를 관계 짓는 최소 로장티에르 지수에 대응한다.
기울기 기반 구성 (정리 7.4): 분모를 분자의 기울기 제곱의 거듭제곱으로 선택하는 구체적이고 견고한 방법이 제공된다, 즉 $Q = |\nabla P|^{2q}$ . 정리 7.4는 만약 $p/q$ 가 임계점에서의 $P$ 에 대한 최소 로장티에르 지수 $\theta_0$ 와 같다면, 결과물인 함수가 유계이지만 불연속적임을 증명한다.
부정성 집합의 차원 (정리 7.10): 저자들은 이 구성이 고립된 영점에만 국한되지 않음을 보여준다. 하이퍼플레인(hyperplane)에 엄격히 포함되는 임의의 실 대수 집합 $A$ 에 대하여, 부정성 집합이 정확히 $A$ 인 유계 유리함수를 구성할 수 있음을 보여준다. 이는 유계 유리함수가 흔히 코디멘션(codimension) 2 이상의 부정성 집합을 갖는 일반적인 경우와 대조적이다. 여기서는 부정성 집합이 $n-2$ 이상의 차원을 가질 수 있다.
복소 변수 구성 (섹션 6): 저자들은 $h(z)/\overline{h(z)}$ (여기서 $h$ 는 홀로모픽 다항식)와 같은 식의 실수부 또는 허수부를 취함으로써 $\mathbb{R}^{2m}$ 에서 유계인 불연속 유리함수를 생성하는 방법을 제공한다. 이는 $2m-2$ 차원의 부정성 집합을 갖는 함수를 산출한다.

의의 및 주장
본 논문은 "유계이지만 불연속적"이라는 현상이 예외적인 사례가 아니라, 영집합이 중첩된 다항식 쌍으로 정의된 광범위한 유리함수 클래스에 대해 보장된 속성임을 보여주는 일반적이고 기초적인(기초적인 실대수기하학을 사용한다는 의미에서) 증명을 제공한다고 주장한다.

저자들은 자신들의 접근 방식이 연속성의 정확한 임계치를 명확히 한다는 점을 강조한다. 그들은 $P^{2p}/Q^{2e}$ 형태의 유계 불연속 유리함수의 존재성이 $(P, Q)$ 쌍에 대한 강력한 버전의 로장티에르 부등식과 동치임을 보여준다. 이 연구는 연속성이라는 해석학적 성질을 최소 로장티에르 지수라는 대수적 성질과 연결한다.

본 논문은 컴퓨터 대수학이나 공학에 새로운 응용을 제안하는 것은 아니나, 다변수 유리함수의 극한을 계산하는 문제가 컴퓨터 대수학에서 여전히 흥로의 대상임을 언급한다. 의의는 이론적 구성에 있다: 다변수 미적분학에서 국소적 유계성이 연속성을 함축하거나(또는 단순한 확장을 통해 연속성을 회복할 수 있다는) 직관에 대한 반례를 체계적으로 생성하는 방법을 제공하는 것이다. 결과적으로 이 연구는 유계성과 연속성 사이의 "간극(gap)"에 대한 이해를 정교화하며, 그러한 모든 다항식 쌍에 대해 연속성의 경계에 정확히 위치하는 특정 유리 거듭제곱이 존재함을 보여준다.