arXiv Science⌕ Search

arXiv · 2610.41466

Kidney Exchange with Dual Donors

Abstract

Kidney exchange programs enable patients with incompatible living donors to receive transplants by exchanging donors with other patient-donor pairs. Existing models typically assume either that each patient enrolls with a single donor, or that at most one of a patient's multiple alternative donors is selected to donate. In practice, however, a patient may have access to multiple willing but incompatible donors who are all prepared to donate simultaneously if doing so enables the patient to receive a kidney. We study a dual-donor kidney exchange model, in which a patient may enroll with up to two proxy donors and the exchange is allowed to utilize both, provided the patient receives a compatible transplant. This paradigm allows a patient to participate in an exchange cycle via one donor while their second donor initiates a donation chain---unlocking additional transplants without relying on altruistic donors. We formulate the resulting combinatorial optimization problems under realistic cycle and chain constraints, showing that utilizing both donors introduces sharp computational challenges compared to standard exchange, and we design new approximation algorithms with provable guarantees. We also study strategic manipulation when patients hide a donor, establishing the limits of deterministic mechanisms and showing how randomization achieves truthfulness with near-optimal welfare. Finally, our experiments on realistic synthetic graphs demonstrate that using both donors yields substantial gains in total transplants over selecting at most one---even when only a small fraction of patients enroll with two donors.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ioannis Caragiannis, Tomasz Filip Gawron, Kristoffer Arnsfelt Hansen, Yuchen Zhang. 2026-10-30. Kidney Exchange with Dual Donors. https://arxiv.org/abs/2610.41466

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Project Submission Games in Participatory Budgeting

We introduce the framework of project submission games, capturing the behavior of project proposers in participatory budgeting (and multiwinner elections). Here, each proposer submits a subset of project proposals, aiming at maximizing the total cost of those that get funded. We focus on finding conditions under which pure Nash equilibria (NE) exist in our games, and on the complexity of checking whether they exist. We also seek algorithms for computing best responses for the proposers

cs.GT↗

Domination-Avoiding Learning Agents Cannot Collude

An influential paper of Calvano et al. empirically demonstrated that Q-learning agents spontaneously collude when placed as sellers that compete on prices in a natural market model. More recent results of Fish et al. empirically demonstrated that similar collusion happens with commercial LLMs. We formally prove that such collusion can also happen with external-regret-minimizing agents. We identify a very general class of agents, which we term Domination-Avoiding agents, that provably do not collude in such markets. This class contains all Mean-Based agents and all internal-regret-minimizing agents, as well as others such as Multiplicative-Weight agents with variable learning rate and contextual variants thereof. More generally we show that, in any game, this class of agents is guaranteed to jointly learn to almost never play strategies that are eliminated by repeated elimination of purely dominated strategies.

cs.GT↗

Settling the Complexity of Hylland--Zeckhauser Equilibria

The Hylland--Zeckhauser (HZ) mechanism is a foundational framework for allocating indivisible goods in one-sided matching markets via lotteries supported by competitive prices and equal artificial budgets. We resolve the exact computational complexity of the HZ scheme by proving that computing an exact HZ equilibrium is FIXP-complete, thereby settling a conjecture of Vazirani and Yannakakis. Notably, this hardness persists even when computing the equilibrium allocation alone. We establish our hardness result via a reduction that encodes quadratic fixed-point equations into a reciprocal variational inequality. On the algorithmic side, we present a deterministic polynomial-time approximation algorithm that achieves an additive error of $0.0755211 + δ$ for any $δ> 0$, significantly improving upon the previous $1/e$ guarantee.

cs.GT↗