[논문 리뷰] Experimental Design for Matching

Chonghuan Wang|arXiv (Cornell University)|2026. 01. 28.

Game Theory and Voting Systems인용 수 0

한 줄 요약

요약: 논문은 두 개의 사전 결정된 매치를 유한 모집단에서 비교하기 위한 Alternating Path Randomized Design을 도입하고 간섭을 다루며, 최소-최대 최적 임의화 하에서 유한 모집단 CLT에 의한 편향 없는 Horvitz–Thompson 추정과 증명을 제시한다. 또한 그래프 이론적 분해를 이용해 다대일 매칭으로 확장한다.

ABSTRACT

Matching mechanisms play a central role in operations management across diverse fields including education, healthcare, and online platforms. However, experimentally comparing a new matching algorithm against a status quo presents some fundamental challenges due to matching interference, where assigning a unit in one matching may preclude its assignment in the other. In this work, we take a design-based perspective to study the design of randomized experiments to compare two predetermined matching plans on a finite population, without imposing outcome or behavioral models. We introduce the notation of a disagreement set, which captures the difference between the two matching plans, and show that it admits a unique decomposition into disjoint alternating paths and cycles with useful structural properties. Based on these properties, we propose the Alternating Path Randomized Design, which sequentially randomizes along these paths and cycles to effectively manage interference. Within a minimax framework, we optimize the conditional randomization probability and show that, for long paths, the optimal choice converges to $\sqrt{2}-1$, minimizing worst-case variance. We establish the unbiasedness of the Horvitz-Thompson estimator and derive a finite-population Central Limit Theorem that accommodates complex and unstable path and cycle structures as the population grows. Furthermore, we extend the design to many-to-one matchings, where capacity constraints fundamentally alter the structure of the disagreement set. Using graph-theoretic tools, including finding augmenting paths and Euler-tour decomposition on an auxiliary unbalanced directed graph, we construct feasible alternating path and cycle decompositions that allow the design and inference results to carry over.

연구 동기 및 목표

• outcome 또는 행동 모델 없이 두 고정 매칭 계획을 경험적으로 비교할 필요성에 대한 동기 부여.
• 두 매칭 간 차이를 포착하고 실행 가능한 임의화를 가능하게 하는 불일치 집합의 도입.
• 간섭을 경로/회로 분해를 통해 처리하는 Alternating Path Randomized Design(AP Design) 개발.
• AP 설계 하에서 Horvitz–Thompson 추정량을 이용한 편향 없는 추정 및 유한 모집단 CLT 확립.
• 확장을 통한 다대일 매칭 및 가능하고 해석 가능한 분해를 위한 그래프 이론적 조건 제공

제안 방법

• △M(t,c)를 treatment Mt와 control Mc의 대칭 차이로 정의한다.
• △M(t,c)를 고유하고 서로 불포함인 대체 경로와 회로(△P(t,c))로 분해한다.
• 각 경로/회로를 순차적으로 조건부 확률로 무작위화하는 Alternating Path Randomized Design(AP Design)을 제안한다.
• AP 설계에서 ATE에 대한 Horvitz–Thompson 추정량을 사용하고 가능성 결과에 독립적인 편향 없이 추정한다.
• AP에서 경로 및 회로 구성요소의 분산 표현을 도출하고 구성요소 길이에 따라 선형 증가를 보이며, 긴 경로에 대해 minimax 최적의 p→(√2−1)을 얻는다.
• 가정 1(경향성 있는 결과)을 만족하는 AP 추정량에 대한 유한 모집단 중심극한 정리를 증명한다.
• 보조 그래프의 보강 경로 및 Euler-투어 분해를 통해 다대일 매칭으로의 확장을 가능하게 하여 실행 가능성과 추론 보장을 유지한다.

실험 결과

연구 질문

• RQ1 간섭으로 인해 두 매치를 동시에 실현할 수 없는 공통의 유한 모집단에서 두 사전 결정된 매치를 어떻게 실험적으로 비교할 수 있는가?
• RQ2 두 매칭 간의 불일치를 고려한 간섭을 다루는 실현 가능하고 원칙적인 임의화 체계는 무엇인가?
• RQ3 결과나 행동 모델 없이도 설계 기반 프레임워크에서 편향 없는 추정 및 유효한 추론을 달성할 수 있는가?
• RQ4 AP 설계 하에서 추정량의 분산은 어떻게 작용하며 긴 교대 구성요소에 대한 최적의 임의화 확률은 무엇인가?
• RQ5 실행 가능성과 추론 보장을 유지하면서 다대일 매칭으로 이 접근법을 확장할 수 있는가?

주요 결과

• 불일치 집합은 alternating paths와 cycles로의 고유한 분해를 가능하게 하여 구성요소별 무작위 실험이 가능하게 한다.
• AP 설계는 각 구성요소를 순차적으로 무작위화하여 실행 가능성과 간섭 관리을 보장한다.
• AP 하의 Horvitz–Thompson 추정량은 두 매칭 간 평균 처리 효과에 대해 편향 없이 추정한다.
• minimax 프레임워크 하에서 긴 경로의 최적 확률은 √2−1(약 0.4142)로 수렴하여 최악의 분산을 감소시킨다.
• AP 추정량에 대한 유한 모집단 CLT가 확립되어 모집단이 커짐에 따라 이질적이거나 불안정한 경로/회로 구조를 수용한다.
• 보강 경로 및 Euler-투어 분해를 이용한 다대일 매칭 확장을 통해 가능성과 추론 보장을 유지한다.