[논문 리뷰] On the Banach-Mazur Distance between the Cube and the Crosspolytope

Fei Xue|arXiv (Cornell University)|2017. 05. 03.

Mathematical Approximation and Integration참고 문헌 5인용 수 3

한 줄 요약

이 논문은 $n$-차원 입방체 $C_n$와 크로스폴리토프 $C_n^\star$ 사이의 반바흐-마자르 거리에 대해 향상된 명시적 상한과 하한을 확립한다. 하한은 $\alpha\sqrt{n}$ 형태이며 $\alpha > 1/1.71453$ 이고, 상한은 $(\sqrt{2}+1)\sqrt{n}$ 이다. 이는 이전의 순서 $\sqrt{n}$ 수준의 상한과 하한을 개선하기 위해 분석적 추정과 컴퓨터 보조 최적화를 조합한 결과이며, 저차원에서의 수치 결과를 바탕으로 보다 날카로운 상한과 하한에 대한 추측을 제시한다.

ABSTRACT

In this note we study the Banach-Mazur distance between the $n$-dimensional cube and the crosspolytope. Previous work shows that the distance has order $\sqrt{n}$, and here we will prove some explicit bounds improving on former results. Even in dimension 3 the exact distance is not known, and based on computational results it is conjectured to be $\frac{9}{5}$. Here we will also present computerbased potential optimal results in dimension $4$ to $8$.

연구 동기 및 목표

• 이미 순서 $\sqrt{n}$ 수준임이 알려진 $n$-차원 입방체 $C_n$와 크로스폴리토프 $C_n^\star$ 사이의 반바흐-마자르 거리에 대한 명시적 상한과 하한을 향상시키는 것.
• 입방체의 꼭짓점에 대해 선형 변환 $T$가 크로스폴리토프를 입방체로 매핑할 때, $T^{-1}v_i$의 평균 $\ell^1$-노름에 대한 보편적 하한 $\alpha > 1/1.71453$ 를 확립하는 것.
• 3차원에서 8차원까지의 차원에서 컴퓨터로 생성된 최적의 변환과 거리 후보를 제공하여 저차원에서의 정확한 값에 대한 추측을 뒷받침하는 것.
• 초입방체의 꼭짓점과 단위 벡터 간 내적의 평균 $\ell^1$-노름의 최소값을 탐색하는 것으로, 반바흐-마자르 거리의 하한을 결정짓는 요소를 분석하는 것.

제안 방법

• 입방체의 꼭짓점 $v_i \in \{-1,1\}^n$ 에 대해 $T^{-1}v_i$ 의 평균 $\ell^1$-노름에 대한 하한 $\alpha$ 를 도출하기 위해, $F_n(x) = \frac{1}{2^n}\sum_{v_i}|\langle x, v_i \rangle|$ 에 대한 재귀적 평균화 추론을 사용한다.
• 차수 $n$ 에 대한 귀납법을 적용하여 $\alpha_n = \min_{\|x\|_2=1} F_n(x)$ 를 유계화하고, $\alpha_n \leq \sqrt{2} \prod_{j=4}^{n-1} (1 + \frac{1}{2(j-1)^2}) < 1.71453$ 를 도출함으로써 $\alpha > 1/1.71453$ 를 증명한다.
• Wolfram Mathematica 를 이용한 수치 최적화를 통해, $gC_n^\star \subset C_n$ 이고 $\frac{1}{r}C_n \subset gC_n^\star$ 를 만족시키는 선형 변환 $T$ 의 후보를 계산하며, $r$ 을 최소화한다.
• 제약 조건 $|x_{ij}| \leq 1$ 하에서 $d_{BM}(C_n, C_n^\star) = \min_T \max_{v_i \in \{-1,1\}^n} \|T^{-1}v_i\|_1$ 인 항등식을 활용하여, 유계된 성분을 가진 $T \in \mathrm{GL}(n,\mathbb{R})$ 에 대해 컴퓨터 기반 탐색을 수행한다.
• 변형된 크로스폴리토프 $gC_n^\star$ 의 꼭짓점 구조를 분석하여, 특히 저차원에서 최적의 구성에 대한 후보를 식별한다.
• 모든 $n$ 에 대해 $\alpha_n = \sqrt{2}$ 라는 추측을 제기하며, 이는 더 날카로운 하한 $\sqrt{n}/\sqrt{2}$ 를 유도할 것이며, 이는 4차원에서 8차원까지의 수치적 증거로 뒷받침된다.

실험 결과

연구 질문

• RQ1 반바흐-마자르 거리 $d_{BM}(C_n, C_n^\star)$ 에 대한 최고의 명시적 상한과 하한은 무엇인가? 이미 $\Theta(\sqrt{n})$ 임이 알려져 있다.
• RQ2 부등식 $\frac{1}{2^n}\sum_{v_i}|\langle x, v_i \rangle| \geq \alpha \|x\|_2$ 에서 보편 상수 $\alpha$ 는 $\alpha > 1/1.71453$ 를 초월해 개선될 수 있는가?
• RQ3 $d_{BM}(C_3, C_3^\star)$ 의 정확한 값은 무엇이며, 수치 결과로 나온 $9/5$ 는 진정한 최소값을 나타내는가?
• RQ4 상한 $d_{BM}(C_n, C_n^\star) \leq (\sqrt{2}+1)\sqrt{n}$ 은 향상될 수 있으며, $\sqrt{n}+3$ 이 더 날카로운 상한으로 가능한가?
• RQ5 입방체에 크로스폴리토프를 매핑하는 최적의 선형 변환 $T$ 에서는 구조적 패턴이 존재하는가? 특히 저차원에서의 경우에 대해.

주요 결과

• 논문은 반바흐-마자르 거리에 대한 새로운 하한을 확립한다: $d_{BM}(C_n, C_n^\star) \geq \alpha \sqrt{n}$ 이며, $\alpha > 1/1.71453 \approx 0.5833$ 이다. 이는 입방체의 꼭짓점에서 $T^{-1}v_i$ 의 최소 평균 $\ell^1$-노름에서 유도된다.
• 향상된 상한이 증명된다: $d_{BM}(C_n, C_n^\star) \leq (\sqrt{2}+1)\sqrt{n} \approx 2.414\sqrt{n}$ 이며, 이는 이전의 $C \approx 5.285$ 수준의 추정치를 초월한다.
• 3차원에서 논문은 추측된 값 $d_{BM}(C_3, C_3^\star) = \frac{9}{5} = 1.8$ 를 확인하며, 명시적인 최적 변환 행렬을 제공한다.
• 4차원에서는 거리가 수치적으로 정확히 2로 발견되었으며, 대칭적인 최적 변환 행렬이 제시된다.
• 5차원에서 8차원까지의 경우, 논문은 컴퓨터 보조 수치 결과를 보고한다: 각각 약 2.32871, 2.6235, 2.908, 3.186 의 거리와 해당 변환 행렬을 제공한다.
• 논문은 진정한 하한이 $\sqrt{n}/\sqrt{2} \approx 0.7071\sqrt{n}$ 이며, 상한 $\sqrt{n}+3$ 이 달성 가능할 수 있다고 추측하며, 이는 현재의 상한과 하한을 크게 향상시킬 것이다.