[논문 리뷰] Closed choice: Cardinality vs convex dimension

Stéphane Le Roux, Arno Pauly|arXiv (Cornell University)|2013. 02. 02.

Auction Theory and Applications인용 수 1

한 줄 요약

이 논문은 유한 집합과 볼록 집합 위에서의 선택 원리의 계산적 강도를 비교하기 위해 Weihrauch 격자를 조사한다. (n+1)개 원소를 가진 집합에서의 선택은 n차원 볼록 집합에서의 선택으로 환원 가능하지만, (n−1)차원 볼록 집합에서는 그렇지 않음을 입증하여, Weihrauch 도수 측면에서 유한 집합의 원소 수와 볼록 집합의 차원 사이에 정확한 대응 관계를 보여준다. 또한 연속 함수에서 유한 개의 영점이 존재하는 것보다 유한 개의 국소 극점이 존재하는 것이 계산적으로 엄밀히 더 강력하다는 것을 보여준다.

ABSTRACT

We investigate choice principles in the Weihrauch lattice for finite sets on the one hand, and convex sets on the other hand. Increasing cardinality and increasing dimension both correspond to increasing Weihrauch degrees. Moreover, we demonstrate that the dimension of convex sets can be characterized by the cardinality of finite sets encodable into them. Precisely, choice from an n + 1 point set is reducible to choice from a convex set of dimension n, but not reducible to choice from a convex set of dimension n - 1. Furthermore we consider searching for zeros of continuous functions, and demonstrate that having finitely many zeros is a strictly weaker condition than having finitely many local extrema.

연구 동기 및 목표

• Weihrauch 격자 프레임워크를 사용하여 유한 집합과 볼록 집합 위에서의 선택 원리의 계산 복잡도를 비교한다.
• 유한 집합의 기수 증가와 볼록 집합의 차원 증가 간의 Weihrauch 환원성 측면에서의 관계를 규명한다.
• 선택 원리를 통해 볼록 집합에 인코딩할 수 있는 최대 기수를 통해 볼록 집합의 차원을 특성화한다.
• 연속 함수에 대한 조건의 상대적 강도를 조사한다. 특히, 유한 개의 영점 존재 조건과 유한 개의 국소 극점 존재 조건을 비교한다.

제안 방법

• Weihrauch 격자를 사용하여 유한 집합과 볼록 집합 위에서의 선택 함수의 계산적 강도를 분류하고 비교한다.
• 환원 관계를 활용하여 (n+1)점 집합에서의 선택과 n차원 볼록 집합에서의 선택을 비교한다.
• n차원 볼록 집합에서의 선택이 (n+1)점 집합에서의 선택을 계산할 수 있음을 입증하지만, 그 반대는 그렇지 않음을 보인다.
• 연속 함수를 분석하여 영점과 국소 극점의 찾기 어려움을 비교한다.
• 유한 집합을 볼록 집합에 인코딩하는 기법을 사용하여 기수와 차원 간의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 Weihrauch 도수 측면에서 유한 집합의 기수는 볼록 집합의 차원과 어떻게 관련되는가?
• RQ2 (n+1)점 집합에서의 선택은 n차원 볼록 집합에서의 선택으로 환원 가능한가?
• RQ3 (n+1)점 집합에서의 선택은 (n−1)차원 볼록 집합에서의 선택으로 환원 가능한가?
• RQ4 연속 함수에서 영점 찾기의 계산 복잡도는 국소 극점 찾기와 어떻게 비교되는가?
• RQ5 선택 원리를 통해 볼록 집합에 인코딩할 수 있는 유한 집합의 기수로 볼록 집합의 차원을 특성화할 수 있는가?

주요 결과

• (n+1)점 집합에서의 선택은 n차원 볼록 집합에서의 선택으로 Weihrauch 환원 가능하다.
• (n+1)점 집합에서의 선택은 (n−1)차원 볼록 집합에서의 선택으로 Weihrauch 환원 가능하지 않다.
• 볼록 집합의 차원은 선택 원리를 통해 인코딩할 수 있는 최대 기수와 정확히 일치한다.
• 연속 함수에서 유한 개의 영점이 존재하는 것은 Weihrauch 격자에서 유한 개의 국소 극점이 존재하는 것보다 엄밀히 더 약한 조건이다.
• 선택 원리의 Weihrauch 도수는 유한 집합의 기수와 볼록 집합의 차원이 증가함에 따라 증가하며, 이는 계층을 형성한다.