[논문 리뷰] Algorithmic aspects of Brascamp-Lieb inequalities.

Ankit Garg, Leonid Gurvits외 2명|arXiv (Cornell University)|2016. 07. 22.

Advanced Optimization Algorithms Research인용 수 3

한 줄 요약

이 논문은 Brascamp-Lieb (BL) 상수의 타당성, 최적 BL 상수, BL-다각형에 대한 약한 분리 오рак루를 다루는 최초의 다항식 시간 알고리즘을 제시한다. 또한 Reverse BL 부등식에 대해서도 동일한 결과를 제공한다. 이 접근법은 BL-데이터를 연산자 스케일링 문제의 인스턴스로 환원함으로써 효율적인 계산과 기존에 밀도성 추론에 의존해 알려지지 않았던 BL-상수의 명시적 연속성 경계를 가능하게 한다.

ABSTRACT

The celebrated Brascamp-Lieb (BL) inequalities (and their extensions) are an important mathematical tool, unifying and generalizing numerous inequalities in analysis, convex geometry and information theory. While their structural theory is very well understood, far less is known about computing their main parameters. We give polynomial time algorithms to compute feasibility of BL-datum, the optimal BL-constant and a weak separation oracle for the BL-polytope. The same result holds for the so-called Reverse BL inequalities of Barthe. The best known algorithms for any of these tasks required at least exponential time. The algorithms are obtained by a simple efficient reduction of a given BL-datum to an instance of the Operator Scaling problem defined by Gurvits, for which the present authors have provided a polynomial time algorithm. This reduction implies algorithmic versions of many of the known structural results, and in some cases provide proofs that are different or simpler than existing ones. Of particular interest is the fact that the operator scaling algorithm is continuous in its input. Thus as a simple corollary of our reduction we obtain explicit bounds on the magnitude and continuity of the BL-constant in terms of the BL-data. To the best of our knowledge no such bounds were known, as past arguments relied on compactness. The continuity of BL-constants is important for developing non-linear BL inequalities that have recently found so many applications.

연구 동기 및 목표

• Brascamp-Lieb 부등식의 핵심 매개변수를 효율적으로 계산하는 알고리즘을 개발하는 것. 이는 이전에는 다항식 시간 이외의 시간 복잡도로만 계산 가능하다고 알려져 있었다.
• BL 이론의 구조적 결과에 대한 알고리즘적 해법을 제공함으로써, 기존 정리에 대한 새로운 또는 단순화된 증명을 제시하는 것.
• BL-상수의 연속성과 크기의 명시적 양적 경계를 확립하여, 이전에 밀도성 기반 추론으로 남아 있던 격차를 메우는 것.
• Barthe의 Reverse Brascamp-Lieb 부등식으로 이러한 알고리즘적 결과를 확장하는 것.
• 연산자 스케일링 알고리즘의 연속적 성질을 활용해 BL-상수의 새로운 연속성 성질을 도출하는 것.

제안 방법

• 주어진 Brascamp-Lieb 데이터를 다항식 시간 알고리즘이 존재하는 연산자 스케일링 문제의 인스턴스로 환원하는 것.
• 연산자 스케일링 알고리즘이 입력 매개변수에 대해 연속적으로 의존함을 이용해 BL-상수의 연속성 경계를 도출하는 것.
• 통일된 환원을 통해 표준 및 역 Brascamp-Lieb 부등식 모두에 연산자 스케일링 프레임워크를 적용하는 것.
• 동일한 환원과 알고리즘 프레임워크를 사용하여 BL-다각형에 대한 약한 분리 오라클을 구성하는 것.
• 이 환원을 통해 BL-데이터의 타당성 결정이 다항식 시간 내에 가능하다는 것을 증명하는 것.
• 이전까지 알려지지 않았던, 입력 BL-데이터에 대한 BL-상수 크기의 명시적 경계를 도출하는 것.

실험 결과

연구 질문

• RQ1 Brascamp-Lieb 데이터의 타당성은 다항식 시간 내에 결정될 수 있는가?
• RQ2 최적의 BL-상수는 무엇이며, 이를 효율적으로 계산할 수 있는가?
• RQ3 BL-상수의 명시적 연속성 경계는 알고리즘적 계산에서 유도될 수 있는가?
• RQ4 동일한 알고리즘 프레임워크는 Reverse Brascamp-Lieb 부등식으로 확장될 수 있는가?
• RQ5 연산자 스케일링 알고리즘은 BL-상수 분석을 위한 새로운 연속적 접근법을 제공하는가?

주요 결과

• 논문은 Brascamp-Lieb 데이터의 타당성 결정을 위한 최초의 다항식 시간 알고리즘을 제공한다.
• 최적 Brascamp-Lieb 상수를 계산하는 최초의 다항식 시간 알고리즘을 제시한다.
• BL-다각형에 대한 약한 분리 오라클이 다항식 시간 내에 구성된다.
• 이전까지 알려지지 않았고, 밀도성만으로는 확보할 수 없었던 BL-상수의 명시적 연속성 경계가 도출된다.
• 동일한 알고리즘 프레임워크는 Reverse Brascamp-Lieb 부등식으로도 적용 가능하여, 이 중요한 클래스로 결과가 확장된다.
• 연산자 스케일링으로의 환원은 새로운 구조적 통찰을 드러내며, BL 이론의 기존 결과에 대한 대체 또는 단순화된 증명을 가능하게 한다.