[논문 리뷰] Smoothing Brascamp-Lieb Inequalities and Strong Converses for Common Randomness Generation

Jingbo Liu, Thomas A. Courtade외 2명|arXiv (Cornell University)|2016. 02. 06.

Diffusion and Search Dynamics참고 문헌 15인용 수 3

한 줄 요약

이 논문은 부드러운 Brascamp-Lieb 부등식과 공통 랜덤니스(CR) 생성 간의 이원성(duality)을 수립하며, 기능적 부등식에서 유도된 단일 스탑 단서(single-shot converse)를 활용하여 이산 및 가우시안 설정에서 CR 생성의 강력한 역설명(strong converse)을 증명한다. 주요 기여는 보조 랜덤 변수를 포함한 연속 소스에 대해 처음으로 강력한 역설명을 얻기 위해, Brascamp-Lieb 상수에 대한 새로운 스무딩 기법을 통해 상호정보량 기반의 경계로 수렴하는 방법을 제시한 것이다.

ABSTRACT

We study the infimum of the best constant in a functional inequality, the Brascamp-Lieb-like inequality, over auxiliary measures within a neighborhood of a product distribution. In the finite alphabet and the Gaussian cases, such an infimum converges to the best constant in a mutual information inequality. Implications for strong converse properties of two common randomness (CR) generation problems are discussed. In particular, we prove the strong converse property of the rate region for the omniscient helper CR generation problem in the discrete and the Gaussian cases. The latter case is perhaps the first instance of a strong converse for a continuous source when the rate region involves auxiliary random variables.

연구 동기 및 목표

• 부드러운 Brascamp-Lieb 부등식과 공통 랜덤니스(CR) 생성 문제 간의 이원성을 수립하는 것.
• 이산 및 가우시안 무기록 소스에서 CR 생성의 강력한 역설정 정리를 증명하는 것.
• 특히 연속 소스에 대해 방법의 유형(method of types)에 의존하지 않는 단일 스탑 단서를 개발하는 것.
• 제품 분포에 가까운 측도 위에서 Brascamp-Lieb 상수의 최적 상수를 스무딩함으로써, 점차적 한계에서 상호정보량 유형의 경계에 수렴하는 것을 보여주는 것.
• 스토케스틱 인코더 및 디코더를 포함한 문제에 강력한 역설명 증명의 적용 범위를 확장하고, 두 번째 차수 점근적 경계를 유도하는 것.

제안 방법

• 제품 측도의 총 변동성 이웃 내의 보조 측도 위에서 최적 상수를 최소화함으로써 일반화된 Brascamp-Lieb (GBLL) 부등식의 스무딩된 버전을 도입한다.
• GBLL 부등식을 단일 스탑 CR 생성에 적용하며, 디코딩 집합을 모델링하기 위해 지시 함수(indicator functions)를 사용하고, 생성된 키 분포와 균일 분포 사이의 총 변동성 경계를 유도한다.
• CR 생성의 타당성과 부드러운 BLL 역설명 간의 이원성을 활용하여, CR 생성의 타당성이 부드러운 BLL 상수의 하한을 이끌어내는 것을 증명한다.
• 키 분포가 균일성에서 벗어남과 부드러운 Brascamp-Lieb 상수 사이의 관계를 연결하는 단일 스탑 역설명 경계(정리 20)를 사용한다.
• 가우시안 케이스의 분석을 정교화하여, 점차적 비율 영역에서의 백오프를 캡처하는 상수 항을 포함하는 두 번째 차수의 역설명 경계를 도출한다.
• 정규 조건 하에서 스무딩된 측도 위에서 GBLL 상수의 하한이 점차적 한계에서 상호정보량 기반 상수로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 보조 랜덤 변수가 포함된 연속 무기록 소스에서 공통 랜덤니스 생성에 대해 강력한 역설명을 증명할 수 있는가?
• RQ2 스무딩된 Brascamp-Lieb 부등식의 최적 상수의 하한이 점차적 영역에서 상호정보량 기반 표현으로 수렴하는가?
• RQ3 CR 생성과 부드러운 Brascamp-Lieb 부등식 간의 이원성을 활용하여 방법의 유형에 의존하지 않고 강력한 역설명을 도출할 수 있는가?
• RQ4 가우시안 케이스에서 CR 생성의 두 번째 차수 점근적 행동은 스무딩된 Brascamp-Lieb 상수와 어떻게 관련이 있는가?
• RQ5 제안된 방법은 기존의 방법의 유형과 달리 스토케스틱 인코더 및 디코더를 처리할 수 있는가?

주요 결과

• 보조 랜덤 변수가 포함된 경우에도, 이 문서는 이종 히어러르(common randomness generation) 문제에 대해 이산 및 가우시안 케이스 모두에서 강력한 역설명이 성립함을 보였다.
• 정규 조건 하에서 부드러운 Brascamp-Lieb 상수는 점차적 한계에서 상호정보량 기반 상수로 수렴하며, 이는 강력한 역설명 증명을 가능하게 한다.
• 이 방법은 스토케스틱 인코더 및 디코더에 적용 가능하여 방법의 유형의 제한을 초월한다.
• 가우시안 케이스에서는 두 번째 차수의 역설명 경계가 도출되었으며, 점차적 비율 영역에서의 백오프가 스무딩된 BLL 상수를 포함하는 상수 항으로 유계임을 보여준다.
• CR 생성과 부드러운 BLL 간의 이원성이 수립되었다: CR 생성의 타당성은 부드러운 BLL 상수의 하한을 이끌어내며, 그 반대도 마찬가지다.
• 이 논문은 보조 변수를 포함한 연속 소스에 대해 처음으로 강력한 역설명을 제공하며, 네트워크 정보이론 분야에서 중요한 진전을 이룬다.