프라이빗 코어셋의 계산적 난이도

초록

이 논문은 차등 프라이버시(DP) 하에서 k‑means 코어셋을 효율적으로 구성하는 것이 암호학적 가정(일방향 함수 존재) 하에 계산적으로 불가능함을 보인다. ℓ∞-메트릭에서는 상수 수준의 근사오차 α>0조차도 다항시간 DP 알고리즘으로는 얻을 수 없으며, 유클리드(ℓ2) 메트릭에서는 차원 d에 대해 α=Θ(1/d²) 이하의 근사만이 불가능함을 증명한다.

상세 분석

본 연구는 차등 프라이버시를 만족하는 코어셋 생성 문제에 대한 최초의 계산 복잡도 하한을 제시한다. 기존에는 정보 이론적으로는 작은 오류(α,β)와 함께 코어셋을 만들 수 있음이 알려졌지만, 그 알고리즘은 지수적 실행시간을 요구했다. 저자들은 이러한 비효율성이 근본적인 한계인지 여부를 조사한다. 핵심 아이디어는 최근 Ullman‑Vadhan(2020)에서 제시된 “프라미스 합성 데이터 생성” 문제의 난이도를 코어셋 문제에 귀환(reduction)하는 것이다. 3‑리터럴 디스정션(3‑literal disjunction) 쿼리 집합 F₃Disjᵈ에 대해, 일방향 함수가 존재한다면 (ε,1/n^{ω(1)})‑DP 알고리즘이 다항시간 내에 정확한 프라미스 합성기를 구현할 수 없다는 결과를 이용한다.

ℓ∞‑메트릭에서는 각 디스정션을 세 개의 중심점으로 변환해 k‑means 비용을 쿼리값으로 만든다. 만족하는 절(clause)일 경우 비용이 0에 가깝고, 불만족이면 최소 3만큼 차이가 난다. 따라서 코어셋이 존재하면 이를 이용해 각 좌표를 부호(±1)로 반올림함으로써 디스정션의 진리값을 복원할 수 있다. 이 복원 과정이 정확히 프라미스 합성기의 요구조건을 만족하므로, ℓ∞‑메트릭에서 α가 상수인 코어셋을 다항시간 DP로 구하는 것이 불가능함을 증명한다.

ℓ2‑메트릭(유클리드)에서는 동일한 변환을 적용하되, 비용 차이가 차원 d에 따라 1+Θ(1/d) 정도로 축소된다. 따라서 α가 Θ(1/d²) 이하가 되면 여전히 “갭”이 충분히 커서 위와 같은 귀환이 성립한다. 결과적으로 차원에 대한 역다항식 수준의 근사오차 이하를 달성하는 다항시간 DP 코어셋 알고리즘은 존재하지 않는다.

논문은 또한 코어셋 크기 제한을 두지 않음으로써 비프라이버시 버전에서는 입력 자체를 그대로 출력하면 trivial하게 해결되는 점을 강조한다. 이는 프라이버시 제약이 계산적 난이도를 야기한다는 중요한 통찰을 제공한다. 마지막으로, 기존 DP 코어셋 연구가 주로 지수적 의존성을 보였던 반면, 본 결과는 이러한 의존성이 암호학적 가정 하에서 피할 수 없음을 보여준다. 이는 차등 프라이버시와 데이터 요약 기술이 결합될 때 발생할 수 있는 근본적인 효율성 한계를 명확히 규정한다.