[논문 리뷰] A lower bound for the size of the largest critical sets in Latin squares

Hamed Hatami, E. S. Mahmoodian|ArXiv.org|2006. 12. 31.

graph theory and CDMA systems참고 문헌 2인용 수 8

한 줄 요약

이 논문은 스타링의 근사법과 라틴 제곱 수에 대한 수세기적 수량 계산 기반의 조합 및 확률적 기법을 사용하여, $n \times n$ 라틴 제곱에서 최대 임계 집합의 크기 ${\rm lcs}(n)$에 대한 새로운 渐近 하한을 확립한다. 주요 결과는 충분히 큰 $n$에 대해 오랫동안 유지된 넬더의 추측을 뛰어넘는 상당히 향상된 하한을 제공한다는 것이다. 이 하한은 가능한 임계 집합의 수를 분석하고 고유 완성에 필요한 최소 크기를 제약하는 엔트로피 기반 수량 계산 기법을 활용하여 유도된다.

ABSTRACT

A critical set in an $n imes n$ array is a set $C$ of given entries, such that there exists a unique extension of $C$ to an $n imes n$ Latin square and no proper subset of $C$ has this property. The cardinality of the largest critical set in any Latin square of order $n$ is denoted by $\lcs{n}$. We give a lower bound for $\lcs{n}$ by showing that $\lcs{n} \geq n^2(1-\frac{2 + \ln 2}{\ln n})+n(1+\frac {\ln (8 π)} {\ln n})-\frac{\ln 2}{\ln n}.$

연구 동기 및 목표

• 라틴 제곱의 순서 $n$에 대해 임계 집합 크기의 오랜 기간 유지된 하한 $ (n^2 - n)/2 $ 을 향상시키는 것.
• 넬더의 추측이 반박된 후, 특히 큰 $n$에 대해 ${\rm lcs}(n)$에 대한 날카로운 하한을 규명하는 열린 문제를 다루는 것.
• 조합적 수량 계산과 근사 기법을 사용하여 ${\rm lcs}(n)$에 대한 엄밀한 渐近 하한을 제공하는 것.
• 임계 집합의 총 라틴 제곱 수와 그 구조적 제약 조건과의 관계를 분석하여 임계 집합에 대한 이해를 정교화하는 것.

제안 방법

• 바른 와르덴의 추측에서 유도된 알려진 하한 $ L(n) \geq \frac{(n!)^{2n}}{n^{n^2}} $ 을 사용하여 순서 $n$의 라틴 제곱 수에 대한 하한을 설정한다.
• 스타링의 근사법 $ n! \approx \sqrt{2\pi n} \left( \frac{n}{e} \right)^n $ 를 사용하여 수량 공식 내의 계승 항을 근사한다.
• 가능한 형태와 기호 할당 수를 바탕으로 크기 $ s $ 의 임계 집합 수에 대한 상한을 $ 2^{n^2 - 2n + 1} n^s $ 로 설정한다.
• 라틴 제곱 수에 대한 하한과 임계 집합 수에 대한 상한을 동일시하여 $ s = {\rm lcs}(n) $ 에 대한 하한을 도출한다.
• 최종 표현식 $ {\rm lcs}(n) $ 을 얻기 위해 로그 변환과 渐近 단순화를 통해 유도된 부등식을 해결한다.
• 이전 결과, 특히 넬더의 $ (n^2 - n)/2 $ 과 $ n = 2^m $ 에 대해 스토인슨–반 레스의 $ 4^m - 3^m $ 과의 비교를 통해 하한의 개선을 검증한다.

실험 결과

연구 질문

• RQ1 라틴 제곱의 순서 $n$ 에서 최대 임계 집합의 크기의 渐近 행동은 어떻게 되는가?
• RQ2 $ {\rm lcs}(n) $ 에 대해 오랫동안 유지된 하한 $ (n^2 - n)/2 $ 이 큰 $n$ 에서 개선될 수 있는가?
• RQ3 라틴 제곱 수와 유일하게 완성 가능한 부분 라틴 제곱(임계 집합) 수 사이의 관계는 무엇인가?
• RQ4 조합적 수량 계산과 근사 기법을 사용하여 유도할 수 있는 $ {\rm lcs}(n) $ 의 가장 날카로운 하한은 무엇인가?
• RQ5 $ n = 2^m $ 에 대해 기존의 하한 $ 4^m - 3^m $ 과 새로운 하한은 어떻게 비교되는가?

주요 결과

• 논문은 $ {\rm lcs}(n) $ 에 대한 새로운 渐近 하한을 확립한다: $ {\rm lcs}(n) \geq n^2\left(1 - \frac{2 + \ln 2}{\ln n}\right) + n\left(1 + \frac{\ln(8\pi)}{\ln n}\right) - \frac{\ln 2}{\ln n} $, 이는 모든 $ n \geq 195 $ 에 대해 유효하다.
• 이 하한은 넬더의 추측된 하한 $ (n^2 - n)/2 $ 보다 渐近적으로 개선되어, 큰 $n$ 에서 $ {\rm lcs}(n) $ 이 $ n^2/2 $ 보다 더 빠르게 증가함을 보여준다.
• 이 하한은 라틴 제곱 수에 대한 하한과 임계 집합 수에 대한 상한을 조합하여 스타링의 근사법과 로그 부등식을 사용하여 도출된다.
• $ n \geq 195 $ 에서 새로운 하한은 이전까지 알려진 최고의 하한을 초월하여, 이전에 생각보다 더 큰 임계 집합이 존재함을 보여준다.
• 결과적으로 $ {\rm lcs}(n) $ 이 $ n^2/2 $ 보다 渐近적으로 더 크다는 것이 확인되며, 이는 오랫동안 유지된 $ {\rm lcs}(n) = (n^2 - n)/2 $ 라는 추측을 반박한다.
• 이 하한은 $ n = 2^m $ 에서 $ 4^m - 3^m $ 하한보다 약하다. 그러나 모든 $ n \geq 195 $ 에 대해 유효한 일반적인 해석적 표현을 제공한다.