Searcharxiv⌕ Search

arXiv · 2610.09610

Envy-free Allocations with Individual Payments

Abstract

When an envy-free allocation of indivisible goods does not exist, monetary transfers can restore envy-freeness. Existing work on fair division with subsidies, however, typically assumes that these payments are provided by an external source, an assumption that may be unrealistic in many applications. We address this limitation by allowing only monetary transfers between agents, with each agent's payments constrained by their individual budget. We show that while it is polynomial-time tractable to determine whether a given allocation can be made envy-free by payments under individual budgets, the general problem of computing such an allocation from scratch is NP-hard, even when agents have relatively large budgets. Motivated by this intractability, we conduct a parameterized complexity analysis, establishing fixed-parameter tractability with respect to the number of goods or to the joint parameter number of agents and good types, and we provide efficient algorithms in several special cases. For explicitly listed items, our type-based algorithm answers the envy-freeness part of an open question of T. T. Nguyen and J. Rothe, "Complexity Results and Exact Algorithms for Fair Division of Indivisible Items: A Survey."

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Robert Bredereck, Eva Deltl, Tanmay Inamdar, Pallavi Jain, Pranjal Pandey. 2026-10-07. Envy-free Allocations with Individual Payments. https://arxiv.org/abs/2610.09610

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

KEEP EXPLORING

Related papers

Stackelberg POMDP: Learning to Lead via Reinforcement Learning

Many real-world domains--including e-commerce platform design, security planning, and multi-agent coordination--feature leader-follower problems where one decision-maker commits to a policy and others react strategically. We develop a reinforcement learning framework for such interactions in sequential environments with partial observations and multiple followers. Followers may adapt through no-regret learning or reinforcement learning, potentially departing from equilibrium behavior. The framework embeds follower adaptation into the leader's environment to construct a single-agent partially observable Markov decision process--the Stackelberg POMDP. For policy-interactive response algorithms, which access the leader's policy through queries, we prove that an optimal policy based only on the leader's game history yields an optimal commitment under the specified response procedure. We use proximal policy optimization with a centralized critic and train contextual meta-followers to respond across leader policies. In indirect mechanism design, mechanisms using buyer messages achieve higher social welfare than optimal standard sequential price mechanisms across all tested type counts, with responses certified as approximate Bayesian coarse correlated equilibria. In platform design, learned display rules increase mean consumer surplus by 8.4% over an optimized fixed price cap while accommodating hidden seller costs. In Atari bilateral trade, meta-learned follower responses support joint learning of visual gameplay and economic decisions; assigning leadership to the seller or buyer shifts transaction prices and payoffs in that agent's favor. Controlled ablations examine how response credit, policy consistency, and reward timing affect learning.

cs.GT↗

Price Competition Under Platform-Mediated Search: A Consider-Then-Choose Framework

We study the problem of predicting price equilibria on e-commerce platforms where sellers compete across multiple attributes (e.g., price, average rating, delivery speed). In these settings, a platform's design choices --- such as its display ranking, filtering tools, and promotional badges --- critically shape customer search and purchase behavior, which in turn determine sellers' equilibrium pricing strategies. Our goal is to develop a tractable framework that allows a platform to anticipate the market impact of its design interventions. We consider a behavioral model --- Consider-then-Choose with Lexicographic Choice (CLC) --- specifically tailored to platform-mediated search. We establish that any local Nash equilibrium admits a sequential-move characterization; this yields a tractable procedure for computation under an interpretable sufficient condition, which we term gradient dominance. We further prove that under gradient dominance, simple, decentralized gradient-based algorithms converge to an equilibrium, providing platforms with a method for simulating market outcomes. Finally, we use our framework to study how platform design affects market outcomes. Our framework applies to any platform in which sellers compete on multiple attributes and customer choice is guided by the platform's interface. In these environments, sellers' pricing strategies must be understood not in isolation, but as a response to the platform's design. Our work provides platform operators with a rigorous toolbox to efficiently evaluate how changes to interface design, information disclosure, and ranking policies can affect competitive outcomes.

cs.GT↗

Data-Driven Games with Coherent Risk Measures

We introduce Coherent Utility Measure Games (CUMGs) in which players' uncertainty about the distribution of payoffs is modeled using coherent utility (risk) measures. Such measures, including mean semideviation risk and conditional value-at-risk, allow for interpretable notions of players' risk aversion while retaining formal equivalence to distributionally robust games. While CUMGs, which are a subclass of distributionally robust games, are continuous games in general, they can be viewed as finite games ``lifted'' to the mixed strategy space, which illustrates computational challenges. Prior results extend to guarantee equilibrium existence in data-driven CUMGs. For CUMGs parameterized by several popular risk measures, we show that the computation of exact equilibria lies in FIXP, even for two-player games, and approximate equilibria lie in PPAD. Separately, we derive direct complementarity formulations for exact equilibrium computation for these games, which grow with $K$, the number of data samples. Unlike standard games, these programs are not linear in a two-player setting. Next, we establish the existence of approximate equilibria in finite data-driven CUMGs with small supports in the players' pure actions, yielding a quasi-polynomial time approximation scheme (QPTAS); this, together with a sparse data subsample result, guides the search for such equilibria. We also develop a stochastic first-order approach for smoothed CUMGs using data mini-batches, with bounds linking first-order error to approximate equilibrium. We include numerical experiments exploring the structure of equilibrium in CUMGs and comparing the various approaches in this work.

cs.GT↗