[논문 리뷰] On the number of inscribed squares of a simple closed curve in the plane

Strashimir G. Popvassilev|ArXiv.org|2008. 10. 27.

Point processes and geometric inequalities참고 문헌 2인용 수 6

한 줄 요약

이 논문은 임의의 양의 정수 $ n $ 에 대해 정확히 $ n $ 개의 내접 정사각형을 가진 무한히 미분 가능한 볼록 단순폐곡선이 존재함을 증명한다. 구조는 단위원의 호를 부드럽고 곡률을 제어하는 곡선으로 대체하여 내접 정사각형의 수를 정확히 제어하며, 단순폐곡선 위의 이러한 정사각형의 가능한 수에 관해 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We show that for every positive integer n there is a simple closed curve in the plane (which can be taken infinitely differentiable and convex) which has exactly n inscribed squares.

연구 동기 및 목표

• 모든 단순폐곡선이 무수히 많은 내접 정사각형을 가져야 하는지 여부라는 열린 질문을 해결하기 위해.
• 주어진 양의 정수 $ n $ 에 대해 정확히 $ n $ 개의 내접 정사각형을 가진 부드럽고 볼록한 단순폐곡선을 구성하기 위해.
• 다른 미분 가능 곡선 위의 내접 정사각형 수가 홀수여야 한다는 추측을 도전하고 반증하기 위해.
• 위상적 불변량 $ St $, $ J^+ $, $ J^- $ 가 내접 정사각형 수를 예측하는 데 수행하는 역할을 조사하기 위해.

제안 방법

• 단위원의 특정 호를 부드럽고 지수적으로 감쇠하는 원의 방정식의 변형으로 대체하여, 미분 가능하고 볼록한 곡선을 생성하기 위해.
• 함수 $ r(\theta) = 1 + c \exp\left( -\left( \frac{0.02}{(\theta - U)^2} + \frac{0.02}{(V - \theta)^2} \right) \right) $ 를 사용하여 단위원 상의 두 점을 부드럽게 연결함으로써 $ C^\infty $ 미분 가능성과 양의 곡률을 확보하기 위해.
• 기존 호의 끝점 사이에 새로운 점을 삽입함으로써 내접 정사각형의 수를 한 개씩 증가시키며, 순서를 유지하고 불필요한 정사각형을 방지하기 위해.
• 일반성 가정을 적용하여 수정된 곡선이 오직 유한한 수의 내접 정사각형만 가지도록 하여, 임의의 $ n $ 에 대해 유도적 방법으로 곡선을 구성할 수 있도록 하였다.
• 내접 정사각형 중 수평한 변을 가진 것들은 기하적 제약 조건에 의해 제한되며, 곡률과 대칭성의 논증을 통해 비수평 정사각형을 배제하기 위해.
• 지름 비교 및 수직이등분선 분석과 같은 위상적·기하학적 추론을 사용하여, 명시적으로 구성된 정사각형 외의 추가 내접 정사각형을 배제하기 위해.

실험 결과

연구 질문

• RQ1 임의의 양의 정수 $ n $ 에 대해 정확히 $ n $ 개의 내접 정사각형을 가진 단순폐곡선을 구성할 수 있는가?
• RQ2 부드럽고 볼록한 단순폐곡선이 오직 유한한 수의 내접 정사각형을 가지며, 특히 정확히 두 개 이상의 특정 수를 가지는 것이 가능한가?
• RQ3 위상적 불변량 $ St $, $ J^+ $, $ J^- $ 가 임베딩된 곡선 위의 내접 정사각형의 기수 또는 수를 완전히 결정하는가?
• RQ4 내접 정사각형의 수를 곡선의 전반적 위상구조나 미분 가능성의 종류와 독립적으로 제어할 수 있는가?
• RQ5 곡선 수정 과정에서 새로운 내접 정사각형이 나타나지만 추가 정사각형이 생기지 않도록 보장하기 위한 조건은 무엇인가?

주요 결과

• 모든 양의 정수 $ n $ 에 대해 정확히 $ n $ 개의 내접 정사각형을 가진 무한히 미분 가능한 볼록 단순폐곡선이 평면에 존재한다.
• 이 구성 방법은 단위원의 호를 부드럽고 $ C^\infty $-미분 가능한 곡선으로 대체함으로써 이루어지며, 이는 볼록성을 유지하고 점 삽입을 통해 내접 정사각형의 수를 제어한다.
• 내접 정사각형의 수는 호의 끝점 사이에 점을 하나 삽입할 때마다 한 개씩 증가하며, 각 새로운 정사각형의 꼭짓점은 원래 곡선의 순서와 동일한 순환 순서를 가진다.
• 논문은 내접 정사각형의 수가 다른 미분 가능 곡선에서 반드시 홀수여야 한다는 추측에 강력한 반례를 제시하며, 임의의 $ n $, 특히 짝수인 경우도 포함한 예시를 구성함으로써 이를 반박한다.
• 저자들은 구성된 예시에서 수평한 변을 가진 내접 정사각형은 최대 두 개로 제한되며, 기하학적 및 곡률 기반의 논증을 통해 비수평 정사각형은 배제됨을 보였다.
• 이 방법은 임의의 임베딩 곡선 $ T $ 에 대해 충분히 큰 모든 $ n $ 에 대해 동일한 $ St $, $ J^+ $, $ J^- $ 불변량을 가지며 정확히 $ n $ 개의 내접 정사각형을 가진 곡선 $ T_n $ 가 존재한다는 추측을 뒷받침하며, 꼭짓점 순서 위반은 오직 유한한 수의 정사각형에 국한된다.