arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.28141

Fixed Sets and the Hardness of Computing Correlated Equilibria

Ioannis Anagnostides·Constantinos Daskalakis·Gabriele Farina·Noah Golowich·Tuomas Sandholm·Brian Hu Zhang
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that computing an approximate correlated equilibrium of a polytope game is PPAD-complete, and thus polynomial-time equivalent to finding a Nash equilibrium. This challenges the conventional view in game theory that correlated equilibria are more tractable objects than Nash equilibria. From a conceptual standpoint, we connect correlated equilibria to a natural generalization of fixed points, which we call fixed sets. A fixed set of a continuous function $f$ is a nonempty finite set $S$ such that $S \subseteq \operatorname{conv} f(S)$. Our main technical contribution is to prove that computing a fixed set is PPAD-hard even at inverse polynomial precision.

Explore related subjects

cs.GTcs.CCcs.DScs.LG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ioannis Anagnostides, Constantinos Daskalakis, Gabriele Farina, Noah Golowich, Tuomas Sandholm, Brian Hu Zhang. 2026-10-20. Fixed Sets and the Hardness of Computing Correlated Equilibria. https://arxiv.org/abs/2610.28141

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

KEEP EXPLORING

Related papers

arXiv2026

Matching Markets: Equilibrium Computation, Indivisible Goods, and Positional Externalities

Matching markets provide a mathematical framework for allocating scarce resources among strategic agents with heterogeneous preferences. While matching without money relies on ordinal stability and Pareto efficiency, Fisher and Arrow--Debreu markets mediate allocation through budgets and market-clearing prices. In this paper, we study the convex-analytic foundations, computational complexity, and external-utility extensions of Fisher matching markets. First, we formulate fractional resource allocation and linear Fisher markets via Fenchel conjugate duality and the Karush--Kuhn--Tucker (KKT) conditions of the Eisenberg--Gale convex program, showing how budget-weighted Nash social welfare characterizes competitive equilibria across linear and homothetic utility families. Second, we review topological existence via Sperner's lemma alongside polynomial-time combinatorial algorithms for divisible markets, including the Devanur--Papadimitriou--Saberi--Vazirani (DPSV) primal-dual max-flow algorithm and Orlin's strongly polynomial scaling algorithm. Third, we contrast the tractability of divisible markets with the $\mathsf{NP}$-hardness and $\mathsf{PPAD}$-completeness of indivisible Fisher markets and Competitive Equilibrium from Equal Incomes (CEEI), comparing $\varepsilon$-approximate equilibria, CEEI-FRAC, and Budish's Approximate CEEI mechanism. Finally, we analyze Fisher markets with positional (snob-effect) externalities, where buyer $i$'s utility for good $j$ scales with her relative share $(x_{ij}/\sum_{k} x_{kj})^{α_i}$ for $α_i > 0$. We prove that positional utility summands are convex on the nonnegative orthant, so utilitarian social welfare is maximized at exclusive corner allocations, whereas decentralized price-taking admits a unique budget-proportional equilibrium in single-good snob markets with a Price of Anarchy of $n^α$ among $n$ symmetric buyers.

cs.GT↗
arXiv2026

Achieving Pareto Optimality in Games via Single-bit Feedback

Efficient coordination in multi-agent systems often incurs high communication overhead or slow convergence rates, making scalable welfare optimization difficult. We propose Single-Bit Coordination Dynamics for Pareto-Efficient Outcomes (SBC-PE), a decentralized learning algorithm requiring only a single-bit satisfaction signal per agent each round. Despite this extreme efficiency, SBC-PE guarantees convergence to the exact optimal solution in arbitrary finite games. We establish explicit regret bounds, showing expected regret grows only logarithmically with the horizon, i.e., O(log T). Compared with prior payoff-based or bandit-style rules, SBC-PE uniquely combines minimal signaling, general applicability, and finite-time guarantees. These results show scalable welfare optimization is achievable under minimal communication constraints.

cs.GT↗
arXiv2026

Continuation-Adjusted Full-Support Indifference in a Feedback Stackelberg Attacker--Defender Attrition Game

Successful attacks that remove assets break two familiar static regularities: coverage need not deter attack, and the defender need not push coverage until its budget or an individual target saturates. We analyse a finite-horizon attacker--defender attrition game under a stagewise feedback-recommitment strong Stackelberg equilibrium. Our central result is a continuation adjustment that converts each state--period node into a static security game with shifted payoffs. At feasible full-support nodes, coverage remains indexed by one scalar attacker value, so backward induction uses scalar interval and endpoint calculations; boundary-support nodes require conditional linear programmes. Continuation losses can reverse an attacker's coverage swing, making a covered asset more attractive because it survives for later attacks. A three-asset, two-period instance is solved globally for every discount factor. It exhibits an exact singular threshold at which the optimal set expands, the selected policy jumps, and the defender abandons a previously protected asset and leaves budget unused with no target saturated, although both players' values remain continuous.

cs.GT↗