[논문 리뷰] Reversibility and further properties of FCFS infinite bipartite matching

Ivo Adan, Ana Bušić외 2명|TU/e Research Portal (Eindhoven University of Technology)|2015. 07. 21.

Advanced Queuing Theory Analysis참고 문헌 10인용 수 8

한 줄 요약

이 논문은 FCFS 무한 이분 매칭 모델에서 동적 가역성을 확립하며, 시간 반전 시퀀스에서 매칭된 쌍을 교환해도 i.i.d. 분포와 FCFS 매칭이 유지됨을 증명한다. 양방향 무한 시퀀스에 대해 경로 기반 Loynes 유형의 구성법을 도입하고, 여러 마르코프 체인에 대해 곱형태의 정적 분포를 유도하여, 매칭된 항목 간 링크 길이와 같은 성능 지표의 정확한 계산을 가능하게 한다.

ABSTRACT

The model of FCFS infinite bipartite matching was introduced in caldentey-kaplan-weiss 2009. In this model there is a sequence of items that are chosen i.i.d. from $\mathcal{C}=\{c_1,\ldots,c_I\}$ and an independent sequence of items that are chosen i.i.d. from $\mathcal{S}=\{s_1,\ldots,s_J\}$, and a bipartite compatibility graph $G$ between $\mathcal{C}$ and $\mathcal{S}$. Items of the two sequences are matched according to the compatibility graph, and the matching is FCFS, each item in the one sequence is matched to the earliest compatible unmatched item in the other sequence. In adan-weiss 2011 a Markov chain associated with the matching was analyzed, a condition for stability was verified, a product form stationary distribution was derived and the rates $r_{c_i,s_j}$ of matches between compatible types $c_i$ and $s_j$ were calculated. In the current paper, we present several new results that unveil the fundamental structure of the model. First, we provide a pathwise Loynes' type construction which enables to prove the existence of a unique matching for the model defined over all the integers. Second, we prove that the model is dynamically reversible: we define an exchange transformation in which we interchange the positions of each matched pair, and show that the items in the resulting permuted sequences are again independent and i.i.d., and the matching between them is FCFS in reversed time. Third, we obtain product form stationary distributions of several new Markov chains associated with the model. As a by product, we compute useful performance measures, for instance the link lengths between matched items.

연구 동기 및 목표

• 모든 정수 시간선 T = ℤ 에서 무한 이분 매칭 모델에 대해 유일한 FCFS 매칭의 존재를 확립한다.
• 매칭된 쌍을 교환하는 변환을 통해 시간 반전 상태에서 FCFS 매칭 과정이 동적으로 가역적임을 증명한다.
• 매칭 과정과 관련된 새로운 마르코프 체인에 대해 곱형태의 정적 분포를 도출한다.
• 유도된 정적 분포를 사용하여 매칭된 항목 간 링크 길이와 같은 정확한 성능 측도를 계산한다.

제안 방법

• T = ℤ 에서 FCFS 매칭을 유일하게 정의하기 위해 양끝에서 중심으로 향해 매칭을 구성하는 경로 기반 Loynes 유형의 구성법을 개발한다.
• 시간 반전 상태에서 매칭된 쌍 (c^m, s^n) 을 (s^n, c^m) 으로 교환하는 변환을 정의하며, 이로 인해 시퀀스의 i.i.d. 성질이 유지된다.
• 반전된 과정이 여전히 FCFS 이며, 동일한 근원 분포를 가지며 i.i.d. 이라는 것을 보여줌으로써 동적 가역성을 증명한다.
• 균형 방정식과 세부 균형 조건을 사용하여, 미매칭 항목의 상태와 관련된 마르코프 체인에 대해 곱형태의 정적 분포를 도출한다.
• 호환성 그래프의 구조와 FCFS 매칭 규칙을 활용하여, 미매칭 항목과 매칭된 쌍의 공동 분포를 특성화한다.
• 반전된 과정에서 매칭된 항목 간 간격을 분석함으로써 링크 길이 분포를 부산물로 산출한다.

실험 결과

연구 질문

• RQ1 시간이 양방향인 경우(T = ℤ) 무한 이분 매칭 모델에 대해 유일한 FCFS 매칭이 존재하는가?
• RQ2 시간 반전 상태에서 매칭된 쌍을 교환할 경우 FCFS 매칭 과정은 동적으로 가역적인가?
• RQ3 미매칭 항목을 추적하는 마르코프 체인에 대해 곱형태의 정적 분포를 도출할 수 있는가?
• RQ4 시스템 내 매칭된 고객과 서버 쌍 간의 거리(링크 길이)의 정확한 분포는 무엇인가?
• RQ5 교환 변환 하에서 반전된 과정의 정적 분포와 정방향 과정의 정적 분포는 어떻게 관련이 있는가?

주요 결과

• T = ℤ 에서 무한 이분 매칭 모델에 대해 경로 기반 Loynes 유형의 구성법을 통해 유일한 FCFS 매칭이 존재함을 입증하였다.
• 모델은 동적으로 가역적이다: 매칭된 쌍을 교환하고 시간을 반전시킨 후에도 시퀀스는 여전히 i.i.d. 이며 동일한 근원 분포를 가지며 매칭은 여전히 FCFS 이다.
• 미매칭 항목 프로세스와 관련된 여러 마르코프 체인에 대해 곱형태의 정적 분포를 도출하여 시스템 행동의 정확한 분석이 가능해졌다.
• 매칭된 항목 간 링크 길이—매칭된 고객과 서버 사이의 시간 차이로 정의됨—는 정적 조건에서 명시적인 분포를 가지며, 정적 조건에서 계산 가능하다.
• 반전된 과정는 정적 조건에 대해 세부 균형을 만족하며, 이는 시스템의 동적 가역성을 확인한다.
• 유도된 곱형태의 해를 사용하여, 미매칭 항목 수의 기대값과 매칭 지연의 분포와 같은 성능 지표를 정확히 계산하였다.