[논문 리뷰] How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma

Emirhan Gürpınar, Andrei Romashchenko|arXiv (Cornell University)|2019. 01. 22.

Cryptography and Data Security참고 문헌 24인용 수 7

한 줄 요약

이 논문은 복사 보조정리의 정교한 응용을 통해 정보이론에서 더 날카운 경계를 도출하기 위해 단일 변수가 아니라 변수 쌍의 클론을 생성함으로써 계산 복잡도를 크게 줄였다. 대칭성의 활용을 통해 이루어진 이 방법은 기존에 알려진 인글턴 점수 경계에 대해 빠르고 형식적으로 검증 가능한 증명을 가능하게 하며, 바모스 매트로이드에 대한 비밀 공유에서 최적의 정보 비율에 대한 하한을 561/491로 향상시켰다.

ABSTRACT

We discuss linear programming techniques that help to deduce corollaries of non classic inequalities for Shannon's entropy. We focus on direct applications of the copy lemma. These applications involve implicitly some (known or unknown) non-classic universal inequalities for Shannon's entropy, though we do not derive these inequalities explicitly. To reduce the computational complexity of these problems, we extensively use symmetry considerations. We present two examples of usage of these techniques: we provide a reduced size formal inference of the best known bound for the Ingleton score (originally proven by Dougherty \emph{et al.} with explicitly derived non Shannon type inequalities), and improve the lower bound for the optimal information ratio of the secret sharing scheme for an access structure based on the Vamos matroid.

연구 동기 및 목표

• 비샤넌 유형이 아닌 부등식에 의존하는 정보이론의 선형계획법 문제의 계산 복잡도를 줄이기 위해.
• 복사 보조정리를 직접적으로 변수 쌍에 적용할 수 있는 방법을 개발하여 엔트로피 부등식의 효율적 추론을 가능하게 하기 위해.
• 접근 구조와 엔트로피 프로파일의 대칭성을 활용하여 선형계획법 공식화의 단순화와 가속화를 위해.
• 비밀 공유 및 인글턴 점수 문제에서 향상된 경계에 대해 형식적으로 검증 가능한 유리수 계수 증명을 제공하기 위해.
• 복사 보조정리와 대칭성 고려를 조합함으로써 계산 오 overhead 를 줄이고 더 날카운 경계를 도출할 수 있는지 보여주기 위해.

제안 방법

• 단일 변수가 아니라 함께 분포를 가지는 변수 쌍의 클론을 생성하기 위해 복사 보조정리를 적용하여 더 강력한 제약 조건을 도출하기 위해.
• 오직 샤논 유형의 부등식과 대칭성 제약 조건만을 사용하여 12개의 랜덤 변수(클론 포함)를 포함하는 선형계획법을 구성하여 엔트로피 프로파일을 모델링하기 위해.
• 접근 구조의 자동형군에서 유도된 대칭 조건을 통합하여 문제의 차원을 감소시키기 위해.
• 유리수 계수의 정확한 쌍대 해를 계산하기 위해 유리수 선형계획법 해법기(QSopt_ex 등)를 사용하여 형식적 검증 가능성을 확보하기 위해.
• 빠른 최적 해의 근사치를 확보하기 위해 부동소수점 해법기를 활용하며, 많은 경우에서 대칭성 제약 조건이 수렴 속도를 가속화하기 위해.
• 정확한 유리수 해와 부동소수점 근사치를 비교하여 결과의 정확성을 검증함으로써 반올림 오차에도 불구하고 정확성을 확보하기 위해.

실험 결과

연구 질문

• RQ1 복사 보조정리를 변수 쌍의 클론 생성에까지 확장하여 더 효율적으로 강력한 정보 부등식을 도출할 수 있는가?
• RQ2 엔트로피 프로파일과 접근 구조의 대칭성을 어떻게 활용하여 선형계획법 공식화의 크기와 복잡도를 줄일 수 있는가?
• RQ3 이 방법을 통해 비샤넌 부등식의 명시적 유도 없이도 형식적으로 검증 가능한 유리수 계수 증명을 도출할 수 있는가?
• RQ4 대칭성 제약 조건이 정보이론 문제에서 선형계획법 해법기의 계산 성능에 어떤 영향을 미치는가?
• RQ5 이 방법을 통해 비밀 공유 체계에서 기존에 알려진 최적의 정보 비율 하한을 향상시킬 수 있는가, 특히 바모스 매트로이드의 경우에 대해?

주요 결과

• 이 방법은 단지 네 개의 보조 변수와 복사 보조정리의 세 번의 적용만으로 기존에 알려진 인글턴 점수 경계에 대해 형식적이고 검증 가능한 증명을 달성하였다.
• 바모스 매트로이드에 대한 비밀 공유 체계의 최적 정보 비율은 최소 561/491 ≈ 1.142566으로 향상되었으며, 이는 이전에 알려진 바보다 더 날카운 하한이다.
• 정확한 유리수 해는 QSopt_ex를 사용하여 계산되었으며, 이로 인해 1000개 이상의 유리수 부등식을 포함하는 쌍대 해를 도출하여 형식적 증명을 제공하였다.
• 대칭성 제약 조건은 유리수 쌍대 해의 분모를 줄였고, 많은 설정에서 해법기 성능을 향상시켰지만, 전반적으로는 그렇지 않았다.
• 이 방법은 부동소수점 해법기를 통해 빠른 경계 계산을 가능하게 하면서도, 여전히 유리수 산술을 통해 정확한 검증을 보장한다.
• 비샤넌 부등식의 명시적 유도를 피하기 위해, 이들의 함의를 복사 보조정리와 대칭성을 통해 직접적으로 통합하였다.