[논문 리뷰] Maximally Dense Disc Packings on the Plane

Robert Connelly, Maurice Pierre|arXiv (Cornell University)|2019. 07. 01.

Point processes and geometric inequalities인용 수 4

한 줄 요약

이 논문은 페제스 토스의 0.6457에서 0.6585로, 평면 위의 최대 밀도를 가진 원판 배열에서 반지름 비율 $ q $ 의 상한을 향상시켰으며, 페르니크, 하시미, 시조바에 의해 발견된 새로운 세 가지 원판 크기의 삼각형 배열을 사용한다. 이 방법은 세 가지 서로 다른 원판 반지름을 가진 대칭적이고 삼각형으로 배열된 배열을 변형하여 이전의 두 크기 배열보다 더 높은 밀도를 달성하며, 플로리안의 밀도 이론적 상한에 가까워진다.

ABSTRACT

Suppose one has a collection of disks of various sizes with disjoint interiors, a packing in the plane, and suppose the ratio of the smallest radius divided by the largest radius lies between $1$ and $q$. In his 1964 book Regular Figures (MR0165423), László Fejes Tóth found a series of packings that were his best guess for the maximum density for any $1 > q > 0.2$. Meanwhile Gerd Blind in (MR0275291, MR0377702) proved that for $1 \ge q > 0.72$, the most dense packing possible is $π/\sqrt{12}$, which is when all the disks are the same size. In Regular Figures, the upper bound of the ratio $q$ such that the density of his packings is greater than $π/\sqrt{12}$ that Fejes Tóth found was $0.6457072159...$. Here we improve that upper bound to $0.6585340820...$. Our new packings are based on a perturbation of a triangulated packing that has three distinct sizes of disks, found by Fernique, Hashemi, and Sizova (MR4292755), which is something of a surprise.

연구 동기 및 목표

• 비균일 원판 배열이 정 hexagonal 격자 밀도 $ \pi/\sqrt{12} $ 를 초과할 수 있는 반지름 비율 $ q $ 의 상한을 향상시키는 것.
• 세 가지 서로 다른 원판 크기를 가진 새로운 삼각형 배열 클래스를 식별하고 활용하여 이전의 두 크기 배열보다 더 높은 밀도를 달성하는 것.
• 대칭적이고 삼각형으로 배열된 배열의 변형을 체계적으로 탐색하여 플로리안의 밀도 이론적 상한에 가까워지는 것.
• 최근에 발견된 배열의 대칭군을 분류하고 분석하여 더 많은 밀도가 높은 주기적 배열을 구성하는 데 활용할 수 있는지 탐색하는 것.

제안 방법

• 페르니크, 하시미, 시조바의 알려진 세 가지 원판 크기 삼각형 배열을 변형하여 접촉 그래프 삼각형화를 유지하면서 밀도를 극대화하는 것.
• 원판 반지름 $ r_1=1 $, $ r_2=p $, $ r_3=q $ 를 포함하는 삼각형 및 평행사변형의 면적 공식에서 유도된 기하 제약 조건을 사용하여 겹침과 접촉 조건을 강제하는 것.
• 파란 원판이 변형 중에도 접촉을 유지하도록 보장하기 위해 면적 등식 $ x(1,q,p)y(1,q,p) = p\sqrt{2p+1} $ 을 적용하는 것.
• 면적 등식을 제곱하고 단순화하여 $ p $ 와 $ q $ 에 대한 다항식을 유도하고, 유효한 반지름 비율을 결정하기 위해 관련 인자를 분리하는 것.
• 유도된 제약 조건 하에 총 원판 면적 $ A(p,q) $ 와 총 토러스 면적 $ A_T(p,q) $ 의 비율로 전체 밀도 $ \Delta(p,q) = A(p,q)/A_T(p,q) $ 를 계산하는 것.
• 기호 계산(워프럼 알파를 통해)을 사용하여 유도된 고차 다항식을 전개하고 인수분해하여 $ q $ 의 유효한 해 곡선을 식별하는 것.

실험 결과

연구 질문

• RQ1 비균일 원판 배열이 정 hexagonal 격자 밀도 $ \pi/\sqrt{12} $ 를 초과할 수 있는 반지름 비율 $ q $ 의 최고 가능한 값은 무엇인가요?
• RQ2 세 가지 서로 다른 원판 크기를 가진 삼각형 배열이 알려진 두 크기 배열보다 더 높은 밀도를 낼 수 있나요?
• RQ3 변형된 삼각형 배열은 플로리안의 밀도 이론적 상한 $ s(q) $ 에 얼마나 가까이 다가갈 수 있나요?
• RQ4 세 가지 원판 크기를 가진 삼각형 배열에서 실현된 대칭군은 무엇이며, 이를 사용하여 새로운 밀도가 높은 배열을 생성할 수 있나요?

주요 결과

• 밀도가 $ \pi/\sqrt{12} $ 를 초과하는 배열에서 반지름 비율 $ q $ 의 상한은 페제스 토스의 0.6457072159에서 0.6585340820으로 향상되었다.
• 새로운 상한은 두 크기 기반의 이전 구성 방식과는 크게 다름을 보이며, 세 가지 원판 크기 삼각형 배열의 변형을 통해 달성되었다.
• 새로운 배열의 밀도는 $ q > 0.65 $ 인 경우 플로리안의 이론적 상한 $ s(q) $ 에 이전 어떤 구성보다 더 가까이 다가간다.
• 면적 등식에서 유도된 제약 조건은 변형 중 파란 원판이 항상 접촉을 유지함을 보장하여 배열의 타당성을 유지한다.
• 다항식 인수분해를 통해 $ 2p^4 + (4q+3)p^3 + (2q^2 - 2q + 1)p^2 - (5q^2 + 6q)p + q^2 = 0 $ 으로 정의되는 유효한 해 곡선이 드러났으며, 이는 허용 가능한 반지름 비율을 정의한다.
• 전체 밀도 $ \Delta(p,q) $ 는 제약 조건이 겹침과 접촉 조건을 보장하므로 총 원판 면적과 총 토러스 면적의 비율로 계산된다.