View article

Motivated by queues with multitype servers and multitype customers, we consider an infinite sequence of items of types 𝒞={c 1,…, c I}, and another infinite sequence of items of types 𝒮={s 1,…, s J}, and a bipartite graph G of allowable matches between the types. We assume that the types of items in the two sequences are independent and identically distributed (iid) with given probability vectors α, β. Matching the two sequences on a first-come, first-served basis defines a unique infinite matching between the sequences. For (c i, s j)∈ G we define the matching rate r c i, s j as the long-term fraction of (c i, s j) matches in the infinite matching, if it exists. We describe this system by a multidimensional countable Markov chain, obtain conditions for ergodicity, and derive its stationary distribution, which is, most surprisingly, of product form. We show that if the chain is ergodic, then the matching rates exist almost surely, and …