[논문 리뷰] The Connection between the Number of Realizations for Degree Sequences and Majorization

Annabell Berger|arXiv (Cornell University)|2012. 12. 21.

Markov Chains and Monte Carlo Methods참고 문헌 38인용 수 3

한 줄 요약

이 논문은 주어진 차수열에 대한 그래프, 이분 그래프, 방향 그래프 실현 수와 주요화( majorization ) 사이의 새로운 연결 고리를 확립한다. 만약 차수열 $ S' $ 가 다른 차수열 $ S $ 를 주요화한다면, $ S $ 는 $ S' $ 보다 엄밀히 더 많은 실현 수를 가진다. 고정된 $ n $ 과 $ m $ 에서 상수 또는 최소볼록( minconvex ) 차수열이 실현 수를 최대화한다.

ABSTRACT

The \emph{graph realization problem} is to find for given nonnegative integers $a_1,\dots,a_n$ a simple graph (no loops or multiple edges) such that each vertex $v_i$ has degree $a_i.$ Given pairs of nonnegative integers $(a_1,b_1),\dots,(a_n,b_n),$ (i) the \emph{bipartite realization problem} ask whether there is a bipartite graph (no loops or multiple edges) such that vectors $(a_1,...,a_n)$ and $(b_1,...,b_n)$ correspond to the lists of degrees in the two partite sets, (ii) the \emph{digraph realization problem} is to find a digraph (no loops or multiple arcs) such that each vertex $v_i$ has indegree $a_i$ and outdegree $b_i.$\\ The classic literature provides characterizations for the existence of such realizations that are strongly related to the concept of majorization. Aigner and Triesch (1994) extended this approach to a more general result for graphs, leading to an efficient realization algorithm and a short and simple proof for the Erdős-Gallai Theorem. We extend this approach to the bipartite realization problem and the digraph realization problem.\\ Our main result is the connection between majorization and the number of realizations for a degree list in all three problems. We show: if degree list $S'$ majorizes $S$ in a certain sense, then $S$ possesses more realizations than $S'.$ We prove that constant lists possess the largest number of realizations for fixed $n$ and a fixed number of arcs $m$ when $n$ divides $m.$ So-called \emph{minconvex lists} for graphs and bipartite graphs or \emph{opposed minconvex lists} for digraphs maximize the number of realizations when $n$ does not divide $m$.

연구 동기 및 목표

• 비방향 그래프에서 주요화 프레임워크를 이분 그래프 및 방향 그래프로 확장하기.
• 차수열의 실현 수가 주요화 순서와 어떻게 관련되는지 규명하기.
• 고정된 $ n $ 과 $ m $ 에서 실현 수를 최대화하는 차수열을 특정하기.
• 주요화와 이동 경로를 활용한 실현 수 세기의 통합 이론적 기초 제공하기.

제안 방법

• 정수 벡터에 대한 고전적 주요화 관계 $ \prec $ 를 사용하여 차수열을 비교한다.
• 단위 이동 연산을 적용하여 차수열을 변형하고 실현 수의 변화를 분석한다.
• 기존의 특성 정리( Erdős-Gallai, Gale-Ryser, Fulkerson )를 기초 제약 조건으로 활용한다.
• 대칭 방향 그래프 표현을 사용하여 이동 경로를 통해 이중사상으로 이중 그래프 리스트와 방향 그래프 리스트를 연결한다.
• 주요화에 따른 실현 수의 단조성 증명을 위해 이동 경로에 대한 귀납적 추론을 사용한다.
• 실현 수를 최대화하는 극한 케이스로 최소볼록( minconvex ) 및 반대 최소볼록( opposed minconvex ) 리스트의 개념을 도입한다.

실험 결과

연구 질문

• RQ1 주요화는 그래프, 이분 그래프, 방향 그래프 설정에서 차수열의 실현 수와 어떻게 관련되는가?
• RQ2 한 차수열이 다른 차수열을 주요화한다면 항상 실현 수가 적은가?
• RQ3 고정된 $ n $ 과 $ m $ 에서 실현 수를 최대화하는 차수열은 무엇인가?
• RQ4 주요화와 이동 경로를 사용하여 실현 수를 상한으로 제한할 수 있는가?
• RQ5 실현 수 측면에서 극한 차수열(예: 상수 또는 최소볼록 리스트)의 구조적 특성은 무엇인가?

주요 결과

• 만약 $ a \prec a' $ 이고 $ a \neq a' $ 라면, $ a $ 의 그래프 실현 수는 $ a' $ 의 실현 수보다 엄밀히 많다. 즉, $ N_3(a) > N_3(a') $.
• 고정된 $ n $ 이 $ m $ 를 나누는 경우, 상수 차수열이 실현 수를 최대화한다.
• $ n $ 이 $ m $ 를 나누지 않는 경우, 그래프 및 이분 그래프에 대해서는 최소볼록 리스트, 방향 그래프에 대해서는 반대 최소볼록 리스트가 실현 수를 최대화한다.
• 주요화된 차수열에서 그 지배자로 향하는 모든 이동 경로를 따라 실현 수는 엄밀히 감소한다.
• 대칭 방향 그래프 리스트의 경우, 실현 수는 이중사상으로 그래프 실현 수와 일치하며, 주요화 기반 순서를 유지한다.
• 주어진 $ m $ 과 $ n $ 에 대해 최소볼록 리스트 $ \alpha $ 는 임의의 다른 비증가 그래프 리스트 $ a $ 에 대해 $ \alpha \prec a $ 를 만족하므로 $ N_3(\alpha) \geq N_3(a) $ 이다.