[논문 리뷰] Negatively correlated random variables and Mason's conjecture

David G. Wagner|ArXiv.org|2006. 02. 28.

Markov Chains and Monte Carlo Methods참고 문헌 31인용 수 5

한 줄 요약

이 논문은 집합계에서 가중치 함수가 레일리 조건을 만족할 경우, 즉 원소들 간에 강한 음의 상관관계가 존재할 경우, 그 구조는 볼록 델타-마트로이드이고 가중치 함수는 로그로 하위모듈라라는 것을 증명한다. 주요 기여는 두 합 연산이 마트로이드에서 레일리 조건을 유지함을 보여주는 것으로, 이는 모든 시리즈-패러럴 마트로이드가 퍼츠-레일리임을 의미하며, 이는 큰 추측이 참일 경우 이 클래스에 대해 메이슨의 추측이 성립함을 시사한다.

ABSTRACT

Mason's Conjecture asserts that for an $m$--element rank $r$ matroid $\M$ the sequence $(I_k/\binom{m}{k}: 0\leq k\leq r)$ is logarithmically concave, in which $I_k$ is the number of independent $k$--sets of $\M$. A related conjecture in probability theory implies these inequalities provided that the set of independent sets of $\M$ satisfies a strong negative correlation property we call the \emph{Rayleigh condition}. This condition is known to hold for the set of bases of a regular matroid. We show that if $ω$ is a weight function on a set system $\Q$ that satisfies the Rayleigh condition then $\Q$ is a convex delta--matroid and $ω$ is logarithmically submodular. Thus, the hypothesis of the probabilistic conjecture leads inevitably to matroid theory. We also show that two--sums of matroids preserve the Rayleigh condition in four distinct senses, and hence that the Potts model of an iterated two--sum of uniform matroids satisfies the Rayleigh condition. Numerous conjectures and auxiliary results are included.

연구 동기 및 목표

• 무작위 변수들 간의 음의 상관관계와 마트로이드 이론에서의 로그로 볼록성 간의 연결 고리를 조사하는 것.
• 가중치 함수에 대한 레일리 조건이 로그로 하위모듈라성과 볼록 델타-마트로이드 구조와 같은 구조적 성질을 유도하는 지 탐구하는 것.
• 두 합 연산이 기저, 독립 집합, 그리고 스패닝 집합 등 여러 마트로이드 클래스에서 레일리 조건을 유지함을 보여주는 것.
• 시리즈-패러럴 및 그래프 마트로이드가 큰 추측에 따라 로그로 볼록성의 성질을 만족할 수 있음을 뒷받침하는 증거를 제공하는 것.
• 퍼츠-레일리, I-레일리, B-레일리 조건을 마트로이드 클래스들 간에 연결하는 추측의 계층을 제안하고 분석하는 것.

제안 방법

• 기저 집합에 의해 인덱싱된 무작위 변수들 간의 강한 이원 음의 상관관계 성질로 레일리 조건을 도입한다.
• 큰 추측의 등가 형태를 유도하기 위해 가중치 함수의 대칭화를 정의하고 분석한다.
• 그라스만-베레진 적분 형식을 사용하여 페르미온 변수와 행렬 행렬식을 통해 그래프의 퍼츠 모델 분할 함수를 표현한다.
• 비네-코시 항등식과 주된 소수 행렬-트리 정리를 적용하여 생성 함수를 부호가 있는 인cidenc 행렬의 행렬식과 연결한다.
• 두 합 연산이 마트로이드에서 네 가지 다른 의미로 레일리 조건을 유지함을 증명한다: 기저, 독립 집합, 스패닝 집합, 그리고 퍼츠 모델에 대해.
• 균일 마트로이드와 특정 그래프들(예: K₄, K₆, W₇)이 퍼츠-레일리임을 보이며, 이 클래스가 쌍대, 부분마트로이드, 그리고 두 합 연산에 대해 닫혀 있음을 보여준다.

실험 결과

연구 질문

• RQ1 가중치 함수가 레일리 조건을 만족할 경우, 그 지지 집합은 볼록 델타-마트로이드인가?
• RQ2 정규화된 독립 집합 수의 로그로 볼록성에 대한 큰 추측은 대칭화된 가중치 함수에 대한 국소 조건으로 줄일 수 있는가?
• RQ3 마트로이드의 두 합 연산이 독립 집합, 스패닝 집합, 그리고 퍼츠 모델에 대해 레일리 조건을 유지하는가?
• RQ4 모든 시리즈-패러럴 마트로이드는 퍼츠-레일리인가, 그리고 큰 추측이 참일 경우 메이슨의 추측을 만족하는가?
• RQ5 I-레일리 마트로이드의 클래스는 부분마트로이드와 두 합 연산에 대해 닫혀 있는가, 그리고 모든 평면 마트로이드 또는 모든 정규 마트로이드를 포함하는가?

주요 결과

• 가중치 함수가 레일리 조건을 만족할 경우, 그 지지 집합은 볼록 델타-마트로이드이고 가중치 함수는 로그로 하위모듈라적이다.
• 큰 추측은 레일리 가중치 함수의 대칭화가 레일리 조건을 유지한다는 주장과 동치이다.
• 두 합 연산은 마트로이드에서 네 가지 의미로 레일리 조건을 유지한다: 기저, 독립 집합, 스패닝 집합, 그리고 퍼츠 모델에 대해.
• 모든 시리즈-패러럴 마트로이드는 퍼츠-레일리이며, 따라서 큰 추측이 참일 경우 메이슨의 추측을 만족한다.
• 그래프에서 스패닝 포레스트의 수를 나타내는 생성 함수는 퍼츠 모델 하에서 실근을 가진다. 이는 그래프에 대한 I-레일리 추측을 지지한다.
• 퍼츠-레일리 마트로이드의 클래스는 모든 균일 마트로이드, K₄를 포함하며, 쌍대, 부분마트로이드, 두 합 연산에 대해 닫혀 있다.