Poisson matching

Abstract

Suppose that red and blue points occur as independent homogeneous Poisson processes in ℝ^d. We investigate translation-invariant schemes for perfectly matching the red points to the blue points. For any such scheme in dimensions d=1, 2, the matching distance X from a typical point to its partner must have infinite d/2th moment, while in dimensions d≥3 there exist schemes where X has finite exponential moments. The Gale–Shapley stable marriage is one natural matching scheme, obtained by iteratively matching mutually closest pairs. A principal result of this paper is a power law upper bound on the matching distance X for this scheme. A power law lower bound holds also. In particular, stable marriage is close to optimal (in tail behavior) in d=1, but far from optimal in d≥3. For the problem of matching Poisson points of a single color to each other, in d=1 there exist schemes where X has finite exponential moments, but if we insist that the matching is a deterministic factor of the point process then X must have infinite mean.

Supposons que des points rouges et bleus évoluent suivant des processus de Poisson homogènes indépendants dans ℝ^d. Nous nous intéressons à des procédés invariants par translation appariant de manière bijective les points rouges et les points bleus. En dimensions d=1, 2, quelque soit le procédé considéré, la distance d’appariement (matching distance) X entre un point typique et son partenaire possède nécessairement un d/2-ème moment infini. En revanche, en dimensions d≥3 il existe des procédés pour lesquels X a des moments exponentiels finis. Le “mariage stable” de Gale–Shapley est un procédé naturel, obtenu en appariant une à une les paires mutuellement les plus proches. L’un des principaux résultats de cet article est que dans le cas de ce procédé, la distance d’appariement X est majorée par une loi de puissance. Une minoration en loi de puissance est également vérifiée. En particulier, le mariage stable est essentiellement optimal (en terme de queue de distribution) en dimension d=1, mais il est loin d’être optimal en dimensions d≥3. Dans le cas du problème qui consiste à apparier des points d’une seule couleur issus d’un processus de Poisson, en dimension d=1 il existe des procédés pour lesquels X a des moments exponentiels finis. Par contre, si l’on demande en plus que l’appariement soit une fonction déterministe du processus ponctuel, alors X a nécessairement une moyenne infinie.