[논문 리뷰] A note on lattice coverings

Fei Xue, Chuanming Zong|arXiv (Cornell University)|2014. 02. 20.

Advanced Topology and Set Theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 이산 기하학에서 오랫동안 남아 있던 추측에 대한 명시적 반례를 구축한다: 모든 차원 $ n \geq 3 $ 에 대해, 중심이 대칭인 볼록체 $ C $ 와 격자 $ \Lambda $ 를 이용한 $ \mathbb{E}^n $ 의 격자 덮개 $ C + \Lambda $ 는 $ \mathbb{E}^n $ 을 테일링하는 평행육면체 $ P $ 를 포함하지 않을 수 있다. 이 구성은 높이 $ 2(1 + \gamma) $ 인 수정된 육각통을 사용하며, 정점들을 변형하고 적절히 선택된 격자를 적용하여, 테일링 평행육면체를 포함하지 않지만 여전히 덮개가 되는 경우가 존재함을 증명한다.

ABSTRACT

This note presents an interesting counterexample to a basic covering problem.

연구 동기 및 목표

• 모든 $ \mathbb{E}^n $ 에 대한 중심이 대칭인 볼록체로 이루어진 격자 덮개 $ C + \Lambda $ 가 반드시 $ \mathbb{E}^n $ 을 테일링하는 평행육면체 $ P $ 를 포함해야 하는지 조사한다.
• 문제 1을 해결한다: 격자 덮개 $ K + \Lambda $ 가 반드시 $ \mathbb{E}^n $ 을 테일링하는 평행육면체 $ P $ 를 포함해야 하는가?
• $ \mathbb{E}^3 $ 에서 명시적 반례를 구성하고, 이를 고차원으로 확장하여 추측을 반박한다.
• 격자 덮개의 존재가 덮개의 볼록체 내에 테일링 평행육면체가 존재함을 보장하지는 않는다는 것을 보여준다.

제안 방법

• 높이 $ 2(1 + \gamma) $ 인 육각통을 수정하여 중심이 대칭인 3차원 볼록 다면체 $ C $ 를 정의하고, 면에서 6개의 합동된 육면체를 잘라낸다.
• 기저 벡터 $ \mathbf{a}_1 = (1 + \alpha, \beta, 0) $, $ \mathbf{a}_2 = (1 + \alpha, -\beta, 0) $, $ \mathbf{a}_3 = (0, 0, 2) $ 를 가진 격자 $ \Lambda $ 를 구성한다. 여기서 $ \alpha = \cos(\pi/3) $, $ \beta = \sin(\pi/3) $ 이다.
• $ C + \Lambda $ 가 $ \mathbb{E}^3 $ 의 격자 덮개를 이룬다는 것을 확인하기 위해, $ \Lambda $ 에 의한 $ C $ 의 이동 영역이 공간을 덮고 있으며, $ C $ 의 정점들이 $ \mathbf{a}_3 $ 를 통해 상호로 대응됨을 검증한다.
• 만약 $ C $ 가 $ \mathbb{E}^3 $ 을 테일링하는 평행육면체 $ P $ 를 포함한다면, $ P $ 는 $ C $ 의 12개의 정점을 모두 포함해야 하며, 따라서 $ P = C $ 가 되지만, $ C $ 는 평행육면체가 아니므로, 그러한 $ P $ 는 존재하지 않는다.
• 저차원 반례 $ K $ 를 기반으로 $ \mathbb{E}^{n-1} $ 에서의 실린더 $ K' $ 을 구성하여 고차원으로 확장하고, $ K' + \Lambda' $ 이 테일링 평행육면체를 포함하지 않는 격자 덮개임을 보여준다.

실험 결과

연구 질문

• RQ1 모든 $ \mathbb{E}^n $ 에 대한 중심이 대칭인 볼록체로 이루어진 격자 덮개 $ K + \Lambda $ 는 반드시 $ \mathbb{E}^n $ 을 테일링하는 평행육면체 $ P $ 를 포함해야 하는가?
• RQ2 중심이 대칭인 볼록체 $ C $ 는 동일한 격자 $ \Lambda $ 에서 $ \mathbb{E}^n $ 을 테일링하는 평행육면체를 포함하지 않으면서도 격자 덮개 $ C + \Lambda $ 를 가질 수 있는가?
• RQ3 $ \mathbb{E}^2 $ 에서 모든 격자 덮개가 테일링 중심 대칭 육각형을 포함하는 성질이 $ \mathbb{E}^n $, $ n \geq 3 $ 에까지 확장 가능한가?
• RQ4 볼록체 $ C $ 와 격자 $ \Lambda $ 가 어떤 구조적 조건을 만족할 경우, $ P + \Lambda $ 가 $ \mathbb{E}^n $ 을 테일링하는 $ P \subseteq C $ 가 존재하지 않게 되는가?

주요 결과

• 모든 차원 $ n \geq 3 $ 에 대해, 중심이 대칭인 볼록체 $ C $ 를 이용한 $ \mathbb{E}^n $ 의 격자 덮개 $ C + \Lambda $ 가 존재하며, 이는 $ \mathbb{E}^n $ 을 테일링하는 평행육면체 $ P $ 를 포함하지 않는다.
• $ \mathbb{E}^3 $ 에서의 반례는 12개의 정점을 가진 수정된 육각통과 특정 격자 $ \Lambda $ 를 사용하여 구성되며, $ C + \Lambda $ 는 $ \mathbb{E}^3 $ 을 덮지만 $ C $ 는 평행육면체가 아니다.
• $ \mathbb{E}^3 $ 의 반례는 저차원 반례를 기반으로 실린더를 구성하여 고차원으로 확장되며, 덮개 성질은 유지되지만 테일링 평행육면체를 포함하지 않는다.
• 만약 $ C $ 내에 $ \mathbb{E}^3 $ 을 테일링하는 평행육면체 $ P \subseteq C $ 가 존재한다면, $ P $ 는 $ C $ 의 12개의 정점을 모두 포함해야 하며, 따라서 $ P = C $ 가 되지만 $ C $ 는 평행육면체가 아니므로 그러한 $ P $ 는 존재하지 않는다.
• 이 구성은 격자 덮개의 존재가 덮개의 볼록체 내에 테일링 평행육면체가 존재함을 보장하지는 않는다는 것을 확인한다. 중심이 대칭인 볼록체일지라도 마찬가지다.