[논문 리뷰] Nash Social Welfare, Matrix Permanent, and Stable Polynomials

Nima Anari, Shayan Oveis Gharan외 2명|arXiv (Cornell University)|2016. 09. 22.

Markov Chains and Monte Carlo Methods참고 문헌 12인용 수 13

한 줄 요약

이 논문은 항목 할당에서 나시 사회후생 최대화를 위한 새로운 볼록 프ogramming 근사법을 제안하며, 실수 안정 다항식과 행렬 영상 근사 기법을 활용한다. 무작위 라운딩 알고리즘을 통해 1/e 근사 비율을 달성하며, 주요 이론적 기여는 구르비츠의 안정 다항식 계수 하한을 모든 동차 다항식으로 일반화한 것이다.

ABSTRACT

We study the problem of allocating $m$ items to $n$ agents subject to maximizing the Nash social welfare (NSW) objective. We write a novel convex programming relaxation for this problem, and we show that a simple randomized rounding algorithm gives a $1/e$ approximation factor of the objective. Our main technical contribution is an extension of Gurvits's lower bound on the coefficient of the square-free monomial of a degree $m$-homogeneous stable polynomial on $m$ variables to all homogeneous polynomials. We use this extension to analyze the expected welfare of the allocation returned by our randomized rounding algorithm.

연구 동기 및 목표

• 정당한 항목 할당에서 나시 사회후생 최대화의 계산 난이도를 해결하기 위해.
• 이전 방법들이 겪는 정수성 갭 문제를 피하는 볼록 근사법을 개발하기 위해.
• 나시 후생, 안정 다항식, 행렬 영상 근사 간의 연결 고리를 설정하기 위해.
• 증명 가능한 근사 보장을 갖는 무작위 라운딩 알고리즘을 설계하기 위해.
• 구르비츠의 안정 다항식 계수 하한을, degree $ m $에 국한되지 않은 모든 동차 다항식으로 일반화하기 위해.

제안 방법

• 로그 변수에서의 기하 프로그래밍 근사법을 제안하며, 이를 볼록 최적화 문제로 재구성한다.
• 에이전트의 가치 곱에 해당하는 제곱 자유 계수를 갖는 실수 안정 다항식 $ p(y_1, \dots, y_m) $ 를 사용한다.
• 다항식 계수를 기반으로 할당을 샘플링하는 무작위 라운딩 알고리즘을 설계하여, 기대값으로서의 NSW가 제곱 자유 계수의 합과 일치하도록 보장한다.
• proxy 목표 함수로 $ \inf_{\mathbf{y}>0, y^S \geq 1 \, \forall S} p(\mathbf{y}) $ 를 도입하며, 이는 제곱 자유 계수의 합을 하한으로 제공한다.
• 구르비츠 부등식의 일반화를 증명한다: $ \sum_{S \in \binom{[m]}{n}} c_S \geq \frac{m! (m-n)^{m-n}}{m^m (m-n)!} \inf p(\mathbf{y}) $, 여기서 $ \geq e^{-n} \inf p(\mathbf{y}) $ 는 따름정리이다.
• Jerrum-Sinclair-Vigoda 알고리즘을 활용해 영상 근사를 효율적으로 계산함으로써 proxy 목표 함수를 계산한다.

실험 결과

연구 질문

• RQ1 표준 근사법이 겪는 정수성 갭 문제를 피할 수 있는 나시 사회후생 최대화를 위한 볼록 근사법을 구성할 수 있는가?
• RQ2 제약된 도메인에서 다항식의 최소값과 안정 다항식의 제곱 자유 계수의 합 사이의 관계는 무엇인가?
• RQ3 행렬의 영상은 나시 사회후생과 안정 다항식과 어떻게 연결될 수 있는가?
• RQ4 무작위 라운딩 기법을 설계하여 기대값으로서의 NSW가 안정 다항식의 제곱 자유 계수의 합과 일치하도록 만들 수 있는가?
• RQ5 구르비츠의 계수 하한은 degree $ m $에 국한되지 않은 모든 동차 안정 다항식에 대해 일반화 가능한가?

주요 결과

• 로그 변환을 통한 최적화로, 제안된 볼록 근사법은 나시 사회후생 목적 함수의 효율적 최적화를 가능하게 한다.
• 무작위 라운딩 알고리즘은 기대값으로서의 나시 사회후생이 최적값의 최소 $ 1/e $ 배임을 보장한다.
• 핵심 부등식은 구르비츠 결과를 일반화하며, degree-$ n $, 동차, 실수 안정 다항식의 제곱 자유 계수의 합이 도메인 $ y^S \geq 1 $ 에서의 다항식 최소값의 $ e^{-n} $ 배 이상임을 보여준다.
• $ 1/e $ 근사 비율은 조합 시장 구조에 의존하지 않아, 이 방법은 광범위하게 적용 가능하다.
• Jerrum, Sinclair, 그리고 Vigoda의 영상 근사 알고리즘을 활용해 proxy 목표 함수를 효율적으로 계산함으로써 다항식 시간 구현이 가능해진다.
• 비율이 $ e^{-n} $ 에 가까워지는 예시 $ p = (y_1 + \cdots + y_n)^n $ 을 통해 이 하한이 거의 날카로운 것으로 확인된다.