싱글톤 경계를 활용한 해시 패밀리 상한 개선 연구

본 논문은 해시 함수 패밀리의 효율성을 평가하는 핵심 지표인 N(해시 함수의 총 개수)에 대한 상한을 새롭게 제시한다. 연구는 크게 세 부분으로 구성된다. 첫 번째 부분에서는 ε‑universal(ε‑U) 해시 패밀리를 다룬다. 기존에는 Sarwate가 제시한 플롯킨 경계 ε ≥ (n‑m)/(m·(n‑1))와 Stinson이 도출한 N ≥ n(m‑1)n(εm‑1)+m²(1‑ε)와 같은 식이 사용되었다. 저자는 부호 이론의 싱글톤 경계 K ≤ q^{N‑D+1}을 이용해, ε‑U 패밀리가 존재하려면 (N, n, (1‑ε)N, m) 형태의 코드가 존재해야 함을 보이고, 이를 통해 N ≥ (log_m n‑1)/ε라는 새로운 하한을 얻는다. Lemma 3.3을 통해 n > m²인 경우에 기존 상한과 새로운 상한 사이의 관계를 정량화하고, ε₁(n,m), ε₂(n,m)이라는 두 임계값을 정의한다. Theorem 3.4는 ε가 ε₁ 이상 ε₂ 이하일 때 기존 상한이, ε ≤ ε₁일 때 새 상한이 더 타이트함을 증명한다. 또한 Theorem 3.5와 3.6을 통해 ε‑U 패밀리와 MDS 코드 사이의 일대일 대응을 제시하고, 구체적인 파라미터(q, i)를 이용한 예시를 들어 N이 최소가 되는 경우를 보여준다. 두 번째 부분은 ε‑Δ‑universal(ε‑ΔU) 해시 패밀리를 대상으로 한다. 여기서는 함수값 차이의 분포까지 고려하는 보다 강력한 조건을 부과한다. 기존 상한은 Stinson이 제시한 N ≥ n(m‑1)m‑n+mε(n‑1)이다. 싱글톤 경계를 상수‑가중 코드에 적용하면 N ≥ (log₂ n + m‑1)/(m‑2) + 2ε라는 식을 얻는다. Lemma 4.1은 n > m일 때 새로운 상한과 기존 상한 사이의 관계를 정리하고, ε₃(n,m)이라는 임계값을 도출한다. Theorem 4.2는 ε ≥ ε₃이면 새 상한이, ε < ε₃이면 기존 상한이 우수함을 명시한다. 또한 구체적인 예시(ε = 1‑2(q‑1)^{‑i+1}, n = q(q‑1)^{i}+1, m = q)를 통해 실제 파라미터에서 새 상한이 어떻게 적용되는지를 보여준다. 세 번째 부분은 ε‑strongly‑universal(ε‑SU) 해시 패밀리를 다룬다. 이 경우 두 조건(균등성 및 충돌 제한)을 동시에 만족해야 하며, 기존 상한은 N ≥ 1 + n(m‑1)·2mε(n‑1) + m‑n이다. 싱글톤 경계를 이용해 상수‑가중 코드와 연결시키면 N ≥ m·log₂ n / (m‑2(1‑ε))라는 새로운 식을 얻는다. 여기서 ε₄(n,m)는 2차 방정식의 해로 정의되며, Lemma 5.1은 n > 2m일 때 1 > ε₄ > 1/m임을 증명한다. Theorem 5.2는 ε ≥ ε₄이면 새 상한이, ε < ε₄이면 기존 상한이 더 타이트함을 제시한다. 전체 논문은 각 해시 패밀리 유형에 대해 싱글톤 경계를 적용함으로써 기존 플롯킨 기반 상한보다 더 강력한 결과를 얻을 수 있는 파라미터 영역을 명확히 규정한다. 특히 ε가 작을수록(즉, 충돌 확률이 낮을수록) 새 상한이 크게 개선되며, 이는 인증 코드 설계 시 필요한 해시 함수 수를 감소시켜 효율성을 높일 수 있음을 의미한다. 또한, MDS 코드와 상수‑가중 코드와의 직접적인 대응 관계를 제시함으로써 이론적 결과를 실제 코드 구성에 적용할 수 있는 실용적인 길을 열어준다.