[논문 리뷰] Log-Concave Polynomials IV: Exchange Properties, Tight Mixing Times, and Faster Sampling of Spanning Trees.

Nima Anari, Kuikui Liu외 2명|arXiv (Cornell University)|2020. 04. 15.

Markov Chains and Monte Carlo Methods참고 문헌 36인용 수 10

한 줄 요약

이 논문은 매트로이드 기저와 로그볼록성 다항식 분포에 대한 내림-오르기 랜덤 워크의 혼합 시간에 대해 $O(k\log k)$의 날것 있는 유계를 확립하며, 새로운 근사 교환 성질을 도입한다. 이는 $O(n\log^2 n)$ 시간 내에 스패닝 트리를 더 빠르게 샘플링할 수 있게 하며, 이는 이전의 거의 선형 시간 알고리즘을 향상시키고 가중치가 있는 그래프로의 확장도 가능하게 한다.

ABSTRACT

We prove tight mixing time bounds for natural random walks on bases of matroids, determinantal distributions, and more generally distributions associated with log-concave polynomials. For a matroid of rank $k$ on a ground set of $n$ elements, or more generally distributions associated with log-concave polynomials of homogeneous degree $k$ on $n$ variables, we show that the down-up random walk, started from an arbitrary point in the support, mixes in time $O(k\log k)$. Our bound has no dependence on $n$ or the starting point, unlike the previous analyses [ALOV19, CGM19], and is tight up to constant factors. The main new ingredient is a property we call approximate exchange, a generalization of well-studied exchange properties for matroids and valuated matroids, which may be of independent interest. Additionally, we show how to leverage down-up random walks to approximately sample spanning trees in a graph with $n$ edges in time $O(n\log^2 n)$, improving on the almost-linear time algorithm by Schild [Sch18]. Our analysis works on weighted graphs too, and is the first to achieve nearly-linear running time.

연구 동기 및 목표

• 매트로이드 기저와 로그볼록성 다항식에 관련된 분포에 대한 내림-오르기 랜덤 워크의 날것 있는 혼합 시간 유계를 확립하기.
• 고전적인 매트로이드 교환을 일반화하는 새로운 구조적 성질인 근사 교환을 개발하여 더 엄밀한 분석을 가능하게 하기.
• 그래프에서 스패닝 트리를 근사적으로 샘플링하는 데에 소요되는 실행 시간을 향상시켜 거의 선형 시간인 $O(n\log^2 n)$ 시간을 달성하기.
• 분석을 가중치가 있는 그래프로 확장하여, 이 분야에서 처음으로 거의 선형 시간 샘플링 알고리즘을 제공하기.

제안 방법

• 매트로이드와 밸류에이티드 매트로이드의 교환을 일반화한 근사 교환 성질을 도입하여, 더 엄밀한 농도 유계를 가능하게 하기.
• 근사 교환 성질을 활용해 $n$과 시작 지점에 의존하지 않는 $O(k\log k)$ 혼합 시간 유계를 유도하기.
• 엄밀한 혼합 시간을 활용하여 내림-오르기 랜덤 워크를 통한 스패닝 트리 빠른 샘플링 알고리즘 설계하기.
• 이 방법을 무게 없는 그래프와 가중치가 있는 그래프 모두에 적용하여 거의 선형 시간 복잡도 유지하기.
• 도수 $k$의 로그볼록성 동차 다항식의 구조를 활용하여 매트로이드와 결정식 점프 과정 분석을 통합하기.

실험 결과

연구 질문

• RQ1 매트로이드 기저에 대한 내림-오르기 랜덤 워크의 혼합 시간은 $n$과 시작 지점에 독립적으로 유계지 않을 수 있는가?
• RQ2 어떤 구조적 성질이 고전적인 매트로이드 교환을 일반화하고 더 엄밀한 혼합 시간 분석을 가능하게 하는가?
• RQ3 혼합 시간 유계를 활용하여 그래프에서 스패닝 트리를 더 빠르게 샘플링할 수 있는가?
• RQ4 이 프레임워크를 사용해 가중치가 있는 그래프에 대해서도 거의 선형 시간 스패닝 트리 샘플링을 확장할 수 있는가?

주요 결과

• 매트로이드 기저 또는 로그볼록성 다항식 분포에 대한 내림-오르기 랜덤 워크는 $n$과 시작 지점에 관계없이 $O(k\log k)$ 시간 내에 혼합된다.
• 근사 교환 성질은 날것 있는 혼합 시간 유계를 가능하게 하는 핵심 구조적 도구로 도입된다.
• 혼합 시간 유계는 상수 인자 범위 내에서 날것이며, 이는 이전 분석에서 $n$이나 시작 지점에 의존했던 것보다 향상된 것이다.
• 이 방법을 통해 $n$개 간선을 가진 그래프에서 스패닝 트리를 근사적으로 샘플링하는 데 $O(n\log^2 n)$ 시간이 소요되며, 이는 이전의 거의 선형 알고리즘을 초월한다.
• 알고리즘이 가중치가 있는 그래프로 확장되어, 이 분야에서 처음으로 거의 선형 시간 샘플링 방법을 제공한다.