[논문 리뷰] 401 and beyond: improved bounds and algorithms for the Ramsey algebra search

Jeremy F. Alm|arXiv (Cornell University)|2016. 09. 06.

Constraint Satisfaction and Optimization인용 수 5

한 줄 요약

이 논문은 $(\mathbb{Z}/p\mathbb{Z})^\times$의 곱셈 쌍대군을 사용하여 소수 체 위에서 라미지 라이트 대수를 구성하는 알고리즘과 경계를 향상시킨다. 푸리에 균일성과 합-곱 원리를 활용하여, 어떤 소수 체에서도 13색 라미지 라이트 대수가 존재하지 않음을 증명하며, 오랜 동안 미해결이었던 경우를 해결하고, 라미지 수보다 훨씬 더 날카운 경계를 제공함으로써 $m=2000$까지 효율적인 계산이 가능해진다. 핵심 기여는 소수 체에서 $m=13$이 불가능함을 증명한 것으로, $A263308(13)=0$임을 보였다. 이 방법은 곱셈 부분군이 $p$가 증가함에 따라 균일하게 분포함을 보여주며, 이는 라미지 라이트 대수에서 요구하는 합-free 집합으로서 부적합함을 의미한다.

ABSTRACT

In this paper, we discuss an improvement of an algorithm to search for primes $p$ and coset-partitions of Z/pZ* that yield Ramsey algebras over Z/pZ. We also prove an upper bound on the modulus p in terms of the number of cosets. We have, as a corollary, that there is no prime $p$ for which there exists a partition of Z/pZ* into 13 cosets that yields a 13-color Ramsey algebra. Thus A263308(13) = 0.

연구 동기 및 목표

• multiplicative cosets를 사용하여 $\mathbb{Z}/p\mathbb{Z}$ 위에서의 라미지 라이트 대수에 대한 알고리즘적 탐색을 향상시키기.
• 라미지 수 $R_m(3)$보다 훨씬 더 날카운 경계를 제공하는, 색의 수 $m$에 대한 소수 모듈러스 $p$의 상한을 확립하기.
• 모든 소수 체에서 그러한 라미지 라이트 대수가 존재하지 않음을 증명함으로써, $m=13$의 경우를 해결하기.
• 덧셈 조합론과 푸리에 분석을 이용하여, 곱셈 부분군이 언제 합-free가 될 수 있는지 이론적 기초를 제공하기.

제안 방법

• 곱셈 부분군 $\mathbb{Z}/p\mathbb{Z}$가 덧셈적으로 비정규적임, 즉 무작위 집합처럼 행동함을 주장하기 위해 합-곱 현상을 활용한다.
• 부분군 $X_0$의 특성 함수에 푸리에 분석을 적용하여, 비자명한 푸리에 계수의 크기를 측정함으로써 준무작위성(quasirandomness)을 측정한다.
• Parseval의 항등식과 푸리에 계수의 경계를 활용하여 $x+y=z$의 해의 수를 추정하며, $p > m^4 + 5$일 때 이 수가 0이 아님을 보인다.
• 레마 2를 활용하여 알고리즘을 최적화한다: $X_0 + X_i$가 $X_j$와 교차하면, $X_j$ 전체를 포함함을 보여, 점검이 필요한 수를 줄인다.
• Schoen과 Shkredov의 결과로부터 $X_0$가 $p^{-1/2}$-균일함을 이용하여 해 수 계산의 오차 항을 경계함을 보이며, $p > m^4 + 5$일 때 $X_0$가 $x+y=z$의 해를 포함함을 증명한다.
• 이론적 경계와 계산적 검증을 결합하여, $p < 28567$인 모든 경우를 검토함으로써 $m=13$의 존재를 배제한다.

실험 결과

연구 질문

• RQ1 라미지 수 $R_m(3)$보다 더 크게 향상된 경계를 얻을 수 있는가? 즉, $\mathbb{Z}/p\mathbb{Z}$ 위에서 $m$-색 라미지 라이트 대수가 존재할 수 있는 $p$의 상한을 $R_m(3)$보다 훨씬 더 낮출 수 있는가?
• RQ2 곱셈 쌍대군 $X_0 \leq (\mathbb{Z}/p\mathbb{Z})^\times$의 쌍대군이 13색 라미지 라이트 대수에 필요한 합집합 조건을 만족하는 소수 $p$가 존재하는가?
• RQ3 곱셈 부분군의 푸리에 균일성이, 충분히 큰 $p$에서 이들이 합-free가 될 수 없음을 증명하는 데 사용될 수 있는가?
• RQ4 $p$와 $m$의 어떤 조건이 $X_0$가 합-free임을 보장하는가? 특히 $p$가 $m^4$에 비해 작을 경우에 대해.

주요 결과

• 논문은 어떤 소수 체 $\mathbb{Z}/p\mathbb{Z}$에서도 13색 라미지 라이트 대수가 존재하지 않음을 증명하며, 따라서 $A263308(13) = 0$임을 보였다.
• 개선된 $p$의 상한이 확립되었으며, $p < m^4 + 5$이면 $X_0$의 합-free 성질을 배제할 수 있음을 보였다. 이는 라미지 수 경계보다 훨씬 더 날카로운 경계이다.
• $m=13$일 때 이 경계는 $p < 28567$을 의미하며, 이는 존재하지 않음을 완전히 계산적으로 검토할 수 있도록 한다.
• 크기 $(p-1)/m$인 곱셈 부분군 $X_0$는 $p > m^4 + 5$일 때 합-free가 아니며, 이는 $p^{-1/2}$-균일성과 $x+y=z$의 해 수가 0이 아니라는 결과 때문임을 보였다.
• 레마 2를 활용한 알고리즘 최적화로, 쌍대군의 회전 대칭성을 이용하여 합집합 점검 수를 줄였다.
• 논문은 $p$가 증가함에 따라 $X_0$의 푸리에 계수들이 점점 $p$에 비해 작아지며, 이는 점점 더 준무작위성이 증가함을 나타내며, 이는 큰 $p$에서 $X_0$가 합-free일 수 없음을 확인한다.