[논문 리뷰] Heuristic and computer calculations for the magnitude of metric spaces

Simon Willerton|ArXiv.org|2009. 10. 28.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 11

한 줄 요약

이 논문은 유클리드 공간 내의 컴팩트 거리공간의 크기 값이 내재 체적을 통해 정의된 기하 측도론적 평가인 펭귄 평가와 渐近적으로 일치함을 히우리스틱적이고 계산적인 증거로 제시한다. 정수체적 집합인 정사각형, 원, 입방체와 같은 경우, 크기 값은 펭귄 평가와 매우 유사하며, 토러스나 시어르피니스 가시와 같은 비볼록 및 프랙탈 집합의 경우, 크기 값은 평가 또는 하우스도르프 차원에 일치하는 거듭제곱 법칙에 따라 渐진적으로 수렴한다.

ABSTRACT

The notion of the magnitude of a compact metric space was considered in arXiv:0908.1582 with Tom Leinster, where the magnitude was calculated for line segments, circles and Cantor sets. In this paper more evidence is presented for a conjectured relationship with a geometric measure theoretic valuation. Firstly, a heuristic is given for deriving this valuation by considering 'large' subspaces of Euclidean space and, secondly, numerical approximations to the magnitude are calculated for squares, disks, cubes, annuli, tori and Sierpinski gaskets. The valuation is seen to be very close to the magnitude for the convex spaces considered and is seen to be 'asymptotically' close for some other spaces.

연구 동기 및 목표

• 유클리드 공간 내 컴팩트 거리공간의 크기 값의 渐진적 행동을 조사하는 것.
• 볼록 부분집합의 크기가 내재 체적을 기반으로 하는 기하 측도론적 함수인 펭귄 평가와 같다는 추측을 테스트하는 것.
• 비볼록 및 프랙탈 집합의 크기가 渐진적으로 포함-배제 원칙을 만족하는지 탐색하는 것.
• 유한 거리공간 근사치를 사용하여 토러스나 시어르피니스 가시와 같은 복잡한 도형의 크기를 수치적으로 근사하는 것.

제안 방법

• R^n의 큰 열린 부분집합에서 크기의 주요 기여를 위한 히우리스틱을 유도하여, 이가 vol(X)/(n! ω_n) 비례함을 보여주는 것.
• μ_i는 내재 체적이고 ω_i는 단위 i-구의 부피이므로, 펭귄 평가 P(X) = Σ_{i=0}^n μ_i(X)/(i! ω_i)로 정의하는 것.
• 컴퓨터 대수 시스템(Maple)을 사용하여 최대 25,000개의 점을 포함하는 유한 거리공간의 크기를 계산하는 것.
• 정사각형, 원, 입방체, 동심환, 토러스, 시어르피니스 가시의 계산된 크기를 펭귄 평가 및 거듭제곱 법칙 모델과 비교하는 것.
• 자기 유사성과 포함-배제 원리를 적용하여 시어르피니스 가시와 같은 프랙탈 집합의 渐진적 행동을 모델링하는 것.
• 시어르피니스 가시에 대해 t^{log_2 3} 형태의 함수형태에 데이터를 피팅하고, 거의 일정한 곱함수를 가정하는 것.

실험 결과

연구 질문

• RQ1 R^n의 볼록 컴팩트 부분집합에 대해 크기 값 |K|가 펭귄 평가 P(X)와 같은가?
• RQ2 토러스나 동심환과 같은 비볼록 집합의 경우, 스케일 t → ∞ 일 때 크기 값이 渐진적으로 펭귄 평가에 수렴하는가?
• RQ3 특히 프랙탈 집합에 대해, 크기 값 |tX|의 渐진적 성장률이 X의 하우스도르프 차원과 일치하는가?
• RQ4 시어르피니스 가시와 같은 프랙탈 집합의 크기를 하우스도르프 차원과 거의 일정한 함수를 포함하는 거듭제곱 법칙으로 모델링할 수 있는가?
• RQ5 프랙탈 집합의 크기 전개에서 주요 항의 계수는 상수가 아니라 거의 일정한 함수인가?

주요 결과

• 정사각형, 원, 입방체와 같은 볼록 집합의 경우, 계산된 크기 값이 펭귄 평가 P(X)와 놀랄 정도로 유사하게 맞아떨어지며, 이는 볼록 K에 대해 |K| = P(K)라는 추측을 지지한다.
• 토러스나 동심환과 같은 비볼록 집합의 경우, t → ∞ 일 때 크기 값이 渐진적으로 펭귄 평가에 수렴하며, 유한 척도에서 작은 오차가 관찰된다.
• 시어르피니스 가시에 대한 수치 근사치는 |S_t|가 (1/3)t^{log_2 3} + 3/2 형태로 渐진적으로 증가함을 보여주며, 이는 하우스도르프 차원 log_2 3에 의해 지배되는 거듭제곱 법칙과 일치한다.
• 시어르피니스 가시의 크기 값의 渐진적 행동은 |tX| − p(t) → 0 (t → ∞)라는 추측을 지지하며, 여기서 p(t)는 f(t)t^{dim_H} 형태의 함수이고 f는 거의 일정하다.
• 이전에 캔터 집합의 크기가 t^{log_3 2} 형태로 渐진적으로 증가하며 거의 일정한 계수를 가짐이 보여졌으며, 이 패턴은 유사한 행동을 보이는 시어르피니스 가시로 확장된다.
• 결과적으로, 일반적인 R^n의 컴팩트 부분집합에 대해 크기 전개의 주요 항은 하우스도르프 차원에 의해 결정되며, 프랙탈의 경우 계수는 상수보다 거의 일정한 함수임을 시사한다.