[논문 리뷰] Measures of $\e$-complexity

Valentin Afraimovich, Lev Glebsky|arXiv (Cornell University)|2003. 12. 01.

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

한 줄 요약

이 논문은 컴팩트 메트릭 공간에서 $\epsilon$-복잡도의 두 가지 이중 측도를 도입하고 분석한다: 하나는 $\epsilon$-분리된 집합에 기반하고 다른 하나는 $\epsilon$-넷에 기반한다. 이 두 측도는 온건한 조건 하에서 동치임을 증명하며, 분리에 기반한 $\epsilon$-복잡도가 넷 커버링에 기반한 것과 이중적임을 보이며, $\epsilon$-공 안의 최대 점 수를 포함한 상한을 통해 동치성이 확립된다. 이 결과는 프랙탈 기하학과 동역계 이론에서 알려진 관계를 일반화한다.

ABSTRACT

We study some measures which are related to the notion of the $\e$-complexity. We prove that measure of $\e$-complexity defined on the base of the notion of $\e$-separability is equivalent to the dual measure that is defined through $\e$-nets. Keywords: Complexity, Separability, Bernoulli measure

연구 동기 및 목표

• 동역계와 프랙탈 기하학에 영감을 얻어 추상적 컴팩트 메트릭 공간에서 $\epsilon$-복잡도의 측도를 체계화하고 연구하는 것.
• $\epsilon$-분리된 집합에 의해 정의된 $\epsilon$-복잡도와 $\epsilon$-넷에 의해 정의된 $\epsilon$-복잡도 사이의 이중성 수립.
• 특히 어떤 $\epsilon$-공 안의 점 수가 균일하게 유계일 경우 일반 조건 하에서 이러한 이중 측도가 동치임을 증명하는 것.
• 지역 등장사상에 대한 이러한 복잡도 측도의 불변성과 그 위상 차원 및 하우스도르프 차원과의 관계 탐색.

제안 방법

• $\epsilon$-복잡도를 컴팩트 메트릭 공간의 $\epsilon$-분리된 부분집합의 최대 기수로 정의한다.
• 이중 $\epsilon$-복잡도를 공간을 덮는 $\epsilon$-넷의 최소 기수로 정의한다.
• 두 측도를 연결하기 위해 부등식 $C_{\epsilon} \leq R_{\epsilon/2}$ 를 사용하여 $R_{\epsilon/2} \geq C_{\epsilon}$ 를 보인다.
• 복잡도의 척도에 따른 渐近적 행동을 분석하기 위해 초수집합 기반 측도 $\mu_{E,\mathcal{F}}$ 와 $\nu_{E,\mathcal{F}}$ 를 도입한다.
• 넷의 점들에 따라 인덱싱된 서로소 커버링 집합 $K_x$ 를 통해 최적의 $\epsilon$-넷과 $\epsilon$-분리된 집합 사이의 대응을 구성한다.
• 모든 $x$ 에 대해 $C_{\epsilon}(O_{\epsilon}(x)) \leq k$ 가 균일하게 성립할 경우, 측도 $\mu_{E,\mathcal{F}}$ 와 $\nu_{E,\mathcal{F}}$ 가 동치임을 증명하며, 상한 $\frac{1}{k}\nu \leq \mu \leq k\nu$ 를 확보한다.

실험 결과

연구 질문

• RQ1 컴팩트 메트릭 공간에서 $\epsilon$-분리 가능성에 기반한 $\epsilon$-복잡도 측도와 $\epsilon$-넷에 기반한 측도가 동치인가?
• RQ2 어떤 조건에서 $\epsilon$-넷을 통한 이중 측도가 분리 기반 측도와 일치하는가?
• RQ3 지역 등장사상 하에서 이러한 복잡도 측도는 어떻게 행동하며, 불변성이 있는가?
• RQ4 자기유사 집합(예: 칸토어 집합)에서 $\epsilon$-복잡도와 하우스도르프 차원 사이의 관계는 무엇인가?
• RQ5 초수집합 기반의 渐近적 복잡도 측도를 사용하여 동역계에서 다양한 복잡도 개념을 통합하거나 비교할 수 있는가?

주요 결과

• 분리 기반 $\epsilon$-복잡도 $C_{\epsilon}$ 는 이중 측도인 넷 기반 $R_{\epsilon}$ 에 의해 상한으로 제한되며, $C_{\epsilon} \leq R_{\epsilon/2}$ 를 만족한다.
• 이중 측도 $R_{\epsilon}$ 는 부분합성질을 만족한다: $R_{\epsilon}(D_1 \cup D_2) \leq R_{\epsilon}(D_1) + R_{\epsilon}(D_2)$.
• 우라메트릭 공간에서는 두 측도가 일치한다: $\mu_{E,\mathcal{F}} = \nu_{E,\mathcal{F}}$, 왜냐하면 모든 $x$ 에 대해 $C_{\epsilon}(O_{\epsilon}(x)) = 1$ 이기 때문이다.
• 어느 $\epsilon$-공 안의 점 수가 $k$ 로 균일하게 유계일 경우, 측도 $\mu_{E,\mathcal{F}}$ 와 $\nu_{E,\mathcal{F}}$ 는 상한 $\frac{1}{k}\nu \leq \mu \leq k\nu$ 를 통해 동치임을 보였다.
• 칸토어 집합의 경우 $\epsilon$-복잡도는 $\frac{\ln C_{\epsilon}}{-\ln \epsilon} \to \dim_H K = \frac{\ln 2}{\ln 3}$ 를 만족하며, 푸르스텐버그 공식을 복원한다.
• 지역 등장사상에 대해 복잡도 측도는 불변하며, 이는 $\nu_{E,\mathcal{F}}$ 가 이러한 사상에 대해 불변임을 통해 입증된다.