새로운 이중클리크 커버를 통한 커버프리 패밀리 상한 연구

초록

본 논문은 $(r,w;d)$-커버프리 패밀리의 최소 원소 수 $N((r,w;d),t)$와 이와 동형인 이분 그래프 $I_t(r,w)$의 $d$-이중클리크 커버링 수를 동일시한다. 이를 기반으로 $d=1$인 경우에 대한 로그 기반 하한을 제시하고, 특정 $d$에 대해 정확값을 구한다. 또한 차수 $4d$의 Hadamard 행렬 존재 시 $N((1,1;d),4d-1)=4d-1$임을 증명한다.

상세 요약

논문은 먼저 $(r,w;d)$-커버프리 패밀리(CFF)의 정의를 명확히 하고, 이를 이분 그래프 $I_t(r,w)$와 연결시킨다. $I_t(r,w)$는 $t$개의 원소 집합에서 $w$-부분집합과 $r$-부분집합을 각각 한쪽 파트에 두고, 두 부분집합이 교집합이 없을 때만 간선을 두는 그래프이다. 저자는 $N((r,w;d),t)$를 $I_t(r,w)$의 $d$-이중클리크 커버링 수와 동일하게 만든다. 즉, 그래프의 모든 간선을 최소 $d$번씩 포함하도록 이중클리크(완전 이분 그래프)들의 집합을 선택하는 최소 개수가 바로 CFF의 최소 원소 수와 일치한다는 것이다. 이 동형성은 기존 CFF 연구에서 사용되던 조합적 방법을 그래프 이론적 도구로 전환함으로써 새로운 상한·하한 기법을 적용할 수 있는 기반을 제공한다.

다음으로 저자는 $r\ge w$, $r\ge2$인 경우 $d=1$에 대해 로그 기반 하한을 도출한다. 구체적으로
\